Related papers: A Note on the Uniform Kan Condition in Nominal Cub…

The uniform quadratic optimizatin problem (UQ) is a nonconvex quadratic constrained quadratic programming (QCQP) sharing the same Hessian matrix. Based on the second-order cone programming (SOCP) relaxation, we establish a new sufficient…

We motivate the study of metric spaces with a unique convex geodesic bicombing, which we call CUB spaces. These encompass many classical notions of nonpositive curvature, such as CAT(0) spaces and Busemann-convex spaces. Groups having a…

It is well known that the similar universal behavior of infinite-size (bulk) systems of different nature requires the same basic conditions: space dimensionality; number components of order parameter; the type (short- or long-range) of the…

We explore higher-dimensional conformal field theories (CFTs) in the presence of a conformal defect that itself hosts another sub-dimensional defect. We refer to this new kind of conformal defect as the composite defect. We elaborate on the…

We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions to normal forms, and employ them to construct cubical…

This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…

While non-contextual hidden-variable theories are proved to be impossible, contextual ones are possible. In a contextual hidden-variable theory, an observable is called a beable if the hidden-variable assigns its value in a given…

We analyse the logical complexity and absoluteness of natural statements about Ulam sequences, with particular emphasis on the rigidity phenomena introduced by Hinman, Kuca, Schlesinger and Sheydvasser for the family $U(1,n)$. For each pair…

We study the geometry of dynamically defined Cantor sets in arbitrary dimensions, introducing a criterion for $\mathcal{C}^{1+\alpha}$ stable intersections of such Cantor sets, under a mild bunching condition. This condition is naturally…

We provide a new construction for a set of boxes approximating axis-parallel boxes of fixed volume in $[0, 1]^d$. This improves upper bounds for the minimal dispersion of a point set in the unit cube and its inverse in both the periodic and…

The uniform Kruskal theorem extends the original result for trees to general recursive data types. As shown by A. Freund, M. Rathjen and A. Weiermann, it is equivalent to $\Pi^1_1$-comprehension, over $\mathsf{RCA_0}$ with the chain…

I introduce a new notion, that extends the mutually unbiased bases (MUB) conditons to more than two bases. These, I call the nUB conditions, and the corresponding bases $n$-fold unbiased. They naturally appear while optimizing generic…

Triangulations and higher triangulations axiomatize the calculus of derived cokernels when applied to strings of composable morphisms. While there are no cubical versions of (higher) triangulations, in this paper we use coherent diagrams to…

We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces,…

This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…

A particular initial state for the construction of a perturbative QCD expansion is investigated. It is formed as a coherent superposition of zero momentum gluon pairs and shows Lorentz as well as global $SU(3)$ symmetries. The general form…

Let $C$ be a closed convex cone in ${\mathbb R}^n$, pointed and with interior points. We consider sets of the form $A=C\setminus A^\bullet$, where $A^\bullet\subset C$ is a closed convex set. If $A$ has finite volume (Lebesgue measure),…

An expansion set is a set $\mathcal{B}$ such that each $b \in \mathcal{B}$ is equipped with a set of expansions $\mathcal{E}(b)$. The theory of expansion sets offers a systematic approach to the construction of classifying spaces for…

Convex geometries form a subclass of closure systems with unique criticals, or $UC$-systems. We show that the $F$-basis introduced in [1] for $UC$-systems, becomes optimum in convex geometries, in two essential parts of the basis: right…

We prove continuity results for new stability thresholds related to uniform K-stability and deduce that uniform K-stability is an open condition in the K\"ahler cone of any compact K\"ahler manifold, thus establishing an algebro-geometric…