Singular fiber resolution does not describe the spontaneous breaking of gauge symmetry in F-theory, as the corresponding branch of the moduli space does not exist in the theory. Accordingly, even non-abelian gauge theories have not been fully understood in global F-theory compactifications. We present a systematic disc…
The paper axiomatizes strong emergence in parameterized field theories and proves existence theorems.
problem Formalizing and proving existence of strong emergence in parameterized field theories.
method Axiomatization and proof of existence theorems for strong emergence between Lagrangian field theories.
result Existence of strong emergence phenomena between parameterized Lagrangian field theories.
The paper defines strong emergence in field theories and proves it exists between certain theories.
problem Defining and proving the existence of strong emergence phenomena between field theories.
method Formal definition and sufficient conditions for emergence, proving existence in Euclidean background.
result Strong emergence exists between certain parameterized Lagrangian field theories.
Extends Coulomb gauge existence to non-associative gauge theory.
problem Existence of configurations with divergence-free torsion in non-associative gauge theory.
method Analyzes non-associative gauge theory based on smooth loops and their tangent algebras, proving existence of configurations with divergence-free torsion.
result Proves existence of configurations with divergence-free torsion given a sufficiently small torsion in a Sobolev norm.
Accounting frameworks follow stipulations of existing Accounting Theories. This exploratory research sets out to trace the evolution of accounting theories of Charge and Discharge Syndrome and the Corollary of Double Entry. Furthermore, it dives into the theories of Income Determination, garnishing it with areas of div…
Kuranishi's proof of complex deformation theory revisited
problem Existence of complex deformations on compact complex manifolds
method Hamilton-Nash-Moser implicit function theorem
result Revisits classical proof with modern tools
Theory of smooth relative connections on quiver bundles developed.
problem Existence of smooth relative connections over quiver bundles.
method Developed a theory over RQ on smooth twisted quiver bundles, provided obstructions and necessary/sufficient conditions. result Established a necessary and sufficient condition for the existence of smooth relative connections on tree-type quiver bundles.
Develops Hodge theory on ALG∗ manifolds, proving existence and vanishing results.
problem Existence and vanishing of certain cohomology groups on ALG∗ manifolds. method Fredholm Theory for Hodge Laplacian in weighted spaces on ALG∗ manifolds. result Non-existence of ALG∗ manifolds with non-negative Ricci curvature at infinity. We study the existence of monopole bound states saturating the BPS bound in N=2 supersymmetric Yang-Mills theories. We describe how the existence of such bound states relates to the topology of index bundles over the moduli space of BPS solutions. Using an L2 index theorem, we prove the existence of certain BPS stat…
Paper studies flows of spinor fields with flux for unified theories.
problem Existence of covariantly constant spinors in unified theories.
method Introduces parabolic flows of spinor fields to find stationary points.
result Establishes short-time existence and smoothing estimates for spinor flows.
Study on scalar curvature in wedge spaces with existence and obstruction results.
problem Existence and obstructions of scalar curvature in wedge spaces.
method Utilized established tools for wedge spaces including Yamabe, elliptic, and index theories.
result Provided existence and obstruction results for scalar curvature under suitable positivity assumptions.
We review the spectral analysis and the time-dependent approach of scattering theory for manifolds with asymptotically cylindrical ends. For the spectral analysis, higher order resolvent estimates are obtained via Mourre theory for both short-range and long-range behaviors of the metric and the perturbation at infinity…
Theory proves existence of hypersurfaces with prescribed curvature.
problem Existence of hypersurfaces with prescribed mean curvature in noncompact manifolds.
method Developed min-max theory for noncompact manifolds.
result Proved existence of closed and finite area hypersurfaces.
Study on geometric variational problems for existence, regularity, and uniqueness of solutions.
problem Geometric variational problems, focusing on existence, regularity, and uniqueness of solutions.
method Formulated in Federer and Fleming's theory of currents, discussed the existence theory, and presented core ideas of the (interior) regularity theory for area-minimizing currents and optimal transport paths. Two original results on generic uniqueness of solutions were presented.
result Generic uniqueness of solutions for both Plateau's problem and optimal branched transport problem.
We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.
New degree theory proves existence of solitons on 4D manifolds.
problem Existence of gradient expanding solitons on 4D manifolds.
method Developed new degree theory for 4D, asymptotically conical gradient expanding solitons.
result Existence of solitons asymptotic to any cone over S^3 with non-negative scalar curvature.
New PAC-Bayesian bounds explain few-shot learning performance gaps.
problem Gap between PAC-Bayesian theory and practice in few-shot learning.
method Developed new PAC-Bayesian bounds for few-shot learning, derived MAML and Reptile from these bounds, and introduced a new PACMAML algorithm.
result PAC-Bayesian bounds explain performance of MAML and Reptile, and outperform existing algorithms.
The theory of frames normal for general connections on differentiable bundles is developed. Links with the existing theory of frames normal for covariant derivative operators (linear connections) in vector bundles are revealed. The existence of bundle coordinates normal at a given point and/or along injective horizonta…
We find G2-manifolds with specific asymptotic properties.
problem Existence and structure of G2-manifolds with ALC asymptotics.
method Robust Fredholm theory for ALC spaces, proving existence and rigidity results.
result Existence of a G2-analogue of the Atiyah-Hitchin metric and good moduli theory for ALC G2-holonomy metrics.
Proves existence of Kähler-Einstein metrics in big cohomology classes.
problem Existence of Kähler-Einstein metrics in big cohomology classes.
method Using a divisorial stability condition and Fujita-Odaka type delta invariants, building up from scratch the theory of pluripotential theory.
result Uniform Yau-Tian-Donaldson existence theorem for Kähler-Einstein metrics in the big cohomology class setting.
Non-trivial obstructions found for topological solitons in Yang-Mills-Chern-Simons theories.
problem Existence of topological solitons in Yang-Mills-Chern-Simons theories on compact manifolds.
method Cohomological formulations of the calculus of variations, focusing on Yang-Mills-Chern-Simons theories on compact manifolds in odd dimensions.
result Non-trivial obstructions leading to a strong non-existence theorem for topological solitons.
Strong parallels can be drawn between the theory of minimal hypersurfaces and the theory of phase transitions. Borrowing ideas from the former we extend recent results on the regularity of stable phase transition interfaces to the finite Morse index case. As an application we present a PDE-based proof of the celebrated…
Paper introduces Floer theory for field theories, proving periodic solutions for particle-field systems.
problem Defining Hamiltonian Floer theory for covariant field theories, especially those with degenerate action functionals.
method Regularization procedure to handle degeneracy, leading to Floer curves that converge to periodic solutions.
result Existence of Floer curves and space-time periodic solutions for coupled particle-field systems.
Proves existence of Yang-Mills fields for specific curvature conditions.
problem Yang-Mills theory with specific curvature constraints.
method Proof of existence for non-degenerate traceless Ricci curvature.
result Locally exists SO(3) Yang-Mills field matching curvature. We develop theory for nonlinear dimensionality reduction (NLDR). A number of NLDR methods have been developed, but there is limited understanding of how these methods work and the relationships between them. There is limited basis for using existing NLDR theory for deriving new algorithms. We provide a novel framework …
Lecture notes on mean curvature flow for beginners.
problem Existence and uniqueness of mean curvature flow solutions.
method Conditional existence and weak-strong uniqueness theory.
result Accessible introduction for graduate students.
This paper introduces a homology theory for links in I-bundles over an orientable surface. The theory is unique in that the elements of the chain groups are surfaces instead of diagrams. It is then shown this theory yields the same results as the homology theory constructed by Asaeda, Przytycki and Sikora.
This paper develops a federated EM algorithm for unsupervised learning of mixture models.
problem Theoretical foundations of unsupervised federated learning are lacking.
method Introduces a federated gradient EM algorithm (FedGrEM) for unsupervised learning of mixture models.
result Theoretical analysis shows FedGrEM outperforms local single-task learning.
Notes on harmonic maps between manifolds, existence and regularity covered.
problem Existence and regularity of harmonic maps between Riemannian manifolds.
method Lecture-based approach covering harmonic maps, pluriharmonic maps, and related theorems.
result Coverage of existence and regularity of harmonic maps, including Siu-Sampson formula and Donaldson-Corlette theorem.
We consider the existence of bibundles, in other words locally trivial principal G spaces with commuting left and right G actions. We show that their existence is closely related to the structure of the group $\Out(G)$ of outer automorphisms of G. We also develop a classifying theory for bibundles. The theory is …
M-theory preons -- solutions of eleven-dimensional supergravity preserving 31 supersymmetries -- have recently been shown to be locally maximally supersymmetric. This implies that if preons exist they are quotients of maximally supersymmetric solutions. In this paper we show that no such quotients exist. This is achiev…
Proves existence of solution to Lichnerowicz equation on non-CMC manifolds.
problem Existence of positive solution to Lichnerowicz equation on non-CMC closed manifolds with supercritical terms.
method Employed a fixed-point argument involving sub- and supersolutions, with conditions on coefficients to prevent classical solutions.
result Proves existence of a positive and essentially bounded solution.
Improved learning theory for kernel distribution regression with two-stage sampling.
problem Distribution regression problem and two-stage sampling setting.
method Kernel methods, near-unbiased condition, new error bounds, convergence rates.
result Strictly improved convergence rates for three important classes of kernels.
The paper characterizes gaps in minimal foliations on tori using energy criteria.
problem Characterizing gaps in minimal foliations on tori.
method Introduced an energy to study min-max theory and applied it to Almgren-Pitts min-max theory.
result For a generic metric, if a lamination contains a gap, there exists a non-area-minimizing minimal hypersurface inside the gap.
Existence of hypersurfaces in warped product manifolds proven.
problem Existence of closed hypersurfaces in warped product manifolds.
method Standard degree theory based on a priori estimates.
result Existence of solutions to prescribed Weingarten curvature equations.
Introducing the deformation theory of holomorphic Cartan geometries, we compute infinitesimal automorphisms and infinitesimal deformations. We also prove the existence of a semi-universal deformation of a holomorphic Cartan geometry.
The paper generalizes free boundary min-max theory to equivariant settings.
problem Existence of minimal hypersurfaces with free boundary in manifolds with boundary.
method Free boundary min-max theory generalized to equivariant settings.
result Existence of nontrivial smooth almost properly embedded G-invariant minimal hypersurfaces with free boundary. We give axioms which characterize the local Reidemeister trace for orientable differentiable manifolds. The local Reidemeister trace in fixed point theory is already known, and we provide both uniqueness and existence results for the local Reidemeister trace in coincidence theory.
This paper addresses the problem of unsupervised domain adaption from theoretical and algorithmic perspectives. Existing domain adaptation theories naturally imply minimax optimization algorithms, which connect well with the domain adaptation methods based on adversarial learning. However, several disconnections still …
We study the existence of D-brane bound states at threshold in Type II string theories. In a number of situations, we can reduce the question of existence to quadrature, and the study of a particular limit of the propagator for the system of D-branes. This involves a derivation of an index theorem for a family of non-F…
The paper constructs complex structures on specific manifolds using isoparametric theory.
problem Constructing explicit complex structures on closed manifolds.
method Isoparametric theory applied to specific manifolds.
result The construction of complex structures on isoparametric hypersurfaces and focal submanifolds.
Study Kazdan-Warner equations on graphs using Brouwer degree theory.
problem Proving existence of solutions to Kazdan-Warner equations on finite graphs.
method Degree theory approach to uniformly bound and compute Brouwer degree.
result New proofs of existence results for Kazdan-Warner equations.
New method connects curvature and Persistent Homology for networks.
problem Efficient computation of Persistent Homology for complex networks.
method Discrete Morse Theory, Bloch's extension, Forman-Ricci curvature.
result Efficient Persistent Homology scheme using curvature-based approach.
We show that Chern-Weil theory for tensor bundles over manifolds is a consequence of the existence of natural closed differential forms on total spaces of torsion free connections on frame bundles.
The paper studies invariant complex manifolds in holomorphic slow-fast systems.
problem Existence of invariant complex manifolds in holomorphic systems.
method Geometric singular perturbation theory, Fenichel and Briot-Bouquet theories.
result Conditions are provided to guarantee the existence of one-dimensional invariant complex manifolds.
We prove that there are no pseudoholomorphic theories of anything other than curves, even if one allows more general spaces than almost complex manifolds. The proof is elementary, except for theories of pseudoholomorphic hypersurfaces, where topological techniques are needed. Surprisingly, hypersurface theories exist `…
New existence results for curvature problem on balls with specific conditions.
problem Existence of solutions for a prescribed mean curvature problem on a ball.
method Combining critical points at infinity approach with Morse theory.
result New existence results for higher dimensional case n≥5 under pinching conditions. Uniform proof of Kähler-Einstein metrics with arbitrary polarizations.
problem Existence of Kähler-Einstein metrics with arbitrary polarizations.
method Quantization techniques and pluripotential theory.
result Uniform Yau-Tian-Donaldson theorem for Kähler-Einstein metrics.