1. Introduction
The concept of out-of-time-ordered-correlators (OTOC) was first introduced by the author duo Larkin and Ovchinnikov to describe the semi-classical correlation in the context of superconductivity [
1], which was mostly used in various condensed matter systems to study various out-of-equilibrium phenomena in the quantum regime [
2]. However, recently, it has attracted the attention of theoretical physicists from other branches in very different contexts, finding applications in the finite-temperature extension of quantum field theories, bulk gravitational theories, quantum black holes, and many more sensational topics [
3,
4,
5,
6,
7,
8]. It is considered to be one of the strongest theoretical probes for quantifying quantum chaos in terms of quantum
Lyapunov exponent [
9], as well as quantum theories of
stochasticity and
randomness, among the theoretical physics community. Besides playing a key role in investigating the holographic duality [
10,
11,
12,
13] between a strongly correlated quantum system and a gravitational dual system, it also characterizes the
chaotic behavior and
information scrambling [
14,
15,
16,
17,
18,
19,
20] in the context of many-body quantum systems [
21,
22,
23]. The detailed study of OTOCs reveals an intimate relationship between three entirely different physical concepts, namely
holographic duality,
quantum chaos, and
information scrambling. The key idea of OTOCs can be best understood as the growth of the non-commutativity of quantum mechanical operators Specifically, this non-commutative structure of the quantum operators describes the unequal time commutation relations (UETCRs) within the framework of quantum mechanics. However, the mathematical structure, as well as the physical consequences of these correlators in the quantum regime, is completely different from the concept of formulating advanced and the retarded correlators. In the later part of this paper, we will explicitly demonstrate such differences or the correlators within the framework of micro-canonical and canonical quantum statistical systems, which are defined at different time scales, and, hence, can be described using the Poisson Brackets for its classical counterpart. Not only that but also the quantum mechanical thermal ensemble average, or, equivalently, the quantum mechanical trace operation, can be described by using the phase space average in the classical limit. It is considered as the quantum mechanical analogue of the classical sensitiveness to the initial conditions in the time dynamics of a quantum system. The exponential growth of these correlators indicates the presence of chaos in the quantum system, which has led to discussions of the “
butterfly effect” in black holes [
24,
25,
26] with a saturation bound on the
quantum Lyapunov exponent and for various spin models [
27,
28].
There has been a growing interest to understand the behavior of OTOC, even for systems where quantum chaos is expected to be absent, the most relevant example being the study of OTOC in the quantum Ising spin chain model, where power law growth of OTOCs is observed, as opposed to the exponential growth in non-integrable models in support of non-chaoticity [
29,
30,
31]. Another interesting revelation came from a recent study of OTOCs for a quantum system with discrete energy levels, weakly coupled to a non-adiabatic dissipative thermal environment. This type of system is commonly known as
open quantum system (OQS), where the OTOC was found to saturate exponentially in contrast to the exponential growth for a
quantum chaotic system [
32]. OTOCs have been of prime theoretical interest for diagnosing also the
rate of growth of chaos with respect to the different time scales involved in the quantum system through the operators and, hence, for studying the scrambling of quantum information in black holes and strongly correlated quantum mechanical systems. It serves as a strong theoretical probe for investigating various bulk gravitational dual theories in the framework of AdS/CFT correspondence. Among others, the existence of shock waves inside black holes [
33,
34,
35] and the maximum saturation bound of the quantum version of the
Lyapunov exponent are the most famous examples where out of time ordered correlation functions have proven to be useful in the AdS/CFT correspondence. This maximum saturation bound is famously known as the
Maldacena-Shenker-Stanford (MSS) bound [
36]. The SYK model [
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76,
77,
78,
79,
80,
81,
82,
83,
84,
85,
86,
87] is a well known model which saturates this well known bound and shows the signature of maximal chaos, both in its 1D CFT and gravitational dual 2D black hole counterpart. In Reference [
88], this bound on
quantum Lyapunov exponent was further generalized for many body systems using the well known
Eigenstate Thermalization Hypothesis (ETH). Very recently, in Reference [
89], the author used the tools and techniques of computing OTOC in the context of Cosmology by following the underlying slogan
Cosmology meets Condensed Matter Physics to study the quantum mechanical correlation functions from random primordial fluctuations appearing in the context of cosmological perturbation theory of background spatially flat FLRW metric. Specifically, these fluctuations are appearing in the context of stochastic particle production during inflation, during the epoch of reheating, and also for the primordial phenomena, which is governed by the quantum generalization of
Brownian motion, i.e., for the cosmological epochs in the time line of the universe, where the physics of out-of-equilibrium phenomena play a significant role.
In Reference [
90], the earlier discussed fact regarding the exponential growth of the OTOCs in the associated time scales to describe the chaotic fluctuations for non-integrable systems has been established for various well known quantum mechanical systems. A study of the same for integrable models suggest non-chaotic quantum mechanical fluctuations in the quantum regime. In the present context, the phrase
quantum randomness describes a physical phenomena which describes chaotic or non-chaotic, i.e., in principle, any random behavior of a system with respect to the associated time scales of the system. For the physical systems, such
quantum randomness can be described by the following 2-fold formalisms:
Formalism I:
The first approach is based on the construction and the mathematical from of the solution of the Fokker Planck equation, using which various stochastic phenomena in the quantum out-of-equilibrium regime can be studied. One of the famous examples is the stochastic cosmological particle production phenomena, which can be directly mapped to a problem of solving Schrdinger equation with an impurity potential within the framework of quantum mechanics, which is actually describing propagation of electrons inside an electrical wire in presence of an impurity or defect. Within the framework of quantum statistical mechanics, instead of solving the Schrdinger problem directly, or maybe solving the dynamical equation for the quantum mechanical fluctuations during the stochastic particle production, one can think about a cumulative probability distribution function of this stochastic process, , which depends on two crucial quantities, which are: the number density of the produced particle and the associated time scale of the stochastic process. Using detailed physical arguments and computation, one can explicitly show that this probability distribution function, , satisfies the Fokker Planck equation, which is given by:
where
represents the mean stochastic particle production rate and
associated potential, which is only significant at finite temperature. By solving this set of equations in the presence of appropriate initial conditions, one can get to know about the related profile of the stochastic process semi-classically in the present context. And not only that, but one can also treat these versions of the
Fokker Planck equation as the semi-classical statistical moment generating equations because, by replacing the profile function
with the appropriate moment generating function
, one can compute all the moments. To serve this purpose, one needs to use the following fundamental equation:
which physically represents the expectation value or the statistical average value of the number density-dependent moment generating any arbitrary function
. Further substituting the appropriate form of this function in the moment dependent
Fokker Planck equations, one can explicitly compute the expression for all the physically relevant statistical moments, i.e.,
,
, ⋯ explicitly without explicitly knowing about the particular mathematical structure of the profile of the related stochastic dynamical process at infinite or finite temperature for a given structure of number density potential function. These moments are extremely important in the present context of study as all of them semi-classically compute the expressions for all the equal time quantum correlation functions required to study the out-of-equilibrium aspects, such as stochastic effects, disorder, random fluctuations [
91], etc., both at infinite and finite temperatures. See References [
2,
92,
93,
94,
95,
96], where all authors have studied the physical impact of this formalism to describe out-of-equilibrium aspects in various different contexts.
Now, let us speak about some applicability issues related to this particular formalism. Since this formalism only allows us to know about the effect of the semi-classical correlations at equal time that might be not very interesting when we are actually thinking of doing the computation of the correlations and its rate of change at different time scales associated with the quantum mechanical system of study. For example, if we are interested in computing any general
N-point semi-classical correlation function as defined by the following expression:
then this particular formalism will not work, as using this formalism one cannot capture the effect of disorder effect in the associated time scale of the system. On the other hand, by following the usual tools and techniques, one can only compute the aforementioned
N-point correlators either in time ordered sense, where
or in the anti-time ordered sense, where
. So, from the technical ground defining this
N-point correlator, including the effect of disorder in the time scale at any arbitrary temperature is also a very important topic of research, and here comes the crucial role of the next formalism where we are allowed to define and explicitly compute such quantum effects at the level of correlation functions. Another important aspect we want to point out here is that the present formalism does not bother with any
Lagrangian or the
Hamiltonian formulation of the associated quantum mechanical system under consideration. So, if we are really interested to know about the effect of time disordering in the expressions for the quantum mechanical correlation functions, which are defined in terms of the fundamental operators appearing in the quantum version of the
Lagrangian or the
Hamiltonian of the system under consideration, and also want to explicitly know about time variation with respect to different time scales associated with the system, which are actually the source of time disordering, then, instead of the present formalism, it is obviously technically correct and easier to think about the implementation of the second formalism, which gives us the better understanding of time scale disordering. In the next point, and in the rest of the paper, we will follow the second formalism to compute the quantum correlation functions from the fundamental operators from the quantum mechanical systems under study, which can explicitly capture the effect of disordering in the time scale. Not only us, but also the present trend in the research, suggests to make use of the next formalism to get better understanding of time disordering phenomena in quantum mechanical system.
Formalism II:
The second approach is based on finding quantum correlation functions, including the time disordering effect, and, throughout the paper, we have followed this formalism to study effects of out-of-equilibrium physics in physical systems [
89]. The present computational methodology helps us to know more about the underlying unexplored physical facts regarding the quantum mechanical aspects of various stochastic random process where time ordering or anti-time ordering is not at all important, and, instead of that, disorder in the time scale can be captured in the quantum correlations at very early time scale. This method not only helps us to know about the early time behavior of quantum correlations in the out-of-equilibrium regime of the quantum statistical mechanics but also gives crucial information regarding the late time equilibrium behavior of the quantum correlations of a specific quantum system. However, for all the systems in nature, the above interpretation of the quantum mechanical aspects of the randomness phenomena are not same. Based on all these types of quantum systems, one can categorize the random time disordering phenomena as: A.) a chaotic system which shows exponential growth in the quantum correlators, and B.) a non-chaotic system which shows periodic or aperiodic or irregular random fluctuations in the quantum correlators. The best possible theoretical measure of all such time disorder averaging phenomena for various statistical ensembles, micro-canonical and canonical ensembles, is described by out-of-time-ordered correlation (OTOC) function within the framework of quantum statistical mechanics. Let us define a set of operators,
with
or
possibilities. The time disorder thermal average over statistical ensemble is described by the following expression: -4.6cm0cm
where the thermal density matrix
is defined as:
In the present context, represents three possible types of OTOC, out of which only possibility, which will describe only one OTOC, has been explored in earlier works in this area. The other two OTOCs appearing from the possibility will be explicitly studied in this paper. The prime objective is to incorporate two more type of OTOCs, along with the well known other OTOC, to study all of the possible signatures of time disordering average from a quantum mechanical system. Our expectation is all these three types of OTOCs are able to describe the more general structure of stochastic randomness or any simple type of random process in the quantum regime. This idea was revived by Kitaev, then followed by Maldacena, Shenker, and Stanford (MSS) and many more in studying the quantum mechanical signature of chaos, which is actually the case in the above definition; but, the mathematical structure of the other two OTOCs represented by the case suggests that any non-chaotic behavior, such as periodic or aperiodic time-dependent behavior, any time-dependent growth in the correlators which is different from any type of exponential growth, and any type of decaying behavior in the correlators, can be explained in a better way compared to just studying the time-dependent behavior from the well known OTOCs which are commonly used in the literature. So, in short, to give a complete picture of any kind of time disordering phenomena, it is better to study all these possible three types of OTOCs to finally comment on the properties of any physical systems in quantum mechanical regime. A few other important things we want to point out here for better understanding the structure of all these OTOCs capturing the underlying physics of disordering averaging phenomena: First of all, here, we have to mention that, in using the definition that we have provided in this paper, we are able to compute three sets of point OTOCs. Though, in the further computation, we have restricted our study in the paper by considering and cases, to study the general time disorder averaging process, one may study any even multipoint (i.e., point) correlation functions from the present definition. Now, here, the case is basically representing a non-zero UTCR and can be treated as the building block of the full computation, as this particular case is mimicking the computation of the Green’s function in presence of time disordering. More technically, one can interpret that this contribution is made up of two disconnected time disorder averaged thermal correlator. These disconnected contributions are extremely significant if we wait for a large time scale; in literature, we usually identify this time scale as a dissipation time scale on which one can explicitly factorize any higher point correlators in terms of the non-vanishing disconnected contributions. For this specific reason, one can treat the case result as the building block of any higher point thermal correlators. However, for most of the quantum systems, the case shows random but decaying behavior with respect to the associated time scales which are explicitly appearing in the quantum operators of the theory. For this reason, study of any plays a significant role to give a better understanding of the time disordering phenomena. For this purpose, next, we studied the case, which represents the 4-point thermal correlator in the present context of study, and one of the most significant quantity in the present day research of this area, which can capture better information regarding the time disorder averaging compared to the case. In a future version of this work, we have a plan to extend the present computation to study the physical implications of quantum correlators to better understand the time disorder averaging phenomena. Now, we will comment on the technical side of the present formalism, using which one can explicitly compute these OTOCs in the present context. First of all, we talk about the time-independent Hamiltonians of a quantum system, which have their own eigenstates with a specific energy eigenvalue spectrum. In this case, construction of the OTOCs describing the time disorder thermal averaging over a canonical ensemble is described by two crucial components, the Boltzmann factor on which the general eigenstate dependent spectrum appears and also the temperature independent micro-canonical part of the OTOCs. At the end, we need to take the sum over all possible eigenstates, which will finally give a simplified closed expressions for OTOCs in the present context. Due to the appearance of the eigenstates from the time-independent Hamiltonian, this particular procedure will reduce the job extremely to study the time-dependent behavior of all the previously mentioned OTOCs that we have defined earlier in this paper. In the rest of the paper, we followed this prescription, which is only valid for time-independent Hamiltonian which have their own well-defined eigenstates. For more details, see the rest of the computations and related discussion that we studied in this paper. Most importantly, using this formalism, we can compute all of these OTOCs in a very simple model-independent way. The other technique is more complicated than the previously discussed one. In this case, one starts with a time-dependent Hamiltonian of the theory and uses the well-known Schwinger Keldysh formalism, which is a general path integral framework at finite temperature, for the study of the time evolution of a quantum mechanical system, which is in the out-of-equilibrium state. At the early time scale, once a small perturbation or a response is provided to a quantum system, then it is described by a out-of-equilibrium process within the framework of quantum statistical mechanics, and the present formalism provides us the sufficient tools and techniques, using which one can compute the expressions for the OTOCs. Not only that, the late time behavior of such an OTOC is described by a saturation behavior for chaotic systems, from which one can compute the various characteristic features of large time equilibrium behavior from these OTOCs.
Formalism III:
The third approach is based on the
circuit quantum complexity [
97,
98,
99,
100,
101,
102,
103], which is relatively a very new concept and physically defined as the minimum number of unitary operators, commonly known
as quantum gates, that are specifically required to construct the desired target quantum state from a suitable reference quantum mechanical state. In a more generalized physical prescription, quantum mechanical complexity can serve as one of several strong diagnostics for probing the time disorder averaging phenomena of a quantum mechanical system or quantum randomness. The underlying physical concept of circuit complexity can essentially provide essential information regarding various aspects of quantum mechanical randomness, such as the concept of
scrambling time,
Lyapunov exponent, (The associated time scale when the quantum circuit complexity starts to grow is usually identified to be the
scrambling time scale and, in the representative plot with respect to the time scale, particularly, the magnitude of the slope of the linear portion of the curve is physically interpreted as the
Lyapunov exponent for the specific systems where the general quantum randomness or the time disorder averaging phenomena is described by
quantum chaos.), etc., which are particularly the key features of the study of quantum mechanical chaos. One can further compare between the physical outcomes of the two strongest measures of quantum randomness, which are appearing from out-of-time-order correlators (OTOCs) and the quantum mechanical circuit complexity, and comment further that, for a specific quantum system which one is capturing, there is more information regarding the description of quantum mechanical randomness.
In this paper, we generalize the study of OTOCs for investigating the phenomena of quantum randomness in various Supersymmetric integrable quantum mechanical models. The main motivation behind introducing the concept of Supersymmetry lies in the well-established fact that, for any Supersymmetric quantum mechanical model, the original Hamiltonian is always associated with a partner Hamiltonian, which, in general, is widely different from its original counterpart in terms of eigenstates. Though not always, it is possible that the quantum mechanical model under consideration attains vastly different properties in the context of quantum randomness due to the introduction of Supersymmetry within the framework of quantum mechanics. It is our expectation that this generalization of the study of all the classes of OTOCs would provide an understanding about the significant role that Supersymmetry plays in modifying the randomness behavior of the quantum mechanical models under investigation. Most importantly, from the present study, it will be clear that the additional inclusion of symmetries in the form of Supersymmetry will all affect—and, if so, then how much it will affect—the time disorder averaging phenomena for a canonical and micro-canonical statistical ensemble studied within the framework of out-of-equilibrium quantum statistical mechanics. In the eigenstate representation of the OTOCs, we actually studied three types of OTOC in this paper, out of which one of them is commonly studied in the literature, mostly used to explain the phenomena of quantum mechanical randomness (not only chaotic behavior, but also a general feature including any types of non-chaotic behavior), and the other two OTOCs that we have included in this paper might not be completely independent physical information of each other, but it is extremely important to capture the complete quantum mechanical effect in the quantum mechanical correlation functions to give a more general physical interpretation and a complete and detailed description of time disorder averaging phenomena for various quantum statistical ensembles within the framework of Supersymmetric quantum mechanics. Now, if we cannot able to find out the eigenstate representation of a given time-independent Hamiltonian within the framework of Supersymmetry, then the prescribed methodology for computing the general class of OTOCs in terms of the simplest eigenstate representation will not work. This can happen for the physical systems which are actually described by the time-dependent Hamiltonians. In that case, to compute all of these previously mentioned general classes of OTOCs, one needs to use the quantum mechanical path integral generalization of the present framework, which is commonly described by Schwinger Keldysh formalism, at finite temperature within the framework of Supersymmetric quantum mechanics. The good news is physical outcomes of such a generalization also have not been studied yet, but we have a future plan to look into at this in detail and are also hopeful that we will get a non-trivial and better understanding of various Supersymmetric quantum mechanical models out of these computations.
The mnemonic diagram shows the organization of the entire paper is appearing in
Figure 1. Also the out-of-time-ordered correlation (OTOC) team is featured in
Figure 2.
Organization of the paper is as follows
3. A Short Review of Supersymmetric Quantum Mechanics
The theory of Supersymmetric Quantum Mechanics [
104,
105,
106,
107,
108] relates quantum eigenfunctions and the corresponding eigenvalues between two partner Hamiltonians through an intertwining relationship using the so-called charge operators. It generally uses the technique of factorizing the Hamiltonian in terms of the intertwining operators, hence determining the superpotential using the well known
Riccati equation. The idea of factorizing generally allows one to express the superpotential in terms of the ground state wave-function of the original Hamiltonian of the quantum mechanical model under consideration. The process of factorization is mathematically described by the following equation:
where
A and
are the intertwining operators which are defined from the superpotential as:
Within the framework of Supersymmetry, the ground state energy is usually taken to be zero, which is well justified because it is only the relative energy difference that matters. For a zero energy ground state, the
Schrdinger equation can be written as:
Substituting the expressions for
A and
in the above equation it is not very hard to derive the
Riccati equation, which further gives a way of writing the potential in terms of the superpotential given by the following expression:
where
corresponds to
in the above equation. It is often an
overrated fact that one needs to know the form of the potential guiding the Hamiltonian to have an idea about the wave functions of the quantum mechanical system, and the fact that the knowledge of the ground state wave function allows one to exactly know the potential associated with the system is overlooked. However, in Supersymmetric quantum mechanics, one generally utilizes this unappreciated fact to construct the potential from the known ground state wave function with zero modes:
The knowledge of superpotential allows one to determine the Supersymmetric partner potential via the following equation:
The partner Hamiltonian is constructed by reversing the order of the intertwining operators used in the factorization of the original Hamiltonian. The energy eigenvalues and the eigenstates of the original and the partner Hamiltonian are not independent of each other, and that is where the beauty of Supersymmetry lies. Knowing the original Hamiltonian and its ground state, one can easily determine the energy spectrum of the partner Hamiltonian. The eigenvalues of
(original Hamiltonian) and
(partner Hamiltonian) are related via the following equation:
It is easy to show that the knowledge of the eigenfunctions of can be used to derive the eigenfunctions of using the A operator and the eigenfunctions of from that of using the operator. The role of the operators A and , apart from the conversion of an eigenfunction of the original Hamiltonian to that of its partner Hamiltonian with the same energy, also destroys or creates one node in the eigenfunction. This justifies the absence of the zero energy or the ground energy state of the partner Hamiltonian. One can put this argument simply by stating that the operator A converts an energy state of the original Hamiltonian into a lower energy state of the partner Hamiltonian keeping the energy value of the state constant. A , on the other hand, does the opposite conversion, i.e., takes an energy state of the partner Hamiltonian and converts it into an higher energy state of the original Hamiltonian, keeping the energy eigenvalue fixed.
A Supersymmetric quantum mechanical model is generally described by a Hamiltonian having the following form:
In general, for such a Hamiltonian, a quantum state is represented by:
where,
and
are the wave functions of the original and the partner Hamiltonian, respectively.
The prime objective of this paper is to provide an eigenstate representation of the desired OTOCs that we have already defined in the introduction, using which we study the various well known quantum mechanical models in the context of Supersymmetry to study the general aspects of time disorder averaging phenomena. With this aim, one would generally look for an eigenstate of the Hamiltonian under inspection. Remembering the relation between the energy eigenvalues and eigenstates of the original and the partner Hamiltonian, it can be easily verified that the wave function given by Equation (
15) is not an eigenstate of the Hamiltonian given in Equation (
14). We, therefore, take the wave function of the Hamiltonian to be of the form
which indeed represents a normalized eigenfunction of the Hamiltonian of the Supersymmetric quantum mechanical systems considered in this work.
where we have used the relation
. If we use Equation (
15), then
does not remain an eigenstate of
, as we show below.
Since the energy associated with the nth energy eigenstate of the original Hamiltonian, is not equal to that of its associated partner Hamiltonian , i.e., , fails to be an eigenstate of .
4. General Remarks on Time Disorder Averaging and Thermal OTOCs
Quantum randomness, using which we have the prime objective to technically demonstrate the time disorder averaging phenomena, is actually a very broad topic of research in theoretical physics, and there are many ways and possibilities, using which one can explicitly quantify this phenomena in the quantum regime. Quantum correlators of different orders are one of them. When a quantum state evolves to reach equilibrium at the late time scales, in that case, the overall amplitude of the correlators also evolves with the evolutionary time scales, which are usually described in terms of the fundamental quantum operators, and the time evolution of these correlators can show the presence of time disorder averaging in the form of chaotic or non-chaotic, periodic, or aperiodic random behavior in the quantum mechanical system under study. Thermal average over the canonical statistical ensemble of a quantum operator is a very powerful technique, using which one can explicitly study the time-dependent exponential growth (chaotic) or some other time-dependent non-chaotic random behavior of an operator for a quantum system that is in out of equilibrium after giving an external response. For a very long time, it was not very clear how one can actually quantify these quantum correlation functions within the framework of out-of-equilibrium quantum statistical physics. Following the previous set of works, the present work helps us to quantify, as well as to physically understand, the impact of them in the present context. In this paper, we are actually interested in three specific kinds of OTOCs, which are described by six sets of correlators, given by:
2-point OTOCs: , , ,
4-point OTOCs: , , ,
where
x is the quantum position operator,
p is the associated canonically conjugate momentum, and, most importantly, both the quantum operators are defined at different time scales, which is one of the prime requirements in studying the effect of time disorder averaging phenomena through the above set of OTOCs. In addition, it is important to note that the symbol
actually represents the thermal average of a time-dependent quantum operator over a canonical ensemble within the framework of quantum mechanics, which is technically defined as:
where the partition function
Z and thermal density matrix operator
in terms of a quantum system Hamiltonian,
H, are already defined in the introduction of this paper. Since we are dealing with quantum mechanical operators, using which we are trying to understand the impact of random features in the quantum regime, it is quite expected to start with the fact that thermal 1-point function of the position operator
x and momentum operator
p defined at a specific time scale are zero, which can be technically demonstrated as:
where
t is the associated time scale on which both of the quantum operators are evolving. For this specific reason, the explicit study and the computation of these 1-point functions are not at all important in the present context of discussion. On the other hand, due to the time translational symmetry in these thermal correlators, which is actually described by the well known
Kubo Martin Schwinger condition, all the odd point OTOCs appearing in the present context will be trivially zero and, for that reason, not the object of interest in the present context of study. This can be further technically demonstrated as:
This implies that we are only left with all even order OTOCs, out of which, in this paper, we are explicitly computing the physical outcomes from the six sets of time-dependent correlators, described by the previously mentioned 2-point and the 4-point of all possible OTOCs.
Among these correlators, two are made of different operators, which will show the perturbation of one operator measured at one time scale to the other measured at a different time, and vice versa. The other four operators are the new sets of 2- and 4-point correlators that are defined in terms of the same quantum operators, which are basically capturing the quantum effect of the self-correlation of one operator on itself having any arbitrary time-dependent profile in general to describe the phenomena of time disordering within the framework of quantum mechanics. In specific cases, it may happen that these newly defined operators show exponential growth or some other kind of growth, which is periodic or aperiodic, in the corresponding associated time scales of the quantum mechanical operator on which we are interested in the present context. In a more general context, one can see, by studying different kinds of physical systems available in the literature, where the 2-point self-correlation will decay exponentially with an associated time scale of
, widely known as
“dissipation time scale”. This particular time scale is playing the role of
transition scale in the present context after reaching that the 4-point correlators can be factorized into the product of two 2-point correlation functions representing disconnected diagrams within the framework of quantum field theory. In addition, it is important to note that, here, at the
“dissipation time scale”, all other terms are exponentially suppressed by the factor
, which will completely disappear from the factorized version of the 4-point correlators, on which we are interested in this paper, in the large time limit given by
with
. In usual prescription of the
“dissipation time scale”,
is identified with the inverse temperature
, i.e.,
, where we use Boltzmann constant
, and
T physically represents the equilibrium temperature of the quantum statistical ensemble on which we are interested in. So, one can translate the large time limit in terms of the associated equilibrium temperature as
, which is not obviously true for a zero temperature case but can be justifiable in any (small or large) temperature of the system under consideration. For example, we now look into a specific 4-point thermal correlation function at the vicinity of the previously mentioned
dissipation time scale, around which one can factorize it in the following specific form:
where, in this aforementioned factorization,
are the higher order correction terms, which are actually sub-dominant at the vicinity of the
dissipation time scale. One more thing we can observe from the aforementioned factorization is that the individual contributions of the 2-point contributions do not mix up the time scales, and, for this reason, they can be written in terms of the product of two equal time 2-point correlators. In addition, for this particular example, when we are thinking of doing the computation with two different operators, after doing the factorization, one can easily observe that the two different operators do not mix with each other at the level of 2-point correlators. So, we are mainly interested in the terms that cannot be written in time ordered form, and those terms provide more insight to the randomness present in a system. Now, we would like to go one step further and normalize the OTOC, which is basically related to this factorization process of the 4-point correlators in terms disconnected equal time 2-point contributions. The process of normalization actually helps us to reduce the unwanted fluctuations from the computed OTOCs, which further allows us to give a clearer picture of the time-dependent behavior of the desired OTOCs in which we are interested in this paper. We do not normalize the 2-point correlation functions as they are the main building blocks of our computation of OTOCs; hence, we only normalize the 4-point OTOC as given by the following expression. We can write
in the following simplified mathematical form:
After imposiing the previously mentioned constrained obtained at the vicinity of the
dissipation time scale, one can further simplify the expression for the mentioned correlator as given by the following expression:
Now, we normalize this aforementioned quantity using two different equal time 2-point correlators, which we have obtained from the factorization in terms of the disconnected pieces. Consequently, we get the following simplified form of the normalized OTOC:
The first expression in Equation (
26) is a universal contribution, which will always appear for the quantum systems where the previously mentioned factorization process works at the vicinity of the
dissipation time scale. On the other hand, the second term of Equation (
26) is basically representing a normalized version of the previously mentioned 4-point function, which can only appear after dissipation time. The other two non-trivial OTOCs we are also interested in this paper are of the form
and
, and, by following the same logical argument at the vicinity of the
dissipation time scale, we can normalize them, as well, and write them in the following simplified mathematical forms:
and
Now, since these OTOCs acts as a theoretical probe to know about the generic chaotic or non-chaotic time-dependent behavior of quantum system, it has to satisfy the following constraints in terms of the 4-point correlations, which survived in the vicinity of the previously introduced
dissipation time scale, as given by:
The aforementioned expression captures all the possibilities which one can observe in different quantum mechanical systems available in nature. Here, , , and are the quantum mechanical model-dependent pre-factors which show exponential growth (chaotic behavior) in the 4-point correlator with respect to the time scales associated with the system under study. On the other hand, , , and are the quantum mechanical model-dependent pre-factors which show any type of time-dependent fluctuations (non-chaotic behavior). In addition, for the general prescription, the quantum Lyapunov exponents, , , and , are not the same for which the MSS bound on quantum chaos from these three cases are also not the same. Consequently, the equilibrium saturation temperatures at the late time scales from these three OTOCs also differ from each other, i.e., . In addition, it is important to point out that the mathematical structure of the time-dependent functions , , and are also different for general quantum mechanical set ups. When we are considering the quantum mechanical models described by time-dependent Hamiltonians, in that case, these expectations and all sorts of predictions work very well. However, when we are thinking about particularly quantum mechanical models which are described by the time-independent Hamiltonian and the eigenstate representation of OTOCs, in that situation, one might have further simplifications. There might be a possibility to have an underlying connection between the two functions and in the eigenstate representation of the OTOCs in the non-chaotic case, and, for this reason, they might not be capturing completely independent information of the time disorder averaging. On the other hand, in the chaotic case, if three of the OTOCs independently show exponential growth in the time scale, the quantum Lyapunov exponents and the related equilibrium saturation temperatures are not at all same, even in the eigenstate representation. But, if the first OTOC is showing the chaotic behavior, and other two are not, in that case, the previous connection between the two functions and holds good in the eigenstate representation.
In
Figure 3 and
Figure 4, we present the
diagrammatic representations of all types of OTOCs in which we are interested in this paper. Particularly, in
Figure 3, we explicitly depict the possible 2-point OTOCs. Here, we have three possibilities, which are given by
,
, and
. Since each OTOC is made up of a commutator bracket in the quantum mechanical description, for each case, we have two different contributions having overall opposite signatures. Further, to draw the representative diagrams, we need to consider the flow of time scale from
to
or
to
. In all the representative diagrams, the two vertical solid thick lines correspond to the specific time slice having time
and
, respectively. It is understandable, from the mathematical structure of the mentioned 2-point OTOCs, that, since the correlator involves only two time scales, that is why drawing two vertical parallel lines are physically justifiable in the present context. Because of the previously mentioned flow of time scale from
to
or
to
for each 2-point OTOCs, we have two possible diagrams. So, as a whole, for the 2-point OTOCs, one can draw six possibilities. In addition, by studying each of the diagrammatic representations, we can also observe that each of the contributions of the 2-point functions are represented by separate lines with representative arrows which completely depend on the structure of the individual 2-point correlators. To differentiate between these two contributions, we have used red dotted line and blue solid line in the representative diagrams. Further, in
Figure 4, we have explicitly shown the possible 4-point OTOCs in the present context of discussion. Here, we can draw three possible representative diagrams, which are coming from the three possible OTOCs, as given by,
,
, and
. Here, as we can see that each of the OTOCs is made up of commutator bracket squared contributions in the quantum description, for each case, we have four contributions if we expand them. Out of these four 4-point thermal correlators, two of them have a positive signature, and other two have an overall negative signature in the front of each contribution. Just like the 2-point OTOCs, here, we also need to consider the flow of time scale from
to
or from
to
. It is understandable, from the mathematical structure of the mentioned 4-point OTOCs, that, because the correlator involves only two time scales instead of four different time scales, is why drawing two vertical parallel lines to represent the time slice at
and
are physically justifiable in the present context. Now, because of the time scale flow, each of the 4-point OTOCs have two contributions in the diagrammatic representation. In addition, for a given time flow, we have four possible diagrams, which we show in a single diagram, for the sake of simplicity. So, as a whole, to consider both the possibilities of the time flow, we have cumulatively 24 diagrams from the 4-point OTOCs. Like the previous case, here, to differentiate between each of the individual terms for a given OTOC with a specified time flow, we have also used a red dotted line, blue dotted line, and red thick line, respectively, in the representative diagrammatic representations. Last but not least, here, it is important to point that these set of diagrams are the simplest version of the well known Feynman diagrams as appearing in the context of quantum field theory literature. However, within the present framework, we do not have exactly similar Feynman diagrams, but, to understand the structure of the previously mentioned OTOCs, the present version of the diagrammatic representations play a very crucial role. All of the arrows appearing in all the diagrams represent an underlying time disordering upon which we have to take the final average in the present context.
5. Eigenstate Representation of thermal OTOCs in Supersymmetric Quantum Mechanics
In this section, our prime objective is to study various thermal correlators, OTOCs, and see how they can be expressed in a model-independent manner in the framework of quantum mechanics. We also demarcate clearly the effect of Supersymmetry and how it modifies the functional form of the correlators at the end.
To perform this explicit computation, we will follow the prescription outlined in Reference [
90] to compute all the thermal OTOCs we have mentioned in the previous section of this paper (Reference [
90], particularly, is extremely important for our computation because, here, the authors first have performed the computation of the first OTOC,
(though, in our computation, we have generalized this to
) in the eigenstate formalism for a time-independent quantum mechanical model-independent Hamiltonian.). According to this prescription, for any time-independent Hamiltonian, we define the expectation value of quantum mechanical operators as thermal expectation value in the present context, which one can easily apply for a canonical quantum statistical ensemble. Let us say a quantum mechanical time-dependent operator
is defined on a specific Hilbert Space
with an associated Hamiltonian
H (which is time-independent, obviously) and the eigenvalues (eigen energy spectrum) of
H corresponding to a infinite tower of eigenkets
, where the corresponding energy levels are characterized by the index
n. This energy eigenspectrum is represented by
. Then, for a canonical quantum statistical ensemble, the thermal expectation value of the quantum mechanical time-dependent operator
at inverse temperature
, considering the Boltzmann constant
, is defined as:
where the thermal partition function is represented by
Z such that
. Here, our job is to represent this mathematical trace operation in terms of the sum over all possible eigenstates starting from the ground state (
). Once we are able to express this operation clearly, then the rest of the story is very typical, and, following this, one can easily compute all of the mentioned OTOCs in the eigenstate representation. It pays to use the thermal representation for expectation values of quantum mechanical operators because there are many physical models and physically relevant toy models which have well-studied structure of time-independent Hamiltonians; hence, we can utilize this property to give an eigenstate representation to the correlators as presented elaborately in this work. Consequently, the analysis presented in this paper is physically justifiable, applicable, and believable, as such, to quantum mechanical models with a well-defined Hamiltonian. In the eigenstate representation, the thermal expectation value of a quantum mechanical time-dependent operator
can be written as:
Here, we work in the Heisenberg Picture, where the operators evolve with time, as given by , where represents operator at time scale t in Heisenberg picture and represents its Schrdinger picture representation at all time scales since operators do not evolve with time in Schrdinger picture. The latter is denoted as to simplify the notation and make it easier to read.
To demonstrate the computation further, let us consider a general time-independent Hamiltonian of the following form:
where we have used the fact that the mass of all
N number of particles are the same and given by
to make the further computation simpler. Now, here, it is very easy to prove the following relation (see Reference [
90]), which relates the quantum mechanical momentum operator matrix elements with that of the position and the energy operator matrix elements by the following expression:
Furthermore, the role Supersymmetry plays in modification of non-Supersymmetric quantum mechanical observables can be seen vis-a-vis the matrix elements of observables. Let us consider a simple matrix element for the position operator
x. In the following chart, we show exactly how the matrix elements in non-Supersymmetric quantum mechanical theories and Supersymmetric quantum mechanical theories are connected:
The modifications due to Supersymmetry can clearly be traced back to the fact that we could formulate a wave function of total Hamiltonian as given in Equation (
16) from the two partner Hamiltonians
and
, as appearing from the bosonic and the fermion sectors in Supersymmetry. In fact, it is the factorization property of
and
which generalizes to a more powerful setting in terms of Supersymmetric generalized description of the theory under consideration. One might consider the power of the Supersymmetric description in two ways:
First, one can merely consider it as a tool to solve non-trivial potentials by means of solutions of their partner ones, provided that the partner ones are easily solvable.
Secondly, one can consider it as a more unifying description of a more beautiful theory based on the principles of symmetries of nature. It is this second philosophy which has been considered in this work.
We will consider the following six correlators in this work as stated below:
We will also consider normalized 4-point Correlation Functions, and the discussion pertaining to those is provided in the previous section:
Normalized 4-point Correlation Functions 5.1. Partition Function from Supersymmetric Quantum Mechanics
In the context of Supersymmetric quantum mechanics, the partition function,
Z, can be can be expressed in terms of the eigenstate by the following expression:
Here, the underlying relation between Supersymmetric total system and the component (or partner) systems, as discussed in
Section 3, is established through the following relations:
So, the Supersymmetric quantum partition function in the eigenstate representation can be explicitly written as:
As shown in
Section 3, in Supersymmetric quantum mechanical theories, we have the following constraint:
with the requirement that the ground state is eigenstate of
only, and all other states are doubly degenerate. It is also important to note that the ground state always has zero energy eigenvalue. It is to be noted that
refers to the energy eigenvalue of the total Hamiltonian
. Using this set of requirements, the aforementioned expression for the quantum partition function within the framework of Supersymmetry can be further simplified as:
which is different compared to usual quantum mechanics results without Supersymmetry, as in the present context ground state energy eigenvalue
, which is not, in general, zero for the other case. So, this implies that, if we separately write down the contribution from the ground state and from all other excited states, instead of writing sum over all eigenstates together, then one can clearly visualize the difference between the results obtained for quantum partition function in the eigenstate representation in both the cases. In the next section, we will provide the summary of all the obtained general model-independent results in which we will implement the aforementioned fact to explicitly show that our obtained results for all types of OTOCs in the framework of Supersymmetric quantum mechanics are different compared to the results obtained from usual quantum mechanics without Supersymmetry.
5.2. Representation of 2-Point OTOC:
The first 2-point OTOC is given by the thermal average of the operator
, which is described in the eigenstate representation as:
Using Equation (33) for
Heisenberg representation for
and
and inserting the identities between the operators, this 2-point correlator can be written in terms of the micro-canonical correlator, which shows the temperature-independent behavior of the system:
where the micro-canonical 2-point OTOC is defined as:
Expanding the commutator in the definition of the micro-canonical correlator, and using the above relation with appropriate insertion of identities between the operators, it can be shown that the eigenstate representation of the micro-canonical correlator takes the following form.
where we define
and
.
Substituting the aforementioned expression for the micro-canonical OTOC in the definition of the canonical correlator, , we get the following expression:
5.3. Representation of 2-Point OTOC:
The second 2-point OTOC is given by the thermal average of the operator
, which is described in the eigenstate representation as:
Using Equation (33) for
Heisenberg representation for
and
the 2-point correlator in terms of the temperature independent micro-canonical correlator can be written as:
where the micro-canonical 2-point OTOC is defined as:
Expanding the commutator in the definition of the micro-canonical correlator and inserting identity in between the operators, it can be shown that the eigenstate representation for micro-canonical correlator takes the following form:
where we define,
and
.
Substituting Equation (54) in Equation (52), the eigenstate representation for the canonical correlator takes the form:
5.4. Representation of 2-Point OTOC:
The third two-point OTOC is given by the thermal average of the operator
, which is described in the eigenstate representation as:
Proceeding as previously mentioned, we obtain the following expression for the OTOC, which can be expressed in terms of the temperature independent micro-canonical correlator as:
where the micro-canonical 2-point OTOC is defined as:
Expanding the commutator in the definition of the micro-canonical correlator and inserting identity in between the operators, it can be shown that the eigenstate representation for micro-canonical correlator is given by the following expression:
Substituting the expression for the micro-canonical correlator obtained from Equation (58) in Equation (56), the eigenstate representation for the canonical correlator can be written as:
5.5. Representation of 4-Point OTOC:
In this section, we provide the eigenstate representation of the 4-point OTOCs that are mainly used for studying the quantum mechanical analogue of phenomena of time disorder averaging, related randomness in quantum regime. Similar to the 2-point correlators, we define three kinds of 4-point correlators. Generally, in the literature, people study the 4-point correlator (as per our notation), which is the thermal expectation value of the square of the commutator made up of the dynamical operators of different kinds at different time scales. The 4-point correlator, , is proposed as a quantifier of quantum chaos, but chaos is a specific kind of randomness. Hence, it is important to consider the correlators constructed from similar operators at different times to have a complete understanding of the underlying phenomenon of randomness. To understand this time disordering phenomena explicitly, we have also introduced two more new correlators, and , described in detail in the latter half of this paper.
5.5.1. Un-Normalized:
The first 4-point OTOC is given by the thermal average of the operator
, which is described in the eigenstate representation as:
where
is the micro-canonical correlator and is responsible for the temperature independent behavior of the correlator. The temperature dependence in the canonical correlator is actually appearing due to the exponential thermal Botzmann factor in the eigenstate representation of the OTOC. Once we take the sum over all possible eigenstates (finite or infinite in number), we get a cumulative dependence on time, temperature, and energy eigenstates. In the present context, the micro-canonical 4-point correlator for Equation (60) is given by the following simplified expression:
where we define a time-dependent matrix element,
, which is given by:
Using the
Heisenberg picture evolution equation for an operator and inserting identity between the operators after expanding the commutator, it is not hard to verify that
can be written as:
Substituting the above expression of in Equation (61), it can be shown that, after simplification, the eigenstate representation of the micro-canonical correlator for Equation (60) is given by the following expression:
So, the eigenstate representation of canonical correlator from Equation (60) using Equation (62) is given as:
5.5.2. Normalized:
The normalized first 4-point OTOC is from the un-normalized one expressed in Equation (
43) can be expressed as:
We have already calculated the numerator as given in Equation (63). So, here our only job is compute the two sets of equal time thermal correlators in the eigenstate representation. Since we know the formalism very well that we have developed in this paper, computing these disconnected pieces of equal time correlators, which are extremely significant in the large time dissipation limit, is not at all complicated. Now, we are going to show how one can compute these contributions.
To serve this purpose we need to compute the following expressions in the eigenstate representation:
Consequently, the desired canonical equal time thermal correlators can be computed as:
Finally, the normalized first 4-point OTOC can be expressed by the following simplified expression in the eigenstate representation, as given by:
5.6. Representation of 4-Point OTOC:
5.6.1. Un-Normalized:
The second 4-point OTOC is given by the thermal average of the operator
, which is described in the eigenstate representation as:
where
is the micro-canonical correlator and is responsible for the temperature independent behavior of the correlator. The temperature dependence in the canonical correlator is actually appearing due to the exponential thermal Botzmann factor in the eigenstate representation of the OTOC. Once we take the sum over all possible eigenstates (finite or infinite in number), we get a cumulative dependence on time, temperature, and energy eigenstates. In the present context, the micro-canonical 4-point correlator for Equation (69) is given by the following simplified expression:
where we define a time-dependent matrix element,
, which is given by:
Using the
Heisenberg picture for the evolution of operators and inserting identity between the operators, it can be shown that
can be written as:
Substituting Equation (71) in Equation (70) and simplifying the eigenstate representation for the temperature independent micro-canonical correlator can be expressed by the following simplified expression:
The canonical or the temperature-dependent correlator can be calculated by substituting the expression of Equation (69) in Equation (72), and, after applying some algebraic manipulation, it can be shown that the canonical correlator can be expressed by the following two expressions:
5.6.2. Normalized:
The normalized first 4-point OTOC is from the un-normalized one expressed in Equation (44) can be expressed as:
We have already calculated the numerator as given in Equation (73). So, here our only job is compute the two sets of equal time thermal correlators in the eigenstate representation. Since we know the formalism very well that we have developed in this paper, computing these disconnected pieces of equal time correlators, which are extremely significant in the large time dissipation limit, is not at all complicated. Now, we are going to show how one can compute these contributions.
To serve this purpose, we need to compute the following expressions in the eigenstate representation:
Consequently, the desired canonical equal time thermal correlators can be computed as:
Finally, the normalized first 4-point OTOC can be expressed by the following simplified expression in the eigenstate representation, as given by:
5.7. Representation of 4-Point OTOC:
5.7.1. Un-Normalized:
The third 4-point OTOC is given by the thermal average of the operator
, which is described in the eigenstate representation as:
where
is the micro-canonical correlator and is responsible for the temperature independent behavior of the correlator. The temperature dependence in the canonical correlator is actually appearing due to the exponential thermal Botzmann factor in the eigenstate representation of the OTOC. Once we take the sum over all possible eigenstates (finite or infinite in number), we get a cumulative dependence on time, temperature, and energy eigenstates. In the present context, the micro-canonical 4-point correlator for Equation (77) is given by the following simplified expression:
where we define a time-dependent matrix element,
, which is given by:
Using the
Heisenberg picture for the evolution of operators and inserting identity between the operators, it can be shown that
can be simplified into the following form:
Substituting the expression of , i.e., Equation (79) in Equation (78), and simplifying, the eigenstate representation of the micro-canonical correlator can be expressed as:
The eigenstate representation of the canonical correlator from Equation (77) using Equation (80), after simplification, can be expressed by the following two equations:
5.7.2. Normalized:
The normalized first 4-point OTOC is from the un-normalized one expressed in Equation (45) can be expressed as:
We have already calculated the numerator as given in Equation (81). So, here our only job is compute the two sets of equal time thermal correlators in the eigenstate representation. Since we know the formalism very well that we have developed in this paper, computing these disconnected pieces of equal time correlators, which are extremely significant in the large time dissipation limit, is not at all complicated. Now, we are going to show how one can compute these contributions.
To serve this purpose, we need to compute the following expressions in the eigenstate representation:
Consequently, the desired canonical equal time thermal correlators can be computed as:
Finally, the normalized first 4-point OTOC can be expressed by the following simplified expression in the eigenstate representation, as given by:
5.8. Summary of Results
Related equations are following:
Eigenstate Representation for Micro-Canonical Correlators] Eigenstate Representation for Canonical Correlators without normalization]
Eigenstate Representation for Canonical Correlators with normalization referred to (75), (83), (68), (76) and (84).