We show that the directional projection of longitudinal waves propagating in a parallel array of N elastically coupled waveguides can be described by a nonlinear Dirac-like equation in a 2N dimensional exponential space. This space spans the tensor product Hilbert space of the two-dimensional subspaces of N uncoupled waveguides grounded elastically to a rigid substrate (called φ -bits). The superposition of directional states of a φ -bit is analogous to that of a quantum spin. We can construct tensor product states of the elastically coupled system that are nonseparable on the basis of tensor product states of N φ -bits. We propose a system of coupled waveguides in a ring configuration that supports these nonseparable states.
- one-dimensional elastic waveguides
- elastic waves
- elastic pseudospin
- coupled waveguides
Quantum bit-based computing platforms can capitalize on exponentially complex entangled states which allow a quantum computer to simultaneously process calculations well beyond what is achievable with serially interconnected transistor-based processors. Ironically, a pair of classical transistors can emulate some of the functions of a qubit. While current manufacturing can fabricate billions of transistors on a chip, it is inconceivable to connect them in the exponentially complex way that would be required to achieve nonseparable quantum superposition analogues. In contrast, quantum systems possess such complexity through the nature of the quantum world. Outside the quantum world, the notion of classical nonseparability [1, 2, 3] has been receiving a lot of attention from the theoretical and experimental point of views in the field of optics. Degrees of freedom of photon states that span different Hilbert spaces can be made to interact in a way that leads to local correlations. Correlation has been achieved between degrees of freedom that include spin angular momentum and orbital angular momentum (OAM) [4, 5, 6, 7, 8, 9], OAM, polarization and radial degrees of freedom of a beam of light  as well as propagation direction [11, 12]. Recently, we have extended this notion to correlation between directional and OAM degrees of freedom in elastic systems composed of arrays of elastic waveguides . This classical nonseparability lies only in the tensor product Hilbert space of the subspaces associated with these degrees of freedom. This Hilbert space does not possess the exponential complexity of a multiqubit Hilbert space, for instance. It has been suggested theoretically and experimentally that classical systems coupled via nonlinear interactions may have computational capabilities approaching that of quantum computers [14, 15, 16].
We demonstrated in Ref.  that nonlinear elastic media can be used to produce phonons that can be correlated simultaneously in time and frequency. We have also shown an analogy between the propagation of elastic waves on elastically coupled one-dimensional (1D) wave guides and quantum phenomena [18, 19, 20, 21]. More specifically, the projection on the direction of propagation of elastic waves in an elastic system composed of a 1D waveguide grounded to a rigid substrate (denoted -bit) is isomorphic to the spin of a quantum particle. The pseudospin states of elastic waves in these systems can be described via a Dirac-like equation and possess 2 1 spinor amplitudes. Unlike the quantum systems, these amplitudes are, however, measurable through the measurement of transmission coefficients. The notion of measurement is an important one as it has been realized that separability is relative to the choice of the partitioning of a multipartite system. Indeed, it is known that given a multipartite physical system, whether quantum or classical, the way to subdivide it into subsystems is not unique [22, 23]. For instance, the states of a quantum system may not appear entangled relative to some decomposition but may appear entangled relative to another partitioning. The criterion for that choice may be the ability to perform observations and measurements of some degrees of freedom of the subsystems .
The objective of this paper is to investigate the notion of separability and nonseparability of multipartite classical mechanical systems supporting elastic waves. These systems are composed of 1D elastic waveguides that are elastically coupled along their length to each other and/or to some rigid substrate. The 1D waveguides support spinor-like amplitudes in the two-dimensional (2D) subspace of directional degrees of freedom. The amplitudes of coupled waveguides span an -dimensional subspace. Subsequently, the Hilbert space spanned by the elastic modes is a -dimensional space, comprised of the tensor product of the directional and waveguides subspaces. This representation is isomorphic to the degrees of freedom of photon states in a beam of light. While beams of light cannot be decomposed into subsystems, an elastic system composed of coupled 1D waveguides can. Indeed, the elastic system considered here forms a multipartite system composed of 1D waveguide subsystems. We show that, since each waveguide possesses two directional degrees of freedom, one can represent the elastic states of the -waveguide system in the dimensional tensor product Hilbert space of 2D spinor subspaces associated with individual waveguides. The elastic modes in this representation obey a dimensional nonlinear Dirac-like equation. These modes span the same space as that of uncoupled waveguides grounded to a rigid substrate, i.e., -bits. However, the modes’ solutions of the nonlinear Dirac equation cannot be expressed as tensor products of the states of uncoupled grounded waveguides, i.e., -bit states.
In Section 2 of this chapter, we introduce the mathematical formalism that is needed to demonstrate the nonseparability of elastic states of coupled elastic waveguides in an exponentially complex space. Throughout this section, we use illustrations of the concepts in the case of systems composed of small numbers of waveguides. However, the approach is fully scalable and can be generalized to any large number of coupled waveguides. In Section 3, we draw conclusions concerning the applicability of this approach to solve complex problems.
2. Models and methods
We have previously considered systems constituted of
2.1. Representation of elastic states in a space scaling linearly with
A compact form for the equations of motion of the
Here, the propagation of elastic waves in the direction along the waveguides is modeled by the dynamical differential operator, . The parameter is proportional to the speed of sound in the medium constituting the waveguides and the parameter characterizes the strength of the elastic coupling between them (here, we consider that the strength is the same for all coupled waveguides). is a vector with components, , representing the displacement of the
Eq. (1) takes the form of a generalized Klein-Gordon (KG) equation and its Dirac factorization introduces the notion of the square root of the operator . In this factorization, the dynamics of the system are represented in terms of first derivatives with respect to time, , and position along the waveguides, . There are two possible Dirac equations:
In Eq. (3), and are antidiagonal matrices with unit elements. and are two of the Pauli matrices.is a
We choose components of the vector in the form of plane waves with and and being the wave number and angular frequency, respectively, Eq. (3) becomes:
In Eqs. (4) and (5), is the third Pauli matrix, is the identity matrix of order N and
Writing Eq. (4) as a linear combination of tensor products of and matrix operators:
While the degrees of freedom associated with span an
Choosing to be an eigenvector, , of the matrix with eigen value Eq. (8) reduces to:
For nontrivial eigenvectors , the problem in the space of the directions of propagation reduces to finding solutions of
In obtaining Eq. (9), we have also used the fact that is an eigen vector of with eigen value 1 and we note that Eq. (9) is the 1D Dirac equation for an elastic system which solutions, , have the properties of Dirac spinors [18, 19, 20, 21]. The components of the spinor represent the amplitude of the elastic waves in the positive and negative directions along the waveguides, respectively.
Eq. (10), now written in the matrix form, can now be solved for a given ;
This eigen equation gives the dispersion relation (
To determine the eigen vectors of , we note that they are identical to the eigen vectors of the coupling matrix and the eigen values of are also . These properties indicate that we do not have to determine the square root of the coupling matrix to find the solutions . All that is required is to calculate the eigen vectors and the eigen values of the coupling matrix. Hence, the nonuniqueness of does not introduce difficulties in determining the elastic modes of the coupled system in the Dirac representation.
In the case of the coupling matrix, , presented in Eq. (2), the eigen values and real eigen vectors are obtained as and
Eq. (3) being linear, its solutions can be written as linear combinations of elastic wave functions in the form:
In Eq. (14), we have expressed the dependencies on the wave number and the number of waveguides
2.2. Representation of elastic states in a space scaling as
We first illustrate the notion of exponential space in the case of three waveguides. Each guide is connected to a rigid substrate and therefore constitutes a -bit. The waveguides are not coupled to each other. The dynamics of the system can be described by a
In Eq. (15), we are now defining a positional variable for each waveguide, namely, . The quantity is a measure of the strength of the elastic coupling to the rigid substrate. The solutions are the 8 × 1 vectors . When seeking solutions in the form of tensor products of spinor solutions for the three waveguides (as indicated by the upper scripts)
The Hilbert space spanned by the solutions of Eq. (15) is the product space of the three 2D subspaces associated with each waveguide. The states of a system composed of
The question that arises then concerns the possibility of writing an equation in the exponential Hilbert space for
The matrix represents the coupling between the waveguides in the space. We are still seeking solutions in the form of tensor products (Eq. (16)). After a lengthy algebraic manipulation, we find that we can reproduce Eq. (3) with the coupling matrix of Eq. (2) if one chooses excepting
The Dirac equation of the three coupled waveguides in the exponential space is therefore nonlinear. Generalization to
where nonzero components of depend on the that appear in the solution . The solutions of the nonlinear Dirac equation for the coupled waveguides span the same space as that of the system of -bits, i.e., uncoupled waveguides connected to rigid substrates. The next subsection addresses the question of separability of the coupled waveguide system into a system of uncoupled -bits.
2.3. Elastic states in the exponential space
For a system of waveguides that are not coupled, the elastic states, solutions of linear equations of the form of Eq. (15), are tensor products but also linear combinations of tensor products of spinor solution for individual waveguides (see Eq. (17)). It is therefore possible to construct nonseparable states in the exponential space for systems of uncoupled waveguides. For example, if we consider a system of two uncoupled waveguides, a possible state of the system in the space can be constructed in the form of the following linear combination of tensor products:
Choosing and writing Eq. (21) at the location , one gets:
The bracket takes the form:
The vector is not separable into a tensor product of two vectors. Considering on the basis and , one can write the state given in Eq. (22) in the form of the nonseparable Bell state:
Since the waveguides are not coupled, it is, however, not possible to manipulate the state of one of the waveguides by manipulating the state of the other one. Simultaneous manipulation of the state of waveguides in the exponential space requires coupling. We now address elastic states in the coupled waveguides system.
The and correspond to two different nonzero eigen values, and , i.e., they correspond to two different dispersion relations and . We also choose the wave number such that . These modes are illustrated in Figure 1 in the case of an
With and where the specific values of the components and are determined by the connectivity and coupling of the waveguides, the state of Eq. (25) can be rewritten as:
Here, we have chosen, for the sake of simplicity, the of the in the terms.
The first two terms in Eq. (26) form a spinor, , which corresponds to the first waveguide, the next two terms form a spinor for the second waveguide, etc. We can then construct a solution of the nonlinear Dirac Eq. (20) in the exponential space as the tensor product:
Since Eq. (20) is nonlinear, linear combinations of tensor product solutions of the form above are not solutions. Solutions of the nonlinear Dirac equation always take the form of a tensor product when the spinor wave functions are expressed on the basis of vectors. and . If one desires to express as a nonseparable state, one has to define a new basis in which this wave function cannot be expressed as a tensor product. This is done in Section 2.5. However, prior to demonstrating this, we illustrate in the next subsection how one can manipulate states of the form in the exponential space.
2.4. Operating on exponentially-complex tensor product elastic states
In this subsection, we expand tensor product states of the form given in Eq. (27) in linear combinations of tensor products of pure states in the exponential space. We illustrate this expansion in the case of three parallel waveguides elastically coupled to each other. Each waveguide is also coupled elastically to a rigid substrate. We treat the case where the strength of all the couplings is the same. In that case, the coupling matrix is:
This matrix has three nonzero eigen values and corresponding to two dispersion relations with cutoff frequencies. The second band is doubly degenerate. The eigen vectors are also given in Eq. (13). We now consider an elastic mode in the linear space that is a linear combination of these eigen modes (see Eq. (26)):
In Eq. (28), the ’s can be the components of the eigen vector and the ’s can be linear combinations of the components of the eigen vectors and . We can calculate the tensor product of the spinor components in the form of Eq. (27)
Eq. (29) can be rewritten after some algebraic manipulations in the form of the linear combination:
In Eq. (30), we have defined
The tensor product of Eq. (30) then reduces to
The spinors and can be expressed on the basis and :
With , , and . Inserting Eqs. (33a) and (33b) into Eq. (32), we can express the tensor product on the basis . In defining the basis vectors for the exponential space, we have omitted the symbols . It is also implicit that the left, middle, and right elements in the tensor product correspond to the first, second, and third waveguides, respectively.
; ; ; ; ; ; ;
In a true quantum system composed of three spins for instance, states can be created in the form of linear combinations like . For the quantum system, the linear coefficients , ,…, are independent. The classical elastic analogue, introduced here, states which are given in Eq. (34) possesses linear coefficients ,…, are interdependent. While somewhat restrictive compared to true quantum systems, the coefficients depend on an extraordinary number of degrees of freedom which allows exploration of a large volume of the exponential tensor product space. In the case of the three waveguides, these degrees of freedom include (a) the components (or linear combinations) of the eigen vectors of the coupling matrix through the choice of the eigen modes or the application of a rotational operation that creates cyclic permutations of the eigen vector components, (b) the linear coefficients and used to form the multiband linear superposition of states in the linear space, (c) the frequency and therefore wave number which affect the spinor states and the phase factors and , and (d) a phase added to the terms and .
In the case of Eq. (21) can be extended to linear combinations of more than two modes with the same frequency, leading to additional freedom in the control of the . Furthermore, the elastic coefficients of the waveguides and the coupling elastic coefficient could also be modified by using constitutive materials with tunable elastic properties via, for instance, the piezoelectric, magneto-elastic or photoelastic effects [24, 25, 26]. Also note that in all the examples we considered, the coupling of the waveguides had the same strength. Tunability of the coupling elastic medium would lead to the ability to modify the connectivity of the waveguides and therefore the coupling matrix. Exploration of the elastic modes given in Eq. (34) can be realized by varying any number of these variables. We illustrate in Figure 2 an example of operation in a very simple case. Figure 2b shows that by varying a single parameter one may achieve a wide variety of states. For instance, one can obtain states with and or and or and or and . Another interesting example occurs at , there only and are different from zero. Then, can be written as the tensor product state . A similar state is also obtained for . This is the state . Varying can be visualized as a matrix operator. For example, in this latter case, one can define the operation:
with and . Another interesting state occurs at . Here, we have , , and . We also have and This state can be written as the tensor product .
This simple example indicates the large variability in ’s (i.e., of states) that we can achieve with a single variable. The large number of available variables will lead to even more flexibility in defining states and operators in the exponential tensor product space.
2.5. Nonseparability of states in exponentially complex space
States given in Eq. (27) are tensor products on the basis . They are therefore always separable in that basis. Consequently these states cannot be written as nonseparable Bell states. However, we might be able to identify a basis in which Eq. (27) is not separable.
Since the Dirac equation (Eq. (15)) for the uncoupled waveguides is linear, its solutions can be a tensor product of a linear combination of different individual spinors. For instance, we can write:
and , are linear coefficients.
The state of the coupled waveguide system will be separable in the exponential space into the state of -bits if
A necessary condition for satisfying Eq. (38) is that
Furthermore, the first two terms in the column vector of the coupled system are and . Their ratio is simply equal to . Similarly, the ratio of the first two terms in the vector of the -bit system is given by . Anecessary condition for Eq. (38) to be satisfied is that
This leads to
This condition takes the more compact form:
For this condition to be satisfied, one needs the real part of the right-hand side of the equation to be equal to zero. This can be achieved for all ’s by setting . In this case, equating the imaginary parts leads to . However, when , Eq. (39) and therefore Eq. (38) are not satisfied. When which corresponds to considering a linear combination of multiband states, is not separable into the tensor product of individually uncoupled -bit waveguides. Therefore, we conclude that there are a large number of solutions of the nonlinear Dirac equation (Eq. (20)) representing states of arrangements of elastically coupled 1-D waveguides that are not separable in the dimensional tensor product Hilbert space of individual -bits.
We illustrate the notion of nonseparability of exponentially complex states of a coupled system composed of waveguides on a basis in the exponential Hilbert space of two individual -bits. The waveguides are coupled to each other but also to a rigid substrate such that the coupling matrix, , takes the form:
The eigen values and real eigen vectors of this coupling matrix are and and
Following the procedure of Section 2.4, we construct a tensor product state in the exponential space:
On the basis, , , , and , Eq. (42) can be rewritten as:
Similarly, we define the orthonormal basis in the Hilbert space, of the second -bit,
In these equations, we have used , , , and as short-hands for the spinor parts of the basis functions.
The basis in the tensor product space is given by the four functions:
It is straightforward to show that form an orthogonal basis. That is, if , where is the Hermitian conjugate of .
We want now to express the state in the basis:
For this, we now need to expand the basis vectors on the basis
We define the expansions:
Note that the ’s are functions of ,
We can find the coefficients by exploiting the orthogonality of the . For instance, we can multiply Eq. (49a) to the left by the Hermitian conjugate , leading to
We can obtain all other ’s in a similar fashion. Eqs. (49a)–(49d) can be rewritten in the form:
The matrix can be diagonalized. Let , , , and be the four eigen values of with their associated eigen vectors , , and . We can construct the following matrix out of the four eigen vectors:
On the new basis constructed by using the relation , the matrix that couples the basis and the basis takes the form: so , , and . On the basis, Eq. (43) can be rewritten as
Then on the basis , we can investigate the separability or nonseparability of by calculating the determinant of the linear coefficients in Eq. (53), that is
Only in the unlikely event of degenerate eigen values, , , , and , would this determinant be equal to zero. A nonzero determinant given in Eq. (54) indicates that the state is nonseparable on the basis .
The existence of nonseparable solutions to the nonlinear Dirac equation raises the possibility of exploiting these solutions for storing and manipulating data within the 2
2.6. Physical realization and actuation
Figure 3 illustrates a possible realization of a five waveguide system. The parallel elastic waveguides are embedded in an elastic medium which couples them elastically. The waveguides are arranged in a ring pattern.
Modes of the form given in Eq. (21) can be excited with
We have shown that the directional projection of elastic waves supported by a parallel array of
We acknowledge the financial support of the W.M. Keck Foundation. We thank Saikat Guha and Zheshen Zhang for useful discussions.
Conflict of interest
The authors declare that they have no affiliations with or involvement in any organization or entity with any financial interest or nonfinancial interest in the subject matter or materials discussed in this manuscript.