https://arxiv.org/api/+Mcek9DmSPop5nwcKdFkl26i24A 2026-06-23T00:54:28Z 13068 1170 15 http://arxiv.org/abs/2510.05280v1 2025-10-06T18:49:32Z

Polyhedra are generically rigid, but can be made to flex under certain symmetry conditions. We generalise Raoul Bricard's 1897 method for making flexible octahedra to construct an infinite family of flexible polyhedra with self-intersections. Removing an edge from any of these models gives a crinkle, and these can be used to create flexible polyhedra without self-interesection. We show this in a particular example, giving a flexible embedded polyhedron with a large range of motion. We also discuss a novel crinkle.

2025-10-06T18:49:32Z Elvar Atlason Simon Guest http://arxiv.org/abs/2510.05279v1 2025-10-06T18:47:55Z

The anisotropic $s$-fractional area measures are introduced as the first variation of the anisotropic fractional $s$-perimeter $P_s(K,L)$, with $L$ an origin symmetric convex body and $s\in(0,1)$. As $s\rightarrow 1^-$, the anisotropic $s$-fractional area measure converges to the mixed area measure of $K$ and the moment body of $L$. The Minkowski problem of these measures are solved. Finally, a necessary condition for the convexity of optimizers in the anisotropic fractional isoperimetric inequality is derived.

2025-10-06T18:47:55Z Xiaxing Cai http://arxiv.org/abs/2505.04186v3 2025-10-06T13:35:50Z

We present a direct proof of the cutoff Sobolev inequality on the Sierpiński gasket, which has long been regarded as highly non-trivial in the context of heat kernel estimates.

2025-05-07T07:34:37Z 7 pages, major revision. This version includes only the proof on the Sierpinski gasket. arXiv admin note: text overlap with arXiv:2504.09503 Meng Yang http://arxiv.org/abs/2510.02988v2 2025-10-06T12:36:36Z

A graph is said to be rigid if, given a generic realisation of the graph as a bar-and-joint framework in the plane, there exist only finitely many other realisations of the graph with the same edge lengths modulo rotations, reflections and translations. In recent years there has been an increase of interest in determining exactly what this finite amount is, hereon known as the realisation number. Combinatorial algorithms for the realisation number were previously known for the special cases of minimally rigid and redundantly rigid graphs. In this paper we provide a combinatorial algorithm to compute the realisation number of any rigid graph, and thus solve an open problem of Jackson and Owen. We then adapt our algorithm to compute: (i) spherical realisation numbers, and (ii) the number of rank-3 PSD matrix completions of a generic partial matrix.

2025-10-03T13:26:32Z 21 pages, 3 figures, 5 tables. This version corrects a compiling error caused by TeX Live 2025 Sean Dewar Georg Grasegger Josef Schicho Ayush Kumar Tewari Audie Warren http://arxiv.org/abs/2510.04725v1 2025-10-06T11:45:34Z

We prove that sub-Gaussian heat kernel estimates are inherited from a diffusion process on the ambient space to the reflected diffusion process on a subset which is an inner uniform domain.

2025-10-06T11:45:34Z 21 pages, comments are welcome! Riku Anttila http://arxiv.org/abs/2411.09087v2 2025-10-06T09:30:19Z

In this paper we address the reverse isoperimetric inequality for convex bodies with uniform curvature constraints in the hyperbolic plane $\mathbb{H}^2$. We prove that the\textit{ thick $λ$-sausage} body, that is, the convex domain bounded by two equal circular arcs of curvature $λ$ and two equal arcs of hypercircle of curvature $1 / λ$, is the unique minimizer of area among all bodies $K \subset \mathbb{H}^2$ with a given length and with curvature of $\partial K$ satisfying $1 / λ\leq κ\leq λ$ (in a weak sense). We call this class of bodies \textit{thick $λ$-concave} bodies, in analogy to the Euclidean case where a body is $λ$-concave if $0 \leq κ\leq λ$. The main difficulty in the hyperbolic setting is that the inner parallel bodies of a convex body are not necessarily convex. To overcome this difficulty, we introduce an extra assumption of thickness $κ\geq 1/λ$.

2024-11-13T23:35:35Z 14 pages, 7 figures Maria Esteban http://arxiv.org/abs/1901.01055v3 2025-10-06T09:03:45Z

A point set $P \subset {\Bbb{R}}^d$ is {\it separated} if the minimum distance between any two points in $P$ is at least $1$. For $d \ne 4,5,$ we determine, for every $t_1,t_2 \ge 1$, and for $n$ at least a suitable $n_d$, the maximum number of point pairs in a separated $n$-element point set in ${\Bbb{R}}^d$, with distances in the set $[t_1,t_1 + 1]\cup[t_2,t_2 + 1]$. For $d=4,5$ we establish a weaker, similar asymptotic estimate. Recently N. Frankl and A. Kupavskii have generalized this result to unions of $k\ge 2$ intervals. We also determine the maximum number of point pairs in an $n$-element point set in ${\Bbb{R}}^d$, whose distances belong to the union of $k \ge 2$ intervals of the form $[t_i, t_i(1 + \varepsilon)]$, where $t_i > 0$ and $\varepsilon > 0$ is small.

2019-01-04T11:08:39Z 23 pages P. Erdős E. Makai, J. Pach http://arxiv.org/abs/2510.12808v1 2025-10-06T07:36:31Z

Fine shape, as defined by Melikhov, is an extension of the strong shape category of compacta (compact metrizable topological spaces) to all metrizable spaces, notable for being compatible with both Čech cohomology and Steenrod-Sitnikov homology. In this work we study fine shape of local compacta (locally compact separable metrizable spaces), and construct, for every local compactum $X$, a space $|X|$ unique up to a homotopy equivalence and such that fine shape classes from any locally compact metrizable space $Y$ to $X$ bijectively correspond to homotopy classes of ordinary maps from $Y$ to $|X|$. This correspondence is (contravariatly) functorial in $Y$, thus giving a representation of $Y$-dependent contravariant functor for a fixed $X$; the universal class corresponding to the identity map of $X$ is the homotopy class of a specific embedding of $X$ into $|X|$ that is a fine shape equivalence.

2025-10-06T07:36:31Z 17 pages Vladislav Zemlyanoy http://arxiv.org/abs/2510.04544v1 2025-10-06T07:19:35Z

We classify valuations on lattice polygons with values in the ring of formal power series that commute with the action of the affine unimodular group. A typical example of such valuations is induced by the Laplace transform, but as it turns out there are many more. The classification is done in terms of formal power series that satisfy certain functional equations. We align our classification with the decomposition into so-called dilative components.

2025-10-06T07:19:35Z Karoly J. Boroczky Matyas Domokos Ansgar Freyer Christoph Haberl Jin Li http://arxiv.org/abs/2510.04337v1 2025-10-05T20:01:00Z

We generalize Pach and de Zeeuw's bound for distinct distances between points on two curves, from algebraic curves to Pfaffian curves. Pfaffian curves include those that can be defined by any combination of elementary functions, including exponential and logarithmic functions, rational and irrational powers, trigonometric functions and their inverses, integration, and more. The bound remains $Ω(\min\{m^{3/4}n^{3/4},m^2,n^2\})$, as obtained from the proximity technique of Solymosi and Zahl.

2025-10-05T20:01:00Z 20 pages, 1 figure Abhiram Natarajan Adam Sheffer http://arxiv.org/abs/2510.03980v1 2025-10-05T00:04:02Z

We study a finite sequence of graphs, beginning with the curve graph and ending with a graph quasi-isometric to a tree. There is a Lipschitz map from one graph in the sequence to the next. This sequence was first introduced by Hamenstädt. We prove (as conjectured by Hamenstädt) that the graphs in this sequence are hyperbolic and that the coarse fibers of the maps in the sequence are quasi-trees. This gives an upper bound on the asymptotic dimension of each graph in the sequence and as a result, an upper bound on the asymptotic dimension of the curve graph. Additionally, we show that the action of the mapping class group on each graph in the sequence is acylindrical, and classify the boundary and actions of individual mapping classes for each graph in the sequence.

2025-10-05T00:04:02Z Mladen Bestvina Kenneth Bromberg Alexander J. Rasmussen http://arxiv.org/abs/2510.03924v1 2025-10-04T19:59:52Z

Littlewood asked for the maximum number $N$ of congruent infinite cylinders that can be arranged in $\mathbb{R}^3$ so that every pair touches. We improve upon the proof of the second author that $N \leq 18$ to show that $N \leq 10$. Together with the lower bound established by Bozóki, Lee, and Rónyai, this shows that $N \in \{7,8,9,10\}$. Our method is based on linear algebra and Ramsey theory, and makes partial use of computer verification. We also provide a completely computer-free proof that $N \leq 12$.

2025-10-04T19:59:52Z 10 pages, comments welcome Travis Dillon Junnosuke Koizumi Sammy Luo http://arxiv.org/abs/2508.15247v3 2025-10-04T17:18:37Z

We investigate what we term "generalized sup-convolutions". We show that functional inequalities that enjoy an interpretation as sup-convolution inequalities can be deduced from the special case of indicator functions corresponding to a geometric inequality. As consequences we derive a Borell-Brascamp Lieb inequality for the Gaussian Brunn-Minkowski inequality and give a functional analog of the log-Brunn Minkowski conjecture. Though we focus on Euclidean applications, our results are general and can be directly applied in more abstract settings, like groups or even topological measure spaces without algebraic structure, we instantiate this claim with a Borell-Brascamp-Lieb type inequality for nilpotent Lie groups.

2025-08-21T05:16:59Z Andreas Malliaris James Melbourne Cyril Roberto Michael Roysdon http://arxiv.org/abs/2510.03464v1 2025-10-03T19:35:38Z

Regularization is a central tool for addressing ill-posedness in inverse problems and statistical estimation, with the choice of a suitable penalty often determining the reliability and interpretability of downstream solutions. While recent work has characterized optimal regularizers for well-specified data distributions, practical deployments are often complicated by distributional uncertainty and the need to enforce structural constraints such as convexity. In this paper, we introduce a framework for distributionally robust optimal regularization, which identifies regularizers that remain effective under perturbations of the data distribution. Our approach leverages convex duality to reformulate the underlying distributionally robust optimization problem, eliminating the inner maximization and yielding formulations that are amenable to numerical computation. We show how the resulting robust regularizers interpolate between memorization of the training distribution and uniform priors, providing insights into their behavior as robustness parameters vary. For example, we show how certain ambiguity sets, such as those based on the Wasserstein-1 distance, naturally induce regularity in the optimal regularizer by promoting regularizers with smaller Lipschitz constants. We further investigate the setting where regularizers are required to be convex, formulating a convex program for their computation and illustrating their stability with respect to distributional shifts. Taken together, our results provide both theoretical and computational foundations for designing regularizers that are reliable under model uncertainty and structurally constrained for robust deployment.

2025-10-03T19:35:38Z Oscar Leong Eliza O'Reilly Yong Sheng Soh http://arxiv.org/abs/2510.03196v1 2025-10-03T17:32:33Z

We prove a generalization of Tyson-Wu's characterization of metric spaces biLipschitz equivalent to snowflakes to every metric space, by removing compactness, doubling and embeddability assumptions. We also characterize metric spaces that are biLipschitz equivalent to a snowflake in terms of the absence of non-trivial metric $1$-currents in every ultralimit, or equivalently in terms of purely $1$-unrectifiability of every ultralimit. Finally, we discuss some applications and examples.

2025-10-03T17:32:33Z 16 pages Emanuele Caputo Nicola Cavallucci