Related papers: Squeezing: the ups and downs
We consider a model where an agent is must choose between alternatives that each provide only an imprecise description of the world (e.g. linguistic expressions). The set of alternatives is closed under logical conjunction and disjunction,…
Possibility theory offers a framework where both Lehmann's "preferential inference" and the more productive (but less cautious) "rational closure inference" can be represented. However, there are situations where the second inference does…
A recent article [S. Ashhab and M. Ayyash, New J. Phys. 27, 054104 (2025)] has reported unexpected oscillatory dynamics in generalized squeezed states of order higher than two as their squeezing parameter increases. This behaviour, observed…
In this note, we investigate the convergence of a $U$-statistic of order two having stationary ergodic data. We will find sufficient conditions for the almost sure and $L^1$ convergence and present some counter-examples showing that the…
Pushing the boundaries of measurement precision is central for sensing and metrology, pursued by nonclassical resources such as squeezing, and non-Hermitian degeneracies with distinct spectral response. Their convergence, however, remains…
Tensors are often compressed by expressing them in low rank tensor formats. In this paper, we develop three methodologies that bound the compressibility of a tensor: (1) Algebraic structure, (2) Smoothness, and (3) Displacement structure.…
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…
Modeling human operator's dynamic plays a very important role in the manual closed-loop control system, and it is an active research area for several decades. Based on the characteristics of human brain and behaviour, a new kind of…
We consider the problem of formalizing the familiar notion of widening in abstract interpretation in higher-order logic. It turns out that many axioms of widening (e.g. widening sequences are ascending) are not useful for proving…
Nonlinear forces allow motion of a mechanical oscillator to be squeezed below the zero-point motion. Of existing methods, mechanical parametric amplification is relatively accessible, but previously thought to be limited to 3dB of squeezing…
Squeezed knots are those knots that appear as slices of genus-minimizing oriented smooth cobordisms between positive and negative torus knots. We show that this class of knots is large and discuss how to obstruct squeezedness. The most…
Majorana geometric representation of pure N-qubit states obeying exchange symmetry is em- ployed to explore spin squeezing properties in the family of states with two distinct spinors. Dicke states are characterized by two orthogonal…
Necessary conditions for high-order optimality in smooth nonlinear constrained optimization are explored and their inherent intricacy discussed. A two-phase minimization algorithm is proposed which can achieve approximate first-, second-…
We design an algorithm which finds an $\epsilon$-approximate stationary point (with $\|\nabla F(x)\|\le \epsilon$) using $O(\epsilon^{-3})$ stochastic gradient and Hessian-vector products, matching guarantees that were previously available…
We introduce ordinal collapsing principles that are inspired by proof theory but have a set theoretic flavor. These principles are shown to be equivalent to iterated $\Pi^1_1$-comprehension and the existence of admissible sets, over weak…
k:th power (amplitude-)squeezed states are defined as the normalized states giving equality in the Schroedinger-Robertson uncertainty relation for the real and imaginary parts of the k:th power of the one-mode annihilation operator.…
Consider a predictor who ranks eventualities on the basis of past cases: for instance a search engine ranking webpages given past searches. Resampling past cases leads to different rankings and the extraction of deeper information. Yet a…
We consider the problem of flexible modeling of higher order hidden Markov models when the number of latent states and the nature of the serial dependence, including the true order, are unknown. We propose Bayesian nonparametric methodology…
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…
We characterize the $L^p-L^q$ boundedness of Bergman-type operators over the Siegel upper half-space. This extends a recent result of Cheng et. al. (Trans. Amer. Math. Soc. 369:8643--8662, 2017) to higher dimensions.