Related papers: A Note on the Uniform Kan Condition in Nominal Cub…
We argue that the choice of boundary condition for the wave function in quantum cosmology depends on the UV completion of general relativity. We provide an explicit example using a braneworld scenario in which a de Sitter cosmology is…
This work arose from efforts to generalise the usual cubical boundary by using different 'weights' for opposite faces, but still to obtain a chain complex, and this method was found to generalise. We describe a variant of the classical…
Nominal terms extend first-order terms with binding. They lack some properties of first- and higher-order terms: Terms must be reasoned about in a context of 'freshness assumptions'; it is not always possible to 'choose a fresh variable…
A new approach towards the composite structure of quarks and leptons in the context of the higher dimensional unified theories is proposed. Owing to the certain strong dynamics, much like an ordinary QCD, every possible vectorlike…
We provide a necessary and sufficient condition for existence of Gaussian cubature formulas. It consists of checking whether some overdetermined linear system has a solution and so complements Mysovskikh's theorem which requires computing…
We contribute XTT, a cubical reconstruction of Observational Type Theory which extends Martin-L\"of's intensional type theory with a dependent equality type that enjoys function extensionality and a judgmental version of the unicity of…
We propose a new cubical type theory, termed (self-deprecatingly) the naive cubical type theory, and study its semantics using the universe category framework, which is similar to Uemura's categories with representable morphisms. In…
The open question of what prevents a metric space with bounded geometry from being uniformly embeddable in Hilbert space is answered here for box spaces of residually finite groups. We prove that a box space does not contain a uniformly…
We say that X x Y satisfies the Uniquely Universal property (UU) iff there exists a set U open in X x Y such that for every open set W in Y there is a unique cross section U_x of U with U_x=W. Michael Hrusak raised the question of when does…
A classical open problem in combinatorial geometry is to obtain tight asymptotic bounds on the maximum number of k-level vertices in an arrangement of n hyperplanes in d dimensions (vertices with exactly k of the hyperplanes passing below…
Illumination complexes are examples of 'flat polyhedral complexes' which arise if several copies of a convex polyhedron (convex body) Q are glued together along some of their common faces (closed convex subsets of their boundaries). A…
We show that a new GUT scenario we proposed indicates that heterotic M-theory is one of the most interesting possibility to describe our world because of the two features in the scenario. The first feature is that E_6 unified group plays an…
We investigate the relation between Cartan decompositions of the unitary group and discrete quantum symmetries. To every Cartan decomposition there corresponds a quantum symmetry which is the identity when applied twice. As an application,…
We introduce combinatorial types of arrangements of convex bodies, extending order types of point sets to arrangements of convex bodies, and study their realization spaces. Our main results witness a trade-off between the combinatorial…
We introduce a new type of $n$-dimensional generalization of symmetric $(v,k,\lambda)$ block designs. We prove upper bounds on the dimension $n$ in terms of $v$ and $k$. We also define the corresponding concept of $n$-dimensional difference…
We consider the unextendible product bases (UPBs) of fixed cardinality $m$ in quantum systems of $n$ qubits. These UPBs are divided into finitely many equivalence classes with respect to an equivalence relation introduced by N. Johnston.…
We derive by lattice theory a universal quantum certainty relation for arbitrary $M$ observables in $N$-dimensional system, which provides a state-independent maximum lower bound on the direct-sum of the probability vectors in terms of…
As time passes, once simple quantum states tend to become more complex. For strongly coupled k-local Hamiltonians, this growth of computational complexity has been conjectured to follow a distinctive and universal pattern. In this paper we…
In realistic four-dimensional string constructions the presence of anomalous U(1)'s is generic. In addition, the associated Fayet-Iliopoulos contribution to the D-term can break the extra gauge symmetries. As a consequence, physical…
In the framework of a recently proposed topological approach to phase transitions, some sufficient conditions ensuring the presence of the spontaneous breaking of a Z_2 symmetry and of a symmetry-breaking phase transition are introduced and…