Related papers: Eliminating reversals from cubical type theories

We introduce the notion of time reversal in open quantum systems as represented by linear quantum operations, and a related generalization of classical entropy production in the environment. This functional is the ratio of the probability…

With the help of the Penrose-Ward transform, which relates certain holomorphic vector bundles over the supertwistor space to the equations of motion of self-dual SYM theory in four dimensions, we construct hidden infinite-dimensional…

Given two two-dimensional conformal field theories, a domain wall -- or defect line -- between them is called invertible if there is another defect with which it fuses to the identity defect. A defect is called topological if it is…

We consider the problem of resumming the perturbative expansions for anomalous dimensions of low twist, non-BPS operators in four dimensional N=4 supersymmetric Yang-Mills theories. The requirement of S-duality invariance imposes…

Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems.…

We claim that the cube category whose morphisms are the interval-preserving monotone functions between finite Boolean lattices is a convenient general-purpose site for cubical sets. This category is the largest possible concrete…

Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…

For every simplicial complex X, we construct a locally CAT(0) cubical complex T_X, a cellular isometric involution i on T_X and a map t_X from T_X to X with the following properties: t_Xi = t_X; t_X is a homology isomorphism; the induced…

There exist cubical transition systems containing cubes having an arbitrarily large number of faces. A regular transition system is a cubical transition system such that each cube has the good number of faces. The categorical and…

We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both…

The N-extended Supersymmetric Quantum Mechanics is deformed via an abelian twist which preserves the super-Hopf algebra structure of its Universal Enveloping Superalgebra. Two constructions are possible. For even N one can identify the 1D…

We develop a homotopical variant of the classic notion of an algebraic theory as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral…

In this paper we present two different problems within the framework of shift-invariant theory. First, we develop a triangular form for shift-preserving operators acting on finitely generated shift-invariant spaces. In case of the normal…

We propose an enhancement to inductive types and records in a dependent type theory, namely (co)conditions. With a primitive interval type, conditions generalize the cubical syntax of higher inductive types in homotopy type theory, while…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

Gapless surface states of time reversal invariant topological insulators are protected by the anti-unitary nature of the time reversal operation. Very recently, this idea was generalized to magnetic structures, in which time reversal…

The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of…

This work establishes a systematic framework for operator construction in the non-relativistic effective field theory, incorporating both the three dimensional Euclidean symmetry and the internal symmetries. By employing double cover of the…

The theory of general relativity predicts the existence of closed time-like curves (CTCs), which theoretically would allow an observer to travel back in time and interact with their past self. This raises the question of whether this could…

The wave equation is time-reversal invariant. The enclosure method using a Neumann data generated by this invariance is introduced. The method yields the minimum ball that is centered at a given arbitrary point and encloses an unknown…