https://arxiv.org/api/buXGWEu46yFZ1DS+TwLcXtp92BI 2026-06-14T14:29:27Z 13040 375 15 http://arxiv.org/abs/2604.00527v1 2026-04-01T06:11:34Z

We study mechanical structures composed of spatial four-bar linkages that are bistable, that is, they allow for two distinct configurations. They have an interpretation as quad nets in the Study quadric which can be used to prove existence of arbitrarily large structures of this type. We propose a purely geometric construction of such examples, starting from infinitesimally flexible quad nets in Euclidean space and applying Whiteley de-averaging. This point of view situates the problem within the broader framework of discrete differential geometry and enables the construction of bistable structures from well-known classes of quad nets, such as discrete minimal surfaces. The proposed construction does not rely on numerical optimization and allows control over axis positions and snap angles.

2026-04-01T06:11:34Z Gudrun Szewieczek Daniel Huczala Martin Pfurner Hans-Peter Schröcker http://arxiv.org/abs/2604.00373v1 2026-04-01T01:49:20Z

The moduli space of triangles is a two-dimensional space that records triangle shapes in the plane, considered up to similarity. We study the subset corresponding to \textit{lattice triangles}, which are triangles whose vertices have integer coordinates. We prove that this subset is \textit{dense}, that is, every triangle shape can be approximated arbitrarily well by lattice triangles. However, when one restricts to lattice triangles in the square $[-N,N]^2$, their shapes do \textit{not} become uniformly distributed in the moduli space as $N$ grows. Along the way, we encounter connections with geometry, number theory, analysis, and probability.

2026-04-01T01:49:20Z Accepted for publication by Math. Magazine. This work was done as part of the RSI-India program for high-school students in June-July 2025 Aahana Aggarwal Subhojoy Gupta Ajay K. Nair http://arxiv.org/abs/2604.00351v1 2026-04-01T01:01:52Z

We prove that for any six points on the Riemann sphere there exist three disjoint closed (or open) discs, each of which contains exactly two of the six distinguished points. This statement shows that recently proposed method to numerically evaluate Kleinian hyperelliptic functions of genus 2 is applicable to any complex curve of genus 2.

2026-04-01T01:01:52Z Matvey Smirnov http://arxiv.org/abs/2604.00185v1 2026-03-31T19:36:32Z

Abstract polytopes are combinatorial structures with distinctive geometric, algebraic, or topological characteristics, that generalize (the face lattice of) traditional polyhedra, polytopes or tessellations. Most research has focused on abstract polytopes with the highest possible symmetry, in particular those that are regular or chiral. In this paper we study two-orbit polytopes, that is, abstract polytopes whose automorphism groups have exactly two orbits on flags. Such polytopes of rank $n$ fall into $2^n-1$ classes, determined by their local flag configuration. We develop a general structural theory of two-orbit polytopes of arbitrary rank. In particular, we determine their face- and section-transitivity properties and describe the structure of their automorphism groups via distinguished generating sets and face stabilizer subgroups. These results yield a characterization of the partial order { on the polytope} in terms of the automorphism group. Two-orbit polytopes in different classes behave quite differently. Our approach extends the group-theoretic framework for regular and chiral polytopes and provides a systematic foundation for the study of polytopes with two flag orbits.

2026-03-31T19:36:32Z 37 pages, 2 figures Isabel Hubard Egon Schulte http://arxiv.org/abs/2603.29980v1 2026-03-31T16:43:42Z

In this article, we investigate vacuum leakage detection problems in composite manufacturing. Our approach uses Voronoi diagrams, a well-known structure in discrete geometry. The Voronoi diagram of the vacuum connection positions partitions the component surface. We use this partition to narrow down potential leak locations to a small area, making an efficient manual search feasible. To further reduce the search area, we propose refined Voronoi diagrams. We evaluate both variants using a novel dataset consisting of several hundred one- and two-leak positions along with their corresponding flow values. Our experimental results demonstrate that Voronoi-based predictive models are highly accurate and have the potential to resolve the leakage detection bottleneck in composite manufacturing.

2026-03-31T16:43:42Z 25 pages, 8 pages appendix, 17 figures Christoph Brauer Arne Hindersmann Timo de Wolff http://arxiv.org/abs/2603.29769v1 2026-03-31T14:11:32Z

A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved that it will suffice to verify the uniform bound up to a set of measure zero as long as we can show that the dilatation is finite outside a subset of finite Hausdorff--$(n-1)$ measure. In short, we say that we can allow an exceptional codimension $1$ subset. In the metric setting, it has been proved, roughly speaking, that one can allow an exceptional codimension $p$ subset, $p \ge 1$, if the source space satisfies a $p$-Poincaré inequality. We prove, effectively, the sharpness of the latter claim.

2026-03-31T14:11:32Z Behnam Esmayli Pekka Koskela Khanh Nguyen http://arxiv.org/abs/2602.05477v2 2026-03-31T13:38:26Z

We give an affirmative answer to the resistance conjecture on characterization of parabolic Harnack inequalities in terms of volume doubling, upper capacity bounds and a Poincaré inequalities. The key step is to show that these three assumptions imply the so called cutoff Sobolev inequality, an important inequality in the study of anomalous diffusions, Dirichlet forms and re-scaled energies in fractals. This implication is shown in the general setting of $p$-Dirichlet Spaces introduced by the author and Murugan, and thus a unified treatment becomes possible to proving Harnack inequalities and stability phenomena in both analysis on metric spaces and fractals and for graphs and manifolds for all exponents $p\in (1,\infty)$. As an application, we also show that a Dirichlet space satisfying volume doubling, Poincaré and upper capacity bounds has finite martingale dimension and admits a type of differential structure similar to the work of Cheeger. In the course of the proof, we establish methods of extension and characterizations of Sobolev functions by Poincaré-inequalities, and extend the methods of Jones and Koskela to the general setting of $p$-Dirichlet spaces.

2026-02-05T09:30:22Z Comments are welcome, 30 pages. I am especially happy if people point out missing references. Some typos corrected based on feedback received Sylvester Eriksson-Bique http://arxiv.org/abs/2603.29683v1 2026-03-31T12:36:43Z

We provide a short proof of the 1-dimensional flat chain conjecture.

2026-03-31T12:36:43Z 7 pages Philippe Bouafia Thierry De Pauw http://arxiv.org/abs/2603.29130v1 2026-03-31T01:27:50Z

In his classical work, W. Blaschke proved that a convex body whose shadow boundaries are flat for every direction of parallel illumination must be an ellipsoid. An extension recently proposed by I. Gonzalez-García, J. Jerónimo-Castro, E. Morales-Amaya, and D.J. Verdusco-Hernández predicts that the same conclusion holds for illumination by point light sources located on a hypersurface enclosing the body. We confirm this conjecture for convex bodies with sufficiently smooth boundaries. We further develop a duality framework relating illumination by point light sources to classical symmetry properties of hyperplane sections, linking several known and conjectured characterizations of quadrics from these complementary viewpoints.

2026-03-31T01:27:50Z Bartłomiej Zawalski http://arxiv.org/abs/2603.28956v1 2026-03-30T19:59:59Z

The minimum-norm interpolator (MNI) framework has recently attracted considerable attention as a tool for understanding generalization in overparameterized models, such as neural networks. In this work, we study the MNI under a $2$-uniform convexity assumption, which is weaker than requiring the norm to be induced by an inner product, and it typically does not admit a closed-form solution. At a high level, we show that this condition yields an upper bound on the MNI bias in both linear and nonlinear models. We further show that this bound is sharp for overparameterized linear regression when the unit ball of the norm is in isotropic (or John's) position, and the covariates are isotropic, symmetric, i.i.d. sub-Gaussian, such as vectors with i.i.d. Bernoulli entries. Finally, under the same assumption on the covariates, we prove sharp generalization bounds for the $\ell_p$-MNI when $p \in \bigl(1 + C/\log d, 2\bigr]$. To the best of our knowledge, this is the first work to establish sharp bounds for non-Gaussian covariates in linear models when the norm is not induced by an inner product. This work is deeply inspired by classical works on $K$-convexity, and more modern work on the geometry of 2-uniform and isotropic convex bodies.

2026-03-30T19:59:59Z A Preliminary work of this work "Minimum Norm Interpolation Meets The Local Theory of Banach Spaces'' appeared at the International Conference of Machine Learning 2024 (consider this info for citations) Gil Kur Pierre Bizeul http://arxiv.org/abs/2507.14726v3 2026-03-30T15:56:14Z

This paper investigates the failure of certain metric measure spaces to be infinitesimally Hilbertian or quasi-Riemannian manifolds, by constructing examples arising from a manifold $M$ endowed with a Riemannian metric $g$ that is possibly discontinuous, with $g, g^{-1} \in L^\infty_{\mathrm{loc}} $ and $ g \in W^{1,p}_{\mathrm{loc}}$ for $ p \leq \mathrm{dim} M - 1 $.

2025-07-19T19:20:36Z Vanessa Ryborz http://arxiv.org/abs/2505.00559v2 2026-03-30T11:54:38Z

We extend the theory of gradient flows beyond metric spaces by studying evolution variational inequalities (EVIs) driven by general cost functions $c$, including Bregman and entropic transport divergences. We establish several properties of the resulting flows, including stability and energy identities. Using novel notions of convexity related to costs $c$, we prove that EVI flows are the limit of splitting schemes, providing assumptions for both implicit and explicit iterations.

2025-05-01T14:35:04Z 34 pages Pierre-Cyril Aubin-Frankowski Giacomo Enrico Sodini Ulisse Stefanelli http://arxiv.org/abs/2507.09865v2 2026-03-30T00:58:47Z

This paper considers the problem of estimating a matrix that encodes pairwise distances in a finite metric space (or, more generally, the edge weight matrix of a network) under the barycentric coding model (BCM) with respect to the Gromov-Wasserstein (GW) distance function. We frame this task as estimating the unknown barycentric coordinates with respect to the GW distance, assuming that the target matrix (or kernel) belongs to the set of GW barycenters of a finite collection of known templates. In the language of harmonic analysis, if computing GW barycenters can be viewed as a synthesis problem, this paper aims to solve the corresponding analysis problem. We propose two methods: one utilizing fixed-point iteration for computing GW barycenters, and another employing a differentiation-based approach to the GW structure using a blow-up technique. Finally, we demonstrate the application of the proposed GW analysis approach in a series of numerical experiments and applications to machine learning.

2025-07-14T02:34:31Z Accepted for publication in SIAM Journal on Mathematics of Data Science (SIMODS). March 2026 Rocío Díaz Martín Ivan V. Medri James M. Murphy http://arxiv.org/abs/2603.27835v1 2026-03-29T19:41:11Z

Lopsided sets were introduced by Jim Lawrence in 1983 when he studied the subsets of $\{-1,+1\}^E$ that encode the intersection pattern of a convex set $K$ with the orthants of ${\mathbb R}^E$. Lopsided sets have been independently rediscovered by several other authors, in particular by Andreas Dress in 1995, who called them \emph{ample} sets. Dress defined ample sets as the set families satisfying equality in a combinatorial inequality, which holds for all set families. In a previous article we characterized ample sets in various combinatorial and graph-theoretical ways. In this paper we study geometric realizations of ample sets as cubihedra (cube complexes), which yields several new characterizations. One such characterization establishes that the cubihedra of ample sets endowed with the intrinsic $\ell_1$-metric are exactly the isometric subspaces of $\ell_1$-spaces (which we call, weakly convex sets). We also view the barycenter maps of faces of cubihedra of ample sets as collections of $\{ \pm 1, 0\}$-sign vectors and, in analogy with the characterization of oriented matroids by the covectors and the cocircuits. Moreover, we characterize the collections of $\{ \pm 1, 0\}$-sign vectors corresponding to barycenter maps of all faces and all maximal faces of an ample set. Furthermore, we show that any ample set $\covectors\subseteq \{ -1,+1\}^E$ is realizable as the intersection pattern of a weakly convex set $K$ with the orthants of ${\mathbb R}^E$. All this testifies that the concept of ample sets is quite natural in the context of cube complexes.

2026-03-29T19:41:11Z 22 pages, 2 figures Hans--Jürgen Bandelt Victor Chepoi Andreas Dress Jack Koolen http://arxiv.org/abs/2510.14047v2 2026-03-29T19:38:43Z

We revisit an ingenious argument of K. Ball to provide sharp estimates for the volume of sections of a convex body in John's position. Our technique combines the geometric Brascamp-Lieb inequality with a generalised Parseval-type identity. This lets us complement some earlier results of the first two named authors, as well as generalise the classical estimates of Meyer-Pajor and Koldobsky regarding extremal sections of $B_p^n$ balls to a broader family of norms induced by a John's decomposition of the identity in $\mathbb{R}^n$.

2025-10-15T19:35:24Z David Alonso-Gutiérrez Silouanos Brazitikos Giorgos Chasapis