2026-07-10 | | Total: 230
In this article, we investigate the arithmeticity of the one-cusped Dehn fillings of the $(-2,3,8)$-pretzel link complement and of the Berge manifold, which respectively are the sisters of the Whitehead and $6^2_2$ link complements. We show that for each such one-cusped hyperbolic Dehn filling, the cusp field, the trace field and the invariant trace field coincide. Moreover, we establish that no one-cusped hyperbolic Dehn filling of the Berge manifold is arithmetic and that the only arithmetic one-cusped hyperbolic Dehn filling of the $(-2,3,8)$-pretzel link complement is the sister of the figure eight knot complement. The techniques used to prove these results further show that each knot complement covering a one-cusped hyperbolic Dehn filling of either of these two sisters manifolds admits no hidden symmetries, effectively generalizing already known results in this regard.
Progress in mathematics often requires more than a certificate of truth: it requires proof structures that are transparent, checkable, and reusable. Automated systems can increasingly certify that a result is true; what they typically return, however, is a dense certificate rather than an interpretable, reusable proof structure. Recent work on performance estimation problems has shown that performance bounds and complexity analyses of first-order optimization methods can be discovered by searching over a structured space of Lagrangian dual certificates. We cast the search for simpler proof structures as a second-stage optimization problem over these certificates. Starting from dual certificates, we develop post-processing procedures using tools from sparse optimization and statistical learning. We measure complexity through features such as active hypotheses and residual structure, and introduce methods based on exhaustive sparsification, weighted $\ell_1$-type heuristics, and semidefinite programming (SDP) formulations for discovering simple proofs and intermediate lemmas. Examples on gradient descent, proximal methods, and fast-gradient methods show that these procedures can autonomously prune redundant inequalities, reveal structured proof patterns, and, in the proximal setting, recover Lyapunov functions as intermediate lemmas that lead to simple, streamlined proofs. By distilling dense machine-generated certificates into compact proof structures, this workflow acts as a pre-processing step for the final proof, reducing the complexity that must be managed during human interpretation, reuse, and formalization.
Let $P,Q \in \mathbb{Z}^{d\times d}$ be invertible coprime matrices such that all the eigenvalues of $Q^{-1}P$ have modulus greater than 1, and $\mathbb{Z}^d[Q^{-1}P]$ be the smallest non-trivial $Q^{-1}P$-invariant $\mathbb{Z}$-module containing $\mathbb{Z}^d$. Suppose there is a finite digit set $\mathcal{D}\subseteq \mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]$ for which every vector $x \in \mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]$ can be represented in the form \[ x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1}d_i, \] where the digits $d_i \in \mathcal{D}$ for all $i \in \{0,1,\ldots,\ell-1\}$. We call such a representation a $P/Q$-expansion of $x$, and we say that the digit system $(P,Q,\mathcal{D})$ has the finiteness property. If, in addition, $\mathcal{D}$ is a complete set of residues of the quotient group $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P])/P\mathbb{Z}^d[Q^{-1}P]$, then the digits $d_0, d_1, \dots, d_{\ell-1}$ in the $P/Q$-expansion of $x$ are unique whenever $\ell \in \mathbb{Z}^+$ is minimal, and the resulting digit system is said to have the uniqueness property. We present sufficient conditions for the existence of a digit set $\mathcal{D}$ in which $(P,Q,\mathcal{D})$ has the finiteness property. For $d=2$, we make use of finite automata to construct digit systems $(P,Q,\mathcal{D})$ having both the finiteness and uniqueness properties. We also obtain the $P/Q$-expansion of a vector $x$ in $\mathbb{R}^d$ by means of the so-called expansion tree of the digit system $(P,Q,\mathcal{D})$.
We investigate non-normal modal logics corresponding to provability predicates $\mathrm{Pr}_T(x)$ satisfying the derivability condition $\mathbf{C}$: $T\vdash\mathrm{Pr}_T(\ulcorner \varphi \urcorner)\land\mathrm{Pr}_T(\ulcorner ψ\urcorner)\to \mathrm{Pr}_T(\ulcorner \varphi\landψ\urcorner)$. The modal counterpart of this condition is the axiom scheme $\mathsf{C}$: $\Box A\land\Box B\to\Box(A\land B)$. First, we introduce a new semantics based on closure operators for non-normal modal logics including logics adopting $\mathsf{C}$ as an axiom scheme. We prove modal completeness for several non-normal modal logics studied in this paper with respect to this semantics. Second, we prove the arithmetical completeness theorems for the logics $\mathsf{CN}$, $\mathsf{CNP}$, $\mathsf{CNF}$, $\mathsf{CNPF}$, and $\mathsf{CND}$ by using our new semantics.
We study the functional inequality \[ f(r+s)\le g(r)+αf(s) \quad(r,s>0). \] Here $g:(0,\infty)\to[0,\infty)$ is a given decreasing function, $α$ is a constant such that $0<α<1$, and the problem is to determine whether the family of decreasing functions $f:(0,\infty)\to[0,\infty)$ that satisfy this inequality is bounded above by some finite function on $(0,\infty)$ and, if so, to find bounds for this function. We present a solution to this problem, and use it to give a new proof of a theorem of Domar on the uniform boundedness of certain families of subharmonic functions, in addition obtaining explicit bounds.
Gilbreath's conjecture asserts that if one starts with the sequence of primes and takes successive absolute differences to create a triangular array, then the left diagonal of this array consists entirely of ones after the first row. In this paper, we show that the analogue of this conjecture for a Cramér random model holds, in which the (normalized) prime gaps are replaced by independent random variables with geometric distributions of logarithmic size. We also give some preliminary analysis of the associated continuous probabilistic model for this problem, as well as a deterministic "inverse theorem" that isolates the specific obstructions to Gilbreath's conjecture (assuming a Cramér type bound on prime gaps), namely long blocks of zeroes, or very long shallow $\{0,d\}$-valued blocks for some $d \geq 2$.
Let \[ F=\mathbb{F}_q(\!(t^{-1})\!),\qquad G=\mathrm{SL}_2(F),\qquad Γ=\mathrm{SL}_2(\mathbb{F}_q[t]),\qquad X=Γ\backslash G, \] and let $K=\mathrm{SL}_2(\mathcal{O})$, where $\mathcal{O}=\mathbb{F}_q[\![t^{-1}]\!]$. We study right $K$-spherical averages along the upper unipotent subgroup, the horospherical subgroup associated with the standard cusp, on the Nagao lattice quotient. The basic observation is that the $K$-spherical projection converts two natural dynamical families - expanding translates of compact unipotent orbits and cusp-adapted truncations of dense unipotent orbits - into the same rooted descendant problem on the Bruhat--Tits tree. In the even bipartite sector the limiting height law is the explicit probability measure \[ ρ^{\mathrm{ev}}(0)=\frac{q-1}{q},\qquad ρ^{\mathrm{ev}}(2m)=(q^2-1)q^{-2m-1}\qquad (m\ge 1). \] We prove an exact discrepancy formula: in the backward state the error is a pure top-shell term minus a missing tail, while in the forward state the error is a first-turn weighted sum of backward errors. These formulas give quantitative $K$-spherical equidistribution for expanding translates of compact $U$-orbits and for dense-orbit truncations. For compactly supported $K$-spherical observables in the expanding translates of compact orbits, the discrepancy is eventually exactly zero. In the dense case the rate is controlled by the continued-fraction expansion of the boundary point attached to the orbit.
We study the spectrum of the adjacency matrix $A_n$ of directed inhomogeneous random graphs on $n$ vertices. We assume that $A_n$ has independent entries and diverging average degree scale $s_n$. This framework includes, as special cases, the directed Chung--Lu random graph and directed stochastic block models. Assuming boundedness of the variance profile and that $s_n$ diverges faster than a suitable logarithmic function of $n$, we show that the rank-one Chung--Lu model satisfies a non-homogeneous version of the circular law, which in some situations allows for an explicit expression. Moreover, under mild conditions, we identify the asymptotic singular value distribution using tools from free probability. Finally, for finite-rank directed models, we prove the existence of eigenvalues outside the bulk and establish their joint Gaussian fluctuations at the scale $\sqrt{s_n/n}$, with an explicit covariance matrix. These results extend the theory of spectral outliers and their fluctuations to directed inhomogeneous random graphs.
In this paper, we introduce nonstandard versions of multistep multistage methods. While proving the convergence of these schemes, we also define nonstandard general linear methods. We show that the nonstandard methods can attain the same order as their standard counterparts while preserving certain qualitative properties (e.g., boundedness) for all positive step sizes. These results are also demonstrated by some numerical experiments.
We give a self-contained short proof of optimal regularity for minimizers of the Alt-Phillips Free Boundary Problem for $γ\in (0, 1)$. We adopt a dichotomy argument that originates from [DS20].
We construct a measure that exhibits two aspects of a new type of universality and dramatically simplifies the integration of tensors $T_{a_1,a_2,\ldots,a_D} \in \mathbb{C}$ ($a_1,\ldots,a_D=1,\ldots,N$) at large $N$. In contrast to matrix integration, in which matrix traces canonically yield the integrand, tensors need additional information (equivalent to a $D$-coloured graph $B$) to contract their indices and form a tensor trace $B(T)$. We show that, whenever each $B_1,\ldots, B_n$ can be obtained by a recursive construction known as melonicity, then the leading order in $N$ of the integral of $ {B_1}(T) {B_2}(T) \cdots {B_n}(T) $ is independent of the -- often intricate -- combinatorics of the traces $B_i$, but also, to our surprise, independent of $D$ as far as $D\geq 3$. Instead, at large $N$, these integrals are some functions (indexed by $n$) of the number of vertices $2p_i$ of $B_i$ which we call melonic polynomials. Melonic traces cumulants with respect to any ('interacting') measure \[ \exp\Big\{-N^{D-1} \sum_{i=1}^m g_i {B_i}(T)\Big\} \mathrm{d}μ_0(T) \quad (g_1,\ldots,g_m \in \mathbb{R}, \mathrm{d}μ_0(T) =\text{the tensor Gaussian}) \] with each $B_i$ melonic, can be computed with our universal measure that replaces each $B_i$ by a canonical trace depending only on $p_i$. We prove that any two melonic tensor models are indistinguishable at large-$N$, independently of the number of tensor indices (first universality aspect), and of the fine-grainedness of their interactions (second universality), being a sufficient condition that the couplings (the parameters $g_i$ above) agree and their respective traces are monomials with the same degree in $T$.
The problem of recovering an (approximately) low-rank Hermitian matrix $\pmb{M}_0 \in \mathbb{C}^{n \times n}$ of rank $r$ from quadratic sampling matrices of the form $\{\pmb{a}_k \pmb{a}_k^*\}_{k=1}^m$ arises in a variety of applications, including phase retrieval. To obtain rigorous recovery guarantees, the sampling vectors $\{\pmb{a}_k\}_{k=1}^m$ are typically modeled probabilistically. However, most existing theoretical results rely on Gaussian or sub-Gaussian assumptions, which may not accurately capture practical data models. In many applications, sampling vectors exhibit heavier tails, while theoretical understanding in such regimes remains scarce. In this paper, we bridge this gap. We show that two widely used convex approaches, nuclear norm minimization and semidefinite-constrained empirical risk minimization, achieve uniform, stable, and robust recovery under the mild assumption that the entries of the sampling vectors have only finite $4+δ$ moments, with the optimal sample complexity $m = \mathcal{O}(rn)$ up to moment-dependent constants. The two main ingredients of our analysis are moment estimates for quadratic forms established via decoupling, together with recent advances in covariance estimation in heavy-tailed settings. As byproducts, we also establish the optimal sample complexity for low-rank matrix recovery under complex projective $4$-design sampling, thereby improving upon previous results, and obtain stability guarantees for phase retrieval under similarly weak moment assumptions.
We study stochastic barycentric estimators for proximal points and metric projections obtained by exponentially reweighting Gaussian perturbations. Our main result is an abstract comparison theorem for probability measures with densities proportional to an exponential weight, under a radial dominance condition relative to a prescribed profile. This yields an explicit upper bound for the norm of the associated barycenter in terms of a one-dimensional comparison measure. We also provide tractable sufficient conditions for radial dominance, including strong convexity, addition of nonnegative convex terms, and star-shaped constraints. As a consequence, we obtain a refined convergence rate for stochastic proximal estimators of weakly convex functions, together with asymptotic sharpness of the constant. The same framework yields a corresponding rate for stochastic projection estimators onto closed convex sets. We further establish basic structural properties of the barycentric approximation operator, such as smoothness and cocoercivity. Numerical experiments illustrate the predicted rate, the dimensional scaling of the constant, and its asymptotic sharpness.
Let $k$ and $\ell$ be positive integers. The family $C(k,\ell)$ consists of all digraphs obtained from two internally vertex-disjoint directed paths of lengths at least $k$ and $\ell$, respectively, and identifying their initial vertices and their terminal vertices. Addario-Berry, Havet and Thomassé (JCT-B, 2007) asked whether, for any positive integers $k$ and $\ell$ with $k+\ell \ge 4$, the chromatic number $χ(D)$ is at most $k+\ell-1$ for every $C(k,\ell)$-free strongly connected digraph $D$. Let $D$ be a $C(k,\ell)$-free Hamiltonian digraph. Kim, Kim, Ma and Park (JGT, 2018) showed that $χ(D) \le k+\ell$ and the bound is attained when $k+\ell=5$. In this paper, we prove that $χ(D) \le k+\ell-1$ for $k+\ell\ge 6$ and this bound is best possible for all $k+\ell\geq 6$, which resolves the problem posed by Addario-Berry, Havet and Thomassé for Hamiltonian digraphs.
For a crystalline representation of the absolute Galois group of Q_p, with given Hodge-Tate weights, we obtain new constraints on the inertial weights of its mod p reduction. This allows us to formulate an explicit Serre weight conjecture, in the generality of L-parameters for unramified connected reductive groups over Q_p, and to prove the elimination direction of this conjecture. The proof uses prismatic techniques to show that the reductions modulo p of the Breuil-Kisin modules attached to crystalline Galois representations acquire a natural μ_p-equivariant structure. Combining this with results on the geometry of the μ_p-fixed points of affine Grassmannians leads to our new constraint.
We prove that the Cantor measure with base $b$ does not admit a Fourier frame whenever $b > 1$ is an odd integer. In particular, this answers a question of Strichartz on the existence of a Fourier frame for the middle third Cantor measure. A formalization of our main result in Lean 4 is also provided.
We investigate a special class of nonlinear infinite dimensional systems. These are obtained by subtracting a nonlinear maximal monotone (possibly multi-valued) operator M from the semigroup generator of a scattering passive linear system. While the linear system may have unbounded linear damping (for instance, boundary damping) which is only densely defined, the nonlinear damping operator M is assumed to be defined on the whole state space. We show that this new class of nonlinear infinite dimensional systems is well-posed and incrementally scattering passive. Our approach uses the theory of maximal monotone operators and the Crandall-Pazy theorem about nonlinear contraction semigroups, which we apply to a Lax-Phillips type nonlinear semigroup that represents the whole system.
We study a family of preconditioned primal dual algorithms for convex-concave saddle point problems by the dynamics introduced in \cite{apidopoulos2026preconditioned}. The proposed framework exploits the possible smooth + nonsmooth structure of the saddle point formulation. It includes, but is not limited to, linearly constrained convex optimization problems. The proposed antisymmetric preconditioners allow us to establish non ergodic convergence rates, accounting for possible computational errors in the implementation of the method. Finally, we present numerical experiments to indicate our well performed preconditioned primal dual algorithms.
We construct an uncountable family of extremal Gibbs states of the low temperature Ising model on hyperbolic lattices embedded in the hyperbolic plane $\mathbb{H}_2$ whose interfaces are complete geodesics of $\mathbb{H}_2$. These states are extracted from the states constructed by D'Achille, Coquille and Le Ny in arXiv:2504.19553v2 by considering path in the dual lattice at close enough distance from geodesics of $\mathbb{H}_2$ thanks to the Morse--Mostow lemma.
We prove that $S^3$ endowed with an arbitrary Riemannian metric $g$ admits at least two embedded minimal spheres. The proof is based on an iterative scheme of relative min-max constructions.
The Balister--Győri--Schelp (BGS) conjecture asks whether every zero-sum list of $2^{s-1}$ nonzero vectors in $\mathbb{F}_2^s$ is the prescribed-difference profile of a perfect matching. The conjecture remains open in general, whereas the classical Hall hyperplane case is solved when all prescribed differences cross between two affine copies of a hyperplane. We isolate the smallest mixed case beyond Hall: exactly two prescribed differences are internal. Although only two requests have changed type, the complete Hall permutation is replaced by a prescribed-difference bijection between two punctured copies of the hyperplane, with two unknown deleted vertices on each side. We call this the two-hole problem. We develop a new combinatorial method for prescribed-difference matchings, based on counting and the character structure of the binary vector space. Unlike the known Hall-type methods, which construct a matching through a sequence of local algorithmic choices, our approach proves existence through a global noncancellation phenomenon. This loss of algorithmic structure is compensated by a different advantage: the method can retain global boundary information that local exchanges do not control. As a first application, it gives a new proof of the binary Hall theorem, and it then yields a complete solution of the two-hole problem with no multiplicity assumption. We also give direct constructive proofs for symmetric even-multiplicity two-hole and four-hole families. More broadly, the new technique provides a framework for studying further subfamilies of the BGS problem by measuring how far their matching structure departs from the Hall case.
We study the problem of matching two sets of noisy feature vectors when underlying true features are related by an unknown scalar affine transformation. Our method comprises two primary steps. First, we standardize the feature vectors to estimate the unknown scalar affine transformation. Subsequently, we estimate the permutation by minimizing the Least Sum of Logarithms (LSL) between two sets of observations using the estimated transformation. Our main result shows that the unknown permutation can be perfectly recovered given that the minimal separation distance of true feature vectors scales as $\sqrt{ρ_σ} \vee (d\log n)^{1/4} \vee \sqrt{\log n}$, where $d$ is the ambient dimension, $n$ is the sample size, and $ρ_σ$ is the maximal ratio of noise magnitudes. Interestingly, the obtained rate, under mild heteroscedasticity, coincides with that of the non-affine setting. We additionally demonstrate that there exist configurations requiring a larger minimal separation distance for perfect recovery. The latter makes the matching problem more challenging from minimax perspective compared to the non-affine setting. Consequently, we show that in the problem of feature matching, standardizing the data implicitly estimates the scalar affine parameters. As part of our analysis, we prove non-asymptotic concentration bounds for the affine parameter estimators in the presence of heterogeneous noise magnitudes.
We construct the first example of a higher rank, irreducible deformed Hermitian-Yang-Mills (dHYM) connection in the small radius regime. We also construct these in the large radius regime on infinitely many different bundles and make some contributions to the rank one equation as well. In particular, we investigate solutions away from the supercritical regime, showing the existence of solutions with any possible angle, and rule out some possible stability conditions.
Let $ X $ be a closed, oriented manifold with $ \dim X \geqslant 5 $. In this article, we show that 2006 Rosenberg's $ \mathbb{S}^{1} $-stability holds when $ X $ has zero Euler characteristic. The 2006 Rosenberg-Stolz Conjecture for $ X \times \mathbb{R} $ also follows under the same assumption, provided that the Riemannian metric $ g $ on $ X \times \mathbb{R} $ is complete, is of bounded curvature, and whose smallest eigenvalue is uniformly bounded below by some positive constant. We then show a $ \mathbb{T}^{n} $-stability theorem with the same hypothesis of $ X $.
We introduce the Point-Cross Dimension, a new pointwise invariant designed to measure the directional organization of a set at a single point. Whereas the Point-Extended Box Dimension quantifies local dispersion and covering complexity, the Point-Cross Dimension isolates a complementary layer: the coexistence of independent effective directions through the same germ. The construction assigns weights to admissible directional probes and aggregates them over projectively independent channels, thereby turning the elementary intuition of a cross into a flexible local dimension theory. This viewpoint separates phenomena that classical isotropic dimensions often collapse. A point may have small local box dispersion while carrying several independent directional channels. Conversely, large local covering complexity need not reflect genuine directional independence. We develop the theory in three successive layers. The first is a point-vector dimension, which records exact local directions. The second is a point-tangential dimension, which replaces exact directions by Bouligand effective directions. The third is the Point-Cross Dimension, which weights these effective projective channels by the point-extended box complexity detected along admissible probes. We establish the basic structural properties of these invariants and compute the resulting Point-Cross Dimension on a range of model configurations, including finite crosses, fractal coordinate frames, oscillatory germs, self-similar curves, Sierpiński-type carpets, Cantor dusts, and infinite-rank outlook examples. The final part of the paper establishes comparison principles between the directional and dispersive layers of the theory.