Related papers: Complete $\omega$-Regular Supermartingale Certific…
Can one certify the preparation of a coherent, many-body quantum state by measurements with bounded accuracy in the presence of noise and decoherence? Here, we introduce a criterion to assess the fragility of large-scale quantum states…
Hyperuniformity, where the static structure factor obeys $S(q)\sim q^{\varsigma}$ with $\varsigma> 0$, emerges at criticality in systems having multiple, symmetry-unrelated, absorbing states. Important examples arise in periodically sheared…
In this paper, we investigate the problem of semi-global minimal time robust stabilization of analytic control systems with controls entering linearly, by means of a hybrid state feedback law. It is shown that, in the absence of minimal…
This article presents near-optimal guarantees for accurate and robust image recovery from under-sampled noisy measurements using total variation minimization. In particular, we show that from O(slog(N)) nonadaptive linear measurements, an…
A key test for any quasi-local energy in general relativity is that it be nonnegative and satisfy a rigidity property; if it vanishes, the region enclosed is flat. We show that the Hawking energy, when evaluated on its natural…
We study the semiclassical expansion of the effective action for a Regge state-sum model and its dependence on the choice of the path-integral measure and the spectrum of the edge lengths. If the positivity of the edge lengths is imposed in…
We present $\textit{Probabilistic Total Store Ordering (PTSO)}$ -- a probabilistic extension of the classical TSO semantics. For a given (finite-state) program, the operational semantics of PTSO induces an infinite-state Markov chain. We…
We present a predictive feedback control method for a class of quasilinear hyperbolic systems with one boundary control input. Assuming exact model knowledge, convergence to the origin, or tracking at the uncontrolled boundary, are achieved…
We suggest an approach to obtaining general two-sided bounds on the rate of convergence in terms of special "weighted" norms related to total variation. Some important classes of continuous-time Markov chains are considered:…
We consider the problem of positive-semidefinite continuation: extending a partially specified covariance kernel from a subdomain $\Omega$ of a rectangular domain $I\times I$ to a covariance kernel on the entire domain $I\times I$. For a…
Given a matrix of distribution functions and a quasi-stochastic matrix, i.e. an irreducible nonnegative matrix with maximal eigenvalue one and associated unique positive left and right eigenvectors, the article studies the properties of an…
We present a self-contained and modern survey of some existing quasi-sure results via the connection to the Brownian sheet. Among other things, we prove that quasi-every continuous function: (i) satisfies the local law of the iterated…
Herein, a methodology is developed to replicate functions, measures and stochastic processes onto a compact metric space. Many results are easily established for the replica objects and then transferred back to the original ones. Two…
This paper is part of the general project of proof mining, developed by Kohlenbach. By "proof mining" we mean the logical analysis of mathematical proofs with the aim of extracting new numerically relevant information hidden in the proofs.…
In this work we examine quantum states which have non-negative amplitudes (in a fixed basis) and the channels which preserve them. These states include the ground states of stoquastic Hamiltonians and they are of interest since they avoid…
We consider Markov decision processes with synchronizing objectives, which require that a probability mass of $1-\epsilon$ accumulates in a designated set of target states, either once, always, infinitely often, or always from some point…
Maximal repetition of a string is the maximal length of a repeated substring. This paper investigates maximal repetition of strings drawn from stochastic processes. Strengthening previous results, two new bounds for the almost sure growth…
With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…
We give a detailed physical argument for the area law for entanglement entropy in gapped phases of matter arising from local Hamiltonians. Our approach is based on renormalization group (RG) ideas and takes a resource oriented perspective.…
We consider the problem of quantum-state tomography under the assumption that the state is pure, and more generally that its rank is bounded by a given value $r$. In this scenario two notions of informationally complete measurements emerge:…