Next Article in Journal
Asymmetric Cryptosystem on Matrix Algebra over a Chain Ring
Next Article in Special Issue
Editorial for Special Issue Feature Papers 2020
Previous Article in Journal
Mathematical Properties of Variable Topological Indices
Previous Article in Special Issue
The Cauchy Problem for the Generalized Hyperbolic Novikov–Veselov Equation via the Moutard Symmetries
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Generalized OTOC from Supersymmetric Quantum Mechanics—Study of Random Fluctuations from Eigenstate Representation of Correlation Functions

1
Centre for High Energy Physics, Indian Institute of Science, Bengaluru, Karnataka 560012, India
2
Department of Physics & Astrophysics, University of Delhi, Delhi 110007, India
3
Quantum Gravity and Unified Theory and Theoretical Cosmology Group, Max Planck Institute for Gravitational Physics (Albert Einstein Institute), Am Mühlenberg 1, 14476 Potsdam-Golm, Germany
4
National Institute of Science Education and Research, Bhubaneswar, Odisha 752050, India
5
Homi Bhabha National Institute, Training School Complex, Anushakti Nagar, Mumbai 400085, India
6
Department of Physics, Indian Institute of Technology Bombay, Powai, Mumbai 400076, India
7
Department of Chemistry, Sree Chaitanya College, Prafullanagar, Habra 743268, India
8
Department of Physical Sciences, Indian Institute of Science Education & Research Mohali, Punjab 140306, India
9
Department of Physics and Astronomy, University of Waterloo, 200 University Ave W, Waterloo, ON N2L 3G1, Canada
10
Discipline of Mathematics, Indian Institute of Technology Indore, Indore 453552, India
*
Author to whom correspondence should be addressed.
NOTE: This project is the part of the non-profit virtual international research consortium “Quantum Aspects of Space-Time & Matter” (QASTM). We would like to dedicate this work for the people those who are helping us to fight against COVID-19 pandemic across the globe.
Symmetry 2021, 13(1), 44; https://doi.org/10.3390/sym13010044
Submission received: 6 December 2020 / Revised: 15 December 2020 / Accepted: 18 December 2020 / Published: 30 December 2020
(This article belongs to the Special Issue Symmetry: Feature Papers 2020)

Abstract

:
The concept of the out-of-time-ordered correlation (OTOC) function is treated as a very strong theoretical probe of quantum randomness, using which one can study both chaotic and non-chaotic phenomena in the context of quantum statistical mechanics. In this paper, we define a general class of OTOC, which can perfectly capture quantum randomness phenomena in a better way. Further, we demonstrate an equivalent formalism of computation using a general time-independent Hamiltonian having well-defined eigenstate representation for integrable Supersymmetric quantum systems. We found that one needs to consider two new correlators apart from the usual one to have a complete quantum description. To visualize the impact of the given formalism, we consider the two well-known models, viz. Harmonic Oscillator and one-dimensional potential well within the framework of Supersymmetry. For the Harmonic Oscillator case, we obtain similar periodic time dependence but dissimilar parameter dependences compared to the results obtained from both microcanonical and canonical ensembles in quantum mechanics without Supersymmetry. On the other hand, for the One-Dimensional PotentialWell problem, we found significantly different time scales and the other parameter dependence compared to the results obtained from non-Supersymmetric quantum mechanics. Finally, to establish the consistency of the prescribed formalism in the classical limit, we demonstrate the phase space averaged version of the classical version of OTOCs from a model-independent Hamiltonian, along with the previously mentioned well-cited models.

Contents
 
1      Introduction3
 
2      Lexicography12
 
3      A Short Review of Supersymmetric Quantum Mechanics12
 
4      General Remarks on Time Disorder Averaging and Thermal OTOCs14
 
5      Eigenstate Representation of thermal OTOCs in Supersymmetric Quantum Mechanics20
5.1      Partition Function from Supersymmetric Quantum Mechanics.................................................................................................................... 23
5.2       Representation of 2-Point OTOC: Y ( 1 ) ( t 1 , t 2 ) ................................................................................................................................ 24
5.3       Representation of 2-Point OTOC: Y ( 2 ) ( t 1 , t 2 ) ................................................................................................................................ 25
5.4       Representation of 2-Point OTOC: Y ( 3 ) ( t 1 , t 2 ) ................................................................................................................................ 25
5.5       Representation of 4-Point OTOC: C ( 1 ) ( t 1 , t 2 ) ................................................................................................................................ 26
            5.5.1      Un-Normalized: C ( 1 ) ( t 1 , t 2 ) ....................................................................................................................................26
            5.5.2      Normalized: C ˜ ( 1 ) ( t 1 , t 2 ) .....................................................................................................................................27
5.6       Representation of 4-Point OTOC: C ( 2 ) ( t 1 , t 2 ) ................................................................................................................................ 28
            5.6.1       Un-Normalized: C ( 2 ) ( t 1 , t 2 ) ...................................................................................................................................28
            5.6.2       Normalized: C ˜ ( 2 ) ( t 1 , t 2 ) ....................................................................................................................................29
5.7      Representation of 4-Point OTOC: C ( 3 ) ( t 1 , t 2 ) ................................................................................................................................. 30
            5.7.1      Un-Normalized: C ( 3 ) ( t 1 , t 2 ) ....................................................................................................................................30
            5.7.2       Normalized: C ˜ ( 3 ) ( t 1 , t 2 ) ....................................................................................................................................31
5.8      Summary of Results ......................................................................................................................................................... 32
 
6      Model I: Supersymmetric Quantum Mechanical Harmonic Oscillator33
6.1       Eigenspectrum of the Super-Partner Hamiltonian............................................................................................................................. 33
6.2      Partition Function.......................................................................................................................................................... 34
6.3      Computation of 2-Point OTOCs................................................................................................................................................ 35
            6.3.1       Computation of Y ( 1 ) ( t 1 , t 2 ) ...................................................................................................................................35
            6.3.2      Computation of Y ( 2 ) ( t 1 , t 2 ) ....................................................................................................................................37
            6.3.3      Computation of Y ( 3 ) ( t 1 , t 2 ) ....................................................................................................................................38
6.4      Computation of Un-Normalized 4-Point OTOCs.................................................................................................................................. 40
            6.4.1       Computation of C ( 1 ) ( t 1 , t 2 ) ...................................................................................................................................40
            6.4.2      Computation of C ( 2 ) ( t 1 , t 2 ) ....................................................................................................................................42
            6.4.3      Computation of C ( 3 ) ( t 1 , t 2 ) ....................................................................................................................................44
6.5      Computation of Normalized 4-Point OTOCs..................................................................................................................................... 46
            6.5.1      Computation of C ˜ ( 1 ) ( t 1 , t 2 ) ..................................................................................................................................46
            6.5.2      Computation of C ˜ ( 2 ) ( t 1 , t 2 ) ..................................................................................................................................48
            6.5.3      Computation of C ˜ ( 3 ) ( t 1 , t 2 ) ..................................................................................................................................49
6.6      Summary of Results ......................................................................................................................................................... 50
 
7      Model II: Supersymmetric One-Dimensional Potential Well52
 
8      General Remarks on the Classical Limiting Interpretation of OTOCs54
 
9      Classical Limit of OTOC for Supersymmetric One-Dimensional Harmonic Oscillator55
 
10      Classical Limit of OTOC for Supersymmetric 1D Box57
 
11      Numerical Results60
11.1      Supersymmetric 1D Infinite Potential Well................................................................................................................................... 61
11.2      Supersymmetric 1D Harmonic Oscillator....................................................................................................................................... 72
 
12      Conclusions83
Appendix ADerivation of the Normalization Factors for the Supersymmetric HO86
Appendix BPoisson Bracket Relation for the Supersymmetric Partner Potential Associated with the 1D Infinite Well Potential88
Appendix CDerivation of the Eigenstate Representation of the Correlators91
Appendix C.1 Representation of 2-point Correlator: Y ( 1 ) ( t 1 , t 2 ) .................................................................................................................. 91
Appendix C.2 Representation of 2-point Correlator: Y ( 2 ) ( t 1 , t 2 ) .................................................................................................................. 92
Appendix C.3 Representation of 2-point Correlator: Y ( 3 ) ( t 1 , t 2 ) .................................................................................................................. 93
Appendix C.4 Representation of 4-Point Correlator: C ( 1 ) ( t 1 , t 2 ) .................................................................................................................. 93
            Appendix C.4.1 Un-normalized: C ( 1 ) ( t 1 , t 2 ) ....................................................................................................................................... 93
            Appendix C.4.2 Un-normalized: C ( 2 ) ( t 1 , t 2 ) ....................................................................................................................................... 95
Appendix C.5 Representation of 4-point Correlator: C ( 3 ) ( t 1 , t 2 ) .................................................................................................................. 98
Appendix C.6 Eigenstate Representation of the Normalization Factors for the 4-point Correlators...................... 100
References100

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 Schr o ¨ dinger 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 Schr o ¨ dinger 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, P ( n , τ ) , 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, P ( n , τ ) , satisfies the Fokker Planck equation, which is given by:
    At infinite temperature ( β 0 ) : ̲
    1 μ P ( n , τ ) τ = n ( n + 1 ) 2 P ( n , τ ) n 2 Diffusion + ( 1 + 2 n ) P ( n , τ ) n Drift , At finite temperature ( β 0 ) : ̲ 1 μ P ( n , τ ) τ = n ( n + 1 ) 2 P ( n , τ ) n 2 Diffusion + ( 1 + 2 n ) P ( n , τ ) n Drift
    + β n ( n + 1 ) V ( n ) n P ( n , τ ) n + 2 V ( n ) n 2 P ( n , τ ) + ( 2 n + 1 ) V ( n ) n P ( n , τ ) Finite temperature contribution ,
    where μ represents the mean stochastic particle production rate and V ( n ) 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 P ( n , τ ) with the appropriate moment generating function F ( n ) , one can compute all the moments. To serve this purpose, one needs to use the following fundamental equation:
    Statistical average of moment generator : F ( n ) : = d n F ( n ) P ( n , τ ) ,
    which physically represents the expectation value or the statistical average value of the number density-dependent moment generating any arbitrary function F ( n ) . 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., n , n 2 , ⋯ 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:
    i = 1 N n ( τ i ) = n ( τ 1 ) n ( τ 2 ) n ( τ N ) τ i ( i = 1 , 2 , , N ) contain disorder ,
    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 τ 1 > τ 2 > > τ N or in the anti-time ordered sense, where τ 1 < τ 2 < < τ N . 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, O i ( t j ) i , j = 1 , 2 with i j or i = j possibilities. The time disorder thermal average over statistical ensemble is described by the following expression: -4.6cm0cm
    C N ( i j ) ( t 1 , t 2 ) : = O i ( t 1 ) , O j ( t 2 ) N β = Tr ρ β O i ( t 1 ) , O j ( t 2 ) N i , j = 1 , 2 ,
    where the thermal density matrix ρ β is defined as:
    ρ β : = 1 Z exp β H with Z = Tr exp ( β H ) .
    In the present context, C N ( i j ) ( t 1 , t 2 ) represents three possible types of OTOC, out of which only i j possibility, which will describe only one OTOC, has been explored in earlier works in this area. The other two OTOCs appearing from the i = j 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 i j case in the above definition; but, the mathematical structure of the other two OTOCs represented by the i = j 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 2 N point OTOCs. Though, in the further computation, we have restricted our study in the paper by considering N = 1 and N = 2 cases, to study the general time disorder averaging process, one may study any even multipoint (i.e., 2 N point) correlation functions from the present definition. Now, here, the N = 1 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 2 N point correlators in terms of the non-vanishing disconnected contributions. For this specific reason, one can treat the N = 1 case result as the building block of any higher 2 N point thermal correlators. However, for most of the quantum systems, the N = 1 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 N > 1 plays a significant role to give a better understanding of the time disordering phenomena. For this purpose, next, we studied the N = 2 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 N = 1 case. In a future version of this work, we have a plan to extend the present computation to study the physical implications of N > 2 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
  • In Section 3, we provide a brief review of the concept of Supersymmetric Quantum Mechanics (QM).
  • In Section 4, we explain how the phenomenon of Quantum Randomness can be diagnosed through the out of time ordered correlators.
  • In Section 5, we provide a model-independent eigenstate representation of the 2- and the 4-point correlators of all the three kinds defined equally well for any QM model with well defined eigenstates.
  • In Section 6, we explicitly calculate the correlators for the Supersymmetric Harmonic Oscillator.
  • In Section 7, we provide the numerical calculations of the correlators for the Supersymmetric 1D infinite potnetial well.
  • In Section 8, we discuss the semiclassical analogue results for the two Supersymmetric QM models.
  • Finally, we conclude with the most important observations from our analysis of the considered Supersymmetric QM models.

2. Lexicography

The lexicographic notations used in this paper is appearing in the Table 1, which will be very helpful to follow various types of notations and its physical interpretations frequently used in this paper.

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:
H 1 = A A ,
where A and A are the intertwining operators which are defined from the superpotential as:
A = 1 2 d d x + W ( x ) ; A = 1 2 d d x + W ( x ) .
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 Schr o ¨ dinger equation can be written as:
H 1 | Ψ 0 = 0 .
Substituting the expressions for A and A 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:
V 1 ( x ) = W 2 ( x ) 1 2 W ( x ) ,
where corresponds to d / d x 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:
W ( x ) = 1 2 m ψ 0 ( x ) ψ 0 ( x ) .
The knowledge of superpotential allows one to determine the Supersymmetric partner potential via the following equation:
V 2 ( x ) = W 2 ( x ) + 1 2 m W ( x ) .
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 H 1 (original Hamiltonian) and H 2 (partner Hamiltonian) are related via the following equation:
E n ( 2 ) = E n + 1 ( 1 ) ; E 0 ( 1 ) = 0 n = 0 , 1 , 2 ,
It is easy to show that the knowledge of the eigenfunctions of H 1 can be used to derive the eigenfunctions of H 2 using the A operator and the eigenfunctions of H 1 from that of H 2 using the A operator. The role of the operators A and A , 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:
H SUSY = H 1 0 0 H 2 .
In general, for such a Hamiltonian, a quantum state is represented by:
| Ψ n T = | ψ ( 1 ) | ψ ( 2 ) ,
where, | ψ ( 1 ) and | ψ ( 2 ) 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
| Ψ n T = 1 2 | ψ ( 1 ) | ψ ( 2 ) ,
which indeed represents a normalized eigenfunction of the Hamiltonian of the Supersymmetric quantum mechanical systems considered in this work.
H SUSY | Ψ n = 1 2 H 1 0 0 H 2 | ψ n ( 1 ) | ψ n 1 ( 2 ) = 1 2 E n ( 1 ) | ψ n ( 1 ) E n 1 ( 2 ) | ψ n 1 ( 2 ) = E n ( 1 ) 2 | ψ n ( 1 ) | ψ n 1 ( 2 ) ,
where we have used the relation E n 1 ( 2 ) = E n ( 1 ) . If we use Equation (15), then | Ψ n does not remain an eigenstate of H SUSY , as we show below.
H SUSY | Ψ n = H 1 0 0 H 2 | ψ n ( 1 ) | ψ n ( 2 ) = E n ( 1 ) | ψ n ( 1 ) E n ( 2 ) | ψ n ( 2 ) .
Since the energy associated with the nth energy eigenstate of the original Hamiltonian, H 1 is not equal to that of its associated partner Hamiltonian H 2 , i.e., E n ( 1 ) E n ( 2 ) , | Ψ n fails to be an eigenstate of H SUSY .

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: x ( t 1 ) , x ( t 2 ) , p ( t 1 ) , p ( t 2 ) , x ( t 1 ) , p ( t 2 ) ,
  • 4-point OTOCs: x ( t 1 ) , x ( t 2 ) 2 , p ( t 1 ) , p ( t 2 ) 2 , x ( t 1 ) , p ( t 2 ) 2 ,
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:
O ( t ) : = 1 Z ( t ) Tr exp ( β H ) O ( t ) = Tr ρ β O ( t ) ,
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:
x ( t ) = 0 , p ( t ) = 0 ,
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:
Odd x correlator : ̲ x ( t 1 ) x ( t 2 ) x ( t 3 ) odd number of terms = 0 ,
Odd p correlator : ̲ p ( t 1 ) p ( t 2 ) p ( t 3 ) odd number of terms = 0 ,
One p & even x correlator : ̲ p ( t 1 ) x ( t 2 ) x ( t 3 ) odd number of terms = 0 ,
One x & even p correlator : ̲ x ( t 1 ) p ( t 2 ) p ( t 3 ) odd number of terms = 0 .
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 t d , 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 e t / t d , 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 t t d with t . In usual prescription of the “dissipation time scale”, t d is identified with the inverse temperature β , i.e., t d β = 1 / T , where we use Boltzmann constant k B = 1 , 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 t T 1 , 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:
x ( t 1 ) x ( t 1 ) p ( t 2 ) p ( t 2 ) Unequal time 4 point correlator x ( t 1 ) x ( t 1 ) Equal time 2 point correlator p ( t 2 ) p ( t 2 ) Equal time 2 point correlator + O ( e t / t d ) Subdominant decaying contribution ,
where, in this aforementioned factorization, O ( e t / t d ) 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 x ( t 1 ) , p ( t 2 ) 2 in the following simplified mathematical form:
x ( t 1 ) , p ( t 2 ) 2 = 2 x ( t 1 ) x ( t 1 ) p ( t 2 ) p ( t 2 ) Re x ( t 1 ) p ( t 2 ) x ( t 1 ) p ( t 2 ) .
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:
x ( t 1 ) , p ( t 2 ) 2 = 2 x ( t 1 ) x ( t 1 ) p ( t 2 ) p ( t 2 ) Re x ( t 1 ) p ( t 2 ) x ( t 1 ) p ( t 2 ) + O ( e t / t d ) .
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:
C ( 1 ) ( t 1 , t 2 ) = x ( t 1 ) , p ( t 2 ) 2 x ( t 1 ) x ( t 1 ) p ( t 2 ) p ( t 2 ) = 2 1 Re x ( t 1 ) p ( t 2 ) x ( t 1 ) p ( t 2 ) x ( t 1 ) x ( t 1 ) p ( t 2 ) p ( t 2 ) .
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 x ( t 1 ) , x ( t 2 ) 2 and p ( t 1 ) , p ( t 2 ) 2 , 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:
C ( 2 ) ( t 1 , t 2 ) = x ( t 1 ) , x ( t 2 ) 2 x ( t 1 ) x ( t 1 ) x ( t 2 ) x ( t 2 ) = 2 1 Re x ( t 1 ) x ( t 2 ) x ( t 1 ) x ( t 2 ) x ( t 1 ) x ( t 1 ) x ( t 2 ) x ( t 2 ) ,
and
C ( 3 ) ( t 1 , t 2 ) = p ( t 1 ) , p ( t 2 ) 2 p ( t 1 ) p ( t 1 ) p ( t 2 ) p ( t 2 ) = 2 1 Re p ( t 1 ) p ( t 2 ) p ( t 1 ) p ( t 2 ) p ( t 1 ) p ( t 1 ) p ( t 2 ) p ( t 2 ) .
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:
Re x ( t 1 ) p ( t 2 ) x ( t 1 ) p ( t 2 ) x ( t 1 ) x ( t 1 ) p ( t 2 ) p ( t 2 ) = 1 A 12 ( 1 ) e λ 1 t 1 + t 2 2 with λ 1 2 π β 1 , Chaotic 1 B 12 ( 1 ) f 1 ( t 1 , t 2 ) . Non-Chaotic
Re x ( t 1 ) p ( t 2 ) x ( t 1 ) p ( t 2 ) x ( t 1 ) x ( t 1 ) p ( t 2 ) p ( t 2 ) = 1 A 12 ( 2 ) e λ 2 t 1 + t 2 2 with λ 2 2 π β 2 , Chaotic 1 B 12 ( 2 ) f 2 ( t 1 , t 2 ) . Non-Chaotic
Re p ( t 1 ) p ( t 2 ) p ( t 1 ) p ( t 2 ) p ( t 1 ) p ( t 1 ) p ( t 2 ) p ( t 2 ) = 1 A 12 ( 3 ) e λ 3 t 1 + t 2 2 with λ 3 2 π β 3 , Chaotic 1 B 12 ( 3 ) f 3 ( t 1 , t 2 ) . Non-Chaotic
The aforementioned expression captures all the possibilities which one can observe in different quantum mechanical systems available in nature. Here, A 12 ( 1 ) , A 12 ( 2 ) , and A 12 ( 3 ) 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, B 12 ( 1 ) , B 12 ( 2 ) , and B 12 ( 3 ) 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, λ 1 , λ 2 , and λ 3 , 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., β 1 β 2 β 3 . In addition, it is important to point out that the mathematical structure of the time-dependent functions f 1 ( t 1 , t 2 ) , f 2 ( t 1 , t 2 ) , and f 3 ( t 1 , t 2 ) 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 f 2 ( t 1 , t 2 ) and f 3 ( t 1 , t 2 ) 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 f 2 ( t 1 , t 2 ) and f 3 ( t 1 , t 2 ) 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 [ x ( t 1 ) , p ( t 2 ) ] , [ x ( t 1 ) , x ( t 2 ) ] , and [ p ( t 1 ) , p ( t 2 ) ] . 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 t 1 to t 2 or t 2 to t 1 . In all the representative diagrams, the two vertical solid thick lines correspond to the specific time slice having time t = t 1 and t = t 2 , 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 t 1 to t 2 or t 2 to t 1 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, [ x ( t 1 ) , p ( t 2 ) ] 2 , [ x ( t 1 ) , x ( t 2 ) ] 2 , and [ p ( t 1 ) , p ( t 2 ) ] 2 . 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 t 1 to t 2 or from t 2 to t 1 . 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 t = t 1 and t = t 2 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, [ x ( t 1 ) , p ( 0 ) ] 2 (though, in our computation, we have generalized this to [ x ( t 1 ) , p ( t 2 ) ] 2 ) 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 A ( t ) is defined on a specific Hilbert Space H 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 | Ψ n n = 0 , 1 , , , where the corresponding energy levels are characterized by the index n. This energy eigenspectrum is represented by E n n = 0 , 1 , , . Then, for a canonical quantum statistical ensemble, the thermal expectation value of the quantum mechanical time-dependent operator A ( t ) at inverse temperature β , considering the Boltzmann constant k B = 1 , is defined as:
A ( t ) β = 1 Z Tr e β H A ( t ) ,
where the thermal partition function is represented by Z such that Z = Tr e β H . Here, our job is to represent this mathematical trace operation in terms of the sum over all possible eigenstates starting from the ground state ( n = 0 ). 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 A ( t ) can be written as:
A ( t ) β = 1 Z Tr e β H A ( t ) n | Ψ n Ψ n | Identity operator = n e β E n Ψ n | A ( t ) | Ψ n n e β E n .
Here, we work in the Heisenberg Picture, where the operators evolve with time, as given by O H ( t ) = e i H t O S ( 0 ) e i H t , where O H ( t ) represents operator O H at time scale t in Heisenberg picture and O S ( 0 ) represents its Schr o ¨ dinger picture representation at all time scales since operators do not evolve with time in Schr o ¨ dinger picture. The latter is denoted as O S to simplify the notation and make it easier to read.
What do we learn here?:
Thermal Expectation Value : A ( t ) β = 1 Z Tr e β H A ( t )
Heisenberg Repsentation of Operators : O H ( t ) = e i H t O S e i H t
Eigenstate Rep . of Thermal Exp . : A ( t ) β = n e β E n Ψ n | A ( t ) | Ψ n n e β E n
To demonstrate the computation further, let us consider a general time-independent Hamiltonian of the following form:
H ( q i , p i ) = i = 1 N p i 2 + V ( q i ) ,
where we have used the fact that the mass of all N number of particles are the same and given by m i = m = 1 / 2 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:
p k m = i 2 E k m x k m .
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:
x m k = Ψ m | x | Ψ k = 1 2 ψ m B | x | ψ k B bosonic part non SUSY & SUSY + ψ m 1 F | x | ψ k 1 F fermionic part SUSY only neither m / k is ground state SUSY switch off ψ m B | x | ψ k B , if one of m / k is ground state SUSY 1 2 ψ m B | x | ψ k B , both m & k are ground state SUSY ψ m B | x | ψ k B .
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 H 1 and H 2 , as appearing from the bosonic and the fermion sectors in Supersymmetry. In fact, it is the factorization property of H 1 and H 2 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:
Correlation Functions
2 - point Correlator : Y ( 1 ) ( t 1 , t 2 ) = [ x ( t 1 ) , p ( t 2 ) ] β
2 - point Correlator : Y ( 2 ) ( t 1 , t 2 ) = [ x ( t 1 ) , x ( t 2 ) ] β
2 - point Correlator : Y ( 3 ) ( t 1 , t 2 ) = [ p ( t 1 ) , p ( t 2 ) ] β
4 - point Correlator : C ( 1 ) ( t 1 , t 2 ) = [ x ( t 1 ) , p ( t 2 ) ] 2 β
4 - point Correlator : C ( 2 ) ( t 1 , t 2 ) = [ x ( t 1 ) , x ( t 2 ) ] 2 β
4 - point Correlator : C ( 3 ) ( t 1 , t 2 ) = [ p ( t 1 ) , p ( t 2 ) ] 2 β
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
Normalized 4 - point Correlator : C ˜ ( 1 ) ( t 1 , t 2 ) = C ( 1 ) ( t 1 , t 2 ) x ( t 1 ) x ( t 1 ) β p ( t 2 ) p ( t 2 ) β = [ x ( t 1 ) , p ( t 2 ) ] 2 β x ( t 1 ) x ( t 1 ) β p ( t 2 ) p ( t 2 ) β
Normalized 4 - point Correlator : C ˜ ( 2 ) ( t 1 , t 2 ) = C ( 2 ) ( t 1 , t 2 ) x ( t 1 ) x ( t 1 ) β x ( t 2 ) x ( t 2 ) β = [ x ( t 1 ) , x ( t 2 ) ] 2 β x ( t 1 ) x ( t 1 ) β x ( t 2 ) x ( t 2 ) β
Normalized 4 - point Correlator : C ˜ ( 3 ) ( t 1 , t 2 ) = C ( 3 ) ( t 1 , t 2 ) p ( t 1 ) p ( t 1 ) β p ( t 2 ) p ( t 2 ) β = [ p ( t 1 ) , p ( t 2 ) ] 2 β p ( t 1 ) p ( t 1 ) β p ( t 2 ) p ( t 2 ) β

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:
Z = Tr [ e β H SUSY ] = m Ψ m | e β H SUSY | Ψ m .
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:
H SUSY = H 1 0 0 H 2 e β H SUSY = e β H 1 0 0 e β H 2 , | Ψ m T = 1 2 | ψ m ( 1 ) | ψ m 1 ( 2 ) ; | Ψ 0 T = | ψ m ( 1 ) 0 .
So, the Supersymmetric quantum partition function in the eigenstate representation can be explicitly written as:
Z = ψ m ( 1 ) | e β H 1 | ψ m ( 1 ) | m = 0 + 1 2 m > 0 ψ m ( 1 ) | e β H 1 | ψ m ( 1 ) + ψ m 1 ( 2 ) | e β H 2 | ψ m 1 ( 2 ) , = e β E m ( 1 ) ψ m ( 1 ) | ψ m ( 1 ) | m = 0 Ground State Contribution + 1 2 m > 0 e β E m ( 1 ) ψ m ( 1 ) | ψ m ( 1 ) + e β E m 1 ( 2 ) ψ m 1 ( 2 ) | ψ m 1 ( 2 ) .
As shown in Section 3, in Supersymmetric quantum mechanical theories, we have the following constraint:
E m = E m ( 1 ) = E m 1 ( 2 ) ,
with the requirement that the ground state is eigenstate of H 1 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 E m refers to the energy eigenvalue of the total Hamiltonian H SUSY . Using this set of requirements, the aforementioned expression for the quantum partition function within the framework of Supersymmetry can be further simplified as:
Z = 1 + 1 2 m > 0 e β E m ψ m ( 1 ) | ψ m ( 1 ) + ψ m 1 ( 2 ) | ψ m 1 ( 2 ) = 1 + m > 0 e β E m ,
which is different compared to usual quantum mechanics results without Supersymmetry, as in the present context ground state energy eigenvalue E 0 = 0 , 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: Y ( 1 ) ( t 1 , t 2 )

The first 2-point OTOC is given by the thermal average of the operator [ x ( t 1 ) , p ( t 2 ) ] , which is described in the eigenstate representation as:
Y ( 1 ) ( t 1 , t 2 ) : = [ x ( t 1 ) , p ( t 2 ) ] β = m e β E m Ψ m | [ x ( t 1 ) , p ( t 2 ) ] | Ψ m 1 + m > 0 e β E m . .
Using Equation (33) for Heisenberg representation for x ( t 1 ) and p ( t 2 ) 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:
Y ( 1 ) ( t 1 , t 2 ) = m e β E m y m ( 1 ) ( t 1 , t 2 ) 1 + m > 0 e β E m ,
where the micro-canonical 2-point OTOC is defined as:
y m ( 1 ) ( t 1 , t 2 ) = Ψ m | [ x ( t 1 ) , p ( t 2 ) ] | Ψ m .
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 y m ( 1 ) ( t 1 , t 2 ) takes the following form.
y m ( 1 ) ( t 1 , t 2 ) = i k E k m x m k x k m cos E k m t 1 t 2 ,
where we define E m k / m , k = E m E k and x m k / m , k = Ψ m | x | Ψ k .
Substituting the aforementioned expression for the micro-canonical OTOC in the definition of the canonical correlator, Y ( 1 ) ( t 1 , t 2 ) , we get the following expression:
Y ( 1 ) ( t 1 , t 2 ) = i m , k e β E m E k m x m k x k m cos E k m ( t 1 t 2 ) 1 + m > 0 e β E m .

5.3. Representation of 2-Point OTOC: Y ( 2 ) ( t 1 , t 2 )

The second 2-point OTOC is given by the thermal average of the operator [ x ( t 1 ) , x ( t 2 ) ] , which is described in the eigenstate representation as:
Y ( 2 ) ( t 1 , t 2 ) = [ x ( t 1 ) , x ( t 2 ) ] β = m e β E m Ψ m | [ x ( t 1 ) , x ( t 2 ) ] | Ψ m 1 + m > 0 e β E m .
Using Equation (33) for Heisenberg representation for x ( t 1 ) and x ( t 2 ) the 2-point correlator in terms of the temperature independent micro-canonical correlator can be written as:
Y ( 2 ) ( t 1 , t 2 ) = m e β E m y m ( 2 ) ( t 1 , t 2 ) 1 + m > 0 e β E m ,
where the micro-canonical 2-point OTOC is defined as:
y m ( 2 ) ( t 1 , t 2 ) = Ψ m | [ x ( t 1 ) , x ( t 2 ) ] | Ψ m .
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 y m ( 2 ) ( t 1 , t 2 ) takes the following form:
y m ( 2 ) ( t 1 , t 2 ) = 2 i k x m k x k m sin E m k ( t 1 t 2 ) .
where we define, E m k / m , k = E m E k and x m k / m , k = Ψ m | x | Ψ k .
Substituting Equation (54) in Equation (52), the eigenstate representation for the canonical correlator Y ( 2 ) ( t 1 , t 2 ) takes the form:
Y ( 2 ) ( t 1 , t 2 ) = 2 i m , k e β E m x m k x k m sin E m k ( t 1 t 2 ) 1 + m > 0 e β E m .

5.4. Representation of 2-Point OTOC: Y ( 3 ) ( t 1 , t 2 )

The third two-point OTOC is given by the thermal average of the operator [ p ( t 1 ) , p ( t 2 ) ] , which is described in the eigenstate representation as:
Y ( 3 ) ( t 1 , t 2 ) = [ p ( t 1 ) , p ( t 2 ) ] β = m e β E m Ψ m | [ p ( t 1 ) , p ( t 2 ) ] | Ψ m 1 + m > 0 e β E m .
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:
Y ( 3 ) ( t 1 , t 2 ) = m e β E m y m ( 3 ) ( t 1 , t 2 ) 1 + m > 0 e β E m ,
where the micro-canonical 2-point OTOC is defined as:
y m ( 3 ) ( t 1 , t 2 ) = Ψ m | [ p ( t 1 ) , p ( t 2 ) ] | Ψ m .
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 y m ( 3 ) ( t 1 , t 2 ) is given by the following expression:
y m ( 3 ) ( t 1 , t 2 ) = i 2 k E m k x m k E k m x k m sin E k m t 1 t 2 .
Substituting the expression for the micro-canonical correlator obtained from Equation (58) in Equation (56), the eigenstate representation for the canonical correlator Y ( 3 ) ( t 1 , t 2 ) can be written as:
Y ( 3 ) ( t 1 , t 2 ) = i 2 m , k e β E m E m k x m k E k m x k m sin E k m t 1 t 2 1 + m > 0 e β E m .

5.5. Representation of 4-Point OTOC: C ( 1 ) ( t 1 , t 2 )

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 C ( 1 ) ( t 1 , t 2 ) (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, C ( 1 ) ( t 1 , t 2 ) , 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, C ( 2 ) ( t 1 , t 2 ) and C ( 3 ) ( t 1 , t 2 ) , described in detail in the latter half of this paper.

5.5.1. Un-Normalized: C ( 1 ) ( t 1 , t 2 )

The first 4-point OTOC is given by the thermal average of the operator [ x ( t 1 ) , p ( t 2 ) ] 2 , which is described in the eigenstate representation as:
C ( 1 ) ( t 1 , t 2 ) = [ x ( t 1 ) , p ( t 2 ) ] 2 β = m e β E m c m ( 1 ) ( t 1 , t 2 ) 1 + m > 0 e β E m ,
where c m ( 1 ) ( t 1 , t 2 ) 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:
c m ( 1 ) ( t 1 , t 2 ) = Ψ m | [ x ( t 1 ) , p ( t 2 ) ] 2 | Ψ m = k b m k ( 1 ) ( t 1 , t 2 ) b m k ( 1 ) * ( t 1 , t 2 ) ,
where we define a time-dependent matrix element, b m k ( 1 ) ( t 1 , t 2 ) , which is given by:
b m k ( 1 ) ( t 1 , t 2 ) = i Ψ m | [ x ( t 1 ) , p ( t 2 ) ] | Ψ k .
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 b m k ( 1 ) can be written as:
b m k ( 1 ) * ( t 1 , t 2 ) = 1 2 r E r k e i t 1 E r m e i t 2 E k r E m r e i t 2 E r m e i t 1 E k r x r m x k r .
Substituting the above expression of b m k ( 1 ) * ( t 1 , t 2 ) 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:
c m ( 1 ) ( t 1 , t 2 ) = 1 4 k , l , r x m l x l k x r m x k r × [ E r k E l k e i E r l t 1 t 2 + E m r E m l e i E r l t 1 t 2 E r k E m l e i E r m + E l k t 1 t 2 E m r E l k e i E r m + E l k t 1 t 2 ] .
So, the eigenstate representation of canonical correlator from Equation (60) using Equation (62) is given as:
C ( 1 ) ( t 1 , t 2 ) = 1 4 1 + m > 0 e β E m m , k , l , r e β E m x m l x l k x r m x k r × [ E r k E l k e i E r l t 1 t 2 + E m r E m l e i E r l t 1 t 2 E r k E m l e i E r m + E l k t 1 t 2 E m r E l k e i E r m + E l k t 1 t 2 ] .

5.5.2. Normalized: C ˜ ( 1 ) ( t 1 , t 2 )

The normalized first 4-point OTOC is from the un-normalized one expressed in Equation (43) can be expressed as:
C ˜ ( 1 ) ( t 1 , t 2 ) = C ( 1 ) ( t 1 , t 2 ) x ( t 1 ) x ( t 1 ) β p ( t 2 ) p ( t 2 ) β .
We have already calculated the numerator C ( 1 ) ( t 1 , t 2 ) 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:
j | x ( t 1 ) x ( t 1 ) | j = l x j l x l j ,
j | p ( t 2 ) p ( t 2 ) | j = l p j l p l j = 1 4 l E j l E l j x j l x l j .
Consequently, the desired canonical equal time thermal correlators can be computed as:
x ( t 1 ) x ( t 1 ) β = j e β E j j | x ( t 1 ) x ( t 1 ) | j 1 + m > 0 e β E m = j , l e β E j x j l x l j 1 + m > 0 e β E m ,
p ( t 2 ) p ( t 2 ) β = j e β E j j | p ( t 2 ) p ( t 2 ) | j 1 + m > 0 e β E m = j , l e β E j p j l p l j 1 + m > 0 e β E m = 1 4 j , l e β E j E j l E l j x j l x l j 1 + m > 0 e β E m .
Finally, the normalized first 4-point OTOC can be expressed by the following simplified expression in the eigenstate representation, as given by:
C ˜ ( 1 ) ( t 1 , t 2 ) = C ( 1 ) ( t 1 , t 2 ) x ( t 1 ) x ( t 1 ) β p ( t 2 ) p ( t 2 ) β = 1 + j > 0 e β E j j , m , l e β ( E j + E m ) E j l E l j x j l x l j × m , k , l , r e β E m x m l x l k x r m x k r × [ E r k E l k e i E r l t 1 t 2 + E m r E m l e i E r l t 1 t 2 E r k E m l e i E r m + E l k t 1 t 2 E m r E l k e i E r m + E l k t 1 t 2 ] .

5.6. Representation of 4-Point OTOC: C ( 2 ) ( t 1 , t 2 )

5.6.1. Un-Normalized: C ( 2 ) ( t 1 , t 2 )

The second 4-point OTOC is given by the thermal average of the operator [ x ( t 1 ) , x ( t 2 ) ] 2 , which is described in the eigenstate representation as:
C ( 2 ) ( t 1 , t 2 ) = [ x ( t 1 ) , x ( t 2 ) ] 2 β = m e β E m c m ( 2 ) ( t 1 , t 2 ) 1 + m > 0 e β E m ,
where c m ( 2 ) ( t 1 , t 2 ) 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:
c m ( 2 ) ( t 1 , t 2 ) = Ψ m | [ x ( t 1 ) , x ( t 2 ) ] 2 | Ψ m = k b m k ( 2 ) ( t 1 , t 2 ) b k m ( 2 ) ( t 1 , t 2 ) ,
where we define a time-dependent matrix element, b m k ( 2 ) ( t 1 , t 2 ) , which is given by:
b m k ( 2 ) ( t 1 , t 2 ) = Ψ m | [ x ( t 1 ) , x ( t 2 ) ] | Ψ k .
Using the Heisenberg picture for the evolution of operators and inserting identity between the operators, it can be shown that b m k ( 2 ) ( t 1 , t 2 ) can be written as:
b m k ( 2 ) ( t 1 , t 2 ) = l e i t 1 E m l e i t 2 E l k e i t 2 E m l e i t 1 E l k x m l x l k .
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:
c m ( 2 ) ( t 1 , t 2 ) = 4 k , l , r x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 .
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:
C ( 2 ) ( t 1 , t 2 ) = 4 1 + j > 0 e β E j m , k , l , r e β E m x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 .

5.6.2. Normalized: C ˜ ( 2 ) ( t 1 , t 2 )

The normalized first 4-point OTOC is from the un-normalized one expressed in Equation (44) can be expressed as:
C ˜ ( 2 ) ( t 1 , t 2 ) = C ( 2 ) ( t 1 , t 2 ) x ( t 1 ) x ( t 1 ) β x ( t 2 ) x ( t 2 ) β .
We have already calculated the numerator C ( 2 ) ( t 1 , t 2 ) 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:
j | x ( t 1 ) x ( t 1 ) | j = l x j l x l j = j | x ( t 2 ) x ( t 2 ) | j .
Consequently, the desired canonical equal time thermal correlators can be computed as:
x ( t 1 ) x ( t 1 ) β = j e β E j j | x ( t 1 ) x ( t 1 ) | j 1 + m > 0 e β E m = j , l e β E j x j l x l j 1 + m > 0 e β E m = x ( t 2 ) x ( t 2 ) β .
Finally, the normalized first 4-point OTOC can be expressed by the following simplified expression in the eigenstate representation, as given by:
C ˜ ( 2 ) ( t 1 , t 2 ) = C ( 2 ) ( t 1 , t 2 ) x ( t 1 ) x ( t 1 ) β x ( t 2 ) x ( t 2 ) β = 4 1 + j > 0 e β E j j , m , l , k e β ( E j + E m ) x j l x l j x m k x k m m , k , l , r e β E m x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 .

5.7. Representation of 4-Point OTOC: C ( 3 ) ( t 1 , t 2 )

5.7.1. Un-Normalized: C ( 3 ) ( t 1 , t 2 )

The third 4-point OTOC is given by the thermal average of the operator [ p ( t 1 ) , p ( t 2 ) ] 2 , which is described in the eigenstate representation as:
C ( 3 ) ( t 1 , t 2 ) = [ p ( t 1 ) , p ( t 2 ) ] 2 β = m e β E m c m ( 3 ) ( t 1 , t 2 ) 1 + m > 0 e β E m ,
where c m ( 3 ) ( t 1 , t 2 ) 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:
c m ( 3 ) ( t 1 , t 2 ) = Ψ m | [ p ( t 1 ) , p ( t 2 ) ] 2 | Ψ m = k b m k ( 3 ) ( t 1 , t 2 ) b k m ( 3 ) ( t 1 , t 2 ) ,
where we define a time-dependent matrix element, b m k ( 2 ) ( t 1 , t 2 ) , which is given by:
b m k ( 3 ) ( t 1 , t 2 ) = Ψ m | [ p ( t 1 ) , p ( t 2 ) ] | Ψ k .
Using the Heisenberg picture for the evolution of operators and inserting identity between the operators, it can be shown that b m k ( 3 ) ( t 1 , t 2 ) can be simplified into the following form:
b m k ( 3 ) ( t 1 , t 2 ) = l e i t 1 E m l e i t 2 E l k e i t 2 E m l e i t 1 E l k p m l p l k .
Substituting the expression of b m k ( 3 ) ( t 1 , t 2 ) , i.e., Equation (79) in Equation (78), and simplifying, the eigenstate representation of the micro-canonical correlator can be expressed as:
c m ( 3 ) ( t 1 , t 2 ) = 1 4 k , l , r E m l E l k E k r E r m x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 .
The eigenstate representation of the canonical correlator from Equation (77) using Equation (80), after simplification, can be expressed by the following two equations:
C ( 3 ) ( t 1 , t 2 ) = 1 4 1 + m > 0 e β E m m , k , l , r e β E m E m l E l k E k r E r m x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 .

5.7.2. Normalized: C ˜ ( 3 ) ( t 1 , t 2 )

The normalized first 4-point OTOC is from the un-normalized one expressed in Equation (45) can be expressed as:
C ˜ ( 3 ) ( t 1 , t 2 ) = C ( 3 ) ( t 1 , t 2 ) p ( t 1 ) p ( t 1 ) β p ( t 2 ) p ( t 2 ) β .
We have already calculated the numerator C ( 3 ) ( t 1 , t 2 ) 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:
j | p ( t 1 ) p ( t 1 ) | j = l p j l p l j = 1 4 l E j l E l j x j l x l j = j | p ( t 2 ) p ( t 2 ) | j .
Consequently, the desired canonical equal time thermal correlators can be computed as:
p ( t 1 ) p ( t 1 ) β = j , l e β E j p j l p l j 1 + j > 0 e β E j = 1 4 j , l e β E j E j l E l j x j l x l j 1 + j > 0 e β E j = p ( t 2 ) p ( t 2 ) β .
Finally, the normalized first 4-point OTOC can be expressed by the following simplified expression in the eigenstate representation, as given by:
C ˜ ( 3 ) ( t 1 , t 2 ) = C ( 3 ) ( t 1 , t 2 ) p ( t 1 ) p ( t 1 ) β p ( t 2 ) p ( t 2 ) β = 4 1 + j > 0 e β E j j , m , k , l e β ( E j + E m ) E j l E l j E m k E k m x j l x l j x m k x k m × m , k , l , r e β E m E m l E l k E k r E r m x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 .

5.8. Summary of Results

Related equations are following:
Eigenstate Representation for Micro-Canonical Correlators]
y m ( 1 ) ( t 1 , t 2 ) = i k E k m x m k x k m cos E k m t 1 t 2 ,
y m ( 2 ) ( t 1 , t 2 ) = 2 i k x m k x k m sin E m k ( t 1 t 2 ) ,
y m ( 3 ) ( t 1 , t 2 ) = i 2 k E m k x m k E k m x k m sin E k m t 1 t 2 ,
c m ( 1 ) ( t 1 , t 2 ) = 1 4 k , l , r x m l x l k x r m x k r × [ E r k E l k e i E r l t 1 t 2 + E m r E m l e i E r l t 1 t 2 E r k E m l e i E r m + E l k t 1 t 2 E m r E l k e i E r m + E l k t 1 t 2 ] ,
c m ( 2 ) ( t 1 , t 2 ) = 4 k , l , r x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 ,
c m ( 3 ) ( t 1 , t 2 ) = 1 4 k , l , r E m l E l k E k r E r m x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 .
Eigenstate Representation for Canonical Correlators without normalization]
Subjected to (51)
Y ( 2 ) ( t 1 , t 2 ) = 2 i m , k e β E m x m k x k m sin E m k t 1 t 2 1 + m > 0 e β E m ,
Y ( 3 ) ( t 1 , t 2 ) = i 2 m , k e β E m E m k x m k E k m x k m sin E k m t 1 t 2 1 + m > 0 e β E m ,
C ( 1 ) ( t 1 , t 2 ) = 1 4 1 + m > 0 e β E m m , k , l , r e β E m x m l x l k x r m x k r × [ E r k E l k e i E r l t 1 t 2 + E m r E m l e i E r l t 1 t 2 E r k E m l e i E r m + E l k t 1 t 2 E m r E l k e i E r m + E l k t 1 t 2 ] ,
C ( 2 ) ( t 1 , t 2 ) = 4 1 + m > 0 e β E m m , k , l , r e β E m x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 ,
C ( 3 ) ( t 1 , t 2 ) = 1 4 1 + m > 0 e β E m m , k , l , r e β E m E m l E l k E k r E r m x m l x l k x k r x r m × sin E r E m + E k 2 t 1 t 2 sin E l E m + E k 2 t 1 t 2 .
Eigenstate Representation for Canonical Correlators with normalization referred to (75), (83), (68), (76) and (84).

6. Model I: Supersymmetric Quantum Mechanical Harmonic Oscillator

6.1. Eigenspectrum of the Super-Partner Hamiltonian

We consider a system described by Hamiltonian H 1 with the harmonic oscillator potential as given by:
V 1 ( x ) = 1 2 ω 2 x 2 ,
where ω is the natural frequency of the oscillator, and we have assumed that the mass is m = 1 , for the sake of algebraic simplification. Now, we represent Ψ n ( 1 ) ( x ) and E n ( 1 ) as the eigenstates and eigenvalues corresponding to Hamiltonian H 1 , which can be obtained by solving the Schr o ¨ dinger equation as:
Ψ n ( 1 ) ( x ) = ω π 1 / 4 1 2 n n ! e ω 2 x 2 H n ( ω x ) ,
E n ( 1 ) = n + 1 2 ω ,
where H m ( y ) appearing in the eigenfunctions are the well-known Hermite polynomials of order m. As discussed in Section 3, the superpotential can be calculated once the ground state wavefunction is known. Hence, using the ground state wavefunction obtained by substituting n = 0 in Equation (97), the superpotential can be calculated using Equation (11), and, for the case of Supersymmetric one-dimensional harmonic oscillator, it is obtained to be the following:
W ( x ) = x 2 .
Thus, we can construct the partner Hamiltonian, which is of the following form:
H 2 = 1 2 d 2 d x 2 + V 2 ( x ) ,
where V 2 is the partner potential and can be computed using Equation (12). For the Supersymmetric one-dimensional harmonic oscillator, we get the following expression for the partner potential:
V 2 ( x ) = 1 + ω 2 x 2 2 .
More precisely, in the context of Supersymmetric harmonic oscillator, the original Hamiltonian is usually identified as the Bosonic Hamiltonian, and its associated super-partner is identified as the Fermionic Hamiltonian, which are constructed by subtracting off the ground state energy as:
Bosonic Hamiltonian : H B = H 1 E 0 ( 1 ) ,
Fermionic Hamiltonian : H F = H 2 E 0 ( 1 ) .
Now, since this is just a constant shift in the energy, the corresponding eigenstates of the partner Hamiltonians remain the same and can be represented as:
Bosonic eigenstate : Ψ n ( 1 ) ( x ) Ψ n ( B ) ( x ) ,
Fermionic eigenstate : Ψ n ( 2 ) ( x ) Ψ n ( F ) ( x ) .
However, in this case, the energy eigenvalues get shifted by an amount E 0 ( 1 ) and can be described as:
Bosonic eigenspectrum : E n ( B ) = n ω ,
Fermionic eigenspectrum : E n ( F ) = ( n + 1 ) ω ,
where we have used the property of Supersymmetric quantum mechanical theories:
E n ( F ) = E n + 1 ( B ) n = 0 , 1 , 2 , . .
We can compute the energy eigenstates of the partner fermionic system by using the Schr o ¨ dinger equation for the Hamiltonian H F , which yields the same wave functions as for H B , as given in Equations (97) and (98).

6.2. Partition Function

The partition function in the eigenstate representation is defined by the following expression:
Z = Tr [ e β H ] = n Ψ n | e β H | Ψ n .
In the framework of Supersymmetric quantum mechanics, as already discussed, the ground state is only bosonic. The structure of the normalized eigenfunctions are also different for the ground state and the higher energy state. Hence, the partition function can be written in terms of the ground state contribution and in terms of the contribution coming from the excited state as:
Z = Ψ 0 | Ψ 0 Ground State Contribution + 1 2 n > 0 [ Ψ n B | e β H B | Ψ n B + Ψ n 1 F | e β H F | Ψ n 1 F ] Excited State Contribution .
Further using the fact that the bosonic and the fermionic Hamiltonians nth energy eigenfunction are exactly identical, the partition function for the Supersymmetric one-dimensional harmonic oscillator can be computed as:
Z = 1 + 1 2 n > 0 ( e β ω n + e β ω n ) = 1 1 e β ω = 1 2 e β ω 2 cosech β ω 2 .

6.3. Computation of 2-Point OTOCs

6.3.1. Computation of Y ( 1 ) ( t 1 , t 2 )

We compute the 2-point correlators for the Supersymmetric Harmonic oscillator. We begin with the correlator constructed from two different dynamical operators, which is defined as:
Y ( 1 ) ( t 1 , t 2 ) = [ x ( t 1 ) , p ( t 2 ) ] β = 1 Z n e β E n Ψ n | [ x ( t 1 ) , p ( t 2 ) ] | Ψ n = 1 Z [ Ψ 0 | [ x ( t 1 ) , p ( t 2 ) ] | Ψ 0 Ground State Contribution + n > 0 e β E n Ψ n | [ x ( t 1 ) , p ( t 2 ) ] | Ψ n Excited States Contribution ] = 2 e β ω 2 sinh β ω 2 y 0 ( 1 ) ( t 1 , t 2 ) + n > 0 e β ω n y n ( 1 ) ( t 1 , t 2 ) ,
where y 0 ( 1 ) ( t 1 , t 2 ) and y n ( 1 ) ( t 1 , t 2 ) represent the micro-canonical correlators for the ground state and the excited states, and the overall temperature-dependent normalization function is appearing from the expression for the inverse of the thermal partition function for canonical quantum statistical ensemble. The purpose of taking the ground state and excited states separately is due to the fact that, in Supersymmetric quantum mechanics, the ground state is always bosonic, having zero energy eigenvalue, whereas, for the excited states, there are contributions from the bosonic, as well as the fermionic, states. It is easy to see that the ground state contribution can be calculated by expanding the commutator and inserting the completeness relation, k | Ψ k Ψ k | = 1 . However, here, it is important to note that there is no contribution appearing from the k = 0 term, as for the ground state we have Ψ 0 | x ( t 1 ) | Ψ 0 = 0 . Hence, from the ground state, we finally get the following time-dependent non-trivial contribution, which is given by:
Ψ 0 | [ x ( t 1 ) , p ( t 2 ) ] | Ψ 0 = i 2 cos ω ( t 1 t 2 ) .
Now, to further determine the contribution from the excited states, we need to expand the commutator and insert the completeness relation between the desired time-dependent quantum operators, which gives the following expression:
Ψ n | [ x ( t 1 ) , p ( t 2 ) ] | Ψ n = i 2 cos ω ( t 1 t 2 ) δ n 1 + i 2 cos ω ( t 1 t 2 ) 1 + n ( n + 1 ) n ( n 1 ) .
Therefore, the micro-canonical correlators for the ground state and the excited states are given by the following temperature independent simplified expressions:
y 0 ( 1 ) = i 2 cos ω ( t 1 t 2 ) ,
y n ( 1 ) = i 2 cos ω ( t 1 t 2 ) δ n 1 i 2 cos ω ( t 1 t 2 ) 1 + n ( n + 1 ) n ( n 1 ) = i 2 cos ω ( t 1 t 2 ) 1 + δ n 1 + n ( n + 1 ) n ( n 1 ) .
Further, using Equations (115) and (116), the canonical 2-point thermal correlator can be obtained by the following expression:
Y ( 1 ) ( t 1 , t 2 ) = i e β ω 2 sinh β ω 2 cos ω ( t 1 t 2 ) × 1 + e β ω + n > 0 e β ω n 1 + n ( n + 1 ) n ( n 1 ) = i 2 tanh β ω 2 cos ω ( t 1 t 2 ) × 1 + 2 cosh β ω 2 n > 0 e β ω n + 1 2 1 + n ( n + 1 ) n ( n 1 ) .
It can be seen that the obtained OTOC is just a periodic function, indicating the absence of chaos. However, it is quite interesting that the obtained result has an explicit temperature dependence, which mainly comes from the contribution of the ground state. Though the 2-point OTOC is not of much significance, it stills give us a pretty good idea that, at the level 2-point correlation function, the context of Supersymmetric one-dimensional harmonic oscillator is non-chaotic in nature.
Micro-Canonical 2-point Correlator for Ground State:
y 0 ( 1 ) ( t 1 , t 2 ) = i 2 cos ω ( t 1 t 2 ) .
Micro-Canonical 2-point Correlator for Excited States:
y n ( 1 ) ( t 1 , t