Develops a unified theory of Yang-Mills and GR using generalized principal bundles.
problem Combining Yang-Mills theories and General Relativity into a single framework.
method Using generalized principal bundle theory, the authors develop a new approach to field theories.
result Recover General Relativity within the framework of generalized principal connections.
Category theory generalizes finite type invariants using diagrams systems.
problem Generalizing finite type invariants using category theory.
method Relating generating sets for generalized finite type theories with diagrams systems.
result Demonstrates the correspondence between finite type theories and diagrams systems.
This is the first paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory, Gromov-Witten Theory and Symplectic Field Theory.
New geometric approach realizes 5D bulk theories with 4D edge modes.
problem Realizing novel higher-dimensional junctions of theories coupled to localized edge modes.
method M-theory on singular, asymptotically conical G2-holonomy orbifolds.
result Geometric approach shows how bulk generalized symmetries are inherited in the boundary system.
We review and elaborate on some aspects of the quantization of certain classes of higher abelian gauge theories using techniques of generalized differential cohomology. Particular emphasis is placed on the examples of generalized Maxwell theory and Cheeger-Simons cohomology, and of Ramond-Ramond fields in Type II super…
This is the revised version of the second paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory, Gromov-Witten Theory and Symplectic Field Theory. Some proofs have been improved and …
Unified theory of orbifolds and cohomology.
problem Formulating a general theory of orbifolds unifying differential and equivariant cohomology.
method Abstract axiomatization in higher topos theory and concrete models for various orbifolds.
result Fully faithful embedding of orbifolds into a cohesive infinity-topos with proper equivariant cohomology.
In this short note we show how Dubrovin's integrable hierarchies, defined using the Gromov-Witten theory of a closed symplectic manifold, generalizes to Hamiltonian Floer theory. In particular, we show how the required generalization of the PSS isomorphism, relating Gromov-Witten theory and Hamiltonian Floer theory, ca…
Study General Relativity using field theories and Poisson brackets.
problem Defining a Poisson bracket structure on solution spaces of field theories.
method Applying Poisson bracket structure to first order Hamiltonian field theories, focusing on General Relativity as a gauge theory.
result Established a Poisson bracket structure for General Relativity.
Study one-dimensional topological theories with linear generating functions.
problem Understanding one-dimensional topological theories with defects.
method Construct bases of hom spaces for decorated unoriented one-dimensional cobordisms.
result Gram determinant and linear generating functions constructed.
Paper defines generalized braids and proves their subgroup status.
problem Understanding the structure of generalized braids and knots.
method Defined generalized braid theories and computed their generating sets.
result Quasitoric normal generalized braids form a subgroup of normal generalized braid group.
The main topic is the development of a Fredholm theory in a new class of spaces called M-polyfolds. In the subsequent Volume II the theory will be generalized to an even larger class of spaces called polyfolds, which can also incorporate local symmetries. The whole package provides a functional analytic framework to de…
Topological twists for 4d N=2 theories depend on spacetime type, gerbe connections, and generalized spin-c structures.
problem Defining topologically twisted partition functions for 4d N=2 theories.
method Topological twisting for general 4d N=2 theories, introducing generalized spin-c structures.
result Topological partition functions depend on spacetime type, gerbe connections, and generalized spin-c structures.
Introduces a new relation between BF theory and gravity.
problem Formulating gauge theories based on 2-connections.
method Categorical generalization of BF theory coupled to gravity.
result Alternative relation between BFCG and gravity.
Study generalizes finiteness theorem using Lie theory.
problem Finiteness theorem in Hadwiger-Alesker theory.
method Generalization through Lie theory.
result Generalization of finiteness theorem.
The paper generalizes virtual knot theory using multiple types of virtual crossings.
problem Generalizing virtual knot theory to include multiple types of virtual crossings.
method Starting with graph theory, the paper reviews previous work and then constructs multi-virtual knots and links.
result The multiplicity of virtual crossings allows for a broader application of the Penrose evaluation to all trivalent graphs.
The paper uses non-abelian Hodge theory to generalize Kodaira vanishing theorems.
problem Generalizing Kodaira vanishing theorems for non-abelian settings.
method Non-abelian Hodge theory and Mixed Twistor D-modules.
result Generalized Kodaira vanishing theorems for various settings.
Maximal Laplacian algebras applied to invariant theory solved inverse problems.
problem Maximality of Laplacian algebras and their applications in invariant theory.
method Proof of maximality and applications to classical invariant theory.
result Introduction of generalized polarizations and if-and-only-if criterion.
The paper defines approximate fibrations in higher topos theory.
problem Defining approximate fibrations in a new mathematical framework.
method Introducing approximate fibrations for geometric morphisms of ∞-topoi, providing characterizations and comparing to previous definitions. result Generalization of shape-theoretic characterizations to a topos-theoretical proof.
Abstract: Linking field theory to Floer theory via regularization.
problem Finding periodic solutions of Hamilton's equation.
method Regularization scheme for polysymplectic formalism linking Euclidean field theory to hyperkähler Floer theory.
result Proved a cuplength estimate.
In these lectures we present a general introduction to topological quantum field theories. These theories are discussed in the framework of the Mathai-Quillen formalism and in the context of twisted N=2 supersymmetric theories. We discuss in detail the recent developments in Donaldson-Witten theory obtained from the ap…
Lectures on topological field theories and differential cohomology.
problem Exploring topological field theories and their connections to differential cohomology.
method Introduction to topological field theory and generalized Abelian gauge theories.
result Explains the relationship between topological field theories and differential cohomology.
Unified Higgs bundle vacua from M-theory on Spin(7) spaces.
problem Unifying Higgs bundle vacua from different string compactifications.
method Developed formalism for M-theory on local Spin(7) spaces and constructed explicit solutions.
result Unified 3D effective field theory from 4D M- and F-theory vacua.
Generalizes Carathéodory form for higher-order field theories.
problem Extending the Carathéodory form to second and higher-order Lagrangians.
method Geometric operations applied to the Poincaré--Cartan form and Lepage forms.
result Generalized Carathéodory form for second and higher-order Lagrangians.
New theory uses probability sets for data variability, improving machine learning.
problem Variability in data distribution causes learning issues.
method Uses convex sets of probabilities (credal sets) to model data variability.
result Derives bounds for risk of models learned from multiple training sets.
We derive a discrete analogue of Morse-Bott theory on CW complexes and use this discrete Morse-Bott function to do some Conley theory analysis. It turns out that our discrete Morse-Bott theory is indeed a generalization of Forman's discrete Morse theory.
In two previous papers with Yi-Jen Lee, we defined and computed a notion of Reidemeister torsion for the Morse theory of closed 1-forms on a finite dimensional manifold. The present paper gives an a priori proof that this Morse theory invariant is a topological invariant. It is hoped that this will provide a model for …
Proves multiplicity one for boundary minimal hypersurfaces in compact manifolds.
problem Proving multiplicity one for min-max free boundary minimal hypersurfaces in compact manifolds with boundary.
method Developed existence and regularity theory for free boundary hypersurfaces with prescribed mean curvature, including Morse index bounds.
result Proved multiplicity one theorem for min-max free boundary minimal hypersurfaces in compact manifolds with boundary.
In the late 1980s Witten used the Chern-Simons form of a connection to construct new invariants of 3-manifolds and knots, recovering in particular the Jones invariants. Since then the associated topological quantum field theory (TQFT) has served as a key example in understanding the structure of TQFTs in general. We su…
Aether theory is introduced to implement the violation of the Lorentz invariance in general relativity. For this purpose a unit timelike vector field introduced to theory in addition to the metric tensor. Aether theory contains four free parameters which satisfy some inequalities in order that the theory to be consiste…
Paper introduces a new geometric homology theory and applies it to Gromov-Witten theory.
problem Developing a new homology theory for orbifolds with corners.
method Using stratification and triangulation theories of Lie groupoids and their orbit spaces, extending to Lie groupoids with corners.
result Proposes and proves the geometric homology theory (GHT), a flexible generalization of singular homology.
Generalizes Molino's theory for Riemannian foliations.
problem Studying Riemannian foliations and their properties.
method Generalization of Molino's theory with discussion of projections and equivariant basic Â-genus characters.
result Equivariant basic cohomological isomorphism for Killing foliation.
Develops SGH bundles and theories for GC manifolds.
problem No specific problem stated; focuses on new bundle theory.
method Introduces SGH bundles, develops cohomology, and establishes theories.
result Established a Chern-Weil theory and Hodge theory for SGH bundles.
Extends Feller theory to non-locally compact spaces for stochastic equations.
problem Stochastic partial differential equations and fractional processes.
method Extended Feller processes and proofs of folklore results.
result No condition of generalized Feller semigroups can be dropped.
Much attention has been devoted recently to the generalization puzzle in deep learning: large, deep networks can generalize well, but existing theories bounding generalization error are exceedingly loose, and thus cannot explain this striking performance. Furthermore, a major hope is that knowledge may transfer across …
For every strong coarse homology theory we construct a coarse assembly map as a natural transformation between coarse homology theories. We provide various conditions implying that this assembly map is an equivalence. These results generalize known results for the analytic coarse assembly map for K-homology to general …
Paper introduces Lie algebroid index theory and a generalized Riemann-Roch theorem.
problem Generalizing Riemann-Roch theorem for manifolds with regular foliations.
method Developed Lie algebroid index theory and applied it to obtain a generalized Riemann-Roch theorem.
result Obtained a generalized Riemann-Roch theorem for manifolds with regular foliations.
Generalizes expansion and collapse theory to metric spaces.
problem Compactification of arbitrary metric spaces.
method Expands dual notions of expansion and collapse to arbitrary metric spaces and infinitely many moves.
result Proves compactification theorems, particularly for Z-set compactifications.
The study proves a generic multiplicity one theorem for G-invariant minimal hypersurfaces.
problem Proving a generic multiplicity one theorem for G-invariant minimal hypersurfaces. method Equivariant min-max theory and analysis of G-homology classes. result Shows a generic multiplicity one theorem for G-invariant minimal hypersurfaces. We expand Topological Field Theory on some special CW-complexes (brane complexes). This Brane Topological Field Theory one-to-one corresponds to infinite dimensional Frobenius Algebras, graduated by CW-complexes of lesser dimension. We define general and regular Hurwitz numbers of brane complexes and prove that they ge…
In this paper we look at which Alexander and Markov theories can be defined for generalized knot theories
Unified theory of deep learning from approximation to emergence.
problem Understanding the mechanisms behind deep learning.
method Unified, proof-oriented approach tracing from classical foundations to contemporary mechanisms.
result Unified theory explaining deep learning from approximation to emergence.
New theory for eigenvectors of generalized Laplacian matrices, addressing dependency issues.
problem Dependency in random matrix theory hinders eigenvector analysis for latent embeddings.
method Introduces generalized Laplacian matrices and a new asymptotic theory framework.
result Established asymptotic normalities for spiked eigenvectors and eigenvalues.
We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory, which allows us to prove that these models satisfy the principle of general local co…
In this paper we develop a Hamilton-Jacobi theory in the setting of almost Poisson manifolds. The theory extends the classical Hamilton-Jacobi theory and can be also applied to very general situations including nonholonomic mechanical systems and time dependent systems with external forces.
The paper explores the connection between 3d gravity and Chern-Simons theory using affine group connections.
problem Exploring the relationship between 3d gravity and Chern-Simons theory.
method A variational problem of Chern-Simons type on a principal fiber bundle with general affine group structure is studied. The connection is established through a generalized notion of extension and reduction of connections.
result Established a correspondence between 3d gravity and Chern-Simons theory using affine group connections.
Identifies all perturbative vacua in bosonic string theory.
problem Identifying all perturbative vacua in bosonic string theory.
method Completely identified perturbative vacua through string fluctuations.
result Derivation of path-integrals up to any order from fluctuations.
Lecture notes on linear neural networks for deep learning optimization and generalization.
problem Understanding optimization and generalization in deep learning models.
method Mathematical tools and dynamical systems theory.
result Potential of mathematical tools to enhance understanding of deep learning.