Related papers: Subsystems of Fock Need Not Be Fock: Spatial CP-Se…

We show that the diagonal matrix elements of the effective Hamiltonian governing the time evolution in the subspace of states of an unstable particle and its antiparticle need not be equal at $t > t_{0}$ ($t_{0}$ is the instant of creation…

In this paper, we investigate finitely generated groups of isometries of CAT(0) spaces containing some central hyperbolic isometry, and study CAT(0) groups. We show that every CAT(0) group $\Gamma$ has the semi-direct product structure…

Let $V$ be a M\"{o}bius vertex algebra and $G$ an abelian group of automorphisms of $V$. We construct $P(z)$-tensor product bifunctors for the category of $C_{n}$-cofinite grading-restricted generalized $g$-twisted $V$-modules (without…

We consider an abstract Wick ordering as a family of relations on elements a_i and define *-algebras by these relations. The relations are given by a fixed operator T:h\otimes h --> h \otimes h, where h is one-particle space, and they…

Fractional supersymmetric quantum mechanics of order $\lambda$ is realized in terms of the generators of a generalized deformed oscillator algebra and a Z$_{\lambda}$-grading structure is imposed on the Fock space of the latter. This…

We define notions of semi-saturatedness and orthogonality for a Fell bundle over a quasi-lattice ordered group. We show that a compactly aligned product system of Hilbert bimodules can be naturally extended to a semi-saturated and…

We define a collection of tensor product norms for C*-algebras and show that a symmetric tensor product functor on the category of separable C*-algebras need not be associative.

A partial semigroup is a set with restricted binary operation. In this work we will extend a result due to V. Bergelson and N. Hindman concerning the rich structure presented in the product space of semigroups to partial semigroup. An…

We investigate the representation theory of the crossed-product C*-algebra associated to a compact group G acting on a locally compact space X when the stability subgroups vary discontinuously. Our main result applies when G has a principal…

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…

This work introduces a new kind of semigroup of $\N^p$ called proportionally modular affine semigroup. These semigroups are defined by modular Diophantine inequalities and they are a generalization of proportionally modular numerical…

Inspired by the classical category theorems of Halmos and Rohlin for the discrete measure preserving transformations, we prove analogous results in the abstract setting of unitary and isometric C_0-semigroups on a separable Hilbert space.…

The group of compactly supported homeomorphisms on a Tychonoff space can be topologized in a number of ways, including as a colimit of homeomorphism groups with a given compact support, or as a subgroup of the homeomorphism group of its…

It is shown that if a space-time has non-compact Cauchy surface, then its topological, differentiable, and causal structure are completely determined by a class of compact subsets of its Cauchy surface. Since causal structure determines its…

Different families of generalized CS for one-dimensional systems with general time dependent quadratic Hamiltonian are constructed. In principle, all known CS of systems with quadratic Hamiltonian are members of these families. Some of the…

We consider the model checking problem for Gap-order Constraint Systems (GCS) w.r.t. the branching-time temporal logic CTL, and in particular its fragments EG and EF. GCS are nondeterministic infinitely branching processes described by…

Let $G$ be a finite group. A finite unordered sequence $S = g_1 \boldsymbol{\cdot} \ldots \boldsymbol{\cdot} g_{\ell}$ of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their…

Suppose $\mathcal{G}$ is a second-countable locally compact Hausdorff \'{e}tale groupoid, $G$ is a discrete group containing a unital subsemigroup $P$, and $c:\mathcal{G}\rightarrow G$ is a continuous cocycle. We derive conditions on the…

This is a major update of the previous version. The methods of the paper are now fully constructive and the style is "formalization ready" with the emphasis on the possibility of formalization both in type theory and in constructive set…

A collection of partial isometries whose range and initial projections satisfy a specified set of conditions often gives rise to a partial representation of a group. The C*-algebra generated by the partial isometries is thus a quotient of…