Related papers: $A_\infty$ perspective to Sen's formalism
The algebra of the relativistic composition of velocities is shown to be isomorphic to an algebraic loop defined on division algebras. This makes calculations in special relativity effortless and straightforward, unlike the standard…
As the first step in an approach to the solution of Hilbert's sixth problem, a general scheme of mechanics, called `supmech', is developed integrating noncommutative symplectic geometry and noncommutative probability theory in an algebraic…
We review the Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation and discuss gauge freedom and display constraints for gauge theories in a general context. We introduce the Dirac bracket and show that it…
The usual mathematical formalism of quantum field theory is non-rigorous because it contains divergences that can only be renormalized by non-rigorous mathematical methods. The purpose of this paper is to present a method of subtraction of…
Isomorphisms of separable Hilbert spaces are analogous to isomorphisms of n-dimensional vector spaces. However, while n-dimensional spaces in applications are always realized as the Euclidean space R^n, Hilbert spaces admit various useful…
We provide a superselection theory of symmetry defects in 2+1D symmetry enriched topological (SET) order in the infinite volume setting. For a finite symmetry group $G$ with a unitary on-site action, our formalism produces a $G$-crossed…
Recently, we proposed a non-local relativistic formulation of MOND (Modified Newtonian Dynamics). The equations of motion were not derived, rather they were inferred from the result one would obtain by using the Schwinger-Keldysh formalism.…
Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher version of the Zariski topos. In this article we make no essential use of the higher structure and use…
A symmetry of a dynamical system is a map that transforms one trajectory to another trajectory. We introduce a new type of abstraction for hybrid automata based on symmetries. The abstraction combines different modes in a concrete automaton…
The scalar field is quantized in the discretized light-front framework following the {\em standard} Dirac procedure and its infinite volume limit taken. The background field and the nonzero mode variables do not commute for finite volume;…
I introduce a formalism for representing the syntax of recursively structured graph-like patterns. It does not use production rules, like a conventional graph grammar, but represents the syntactic structure in a more direct and declarative…
We present a new approach to constrained classical fields that enables the action formalism to dictate how external sources must enter the resulting equations of motion. If symmetries asserted upon the varied fields can be modeled as…
The semiring of discrete dynamical systems is a simple algebraic model for modularity in deterministic systems. The objects of the semiring are finite transformations (viewed as directed graphs and regarded up to isomorphism), the sum of…
We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…
We propose an action for the extended sigma - models in the most general setting of the kinetic term allowed in the nontrivially deformed field - antifield formalism. We show that the classical motion equations do naturally take their…
The well-known geometric approach to field theory is based on description of classical fields as sections of fibred manifolds, e.g. bundles with a structure group in gauge theory. In this approach, Lagrangian and Hamiltonian formalisms…
The expansion of a classical Hamilton formalism consisting in adaptation of it to describe the nonequilibrium systems is offered. Expansion is obtained by construction of formalism on the basis of the dynamics equation of the equilibrium…
Using the fact that the nonintegrable phase factor can reformulate the gauge theory in terms of path dependent vector potentials, the quantization condition for the nonintegrable phase is investigated. It is shown that the path-dependent…
We give a brief summary of the formalism of invariants in general scalar-tensor and multiscalar-tensor gravities without derivative couplings. By rescaling of the metric and reparametrization of the scalar fields, the theory can be…
We prove a "purity implies formality" statement in the context of the rational homotopy theory of smooth complex algebraic varieties, and apply it to complements of hypersurface arrangements. In particular, we prove that the complement of a…