Related papers: Forward Analysis for WSTS, Part II: Complete WSTS
This paper presents stability and convergence analysis of a finite volume scheme (FVS) for solving aggregation, breakage and the combined processes by showing Lipschitz continuity of the numerical fluxes. It is shown that the FVS is second…
This paper is intended to review recent results and open problems concerning the existence of steady states to the Maxwell-Schr\"odinger system. A combination of tools, proofs and results are presented in the framework of the…
Vectors addition systems with states (VASS), or equivalently Petri nets, are arguably one of the most studied formalisms for the modeling and analysis of concurrent systems. A central decision problem for VASS is reachability: whether there…
We study a class of multistate Landau-Zener model which cannot be solved by integrability conditions or other standard techniques. By analyzing analytical constraints on its scattering matrix and performing fitting to results from numerical…
A Steiner triple system is a set $S$ together with a collection $\mathcal{B}$ of subsets of $S$ of size 3 such that any two elements of $S$ belong to exactly one element of $\mathcal{B}$. It is well known that the class of finite Steiner…
We introduce two data completion algorithms for the limited-aperture problems in inverse acoustic scattering. Both completion algorithms are independent of the topological and physical properties of the unknown scatterers. The main idea is…
Characterizing resonant scatterers is challenging because their poles and zeros usually lie away from the real-frequency axis, whereas most measurements sample only real frequencies and infer off-axis behavior from fitted models. Here we…
We propose a new definition of metastability of Markov processes on countable state spaces. We obtain sufficient conditions for a sequence of processes to be metastable. In the reversible case these conditions are expressed in terms of the…
For a general class of $N$-body Schr\"odinger operators with short-range pair-potentials the wave and scattering matrices as well as the restricted wave operators are all defined at any non-threshold energy. This holds without imposing any…
To meet the demand for complex geometries and high resolutions of small-scale flow structures, a two-stage fourth-order subcell finite volume (SCFV) method combining the gas-kinetic solver (GKS) with subcell techniques for compressible…
In this work, we investigate the interval generalized Sylvester matrix equation ${\bf{A}}X{\bf{B}}+{\bf{C}}X{\bf{D}}={\bf{F}}$ and develop some techniques for obtaining outer estimations for the so-called united solution set of this…
We give a systematic expansion of the crypticity--a recently introduced measure of the inaccessibility of a stationary process's internal state information. This leads to a hierarchy of k-cryptic processes and allows us to identify…
We consider the following Scr\"odinger system $$\begin{cases}\displaystyle i\partial_t u + \Delta u +(|u|^2+\beta |v|^2) u= 0, \\ \displaystyle i\partial_t v + \Delta v +(|v|^2+\beta |u|^2) v = 0,\end{cases}$$ with initial data $(u_0,v_0)…
Vector addition system with states (VASS) is a popular model for the verification of concurrent systems. VASS consists of finitely many control states and a set of counters which can be incremented and decremented, but not tested for zero.…
We study the SU(3) lattice gauge theory, with two flavors of sextet Wilson-clover fermions, near its finite-temperature phase transition. We find metastable states that have Wilson line expectation values whose complex phases are near 2pi/3…
We prove the equivalence (under some conditions) of two sets of coherent states built for the one-dimensional infinite square well: the so-called generalized and Gaussian Klauder coherent states. We then derive an approximate close…
Contraction Clustering (RASTER) is a single-pass algorithm for density-based clustering of 2D data. It can process arbitrary amounts of data in linear time and in constant memory, quickly identifying approximate clusters. It also exhibits…
We propose a technique of compensating the spurious reflections implied by the multiple-scattering (MS) method, commonly used for analyzing finite photonic crystal (PC) systems, to obtain exact values of characteristic parameters, such as…
In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method reduces analysis times and boosts precision by orders…
A proof of convergence is given for a novel evolving surface finite element semi-discretization of Willmore flow of closed two-dimensional surfaces, and also of surface diffusion flow. The numerical method proposed and studied here…