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

For Martin-Lof type theory with a hierarchy U(0): U(1): U(2): ... of univalent universes, we show that U(n) is not an n-type. Our construction also solves the problem of finding a type that strictly has some high truncation level without…

This paper proposes a new methodology in linear time-periodic (LTP) system identification. In contrast to previous methods that totally separate dynamics at different tag times for identification, the method focuses on imposing appropriate…

A new class of twistor-like string models in four-dimensional space-time extended by the addition of six tensorial central charge (TCC) coordinates $z_{mn}$ is studied. The Hamiltonian of tensionless string in the extended space-time is…

This work is concerned with ($N$-component) hyperbolic system of balance laws in arbitrary space dimensions. Under entropy dissipative assumption and the Shizuta-Kawashima algebraic condition, a general theory on the well-posedness of…

The classifications of holonomy groups in Lorentzian and in Euclidean signature are quite different. A group of interest in Lorentzian signature in n dimensions is the maximal proper subgroup of the Lorentz group, SIM(n-2). Ricci-flat…

We consider the $\mathbb{T}^{4}$ cubic NLS which is energy-critical. We study the unconditional uniqueness of solution to the NLS via the cubic Gross-Pitaevskii hierarchy, an uncommon method, and does not require the existence of solution…

The Dichotomy Conjecture for constraint satisfaction problems (CSPs) states that every CSP is in P or is NP-complete (Feder-Vardi, 1993). It has been verified for conservative problems (also known as list homomorphism problems) by A.…

We develop a timeout based extension of propositional linear temporal logic (which we call TLTL) to specify timing properties of timeout based models of real time systems. TLTL formulas explicitly refer to a running global clock together…

We solve numerically the Boltzmann equation describing the evolution of a cosmic string network which contains only loops. In Minkowski space time the equilibrium solution predicted by statistical mechanics is recovered, and we prove that…

Temporal heterogeneous information network (temporal HIN) embedding, aiming to represent various types of nodes of different timestamps into low dimensional spaces while preserving structural and semantic information, is of vital importance…

Equilibrium statistics of Hamiltonian systems is correctly described by the microcanonical ensemble. Classically this is the manifold of all points in the N-body phase space with the given total energy. Due to Boltzmann-Planck's principle,…

We show that the well known $N=1$ NLS equation possesses $N=2$ supersymmetry and thus it is actually the $N=2$ NLS equation. This supersymmetry is hidden in terms of the commonly used $N=1$ superfields but it becomes manifest after passing…

We develop a complete theory of symmetry and topology in non-Hermitian physics. We demonstrate that non-Hermiticity ramifies the celebrated Altland-Zirnbauer symmetry classification for insulators and superconductors. In particular, charge…

We deal with entropy solutions to the Cauchy problem for the isentropic compressible Euler equations in the space-periodic case. In more than one space dimension, the methods developed by De Lellis-Sz\'ekelyhidi enable us to show failure of…

The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and…

We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by…

In this paper, we continue the study of John-Nirenberg theorems for BMO/Lipschitz spaces in the noncommutative martingale setting. As conjectured from the classical case, a desired noncommutative ``stopping time" argument was discovered to…

Alternating-time temporal logic with strategy contexts (ATLsc) is a powerful formalism for expressing properties of multi-agent systems: it extends CTL with strategy quantifiers, offering a convenient way of expressing both collaboration…

We provide time-evolution operators, gauge transformations and a perturbative treatment for non-Hermitian Hamiltonian systems, which are explicitly time-dependent. We determine various new equivalence pairs for Hermitian and non-Hermitian…

We show that several well-known one-dimensional quantum systems possess a hidden nonlocal supersymmetry. The simplest example is the open XXZ spin chain with \Delta=-1/2. We use the supersymmetry to place lower bounds on the ground state…