Counting Frameworks of Bipyramids

2026-01-24T20:13:00Z

We give a linear upper bound on the number of distinct volume-equivalent frameworks of bipyramids, up to rigid motions. As a corollary, we show that global volume rigidity is not a generic property of simplicial complexes.

New properties of length-extremals in free step-2 rank-4 Carnot groups

2026-01-24T16:36:58Z

In the free, step-2, rank-4 sub-Riemannian Carnot group, we give a clean expression for length-extremals, we provide an explicit equation for conjugate points, we relate it with the conjectured cut-locus of the origin. Finally, we give some upper estimates for the cut-time of extremals.

Hölder regularity of harmonic functions on metric measure spaces

2026-01-24T15:40:18Z

We introduce a Hölder regularity condition for harmonic functions on metric measure spaces and prove that, under a slow volume regular condition and an upper heat kernel estimate, the Hölder regularity condition, the weak Bakry-Émery non-negative curvature condition, Hölder continuity of the heat kernel (with or without exponential terms), and the near-diagonal lower bound for the heat kernel are equivalent. As applications, first, we establish the validity of the so-called generalized reverse Hölder inequality on the Sierpiński carpet cable system, resolving an open problem left by Devyver, Russ, Yang (Int. Math. Res. Not. IMRN (2023), no. 18, 15537-15583). Second, we prove that two-sided heat kernel estimates alone imply gradient estimates for the heat kernel on strongly recurrent fractal-like cable systems, improving the main results of the aforementioned paper. Third, we obtain Hölder (Lipschitz) estimates for the heat kernel on strongly recurrent metric measure spaces, extending the classical Li-Yau gradient estimate for the heat kernel on Riemannian manifolds.

Constructing spherical designs using tight $t$-fusion frames

2026-01-24T04:04:34Z

In this paper, we study conditions under which a finite subset $Z$ of the unit sphere $S^{d-1}\subset \mathbb{R}^{d}$ becomes a spherical $t$-design, when $Z$ is constructed by the following procedure: starting from a finite set of $k$-dimensional subspaces in the real Grassmannian $G_{k,d}$, we place, for each such $k$-dimensional subspace, a finite set on its unit sphere, and then take the union of these sets in $S^{d-1}$. For this construction problem -- namely, obtaining spherical designs in higher dimensions by distributing point sets on lower-dimensional spheres subspace by subspace -- we provide a sufficient condition based on the framework of tight $t$-fusion frames ($\mathrm{TFF}_t$) due to Bachoc--Ehler. As a preparation for applications, we moreover give an explicit construction of equal-weight tight $2$-fusion frames on $G_{2,d}$ for infinitely many dimensions $d$, via unions of orbits of the hyperoctahedral group. We also derive necessary conditions for the existence of highly symmetric tight $t$-fusion frames, namely equi-chordal and equi-isoclinic tight $t$-fusion frames ($\mathrm{ECTFF}_t$ and $\mathrm{EITFF}_t$), on $G_{2,d}$, and in particular obtain bounds on the number of points.

Affine thickness: Patterns and a Gap Lemma

2026-01-23T16:41:46Z

A new notion of thickness for subsets of $B[0,1]\subset \mathbb{R}^n$ called affine thickness is defined; this notion of thickness is a generalisation of Falconer-Yavicoli thickness and is adapted to be used in the study of certain sets with affine cut outs. Thick sets are proven to be winning for the matrix potential game introduced in (arXiv:2508.11577) and as an application we can prove that for a thick set, there exists $M\in\mathbb{N}$ depending on the thickness of the set, such that the set contains a homothetic copy of every finite set with at most $M$ elements. Additionally, the author provides a counter-example to the gap lemma in $\mathbb{R}^n$ ($n\geq 2$) for Falconer-Yavicoli thickness, stated in (Math. Z., 2022) proving this result does not hold in the generality stated. We go on to provide a gap lemma for affine thickness in $\mathbb{R}^n$ (for $n\geq 2$) under additional conditions to the classical Newhouse gap lemma.

On the transportation cost norm on finite metric graphs

2026-01-23T16:07:02Z

For a finite metric graph $X=(V,E,\ell)$, where $V$ is endowed with the shortest path metric, we consider the transportation cost problem associated with the distance $d$ on $V$. Namely, for $f$ a function with total sum 0 on $V$, write $f=\sum_{a,b\in V}P(a,b)(δ_a-δ_b)$ where the transportation plan $P$ satisfies $P(a,b)\geq 0$ for $(a,b)\in V\times V$. The cost of $P$ is $W(P):=\sum_{a,b\in V}P(a,b)d(a,b)$ and the transportation norm of $f$ is $\|f\|_{TC}=\min_P W(P)$ where $P$ runs over all transportation plans for $f$. In this semi-survey paper, we give short proofs for the following statements: 1)There always exists an optimal transportation plan supported in $V_+\times V_-$ where $V_+=\{x\in V: f(x)>0\}$ and $V_-=\{x\in V: f(x)<0\}$. If $X$ is a metric tree, we may moreover assume that this plan involves at most $|Supp(f)|-1$ transports. 2) There always exists an optimal transportation plan supported in the set of edges of $X$. 3) Better, there always exists an optimal transportation plan supported in some spanning tree of $X$. We use this to reprove known formulae for the transportation norm when $X$ is either a tree or a cycle.

A necessary and sufficient condition for $k$-transversals

2026-01-23T14:49:16Z

We solve a long-standing open problem posed by Goodman \& Pollack in 1988 by establishing a necessary and sufficient condition for a family of convex sets in $\mathbb{R}^d$ to admit a $k$-transversal for any $0 \le k \le d-1$. This result is a common generalization of Helly's theorem ($k=0$) and the Goodman-Pollack-Wenger theorem ($k=d-1$). Additionally, we obtain an analogue in the complex setting by characterizing the existence of a complex $k$-transversal to a family of convex sets in $\mathbb{C}^d$, extending the work of McGinnis ($k=d-1$). Our approach is topological and employs a Borsuk-Ulam-type theorem on Stiefel manifolds. Finally, we demonstrate how our results imply the central transversal theorems of Živaljević-Vrećica and Dol'nikov in the real case and of Sadovek-Soberón in the complex case.

Sard properties for polynomial maps in infinite dimension

2026-01-23T14:14:09Z

Sard's theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional Banach manifolds was proven by Smale for maps with Fredholm differential. It is well-known, however, that when the domain is infinite dimensional and the range is finite dimensional, the result is not true -- even under the assumption that the map is ``polynomial'' -- and a general theory is still lacking. Addressing this issue, in this paper, we provide sharp quantitative criteria for the validity of Sard's theorem in this setting. Our motivation comes from sub-Riemannian geometry and, as an application of our results, we prove the sub-Riemannian Sard conjecture for the restriction of the Endpoint map of Carnot groups to the set of piece-wise real-analytic controls with large enough radius of convergence, and the strong Sard conjecture for the restriction to the set of piece-wise entire controls.

Shadow systems, decomposability and isotropic constants

2026-01-23T11:05:24Z

We study necessary conditions for local maximizers of the isotropic constant that are related to notions of decomposability. Our main result asserts that the polar body of a local maximizer of the isotropic constant can only have few Minkowski summands; more precisely, its dimension of decomposability is at most $\frac12(n^2+3n)$. Using a similar proof strategy, a result by Campi, Colesanti and Gronchi concerning RS-decomposability is extended to a larger class of shadow systems. We discuss the polytopal case, which turns out to have connections to (affine) rigidity theory, and investigate how the bound on the maximal number of irredundant summands can be improved if we restrict our attention to convex bodies with certain symmetries.

A characterization of the local structure of two-dimensional sets with positive reach

2026-01-22T16:48:05Z

The main result of the article is a complete characterization of the local structure of two-dimensional sets with positive reach in $R^d$. We also present a more elementary proof of a recent result of A. Lytchak which describes for $k\leq d$ the local structure of $k$-dimensional sets with positive reach $A$ in $R^d$ at points where the tangent cone of $A$ is $k$-dimensional. As an easy corollary of our and Lytchak's results we obtain a characterization of compact two-dimensional sets with positive reach in $R^d$. Our method also shows that, for any set $A\subset R^d$ with positive reach, the set of points at which the tangent cone of $A$ is $k$-dimensional is locally contained in a $k$-dimensional $C^{1,1}$ surface. As a consequence we obtain that if $1\leq k

Metric constructions and fixed point theorems in product spaces

2026-01-22T12:37:01Z

The paper studies a general scheme for constructing metrics on a product of metric spaces by means of a family of continuous convex functions. This construction includes the conventional $p$-metrics and generates metrics that are topologically equivalent to the conventional ones. As an application, we study fixed point and approximate fixed point properties for nonexpansive maps on a product space equipped with the constructed metric. We show that existing fixed point results of this type are consequences of our framework. Examples are provided to illustrate the established results. The construction machinery is also used to study products of length and geodesic spaces. The obtained results encompass existing ones and provide a background for potential studies of fixed point properties on these product spaces.

On manifolds with almost non-negative Ricci curvature and integrally-positive $k^{th}$-scalar curvature

2026-01-22T12:22:31Z

We consider manifolds with almost non-negative Ricci curvature and strictly positive integral lower bounds on the sum of the lowest $k$ eigenvalues of the Ricci tensor. If $(M^n,g)$ is a Riemannian manifold satisfying such curvature bounds for $k=2$, then we show that $M$ is contained in a neighbourhood of controlled width of an isometrically embedded $1$-dimensional sub-manifold. From this, we deduce several metric and topological consequences: $M$ has at most linear volume growth and at most two ends, it has bounded 1-Urysohn width, the first Betti number of $M$ is bounded above by $1$, and there is precise information on elements of infinite order in $π_1(M)$. If $(M^n,g)$ is a Riemannian manifold satisfying such bounds for $k\geq 2$, then we show that $M$ has at most $(k-1)$-dimensional behavior at large scales. If $k=n={\rm dim}(M)$, so that the integral lower bound is on the scalar curvature, assuming in addition that the $(n-2)$-Ricci curvature is non-negative, we prove that the dimension drop at large scales improves to $n-2$. From the above results we deduce topological restrictions, such as upper bounds on the first Betti number.

Integer-valued valuations

2026-01-22T08:43:09Z

We obtain a complete characterization of planar monotone $σ$-continuous valuations taking integer values, without assuming invariance under any group of transformations. We further investigate the consequences of dropping monotonicity or $σ$-continuity and give a full classification of line valuations. We also introduce a construction of the product for valuations of this type.

Length minimization of filling pairs on hyperbolic surfaces

2026-01-21T23:22:49Z

A filling pair $(α, β)$ of a surface $S_g$ is a pair of simple closed curves in minimal position such that the complement of $α\cupβ$ in $S_g$ is a disjoint union of topological disks. A filling pair is said to be minimally intersecting if the number of intersections between them, or equivalently, the number of complementary disks, is minimal among all filling pairs of $S_g$. For surfaces of genus $g \geq 3$, minimal filling pairs are well understood, whereas in genus two, such a pair divides the surface into exactly two disks. In this paper, we classify all minimal filling pairs up to the action of the mapping class group in genus two and determine the length of the shortest minimal filling pair.

Discrete log-concavity and threshold phenomena for atomic measures

2026-01-21T20:23:08Z

We investigate threshold phenomena for random polytopes $K_N=\conv\{X_1,\dots,X_N\}$ generated by i.i.d.\ samples from an atomic law $μ$. We identify and provide a missing justification in the discrete-hypercube threshold argument of Dyer--Füredi--McDiarmid, where the supporting half-space estimate is derived via a smooth (gradient/uniqueness) step that can fail at boundary contact points. We then compare threshold-driving mechanisms in the continuous log-concave setting -- through the Cramér transform and Tukey's half-space depth -- with their discrete analogues. Within this framework, we establish a sharp threshold for lattice $p$-balls $\mathbb{Z}^n \cap rB_p^n$. Finally, we present structural counterexamples showing that sharp thresholds need not hold in general discrete log-concave settings.