相关论文: Forward Analysis for WSTS, Part II: Complete WSTS

We investigate input-to-state stability (ISS) of infinite-dimensional collocated control systems subject to saturated feedback. Here, the unsaturated closed loop is dissipative and uniformly globally asymptotically stable. Under an…

An efficient algorithm is constructed for contracting two-dimensional tensor networks under periodic boundary conditions. The central ingredient is a novel renormalization step that scales linearly with system size, i.e. from $L \to L+1$.…

An efficient approach to calculate approximate pure-state and transition reduced density matrices in the framework of the multireference relativistic Fock-space coupled cluster (FS CC) theory is proposed. The method is based on the…

The present paper proves that a Sleptsov net (SN) is Turing-complete, that considerably improves, with a brief construct, the previous result that a strong SN is Turing-complete. Remind that, unlike Petri nets, an SN always fires enabled…

In this paper, we extend the notion of finite-time input-to-state stability (FTISS) for finite-dimensional systems to infinite-dimensional systems. More specifically, we first prove an FTISS Lyapunov theorem for a class of…

Coverability in Petri nets finds applications in verification of safety properties of reactive systems. We study coverability in the equivalent model: Vector Addition Systems with States (VASS). A k-VASS can be seen as k counters and a…

We propose a practical finite volume method on cut cells using state redistribution. Our algorithm is provably monotone, total variation diminishing, and GKS stable in many situations, and shuts off continuously as the cut cell size…

We study a general class of supersymmetric Wilson loops operator in N = 4 super Yang-Mills theory, obtained as orbits of conformal transformations. These loops are the natural generalization of the familiar circular Wilson-Maldacena…

Verification of infinite-state Markov chains is still a challenge despite several fruitful numerical or statistical approaches. For decisive Markov chains, there is a simple numerical algorithm that frames the reachability probability as…

We analyze, both analytically and numerically, the effectiveness of cloaking an infinite cylinder from observations by electromagnetic waves in three dimensions. We show that, as truncated approximations of the ideal permittivity and…

The crease is a surface operator folded by a finite angle along an infinite line. Several realisations of it in the 6d ${\mathcal N}=(2,0)$ theory are studied here. It plays a role similar to the generalised quark-antiquark potential, or…

To design a uniaxial anisotropic metamaterial a layered cylindrical metamaterial is introduced for TE polarization. Unlike to the previous work, which the layers were in radial direction, here the layers are in azimuthal direction.…

We propose a novel method for generating Schr\"odinger-cat states -- defined as equal superpositions of arbitrary coherent states -- using a concise sequence of rapid twist-and-turn pulses. We demonstrate that the required shearing strength…

We propose the mapping of polynomial of degree 2S constructed as a linear combination of powers of spin-$S$ (for simplicity, we called as spin-$S$ polynomial) onto spin-crossover state. The spin-$S$ polynomial in general can be projected…

We argue that comprehensive out-of-sample (OOS) evaluation using statistical decision theory (SDT) should replace the current practice of K-fold and Common Task Framework validation in machine learning (ML) research on prediction. SDT…

In this paper we study the complexity of counting Constraint Satisfaction Problems (CSPs) of the form #CSP($\mathcal{C}$,-), in which the goal is, given a relational structure $\mathbf{A}$ from a class $\mathcal{C}$ of structures and an…

Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through controller synthesis from signal temporal logic (STL)…

The exact and stable evolutions of generalized coherent states (GCS) for quantum systems are considered by making use of the time-dependent integrals of motion method and of the Klauder approach to the relationship between quantum and…

The asymptotic completeness of a set of the eigenmodes of an open system with increasing number of modes enables an accurate calculation of the system response in terms of these modes. Using the exact eigenmodes, such completeness is…

Time-Basic Petri nets, is a powerful formalism for model- ing real-time systems where time constraints are expressed through time functions of marking's time description associated with transition, representing possible firing times. We…