English
Related papers

Related papers: Back and Forth Systems Witnessing Irreversibility

200 papers

In the paper we present results to develop an irreducible theory of complex systems in terms of self-organization processes of prime integer relations. Based on the integers and controlled by arithmetic only the self-organization processes…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Victor Korotkikh , Galina Korotkikh

Let H[N] denote the tensor product of n finite dimensional Hilbert spaces H(r). A state |phi> of H[N] is separable if |phi> is the tensor product of states in the respective product spaces. An orthogonal unextendible product basis is a…

Quantum Physics · Physics 2007-05-23 Arthur O. Pittenger

We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…

Logic in Computer Science · Computer Science 2025-07-22 Toghrul Karimov , Florian Luca , Joris Nieuwveld , Joël Ouaknine , James Worrell

A language L is closed if L = L*. We consider an operation on closed languages, L-*, that is an inverse to Kleene closure. It is known that if L is closed and regular, then L-* is also regular. We show that the analogous result fails to…

Formal Languages and Automata Theory · Computer Science 2010-09-01 Narad Rampersad , Jeffrey Shallit , Ming-wei Wang

Several fluid systems are characterised by time reversal and parity breaking. Examples of such phenomena arise both in quantum and classical hydrodynamics. In these situations, the viscosity tensor, often dubbed ``odd viscosity'', becomes…

Analysis of PDEs · Mathematics 2022-11-30 Francesco Fanelli , Rafael Granero-Belinchón , Stefano Scrobogna

Every reduced ring $R$ has a natural partial order defined by $a\le b$ if $a^2=ab$; it generalizes the natural order on a boolean ring. The article examines when $R$ is a lower semi-lattice in this order with examples drawn from weakly Baer…

Rings and Algebras · Mathematics 2018-02-21 W. D. Burgess , R. Raphael

We construct a canonical irreducible representation for the orthofermion algebra of arbitrary order, and show that every representation decomposes into irreducible representations that are isomorphic to either the canonical representation…

Mathematical Physics · Physics 2008-11-26 Ali Mostafazadeh

We extend a result proved in \cite{Col} for mirror symmetries of planar systems to measure-preserving non-linear reversibilities of $n$-dimensional systems, dropping the analyticity and nondegeneracy conditions.

Dynamical Systems · Mathematics 2015-10-07 Marco Sabatini

Let $\mathscr{C}$ be an additive category with an involution $\ast$. Suppose that $\varphi : X \rightarrow X$ is a morphism with kernel $\kappa : K \rightarrow X$ in $\mathscr{C}$, then $\varphi$ is core invertible if and only if $\varphi$…

Rings and Algebras · Mathematics 2018-04-25 Tingting Li , Jianlong Chen , Mengmeng Zhou , Dingguo Wang

We show that groups presented by inverse-closed finite convergent length-reducing rewriting systems are characterised by a striking geometric property: their Cayley graphs are geodetic and side-lengths of non-degenerate triangles are…

Group Theory · Mathematics 2021-08-31 Murray Elder , Adam Piggott

Let $A \cong k\langle X \rangle / I$ be an associative algebra. A finite word over alphabet $X$ is $I${\it-reducible} if its image in $A$ is a $k$-linear combination of length-lexicographically lesser words. An {\it obstruction} in a…

Rings and Algebras · Mathematics 2022-06-16 A. J. Kanel-Belov , I. A. Melnikov , I. V. Mitrofanov

Given an upward directed set $I$ we consider surjective $I$-inverse systems $\{X_\al,f_{\al\be}:X_\be\lra X_\al| \al\leq\be\in I\}$, namely those inverse systems that have all $f_{\al\be}$ surjective. A number of properties of $I$-inverse…

Category Theory · Mathematics 2007-08-21 Radoslav Dimitric

Let X be an irreducible smooth projective curve defined over complex numbers, S= {p_1, p_2,...,p_n} \subset X$ a finite set of closed points and N > 1 a fixed integer. For any pair (r,d) in Z X Z/N, there exists a parabolic vector bundle…

Algebraic Geometry · Mathematics 2007-09-17 Indranil Biswas , Georg Hein

Let $\Gamma$ be a centerless irreducible higher rank arithmetic lattice in characteristic zero. We prove that if $\Gamma$ is either non-uniform or is uniform of orthogonal type and dimension at least 9, then $\Gamma$ is bi-interpretable…

Group Theory · Mathematics 2020-08-24 Nir Avni , Chen Meiri

This paper introduces and studies nil-reversible rings wherein we call a ring R nil-reversible if the left and right annihilators of every nilpotent element of R are equal. Reversible rings (and hence reduced rings) form a proper subclass…

Rings and Algebras · Mathematics 2021-02-24 Sanjiv Subba , Tikaram Subedi

In the late 1980s, A. Premet conjectured that the variety of nilpotent elements of any finite dimensional restricted Lie algebra over an algebraically closed field of characteristic $p>0$ is irreducible. This conjecture remains open, but it…

Rings and Algebras · Mathematics 2019-10-03 Cong Chen

We explore "semibounded" expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle R, <, +, \dots\rangle$ is a semibounded o-minimal structure and…

Logic · Mathematics 2021-06-24 Pantelis E. Eleftheriou , Alex Savatovsky

Let A be an idempotent algebra on a 3-element domain D that omits a G-set for a factor. Suppose A is not \alpha\beta-projective (for some alpha, beta subsets of D) and is not collapsible. It follows that A is switchable. We prove that, for…

Logic in Computer Science · Computer Science 2015-10-22 Barnaby Martin , Dmitriy Zhuk

Many inverse problems arising in engineering and applied sciences involve unknown quantities with pronounced spatial inhomogeneity, such as localized defects or spatially varying material properties, making reliable uncertainty…

Numerical Analysis · Mathematics 2026-02-10 Babak Maboudi Afkham , Tomas Soto , Mirza Karamehmedovic , Lassi Roininen

Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale…

Number Theory · Mathematics 2022-11-03 Chun Yin Hui