Entropic Uncertainty Relations for Successive Measurements in the Presence of a Minimal Length

We address the generalized uncertainty principle in scenarios of successive measurements. Uncertainties are characterized by means of generalized entropies of both the Rényi and Tsallis types. Here, specific features of measurements of observables with continuous spectra should be taken into account. First, we formulated uncertainty relations in terms of Shannon entropies. Since such relations involve a state-dependent correction term, they generally differ from preparation uncertainty relations. This difference is revealed when the position is measured by the first. In contrast, state-independent uncertainty relations in terms of Rényi and Tsallis entropies are obtained with the same lower bounds as in the preparation scenario. These bounds are explicitly dependent on the acceptance function of apparatuses in momentum measurements. Entropic uncertainty relations with binning are discussed as well.


I. INTRODUCTION
The Heisenberg uncertainty principle [1] is now avowed as a fundamental scientific concept.Heisenberg examined his thought experiment rather qualitatively.An explicit formal derivation appeared in [2].This approach was later extended to arbitrary pairs of observables [3].These traditional formulations are treated as preparation uncertainty relations [4], since repeated trials with the same quantum state are assumed here.This simplest scenario differs from the situations typical in quantum information science.Since uncertainty relations are now examined not only conceptually, researchers often formulated them in information-theoretic terms.As was shown in [5], wave-particle duality can be interpreted on the basis of entropic uncertainty relations.Basic developments within the entropic approach to quantum uncertainty are reviewed in [6][7][8].Interest in this approach has been stimulated by advances in using quantum systems as an informational resource [9][10][11][12][13].Among more realistic cases, scenarios with successive measurements have been addressed in the literature [14][15][16][17][18]. Researchers are currently able to manipulate individual quantum systems [19,20].In quantum information processing, our subsequent manipulations usually deal with an output of a latter stage.In effect, Heisenberg's thought experiment with microscope should rather be interpreted as related to uncertainties in successive measurements [21].Uncertainty relations in the scenarios of successive measurements have received less attention than they deserve [15].The authors of [15] also compared their findings with noise-disturbance relations given in [22].Studies of scenarios with successive measurements allow us to understand whether preparation uncertainty relations are applicable to one or another question.
In principle, the Heisenberg uncertainty principle does not impose a restriction separately on spreads of position and momentum.It merely reveals that continuous trajectories are unspeakable in standard quantum mechanics, although such principles remain valid within Bohmian mechanics [23].The generalized uncertainty principle is aimed to involve the existence of a minimal observable length.The latter is naturally connected with efforts to describe quantum gravity [24].Some advances in merging quantum mechanics and general relativity are summarized in [25].It is believed that quantum gravitational effects begin to be apparent at the scale corresponding to the Planck length ℓ P = G /c 3 ≈ 1.616 × 10 −35 m.Below this scale, the very structure of space-time is an open problem [26].In addition, Heisenberg's principle is assumed to be converted into the generalized uncertainty principle (GUP) [27][28][29].There exist proposals to test observable effects of the minimal length, including astronomical observations [30,31] and experimental schemes feasible within current technology [32,33].The GUP case connects to many aspects that are currently the subject of active researches [34][35][36][37][38].The generalized uncertainty principle declares a non-zero lower bound on position spread.To reach such a model, the canonical commutation relation should be modified.Deformed forms of the commutation relation were recently studied from several viewpoints.On the other hand, the connections of the GUP with the real world represent an open question.In the context of non-relativistic quantum mechanics, the corresponding formalism was proposed in [39].Another approach to representation of the used observables was suggested in [40].This way is very convenient in extending entropic uncertainty relations to the GUP case [41].
In this paper, we aim to consider entropic uncertainty relations for successive measurements in the presence of a minimal observable length.Of course, our presentation is essentially based on mathematical relations given by Beckner [42] and by Bia lynicki-Birula and Mycielski [43].This direction was initially inspired by Hirschman [44].For observables with finite spectra, basic developments appeared due to [45][46][47].We will largely use the results reported in [48,49].The work in [48] is devoted to formulating entropic uncertainty relations for successive measurements of canonically conjugate observables.The case of position and momentum was addressed therein as a particular example of the scheme developed in [50,51].Entropic uncertainty relations in the presence of a minimal length were examined in [49], and mainly focused on those points that were not considered in this context previously.Combining these two aspects finally led to the generalized uncertainty principle in scenarios of successive measurements.This paper is organized as follows.In Section II, we review preliminary material, including properties of used information-theoretic measures.In Section III, we briefly discuss successive quantum measurements in general.The main results of this paper are presented in Section IV.Both of the typical scenarios of successive measurements will be examined.In particular, we will see how formulating lower entropic bounds depends on the actual order in which measurements of position and momentum have been performed.In Section V, we conclude the paper with a summary of the obtained results.

II. PRELIMINARIES
In this section, we review the required material and fix the notation.To characterize measurement uncertainties, we use entropies of the Rényi and Tsallis types.Let us begin with the case of probability distributions with a discrete label.For the given probability distribution p = {p i }, its Rényi entropy of order α is defined as [52] where 0 < α = 1.For 0 < α < 1, the Rényi α-entropy is a concave function of the probability distribution.For α > 1, it is neither purely convex nor purely concave [53].In the limit α → 1, the formula (1) gives the standard Shannon entropy For the given probability distribution p = {p i } and 0 < α = 1, the Tsallis α-entropy is defined as [54] H Here, we use the α-logarithm expressed as ln α (y) := y 1−α − 1 /(1 − α) for positive variable y and 0 < α = 1.When α → 1, the α-logarithm reduces to the usual one.Then, the α-entropy (3) also leads to the Shannon entropy (2).An axiomatic approach to generalized information-theoretic quantities is reviewed in [55].In more detail, properties and applications of generalized entropies in physics are discussed in [56].In the present paper, we will deal only with entropies of probability distributions.Quantum entropies of very general family were thoroughly examined in [57,58].Quantum Rényi and Tsallis entropies are both particular representatives of this family.
Let w(x) be a probability density function defined for all real x.Then, the differential Shannon entropy is introduced as Similarly, we determine entropies for other continuous variables of interest.For 0 < α = 1, the differential Rényi α-entropy is defined as In contrast to entropies of a discrete probability distribution, differential entropies are not positive definite in general.To quantify an amount of uncertainty, we often tend to deal with positive entropic functions.One possible approach is such that the continuous axis of interest is divided into a set of non-intersecting bins.Preparation uncertainty relations with binning were derived in terms of the Shannon [59] and Rényi entropies [60].To reach a good exposition, the size of these bins should be sufficiently small in comparison with a scale of considerable changes of w(x).Keeping an obtained discrete distribution, we further calculate entropies of the forms (1) and (3).
The generalized uncertainty principle declares the deformed commutation relation for the position and momentum operators [39].For convenience, we will use the wavenumber operator k instead of the momentum operator k.It is helpful to rewrite this relation as Here, the positive parameter β is assumed to be rescaled by factor 2 from its usual sense.With the limit β → 0, the formula (6) gives the standard commutation relation of ordinary quantum mechanics.Due to the Robertson formulation [3], the standard deviations in the pre-measurement state ρ satisfy By Â ρ = Tr( Â ρ), we mean the quantum-mechanical expectation value.Combining ( 6) with ( 7) then gives The principal parameter β is positive and independent of ∆x and ∆ k [39].It directly follows from (8) that ∆x is not less than the square root of β.As was shown in [40], the auxiliary wavenumber operator q allows us to mediate between ( 6) and the standard commutation relation.Let x and q be self-adjoint operators satisfying [x, q] = i.In the q-space, the action of q results in multiplying a wave function ϕ(q) by q, whereas xϕ(q) = i dϕ/dq.Then, the wavenumber k can be represented as [40] The auxiliary wavenumber obeys the standard commutation relation but ranges between ± q 0 (β √ β gives a one-to-one correspondence between q ∈ (− q 0 ; + q 0 ) and k ∈ (− ∞; + ∞).So, the eigenvalues of k fully cover the real axis.Further details of the above representation are examined in [40].
For any pure state, we will deal with three wave functions φ(k), ϕ(q), and ψ(x).The formalism of [40] is convenient in the sense that it explicitly describes the space of acceptable wave packets.In the q-space, these states should have wave functions that vanish for |q| > q 0 (β).Here, the auxiliary wave function ϕ(q) is a useful tool related to ψ(x) via the Fourier transform.In the q-space, the eigenfunctions of x appear as exp(−iqx) √ 2π.Thus, any wave function in the coordinate space is expressed as Wave functions in the q-and x-spaces are connected by the Fourier transform [40], The distinction from ordinary quantum mechanics is that wave functions in the q-space should be formally treated as 0 for all |q| > q 0 (β).
Using the above connection, the author of [41] affirmed the following.The uncertainty relation given in [42,43] is still valid in the GUP case.However, wave functions in the q-space are actually auxiliary.In the GUP case, the physically legitimate wavenumber and momentum involved in the relation ( 6) are described by wavefunctions in the k-space.A real distribution of physical wavenumber values is determined with respect to φ(k) instead of ϕ(q).Let us examine the probability that momentum lies between two prescribed values.In view of the bijection between the intervals (k 1 ; k 2 ) and (q 1 ; q 2 ), this probability is expressed as so that |φ(k)| 2 dk = |ϕ(q)| 2 dq.Hence, two probability density functions u(k) and v(q) are connected as u(k) dk = v(q) dq, in another form For pure states, when u(k) = |φ(k)| 2 and v(q) = |ϕ(q)| 2 , the formula ( 13) is obvious.It can be extended to mixed states due to the spectral decomposition.However, one is actually unable to obtain the probability density functions u(k) and w(x) immediately.
In reality, any measurement apparatus is inevitably of a finite size.Devices with a finite extension need a finite amount of energy.Hence, one cannot ask for some state in which the measurement of an observable gives exactly one particular value of position.In more detail, measurements of coordinates of a microparticle are considered by Blokhintsev ([62], Chapter II).The generalized uncertainty principle imposes another limitation for position measurements.Although eigenstates of position and momentum are often considered explicitly, they are rather convenient tools of mathematical technique.The corresponding kets are not elements of the Hilbert space, but can be treated in the context of rigged Hilbert spaces [61].Instead, we aim to use narrow distributions of a finite but small width.Measuring or preparing some state with the particular value ξ of position, one has to be affected by a neighborhood of ξ.Therefore, we treat each concrete result only as an estimation compatible with the GUP.
Thus, we cannot directly obtain probability density functions of the form u(k) and w(x).Here, a finiteness of detector resolution should be addressed [15,48].Measuring or preparing a state with the particular value ξ of position, one is affected by some vicinity of ξ.In this way, we refer to generalized quantum measurements.Let the eigenkets |x be normalized through Dirac's delta function.As was already mentioned, such kets cannot be treated as physical states even within ordinary quantum mechanics.In a finite-resolution measurement of position, the set X = |x x| is replaced with some set N of operators of the form An acceptance function ξ → g(ξ) satisfies the condition Then operators of the form ( 14) lead to a generalized resolution of the identity, where the right-hand side is treated as the identity operator.For the pre-measurement state ρ, the measurement leads to the probability density function This should be used instead of w ρ(x) = x|ρ|x .When the acceptance function is sufficiently narrow, we will obtain a good "footprint" of w ρ(x).Let ζ → f (ζ) be another acceptance function that also obeys the normalization condition.A finite-resolution measurement of the legitimate wavenumber is described by some set M of operators Here, the initial resolution K = |k k| is replaced with M = M (ζ) .Instead of u ρ(k) = k|ρ|k , we actually deal with the probability density function For good acceptance functions, a distortion of statistics will be small.The Gaussian distribution is a typical form of such functions [15].We will assume that a behavior of acceptance functions is qualitatively similar.

III. ON SUCCESSIVE MEASUREMENTS OF OBSERVABLES IN GENERAL
In this section, we generally formulate the question with respect to two successive measurements of observables with continuous spectra.It is more sophisticated than an intuitive obvious treatment of successive measurements on a finite-dimensional system.The latter allows us to deal with projective measurements, since all observables have a discrete spectrum.Such an approach is not meaningful for the case of position and momentum.On the other hand, the finite-dimensional case is important for understanding basic formulations related to continuous observables.To motivate our approach, we briefly review entropic uncertainty relations for successive projective measurements.Further, we will present a suitable reformulation for the case of position and momentum.Together with the entropic formulation, other approaches to express uncertainties in quantum measurements are of interest.In particular, modern investigations are based on the sum of variances [63,64], majorization relations [65][66][67][68][69], and the method of effective anticommutators [70].The authors of [71] discussed some surprising results that may occur in application of entropic measures to quantify uncertainties in quantum measurements.These questions are beyond the scope of our consideration.
Scenarios with successive measurements are of interest for several reasons.The concept of wave function reduction assumes that we perform at least two successive measurements on a system (see for example Section 5.5 of [72]).By Λa ∈ A, we denote a projector onto the a-th eigenspace of finite-dimensional observable Â.For the pre-measurement state ρ, the probability of outcome a is written as Tr( Λa ρ).Such probabilities form a discrete distribution, from which we calculate quantities of interest.By R α (A; ρ) and H α (A; ρ), we further mean the entropies (1) and ( 3) calculated with the probabilities Tr( Λa ρ).After the measurement of Â, we measure another observable B. It is actually described by the set B = { Πb }.Note that subsequent measurements are assumed to be performed with a new ensemble of states.The latter differs from traditional uncertainty relations in the preparation scenario.Scenarios with successive measurement are fixed by the used form of post-first-measurement states [16].
In the first scenario, the second measurement is performed on the state immediately following the first measurement with completely erased information.Here, the pre-measurement state of the second measurement is expressed as [14] Υ To characterize the amount of uncertainty in two successive measurements, we will use quantities of the form and similarly with the corresponding Tsallis entropies.In the second scenario of successive measurements, we assume that the result of the first measurement is maintained.A focus on actual measurement outcomes is typical for the so-called selective measurements.For example, incoherent selective measurements are used in the formulation of monotonicity of coherence measures [73].Coherence quantifiers can be defined with entropic functions of the Tsallis [74] and Rényi types [75].In effect, the second measurement will be performed on the post-first-measurement state selected with respect to the actual outcome [16,17].Due to the Lüders reduction rule [76], this state is written as Of course, the first sum in the right-hand side of ( 22) vanishes.Measuring Â in its eigenstate leads to a deterministic probability distribution, whence R α (A; τa ) = 0 for all a.It is for this reason that only the left-hand side of ( 22) is used in studies of uncertainties in successive measurements of finite-dimensional observables.In a similar manner, we can rewrite (20) and (22) with the use of Tsallis' entropies.For α = γ = 1, the quantity (22) becomes the Shannon entropy averaged over all a.The authors of [16] utilized the latter as a measure of uncertainties in successive measurements.Uncertainty relations for successive projective measurements in terms of Rényi's entropies were analyzed in [17].Formally, the sums involved in (22) are similar to one of several existing definitions of conditional Rényi's entropy.In more detail, these definitions are discussed [77].The simplest of them just leads to expressions of the form (22).Moreover, the two kinds of conditional Tsallis entropy are known in the literature [78,79].More properties of generalized conditional entropies are discussed in [80].
Let us proceed to exact formulations for successive measurements of position and momentum.One cannot provide states in which the measurement of position or momentum gives exactly one particular value.Instead, we deal with well localized states of finite or even small scales.Following [48], the right-hand side of ( 22) will be used in extending the second scenario to the position-momentum case in the presence of a minimal length.Suppose that the first applied measurement aims to measure momentum.The authors of [15] mentioned how the post-first-measurement state should be posed.In our notation, we write This expression replaces the formula (19) suitable for observables with a purely discrete spectrum.The following important fact should be pointed out.If we again measure momentum, but now with the state (23), then it will result in the same probability distribution function.It can be derived from (17) that Such relations may be interpreted as a mild version of the repeatability concept.For strictly positive α = 1, the Rényi α-entropy R α (M; ρ) is given by substituting U ρ(ζ) into (5).The standard differential entropy H 1 (M; ρ) can be obtained within the limit α → 1.Also, the Rényi α-entropy R α p (δ) M ; ρ is defined by (1) by substituting probabilities defined through a discretization of the ζ-axis.When the first measurement is described by the set N , the post-first-measurement state is specified as Let ρ denote the state right before the sequence of successive measurements.In the first scenario of successive measurements, we will characterize uncertainties by entropic quantities of the form The former of the two sums concerns the case in which momentum is measured.Another useful approach is to calculate entropies with binning.For instance, sampling of the function (18) into bins between marks ζ j gives a discrete probability distribution p (δ) M .In the second measurement, entropies can be taken with binning between some marks ξ k .By p (δ) N , we mean the corresponding probability distribution.This approach leads to the characteristic quantities In a similar manner, we formulate entropic measures of the Tsallis type.As was already mentioned, such entropies will be taken only with binning.
The second scenario of successive measurements prescribes that each actual result of the first measurement should be retained.Assuming U ρ(ζ) = 0 in the corresponding domain, we now consider the normalized output state Each ̺(ζ) is used as one of possible pre-measurement states in the second measurement.Similarly to (22), we then consider the quantity When position is measured by the first, particular outputs are of the form To describe the amount of uncertainty here, we rewrite (29) with σ(ξ) instead of ̺(ζ) and W ρ(ξ) instead of U ρ(ζ).We will also utilize entropic uncertainty relations with binning.Here, one replaces (29) with and similarly with the Tsallis entropies.Quantities of the form (31) concern successive measurements, in which position is measured after momentum.When position is measured by the first, we rewrite such expressions with σ(ξ) and W ρ(ξ).In the paper [48], the above treatment of successive measurements was considered for general canonically conjugate operators.This approach to the concept of canonical conjugacy is based on the Pegg-Barnett formalism [50].The Pegg-Barnett formalism was originally proposed to explain a Hermitian phase operator [81,82].Entropic uncertainty relations on the base of this formalism were examined in [51,83,84].

IV. MAIN RESULTS
In this section, we shall formulate entropic uncertainty relations for successive measurements within the GUP case.For this case, preparation uncertainty relations with a correction term were derived in [49].For the convenience of further calculations, the prepared pre-measurement state will be denoted by ω.Due to [49], we have M ; ω).In a similar way, we discretize the ξ-axis into bins δξ j = ξ j+1 − ξ j with the resulting distribution p (δ) N .It can be shown that where δζ = max δζ i and δξ = max δξ j .The formula (41) gives a preparation uncertainty relation with binning.It involves the same correction term due to the existence of a minimal length.To pose entropic uncertainty relations in the first scenario of successive measurements, we again use reasons that have led to (34) and (35).Finally, one gets In the second scenario of successive measurements, entropic uncertainty relations with binning are obtained in the form In the presence of a minimal length, distinctions of ( 43) and ( 45) from the corresponding preparation relations are concentrated in correction terms.In effect, these terms are not state-independent.On the other hand, entropic bounds of preparation uncertainty relations remain valid, when momentum is measured by the first.The author of [49] also reported on state-independent entropic uncertainty relations in the presence of a minimal length.Such relations were posed in terms of the Rényi and Tsallis entropies with binning.An alteration of statistics due to a finite resolution of the measurements is also taken into account.When acceptance functions of measurement apparatuses are sufficiently spread, they lead to an increase of entropic lower bounds.To pose uncertainty relations formally, we introduce the following quantity [49], where the acceptance function ζ → f (ζ) corresponds to momentum measurements.Let ω represent the prepared state.As was shown in [49], the existence of a minimal length leads to preparation uncertainty relations of the form Here, positive entropic parameters obey 1/α + 1/γ = 2 and κ 2 = α 1/(α−1) γ 1/(γ−1) .( In the limit α → 1, the parameter κ becomes equal to e.When β = 0, we clearly have S f = 1, so that the right-hand side of (47) reduces to ln(κπ).The latter is a known entropic bound for the case of usual position and momentum.For β > 0 and physically reasonable acceptance functions, we obtain an improved lower bound due to S f < 1.It is important that the quantity (46) depends only on β and the actual acceptance function in momentum measurements.Preparation entropic uncertainty relations with binning are posed as follows [49].Let probability a proper form of the state immediately following the first measurement.The post-first-measurement state was chosen according to the two possible scenarios.Uncertainty relations in terms of Shannon entropies contain a state-dependent correction term.Hence, entropic lower bounds for successive measurements generally differ from lower bounds involved into preparation uncertainty relations.We also formulated state-independent uncertainty bounds in terms of Rényi entropies and, with binning, in terms of Tsallis entropies.In the presence of a minimal length, state-independent entropic lower bounds of preparation uncertainty relation remain valid for scenarios with successive measurements.When acceptance functions of measurement apparatuses are sufficiently spread, the existing entropic lower bounds are improved.
) values.In contrast, differential entropies can generally have arbitrary signs.In the case of momentum measurements, values ζ i denote the ends of intervals δζ i = ζ i+1 − ζ i .For the prepared state ω, we deal with probabilities (40)sing(40), one calculates the Shannon entropy H 1 (p