In this paper we construct new solutions of the Kahler-Yang-Mills equations, by applying dimensional reduction methods to the product of the complex projective line with a compact Riemann surface. The resulting equations, that we call gravitating vortex equations, describe Abelian vortices on the Riemann surface with b…
Study of limits of Einstein-Bogomol'nyi metrics on P^1 in two regimes.
problem Understanding limits of Einstein-Bogomol'nyi metrics on P^1.
method Analysis of two regimes: dissolving limit and large volume limit.
result Recovery of Einstein-Bogomol'nyi metrics on C with total string number N' for each N'.
Solves existence of gravitating vortices with positive curvature.
problem Existence of gravitating vortices with non-negative topological constant.
method Continuity method, GIT stability condition, Cheeger-Gromov theory.
result Complete solution to existence problem for gravitating vortices with positive curvature.
In this work we consider the gravitating vortex equations. These equations couple a metric over a compact Riemann surface with a hermitian metric over a holomorphic line bundle equipped with a fixed global section --- the Higgs field ---, and have a symplectic interpretation as moment-map equations. As a particular cas…
We obtain all possible solutions of a 1/4 Bogomol'nyi-Prasad-Sommerfield equation exactly, containing configurations made of walls, vortices and monopoles in the Higgs phase. We use supersymmetric U(N_C) gauge theories with eight supercharges with N_F fundamental hypermultiplets in the strong coupling limit. The moduli…
A new GAN loss function based on cumulant generating functions improves stability and robustness.
problem Improving the stability and performance of GANs.
method Cumulant GAN loss function based on variational R{é}nyi divergence.
result Cumulant GAN achieves linear convergence to Nash equilibrium and superior performance in image generation.
Existence and uniqueness of gravitating vortices on Riemann surfaces with specific properties.
problem Existence and uniqueness of gravitating vortices on compact Riemann surfaces.
method Existence via solving a continuity path, proving existence of singular gravitating vortices, and establishing existence of singular Einstein-Bogomol'nyi equations.
result Existence and uniqueness of gravitating vortices on Riemann surfaces with suitable properties.
The paper finds shape modes for vortices in a specific sigma model.
problem Existence of internal modes in CP1 vortices. method Developed a geometric formalism based on the Bogomol'nyi decomposition of the energy functional.
result Proved the existence of at least one shape mode for a general CP1 vortex solution. We consider a general 4n-dimensional quaternionic Kahler geometry with a free action of the torus T^(n+1). The toric action lifts onto the Swann bundle of the quaternionic Kahler space to a tri-holomorphic action that commutes with the standard H* action on the bundle. By matching Pedersen and Poon's generalized Gibbon…
We present a systematic method to construct exactly all Bogomol'nyi-Prasad-Sommerfield (BPS) multi-wall solutions in supersymmetric (SUSY) U(N_C) gauge theories in five dimensions with N_F hypermultiplets in the fundamental representation for infinite gauge coupling. The moduli space of these non-Abelian walls is found…
A gas of N Bogomol'nyi vortices in the Abelian Higgs model is studied on a compact Riemann surface of genus g and area A. The volume of the moduli space is computed and found to depend on N,g and A, but not on other details of the shape of the surface. The volume is then used to find the thermodynamic partit…
Gradient descent converges with arbitrary stepsize for separable data under Fenchel-Young losses.
problem Understanding the conditions under which gradient descent converges with arbitrary stepsize.
method Using Fenchel-Young losses and leveraging the classical perceptron argument to derive convergence rates.
result GD converges with arbitrary stepsize for a majority of Fenchel-Young losses, with better rates for specific loss functions.
The Bogomol'nyi-Prasad-Sommerfield (BPS) multi-wall solutions are constructed in supersymmetric U(N_C) gauge theories in five dimensions with N_F(>N_C) hypermultiplets in the fundamental representation. Exact solutions are obtained with full generic moduli for infinite gauge coupling and with partial moduli for finite …
This paper introduces a variational approximation framework using direct optimization of what is known as the {\it scale invariant Alpha-Beta divergence} (sAB divergence). This new objective encompasses most variational objectives that use the Kullback-Leibler, the R{é}nyi or the gamma divergences. It also gives access…
Paper introduces Lambda EVaR, a new risk measure.
problem Risk management, especially in finance.
method Lambda extension of Rényi entropic value-at-risk (Λ-EVaR). Defines properties and provides axiomatic characterization.
result Λ-EVaR bridges adaptive risk tolerance and moment-sensitive risk assessment.
The most fruitful approach to studying low energy soliton dynamics in field theories of Bogomol'nyi type is the geodesic approximation of Manton. In the case of vortices and monopoles, Stuart has obtained rigorous estimates of the errors in this approximation, and hence proved that it is valid in the low speed regime. …
Unified framework for network model assessment using maximum entropy.
problem Statistical inference for network models.
method Constrained entropy-maximization problem, Lagrange multipliers.
result Consistent goodness-of-fit and two-sample tests for network models.
The study explains YouTube commenters' behavior using rational inattention models.
problem Understanding and predicting YouTube commenters' behavior.
method Deep embedded clustering for user grouping, Bayesian revealed preferences for rationality testing, and behavioral economics constraints for attention span modeling.
result Most YouTube user groups optimize a Bayesian utility with rationally inattentive constraints.
A(DP)2SGD improves federated learning privacy and efficiency.
problem Privacy and efficiency in federated learning with asynchronous decentralized parallel SGD.
method Differentially private asynchronous decentralized parallel SGD (A(DP)2SGD) using R{é}nyi differential privacy. result Achieves optimal convergence rate and comparable model accuracy to SSGD but faster.
New research finds 145 infinite families of CS spheres are standard.
problem Determining which Cappell-Shaneson spheres are diffeomorphic to the standard 4-sphere.
method Using Kirby calculus and new families of CS spheres.
result Proves 145 new infinite families of CS spheres are standard.
Every smooth 4-sphere is the same as the standard one.
problem Identifying smooth 4-spheres.
method Proved diffeomorphism to the standard 4-sphere.
result Smooth homotopy 4-spheres are diffeomorphic to the 4-sphere.
Kervaire's sphere-link is equivalent to a ribbon sphere-link, simplifying complex 2-complexes.
problem Understanding the structure of 2-complexes and their asphericity.
method Using Kervaire's sphere-link and ribbon sphere-link equivalence, analyzing the compact complement of ribbon disk-links.
result Every connected subcomplex of a contractible finite 2-complex is aspherical.
New theory proves infinite homology 3-spheres in homology 4-spheres.
problem Existence of homology 3-spheres in homology 4-spheres.
method Diagrammatics of surface cross sections, Taubes' work.
result Infinite number of homology 3-spheres in homology 4-spheres.
The 3-sphere has either 2 minimal 2-spheres or an optimal foliation by 2-spheres.
problem Proving existence of minimal 2-spheres or optimal foliations in arbitrary Riemannian 3-spheres.
method Analyzing the properties of arbitrary Riemannian metrics on 3-spheres.
result The existence of at least two minimal 2-spheres or an optimal foliation in 3-spheres with arbitrary metrics.
Infinitely many splitting spheres found for unlinked 2-spheres in 4-space.
problem Existence of pairwise non-isotopic splitting spheres for unlinked 2-spheres in 4-space.
method Analytical proof showing non-isotopic spheres.
result Infinitely many non-isotopic splitting spheres found.
Reduces weak reducing pairs to spheres in 3-sphere Heegaard surfaces.
problem Finding reducing spheres for weak reducing pairs in Heegaard surfaces.
method Proves existence of reducing spheres for weak reducing pairs in 3-sphere Heegaard surfaces.
result Reduction of weak reducing pairs to spheres if genus is at most 3.
The study shows how to construct d-spheres from (d−1)-spheres and d-balls without additional vertices.
problem Constructing d-spheres from (d−1)-spheres and d-balls without additional vertices. method Examining specific types of spheres (flag, stacked, join of spheres) and d-balls to determine if constructions can be made without extra vertices. result Affirmative answers to constructing d-spheres from (d−1)-spheres and d-balls without additional vertices for certain types of spheres and d-balls. New proof for sphere recognition algorithm.
problem Sphere recognition algorithm proof.
method New proof of a lemma in Abigail Thompson's algorithm.
result New proof of a lemma in Abigail Thompson's proof of the Recognition Algorithm for 3-spheres.
Proves stability of convex spheres with similar geodesic lengths.
problem Stability of convex spheres with specific geodesic properties.
method Proves C^0 Cheeger-Gromov closeness to the round sphere.
result Strictly convex 2-spheres are close to the round sphere.
Soliton spheres are immersed 2-spheres in the conformal 4-sphere S^4=HP^1 that allow rational, conformal parametrizations f:CP^1->HP^1 obtained via twistor projection and dualization from rational curves in CP^{2n+1}. Soliton spheres can be characterized as the case of equality in the quaternionic Pluecker estimate. A …
Study on sphere immersions and their stability indices.
problem Analyzing the stability of sphere immersions.
method Calculation of Morse indices and stability indices for specific sphere immersions.
result Bounds on stability index of associative cone in R7. The paper constructs biharmonic maps between spheres using polynomial maps.
problem Creating biharmonic maps between spheres.
method Using harmonic homogeneous polynomial maps of different degrees to generate proper biharmonic maps.
result Established a method for constructing proper biharmonic product maps.
Classification of constant curvature surfaces in Berger spheres.
problem Identifying complete rotationally invariant surfaces with constant Gauss curvature in Berger spheres.
method Complete classification through detailed analysis of Clifford tori and spheres.
result Rotationally invariant spheres with constant Gauss curvature are the only topological spheres in Berger spheres for K>KP. Characterizes a specific type of convex curves on a 3-sphere.
problem Understanding convex curves on a 3-sphere.
method Decomposes curves on 3-sphere into 2-sphere curves, characterizes locally convex ones.
result Completely characterized a class of convex curves on the 3-sphere.
Reduces connectivity problem for genus-4 Heegaard surface in 3-sphere.
problem Connectivity problem in reducing sphere complex for genus-4 Heegaard surface.
method Presented a sufficient condition for a non-separating weak reducing pair to be separated by a reducing sphere.
result Reduced connectivity problem to showing disjointness of representative reducing spheres from a fixed disk.
Paper studies inscribed sphere and lines through centers of Apollonius spheres in n dimensions.
problem Tangency of spheres and lines through their centers.
method Lie sphere geometry and two-step construction of Apollonius spheres.
result Center of inscribed sphere coincides with point PX. Author provides an alternate proof of the free ribbon lemma.
problem Proving that every free sphere-link in the 4-sphere is a ribbon sphere-link.
method An alternate proof of the free ribbon lemma.
result Provides an alternate proof of the free ribbon lemma.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
In the 1-parameter family of Berger spheres S^3(a), a > 0 (S^3(1) is the round 3-sphere of radius 1) we classify the stable constant mean curvature spheres, showing that in some Berger spheres (a close to 0) there are unstable constant mean curvature spheres. Also, we classify the orientable compact stable constant mea…
We introduce and study a new class of homotopy spheres called Farrell-Jones spheres. Using Farrell-Jones sphere we construct examples of closed negatively curved manifolds M2n, where n=7 or 8, which are homeomorphic but not diffeomorphic to complex hyperbolic manifolds, thereby giving a partial answer to a que…
In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres.
Study finds infinite families of Sasaki-Einstein metrics on spheres.
problem Finding Sasaki-Einstein metrics on spheres and exotic spheres.
method Analyzing odd-dimensional spheres and exotic spheres that bound parallelizable manifolds.
result Infinitely many families of Sasaki-Einstein metrics on spheres and exotic spheres.
We show that among Seifert fibered integer homology spheres, Poincare sphere (with either orientation) is the only non-trivial example which has trivial Heegaard Floer homology. Together with an earlier result, this shows that if an integer homology sphere has trivial Heegaard Floer homology, then it is a connected sum…
We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty…
Study biharmonic hypersurfaces in spheres, proving unique continuation theorem.
problem Characterize biharmonic hypersurfaces in spheres.
method Prove CMC Unique Continuation Theorem for biharmonic hypersurfaces of spheres.
result Supports the conjecture that biharmonic submanifolds of Euclidean spheres must be of constant mean curvature.
Standard S4 proved to be diffeomorphic to a curious homotopy sphere.
problem Determining the diffeomorphism of a curious homotopy sphere to the standard S4. method Proof based on properties of homotopy spheres and loose corks.
result The curious homotopy sphere is diffeomorphic to the standard S4. Formula derived for discrete improper affine spheres.
problem Constructing discrete improper affine spheres.
method Loop group factorizations and Birkhoff decomposition.
result Representation formula for discrete indefinite affine spheres.
We provide a computer-assisted proof of the holomorphy of the quartic and the octic meromorphic differentials arising in the main Theorem 4.11 of our paper 'The Classification of Branched Willmore spheres in the 3-Sphere and the 4-Sphere' (arXiv:1706.01405), using the free mathematical software Sage.