arXiv research

Study explores algorithmic collusion in repeated games using various learning dynamics.

New evidence refutes old conjectures about knot homology ranks, suggesting new congruences.

In this paper we give a characterization of 2-dimensional topological field theories over a space $X$ as Frobenius bundles with connections over $LX$, the free loop space of $X$. This is a generalization of the folk theorem stating that 2-dimensional topological field theories (over a point) are described by finite-dim…

In this paper, we develop Leray-Serre-type spectral sequences to compute the intersection homology of the regular neighborhood and deleted regular neighborhood of the bottom stratum of a stratified PL-pseudomanifold. The E^2 terms of the spectral sequences are given by the homology of the bottom stratum with a local co…

A refined form of the `Folk Theorem' that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type is proved in the context of manifolds with corners. This procedure is shown to capture the simultaneous resolution of all isotropy types in a `resolution stru…

We evaluate the folk wisdom that algorithmic decision rules trained on data produced by biased human decision-makers necessarily reflect this bias. We consider a setting where training labels are only generated if a biased decision-maker takes a particular action, and so "biased" training data arise due to discriminato…

We consider fundamental questions of arbitrage pricing arising when the uncertainty model is given by a set of possible mutually singular probability measures. With a single probability model, essential equivalence between the absence of arbitrage and the existence of an equivalent martingale measure is a folk theorem,…

The full causal ladder of spacetimes is constructed, and their updated main properties are developed. Old concepts and alternative definitions of each level of the ladder are revisited, with emphasis in minimum hypotheses. The implications of the recently solved ``folk questions on smoothability'', and alternative prop…

A refined form of the `Folk Theorem' that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type was established by the authors in the context of manifolds with corners; the canonical construction induces fibrations on the boundary faces of the resolution…

The `Folk Theorem' that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type is proved in the context of manifolds with corners. This procedure is shown to capture the simultaneous resolution of all isotropy types in a `resolution tower' which projects …

The folk result in Kyle-Back models states that the value function of the insider remains unchanged when her admissible strategies are restricted to absolutely continuous ones. In this paper we show that, for a large class of pricing rules used in current literature, the value function of the insider can be finite when…

We characterize those spacetimes which admit a isometric (or conformal) embedding in some Lorentz-Minkowski space L^N. In particular, any globally hyperbolic spacetime can be isometrically embedded in L^N. This is proven by a result of its own interest: the construction of a smooth time function whose gradient is bound…

PAC-Bayesian bounds improve understanding of K-NN classifier performance.

The conjugacy class of a generic unimodular 2 by 2 complex matrix is determined by its trace, which may be an arbitrary complex number. In the nineteenth century, it was known that a generic pair (X,Y) of such pairs is determined up to conjugacy by the triple of traces (tr(X),tr(Y),tr(XY), which may be an arbitary elem…

Disproves conjectures about shared surgeries for distinct knots.

It is a folk conjecture that for alpha > 1/2 there is no alpha-Hoelder surface in the subRiemannian Heisenberg group. Namely, it is expected that there is no embedding from an open subset of R^2 into the Heisenberg group that is Hoelder continuous of order strictly greater than 1/2. The Heisenberg group here is equippe…

The folk questions in Lorentzian Geometry, which concerns the smoothness of time functions and slicings by Cauchy hypersurfaces, are solved by giving simple proofs of: (a) any globally hyperbolic spacetime $(M,g)$ admits a smooth time function $τ$ whose levels are spacelike Cauchy hyperfurfaces and, thus, also a smooth…

We prove that each overtwisted contact structure has knot types that are represented by infinitely many distinct transverse knots all with the same self-linking number. In some cases, we can even classify all such knots. We also show similar results for Legendrian knots and prove a "folk" result concerning loose transv…

Scaffolding sets improve predictor correctness across subsets.

Local Bayesian optimization shows strong performance and converges well, contrary to folklore.

Recently, folk questions on the smoothability of Cauchy hypersurfaces and time functions of a globally hyperbolic spacetime M, have been solved. Here we give further results, applicable to several problems: (1) Any compact spacelike acausal submanifold H with boundary can be extended to a spacelike Cauchy hypersurface …

New findings suggest non-contrastive learning has many bad minima, not just collapsed ones.

Signed compression progress on a sealed audit is goodhart-resistant.

Music SketchNet generates missing measures in incomplete music pieces, guided by user input.

The helicity of a vector field is a measure of the average linking of pairs of integral curves of the field. Computed by a six-dimensional integral, it is widely useful in the physics of fluids. For a divergence-free field tangent to the boundary of a domain in 3-space, helicity is known to be invariant under volume-pr…

FMM fails to accurately determine the number of components even with consistent posterior.

We prove a \emph{query complexity} lower bound on rank-one principal component analysis (PCA). We consider an oracle model where, given a symmetric matrix $M \in \mathbb{R}^{d \times d}$, an algorithm is allowed to make $T$ \emph{exact} queries of the form $w^{(i)} = Mv^{(i)}$ for $i \in \{1,\dots,T\}$, where $v^{(i)}$…

Stochastic Gradient Descent shows directional bias with moderate learning rates, impacting optimization outcomes.

Researchers use LLMs to judge other LLMs, but this study provides a new geometric perspective to understand when it works.

AI generates theorems and proofs for training theorem provers.

Global inverse function theorem proved easily using Riemannian geometry.

A new comparison theorem for geometric spaces.

Paper develops formulas and theorems in Hermitian geometry.

The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.

Revises a theorem by Thurston, finding a counter-example and a weaker version.

Proofs for Moon's theorem and its generalization.

Analyzes Saito vanishing theorem using $L^{2}$ methods.

Investigates proving geometric theorems over complex and real numbers using tilings.

Extends symplectic reduction and theorem to Lie algebroids.

Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.

Proves Thurston's bounded image theorem for Haken manifolds.

Method upgrades limit theorems to mixing limit theorems for dynamical systems.

Formulates Index III lemma and Rauch III theorem with applications.

In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…

The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.

Proves two theorems on odd-dimensional manifolds with boundary.

Sharp convergence theorem for sphere submanifolds proved.

INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.