Related papers: Alternating Hierarchies for Time-Space Tradeoffs
We study integrable boundary conditions associated with the whole hierarchy of nonlinear Schr\"{o}dinger (NLS) equations defined on the half-line. We find that the even order NLS equations and the odd order NLS equations admit rather…
The model of a signature change of a metric from the Lorenztian to Euclidean one with the use of a time dependent kink as $g_{00}$ component of the metric is considered. The metric which describes the continuous change of the signature of…
Any class of languages $\mathbf{L}$ accepted in time $\mathbf{T}$ has a counterpart $\mathbf{NL}$ accepted in nondeterministic time $\mathbf{NT}$. It follows from the definition of nondeterministic languages that $\mathbf{L} \subseteq…
It is known that for any class C closed under union and intersection, the Boolean closure of C, the Boolean hierarchy over C, and the symmetric difference hierarchy over C all are equal. We prove that these equalities hold for any…
A decidable transfinite hierarchy is defined by assigning ordinals to the programs of an imperative language. It singles out: the classes TIMEF(n^c) and TIMEF(n_c); the finite Grzegorczyk classes at and above the elementary level, and the…
We examine the unitarity issue in the recently proposed time-ordered perturbation theory on noncommutative (NC) spacetime. We show that unitarity is preserved as long as the interaction Lagrangian is explicitly Hermitian. We explain why it…
Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research on verification and control synthesis from STL…
We consider the problem of finding, given two documents of total length $n$, a longest string occurring as a substring of both documents. This problem, known as the Longest Common Substring (LCS) problem, has a classic $O(n)$-time solution…
Large language models increasingly operate under multiple instructions from heterogeneous sources with different authority levels, including system policies, user requests, tool outputs, and retrieved context. While prior work on…
Lorentz spacetime symmetry represents a unifying feature of the fundamental forces, typically manifest at sufficiently high energies, while in quantum materials it emerges in the deep low-energy regime. However, its fate in quantum…
We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called strict semantics for these logics, we relate these fragments of…
We show that alternating Turing machines, with a novel and natural definition of acceptance, accept precisely the inductive (Pi-1-1) languages. Total alternating machines, that either accept or reject each input, accept precisely the…
Let $\mathrm{SO}^{\mathit{plog}}$ denote the restriction of second-order logic, where second-order quantification ranges over relations of size at most poly-logarithmic in the size of the structure. In this article we investigate the…
We work primarily with the Kripke frame consisting of two-dimensional Minkowski spacetime with the irreflexive accessibility relation 'can reach with a slower-than-light signal'. We show that in the basic temporal language, the set of…
In this note we discuss the possibility to define a space-time with a DSR based approach. We show that the strategy of defining a non linear realization of the Lorentz symmetry with a consistent vector composition law cannot be reconciled…
A modification of Kaluza-Klein theory is proposed which is general enough to admit an arbitrary finite noncommutative internal geometry. It is shown that the existence of a non-trival extension to the total geometry of a linear connection…
The paper studies problems of satisfiability, decidability and admissibility of inference rules, conceptions of knowledge and agent's knowledge in non-transitive temporal linear logic LTL(Past,m). We find algorithms solving mentioned…
In this paper we consider the class of lambda-nondeterministic linear automata as a model of the class of linear languages. As usual in other automata models, lambda-moves do not increase the acceptance power. The main contribution of this…
The spacetime short-distance structure at the Planck scale is governed by the Planck length, usually interpreted as a three-dimensional Euclidian length. As such, it is not Lorentz invariant and clashes with Einstein's special relativity,…
It is well known that nonrelativistic quantum mechanics presents a clear asymmetry between space and time. Much of this asymmetry is attributed to the lack of Lorentz invariance of the theory. Nonetheless, a recent work [Phys. Rev. A…