New method extends knot theory to non-bipartite knots, revealing PDs.
problem Extending knot theory to non-bipartite knots.
method Developed a new positive decomposition (PD) for HOMFLY polynomials of non-bipartite knots.
result PD exists for non-bipartite knots, not just bipartite ones.
Introduces a new geometric framework for non-perturbative BV-theory.
problem Non-perturbative generalization of BV-theory in infinite-dimensional spaces.
method Derived differential geometry and homotopical algebraic geometry.
result Concrete model of derived smooth stacks for encoding non-perturbative BV-theory.
Perturbative string amplitudes are correctly derived from the string geometry theory, which is one of the candidates of a non-perturbative formulation of string theory. In order to derive non-perturbative effects rather easily, we formulate topological string geometry theory. We derive the perturbative partition functi…
We propose a conjecture to compute the all-order asymptotic expansion of the colored Jones polynomial of the complement of a hyperbolic knot, J_N(q = exp(2u/N)) when N goes to infinity. Our conjecture claims that the asymptotic expansion of the colored Jones polynomial is a the formal wave function of an integrable sys…
Formally equates two quantization methods and constructs non-commutative algebras.
problem Equivalence of deformation and geometric quantization methods.
method Symplectic reduction and Lie 2-groupoid quantization.
result Recovery of strict deformation quantizations and non-associative products.
New non-perturbative counterexamples to Min-Oo's Conjecture are created.
problem Min-Oo's Conjecture on positive curvature and mass.
method Quantitative Gromov-Lawson Schoen-Yau surgery.
result Construction of new non-perturbative counterexamples with more complex topology.
Study of harmonic maps and instantons in 4D.
problem Constructing non-spin, simply-connected Ricci-flat 4-manifolds.
method Non-perturbative approach ruling out conical singularities from axisymmetric harmonic maps.
result Systematic counterexamples to Riemannian black hole uniqueness conjecture.
This paper analyzes Δa invariants in non-perturbative complex Chern-Simons theory.
problem Analyzing the structure and properties of Δa invariants. method Reviewing foundations and analyzing structure for a subclass of integer homology spheres.
result The Δa invariants are not homology cobordism invariants. String geometry theory uniquely determines classical action with T-symmetry.
problem Non-renormalizability and loop corrections in string theory.
method Distinguishes effects of β and ħ parameters, proving no loop corrections.
result No loop corrections in string geometry theory, avoiding non-renormalizability.
New method proves instability of naked singularity and censors it.
problem Proving instability and censoring naked singularity.
method Einstein-scalar field system, hyperbolic short-pulse method, non-perturbative elliptic arguments.
result Tiny anisotropic perturbation leads to anisotropic apparent horizon censoring the naked singularity.
Study non-perturbative quantum geometry of string theories using finite difference equations and resurgence analysis.
problem Non-perturbative quantum geometry of open and closed topological string on the resolved conifold.
method Finite difference equations, resurgence analysis, exact WKB techniques.
result Identify 5d BPS states and relate spectral problems to quantum integrable systems.
Lectures detail field theory dynamics and exact WKB analysis.
problem Understanding quantum field theories with four supercharges.
method Combining WKB analysis with 2D quantum field theories.
result Partition function characterizes non-perturbative dynamics.
We define string geometry: spaces of superstrings including the interactions, their topologies, charts, and metrics. Trajectories in asymptotic processes on a space of strings reproduce the right moduli space of the super Riemann surfaces in a target manifold. Based on the string geometry, we define Einstein-Hilbert ac…
We consider the non-perturbative superpotential for a class of four-dimensional N=1 vacua obtained from M-theory on seven-manifolds with holonomy G2. The class of G2-holonomy manifolds we consider are so-called twisted connected sum (TCS) constructions, which have the topology of a K3-fibration over $S…
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…
Mathematical structures link Gromov-Witten to Donaldson-Thomas invariants.
problem Understanding non-perturbative topological string theory.
method Borel summation of Gromov-Witten potential and analysis of Stokes phenomena.
result Stokes phenomena encode Donaldson-Thomas invariants of the resolved conifold.
In this paper we prescribe a fourth order conformal invariant on the standard n−sphere, with n≥5, and study the related fourth order elliptic equation. We first find some existence results in the perturbative case. After some blow up analysis we build a homotopy to pass from the perturbative case to the non-pert…
We consider Chern-Simons theory with complex gauge group and present a complete non-perturbative evaluation of the path integral (the partition function and certain expectation values of Wilson loops) on Seifert fibred 3-Manifolds. We use the method of Abelianisation. In certain cases the path integral can be seen to f…
Study embedding calculus and link invariants using functor calculus.
problem Detect Milnor invariants using embedding towers of string links.
method Use functor calculus and Goodwillie-Weiss embedding calculus.
result Embedding tower detects Milnor invariants.
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.
Alternative finance models from physics for non-equilibrium systems.
problem Inequities of classical finance models in physics-based perspective.
method Physics-based insights for non-equilibrium finance models.
result Alternative models for non-equilibrium finance systems.
ContrastiveVI+ models CRISPR screens with noisy guide efficiency.
problem Noisy guide efficiency in CRISPR screens.
method Generative modeling framework that disentangles perturbation-induced from shared variations.
result ContrastiveVI+ better recovers perturbation-induced variations and identifies cells without edits.
Derives path-integrals for superstrings on curved backgrounds using string geometry theory.
problem Calculating path-integrals for superstrings on curved backgrounds.
method Derives path-integrals from string geometry theory by considering fluctuations around string backgrounds.
result Derives path-integrals for perturbative superstrings on all string backgrounds.
Embedding calculus proves convergence for surfaces.
problem Proving convergence of embedding calculus for surfaces.
method Goodwillie-Weiss' embedding calculus for spaces of embeddings into a manifold of dimension at most two.
result Relates Johnson filtration of mapping class group to embedding calculus.
Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.
problem Geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.
method Groupoid approach to pseudodifferential calculus, rescaled bundle.
result Rescaled bundle provides geometric characterization to asymptotic pseudodifferential calculus on spinor bundles.
We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topol…
Secondary Calculus formalizes PDEs using cohomology, simplifying their study.
problem Formalizing and simplifying the study of partial differential equations (PDEs).
method Using cohomology of diffieties to formalize PDEs and their properties.
result Differential calculus on PDE solution spaces is homotopy calculus on horizontal De Rham algebras of diffieties.
In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.
Extends differential calculus to triole algebras.
problem No specific problem stated; focuses on extending differential calculus.
method Generalizes diolic differential calculus to triole algebras with fiber metrics.
result Established a conceptual framework for calculus on bundles with vector-valued fiber metrics.
Introduces tractors for basic examples and modern differential calculus.
problem None explicitly stated, focuses on introduction.
method Classical examples and modern invariant differential calculus.
result Introduction to tractors and related modern differential calculus.
A diagrammatic language for 3D manifolds with boundary.
problem Representing and manipulating 3D manifolds with boundary.
method Diagrammatic calculus and local moves.
result Completeness of the diagrammatic calculus proved.
Unified Lie structures in homotopy and isotopy calculus.
problem Compatibility of Lie structures in homotopy and isotopy calculus.
method New technical tool: bracket on total homotopy fibres of collapsing cubes of wedge sums.
result Unified understanding of Lie structures in homotopy and isotopy calculus.
Novel mathematical approach using resurgent analysis reveals new structures in complex Chern-Simons theory.
problem Curious bijection in vertex algebras and SCFTs.
method Resurgent analysis, numerical algorithms, singularity elimination.
result New structures and patterns in complex Chern-Simons theory on hyperbolic 3-manifolds.
We examine the N-Koszul calculus for the N-symmetric algebras. The case N=2 corresponds to the Elie Cartan calculus. We conjecture that, as in the case N=2, the N-Cartan calculus extends to manifolds when N>2, which would provide a new type of noncommutative differential geometry.
This paper is concerned with pseudodifferential calculus on manifolds with fibred corners. Following work of Connes, Monthubert, Skandalis and Androulidakis, we associate to every manifold with fibred corners a longitudinally smooth groupoid which algebraic and differential structure is explicitely described. This grou…
Derives path integrals for perturbative strings on various backgrounds.
problem Calculating path integrals for strings on curved backgrounds.
method Derives path integrals from string geometry theory by considering fluctuations around string backgrounds.
result Derives path integrals of all order perturbative strings on various backgrounds.
This memoir deals with the hypoelliptic calculus on Heisenberg manifolds, or Heisenberg calculus. The Heisenberg manifolds generalize CR and contact manifolds and in this context the main differential operators at stake include the Hörmander's sum of squares, the Kohn Laplacian, the horizontal sublaplacian and its conf…
Simplified calculus for semimartingales makes complex transformations easier.
problem Complex transformations of semimartingales.
method Unified treatment of transformations for real and complex semimartingales.
result Unified calculus for semimartingales simplifies various transformations.
Euler calculus is based on integrating simple functions with respect to the Euler characteristic. This paper makes the case for extending Euler calculus to continuous integrands by integrating with respect to (Gaussian) curvature. This requires a metric but is nevertheless defined within any O-minimal theory. It satisf…
This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move…
Develops symmetric Cartan calculus linking to Patterson-Walker metric.
problem No specific problem stated; focuses on developing a new calculus.
method Symmetric Cartan calculus, using torsion-free affine connections.
result Symmetric Cartan calculus is a complete analogue of classical Cartan calculus.
Study of rotating gravastars with de Sitter interiors and Kerr exteriors.
problem Understanding the spacetime structure of rotating gravastars and black hole mimickers.
method Exact analytical solutions for Cn metrics with de Sitter interiors and Kerr exteriors. result Existence of Cn metrics with arbitrary differentiability, respecting energy conditions. New algebraic formalism for differential calculus in Diolic algebras.
problem Studying differential calculus in vector bundles.
method Introducing functors of differential calculus over arbitrary graded commutative algebras (DCGCA) and applying this to Diolic algebras.
result Recovery of well-known objects and notions from ordinary differential, symplectic, and Poisson geometry, with unique aspects.
New calculus solves boundary value problems for elliptic operators.
problem Boundary value problems for 0-elliptic operators.
method Developed a new calculus called symbolic 0-calculus to handle boundary value problems.
result Construct left and right parametrices for 0-elliptic operators with boundary conditions.
New integration theory on topological spaces, including fractals.
problem Developing a universal integration theory for arbitrary topological spaces.
method Introducing a new integration framework using unital magma valued functions and measures.
result Integration, differentiation, and orientation defined for arbitrary topological spaces.
Following the programme set out in Part I of this work, we develop a conceptual higher order differential calculus. The '' local linear algebra '' defined in Part I is generalized by '' higher order local linear algebra ''. The underlying combinatorial object of such higher algebra is the natural n-dimensional hyper-cu…
Cartan calculus applied to string topology homology.
problem Understanding the structure of free loop spaces.
method Introduced Cartan calculus on loop homology, linked to string topology operations.
result Loop product and bracket behavior under Hodge decomposition.
Develops a graphical calculus for stable curvature invariants.
problem Calculating stable curvature invariants of Riemannian manifolds.
method Graphical calculus based on trivalent graphs with colored edges.
result Derives a curvature identity for compact Einstein manifolds.