For any function F(x) having a Taylor expansion we solve the boson normal ordering problem for F[(a*)^r a^s], with r,s positive integers,[a,a*]=1, i.e. we provide exact and explicit expressions for its normal form which has all a's to the right. The solution involves integer sequences of numbers which, for r,s >=1, are generalizations of the conventional Bell and Stirling numbers whose values they assume for r=s=1. A complete theory of such generalized combinatorial numbers is given including closed-form expressions (extended Dobinski - type formulas), recursion relations and generating functions. These last are special expectation values in boson coherent states.
We consider the numbers arising in the problem of normal ordering of expressions in canonical boson creation and annihilation operators. We treat a general form of a boson string which is shown to be associated with generalizations of Stirling and Bell numbers. The recurrence relations and closed-form expressions (Dobiski-type formulas) are obtained for these quantities by both algebraic and combinatorial methods. By extensive use of methods of combinatorial analysis we prove the equivalence of the aforementioned problem to the enumeration of special families of graphs. This link provides a co…
We investigate the role played by quantum operator ordering in the correlations that characterize two-photon polarization Bell measurements. The Clauser-Horne-Shimony-Holt (CHSH) criterion is investigated in the normal ordering imposed by the photodetection theory and in the symmetric ordering that constitutes the standard prescription for building Hermitian operators from products of noncommuting observables. The two approaches are obtained in a single theoretical framework, where operator ordering is directly associated with the representation used for the density matrix.Moreover, this discu…
We derive explicit formulas for the normal ordering of powers of arbitrary monomials of boson operators. These formulas lead to generalisations of conventional Bell and Stirling numbers and to appropriate generalisations of the Dobinski relations. These new combinatorial numbers are shown to be coherent state matrix elements of powers of the monomials in question. It is further demonstrated that such Bell-type numbers, when considered as power moments, give rise to positive measures on the positive half-axis, which in many cases can be written in terms of known functions.
We solve the boson normal ordering problem for (q(a*)a + v(a*))^n with arbitrary functions q and v and integer n, where a and a* are boson annihilation and creation operators, satisfying [a,a*]=1. This leads to exponential operators generalizing the shift operator and we show that their action can be expressed in terms of substitutions. Our solution is naturally related through the coherent state representation to the exponential generating functions of Sheffer-type polynomials. This in turn opens a vast arena of combinatorial methodology which is applied to boson normal ordering and illustrat…
We solve the normal ordering problem for (A* A)^n where A* (resp. A) are one mode deformed bosonic creation (resp. annihilation) operators satisfying [A,A*]=[N+1]-[N]. The solution generalizes results known for canonical and q-bosons. It involves combinatorial polynomials in the number operator N for which the generating functions and explicit expressions are found. Simple deformations provide examples of the method.
We solve the boson normal ordering problem for F[(a*)^r a^s], with r,s positive integers, where a* and a are boson creation and annihilation operators satisfying [a,a*]=1. That is, we provide exact and explicit expressions for the normal form wherein all a's are to the right. The solution involves integer sequences of numbers which are generalizations of the conventional Bell and Stirling numbers whose values they assume for r=s=1. A comprehensive theory of such generalized combinatorial numbers is given including closed-form expressions (extended Dobinski-type formulas)and generating function…
We construct and analyze a family of coherent states built on sequences of integers originating from the solution of the boson normal ordering problem. These sequences generalize the conventional combinatorial Bell numbers and are shown to be moments of positive functions. Consequently, the resulting coherent states automatically satisfy the resolution of unity condition. In addition they display such non-classical fluctuation properties as super-Poissonian statistics and squeezing.
We present a combinatorial method of constructing solutions to the normal ordering of boson operators. Generalizations of standard combinatorial notions - the Stirling and Bell numbers, Bell polynomials and Dobinski relations - lead to calculational tools which allow to find explicitly normally ordered forms for a large class of operator functions.
In this paper we define generalizations of boson normal ordering. These are based on the number of contractions whose vertices are next to each other in the linear representation of the boson operator function. Our main motivation is to shed further light onto the combinatorics arising from algebraic and Fock space properties of boson operators.
We discuss a general combinatorial framework for operator ordering problems by applying it to the normal ordering of the powers and exponential of the boson number operator. The solution of the problem is given in terms of Bell and Stirling numbers enumerating partitions of a set. This framework reveals several inherent relations between ordering problems and combinatorial objects, and displays the analytical background to Wick's theorem. The methodology can be straightforwardly generalized from the simple example given herein to a wide class of operators.
In this article combinatorial aspects of normal ordering annihilation and creation operators of a multi-mode boson system are discussed. The modes are assumed to be coupled since otherwise the problem of normal ordering is reduced to the corresponding problem of the single-mode case. To describe the normal ordering in the multi-mode case for each mode a colour is introduced and coloured contractions are considered. A depiction for coloured contractions via coloured linear representations is given. In analogy to the single-mode case associated coloured Stirling numbers are defined as coefficien…
Bosonization, vertex operators and maximal violation of the Bell-CHSH inequality in wedge regions
Universidade Federal Rural do Rio de Janeiro（里约热内卢联邦农村大学）；Universidade do Estado do Rio de Janeiro（里约热内卢州立大学）；Centro Brasileiro de Pesquisas Físicas（巴西物理研究中心）；ETH Zürich（苏黎世联邦理工学院）
We construct explicit representations of the Heisenberg-Weyl algebra [P,M]=1 in terms of ladder operators acting in the space of Sheffer-type polynomials. Thus we establish a link between the monomiality principle and the umbral calculus. We use certain operator identities which allow one to evaluate explicitly special boson matrix elements between the coherent states. This yields a general demonstration of boson normal ordering of operator functions linear in either creation or annihilation operators. We indicate possible applications of these methods in other fields.
Higgs boson decays produce pairs of $W$ bosons in a maximally entangled state, the spins of which can be expected to violate Bell inequalities. We show that the spin density matrix of the $W^\pm$ pair may be reconstructed experimentally from the directions of the charged lepton decay products, and from it the expectation values of various Bell operators determined. Numerical simulations of $H\rightarrow WW^*$ decays indicate that violation of a generalised CHSH inequality is unlikely to be measurable, however the CGLMP inequality is near-maximally violated. Experimental Bell tests could be per…
We provide the solution to the normal ordering problem for powers and exponentials of two classes of operators. The first one consists of boson strings and more generally homogeneous polynomials, while the second one treats operators linear in one of the creation or annihilation operators. Both solutions generalize Bell and Stirling numbers arising in the number operator case. We use the advanced combinatorial analysis to provide closed form expressions, generating functions, recurrences, etc. The analysis is based on the Dobiński-type relations and the umbral calculus methods. As an illustrat…
We introduce a new distance-based measure for the nonclassicality of the states of a bosonic field, which outperforms the existing such measures in several ways. We define for that purpose the operator ordering sensitivity of the state which evaluates the sensitivity to operator ordering of the Renyi entropy of its quasi-probabilities and which measures the oscillations in its Wigner function. Through a sharp control on the operator ordering sensitivity of classical states we obtain a precise geometric image of their location in the density matrix space allowing us to introduce a distance-base…
Normally ordered forms of functions of boson operators are important in many contexts in particular concerning Quantum Field Theory and Quantum Optics. Beginning with the seminal work of Katriel [Lett. Nuovo Cimento, 10(13):565--567, 1974], in the last few years, normally ordered forms have been shown to have a rich combinatorial structure, mainly in virtue of a link with the theory of partitions. In this paper, we attempt to enrich this link. By considering linear representations of noncrossing partitions, we define the notion of noncrossing normal ordering. Given the growing interest in nonc…
The normal ordering formulae for powers of the boson number operator $\hat{n}$ are extended to deformed bosons. It is found that for the `M-type' deformed bosons, which satisfy $a a^{\dagger} - q a^{\dagger} a = 1$, the extension involves a set of deformed Stirling numbers which replace the Stirling numbers occurring in the conventional case. On the other hand, the deformed Stirling numbers which have to be introduced in the case of the `P-type' deformed bosons, which satisfy $a a^{\dagger} - q a^{\dagger} a = q^{-\hat{n}}$, are found to depend on the operator $\hat{n}$. This distinction betwe…
We calculate the joint probabilities and the correlation function in Einstein--Podolsky--Rosen type experiments with a massive vector boson in the framework of quantum field theory. We report on the strange behavior of the correlation function (and the probabilities) -- the correlation function, which in the relativistic case still depends on the particle momenta, for some fixed configurations has local extrema. We also show that relativistic spin-1 particles violate some Bell inequalities more than nonrelativistic ones and that the degree of violation of the Bell inequality is momentum depend…
In this paper, we show that the infinite generalised Stirling matrices associated with boson strings with one annihilation operator are projective limits of approximate substitutions, the latter being characterised by a finite set of algebraic equations.
We consider sequences of generalized Bell numbers B(n), n=0,1,... for which there exist Dobinski-type summation formulas; that is, where B(n) is represented as an infinite sum over k of terms P(k)^n/D(k). These include the standard Bell numbers and their generalizations appearing in the normal ordering of powers of boson monomials, as well as variants of the "ordered" Bell numbers. For any such B we demonstrate that every positive integral power of B(m(n)), where m(n) is a quadratic function of n with positive integral coefficients, is the n-th moment of a positive function on the positive rea…
We suggest and analyze a new scheme to adiabatically cool bosonic atoms to picokelvin temperatures which should allow the observation of magnetic ordering via superexchange in optical lattices. The starting point is a gapped phase called the spin Mott phase where each site is occupied by one spin-up and one spin-down atom. An adiabatic ramp leads to an xy-ferromagnetic phase. We show that the combination of time-dependent density matrix renormalization group methods with quantum trajectories can be used to fully address possible experimental limitations due to decoherence, and demonstrate that…
Conventional Bell and Stirling numbers arise naturally in the normal ordering of simple monomials in boson operators. By extending this process we obtain generalizations of these combinatorial numbers, defined as coherent state matrix elements of arbitrary monomials, as well as the associated Dobinski relations. These Bell-type numbers may be considered as power moments and give rise to positive measures which allow the explicit construction of new classes of coherent states.
A conventional context for supersymmetric problems arises when we consider systems containing both boson and fermion operators. In this note we consider the normal ordering problem for a string of such operators. In the general case, upon which we touch briefly, this problem leads to combinatorial numbers, the so-called Rook numbers. Since we assume that the two species, bosons and fermions, commute, we subsequently restrict ourselves to consideration of a single species, single-mode boson monomials. This problem leads to elegant generalisations of well-known combinatorial numbers, specificall…
We first devise a scheme to perform a universal entangling gate via controlled collisions between pairs of atomic qubits trapped with optical tweezers. Second, we present a modification to this scheme to allow the preparation of atomic Bell pairs via selective excitation, suitable for quantum information processing applications that do not require universality. Both these schemes are enabled by the inherent symmetries of identical composite particles, as originally proposed by Hayes et al. Our scheme provides a technique for producing weighted graph states, entangled resources for quantum comm…
We demonstrate that the one-axis twisting (OAT), a versatile method of creating non-classical states of bosonic qubits, is a powerful source of many-body Bell correlations. We develop a fully analytical and universal treatment of the process, which allows us to identify the critical time at which the Bell correlations emerge, and predict the depth of Bell correlations at all subsequent times. Our findings are illustrated with a highly non-trivial example of the OAT dynamics generated using the Bose-Hubbard model.
We propose a scheme to test Bell's inequalities for an arbitrary number of measurement outcomes on entangled continuous variable states. The Bell correlation functions are expressible in terms of phase-space quasiprobability functions with complex ordering parameter, which can experimentally be determined both directly via local CV-qubit interaction or indirectly via tomographic reconstructions. We demonstrate that continuous-variable systems can give stronger violations of these Bell's inequalities than of the ones developed for two-outcome observables. Thus, while keeping the feasibility of …
We solve the boson normal ordering problem for $(q(a^†)a+v(a^†))^n$ with arbitrary functions $q(x)$ and $v(x)$ and integer $n$, where $a$ and $a^†$ are boson annihilation and creation operators, satisfying $[a,a^†]=1$. This consequently provides the solution for the exponential $e^{λ(q(a^†)a+v(a^†))}$ generalizing the shift operator. In the course of these considerations we define and explore the monomiality principle and find its representations. We exploit the properties of Sheffer-type polynomials which constitute the inherent structure of this problem. In the end we give some examples illu…
The counterintuitive effect of non-unique ordering of two-qubit states with quantum entanglement measures was discovered over ten years ago. More precisely, it was shown by Monte Carlo simulations that there exist states for which the entanglement of formation and the negativity do not impose the same ordering of states, i.e. $E_{F}(ρ_{AB}) \leq (\geq) E_{F}(ρ_{AB}^{\prime})$ is not equivalent to $N(ρ_{AB}) \leq (\geq) N(ρ_{AB}^{\prime})$. Recently, it was discovered that quantum discord and the geometric quantum discord do not necessarily imply the same ordering of two-qubit $X$-states, which…
We study the entanglement and the Bell nonlocality of a coupled two-qubit system, in which each qubit is coupled with one individual environment. We study how the nonequilibrium environments (with different temperatures or chemical potentials) influence the entanglement and the Bell nonlocality. The nonequilibrium environments can have constructive effects on the entanglement and the Bell nonlocality. Nonequilibrium thermodynamic cost can sustain the thermal energy or particle current and enhance the entanglement and the Bell nonlocality. However, the nonequilibrium conditions (characterized b…
We uncover a form of quantum contextuality that connects maximal contextuality to boson indistinguihability in a similar way maximal nonlocality with respect to the Clauser-Horne-Shimony-Holt Bell inequality is connected to maximal entanglement. Unlike previous forms of photonic contextuality, this form cannot be simulated with classical light, as it relies on indistinguishability and higher-order interference. Ideal measurements on the bosonic system can be performed by means of dispersive coupling with an ancillary qubit. This allows us delaying at will the ending of each measurement and tar…
In this paper combinatorial aspects of normal ordering arbitrary words in the creation and annihilation operators of the q-deformed boson are discussed. In particular, it is shown how by introducing appropriate q-weights for the associated ``Feynman diagrams'' the normally ordered form of a general expression in the creation and annihilation operators can be written as a sum over all q-weighted Feynman diagrams, representing Wick's theorem in the present context.
Most of the paradoxical, for the classical intuition, features of quantum theory were formulated for situations which involve a fixed number of particles. While one can now find a formulation of Bell's theorem for quantum fields, a Kochen-Specker-type reasoning is usually formulated for just one particle, or like in the case of Peres-Mermin square for two. A question emerges. Is it possible to formulate a contextuality proof for situation in which the numbers of particles are fundamentally undefined? We address this problem for bosonic fields. We introduce a representation of the $\mathfrak{su…
The Hong-Ou-Mandel effect is generalized to a configuration of n bosons prepared in the n input ports of a Bell multiport beam splitter. We derive a strict suppression law for most possible output events, consistent with a generic bosonic behavior after suitable coarse graining.
