Related papers: Feedback equivalence and uniform ensemble reachabi…
The paper considers a linear matrix inequality (LMI) that depends on a parameter varying in a compact topological space. It turns out that if a strict LMI continuously depends on a parameter and is feasible for any value of that parameter,…
We analyze the eigenvalues of the adjacency matrices of a wide variety of random trees. Using general, broadly applicable arguments based on the interlacing inequalities for the eigenvalues of a principal submatrix of a Hermitian matrix and…
Hybrid systems play a crucial role in modeling real-world applications where discrete and continuous dynamics interact, including autonomous vehicles, power systems, and traffic networks. Safety verification for these systems requires…
In this paper, we study the control of a class of time-invariant linear ensemble systems whose natural dynamics are linear in the system parameter. This class of ensemble control systems arises from practical engineering and physical…
In this paper, we propose a decision procedure of reachability for linear system {\xi}' = A{\xi} + u, where the matrix A's eigenvalues can be arbitrary algebraic numbers and the input u is a vector of trigonometric-exponential polynomials.…
An elementary set of non-Hermitian $N$ by $N$ matrices $H^{(N)}(\lambda) \neq [ H^{(N)}(\lambda)]^\dagger$ with real spectra is considered, assuming that each of these matrices represents a selfadjoint quantum Hamiltonian in an {\it ad hoc}…
Effective nonlinear optical interactions are essential for many applications in modern photonics. In this paper, we investigate the role of the nonlinear response of a material to improve quantum metrology. In particular, the collective…
The probabilities for gaps in the eigenvalue spectrum of the finite dimension $ N \times N $ random matrix Hermite and Jacobi unitary ensembles on some single and disconnected double intervals are found. These are cases where a reflection…
In this work, we present a novel Koopman spectrum-based reachability verification method for nonlinear systems. Contrary to conventional methods that focus on characterizing all potential states of a dynamical system over a presupposed time…
We provide finite-sample distribution approximations, that are uniform in the parameter, for inference in linear mixed models. Focus is on variances and covariances of random effects in cases where existing theory fails because their…
The question of open-loop control in the Gaussian regime may be cast by asking which Gaussian unitary transformations are reachable by turning on and off a given set of quadratic Hamiltonians. For compact groups, including finite…
We discuss reachable states for the Hermite heat equation on a segment with boundary $L^2$-controls. The Hermite heat equation corresponds to the heat equation to which a quadratic potential is added. We will discuss two situations: when…
We consider a unitary circuit where the underlying gates are chosen to be R-matrices satisfying the Yang-Baxter equation and correlation functions can be expressed through a transfer matrix formalism. These transfer matrices are no longer…
We study the reach control problem for affine systems on simplices, and the focus is on cases when it is known that the problem is not solvable by continuous state feedback. We examine from a geometric viewpoint the structural properties of…
We study an expressive model of timed pushdown automata extended with modular and fractional clock constraints. We show that the binary reachability relation is effectively expressible in hybrid linear arithmetic with a rational and an…
A popular $PT$-symmetric optical potential (variation of the refractive index) that supports a variety of interesting and unusual phenomena is the imaginary exponential, the limiting case of the potential $V_0[\cos(2\pi…
In this paper, we study the gap probability problem of the (symmetric) Jacobi unitary ensemble of Hermitian random matrices, namely the probability that the interval $(-a,a)\:(0<a<1)$ is free of eigenvalues. Using the ladder operator…
Scalar field cosmologies with a generalized harmonic potential are investigated in flat and negatively curved Friedmann-Lema\^itre-Robertson-Walker and Bianchi I metrics. An interaction between the scalar field and matter is considered.…
In bulk systems the calculation of the main thermodynamic quantities leads to the same expectation values in the thermodynamic limit, regardless of the choice of the statistical ensemble. Single linear molecules can be still regarded as…
We consider reachability in dynamical systems with discrete linear updates, but with fixed digital precision, i.e., such that values of the system are rounded at each step. Given a matrix $M \in \mathbb{Q}^{d \times d}$, an initial vector…