Related papers: Eliminating reversals from cubical type theories
The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of the fact that differentiable maps with…
Motivated by recent developments in the theory of gravitation, we revisit the idea of topological variations, originally introduced by Wheeler and Hawking, from a rigorous perspective. Starting from a localized version of the…
Unitarity is a cornerstone of quantum theory, ensuring the conservation of probability and information. Although non-Hermitian Hamiltonians are typically associated with open or dissipative systems, pseudo-Hermitian quantum mechanics shows…
Current theories of massless free particle assume {\sl unitary} space inversion and {\sl anti-unitary} time reversal operators. In so doing robust classes of possible theories are discarded. In the present work theories of massless systems…
The strict globular $\omega$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $\omega$-category $\C$ three homology theories. The first one is called the…
Driven-dissipative quantum systems generically do not satisfy simple notions of detailed balance based on the time symmetry of correlation functions. We show that such systems can nonetheless exhibit a hidden time-reversal symmetry which…
Cuscuton field theory is an extension of general relativity that does not introduce additional propagating degrees of freedom, or violate relativistic causality. We construct a general geometric description of the cuscuton field theory by…
We begin by recalling the essentially global character of universes in various models of homotopy type theory, which prevents a straightforward axiomatization of their properties using the internal language of the presheaf toposes from…
We give a construction of cyclic cocycles on convolution algebras twisted by gerbes over discrete translation groupoids. For proper \'etale groupoids, Tu and Xu provide a map between the periodic cyclic cohomology of a gerbe-twisted…
A general construction is given for a class of invertible maps between the classical $U(sl(2))$ and the Jordanian $U_{h}(sl(2))$ algebras. Different maps are directly useful in different contexts. Similarity trasformations connecting them,…
We show that variants of the classical reflection functors from quiver representation theory exist in any abstract stable homotopy theory, making them available for example over arbitrary ground rings, for quasi-coherent modules on schemes,…
Fix 1<R. The dilation theory for the quantum annulus, consisting of those invertible Hilbert space operators T such that the norm of T and its inverse are both at most R is determined. The proof technique involves a geometric approach to…
Differential calculus on discrete sets is developed in the spirit of noncommutative geometry. Any differential algebra on a discrete set can be regarded as a `reduction' of the `universal differential algebra' and this allows a systematic…
A new version of the modified theory of gravity is formulated in which two physical metrics are constructed out of two vierbeins connected with each other by the duality condition including the flat metric of the prior geometry. The duality…
Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are…
The discovery of topological insulators has reformed modern materials science, promising to be a platform for tabletop relativistic physics, electronic transport without scattering, and stable quantum computation. Topological invariants are…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…
Time reversal symmetry is studied in a space with noncommutativity of coordinates and noncommutativity of momenta of canonical type. The circular motion is examined as an apparent example of time reversal symmetry breaking in the space. On…
The natural duality between "topological" and "regular," both considered as convergence space properties, extends naturally to p-regular convergence spaces, resulting in the new concept of a p-topological convergence space. Taking advantage…
The recently proposed differential homotopy approach to the analysis of nonlinear higher spin theory is developed. The Ansatz is extended to the form applicable in the second order of the perturbation theory and general star-multiplication…