Related papers: Normal ordering the squeeze operator by generalize…
Generalised quantifiers, which include Henkin's branching quantifiers, have been introduced by Mostowski and Lindstr\"om and developed as a substantial topic application of logic, especially model theory, to linguistics with work by…
In a series of papers, P. Blasiak et al. developed a wide-ranging generalization of Bell numbers (and of Stirling numbers of the second kind) that appears to be relevant to the so-called Boson normal ordering problem. They provided a…
Electro-optical feedback can produce an in-loop photocurrent with arbitrarily low noise. This is not regarded as evidence of `real' squeezing because squeezed light cannot be extracted from the loop using a linear beam splitter. Here I show…
Squeezed spin states and squeezed light are both key resources for quantum metrology and quantum information science, but have been separately investigated in experiments so far. Simultaneous generation of these two types of quantum states…
We analyse the paraxial field propagation in the realm of classical optics, showing that it can be written as the action of the fractional Fourier transform, followed by the squeeze operator applied to the initial field. Secondly, we show…
Based upon standard angular momentum theory, we develop a framework to investigate polarization squeezing and multipartite entanglement of a quantum light field. Both mean polarization and variances of the Stokes parameters are obtained…
A weak measurement approach is proposed to entangle and squeeze atoms. We show that even for very small coupling strength between light and atoms, one can achieve large squeezing unattainable with normal measurement-based squeezing.…
In this paper, we generalize (accelerated) Newton's method with cubic regularization under inexact second-order information for (strongly) convex optimization problems. Under mild assumptions, we provide global rate of convergence of these…
Under ray-optical light transport, the classical ray serves as a linear and local "point query" of light's behaviour. Linearity and locality are crucial to the formulation of sophisticated path tracing and sampling techniques, that enable…
This is a survey and research note on the modified Orlik conjecture derived from the division theorem introduced in [2]. The division theorem is a generalization of classical addition-deletion theorems for free arrangements. The division…
The theory of equidistribution is about hundred years old, and has been developed primarily by number theorists and theoretical computer scientists. A motivated uninitiated peer could encounter difficulties perusing the literature, due to…
A simple proof is provided to show that any bounded normal operator on a real Hilbert space is orthogonally equivalent to its transpose(adjoint). A structure theorem for invertible skew-symmetric operators, which is analogous to the finite…
The theory of Gaussian quantum fluctuations around classical steady states in nonlinear quantum-optical systems (also known as standard linearization) is a cornerstone for the analysis of such systems. Its simplicity, together with its…
Let $\mathfrak{m}$ be a random tessellation in $\mathbf{R}^d$ observed in a bounded Borel subset $W$ and $f(\cdot)$ be a measurable function defined on the set of convex bodies. To each cell $C$ of $\mathfrak{m}$ we associate a point $z(C)$…
We lay the ground for an Isabelle/ZF formalization of Cohen's technique of forcing. We formalize the definition of forcing notions as preorders with top, dense subsets, and generic filters. We formalize the definition of forcing notions as…
The Erdos-Szekeres theorem states that for any natural k there is a natural number g(k) such that any set of at least g(k) points on a plane in general position contains a set of k points that are the extreme points of a convex polytope. We…
In this paper we consider a logical treatment for the ordered disjunction operator 'x' introduced by Brewka, Niemel\"a and Syrj\"anen in their Logic Programs with Ordered Disjunctions (LPOD). LPODs are used to represent preferences in logic…
Word order is an important concept in natural language, and in this work, we study how word order affects the induction of world knowledge from raw text using language models. We use word analogies to probe for such knowledge. Specifically,…
The fact that certain "extraordinary" probabilistic phenomena--in particular, macroscopic violations of the second law of thermodynamics--have never been observed to occur can be accounted for by taking hard preclusion as a basic physical…
We look for new steps on the dynamical operations that may squeeze simultaneously some families of quantum states, independently of their initial shape, induced by softly acting external fields which might produce the squeezing of the…