The classical Schläfli formula, and its ``higher'' analogs given in [SS03], are relations between the variations of the volumes and ``curvatures'' of faces of different dimensions of a polyhedra (which can be Euclidean, spherical or hyperbolic) under a first-order deformation. We describe here analogs of those formulas…
siRF identifies transcription factor binding near enhancers in flies.
problem Identifying functional transcription factor binding near enhancers.
method Signed iterative random forests (siRF) for machine learning.
result Infers regulatory interactions among transcription factors and enhancers.
Most animals possess the ability to actuate a vast diversity of movements, ostensibly constrained only by morphology and physics. In practice, however, a frequent assumption in behavioral science is that most of an animal's activities can be described in terms of a small set of stereotyped motifs. Here we introduce a m…
New framework learns interaction rules from animal trajectories.
problem Challenges in extracting interaction rules from animal movement data.
method Augmented behavioral models with neural networks and theory-guided regularization.
result Improved performance over baselines and novel biological insights.
Double descent phenomenon explained in simple terms.
problem Understanding the surprising drop in test error in overparameterized models.
method Informal explanation using linear algebra and probability, visual intuition with polynomial regression, mathematical analysis with ordinary linear regression.
result Three factors create double descent: data undersampling, model size, and parameter count. Ablating any one of these factors prevents double descent.
Co-eye combines multiple symbolic representations to improve time series classification accuracy.
problem Challenges in time series classification due to domain diversity.
method Inspired by compound eyes, Co-eye uses multiple symbolic representations and hyper-parameterised lenses to classify time series data.
result Co-eye outperforms state-of-the-art techniques in accuracy and robustness across various domains.
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 proves a fixed point formula and applies it to a new proof of Harish-Chandra's character formula.
problem Proving a fixed point formula for equivariant indices of elliptic differential operators.
method Fixed point formula for proper actions by connected semisimple Lie groups on manifolds.
result New proof of Harish-Chandra's character formula for discrete series representations.
Unified formula for surfaces in Euclidean or Lorentzian 3-space.
problem Describe surfaces in Euclidean or Lorentzian 3-space.
method Unified Kenmotsu-type formula for surfaces in Euclidean or Lorentzian 3-space.
result Unified single equation for Kenmotsu-type formulas in Euclidean and Lorentzian 3-space.
Two tropical gluing formulas help calculate Gromov-Witten invariants.
problem Calculating Gromov-Witten invariants of symplectic manifolds.
method Tropical geometry applied to exploded manifolds.
result Generalizes existing formulas for Gromov-Witten invariants.
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…
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 study identifies types of manifolds using variational formulas and integral-differential formulas.
problem Identifying specific types of manifolds based on curvature properties.
method Established variational formulas for Ricci curvature bounds and used them to identify manifolds.
result Constant curvature, Einstein, and Ricci parallel manifolds identified with specific formulas.
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.
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…
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.
Extension formulae on almost complex manifolds studied with applications.
problem Understanding almost complex manifolds through extension formulae.
method Provided extension formulae and decompositions for almost complex manifolds.
result Studied (n,0)-forms, (n,0)-Dolbeault cohomology group, and (n,q)-forms. 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.
Formula for foliations' singularities in complex projective spaces.
problem Counting singularities of foliations on complex projective spaces.
method Global residue formula for logarithmic indices of foliations with isolated singularities.
result Formula for the number of singularities in the complement of the invariant divisor on complex projective spaces.
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.
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.
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.
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.
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.
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.
Alternative closed-form formula for spread call option prices under log-normal models.
problem Valuation of spread call options under log-normal models.
method Developed an alternative closed-form formula for spread call option prices.
result Our formula performs better for certain range of model parameters than existing closed-form formula.
The paper derives new Gauss-Bonnet formulas for frontal bundles over surfaces with boundary.
problem Deriving new formulas for coherent tangent bundles over surfaces with boundary.
method Defining frontal bundles and applying Gauss-Bonnet theorems to derive formulas.
result Four new Gauss-Bonnet type formulas for frontal bundles are derived.
Paper provides seven Gauss diagram formulas for degree three long virtual knots.
problem Tackles the complete list of seven distinct Gauss diagram formulas for degree three long virtual knots.
method Gives seven Gauss diagram formulas for degree three long virtual knots and 23 for classical knots.
result Each Gauss diagram formula for degree three long virtual knots is represented as classical knots formulas, supporting Goussarov-Polyak-Viro conjecture.
In this paper, we obtain asymptotic formulas with error estimates for the implied volatility associated with a European call pricing function. We show that these formulas imply Lee's moment formulas for the implied volatility and the tail-wing formulas due to Benaim and Friz. In addition, we analyze Pareto-type tails o…
The paper surveys the Guillemin-Uribe trace formula for magnetic Laplacians.
problem Analyzing dynamics of magnetic geodesic flows through eigenvalues.
method Semiclassical version of the Selberg trace formula for magnetic Laplacians.
result Concrete examples computed for specific magnetic fields.
Derives Selberg trace formula on Riemann surfaces and generalizes to other spaces.
problem Deriving and generalizing the Selberg trace formula.
method Supersymmetric localization principle and path integral derivation.
result Derives Selberg trace formula on arbitrary compact Riemann surfaces and generic compact locally symmetric spaces.
This paper derives an explicit formula for Branson's Q-curvature in even-dimensional conformal geometry. The ingredients in the formula come from the Poincare metric in one higher dimension; hence the formula is called holographic. When specialized to the conformally flat case, the holographic formula expresses Q-curva…
We derive formulas for F measures' standard error and confidence intervals.
problem Estimating F measures' accuracy with confidence.
method Analytic formulas based on asymptotic normality.
result Valid formulas for sample size planning.
Formula bounds Willmore functional in hyperbolic and spherical spaces.
problem Bounding Willmore functional in hyperbolic and spherical spaces.
method Simon type monotonicity formulas for Willmore functional in hyperbolic and spherical spaces.
result Lower bound of Willmore functional on closed surfaces.
Proves a formula in Heegaard Floer homology using combinatorial methods.
problem Proving Lipshitz's Maslov index formula in Heegaard Floer homology.
method Combinatorial proof via Heegaard diagrams.
result Validated Lipshitz's Maslov index formula in Heegaard Floer homology.