Related papers: $A_\infty$ perspective to Sen's formalism
We propose a suitable formulation of the Hamiltonian formalism for Field Theory in terms of Hamiltonian connections and multisymplectic forms where a composite fibered bundle, involving a line bundle, plays the role of an extended…
If the generalized dynamics of K field theories (i.e., field theories with a non-standard kinetic term) is taken into account, then the possibility of so-called twin-like models opens up, that is, of different field theories which share the…
In this paper we consider a generalized classical mechanics with fractional derivatives. The generalization is based on the time-clock randomization of momenta and coordinates taken from the conventional phase space. The fractional…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
The harmonic formulation of Einstein's field equations is considered, where the gauge conditions are introduced as dynamical constraints. The difference between the fully constrained approach (used in analytical approximations) and the free…
We provide a mechanism of gauging a theory based on a particular way to embed a theory on a target space such that a nontrivial fibration is produced. A connection over a nontrivial fibration with monodromy provides a natural framework for…
We define a class of $A_\infty$-algebras that are obtained by deformations of higher spin symmetries. While higher spin symmetries of a free CFT form an associative algebra, the slightly broken higher spin symmetries give rise to a minimal…
In this work we develop geometric Sen theory for rigid analytic spaces, generalizing the previous work of Pan for curves. We also extend the axiomatic Sen-Tate formalism of Berger-Colmez to a certain class of locally analytic…
Our purpose is to make a contribution to the foundation of the theory of formal scheme. We are interested particularly in non-Noetherian or non-adic formal schemes, which have been little studied. We redefine the formal scheme as a…
We prove a theorem that generalizes Schmidt's Subspace Theorem in the context of metric diophantine approximation. To do so we reformulate the Subspace theorem in the framework of homogeneous dynamics by introducing and studying a slope…
Recently discovered domain-specific formal systems -- specifically homotopy type theory and simplicial type theory -- provide new perspectives on spaces and categories in a natively equivalence-invariant setting. In this note, we expose…
The classical Lagrange formalism is generalized to the case of arbitrary stationary (but not necessarily conservative) dynamical systems. It is shown that the equations of motion for such systems can be derived in the standard ways from the…
In this paper we develop a general formalism of a path approach for non-equilibrium statistical mechanics. Firstly, we consider the classical Gibbs approach for states and find that this formalism is ineffective for non-equilibrium…
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can express "simple" decision problems, while others are designed…
We propose a reformulation of gravitation in which the gravitational interaction is treated as a genuine force rather than an inertial effect arising from spacetime geometry. Within this framework, the difference between the affine…
The problem of determining the mathematical model of the dynamics of multi-dimensional control systems in the presence of noise under the condition that the correlation functions cannot be found. Known statistical dynamics of linear systems…
Recently a perturbative theory has been constructed, starting from the Feynman rules of the nonlinear sigma model at the tree level in the presence of an external vector source coupled to the flat connection and of a scalar source coupled…
An operator formalism for bosonic $\beta-\gamma$ systems on arbitrary algebraic curves is introduced. The classical degrees of freedom are identified and their commutation relations are postulated. The explicit realization of the algebra…
For the symmetric space sigma model in the internal metric formalism we explicitly construct the lagrangian in terms of the axions and the dilatons of the solvable Lie algebra gauge and then we exactly derive the axion-dilaton field…
Free noncommutative fields constitute a natural and interesting example of constrained theories with higher derivatives. The quantization methods involving constraints in the higher derivative formalism can be nicely applied to these…