PCIC: Cylindrical Volume Moment Calculation and Interface Reconstruction for Sub-Grid Modeling in Volume of Fluid Methods

2026-03-25T22:53:07Z

The accurate modeling of topology changes remains a significant challenge in geometric Volume of Fluid (VOF) simulations. When using traditional single-plane reconstruction (PLIC), fluid structures smaller than the mesh size cannot be resolved and spurious numerical breakup is triggered; this impacts important flow statistics such as drop size distributions. Recent advances have introduced paraboloid and two-plane reconstructions, which have improved high-curvature performance and enabled sub-grid film reconstructions, respectively. However, sub-grid ligament reconstructions have remained elusive. In this work, a novel cylindrical interface reconstruction strategy called PCIC is introduced for sub-grid ligament modeling. PCIC is facilitated by deriving the analytical volume moments of quadratic cylinders clipping polyhedra; this allows for exact mass conservation during volume moment transport. From the transported moments, a straight circular cylinder can be defined in the center cell of a 5x5x5 stencil. First, a quadratic principal curve is fitted to the normalized first-order moments in the stencil (the liquid barycenters), from which the cylinder's orientation and origin are approximated. The cylinder radius is then chosen to conserve volume. On-the-fly ligament detection is achieved using connected-component labeling and moments of inertia criteria, which allows for simulations to automatically choose between PLIC and PCIC in each interface cell at runtime. PCIC is demonstrated in multiphase flow test cases, where it exhibits robust reconstruction of sub-grid ligaments. This allows for relatively low-resolution PCIC simulations to provide comparable results to traditional high-resolution simulations.

Quantum cellular automata are a coarse homology theory

2026-03-25T19:01:15Z

We show that quantum cellular automata naturally form the degree-zero part of a coarse homology theory. The recent result of Ji and Yang that the space of QCA forms an Omega-spectrum in the sense of algebraic topology is a direct consequence of the formal properties of coarse homology theories.

Coarse separation and splittings in right-angled Artin groups

2026-03-25T18:30:20Z

In this article, we characterise geometrically when a right-angled Artin group splits over an abelian subgroup. More precisely, given a finite graph $Γ$, we show that $A(Γ)$ splits over an abelian subgroup if and only if it is coarsely separable by a family of subexponential growth, which amounts to saying that $Γ$ is complete or separated by a complete subgraph.

The conformal dimension of the Brownian sphere is two

2026-03-25T16:15:24Z

The conformal dimension of a metric space $(X, d)$ is equal to the infimum of the Hausdorff dimensions among all metric spaces quasisymmetric to $(X, d)$. It is an important quasisymmetric invariant which lies non-strictly between the topological and Hausdorff dimensions of $(X, d)$. We consider the conformal dimension of the Brownian sphere (a.k.a. the Brownian map), whose law can be thought of as the uniform measure on metric measure spaces homeomorphic to the standard sphere $\mathbf S^2$ with unit area. Since the Hausdorff dimension of the Brownian sphere is $4$, its conformal dimension lies in $[2, 4]$. Our main result is that its conformal dimension is equal to $2$, its topological dimension.

The local logarithmic Brunn-Minkowski inequality for bodies of revolution

2026-03-25T15:09:44Z

We prove the local logarithmic Brunn-Minkowski inequality for bodies of revolution. Furthermore, we give a generalization for one origin symmetric body of revolution and one body of revolution that does not need to be symmetric and restrict possible equality cases. The proof uses an operator theoretic approach together with the decomposition of spherical functions into isotypical components with respect to rotations around a fixed axis.

Comparison theory for Lipschitz spacetimes

2026-03-25T11:19:46Z

We prove a globally hyperbolic spacetime with locally Lipschitz continuous metric and timelike distributional Ricci curvature bounded from below obeys the timelike measure contraction property. The remarkable class of examples of spacetimes that are covered by this result includes impulsive gravity waves, thin shells, and matched spacetimes. As applications, we get new comparison theorems for Lipschitz spacetimes in sharp form: d'Alembert, timelike Brunn-Minkowski, and timelike Bishop-Gromov. Under appropriate nonbranching assumptions (conjectured to hold in even lower regularity), our results also yield the timelike curvature-dimension condition, a volume incompleteness theorem, as well as exact representation formulas and sharp comparison estimates for d'Alembertians of Lorentz distance functions from general spacelike submanifolds. Moreover, we establish the sharp timelike Bonnet--Myers inequality ad hoc using the localization technique from convex geometry. Alongside, we prove a timelike diameter estimate for spacetimes whose timelike Ricci curvature is positive up to a "small" deviation (in an $L^p$-sense). This adapts prior theorems for Riemannian manifolds by Petersen-Sprouse and Aubry to Lorentzian geometry, a transition the former two anticipated almost 30 years ago.

CAT(0) spaces quasi-isometric to Euclidean spaces

2026-03-24T22:58:45Z

We show that if a proper, geodesically complete, CAT(0) homology manifold is quasi-isometric to the Euclidean space R^n then it is homeomorphic to R^n. On the other hand, we show that there exist proper, geodesically complete, CAT(0) spaces quasi-isometric to R^n, which are not homeomorphic to it. We prove that our example is sharp in a suitable sense. Finally, we provide an example of a sequence of proper, geodesically complete, CAT(0) spaces that are not homology manifolds and that converge in the Gromov-Hausdorff sense to a topological manifold: this shows that the set of topological manifolds is not open in the class of proper, geodesically complete, CAT(0) spaces.

The Perimeter Winternitz Theorem in a Triangle

2026-03-24T18:55:32Z

A variable line through the centroid G of a triangle divides the triangle into two parts each of whose lengths as a fraction of the perimeter fills a closed interval [m,1-m], with m between 0 and 1/2. We show that the range of m taken over all triangles is the interval (3/10,4/9], with 3/10 approached by scales of the triangles approaching the 5-4-1 triangle and their mid-size medians, and 4/9 attained by the equilateral triangles and the lines through G parallel to the sides. This result is the perimeter version of the classical Winternitz theorem for a triangle, asserting that, in the case of area-ratio instead of perimeter-ratio, m=4/9, and this is attained by all triangles and their lines through G and parallel to the sides.

Approximation theorems in bilipschitz invariant theory

2026-03-24T18:30:25Z

Bilipschitz invariant theory concerns low-distortion embeddings of orbit spaces into Euclidean space. To date, embeddings with the smallest-possible distortion are known for only a few cases, to include: (a) planar rotations, (b) real phase retrieval, and (c) finite reflection groups. Here, we prove that for all three of these cases, the smallest possible distortion is nearly achieved by a composition of a "max filter bank" with a linear transformation. Our proof amounts to a two-step process: first, we show it suffices to demonstrate a certain inclusion of Lipschitz function spaces, and second, we prove that inclusion, using fundamentally different approaches for the three cases. We also show that these cases interact differently with a few related function spaces, which suggests that a unified treatment would be nontrivial.

The entrywise calculus and dimension-free positivity preservers, with an Appendix on sphere packings

2026-03-24T15:24:10Z

We present an overview of a classical theme in analysis and matrix positivity: the question of which functions preserve positive semidefiniteness when applied entrywise. In addition to drawing the attention of experts such as Schoenberg, Rudin, and Loewner, the subject has attracted renewed attention owing to its connections to various applied fields and techniques. In this survey we will focus mainly on the question of preserving positivity in all dimensions. Connections to distance geometry and metric embeddings, positive definite sequences and functions, Fourier analysis, applications and covariance estimation, Schur polynomials, and finite fields will be discussed. The Appendix contains a mini-survey of sphere packings, kissing numbers, and their "lattice" versions. This part overlaps with the rest of the article via Schoenberg's classification of the positive definite functions on spheres, aka dimension-free entrywise positivity preservers with a rank constraint - applied via Delsarte's linear programming method.

Geometry of Geometric Data Set I

2026-03-24T15:19:15Z

Hanika, Schneider, and Stumme introduced geometric data set as a generalization of metric measure space for the computation of the observable diameter, and extended the observable distance between metric measure spaces to that between geometric data sets. In this paper, we begin by proving the non-separability of the observable distance between geometric data sets. We then extend the box distance between mm-spaces to that between geometric data sets and prove its completeness and non-separability.

Eigenvalue stability of Hermitian and normal matrices

2026-03-24T10:54:46Z

The ordered eigenvalues define a Lipschitz map on the real vector space of Hermitian $d \times d$ matrices. We prove that this map acts continuously, but not uniformly continuously, by superposition on the Sobolev spaces $W^{1,q}$, for all $1 \le q < \infty$, on bounded open domains. For $q=\infty$, the action is still well-defined and bounded but not continuous. We show that this stability result extends to normal matrices, where the eigenvalues are naturally interpreted as multivalued Sobolev functions in the sense of Almgren. Several applications are given, including the stability of singular values, condition numbers of matrices, surface area of eigenvalue graphs, and compact self-adjoint operators in Hilbert space.

Topology and Diffeology via Metric-like Functions

2026-03-24T10:37:58Z

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of metric-like functions originally introduced for spaces of submanifolds. We show that the topologies, uniformities, and diffeologies of these spaces can be systematically derived from the proposed axioms. Furthermore, the framework covers examples such as spaces with compact-open topologies, tiling spaces, and spaces of graphs, which have appeared in different contexts. These results support the study of spaces with metric-like structures from both topological and diffeological perspectives.

Generalized cones admitting a curvature-dimension condition

2026-03-24T08:13:38Z

We study (generalized) cones over metric spaces, both in Riemannian and Lorentzian signature. In particular, we establish synthetic lower Ricci curvature bounds à la Lott-Villani-Sturm and Ohta in the metric measure case, and à la Cavalletti-Mondino in Lorentzian signature. Here, a generalized cone is a warped product of a one-dimensional base space, which will be positive or negative definite, over a fiber that is a metric space. We prove that Riemannian or Lorentzian generalized cones over $\mathsf{CD}$-spaces satisfy the (timelike) measure contraction property $\mathsf{(T)MCP}$ - a weaker version of a (timelike) curvature-dimension condition $\mathsf{(T)CD}$. Conversely, if the generalized cone is a $\mathsf{(T)CD}$-space, then the fiber is a $\mathsf{CD}$-space with the appropriate bounds on Ricci curvature and dimension. In proving these results we develop a novel and powerful two-dimensional localization technique, which we expect to be interesting in its own right and useful in other circumstances. We conclude by giving several applications including synthetic singularity and splitting theorems for generalized cones. The final application is that we propose a new definition for lower curvature bounds for metric and metric measure spaces via lower curvature bounds for generalized cones over the given space.

Prismatoid Band-Unfolding Revisited

2026-03-23T22:14:30Z

It remains unknown if every prismatoid has a nonoverlapping edge-unfolding, a special case of the long-unsolved "Dürer's problem." Recently nested prismatoids have been settled [Rad24] by mixing (in some sense) the two natural unfoldings, petal-unfolding and band-unfolding. Band-unfolding fails due to a specific counterexample [O'R13b]. The main contribution of this paper is a characterization when a band-unfolding of a nested prismatoid does in fact result in a nonoverlapping unfolding. In particular, we show that the mentioned counterexample is in a sense the only possible counterexample. Although this result does not expand the class of shapes known to have an edge-unfolding, its proof expands our understanding in several ways, developing tools that may help resolve the non-nested case.