Related papers: Generalized Reduction Procedure: Symplectic and Po…
In the usual procedure for toroidal Kaluza-Klein reduction, all the higher-dimensional fields are taken to be independent of the coordinates on the internal space. It has recently been observed that a generalisation of this procedure is…
We develop an affine scheme-theoretic version of Hamiltonian reduction by symplectic groupoids. It works over $\Bbbk=\mathbb{R}$ or $\Bbbk=\mathbb{C}$, and is formulated for an affine symplectic groupoid $\mathcal{G}\rightrightarrows X$, an…
In this work, we consider the inverse problem of reconstructing the internal structure of an object from limited x-ray projections. We use a Gaussian process prior to model the target function and estimate its (hyper)parameters from…
Definition of generalized normal form for a system of ODEs corresponding to an infinitesimal symplectic or contact transformation near a singular point, with an arbitrary polynomial unperturbed part, and a method of its finding are…
The last two decades have seen major developments in interpolatory methods for model reduction of large-scale linear dynamical systems. Advances of note include the ability to produce (locally) optimal reduced models at modest cost; refined…
The formulation of Geometric Quantization contains several axioms and assumptions. We show that for real polarizations we can generalize the standard geometric quantization procedure by introducing an arbitrary connection on the…
Optimization problems with composite functions consist of an objective function which is the sum of a smooth and a (convex) nonsmooth term. This particular structure is exploited by the class of proximal gradient methods and some of their…
We present a universal approach to the investigation of the dynamics in generalized models. In these models the processes that are taken into account are not restricted to specific functional forms. Therefore a single generalized models can…
The relationship according to which one physical theory encompasses the domain of empirical validity of another is widely known as "reduction." Here it is argued that one popular methodology for showing that one theory reduces to another,…
We construct a generalized dynamics for particles moving in a symmetric space-time, i.e. a space-time admitting one or more Killing vectors. The generalization implies that the effective mass of particles becomes dynamical. We apply this…
We give a systematic, abstract formulation of the image normalization method as applied to a general group of image transformations, and then illustrate the abstract analysis by applying it to the hierarchy of viewing transformations of a…
We construct a new model for relativistic particle on the noncommutative surface in $(2+1)$ dimensions, using the symplectic formalism of constrained systems and embedding the model on an extended phase space. We suggest a short cut to…
This work contains a brief and elementary exposition of the foundations of Poisson and symplectic geometries, with an emphasis on applications for Hamiltonian systems with second-class constraints. In particular, we clarify the geometric…
We propose a generic termination proof method for rewriting under strategies, based on an explicit induction on the termination property. Rewriting trees on ground terms are modeled by proof trees, generated by alternatively applying…
One of the very few mathematically rigorous nonlinear model reduction methods is the restriction of a dynamical system to a low-dimensional, sufficiently smooth, attracting invariant manifold. Such manifolds are usually found using local…
Spatial Poisson point processes on finite-dimensional Euclidean space provide fundamental mathematical tools for modeling random spatial point patterns. In this paper, we introduce and analyze several Poisson-type spatial point processes.…
We formulate and discuss a reduction theorem for Poisson pencils associated with a class of integrable systems, defined on bi-Hamiltonian manifolds, recently studied by Gel'fand and Zakharevich. The reduction procedure is suggested by the…
We study gauge theories on spacetime manifolds with a codimension-$1$ submanifold with boundary. We characterise the reduced phase space of the theory whenever it is described by a local momentum map for the action of the gauge group…
The globalization problem arises when local tensor fields possess a given property (such as being symplectic or Poisson) but cannot be consistently extended to a global object due to incompatibilities on chart overlaps. A notable instance…
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies…