Utilizing the kinematical boost in light-front formalism one can address the issue of relativistic spin operators in an arbitrary reference frame. In the gauge A+ = 0, the interaction dependent transverse spin operators can be separated into three parts. In analogy with the helicity sum rule, we propose a transverse spin sum rule. We perform a one loop renormalization of the transverse spin ope...

We show how in the propositional case both Reiter’s and Scherl & Levesque’s solutions to the frame problem can be modelled in dynamic epistemic logic (DEL), and provide an optimal regression algorithm for the latter. Our method is as follows: we extend Reiter’s framework by integrating observation actions and modal operators of knowledge, and encode the resulting formalism in DEL with announcem...

We show how in the propositional case both Reiter’s and Scherl & Levesque’s solutions to the frame problem can be modelled in dynamic epistemic logic (DEL), and provide an optimal regression algorithm for the latter. Our method is as follows: we extend Reiter’s framework by integrating observation actions and modal operators of knowledge, and encode the resulting formalism in DEL with announcem...

Abstract G-frames are generalized frames which include ordinary frames, bounded invertible linear operators, as well as many recent generalizations of frames, e.g., bounded quasi-projectors and frames of subspaces. G-frames are natural generalizations of frames and provide more choices on analyzing functions from frame expansion coefficients. We give characterizations of g-frames and prove that...

In front-form dynamics the current operator can be constructed from auxiliary operators, defined in a Breit frame where initial and final three-momenta of the system are directed along the z axis. Poincaré covariance constraints reduce for auxiliary operators to the ones imposed only by kinematical rotations around the z axis. Elastic and transition form factors can be extracted without any amb...

We give a characterization of the simple, and of the subdirectly irreducible boolean algebras with operators (including modal algebras), in terms of the dual descriptive frame. These characterizations involve a special binary quasi-reachability relation on the dual structure; we call a point u a quasi-root of the dual structure if every ultrafilter is quasireachable from u. We prove that a bool...

In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a general method based on contraction of formulas in a version of propositional dynamic logic with an incorporated solution to the frame problem. We present the semantics of our theory change and define syntactical operators for contr...

Evolutionary algorithms EAs are stochas tic population based algorithms inspired by the natural processes of recombination mu tation and selection EAs are often em ployed as optimum seeking techniques A for mal framework for EAs is proposed in which evolutionary operators are viewed as map pings from parameter spaces to spaces of ran dom functions Formal de nitions within this framework capture...

We show that Hilbert–Schmidt operators can be used to define frame-like structures for $L^2(\mathbb{R}^d )$ over lattices in $\mathbb{R}^{2d} $ include multi-window Gabor frames as a special case. These are called g-frames

The simplest, most self-consistent path to unifying general relativity and quantum mechanics is rein-terpreting classical mechanics' single-frame xyzt operators as emergent behaviors that lose resolution at the lower end, giving mechanics, transition smoothly into curved space high end.