Related papers: Feedback equivalence and uniform ensemble reachabi…
Integrable differential identities, together with ensemble-specific initial conditions, provide an effective approach for the characterisation of relevant observables and state functions in random matrix theory. We develop this approach for…
In this paper we investigate the reachability and observability properties of a network system, running a Laplacian based average consensus algorithm, when the communication graph is a path or a cycle. More in detail, we provide necessary…
We propose a classification of measurement apparatuses based on their reliability and accessibility. Our notion of reliability parameterises the possibility of getting unexpected wrong results when using the apparatus in a given time…
This paper provides unified calculations regarding certain measures and transformations in interacting particle systems. More specifically, we provide certain general conditions under which an interacting particle system will have a…
We demonstrate how to use feedback to control the internal states of trapped coherent ensembles of two-level atoms, and to protect a superposition state against the decoherence induced by a collective noise. Our feedback scheme is based on…
A remarkable property of Hermitian ensembles is their universal behavior, that is, once properly rescaled the eigenvalue statistics does not depend on particularities of the ensemble. Recently, normal matrix ensembles have attracted…
Based on infinite one-dimensional single-electron periodic models of trans-polyacetylene, we show analytically that the overall permutation symmetry of nonlinear optical susceptibilities is, albeit preserved in the molecular systems with…
When are asymptotic approximations using the delta-method uniformly valid? We provide sufficient conditions as well as closely related necessary conditions for uniform negligibility of the remainder of such approximations. These conditions…
Non-Hermitian systems display remarkable response effects that reflect a variety of distinct spectral scenarios, such as exceptional points where the eigensystem becomes defective. However, present frameworks treat the different scenarios…
In the framework of quasi-Hermitian quantum mechanics the eligible operators of observables may be non-Hermitian, $A_j\neq A_j^\dagger$, $j=1,2, \ldots,K$. In principle, the standard probabilistic interpretation of the theory can be…
We consider the convergence of the eigenvalues to the support of the equilibrium measure in the $\beta$ ensemble models under a critical condition. We show a phase transition phenomenon, namely that, with probability one, all eigenvalues…
The asymptotic equivalence of canonical and microcanonical ensembles is a central concept in statistical physics, with important consequences for both theoretical research and practical applications. However, this property breaks down under…
We numerically analyze the spectral statistics of the multiparametric Gaussian ensembles of complex matrices with zero mean and variances with different decay routes away from the diagonals. As the latter mimics different degree of…
Petri nets are a classical model of concurrency widely used and studied in formal verification with many applications in modeling and analyzing hardware and software, data bases, and reactive systems. The reachability problem is central…
We investigate Petri nets with data, an extension of plain Petri nets where tokens carry values from an infinite data domain, and executability of transitions is conditioned by equalities between data values. We provide a decision procedure…
We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions and to repetitions of attribute values in the future or…
In this paper, we study uniform ensemble controllability (UEC) of linear ensemble systems defined in an infinite-dimensional space through finite-dimensional settings. Specifically, with the help of the Stone-Weierstrass theorem for…
This paper is concerned with identifying linear system dynamics without the knowledge of individual system trajectories, but from the knowledge of the system's reachable sets observed at different times. Motivated by a scenario where the…
We study the parameterized complexity of a robust generalization of the classical Feedback Vertex Set problem, namely the Group Feedback Vertex Set problem; we are given a graph G with edges labeled with group elements, and the goal is to…
This paper presents computational methods for families of linear systems depending on a parameter. Such a family is called ensemble controllable if for any family of parameter-dependent target states and any neighborhood of it there is a…