arXiv research

Paper proves Gromov's cube inequality in all dimensions.

A toric cube is a subset of the standard cube defined by binomial inequalities. These basic semialgebraic sets are precisely the images of standard cubes under monomial maps. We study toric cubes from the perspective of topological combinatorics. Explicit decompositions as CW-complexes are constructed. Their open cells…

The paper confirms isoperimetric conjectures on cubes and Gaussian slabs.

Proves a quantitative index theorem for positive scalar curvature metrics.

Proves homological inequality for cycles in Hadamard spaces of asymptotic rank 2.

The abstract applies waist inequality to dynamical systems and entropy.

Estimating divergences in a consistent way is of great importance in many machine learning tasks. Although this is a fundamental problem in nonparametric statistics, to the best of our knowledge there has been no finite sample exponential inequality convergence bound derived for any divergence estimators. The main cont…

New invariant measures knot geometry, improving volume-volume inequality.

Simplified and extended a method for rearranging infinite configurations of cubes.

Generalizes Leighton's theorem to cube complexes.

In this paper we introduce a representation of knots and links called a cube diagram. We show that a property of a cube diagram is a link invariant if and only if the property is invariant under two types of cube diagram operations. A knot homology is constructed from cube diagrams and shown to be equivalent to knot Fl…

A well-known conjecture of Rasmussen states that for any knot $K$ in $S^{3}$, the rank of the reduced Khovanov homology of $K$ is greater than or equal to the rank of the reduced knot Floer homology of $K$. This rank inequality is supposed to arise as the result of a spectral sequence from Khovanov homology to knot Flo…

Given a triangulation of a closed topological cube, we show that (under some technical condition) there is an essentially unique tiling of a rectangular parallelepiped by cubes, indexed by the vertices of the triangulation. Moreover, i - the combinatorics is preserved, and ii- the boundary is preserved: vertices corres…

New geometric spine for Artin groups defined by cube complexes.

For a knot K the cube number is a knot invariant defined to be the smallest n for which there is a cube diagram of size n for K. We will show that the cube number detects chirality in all cases computed thus far, and distinguishes certain legendrian knots.

Study mapping class groups on CAT(0) cube complexes.

We give a characterization of alternating link exteriors in terms of cubed complexes. To this end, we introduce the concept of a "signed BW cubed-complex", and give a characterization for a signed BW cubed-complex to have the underlying space which is homeomorphic to an alternating link exterior.

We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the fundamental group of a special cube complex is either free abelian or surjects onto a non…

For a knot $K$ the cube number is a knot invariant defined to be the smallest $n$ for which there is a cube diagram of size $n$ for $K$. There is also a Legendrian version of this invariant called the \emph{Legendrian cube number}. We will show that the Legendrian cube number distinguishes the Legendrian left hand toru…

Finite stature proven for cube complexes with cyclonormal edges.

Cube edges curves minimize systole length.

We demonstrate the homogeneity of the Hilbert Cube. In particular, we construct explicit self-homeomorphisms of the Hilbert cube so that given any two points, a homeomorphism moving one to the other may be realized.

Beside simplices, $n$-cubes form an important class of simple polyhedra. Unlike hyperbolic Coxeter simplices, hyperbolic Coxeter $n$-cubes are not classified. We show that there is no hyperbolic Coxeter $n$-cube for $n\geq~6$, and provide a full classification for $n\leq 5$. Our methods, which are essentially of combin…

In this short note we highlight some of the differences between cube diagrams and grid diagrams. We also list examples of small cube diagrams for all knots up to 7 crossings and give some examples of links.

Lean 4 formalizes Stokes' theorem for smooth singular cubes.

Groups on CAT(0) cube complexes grow exponentially uniformly.

Our main result is that for densities $<\frac{3}{10}$ a random group in the square model has the Haagerup property and is residually finite. Moreover, we generalize the Isoperimetric Inequality, to some class of non-planar diagrams and, using this, we introduce a system of modified hypergraphs providing the structure o…

CUBE explains models by balanced experiments and contrasts.

We prove that smooth cube manifolds have normal smooth structures.

We show that groups satisfying Kazhdan's property (T) have no unbounded actions on finite dimensional CAT(0) cube complexes, and deduce that there is a locally CAT(-1) Riemannian manifold which is not homotopy equivalent to any finite dimensional, locally CAT(0) cube complex.

Extends spectral torus band inequalities for compact manifolds with scalar curvature bounds.

Non-uniform lattices in PU(n,1) cannot geometrically act on CAT(0) cube complexes.

New group acts on complex but not in lower dimensions.

We count orientable small covers over cubes. We also get estimates for $O_n/R_n$, where $O_n$ is the number of orientable small covers and $R_n$ is the number of all small covers over an $n$-cube up to the Davis-Januszkiewicz equivalence.

Extends folding techniques to study subgroups of CAT(0) cube complexes.

We introduce the notion of Bonnet-Myers and Lichnerowicz sharpness in the Ollivier Ricci curvature sense. Our main result is a classification of all self-centered Bonnet-Myers sharp graphs (hypercubes, cocktail party graphs, even-dimensional demi-cubes, Johnson graphs $J(2n,n)$, the Gosset graph and suitable Cartesian …

The study finds conditions for groups acting on CAT(0) cube complexes to have infinite girth.

We introduce a class of spaces, called real cubings, and study the stucture of groups acting nicely on these spaces. Just as cubings are a natural generalisation of simplicial trees, real cubings can be regarded as a natural generalisation of real trees. Our main result states that a finitely generated group $G$ acts n…

We combine ideas of Scott and Swarup on good position for almost invariant subsets of a group with ideas of Sageev on constructing cubings from such sets. We construct cubings which are more canonical than in Sageev's original construction. We also show that almost invariant sets can be chosen to be in very good positi…

The paper extends ternary algebra concepts using cube roots of unity.

Develops theory of relatively geometric actions on CAT(0) cube complexes.

We compute the Minimal Entropy of every closed, orientable $3$-manifold, showing that its cube equals the sum of the cubes of the minimal entropies of each hyperbolic component arising from the $JSJ$ decomposition of each prime summand. As a consequence we show that the cube of the Minimal Entropy is additive with resp…

In the present paper we find a bijection between the set of small covers over an $n$-cube and the set of acyclic digraphs with $n$ labeled nodes. Using this, we give a formula of the number of small covers over an $n$-cube (generally, a product of simplices) up to Davis-Januszkiewicz equivalence classes and $\mathbf{Z}…

We give a generalized and self-contained account of Haglund-Paulin's wallspaces and Sageev's construction of the CAT(0) cube complex dual to a wallspace. We examine criteria on a wallspace leading to finiteness properties of its dual cube complex. Our discussion is aimed at readers wishing to apply these methods to pro…

We study and classify topologically invariant $σ$-ideals with a Borel base on the Hilbert cube and evaluate their cardinal characteristics. One of the results of this paper solves (positively) a known problem whether the minimal cardinalities of the families of Cantor sets covering the unit interval and the Hilbert cub…

Study shows Roller compactification's median graph has limited asymptotic dimension.

The paper defines grid homologies for singular links in lens spaces and constructs a resolution cube for knot Floer homology.

We introduce a $\mathbb{Z}$-valued cross ratio on Roller boundaries of ${\rm CAT(0)}$ cube complexes. We motivate its relevance by showing that every cross-ratio preserving bijection of Roller boundaries uniquely extends to a cubical isomorphism. Our results are strikingly general and even apply to infinite dimensional…