Related papers: A self-consistent criterion for the range of valid…
Our understanding of the Universe breaks down for very small spacetime intervals, corresponding to an extremely high level of granularity (and energy), commonly referred to as the ``Planck scale''. At this fundamental level, there are…
We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account axioms and cuts. We show that it is sound and enjoys the cut…
We corroborate the idea of a close connection between replica symmetry breaking and aging in the linear response function for a large class of finite-dimensional systems with short-range interactions. In these system, characterized by a…
In locally interacting quantum many-body systems, the velocity of information propagation is finitely bounded and a linear light cone can be defined. Outside the light cone, the amount of information rapidly decays with distance. When…
Robustness is a basic property of any control system. In the context of linear output regulation, it was proved that embedding an internal model of the exogenous signals is necessary and sufficient to achieve tracking of the desired…
For a class of linear switched systems in continuous time a controllability condition implies that state feedbacks allow to achieve almost sure stabilization with arbitrary exponential decay rates. This is based on the Multiplicative…
Separation Logic is a widely used formalism for describing dynamically allocated linked data structures, such as lists, trees, etc. The decidability status of various fragments of the logic constitutes a long standing open problem. Current…
We study the faithfulness of an explanation system to the underlying prediction model. We show that this can be captured by two properties, consistency and sufficiency, and introduce quantitative measures of the extent to which these hold.…
We investigate various possible definitions of an effective temperature for a particularly simple nonequilibrium stationary system, namely a heated Brownian particle suspended in a fluid. The effective temperature based on the fluctuation…
In many interacting particle systems, relaxation to equilibrium is thought to occur via the growth of 'droplets', and it is a question of fundamental importance to determine the critical length at which such droplets appear. In this paper…
We investigate the linear response of an O(N) scalar quantum field theory subject to external perturbations using the symmetry improved two particle irreducible effective action formalism [A. Pilaftsis and D. Teresi, Nucl. Phys. B874, 594…
We deal with finite dimensional linear and nonlinear control systems. If the system is linear and autonomous and satisfies the classical normality assumption, we improve the well known result on the strict convexity of the reachable set…
Within the framework of simple perturbation theory, recurrence time of quantum fidelity is related to the period of the classical motion. This indicates the possibility of recurrence in near integrable systems. We have studied such…
We study the dynamical generation of randomness in Brownian systems as a function of the degree of locality of the Hamiltonian. We first express the trace distance to a unitary design for these systems in terms of an effective equilibrium…
This paper investigates the consensus problem of multiple uncertain Lagrangian systems. Due to the discontinuity resulted from the switching topology, achieving consensus in the context of uncertain Lagrangian systems is challenging. We…
It is well known that a minimal distance emerges in quantum field theories owing to the need to regularize the UV divergences. The macroscopical limit at large minimal distance, weak spatial resolution, is investigated for a self…
We consider {\it small solutions} of a vibrating mechanical system with smooth non-linearities for which we provide an approximate solution by using a triple scale analysis; a rigorous proof of convergence of the triple scale method is…
Synchronizability of stable, output-coupled, identical, time-varying linear systems is studied. It is shown that if the observability grammian satisfies a persistence of excitation condition, then there exists a bounded, time-varying linear…
Rating systems are ubiquitous, with applications ranging from product recommendation to teaching evaluations. Confidence intervals for functionals of rating data such as empirical means or quantiles are critical to decision-making in…
We study Linear Response Theory and Entropic Fluctuations of finite dimensional non-equilibrium repeated interaction systems (RIS). More precisely, in a situation where the temperatures of the probes can take a finite number of different…