Single-cell 3D genome reconstruction in the haploid setting using rigidity theory

2025-12-22T17:34:27Z

This article considers the problem of 3-dimensional genome reconstruction for single-cell data, and the uniqueness of such reconstructions in the setting of haploid organisms. We consider multiple graph models as representations of this problem, and use techniques from graph rigidity theory to determine identifiability. Biologically, our models come from Hi-C data, microscopy data, and combinations thereof. Mathematically, we use unit ball and sphere packing models, as well as models consisting of distance and inequality constraints. In each setting, we describe and/or derive new results on realisability and uniqueness. We then propose a 3D reconstruction method based on semidefinite programming and apply it to synthetic and real data sets using our models.

Mathematical exploration and discovery at scale

2025-12-22T12:49:01Z

AlphaEvolve (Novikov et al., 2025) is a generic evolutionary coding agent that combines the generative capabilities of LLMs with automated evaluation in an iterative evolutionary framework that proposes, tests, and refines algorithmic solutions to challenging scientific and practical problems. In this paper we showcase AlphaEvolve as a tool for autonomously discovering novel mathematical constructions and advancing our understanding of long-standing open problems. To demonstrate its breadth, we considered a list of 67 problems spanning mathematical analysis, combinatorics, geometry, and number theory. The system rediscovered the best known solutions in most of the cases and discovered improved solutions in several. In some instances, AlphaEvolve is also able to generalize results for a finite number of input values into a formula valid for all input values. Furthermore, we are able to combine this methodology with Deep Think and AlphaProof in a broader framework where the additional proof-assistants and reasoning systems provide automated proof generation and further mathematical insights. These results demonstrate that large language model-guided evolutionary search can autonomously discover mathematical constructions that complement human intuition, at times matching or even improving the best known results, highlighting the potential for significant new ways of interaction between mathematicians and AI systems. We present AlphaEvolve as a powerful new tool for mathematical discovery, capable of exploring vast search spaces to solve complex optimization problems at scale, often with significantly reduced requirements on preparation and computation time.

A refinement of bounded cohomology

2025-12-22T10:08:40Z

We introduce a refinement of bounded cohomology and prove that the suitable comparison homomorphisms vanish for an amenable group. We investigate in this context Thompson's group F and provide further evidence towards its amenability. We provide a source of nontrivial 1-bounded classes and show that the space of 1-bounded classes in degree 2 is huge.

Four special Poncelet triangle families about the incircle

2025-12-22T10:05:12Z

We describe four special families of ellipse-inscribed Poncelet triangles about the incircle which maintain certain triangle centers stationary and which also display interesting conservations.

On $\ell_1$ embeddings of finite metric spaces, and sphere-of-influence graphs

2025-12-22T02:35:40Z

We introduce the {\em pair-cut cone $PCUT_n$} of metrics on sets with $n\ge 3$ elements, that correspond to linear combinations with non-negative coefficients of the cut-metrics resulting from cuts that are pairs. Given a metric, we fully characterize membership in the pair-cut cone in terms of quantities computed from the metric directly. We also prove a new result by which a metric $d$ that satisfies a system of inequalities, lies in the (full) cut cone of metrics, making it $\ell_1$-embeddable into Euclidean space. We give applications of our results to the $\ell_1$-embeddability of simple graphs into Euclidean space as {\em sphere-of-influence graphs}. We exhibit an example of a simple graph that admits no such $\ell_1$-metric in the pair-cut cone.

Small Volume Bodies of Constant Width with Tetrahedral Symmetries

2025-12-21T20:22:09Z

For every $n\ge 2$, we construct a body $U_n$ of constant width $2$ in $\mathbb{E}^n$ with small volume and symmetries of a regular $n$-simplex. $U_2$ is the Reuleaux triangle. To the best of our knowledge, $U_3$ was not previously constructed, and its volume is smaller than the volume of other three-dimensional bodies of constant width with tetrahedral symmetries. While the volume of $U_3$ is slightly larger than the volume of Meissner's bodies of width $2$, it exceeds the latter by less than $0.137\%$. For all large $n$, the volume of $U_n$ is smaller than the volume of the ball of radius $0.891$.

The Grünbaum--Rigby configuration as a special Kárteszi configuration

2025-12-21T20:12:53Z

In 1990, Branko Grünbaum and John Rigby presented a 4-configuration, known today as the \emph{Grünbaum--Rigby configuration}; it is denoted by $\mathrm{GR}(21_4)$. Independently and earlier, in 1986, Ferenc Kárteszi published a paper in which he proved a theorem in real geometry that gives rise to a series of 4-configurations $\mathrm{K}(n;\ell,m)$. In an even earlier paper from 1964, he presented a figure which is essentially the same as that given by Grünbaum and Rigby. In this paper, we explore some properties of the \emph{Kárteszi configurations} and in particular show that $\mathrm{GR}(21_4)$ is isomorphic to $\mathrm{K}(7;2,3)$. We present a theorem that gives necessary and sufficient conditions on parameters $n,\ell,m$ such that the corresponding configuration $\mathrm{K}(n;\ell,m)$ is realisable as a geometric polycyclic configuration with $n$-fold rotational symmetry and no extra incidences.

Nested superposition principle for random measures and the geometry of the Wasserstein on Wasserstein space

2025-12-20T13:03:40Z

We study the geometric structure of the space of random measures $\mathcal{P}_p(\mathcal{P}_p(X))$, endowed with the Wasserstein on Wasserstein metric, where $(X, d)$ is a complete separable metric space. In this setting, we prove a metric superposition principle, in the spirit of the result by S. Lisini, that will allow us to recover important geometric features of the space. When $X$ is $\mathbb{R}^d$, we study the differential structure of $\mathcal{P}_p(\mathcal{P}_p(\mathbb{R}^d))$ in analogy with the simpler Wasserstein space $\mathcal{P}_p(\mathbb{R}^d)$. We show that continuity equations for random measures involving the abstract concept of derivation acting on cylinder functions can be more conveniently described by suitable non-local vector fields $b:[0,T]\times \mathbb{R}^d \times \mathcal{P}(\mathbb{R}^d) \to \mathbb{R}^d$. In this way, we can: 1) characterize the absolutely continuous curves on the Wasserstein on Wasserstein space; 2) define and characterize its tangent bundle; 3) prove a superposition principle for the solutions to the standard non-local continuity equation in terms of solutions of interacting particle systems.

A topological characterization of indecomposable sets of finite perimeter

2025-12-20T11:28:33Z

We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in Euclidean spaces. Our approach relies crucially on the metric space theory of functions of bounded variation, and we are able to prove our main result in a complete, doubling metric measure space supporting a $1$-Poincaré inequality and having the two-sidedness property (this class includes all Riemannian manifolds, Carnot groups, and ${\sf RCD}(K,N)$ spaces with $K\in\mathbb R$ and $N<\infty$). As an immediate corollary, we obtain an alternative proof of the decomposition theorem for sets of finite perimeter into maximal indecomposable components.

Ahlfors regularity of Patterson-Sullivan measures of Anosov groups and applications

2025-12-19T22:09:01Z

For all Zarski dense Anosov subgroups of a semisimple real algebraic group, we prove that their limit sets are Ahlfors regular for intrinsic conformal premetrics. As a consequence, we obtain that a Patterson-Sullivan measure is Ahlfors regular (and hence equal to the Hausdorff measure) if and only if the associated linear form is symmetric. We also discuss several applications, including analyticity of $(p,q)$-Hausdorff dimensions on the Teichmüller spaces, new upper bounds on the growth indicator, and $L^2$-spectral properties of associated locally symmetric manifolds.

Gromov hyperbolicity III: an improved geometric characterization and its applications

2025-12-19T08:57:04Z

In the seminal work of Balogh-Buckley [Invent. Math. 2003], the authors asked the following fundamental open problem: for proper subdomains in the Euclidean space $\mathbb{R}^n$, does the ball separation condition alone imply the Gehring-Hayman inequality? In this paper, via a completely new measure-independent approach, we establish the following geometric characterization of Gromov hyperbolicity in a fairly general setting: The Gromov hyperbolicity of a proper subdomain in a doubling metric space is quantitatively equivalent to the geometric ball separation condition, with explicit dependence on the coefficients. In the special case of Euclidean spaces, it affirmatively solves the above Balogh-Buckely problem. Our result also significantly improves the main result of Koskela-Lammi-Manojlović [Ann. Sci. Éc. Norm. Supér. 2014]. As applications, we obtain the quasiconformal invariance of ball separation condition, a geometric characterization of inner uniformity in terms of ball separation condition, and the Gromov hyperbolicity of quasihyperbolic John length spaces.

Affine isoperimetric inequalities for the first eigenvalue of the $m$-th order Affine $p$-Laplace Operator

2025-12-19T04:55:40Z

Recently, Haddad, Jiménez, and Montenegro introduced the affine $p$-Laplace operator, $p>1$, and studied associated affine versions of the isoperimetric inequalities for the first eigenvalue of the affine $p$-Laplace operator, including the affine Faber-Krahn inequality and affine Talenti inequality. In this work, we introduce the $m$th-order $p$-Laplace operator $Δ_{Q,p}^\mathcal{A} f$, which recovers the affine $p$-Laplace operator when $m=1$ and $Q$ is a symmetric interval. Given $n,m \in \mathbb{N}$, a sufficiently smooth convex body $Q \subset \mathbb{R}^m$, a bounded, open set $Ω\subset \mathbb{R}^n$ and $p >1$, we investigate the eigenvalue problem \[\begin{cases} Δ_{Q,p}^\mathcal{A} f = λ_{1,p}^\mathcal{A}(Q,Ω) |f|^{p-2} f &\text{ in } Ω; \\ f=0 & \text{ on } \partial Ω, \end{cases} \] for $f \in W^{1,p}_0(Ω)$. Finally, we establish $m$th-order extensions of the affine Talenti inequality and affine Faber-Krahn inequality, which, upon choosing $m=1$, yield new, asymmetric versions of those aforementioned inequalities.

Hyperbolic Simplices of Maximal Inradius

2025-12-18T21:49:17Z

For $n\in \mathbb{N}$, consider a hyperbolic $n$-dimensional simplex $Δ$, defined by $1+n$ points in the compactified hyperbolic space $\mathbf{H}^n \sqcup \partial \mathbf{H}^n$. For each integer $m\le n$, denote $δ^n_m(Δ)\in [0,+\infty]$ the Hausdorff distance between its skeleta of dimensions $n$ and $m$. In particular, $δ^n_{n-1}(Δ)$ is its inradius. The maximum of $δ^n_m(Δ)$ over $Δ\in (\mathbf{H}^n \sqcup \partial \mathbf{H}^n)^{1+n}$ is denoted $μ^n_m\in [0,+\infty]$. We first show that $Δ$ has maximal inradius $δ^n_{n-1}(Δ)=μ^n_m$ if and only if its is (total) ideal and regular; for which the inradius is given by $\tanh μ^n_{n-1} = 1/n$. We deduce that $Δ$ has maximal $δ^n_{n-1}(Δ)=μ^n_m$ if and only if it is (total) ideal and regular. We compute that the maximal distance to the $1$-skeleton $μ^n_1$ is given by $\left(\tanh μ^n_1\right)^2 = (n-1)/(2n)$ and deduce that those are uniformly bounded by $\lim_{n} μ^n_1 = \log(1+\sqrt{2})$.

The Fourier Ratio: Uncertainty, Restriction, and Approximation for Compactly Supported Measures

2025-12-18T16:48:18Z

We introduce a continuous analog of the Fourier ratio for compactly supported Borel measures. For a measure $μ$ on $\mathbb{R}^d$ and $f\in L^2(μ)$, the Fourier ratio compares $L^1$ and $L^2$ norms of a regularized Fourier transform at scale $R$. We develop a fractal uncertainty principle giving sharp two-sided bounds in terms of covering numbers of spatial and frequency supports, with applications to exact signal recovery. We show that small Fourier ratio implies efficient approximation by low-degree trigonometric polynomials in $L^1$, $L^2$, and $L^\infty$. In contrast, restriction estimates reveal a sharp gap between curved measures and random fractal measures, yielding strong lower bounds on approximation degree. Applications to convex surface measures are also obtained.

The stationary focus of the Kiepert parabola over a special Poncelet triangle family

2025-12-18T15:47:22Z

We show that the focus of the Kiepert in-parabola remains stationary over a family of circle-inscribed Poncelet triangles which contain an equilateral triangle.