Fractional $p$-Laplacians via Neumann problems in unbounded metric measure spaces

2026-03-18T01:16:06Z

We prove well-posedness, Harnack inequality and sharp regularity of solutions to a fractional $p$-Laplace non-homogeneous equation $(-Δ_p)^su =f$, with $0

Area of intrinsic graphs in homogeneous groups

2026-03-17T19:25:36Z

We establish an area formula for the spherical measure of intrinsic graphs of any codimension in homogeneous groups. Our approach relies on the assumption that the map defining the intrinsic graph is continuously intrinsically differentiable. The main novelty is a notion of Jacobian defined using an auxiliary scalar product.

Irreducible representations of tree automorphism groups into Pontryagin spaces

2026-03-17T16:36:24Z

Let G = Aut(T) be the automorphism group of a regular tree T. We study continuous irreducible representations of G that preserve a continuous strongly nondegenerate sesquilinear form of finite index on a Hilbert space. These are already classified for index 0 (unitary case) and for index 1. We show that there are no more representations for index > 1, which completes the classification.

Rational Angle Bisection Problem in Higher Dimensional Spaces and Incenters of Simplices over Fields

2026-03-17T15:28:28Z

In this article, we generalize the following problem, which is called the rational angle bisection problem, to the $n$-dimensional space $k^n$ over a subfield $k$ of $\mathbb R$: in the coordinate plane, for which rational numbers $a$ and $b$ are the slopes of the angle bisectors between the two lines with slopes $a$ and $b$ rational? First, we give a few characterizations of when the angle bisectors between two lines with direction vectors in $k^n$ have direction vectors in $k^n.$ To find solutions to the problem in the case when $k = \mathbb Q,$ we also give a formula for the integral solutions of $x_1{}^2+\dots +x_n{}^2 = dx_{n+1}{}^2,$ which is a generalization of the negative Pell's equation $x^2-dy^2 = -1,$ where $d$ is a square-free positive integer. Second, by applying the above characterizations, we give a necessary and sufficient condition for the incenter of a given $n$-simplex with $k$-rational vertices to be $k$-rational. In the coordinate plane, we prove that every triangle with $k$-rational vertices and incenter can be obtained by scaling a triangle with $k$-rational side lengths and area, which is a generalization of a Heronian triangle. We also state certain fundamental properties of a few centers of a given triangle with $k$-rational vertices.

A Complete Graphic Statics for Rigid-Jointed 3D Frames. Part 3: Loops for Kinematics

2026-03-17T13:15:07Z

In Part 3 of this sequence of papers, the kinematic behaviour of 3D frame structures is described using the loop formalism that was developed in Part 2 to describe equilibrium. There, the notions of polygons, polyhedra and polytopes that form the geometric toolbox underlying graphic statics were replaced by the more general concept of CW-complexes from algebraic homology. The six components of the stress resultant acting on any cut face of a bar in a rigidly-jointed framework were represented by the oriented bivector areas of the six projections of a loop in a 4D-space, with three components representing the force and three components representing the moment. In this paper, projected areas of loops in 4D will represent kinematic variables, with three projected areas representing the displacement of a point on the frame, and three other projected areas representing the rotation of the structure at that point. The 4D setting for the theory consists of the usual three dimensions of physical space together with a fourth dimension for the stress function. Virtual Work then manifests as a top form (an oriented 4-volume) in this 4D setting, being the integral over the structure of the wedge product of bivectors representing the local equilibrium and kinematic variables.

Random Polyhedral Cones I: Distributional Results via Gale Duality

2026-03-17T12:03:33Z

Let $U_1,\ldots,U_n$ be independent random vectors uniformly distributed on the unit sphere $\mathbb S^{d-1}\subseteq\mathbb R^d$, where $n\ge d$, and consider the random polyhedral cone \[ \mathcal W_{n,d}:=\mathop{\mathrm{pos}} (U_1,\ldots,U_n) = \{λ_1 U_1+ \ldots + λ_n U_n: λ_1\geq 0, \ldots, λ_n \geq 0\}. \] We establish several distributional results for $\mathcal W_{n,d}$ and the associated spherical polytope $\mathcal W_{n,d}\cap\mathbb S^{d-1}$. Our main contributions include: (i) Let $α_d$ denote the solid angle of $\mathcal W_{d,d}$ and write $m(d,k):=\mathbb E[α_d^k]$ for its $k$-th moment. We prove the symmetry $m(d,k)=m(k,d)$. As an application, we compute $\mathop{\mathrm{Var}}[α_d]=2^{-d}(d+1)^{-1}-4^{-d}$ and derive a closed formula for the third moment. (ii) For $n=d+1,d+2,d+3$ we determine the probability that $\mathcal W_{n,d}\cap\mathbb S^{d-1}$ is a spherical simplex, a spherical analogue of the classical Sylvester problem. In the case $n=d+2$ we also determine the distribution of the number of vertices of $\mathcal W_{d+2,d}\cap\mathbb S^{d-1}$. (iii) Let $f_\ell(\mathcal W_{n,d})$ denote the number of $\ell$-dimensional faces of $\mathcal W_{n,d}$. We prove a distributional limit theorem for $f_\ell(\mathcal W_{n,d})$ in the regime $n=d+k$ and $\ell=d-q$, where $k,q\in\mathbb N$ are fixed and $d\to\infty$. The limit law is a weighted sum of independent chi squared variables, with weights given by explicit eigenvalues of a convolution operator on the sphere. A unifying ingredient is an explicit coupling producing i.i.d. uniform vectors $U_1,\ldots,U_n\in\mathbb S^{d-1}$ together with i.i.d. uniform vectors $V_1,\ldots,V_n\in\mathbb S^{n-d-1}$ whose associated oriented matroids are Gale dual.

Polytopes with large transversal ratio

2026-03-17T09:35:04Z

The transversal ratio of a polytope $P$ is the minimum proportion of vertices of $P$ required to intersect each facet of $P$. The weak chromatic number of $P$ is the minimum number of colors required to color the vertices of $P$ so that no facet is monochromatic. We will construct an infinite family of $d$-polytopes for each $d\geq 5$ whose transversal ratio approaches 1 as the number of vertices grows. In particular, this implies that the weak chromatic number for $d$-polytopes is unbounded for each $d\geq 5$. The previous best known lower bounds on the supremum of the transversal ratio for $d$-polytopes for $d\geq 5$ were 2/5 for odd $d$ by Novik and Zheng, and 1/2 for even $d$ by Holmsen, Pach, and Tverberg. In the case of simplicial $(d-1)$-spheres, the best known lower bounds were 1/2 for $d=5$ and $6/11$ for $d=6$ by Novik and Zheng.

Two new universal inequalities for Neumann eigenvalues of the Laplacian on a planar convex domain

2026-03-17T05:23:20Z

We establish two new universal inequalities for Neumann eigenvalues of the Laplacian on a planar convex domain.

On the Uniqueness of Fréchet Means for Polytope Norms

2026-03-16T18:12:20Z

Fréchet means are a popular type of average for non-Euclidean datasets, defined as those points which minimise the average squared distance to a set of data points. We consider the behaviour of sample Fréchet means on normed spaces whose unit ball is a polytope; this setting is rarely covered by existing literature on Fréchet means, which focuses on smooth spaces or spaces with bounded curvature. We study the geometry of the set of Fréchet means over polytope normed spaces, with a focus on dimension and probabilistic conditions for uniqueness. In particular, we provide a geometric characterisation of the threshold sample size at which Fréchet means have a positive probability of being unique, and we prove that this threshold is at most one more than the dimension of our space. We are able to use this geometric characterisation to compute the unique Fréchet mean sample threshold in the case of the $\ell_\infty$ and $\ell_1$ norms.

A Recognizable Substitution Rule for a 10-fold Symmetric Rhomb Tiling

2026-03-16T17:10:11Z

We present a substitution rule for a rhomb tiling with 10-fold rotational symmetry. The tiling is closely related to the Penrose rhomb tilings and can be obtained from the pentagrid construction. We introduce a finite set of marked prototiles and describe an explicit substitution rule with inflation factor phi^3. Our main result is that the substitution is recognizable, so that the hierarchical structure of the tiling can be uniquely recovered from local configurations. Finally, we describe the relation between the tiling and the pentagrid construction.

Coarse medians and universal quasigeodesic cones

2026-03-16T13:31:20Z

We show that any universal quasigeodesic cone of uniformly coarse median spaces admits a canonical coarse median structure. As an application, we recover a result of Bowditch which states that any hierarchically hyperbolic space admits a coarse median structure compatible with the projections to the hyperbolic factor spaces.

The moment of inertia tensor of an oloid

2026-03-16T11:40:12Z

The oloid is defined as the convex hull of two unit circles in perpendicular planes, each passing through the center of the other. In this paper we derive an analytical expression for the moment of inertia tensor of an oloid with uniform density and confirm the result numerically.

Uniformization problems in the plane: A survey

2026-03-16T10:50:33Z

In this survey we present the history and recent progress on several fundamental (quasi)conformal uniformization problems in the complex plane. Uniformization refers to the process of mapping a space to a canonical model by means of a well-behaved transformation that preserves the geometry and distorts shapes in a controlled fashion. A central problem in the area is Koebe's conjecture, which remains open after almost 120 years and predicts that each planar domain can be conformally mapped to a circle domain -- that is, a domain whose complementary components are points or closed disks. We trace the history of the conjecture, outline recent developments, and examine the associated uniqueness problem. We also discuss variants, with particular emphasis on the question whether a compact set can be mapped by a quasiconformal self-map of the plane to a Schottky set -- that is, a set in the plane whose complement is the union of disjoint open disks.

Formalizing the Classical Isoperimetric Inequality in the Two-Dimensional Case

2026-03-15T23:35:15Z

We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge 4πA$, which states that among all simple closed curves of a given perimeter $L$, the circle uniquely maximizes the enclosed area $A$. The formalization proceeds in two phases. In the first phase, we establish the Fourier-analytic foundations required by Hurwitz's approach: we formalize orthogonality relations for trigonometric functions over $[-π,π]$, Parseval's theorem for classical Fourier series, uniform convergence of Fourier partial sums via the Weierstrass M-test, term-by-term differentiability, and Wirtinger's inequality. In the second phase, we carry out Hurwitz's proof itself: working with simple closed $C^1$ curves given in arc-length parametrization, we reparametrize over $[0,2π]$, establish the shoelace area formula, apply integration by parts, invoke the AM--GM inequality, apply Wirtinger's inequality, and use the arc-length constraint to derive the bound $A \le L^2/(4π)$. We discuss the key formalization challenges encountered, including the interchange of infinite sums and integrals, term-by-term differentiation, and the coordination of different indexing conventions within Mathlib. The complete formalization is available at https://github.com/mirajcs/IsoperimetricInequality

The Simplicial Geometry of Integer Partitions: An Exact $O(1)$ Formula via $A_{k-1}$ Root Systems

2026-03-15T16:24:39Z

We present a structural resolution to the exact evaluation of the partition function $p_k(n)$, systematically overcoming the limitations of traditional recursive and asymptotic methods. By framing the partition polytope $\mathcal{P}_{n,k}$ within the theory of rational polytopes and Ehrhart foliation, we prove that its discrete volume is exactly captured by a geometric Simplicial Spectral Decomposition. We establish the Rational Structure Theorem, demonstrating that the generating function of the spectral weights is a proper rational function defined rigorously over cyclotomic fields. Through partial fraction decomposition over complex roots of unity, we derive a strictly closed-form, non-iterative mathematical formula (The Compact Bonelli Identity). This rigorously proves that the strict arithmetic complexity of evaluating $p_k(n)$ is identically $O(1)$ with respect to $n$. Furthermore, we formally address the spatial complexity bottleneck for astronomically large $k$ by introducing a spatial memory reduction theory via Sylvester-Ramanujan waves, reducing the memory footprint to strictly $O(k)$. We additionally extend this structural framework to the unrestricted partition function $p(n)$, deriving an exact $O(\sqrt{n})$ closed form via Durfee squares, and establish its asymptotic limit as the geometric foundation of Euler's Pentagonal Number Theorem. Finally, we explicitly translate this additive framework into multiplicative number theory, establishing a geometric extraction of the divisor function $σ(n)$ and an exact non-recursive polyhedral closed form for the prime-counting function $π(x)$. In doing so, we formally identify a unique geometric basis of Ehrhart quasi-polynomials bridging continuous polyhedra and discrete arithmetic.