arXiv research

Study loop corrections in random feature models affecting training and test errors.

Belief Propagation (BP) is one of the most popular methods for inference in probabilistic graphical models. BP is guaranteed to return the correct answer for tree structures, but can be incorrect or non-convergent for loopy graphical models. Recently, several new approximate inference algorithms based on cavity distrib…

String geometry theory uniquely determines classical action with T-symmetry.

Paper stabilizes generative model training with synthetic data.

The paper corrects a previous work on manifold groups.

Researchers provide a simple topological method for Burau representations of loop braid groups.

Derives log-corrections in AdS4/CFT3 using supergravity localization.

Construct quaternionic-Kähler metrics from special Kähler manifolds with specific BPS structure variations.

The gradient flow of the Yang-Mills action acts pointwise on closed loops of gauge fields. We construct a topologically nontrivial loop of SU(2) gauge fields on S4 that is locally stable under the flow. The stable loop is written explicitly as a path between two gauge fields equivalent under a topologically nontrivial …

The paper optimizes exceptions in a statistical production system using machine learning.

Program verification offers a framework for ensuring program correctness and therefore systematically eliminating different classes of bugs. Inferring loop invariants is one of the main challenges behind automated verification of real-world programs which often contain many loops. In this paper, we present Continuous L…

CAFL breaks feedback loops in recommender systems using causal inference.

Naive approaches to amortized inference in probabilistic programs with unbounded loops can produce estimators with infinite variance. This is particularly true of importance sampling inference in programs that explicitly include rejection sampling as part of the user-programmed generative procedure. In this paper we de…

Improved stochastic approximation method reduces residual error.

Unified framework for decentralized bilevel optimization with various heterogeneity-correction strategies.

Polynomial-time algorithm finds short non-orientable loops intersecting graph edges up to 30 times.

Study efficient pricing for barrier options in stochastic-volatility models with leverage correction.

We study the classical action functional $\SMC_V$ on the free loop space of a closed, finite dimensional Riemannian manifold $M$ and the symplectic action $\AMC_V$ on the free loop space of its cotangent bundle. The critical points of both functionals can be identified with the set of perturbed closed geodesics in $M$.…

Study on topological order on fractal geometries, proving no-go theorem and fault-tolerant gates.

Method improves volatility targeting for index construction.

We utilize Wi-Fi communications from smartphones to predict their mobility mode, i.e. walking, biking and driving. Wi-Fi sensors were deployed at four strategic locations in a closed loop on streets in downtown Toronto. Deep neural network (Multilayer Perceptron) along with three decision tree based classifiers (Decisi…

Improved error correction using neural networks and belief propagation.

Markov Chain Monte Carlo (MCMC) and Belief Propagation (BP) are the most popular algorithms for computational inference in Graphical Models (GM). In principle, MCMC is an exact probabilistic method which, however, often suffers from exponentially slow mixing. In contrast, BP is a deterministic method, which is typicall…

Quantum field theory connects deep neural networks to criticality.

This work is based on the approach developed by J.~Dorfmeister, F.~Pedit and H.~Wu [GANG and KITCS preprint, Report KITCS94-4-1] to construct maps $Φ:D\rightarrow R^3$, $D$ being the unit disk in $C$, whose images are surfaces of constant mean curvature. They start from certain meromorphic one forms, so called meromorp…

Holomorphic supergravity theory simplifies anomaly cancellation in heterotic moduli.

Artificial Neural Networks (ANNs) have demonstrated remarkable utility in various challenging machine learning applications. While formally verified properties of their behaviors are highly desired, they have proven notoriously difficult to derive and enforce. Existing approaches typically formulate this problem as a p…

Deep neural network solves portfolio optimization with MGARCH and small transaction costs.

Study smooth loops and loop bundles, relating to $G_{2}$-structures.

Wireless systems perform rate adaptation to transmit at highest possible instantaneous rates. Rate adaptation has been increasingly granular over generations of wireless systems. The base-station uses SINR and packet decode feedback called acknowledgement/no acknowledgement (ACK/NACK) to perform rate adaptation. SINR i…

Our purpose is to explore, in the context of loop ensembles on finite graphs, the relations between combinatorial group theory, loops topology, loop measures, and signatures of discrete paths. We determine the distributions of the loop homotopy class, and of the first and second homologies, defined by the lower central…

We produce skew loops -- loops having no pair of parallel tangent lines -- homotopic to any loop in a flat torus or other quotient of R^n. The interesting case here is n=3. More subtly for any n, we characterize the homotopy classes that will contain a skew loop having a specified loop in the unit sphere as tangent ind…

The paper proves T-duality and Hori formulae for winding loop spaces.

Paper establishes loop space T-duality formulae and refines earlier work.

The 2-loop polynomial is a polynomial presenting the 2-loop part of the Kontsevich invariant of knots. We show a cabling formula for the 2-loop polynomial of knots. In particular, we calculate the 2-loop polynomial for torus knots.

Rational loops played a central role in Uhlenbeck's construction of harmonic maps into U(n) (chiral model in physics), and they are generated by simple elements with one pole and one zero constructed from Hermitian projections. It has been believed for long time that nilpotent loops should be added to generate rational…

Develops EFT for ResNets, revealing limitations of kernel-only approach.

We discuss certain recent mathematical advances, mainly due to Perelman, in the theory of Ricci flows and their relevance for renormalization group (RG) flows. We consider nonlinear sigma models with closed target manifolds supporting a Riemannian metric, dilaton, and 2-form B-field. By generalizing recent mathematical…

Kähler manifold loop space inherits Kähler structure and is complete.

New structure found in loops on quasi-surfaces.

Using the relations between the theory of differentiable Bol loops and the theory of affine symmetric spaces we classify all connected differentiable Bol loops having an at most $9$-dimensional semi-simple Lie group as the group topologically generated by their left translations. We show that all these Bol loops are is…

A skew loop is a closed curve without parallel tangent lines. We prove: The only complete surfaces in euclidean 3-space with a point of positive curvature and no skew loops are the quadrics. In particular, ellipsoids are the only closed surfaces without skew loops. We also prove results about skew loops on cylinders an…

Let K be the space of long j-knots in R^n. In this paper we introduce a graph complex D and a linear map I from D to the de Rham complex of K via configuration space integral, and prove that (1) when both n>j>=3 are odd, the map I is a cochain map if restricted to graphs with at most one loop component, (2) when n-j>=2…

Introduces string structures linking to loop spaces.

Study shows looping a 6-manifold over a 4-manifold results in a product of loops on spheres.

New theory defines invariants for framed 3-manifolds using trivalent graphs with self-loops.

Geodesic loops on tetrahedra are studied in spherical and hyperbolic spaces.

New definition of twisted 1-loop invariant using Ptolemy coordinates.