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

We study finite loop models on a lattice wrapped around a cylinder. A section of the cylinder has N sites. We use a family of link modules over the periodic Temperley-Lieb algebra EPTL_N(\beta, \alpha) introduced by Martin and Saleur, and…

The Traveling Salesman Problem (TSP) in the $d$-dimensional Euclidean space is among the oldest and most famous NP-hard optimization problems. In breakthrough works, Arora [J. ACM 1998] and Mitchell [SICOMP 1999] gave the first polynomial…

We study a class of time-dependent (TD) non-Hermitian Hamiltonians $H(t)$ that can be transformed into a time-independent pseudo-Hermitian Hamiltonian $\mathcal{H}_{0}^{PH}$ using a suitable TD unitary transformation $F(t)$. The latter can…

Nominalistic Logic (NL) is a new presentation of Paul Gilmore's Intensional Type Theory (ITT) as a sequent calculus together with a succinct nominalization axiom (N) that permits names of predicates as individuals in certain cases. The…

Classical spin Hamiltonians are a powerful tool to model complex systems, characterised by a local structure given by the local Hamiltonians. One of the best understood local structures is the grammar of formal languages, which are central…

Model checking allows one to automatically verify a specification of the expected properties of a system against a formal model of its behaviour (generally, a Kripke structure). Point-based temporal logics, such as LTL, CTL, and CTL*, that…

We investigate the unitarity of three dimensional noncommutative scalar field theory in the Lie algebraic noncommutative spacetime [x^i,x^j]=2i kappa epsilon^{ijk}x_k. This noncommutative field theory possesses a SL(2,R)/Z_2 group momentum…

Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in industrial and academic context. Model checking for timed automata has been…

Nominal Logic is a version of first-order logic with equality, name-binding, renaming via name-swapping and freshness of names. Contrarily to higher-order logic, bindable names, called atoms, and instantiable variables are considered as…

We introduce a new set of noncommutative space-time commutation relations in two space dimensions. The space-space commutation relations are deformations of the standard flat noncommutative space-time relations taken here to have position…

A comparison of two english texts from Lewis Carroll, one (Alice in wonderland), also translated into esperanto, the other (Through a looking glass) are discussed in order to observe whether natural and artificial languages significantly…

We generalize the modern theory of electric polarization to the case of one-dimensional non-Hermitian systems with line-gapped spectrum. In these systems, the electronic position operator is non-Hermitian even when projected into the…

We present the public version of hi_class (www.hiclass-code.net), an extension of the Boltzmann code CLASS to a broad ensemble of modifications to general relativity. In particular, hi_class can calculate predictions for models based on…

The purpose of the present effort is threefold. Firstly, it is shown that there exists a principle, that we call Kinetical Interaction Principle (KIP), underlying the non linear kinetics in particle systems, independently on the picture…

Given a member A of the class of non-deterministic timed automata with silent transitions (eNTA), we effectively compute its timestamp: the set of all pairs (time value, action) of all observable timed traces of A, a generalization of the…

We describe the implementation of a new approach to the numerical evaluation of the effects of non-cold relics on the evolution of cosmological perturbations. The Boltzmann hierarchies used to compute the contributions of these relics to…

Bille and G{\o}rtz (2011) recently introduced the problem of substring range counting, for which we are asked to store compactly a string $S$ of $n$ characters with integer labels in ([0, u]), such that later, given an interval ([a, b]) and…

This paper develops a new approach to the estimation of the degree of boundedness or stability of multidimensional nonlinear systems with time-dependent nonperiodic coefficients-an essential task in various engineering and natural science…

Large Language Models (LLMs) are predominantly governed by probabilistic frameworks in which the sum of outcome probabilities is constrained to unity. This architectural limitation, often imposed by Softmax layers, leads to a collapse of…

Lorentz symmetry is a fundamental space-time symmetry underlying the Standard Model of particle physics and gravity. However, unified theories, such as string theory, allow for violation of this symmetry. Thus, the discovery of Lorentz…