https://arxiv.org/api/Sq0N5ocI606mm4vzXOCrenzQSZg 2026-06-24T08:42:44Z 13079 1275 15 http://arxiv.org/abs/2509.07906v1 2025-09-09T16:47:11Z

Given a periodic placement of copies of a tromino (either L or I), we prove co-RE-completeness (and hence undecidability) of deciding whether it can be completed to a plane tiling. By contrast, the problem becomes decidable if the initial placement is finite, or if the tile is a domino instead of a tromino (in any dimension). As a consequence, tiling a given periodic subset of the plane with a given tromino (L or I) is co-RE-complete. We also prove co-RE-completeness of tiling the entire plane with two polyominoes (one of which is disconnected and the other of which has constant size), and of tiling 3D space with two connected polycubes (one of which has constant size). If we restrict to tiling by translation only (no rotation), then we obtain co-RE-completeness with one more tile: two trominoes for a periodic subset of 2D, three polyominoes for the 2D plane, and three connected polycubes for 3D space. Along the way, we prove several new complexity and algorithmic results about periodic (infinite) graphs. Notably, we prove that Periodic Planar (1-in-)3SAT-3, 3DM, and Graph Orientation are co-RE-complete in 2D and PSPACE-complete in 1D; we extend basic results in graph drawing to 2D periodic graphs; and we give a polynomial-time algorithm for perfect matching in bipartite periodic graphs.

2025-09-09T16:47:11Z 41 pages, 22 figures, 4 tables MIT-ULB CompGeom Group : Zachary Abel Hugo Akitaya Lily Chung Erik D. Demaine Jenny Diomidova Della Hendrickson Stefan Langerman Jayson Lynch http://arxiv.org/abs/2503.04285v2 2025-09-09T12:21:57Z

We introduce the space SBV$_X$ of special functions with bounded $X$-variation in Carnot-Carathéodory spaces and study its main properties. Our main outcome is an approximation result, with respect to the BV$_X$ topology, for SBV$_X$ functions.

2025-03-06T10:11:30Z 26 pages Nonlinear Anal. 262 (2026), Paper No. 113944 Marco Di Marco Sebastiano Don Davide Vittone 10.1016/j.na.2025.113944 http://arxiv.org/abs/2509.07544v1 2025-09-09T09:24:49Z

Since the works of Krasnov and Scheiderer, there has been an interest in studying effective totally real divisors on a curve X defined over a real closed field, i.e., effective divisors supported on the real locus. Scheiderer proved that, for smooth curves over the real numbers with nonempty real locus, each divisor of sufficiently high degree is linearly equivalent to an effective totally real one. The smallest degree N(X) with this property is called the totally real divisor threshold. When the field is non-Archimedean, we obtain a classification of topological types of smooth curves for which N(X) can be infinite. As a consequence, for curves over the real numbers we prove that N(X) cannot be bounded from above only in terms of the topological type, unless the real locus has many connected components. We complement this qualitative result with a quantitative lower bound for N(X), depending on metric properties of the Jacobian and the curve in the Bergman metric. Finally, we relate these metric properties to period matrices of X, expressed in a way compatible with the real structure.

2025-09-09T09:24:49Z 27 pages, 4 figures Lorenzo Baldi Mario Kummer Daniel Plaumann http://arxiv.org/abs/2509.07541v1 2025-09-09T09:19:01Z

We prove that the rank-one convex hull of finitely many $2\times 2$ triangular matrices is a semialgebraic set, defined by linear and quadratic polynomials. We present explicit constructions for five-point configurations and offer evidence suggesting that a similar characterization does not hold in the more general setting of directional convexity.

2025-09-09T09:19:01Z 18 pages, comments are welcome! Chiara Meroni Bogdan Raita http://arxiv.org/abs/2503.05392v3 2025-09-09T02:27:58Z

Three new combinations of convex bodies are introduced and studied: the $L_p$ fiber, $L_p$ chord and graph combinations. These combinations are defined in terms of the fibers and graphs of pairs of convex bodies, and each operation generalizes the classical Steiner symmetral, albeit in different ways. For the $L_p$ fiber and $L_p$ chord combinations, we derive Brunn--Minkowski-type inequalities and the corresponding Minkowski's first inequalities. We also prove that the general affine surface areas are concave (respectively, convex) with respect to the graph sum, thereby generalizing fundamental results of Ye (Indiana Univ. Math. J., 2014) on the monotonicity of the general affine surface areas under Steiner symmetrization. As an application, we deduce a corresponding Minkowski's first inequality for the $L_p$ affine surface area of a graph combination of convex bodies.

2025-03-07T13:08:42Z 35 pages, 3 figures Steven Hoehner Sudan Xing http://arxiv.org/abs/2208.11528v2 2025-09-08T23:09:50Z

In order to study convergences of looptrees, we construct continuum trees and looptrees from real-valued càdlàg functions without negative jumps called excursions. We then provide a toolbox to manipulate the two resulting codings of metric spaces by excursions and we formalize the principle that jumps correspond to loops and that continuous growths correspond to branches. Combining these codings creates new metric spaces from excursions that we call vernation trees. They consist of a collection of loops and trees glued along a tree structure so that they unify trees and looptrees. We also propose a topological definition for vernation trees, which yields what we argue to be the right space to study convergences of looptrees. However, those first codings lack some functional continuity, so we adjust them. We thus obtain several limit theorems. Finally, we present some probabilistic applications, such as proving an invariance principle for random discrete looptrees.

2022-08-24T13:20:54Z 45 pages, 4 figures. Version to appear in the Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques Robin Khanfir http://arxiv.org/abs/2509.07212v1 2025-09-08T20:45:09Z

We resolve a problem posed by Mattila, Serapioni and Serra Cassano concerning the role of density assumptions in the characterization of rectifiable sets of low codimension in Heisenberg groups. Specifically, we prove that the positive lower density condition is not required: rectifiability is completely determined by the geometric property of almost everywhere existence of approximate tangent subgroups. This provides a simplified and intrinsic criterion for rectifiable sets in the subRiemannian setting and sharpens the analogy with Federer's classical Euclidean theorem.

2025-09-08T20:45:09Z Kennedy Obinna Idu http://arxiv.org/abs/2503.19729v2 2025-09-08T20:45:08Z

We develop a novel topological framework that yields results constraining the distribution of zeros of certain zero mean real-valued maps, namely those obtained from composing a fixed equivariant map with linear functionals. We use this framework to establish upper bounds for the topology of set systems in the domain where (multivariate) trigonometric polynomials do not change their sign, generalizing and, in certain regimes, strengthening results in the literature. Our results more generally contain restrictions on the distribution of zeros of Chebyshev spaces as special cases. Lastly, we apply this framework to derive existence results for efficient cubature rules for compositions of affine functionals and equivariant maps.

2025-03-25T14:54:53Z 17 pages Francesca Cantor Julia D'Amico Florian Frick Eric Myzelev http://arxiv.org/abs/2509.06914v1 2025-09-08T17:27:38Z

We prove the $K(π,1)$ conjecture for Artin groups of dimension $3$. As an ingredient, we introduce a new form of combinatorial non-positive curvature.

2025-09-08T17:27:38Z 69 pages, 28 figures Jingyin Huang Piotr Przytycki http://arxiv.org/abs/2509.06894v1 2025-09-08T17:13:28Z

Since their introduction by Kipf and Welling in $2017$, a primary use of graph convolutional networks is transductive node classification, where missing labels are inferred within a single observed graph and its feature matrix. Despite the widespread use of the network model, the statistical foundations of transductive learning remain limited, as standard inference frameworks typically rely on multiple independent samples rather than a single graph. In this work, we address these gaps by developing new concentration-of-measure tools that leverage the geometric regularities of large graphs via low-dimensional metric embeddings. The emergent regularities are captured using a random graph model; however, the methods remain applicable to deterministic graphs once observed. We establish two principal learning results. The first concerns arbitrary deterministic $k$-vertex graphs, and the second addresses random graphs that share key geometric properties with an Erdős-Rényi graph $\mathbf{G}=\mathbf{G}(k,p)$ in the regime $p \in \mathcal{O}((\log (k)/k)^{1/2})$. The first result serves as the basis for and illuminates the second. We then extend these results to the graph convolutional network setting, where additional challenges arise. Lastly, our learning guarantees remain informative even with a few labelled nodes $N$ and achieve the optimal nonparametric rate $\mathcal{O}(N^{-1/2})$ as $N$ grows.

2025-09-08T17:13:28Z Nils Detering Luca Galimberti Anastasis Kratsios Giulia Livieri A. Martina Neuman http://arxiv.org/abs/2403.18767v3 2025-09-08T15:54:54Z

In the classical best approximation pair (BAP) problem, one is given two nonempty, closed, convex and disjoint subsets in a finite- or an infinite-dimensional Hilbert space, and the goal is to find a pair of points, each from each subset, which realizes the distance between the subsets. We discuss the problem in more general normed spaces and with possibly non-convex subsets, and focus our attention on the issues of uniqueness and existence of the solution to the problem. As far as we know, these fundamental issues have not received much attention. We present several sufficient geometric conditions for the (at most) uniqueness of a BAP. These conditions are related to the structure and the relative orientation of the boundaries of the subsets and to the norm. We also present many sufficient conditions for the existence of a BAP. Our results significantly extend the horizon of a recent algorithm for solving the BAP problem [Censor, Mansour, Reem, J. Approx. Theory (2024)]. The paper also shows, perhaps for the first time, how wide is the scope of the BAP problem in terms of the scientific communities which are involved in it (frequently independently) and in terms of its applications.

2024-03-27T17:05:06Z Correction of a misprint in the Acknowledgments Daniel Reem Yair Censor http://arxiv.org/abs/2509.06563v1 2025-09-08T11:24:20Z

We study the geodesics, Hausdorff dimension, and curvature bounds of the sub-Lorentzian Heisenberg group. Through an elementary variational approach, we provide a new proof of the structure of its maximizing geodesics, showing that they are lifts of hyperbolae coming from a Lorentzian isoperimetric problem in the Minkowski plane. We prove that the Lorentzian Hausdorff dimension of the space is $4$ and that the corresponding measure coincides with the Haar measure. We further establish a novel result in the spirit of the Ball-Box theorem, giving a uniform estimate of causal diamonds by anisotropic boxes. Finally, we show that the Heisenberg group satisfies neither the timelike curvature-dimension condition $\mathsf{TCD}(K,N)$ nor the timelike measure contraction property $\mathsf{TMCP}(K,N)$ for any values of the parameters $K$ and $N$, in sharp contrast with its sub-Riemannian counterpart.

2025-09-08T11:24:20Z 50 pages, 2 figures Samuël Borza Chiara Rigoni Omar Zoghlami http://arxiv.org/abs/2303.14694v3 2025-09-08T10:23:48Z

We define bigraded persistent homology modules and bigraded barcodes of a finite pseudo-metric space X using the ordinary and double homology of the moment-angle complex associated with the Vietoris-Rips filtration of X. We prove a stability theorem for the bigraded persistent double homology modules and barcodes.

2023-03-26T11:43:29Z 22 pages, published version Anthony Bahri Ivan Limonchenko Taras Panov Jongbaek Song Donald Stanley http://arxiv.org/abs/2509.06363v1 2025-09-08T06:27:56Z

Tilings of the plane resemble the simplicial and other complexes from algebraic topology, but have not been studied from this perspective. We construct finite categories corresponding to polygons with labeled directed edges, and introduce the problem of modeling tilings of the Euclidean or hyperbolic plane as presheaves over such a category. Combinatorially, this amounts to choosing an ``alignment'' for a tiling: a direction for every edge and consistent labels for the edges of each polygonal tile. We show that for a fixed tiling, given a single alignment we can characterize every other alignment of the same tiling by comparison of the edge directions. We then construct a ``reflective'' alignment for any tiling with an even number of polygons at each vertex, and from this generate a large family of alignments with elegant symmetry properties.

2025-09-08T06:27:56Z 38 pages + 4 page appendix, many pictures Catherine DiLeo Preston Sessoms Brandon T. Shapiro http://arxiv.org/abs/2508.07670v2 2025-09-08T05:54:28Z

Let $K,F\subset\mathbb{R}^d$ be two dust-like self-similar sets sharing the same Hausdorff dimension. We consider when the mere existence of a Lipschitz embedding from $K$ to $F$ already implies their Lipschitz equivalence. Our main result is threefold: (1) if the Lipschitz image of $K$ intersects $F$ in a set of positive Hausdorff measure, then $K$ admits a Lipschitz surjection onto $F$; (2) if $F$ is in addition homogeneous, then the generating iterated function systems of $K, F$ should have algebraically dependent ratios and consequently, $K$ and $F$ are Lipschitz equivalent; (3) the Lipschitz equivalence can fail without the homogeneity assumption. This answers two questions in Balka and Keleti [Adv. Math. 446 (2024), 109669].

2025-08-11T06:45:31Z 26 pages. v2: minor changes Huo-Jun Ruan Jian-Ci Xiao