We extend Kac-Rice formula to compute expected intersections of random submanifolds.
problem Computing expected intersections of random submanifolds.
method Generalized Kac-Rice formula using measure theory and integration.
result Formula computes expected cardinality of preimages of submanifolds via random maps.
We establish a few formulas that compute the volume of the zero-set (or nodal set) of a function on a compact Riemannian manifold as integrals of functionals of the function and its derivatives.
Study finds the number of modes in Gaussian kernel density estimators scales with sqrt(β log β).
problem Determining the number of clusters in Transformers.
method Used Kac-Rice formula and Edgeworth expansion to prove scaling.
result The expected number of modes scales as Θ(√(β log β)).
Formula for critical points of chi fields on manifolds.
problem Computing critical points of chi fields on general manifolds.
method Semi-analytic formula using Kac-Rice argument and Hessian matrix representation.
result Expression for expected value of critical points in high-threshold limit.
We present a method to obtain the average and the typical value of the number of critical points of the empirical risk landscape for generalized linear estimation problems and variants. This represents a substantial extension of previous applications of the Kac-Rice method since it allows to analyze the critical points…
The study of topological properties of random smooth maps, focusing on Kac-Rice formula and Betti numbers.
problem Topological and geometric properties of random smooth maps.
method Developed a general framework for differential geometric and topological issues of smooth Gaussian Random Fields, generalized Kac-Rice formula, applied to Kostlan random polynomials, and proved an original theorem in Differential Topology.
result The Betti numbers of the solution of a system of regular equations cannot decrease under a C0-small perturbation of the equations. Develops calculus for random submanifolds using zonoids.
problem Calculating properties of random submanifolds defined by zero sets of vector fields.
method Defines zonoid sections and uses them to compute expected volumes and currents.
result Establishes new inequalities and formulas for random submanifolds.
We analyze the landscape of empirical risk minimization for high-dimensional models, predicting phase transitions and critical point properties.
problem Understanding the complexity and structure of high-dimensional empirical risk landscapes.
method Using the Kac-Rice formula, we analyze the expected number of critical points and their spectral properties, providing detailed predictions.
result We derive complete topological phase diagrams for the phase retrieval problem, predicting BBP-type transitions and critical point stability.
The paper analyzes local minima in high-dimensional empirical risk minimization.
problem Understanding local minima in high-dimensional data models.
method Using Kac-Rice formula and proportional asymptotics, the paper derives bounds on local minima.
result Sharp asymptotics on estimation and prediction errors are derived.
Non-convex optimization with local search heuristics has been widely used in machine learning, achieving many state-of-art results. It becomes increasingly important to understand why they can work for these NP-hard problems on typical data. The landscape of many objective functions in learning has been conjectured to …
We establish formulas that give the intrinsic volumes, or curvature measures, of sublevel sets of functions defined on Riemannian manifolds as integrals of functionals of the function and its derivatives. For instance, in the Euclidean case, if f∈C3(Rn,R) and 0 is a regular value of…
Study on complexity of random polynomials with deterministic spikes, identifying phase transitions.
problem Complexity of random Gaussian polynomials with deterministic spikes on a sphere.
method Variational formulas, Kac-Rice formula, determinant asymptotics of finite-rank perturbation of Gaussian Wigner matrices.
result Identification of a topological phase transition in the complexity function.
In this work we analyse quantitatively the interplay between the loss landscape and performance of descent algorithms in a prototypical inference problem, the spiked matrix-tensor model. We study a loss function that is the negative log-likelihood of the model. We analyse the number of local minima at a fixed distance …
Study on variance of Laplace eigenfunctions on manifolds.
problem Investigating the variance of Laplace eigenfunctions on compact manifolds.
method Combining Kac-Rice formula, Wiener-Itô chaos decompositions, and pointwise Weyl law analysis.
result Established a quantitative bound for the fluctuations of nodal volumes, improving existing results.
Study analyzes landscape complexity of empirical loss functions with correlated data.
problem Understanding the complexity of loss landscapes in machine learning with structured data.
method Kac-Rice formula and random matrix theory applied to high-dimensional empirical loss functions.
result Characterizes the average number of critical points in loss functions with structured data.
Consider a d×d matrix M whose rows are independent centered non-degenerate Gaussian vectors ξ1,...,ξd with covariance matrices Σ1,...,Σd. Denote by Ei the location-dispersion ellipsoid of ξi:Ei=x∈Rd:x⊤Σi−1x⩽1. We sh…
New test detects sparse alternatives in Gaussian random fields.
problem Detecting sparse alternatives in Gaussian random fields.
method Ad-hoc Kac Rice formula for second maximum distribution, exact spacing test.
result Exact t-spacing test for high power in detecting sparse alternatives. We study rough high-dimensional landscapes in which an increasingly stronger preference for a given configuration emerges. Such energy landscapes arise in glass physics and inference. In particular we focus on random Gaussian functions, and on the spiked-tensor model and generalizations. We thoroughly analyze the stati…
Non-asymptotic tail bounds for Kostlan-Shub-Smale field on sphere
problem Estimating rank-R symmetric signal tensor from Gaussian observation
method Profile maximum likelihood estimator
result Finite-(k,d) error bound recovers asymptotically optimal rate
Gradient-based algorithms are effective for many machine learning tasks, but despite ample recent effort and some progress, it often remains unclear why they work in practice in optimising high-dimensional non-convex functions and why they find good minima instead of being trapped in spurious ones. Here we present a qu…
Proves a general connected sum formula for families Seiberg-Witten invariants.
problem Limited connected sum formulae for families Seiberg-Witten theory.
method Develops a general connected sum formula incorporating previous results.
result Proves a new connected sum formula for Seiberg-Witten families.
Derives an integral formula for G2-structures.
problem Calculating properties of G2-structures.
method Applies an integral formula for G-structures to G2.
result Derives an integral formula relating curvatures and quadratic invariants.
Derives integral formulae on weighted manifolds.
problem No specific problem stated; focuses on mathematical derivations.
method Introduces weighted mean sigma-r curvature and uses weighted Newton transformations.
result Derives integral formulae generalizing previous work.
Paper derives trace formula for magnetic Laplacian at zero energy.
problem Trace formula for magnetic Laplacian at zero energy.
method Generalizes Gutzwiller trace formula, focuses on zero energy level.
result Derives trace formula at zero energy level.
The Gauss formula is extended to various Laplacians on submanifolds.
problem Deriving formulas for Laplacians on submanifolds.
method Extending the Gauss formula to different types of Laplacians.
result Formulas for various Laplacians on submanifolds.
The paper is devoted to the problem of finding explicit combinatorial formulae for the Pontryagin classes. We discuss two formulae, the classical Gabrielov-Gelfand-Losik formula based on investigation of configuration spaces and the local combinatorial formula obtained by the author in 2004. The latter formula is based…
We prove two tropical gluing formulae for Gromov-Witten invariants of exploded manifolds, useful for calculating Gromov-Witten invariants of a symplectic manifold using a normal-crossing degeneration. The first formula generalizes the symplectic-sum formula for Gromov-Witten invariants. The second formula is stronger, …
Note on new cancellation formulas for manifolds.
problem Generalizing anomaly cancellation formulas to manifolds.
method Proving new (a, b) type cancellation formulas and using transgression.
result Obtained characteristic forms with modularity properties.
The main result of the present paper is a coincidence formula for foliated manifolds. To prove this we establish Kuenneth formula, Poincare duality and intersection product in the context of tangential de Rham cohomology and homology of tangential currents. We apply the formula to get a dynamical Lefschetz formula for …
Formula calculates volume of two-bridge knots.
problem Calculating the volume of two-bridge knots.
method Derived from Hopf formula and Fox derivatives.
result Closed formula for the volume of two-bridge knots.
Introduces a universal Bochner formula for scalar curvature.
problem None explicitly stated; focuses on a new formula.
method Introduces a universal Bochner formula.
result Contains special cases like stability inequality and Schrödinger-Lichnerowicz-type formula.
Formula connects surgeries to Seiberg-Witten invariants.
problem Understanding how surgeries affect Seiberg-Witten invariants.
method Proves surgery formulas for Seiberg-Witten invariants and families.
result Expresses new invariants in terms of original ones.
It has been shown that the Alvarez-Gaumeˊ-Witten miraculous anomaly cancellation formula in type IIB superstring theory and its various generalizations can be derived from modularity of certain characteristic forms. In this paper, we show that the Green-Schwarz formula and the Schwarz-Witten formula i…
Proves a formula for a special invariant of 4-manifolds.
problem Calculating the Bauer-Furuta invariant for connected sums of 4-manifolds.
method Uses a finite dimensional approximation of the Seiberg-Witten monopole map to derive a formula for the families Bauer-Furuta invariant of a fibrewise connected sum.
result Derives a general connected sum formula for the families Bauer-Furuta invariant.
Proves a special case of the Gaussian kinematic formula using large sphere limits.
problem Proving a special case of the Gaussian kinematic formula.
method Viewing the GKF as the limit of spherical kinematic formulas for large dimension spheres.
result Proves a special case of the Gaussian kinematic formula.
New Crofton formulae derived from existing ones.
problem Generalizing Crofton formulae for products.
method Calculations in the ring of normal densities.
result Generalizations of Crofton formulae in terms of mixed Riemannian volume.
Formulae for non-symmetric connections derived from covariant derivatives.
problem Deriving commutation formulae for non-symmetric affine connections.
method Covariant derivatives of tensors with respect to symmetric and non-symmetric affine connections.
result Formulae for non-symmetric connections derived from covariant derivatives.
Formula connects curvature to volume in special geometric spaces.
problem Deriving formulas for curvature in specific geometric spaces.
method Used strong locality of Laplacian and eigenfunction approximation.
result Proved integral type Gauss-Green formula linking curvature to volume.
Kenmotsu's formula describes surfaces in Euclidean 3-space by their mean curvature functions and Gauss maps. In Lorentzian 3-space, Akutagawa-Nishikawa's formula and Magid's formula are Kenmotsu-type formulas for spacelike surfaces and for timelike surfaces, respectively. We apply them to a few problems concerning rota…
The paper proves T-duality and Hori formulae for winding loop spaces.
problem Realizing T-duality and Hori formulae for loop spaces.
method Proving T-duality and Hori formulae for winding q-loop spaces.
result T-duality and Hori formulae for winding q-loop spaces are proven.
New formulas for measuring geometric properties of definable sets.
problem Measuring geometric properties of definable sets in a non-standard setting.
method Proved two kinematic formulas integrating on SO(n)imesSn−1. result Generalized Cauchy-Crofton and infinitesimal linear kinematic formulas.
Guillemin trace formula adapted for group actions.
problem Distributional trace for proper, cocompact group actions.
method Developing an equivariant version of the distributional trace.
result Equivariant Guillemin trace formula for group actions.
Unified entropy formula for real, complex, and quaternionic DLNs.
problem Deriving a formula for DLNs over different fields.
method Extending Menon and Yu's formula to complex and quaternionic DLNs.
result Unified entropy formula for DLNs over R, C, and H. Proves an Euler-type formula for Möbius strip partitions.
problem No specific problem stated; focuses on a mathematical formula.
method Analyzes partitions of the Möbius strip.
result Proves an Euler-type formula for Möbius strip partitions.
We prove a quasi-Poisson bracket formula for the space of representations of the fundamental groupoid of a surface with boundary, which generalizes Goldman's Poisson bracket formula. We also deduce a similar formula for quasi-Poisson cross-sections.
Paper derives matrix formulae and proves skein relations for non-orientable surfaces in quasi-cluster algebras.
problem Understanding quasi-cluster algebras on non-orientable surfaces.
method Developed matrix formulae and proved skein relations for quasi-cluster variables.
result Laurent expansion and skein relations for quasi-cluster variables on non-orientable surfaces.
New formulas for coassociative submanifolds' volume variation.
problem Understanding volume changes in coassociative submanifolds.
method Proved new variation formulae using G2 data. result Highlight the role of ambient torsion and Ricci curvature in volume changes.
New methods derive a generalized Frenkel trace formula for Lie groups.
problem Deriving a generalized Frenkel trace formula for Lie groups.
method Applying supersymmetric localization to quantum mechanical and gauged sigma models.
result Presented two complementary approaches for the derivation of the trace formula.