A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
This paper shows neural networks can solve complex graph problems efficiently.
Max-affine regression method converges linearly using GD and SGD.
Paper presents ABGD for efficient piecewise linear regression in high dimensions.
New AMP algorithm estimates signals and latent variables in mixed regression models.
We extend the Faltings modular heights of abelian varieties to general arithmetic varieties and show direct relations with the Kahler-Einstein geometry, the Minimal Model Program, heights of Bost and Zhang, and give some applications. Along the way, we propose arithmetic Yau-Tian-Donaldson conjecture, an equivalence of…
Tropical Geometry and Mathematical Morphology share the same max-plus and min-plus semiring arithmetic and matrix algebra. In this chapter we summarize some of their main ideas and common (geometric and algebraic) structure, generalize and extend both of them using weighted lattices and a max- algebra with an ar…
New method uses DC functions for piecewise linear regression.
Paper presents an efficient algorithm for estimating Lipschitz functions from noisy data.
Deep neural networks have achieved impressive supervised classification performance in many tasks including image recognition, speech recognition, and sequence to sequence learning. However, this success has not been translated to applications like question answering that may involve complex arithmetic and logic reason…
We classify all torsion-free derived arithmetic Fuchsian groups of genus two by commensurability class. In particular, we show that there exist no such groups arising from quaternion algebras over number fields of degree greater than 5. We also prove some results on the existence and form of maximal orders for a class …
Paper proposes Sp-GD for sparse max-affine regression with theoretical guarantees.
New research disproves a key conjecture in optimization.
Single-head attention approximates any function under various norms.
We present DiffTaichi, a new differentiable programming language tailored for building high-performance differentiable physical simulators. Based on an imperative programming language, DiffTaichi generates gradients of simulation steps using source code transformations that preserve arithmetic intensity and parallelism…
This paper describes a general algorithm for finding the commensurator of a non-arithmetic cusped hyperbolic manifold, and for deciding when two such manifolds are commensurable. The method is based on some elementary observations regarding horosphere packings and canonical cell decompositions. For example, we use this…
Paper proposes algorithms for BMF using integer programming.
In this paper, we extend Deligne's functorial Riemann-Roch isomorphism for hermitian holomorphic line bundles on Riemann surfaces to the case of flat, not necessarily unitary connections. The Quillen metric and star-product of Gillet-Soule are replaced with complex valued logarithms. On the determinant of cohomology si…
We build a rigorous bridge between deep networks (DNs) and approximation theory via spline functions and operators. Our key result is that a large class of DNs can be written as a composition of max-affine spline operators (MASOs), which provide a powerful portal through which to view and analyze their inner workings. …
The mathematical physicists Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed, in a seminal article from '94, a conjecture extending genus zero mirror symmetry to higher genera. With a view towards a refined formulation of the Grothendieck-Riemann-Roch theorem, we offer a mathematical description of the BCOV conjecture at…
Max-affine regression refers to a model where the unknown regression function is modeled as a maximum of unknown affine functions for a fixed . This generalizes linear regression and (real) phase retrieval, and is closely related to convex regression. Working within a non-asymptotic framework, we study th…
We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These examples come from a tower of abelian covers of an explicit arithmetic 3-manifold.…
Faces of quasi-arithmetic Coxeter polytopes are also quasi-arithmetic.
In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsific…
Develops arithmetic PDE geometry concepts like curvature and cohomology.
New geometric invariant limits the number of semi-arithmetic groups.
Course on arithmetic lattices at EPFL.
The paper develops algorithms for Boolean matrix factorization using IP and heuristics.
Paper shows non-arithmetic surface with unique geometric property.
New classification of hyperbolic Coxeter prisms.
Arithmetic Dijkgraaf-Witten theory constructs analogues in Chern-Simons TQFT.
In this article, we prove that every arithmetic locally symmetric orbifold of classical type without Euclidean or compact factors has arbitrarily long arithmetic progressions in its primitive length spectrum. Moreover, we show the stronger property that every primitive length occurs in arbitrarily long arithmetic progr…
New method constructs non-arithmetic hyperbolic orbifolds from complex arithmetic ball quotients.
We show that the non-arithmetic lattices in PO(n,1) of Belolipetsky and Thomson (2011), obtained as fundamental groups of closed hyperbolic manifolds with short systole, are quasi-arithmetic in the sense of Vinberg, and, by contrast, the well-known non-arithmetic lattices of Gromov and Piatetski-Shapiro are not quasi-a…
The paper explores subspaces in hyperbolic lattices and their arithmetic properties.
Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex numbers to the coefficients of an arithmetic variety the resulting variety is again a…
Geodesics on modular surface yield arithmetic 3-manifolds.
New property identifies arithmetic lattices from nonuniform lattices.
New proof shows maximal arithmetic groups are finite.
We study the arithmeticity of the Couwenberg-Heckman-Looijenga lattices in PU(n,1), and show that they contain a non-arithmetic lattice in PU(3,1) which is not commensurable to the non-arithmetic Deligne-Mostow lattice in PU(3,1).
Develops arithmetic PDE geometry using Fermat quotients.
Study general hyperbolic gluings, proving quasi-arithmeticity of building blocks.
The study of systoles in arithmetic hyperbolic manifolds.
We explore hybrid subgroups of certain non-arithmetic lattices in . We show that all of Mostow's lattices are virtually hybrids; moreover, we show that some of these non-arithmetic lattices are hybrids of two non-commensurable arithmetic lattices in .
New research shows certain arithmetic lattices can't be LERF.
Arithmetic spaces' thin parts are negligible, impacting Betti numbers.
We apply G. Prasad's volume formula for the arithmetic quotients of semi-simple groups and Bruhat-Tits theory to study the covolumes of arithmetic subgroups of SO(1,n). As a result we prove that for any even dimension n there exists a unique compact arithmetic hyperbolic n-orbifold of the smallest volume. We give a for…
Efficiently prices American options with multiple assets using sparse grids.
Develops Kleinian Sphere Packings and Bugs, proving their arithmetic origins.