Related papers: Is the Cetaev condition inferable?
The Lambek calculus provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be discontinuous. In this paper we introduce the displacement…
We study a class of theories in which space-time is treated classically, while interacting with quantum fields. These circumvent various no-go theorems and the pathologies of semi-classical gravity, by being linear in the density matrix and…
We derive the relativistic Vlasov equation from quantum Hartree dynamics for fermions with relativistic dispersion in the mean-field scaling, which is naturally linked with an effective semiclassic limit. Similar results in the…
In the framework of the generalized Hamiltonian formalism by Dirac, the local symmetries of dynamical systems with first- and second-class constraints are investigated. For theories with an algebra of constraints of special form (to which a…
In spatially extended systems, it is common to find latent variables that are hard, or even impossible, to measure with acceptable precision, but are crucially important for the proper description of the dynamics. This substantially…
In a series of previous articles by the author, it was shown that one could effectively give a variational formulation to non-conservative mechanical systems, as well as ones that subject to non-holonomic constraints by starting with the…
Systems subjected to holonomic constraints follow quite complicated dynamics that could not be described easily with Hamiltonian or Lagrangian dynamics. The influence of holonomic constraints in equations of motions is taken into account by…
Hidden variable graphical models can sometimes imply constraints on the observable distribution that are more complex than simple conditional independence relations. These observable constraints can falsify assumptions of the model that…
We consider small nonlinear perturbations of linear systems on a time scale with the phase space being finite or infinite-dimensional. For $\Delta$-differential operators, corresponding to linear dynamic systems we consider their…
Virtual constraints are invariant relations imposed on a control system via feedback as opposed to real physical constraints acting on the system. Nonholonomic systems are mechanical systems with non-integrable constraints on the…
The Holant theorem is a powerful tool for studying the computational complexity of counting problems in the Holant framework. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very…
We express the vacuum Einstein constraints in terms of differential forms - the forms include one-forms constituting an orthonormal coframe of the spatial metric. We show that if the metric is real-analytic, then the constraints can be…
We present CLTLB(D), an extension of PLTLB (PLTL with both past and future operators) augmented with atomic formulae built over a constraint system D. Even for decidable constraint systems, satisfiability and Model Checking problem of such…
The gauge symmetries of a general dynamical system can be systematically obtained following either a Hamiltonean or a Lagrangean approach. In the former case, these symmetries are generated, according to Dirac's conjecture, by the first…
We develop the optimal transportation approach to modified log-Sobolev inequalities and to isoperimetric inequalities. Various sufficient conditions for such inequalities are given. Some of them are new even in the classical log-Sobolev…
This paper makes 3 contributions. First, it generalizes the Lindeberg\textendash Feller and Lyapunov Central Limit Theorems to Hilbert Spaces by way of $L^2$. Second, it generalizes these results to spaces in which sample failure and…
A recent large deflection cantilever model is considered. The principal nonlinear effects come through the beam's inextensibility---local arc length preservation---rather than traditional extensible effects attributed to fully restricted…
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…
This work is concerned with ($N$-component) hyperbolic system of balance laws in arbitrary space dimensions. Under entropy dissipative assumption and the Shizuta-Kawashima algebraic condition, a general theory on the well-posedness of…
In spite of its long history and classical character which goes back even to d'Alembert and Lagrange, the problems of constraints in mechanics of continua is still mysterious and full of misunderstandings. Let us mention the problem of…