Related papers: Eliminating reversals from cubical type theories
A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…
We introduce invertible subalgebras of local operator algebras on lattices. An invertible subalgebra is defined to be one such that every local operator can be locally expressed by elements of the inveritible subalgebra and those of the…
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…
We construct combinatorial analogs of 2d higher topological quantum field theories. We consider triangulations as vertices of a certain CW complex $\Xi$. In the "flip theory," cells of $\Xi_\mathrm{flip}$ correspond to polygonal…
This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs…
The tight span, or injective envelope, is an elegant and useful construction that takes a metric space and returns the smallest hyperconvex space into which it can be embedded. The concept has stimulated a large body of theory and has…
The gravitational path integral suggests a striking result: the Hilbert space of closed universes in each superselection sector, a so-called $\alpha$-sector, is one-dimensional. We develop an abstract formalism encapsulating recent…
This paper presents an alternative quantum theory, the Theory of Discrete Extension, which avoids many of the conceptual problems of standard quantum mechanics. It is a deterministic, dynamic collapse theory with a well-defined primitive…
In the paper the notion of truncating twisting function from a cubical set to a permutahedral set and the corresponding notion of twisted Cartesian product of these sets are introduced. The latter becomes a permutocubical set that models in…
The doubled formulation of string theory, which is T-duality covariant and enlarges spacetime with extra coordinates conjugate to winding number, is reformulated and its geometric and topological features examined. It is used to formulate…
The purpose of this paper is twofold. First, we review applications of the bar duality of operads to the construction of explicit cofibrant replacements in categories of algebras over an operad. In view toward applications, we check that…
Microscopic symmetries impose strong constraints on the elasticity of a crystalline solid. In addition to the usual spatial symmetries captured by the tensorial character of the elastic tensor, hidden non-spatial symmetries can occur…
Symmetry under time-reversal appears in the microscopic description of many physical systems. In a quantum mechanical setting it acts as an anti-unitary operator, so does not fall under general analyses based on unitary symmetries. In…
Quantized responses are important tools for understanding and characterizing the universal features of topological phases of matter. In this work, we consider a class of topological crystalline insulators in $3$D with $C_n$ lattice rotation…
A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…
A differential algebra with weight is an abstraction of both the derivation (weight zero) and the forward and backward difference operators (weight $\pm 1$). In 2010 Loday established the Koszul duality for the operad of differential…
We present a generalization of bilateral weighted shift operators for the noncommutative multivariable setting. We discover a notion of periodicity for these shifts, which has an appealing diagramatic interpretation in terms of an infinite…
In earlier work, we constructed invariants of irreducible representations of the Kauffman skein algebra of a surface. We introduce here an inverse construction, which to a set of possible invariants associates an irreducible representation…
Inversive meadows are commutative rings with a multiplicative identity element and a total multiplicative inverse operation whose value at 0 is 0. Divisive meadows are inversive meadows with the multiplicative inverse operation replaced by…
Reverse annealing is a variant of quantum annealing that starts from a given classical configuration of spins (qubits). In contrast to the conventional formulation, where one starts from a uniform superposition of all possible states…