Effective information bounds in modified quantum mechanics

A common feature of collapse models and an expected signature of the quantization of gravity at energies well below the Planck scale is the deviation from ordinary quantum-mechanical behavior. Here, we analyze the general consequences of such modifications from the point of view of quantum information theory and we anticipate applications to different quantum systems. We show that quantum systems undergo corrections to the quantum speed limit which, in turn, imply the modification of the Heisenberg limit for parameter estimation. Our results hold for a wide class of scenarios beyond ordinary quantum mechanics. For some nonlocal models inspired by quantum gravity, the bounds are found to oscillate in time, an effect that could be tested in future high-precision quantum experiments.


INTRODUCTION
Quantum mechanics has proven to be extraordinary powerful to provide an accurate description of physical processes at the atomic and subatomic scale and has enabled the development of new technologies that are now part of daily life.In spite of roughly a century of predictive success, there are still hot debates about its conceptual backgrounds, in particular concerning the consistency and completeness of the theory.A notable example is the measurement problem, namely, how a superposition of states collapses towards a definite outcome.The concept of measurement-induced collapse of the wave function, known as the Copenhagen interpretation, provides the classical solution to this issue.An alternative approach is given by models of wave-function collapse (collapse models) that instead consider modifications of the theory.In such models the usual linear and deterministic Schrödinger evolution is modified by the addition of nonlinear and stochastic terms, in an attempt to include in the theory the intrinsic nonlinearity and stochasticity of the measurement process [1][2][3][4].Other more specific models have been proposed in literature, the most notable being the one by Diosi and Penrose for the gravitational-induced collapse [5,6].While these modifications produce the spontaneous collapse of the wave function independently of any measurement processes, they also lead to new phenomena in appropriate experimental regimes and several precision experiments have been recently performed in search of these effects [7][8][9][10].
Alternative models for gravitational decoherence rely on the deformation of the Heisenberg algebra and the corresponding modification of the uncertainty principle [11].Such generalized uncertainty relations arise from the prediction, common to string theory, loop quantum gravity and Gedanken experiments in black hole physics, of the existence of a minimal observable length [12][13][14][15][16].This has suggested the possibility to detect low-energy signatures of quantum gravitational effects in the form of deviations from the standard quantum theory [17].Proposed settings include accurate spectroscopic measurements [18][19][20], gravitational bar detectors [21] and optomechanical experiments [22,23], to name just a few.
Remarkably, modifications of quantum mechanics by a deformation of the Heisenberg algebra are not limited to realm of quantum gravity, but naturally arise as higher-order corrections in any low-energy effective field theory [24,25].Such modified theories provide a description of the dynamics of quantum fluctuations in several condensed-matter systems [26][27][28][29] that could be thus exploited for simulating these effects in the laboratory.
All the aforementioned deviations generally imply changes in the energy spectrum of quantum systems, as well as in the time evolution, expectation values, and uncertainties of a given observable.These effects of these modifications have been analysed in different contexts in the last decades (see e.g.Refs.[17][18][19][30][31][32][33][34][35][36]), in particular to shed light on detectable infrared effects of quantum gravity, or to put constraints on the related deviation parameters.Surprisingly, however, the general implications of modified quantum rules on quantum metrology and quantum computation have not been investigated so far.
In ordinary quantum mechanics, the minimum time required for a quantum system to evolve between two distinguishable states is limited by the quantum speed limit [37].This limit is closely related to time-energy uncertainty relations as illustrated by the Mandelstam-Tamm bound [38].
The quantum speed limit can be also expressed in terms of the average energy of the system via the Margolus-Levitin bound [39].The latter can also be identified with the Heisenberg limit for parameter estimation and, as demonstrated by Lloyd, can be used to derive a fundamental upper limit in the computation speed [40].Remarkably, it was shown that environmental effects, such as non-Markovian dynamics can speed up quantum processes [41], which was also verified in a cavity quantum electrodynamic experiment [42].This motivates the question about the universality of such fundamental limits and whether possible violations could be the manifestation of some new physics coming into play.
In this paper, we show that an increase in the quantum speed limit is expected for a wide class of deviations from quantum mechanics, as those predicted by theories that aim to merge quantum physics and gravity.Since in all approaches these deviations are proportional to the ratio between the energy scale probed by the system and the scale at which conventional quantum theory ceases to be applicable, they manifest as small corrections to the standard quantum dynamics, which justify the use of a perturbative expansion of usual quantum operators and states.We derive generalized expressions of the above fundamental bounds and discuss how these imply the lowering of the Heisenberg limit and the increase of Lloyd's bound on the maximum speed at which quantum computation can be performed.We suggest that since black holes attain the Lloyd's computation bound, analogue black holes in condensed-matter experiments could be used to realize, at least in principle, quantum computation at a speed saturating the modified bounds emerging in their systems.Our results are general as they do not rely on any specific modification of quantum mechanics.We finally focus on a specific class of quantum gravity-induced non-local modifications of quantum mechanics and predict a scenario in which the bounds are oscillating in time, an effect that could be testable in future high-precision experiments on macroscopic quantum oscillators.

THEORETICAL FRAMEWORK
We start our analysis from an operator K, which is the generator of translations in the parameter θ and denote its eigenstates by |i⟩.When K is for instance the Hamiltonian operator H, the parameter θ corresponds to the time variable t.We remark that this formalism can be applied to any general operator probing a parameter like time or phase, but cannot be directly applied to study the relation between two operators, like e.g.position and momentum.We consider a generic modification of the quantum theory such that the eigenstates of the operator K will be modified to |i g ⟩.For consistency the deviations are assumed to be small in which case the generalized eigenstate can be expressed in terms of the original eigenstates |i⟩ and a first-order correction |i 1 ⟩ as |i g ⟩ = |i⟩ + η|i 1 ⟩, with η being a dimensionless parameter quantifying the deviation for the ordinary quantum behaviour.Similarly, we write the new state of the system by |Ψ g ⟩, such that The sign of the parameter η depends on the specific model under consideration.However, for most for most of the above theories, which achieve a modification to standard quantum mechanics due to gravitational effects (see e.g.[4,17,30] ), η is positive, and a further example is provided by the nonlocal scenario analyzed in this work.In this manuscript, we will primarily concentrate on this class of theories, bearing in mind that negative values of η are also feasible.
It is important to highlight that the above expansions should not be interpreted as usual perturbed states (for instance, as those associated to some complex Hamiltonian) in ordinary quantum mechanics, but rather as an effective first-order description of the dynamics of a quantum system that obeys some modified quantum rules, where η encodes the scale at which such modifications come into play.We will revisit this concept later on.
Within this generalized framework, and at the first order in η, the probability for the state |Ψ g ⟩ to collapse into a state |i g ⟩ can be as P ig can be expressed in terms of the original probability P i for the state |Ψ⟩ to collapse into |i⟩ and its first order corrections P i1 , such that P ig = P i +ηP i1 .We can express the generalized density matrix Since the generalized quantum Fisher information for the above state is The modified variation ∆ g K g can be obtained by deforming both K and the ρ.So, it can be expressed in terms of the original variation ∆K and its first order corrections ∆ these expressions in Eq. ( 1), the generalized quantum Fisher information for the parameter θ associated with this generator can be written as The generalized quantum Fisher information for the parameter θ can be written in terms of the average of the modified variation ∆ g K g .Here we have to take the average with respect to the modified eigenstates of As the average is taken over the modified eigenstates, the trace is taken with respect to (ρ + ηρ 1 ) rather than ρ.Thus, we can write Here, using ∆ g K g = ∆K + η∆ 1 K 1 , up to the first order in η, we can write where ⟨(∆K) 2 ⟩ 1 denotes the average is taken with respect to ρ 1 .
For any couple of quantum states, |Ψ⟩ and |Φ⟩ in a Hilbert space, the statistical distance between them can be expressed in terms of the angle s = arccos |⟨Ψ|Φ⟩| that can be related to the quantum Fisher information through the expression F (θ) = (ds/dθ) 2 .A similar relation holds between the generalized quantum Fisher information F g (θ) and the generalized statistical distance , where |Ψ g ⟩ and |Φ g ⟩ are the modified states of the system.
Using this relation, we can express the bound on the generalized quantum Fisher information as Integrating this expression, we obtain a generalized bound on θ For the special case in which and K is the Hamiltonian operator H and thus θ is the time t, Eq.
(5) gives the modified Mandelstam-Tamm bound We remark that the above expansions should be interpreted as an effective description of the consequences of some modified quantum rules.Within this generalized framework, and at the first order in η, a system governed by the Hamiltonian H evolves effectively as if it were governed by the Hamiltonian H + ηH 1 in ordinary quantum mechanics.Consequently, it undergoes a modified limit 6, which mirrors the limit of a system governed by the Hamiltonian H in standard quantum mechanics.
One can readily verify that Eq. ( 6) reduces to the standard bound [38] in the limit η → 0, which can be readily put in the form of a time-energy uncertainty relation.The modified bound ( 6) can be thus also viewed as the consequence of a generalized uncertainty relation emerging in the context of a modified Schrödinger evolution.On the other hand, the above expression is not a statement about simultaneous measurements, but it should be rather interpreted as the time a quantum system needs to evolve from an initial to a final state.
This interpretation was further supported by Margolus and Levitin's result on the minimal time for a quantum system to evolve to an orthogonal state.To calculate this quantity in our generalized framework we first observe that starting from |Ψ g,0 ⟩ at θ = 0 we can evolve it to |Ψ g,θ ⟩ as where K g is a generic operator.As before, the generalized statistical distance between the quantum states at θ = 0 and any finite θ is s g = arccos |⟨Ψ g,0 |Ψ g,θ ⟩|.Using (7), we observe that −d|⟨Ψ g,0 |Ψ g,θ ⟩|/dθ ≤ |d⟨Ψ g,0 |Ψ g,θ ⟩/dθ| and from Schwarz inequality we obtain [85] Integrating this equation, we get the deformed bound for θ in terms of average of the operator Expanding up to the first order in η yields When K is the Hamiltonian operator H and θ the time variable t, Eq. ( 9) takes the form of a generalized Margolus-Levitin bound which reduces to the standard result when η → 0 [39].
PHYSICAL IMPLICATIONS: FROM QUANTUM METROLOGY TO QUANTUM

COMPUTING
The above modification can have important physical consequences, for instance in the dynamics of the orthogonality catastrophe [43], the classification of symmetry-breaking properties of states and operations [44], the Kibble-Zurek mechanism [45], to name just a few.Maybe one of the most intriguing features is that quantum speed limit is related to spacetime quantum fluctuations [46].
An increased quantum speed limit is expected to imply the amplification of such fluctuations, with implications ranging from the cosmological constant [47][48][49][50] to the causal structure of spacetime [51].Remarkably, such amplified fluctuations should translate into an additional source of noise in highly-sensitive interferometric experiments that, in principle, could be detected or constrained by gravitational wave detectors [52,53].
A further relevant question related to the above modified fluctuations is whether they increase or decrease the accuracy of measurement of a parameter probed by a modified operator, such as time [54,55] or phase [56][57][58].This issue is addressed by investigation the modifications to the Heisenberg limit, which ultimately bounds the accuracy of measurement of such parameters [59].
The Margolus-Levitin bound can be in fact identified with the Heisenberg limit, which has been shown to be optimal for all parameter estimation procedures in quantum metrology [59].Using the modified bound (9), we can write the generalized Heisenberg limit as which for η > 0 corresponds to an increase of the achievable precision in the estimation of θ.
A further fundamental bound which highlights the deep relation between metrology and quantum speed limits is the Cramér-Rao lower bound for the variance of an unbiased estimator [60,61].
Defining δθ as the root mean square error in the estimation of θ, we have δθ ≥ 1/ νF (θ) [62], where ν the number of times the system has been probed and F (θ) the quantum Fisher information.Any generalization of the quantum Fisher information, F g (θ) will thus modify the Cramér-Rao bound to δθ ≥ 1/ νF g (θ) .
If we consider that the parameter we wish to estimate is the elapsed time from a given evolution governed by a time-independent Hamiltonian H, then Eq. ( 12) bounds the time uncertainty by the modified quantum Fisher information.
In computing language, the Margolus-Levitin's theorem on the maximum rate at which a quantum system can evolve through distinct states, translates into a theoretical upper limit on the number of operations that can be performed in a unit time.Lloyd applied Margolus-Levitin's results to derive an upper bound for the computation speed of any system and argued that the maximum rate is actually attained by black holes [40].The saturation of the Lloyd's bound by black holes has been then rigorously demonstrated using quantum complexity and its relation to fidelity [63,64].If black holes can contain hairs, e.g.quantum fields in equilibrium with the black hole, neither infalling nor escaping to infinity, such configurations would conceptually represent the fastest achievable quantum computers.In the presence of modifications of quantum mechanics (e.g.induced by quantum gravitational effects), the corresponding bounds would be even lower due to the increased quantum speed limit.
While a real black hole is certainly not the most appropriate platform one could think to perform computations or experimental tests, the above ideas have the merit to provide new insights on the properties that a hypothetical system should have in order to attain these limits.The so-called analogue-gravity models, in which Lorentz invariance is recovered as a low-energy limit of modified dispersion relations has been successfully used in the last decade to simulate black hole geometries and related phenomena, such as the emission of Hawking radiation and Penrose superradiance [65].The scale at which the higher-order corrections become effective and the Lorentz symmetry is broken is related to the underlying microscopic physics of the specific system.Numerical and experimental studies based on these models have demonstrated the robustness of the Hawking emission [66][67][68][69][70] and the Penrose process [71][72][73] against the short-scale cutoff of field modes, thus supporting their interpretation as infrared effects.
On the other hand, these systems represent a natural platform to test fields on black-hole spacetime obeying modified quantum laws.At difference with quantum gravitational ultraviolet corrections to real black holes, the way in which such corrections emerge from the microscopic theory in analogue-models is reasonably well modelled and understood.Remarkably, in some of these models the elementary collective excitations evolve as massive scalar fields that in the nonrelativistic limit are governed by modified Schrödinger equations [28,29] similar to those of collapse models.In addition, analogue of hairy black hole solutions arise in these systems as equilibrium configurations between the massive excitation field and the black-hole geometry [74,75].Although a precise correspondence of these solutions with those found in General Relativity or modified gravity theories cannot be established, it would be anyway fascinating to explore these systems to test novel quantum computation limits in black hole scenarios beyond ordinary quantum mechanics.

A SPECIFIC EXAMPLE: NON-LOCAL MODIFICATIONS OF QUANTUM MECHANICS
We now analyze the implications of our results on a specific class of non-local modifications of quantum mechanics [76,77].These modifications are consistent with the low-energy predictions of non-local effective field theories arising in different approaches to quantum gravity.Examples are found in the context of string field theory [78], non-commutative geometries [79], causal set theory [80] and loop quantum gravity [81].Such non-local effective field theories lead to a modified Schrödinger evolution in the nonrelativistic limit [76,77].High-precision experiments in quantum systems could thus offer a concrete possibility of observing quantum gravity effects, or at least constrain a whole class of candidate theories.
Most of on-going experiments and recent proposals are based on optomechanical systems, where deviations from the standard behaviour could be detected in the dynamics of macroscopic mechanical oscillators [22,23,77].Motivated by these investigations, we focus on the non-local quantum evolution of a harmonic oscillator.The non-local Hamiltonian, truncated at the first order in the dimensionless parameter η is given by [82] where here (η) is proportional to the ratio between the scale of non-locality and the width of the oscillators ground-state wave function (see also Appendix for more details).The average energy calculated on a generic state can be expressed as where we used the ansatz |Ψ g ⟩ = |Ψ⟩ + η|Ψ 1 ⟩ and we neglected second-order terms in η.
We consider |ψ(x, t)⟩ to be a generic coherent state of amplitude α (the corresponding results for the ground state can be found by setting the coherent amplitude α = 0).This choice is motivated by the fact that the preparation of a mechanical oscillator in a pure state (e.g a Fock state) is not straightforward and has never been achieved so far in optomechanics.On the other hand, mechanical oscillators have been already cooled down to thermal occupation numbers below unity, i.e. close to the quantum ground state (see e.g.[83,84]) and can be excited in a state of definite coherent amplitude.For such a state Eq. ( 14) can be written as ⟨H g ⟩ g ≡ B(t) ≈ E 0 + ηB t where B t is a periodic function of time (see Appendix).Using ( 9) we can derive a minimum time t min for a coherent state to evolve into another given by [87] The correction B t /E 0 for some values of the coherent amplitude α is plotted in Fig. 1.For higher values of α, the curves are everywhere positive, indicating that the minimum time t min always falls below the standard Margolus-Levitin limit (Eq.( 15)).Conversely, at lower α values, in particular at the ground state (α = 0), the B t /E 0 ratio periodically drops below zero.As a result, the minimum time periodically exceeds the standard limit, albeit exhibiting a lower average value.While the latter result was indeed predicted by the general formula (9) for η > 0, the time dependence of the bound is a specific consequence of the model here considered, and can be attributed to first-order effects of non-locality which are mainly encoded in the anti-Hermitian part of the Hamiltonian (13), 2ixp + 1.Using Eq. ( 11), with θ = t and ⟨K g ⟩ g = ⟨H g ⟩ g , we obtain which provide a correction to the Heisenberg limit.Therefore, even the accuracy in measuring time δt now becomes a function of the time itself, a result that is specific of this form of non-locality at least at the level of first-order perturbative terms.

CONCLUSIONS
In conclusion, we demonstrated that for a wide class of modifications of quantum mechanics as, for instance, those expected as consequences of quantum gravitational effects, the quantum speed limit is increased.We derived generalized expressions for the Mandelstam-Tamm, the Margolus-Levitin and Cramér-Rao bounds and discussed the implications of these new limits in the context of quantum metrology and quantum computing.The generalized expressions we obtained do not rely on any specific modification of quantum mechanics and can thus be applied to any system in which such high-order corrections could come into play.As an example, we have considered a specific class of non-local modifications of quantum mechanics inspired by different approaches to quantum gravity.Our analysis not only showed a quantitative reduction of the limits but, above all, revealed a completely new physics (the oscillation in time of the aforementioned bounds) which, according to the above models, provides a low-energy signature of quantum-gravity induced non-locality.We thus expect our work to motivate new experimental tests that could either detect deviations of the above limits or otherwise cast severe constraints on the deviation parameter η, as well as to shed new light in the physics of some condensed-matter systems, the fluctuations of which can be described in terms of modified effective field theories.The latter, in turn, can be exploited as analog simulators of semi-classical gravity and quantum-gravity phenomenology.
We assume that f is an analytic function, so that it can be formally expanded as a power series (this is not generally the case) f (z) = ∞ n=1 b n z n .Upon making the ansatz ϕ(x) = e −i mc 2 ℏ t ψ(t, x) and taking the non relativistic limit (c → ∞), the nonlocal Klein-Gordon equation reduces to a nonlocal Scr 'odinger equation of the form where is the usual Schrödinger operator and f (S) can be expanded in power series where the b n are dimensionless coefficients.
We now focus on the nonlocal dynamics of quantum harmonic oscillator introducing the harmonic potential V (x) = 1 2 mω 2 x 2 , m is the mass of the system and ω its natural angular frequency (we assume that low energy effects of nonlocality only enters in modifying the spacetime derivatives, while not affecting the form of the potential).
The introduction of the potential allows one to construct a dimensionless parameter η ≡ mωl 2 k /ℏ which can be used to define the perturbative expansion.Note that √ η represents the ratio between We assume solutions of the form where ψ 0 is a solution to the standard Schrödinger equation with harmonic potential, and higher order terms are suppressed by powers ϵ.In doing this we are implicitly assuming that the non-local equation admits ψ 0 as a good approximate solutions, assumption which is strongly motivated by experimental observations.
At zeroth-order in ϵ we have the standard Schrödinger equation with a harmonic oscillator potential for which we choose a solution corresponding to a coherent state where α is the coherent amplitude.To solve the equation to first order we make the following ansatz ψ 1 (t, x) = ψ α 0 (t, x) c 0 (t) + c 1 (t)x + c 2 (t)x 2 +c 3 (t)x 3 + c 4 (t)x 4 .
Substituting this into Eq.[21] and keeping only terms of order η one finds c 0 (t) = 1 32 a 2 e −8it α 4 − 8α 4 e 2it + 8α The Hamiltonian formulation of the above non-local harmonic oscillator model has been derived in Ref. [82].At first order in the perturbation parameter η the Hamiltonian is The average energy of a deformed state can be expressed as Using Eq. ( 23) and ( 25) we find that the average energy of the deformed coherent state can be expressed as where

FIG. 1 :
FIG.1:The correction term B t /E 0 to the limits (15) and (16) as a function of time for different values of the coherent amplitude and η = 0.01.