相关论文: Alternating Hierarchies for Time-Space Tradeoffs

Van Glabbeek's linear time-branching time spectrum is one of the most relevant work on comparative study on process semantics, in which semantics are partially ordered by their discrimination power. In this paper we bring forward a…

Due to Savitch's theorem we know $NL\subseteq DSPACE(\log^2(n))$. To show this upper bound, Savitch constructed an algorithm with $O(\log^2(n))$ space on the working tape. We will show that Savitch's algorithm also described a lower bound…

The concept of Euclidean time is proposed which is dual to the usual Minkowski time. The De Sitter solution is shown to be dual to the anti-De Sitter solution under the dual transformation in which Euclidean time and Minkowski time are…

This paper is devoted to the description of the interval of parameters for which the general linear $n^{\rm th}$-order equation \begin{equation} \label{e-Ln} T_n[M]\,u(t) \equiv u^{(n)}(t)+a_1(t)\, u^{(n-1)}(t)+\cdots +a_{n-1}(t)\,…

I give a brief summary of the results reported in hep-th 0306013 in collaboration with G. Amelino-Camelia and F. D'Andrea. I focus on the analysis of the symmetries of $\kappa$-Minkowski noncommutative space-time, described in terms of a…

Difference Logic (DL) is a fragment of linear arithmetics where atoms are constraints x+k <= y for variables x,y (ranging over Q or Z) and integer k. We study the complexity of deciding the truth of existential DL sentences. This problem…

Suppose we want to seek the longest common subsequences (LCSs) of two strings as informative patterns that explain the relationship between the strings. The dynamic programming algorithm gives us a table from which all LCSs can be extracted…

Hyperproperties, like observational determinism or symmetry, cannot be expressed as properties of individual computation traces, because they describe a relation between multiple computation traces. HyperLTL is a temporal logic that…

This article is a guide to theorems on existence and global dynamics of solutions of the Einstein equations. It draws attention to open questions in the field. The local in time Cauchy problem, which is relatively well understood, is…

Various diagnostics of the emergence of an arrow of time in the bulk description of a holographic theory have been proposed, including the decay of some real time correlation functions and the appearance of type III$_1$ von Neumann algebras…

We consider a p+1-dimensional timelike hypersurface \Sigma_c embedded with a flat induced metric in a p+2-dimensional Einstein geometry. It is shown that imposing a Petrov type I condition on the geometry reduces the degrees of freedom in…

In the study of certain noncommutative versions of Minkowski spacetime there is still a large ambiguity concerning the characterization of their symmetries. Adopting as our case study the kappaMinkowski noncommutative space-time, on which a…

This paper shows that the Camassa-Holm (CH) spectral problem yields two different integrable hierarchies of nonlinear evolution equations (NLEEs), one is of negative order CH hierachy while the other one is of positive order CH hierarchy.…

We show that all languages accepted in time f(n) >= n^2 can be accepted in space O(f(n)^{1/2})_and_ in time O(f(n)). The proof is carried out by simulation, based on the idea of guessing the sequences of internal states of the simulated TM…

This article is a guide to theorems on existence and global dynamics of solutions of the Einstein equations. It draws attention to open questions in the field. The local-in-time Cauchy problem, which is relatively well understood, is…

We introduce Nevanlinna--Pick norms associated with finite families of characters in a commutative semisimple Banach algebra and study the class $NP_\infty$, where all such norms are minimal. Our main result is a topological rigidity…

Given the significant potential of large language models (LLMs) in sequence modeling, emerging studies have begun applying them to time-series forecasting. Despite notable progress, existing methods still face two critical challenges: 1)…

Optical superlattices with sublattice symmetry subjected to a synthetic imaginary gauge field undergo a topological phase transition in the Bloch energy spectrum, characterized by the change of a spectral winding number. For a narrow gap,…

Nonlinear contact dynamics are widely regarded as intrinsically nonlinear systems whose behaviour depends strongly on geometry and impact conditions. Here we show that any one-dimensional conservative contact system satisfying monotone…

Human evaluation plays a crucial role in Natural Language Processing (NLP) as it assesses the quality and relevance of developed systems, thereby facilitating their enhancement. However, the absence of widely accepted human evaluation…