相关论文: Alternating Hierarchies for Time-Space Tradeoffs
The geometric argument of the general relativity principle can be carried out on (unstable) Riemann space-time just inspired by nonlinear representation of supersymmetry(NLSUSY), where tangent space is specified by Grassmann degrees of…
In the literature, two powerful temporal logic formalisms have been proposed for expressing information flow security requirements, that in general, go beyond regular properties. One is classic, based on the knowledge modalities of…
Permissive-Nominal Logic (PNL) extends first-order predicate logic with term-formers that can bind names in their arguments. It takes a semantics in (permissive-)nominal sets. In PNL, the forall-quantifier or lambda-binder are just…
A universal integrable hierarchy underlying topological Landau-Ginzburg models of D-tye is presented. Like the dispersionless Toda hierarchy, the new hierarchy has two distinct (``positive" and ``negative") set of flows. Special solutions…
Over these past few years several quantum-gravity research groups have been exploring the possibility that in some Planck-scale nonclassical descriptions of spacetime one or another form of nonclassical spacetime symmetries might arise. One…
We present team semantics for two of the most important linear and branching time specification languages, Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). With team semantics, LTL is able to express hyperproperties, which have…
We consider parabolic problems with non-Lipschitz nonlinearity in the different scales of Banach spaces and prove local-in-time existence theorem. New class of parabolic equations that have analytic solutions is obtained.
Non-Hermiticity appears ubiquitously in various open classical and quantum systems and enriches classification of topological phases. However, the role of nonsymmorphic symmetry, crystalline symmetry accompanying fractional lattice…
We investigate the decay of spatial correlations of $\mathcal{PT}$-symmetric non-Hermitian one-dimensional models that host higher-order exceptional points. Beyond a certain correlation length, they develop anomalous power-law behavior that…
The synergy of non-Hermitian and topology renders the bulk-boundary correspondence (BBC) even more elusive. Here we study a non-Hermitian Creutz ladder that incorporates both gain-loss and nonreciprocity, and construct multiple BBCs…
Space-time behaviors for 3D compressible bipolar Navier-Stokes-Poisson system (BNSP) with unequal viscosities are given. The space-time estimate of electric field $\nabla\phi$ is the most important thing when deducing generalized Huygens'…
The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verification of complex reactive systems to automated planning.…
Estimation of solution norms and stability for time-dependent nonlinear systems is ubiquitous in numerous applied and control problems. Yet, practically valuable results are rare in this area. This paper develops a novel approach, which…
We compute non-linear corrections to the matter power spectrum taking the time- and scale-dependent free-streaming length of neutrinos into account. We adopt a hybrid scheme that matches the full Boltzmann hierarchy to an effective…
The notion of a difference hierarchy, first introduced by Hausdorff, plays an important role in many areas of mathematics, logic and theoretical computer science such as descriptive set theory, complexity theory, and the theory of regular…
The question of whether all problems in NP class are also in P class is generally considered one of the most important open questions in mathematics and theoretical computer science as it has far-reaching consequences to other problems in…
In this study, we are concerned with introducing Weyl-Titchmarsh theory for a class of dynamic linear Hamiltonian nabla systems over a half-line on Sturmian time scales. After developing fundamental properties of solutions and regular…
An anisotropic (Bianchi type I) cosmology is considered in the four-dimensional NS-NS sector of low-energy effective string theory coupled to a dilaton and an axion-like $H$-field within a de Sitter-Einstein frame background. The time…
In this article, we give a precise mathematical meaning to `linear? time' that matches experimental behaviour of the algorithm. The sorting algorithm is not our own, it is a variant of radix sort with counting sort as a subroutine. The true…
Estimation of solution norms and stability for time-dependent nonlinear systems is ubiquitous in numerous engineering, natural science and control problems. Yet, practically valuable results are rare in this area. This paper develops a…