1. Introduction
There are many interesting studies concerning the quantum and classical properties of the two-dimensional geometries like the Robnik billiard [
1,
2] and the Bunimovich stadium [
3,
4]. A quantum particle inside a triangular potential is another interesting problem studied by several researchers [
5,
6,
7,
8,
9]. It was Krishnamurthy 
et al. [
10] who found a transformation to map the three-particle collision problem in one dimension into the problem of a quantum particle inside a two-dimensional triangular domain. Interestingly, the triangular shaped potential can appear in several contexts, for example it can appear in the equipotental curves for the Hénon-Heiles system at the critical energy [
11]. The exception in this case is that, inside the boundary the potential behaves like a two-dimensional harmonic oscillator. However, in the billiard case, the particle has a free motion inside the triangular shaped domain.
Casati and Prosen describe [
7] three classes of triangular billiards: 
 All angles are rational with 
π, 
 Only one angle is rational with 
π, 
 All angles are irrational with 
π. The dynamics of type 
A triangles is not ergodic; in fact, it is pseudointegrable. Type 
B triangles are generic right triangles which are ergodic and weakly mixing. Earlier, it was believed that triangular billiards were only weakly mixing. Casati and Prosen [
7] provided the numerical evidences for strong mixing properties for the type 
C triangles. Then it was shown in [
8] that the irrational triangles may vary smoothly between the limits of strong mixing and regular behaviors. Furthermore, in [
9] it was also shown that the level statistics of the irrational triangle indeed obey the Gaussian orthogonal ensemble (GOE) distribution and its intermediate statistics.
On the other hand, there is an increased interest in continuous-variable (CV) entanglement [
12,
13,
14,
15]. It is already known, both theoretically and experimentally, that the quantum entanglement can indeed detect the chaotic behavior appearing in the classical system [
16,
17,
18,
19]. Recently it is shown that, by changing the boundary domain from regular to chaotic, the quantum entanglement can be enhanced in a system [
20]. Hence, the classical dynamical properties can be reflected in the properties of quantum entanglement and as consequence it can be used for the entanglement enhancement.
In this article, we make a brief review of the three-particle collision system in one dimension and its relation to the triangular billiard geometry. Then, we explain the quantum entanglement in the reduced two-particle system, which is identical to the single particle trapped in a two-dimensional triangular domain. The von Neumann entropy of entanglement is briefly explained, and we analyze the bipartite entanglement in the ground state eigenfunction. Similarly, we compute the average entanglement entropy with 500 initial eigenfunctions and relate the entanglement with the irrationality of the triangular geometry. We observe that the average entanglement entropy depends on the irrationality of the triangle. We also analyze the entanglement dynamics of the coherent state and squeezed coherent state with its center chosen at the centroid of the triangle.
  2. Model
Let us consider the time independent Schrödinger equation for three hard core particles restricted to the domain 
 with coordinates 
 and 
, which is given by,
      
H. R. Krishnamurthy 
et al. [
10] had found a transformation of 
 variables into new variables 
,
      
Then they have found that, without loss of generality, restricting the 
θ-space into the region 
 and 
, we can transform the system into a two-dimensional Schrödinger equation in a triangular domain. In the transformed domain, the equilateral triangle is given on the 
 plane, which is defined by 
. The corners of the equilateral triangle are given by, 
 and the transformed Schrödinger equation can be written as,
      
Here the boundary condition is such that the wavefunction should vanish on the boundary of the equilateral triangle. Hence the eigenfunctions are given by,
      
The complete three-particle eigenfunction of our problem contains an additional phase factor 
 due to the contribution from the third particle, but we can easily ignore it. Effectively the three-particle problem can be reduced into the two-particle problem. This analytical solution is valid only for particles with identical mass, and it corresponds to an equilateral triangle geometry, which is clearly a pseudointegrable situation. However, the eigenfunctions are not known for the case of a general triangular geometry. Hence, we analyze a more general case of the triangles. The two-dimensional Schrödinger equation (Equation (5) can be written in terms of the Helmholtz equation with a Dirichlet boundary condition,
      
      where 
D is the triangular domain, 
 defines its boundary and 
. Generalizing our geometry from the simple equilateral triangle to the irrational triangle, the boundary of the domain 
 can be specified by any two of the angles 
 and the area 
. Since the area 
 is just a scaling factor we can ignore it by properly scaling the energy eigenvalues.
As we have discussed earlier, the motion of a point particle inside a triangular billiard is equivalent to the motion of two point particles interacting only through elastic collisions. It can be seen that the mass ratios of the particle determine the angle 
 and 
γ of the corresponding triangle via the relation
      
      where 
 are the mass of each particle and 
, which is the total mass of the three-particle system [
7]. Considering the system with identical mass 
, the equilateral triangle domain can be recovered. Hence changing the geometry of the triangle has a physical meaning associated to it, which is physically equivalent to considering different mass ratios. In the usual sense, building triangular billiards can be done easily by assigning rational or irrational values to the ratio between the inner angles of the triangle and 
π. Here, we follow the approach used by F. M. de Aguiar 
et al. [
8,
9]. In order to construct the irrational triangular billiard, he has considered acute triangles with sides 
N, 
, and 
, where 
N is an integer. This scheme has the advantage that each triangle can be solely identified with the parameter 
N. According to the theorem given in [
21], if 
 with 
, then, the number 
 is rational if and only if 
q is 
, or 1. As a corollary [
8], it can be observed that the triangles with sides given by consecutive integers 
 have all angles irrational with 
π if 
. It is well known that 
 is a Pythagorean triple which implies that at 
 we have a right triangle. In our numerical analysis, we start with 
 until the value 
. For the higher values of 
N the triangle gradually approaches to an equilateral one, and at 
 we get an equilateral triangle .
  3. Von Neumann Entropy of Entanglement of the Triangular Eigenfunctions
It is worthwhile to explore the geometrical dependence of entanglement in the eigenfunctions of the triangular billiard and this is still an unexplored topic. Here we analyze the bipartite entanglement appearing in the two-dimensional eigenfunction. The particles can be entangled due to the fact that they interact via collisions. The nature of their collision interaction is reflected in the angles of the triangular billiard. We take 
 as the horizontal 
x-axis and 
 as the 
y-axis. The entanglement between the wave function of 
 and 
 variables can be easily studied, the wave function associated to 
 and 
 corresponds to the quantum mechanical state of particle 1 and particle 2. Usually the entanglement can be measured either using the linear entropy of entanglement, entanglement witness, concurrence, logarithmic negativity 
etc. [
13,
22]. In order to explore the continuous variable bipartite entanglement, we are using here the von Neumann entanglement entropy.
Now we need to evaluate the reduced density function using the wavefunction 
, in order to compute the continuous variable entanglement in 
 and 
 variable. The reduced density function of the first subsystem 
 can be obtained by integrating over the second particle mode, and it can be represented in terms of the bipartite wave function 
, 
i.e.,
      
      where 
 is the reduced density function of the first subsystem in the continuous position basis representation. To quantify the entanglement, we use the entanglement entropy defined as the von Neumann entropy of the reduced density matrix:
Similarly, the von Neumann entropy of entanglement can be written in terms of the eigenvalues of the reduced density matrix which is given by,
      
      where 
 are the eigenvalues of the Hermitian kernel 
. These eigenvalues are numerically computed from the Fredholm type I integral equation of 
, which is given by
      
      where 
 are the eigenvalues with the corresponding Schmidt eigenfunctions 
. On the discretized domain this Schmidt eigenvalue equation can be easily transformed into the matrix eigenvalue problem, and the diagonalization of the kernel can yield the Schmidt eigenvalues.
  4. Geometric Dependence of Entanglement and the Irrationality of the Triangle
The relationship between a quantum chaotic geometry and entanglement is already explored in different works. The triangular billiard exhibit a peculiar pseudochaotic property which is entirely different from the normal quantum chaotic billiards. It is well known that there are different stages of ergodic regime called the ergodic hierarchy. Ergodic hierarchy provides a hierarchy of increasing degrees of randomness in a system and it is useful in characterising the behaviour of Hamiltonian dynamical systems [
23]. It typically consists of five levels: Sheer Ergodic ⊃ Weak Mixing ⊃ Strong Mixing ⊃ Kolmogorov ⊃ Bernoulli. Positive K-S entropy or the chaotic property is assured only for the Kolmogorov and Bernoulli systems while pseudochaos is a partiular case of weak chaos with zero K-S entropy. In [
8,
9], it has been shown that the irrational triangular billiard can indeed exhibit the pseudochaotic property. Taking this into account, we would like to explore how the irrationality of a triangle or the pseudochaotic can affect the bipartite entanglement of the eigenmodes.
In order to compute the eigenfunctions, we have taken the 
 sided triangle in the 
 plane. The orientation of the triangle is chosen in such a way that the side 
 always lies along the horizontal 
 axis. After properly defining the triangular domain, we have computed the Hamiltonian matrix of the system and we diagonalized it to obtain the eigenfunctions. In 
Figure 1, we have computed the ground state eigenfunctions of the irrational triangle billiard. 
Figure 1a–d show the irrational triangles with numbers 
 and 
, respectively. It can be easily seen that, the first triangle shown in 
Figure 1a is a right triangle, and the triangle shown in 
Figure 1d is an approximation of an equilateral triangle, where 
Figure 1b,c show intermediate geometries.
In 
Figure 2a we have plotted the von Neumann entanglement entropy 
 for the ground state eigenfunctions by varying the value of the parameter 
N. We slowly increase 
N from 3 to 53, and it is well known that the first triangle is Pythagorean, and as we increase 
N, it can approach to an equilateral triangle. As we have already discussed, F. M. de Aguiar [
8] had already analyzed the irrationality of the triangle and he has found that as we increase 
N the irrationality reduces except for the fact that it slightly increases until the triangle around 
, then it drops to smaller values as we increase 
N. In order to compute the value of the entanglement for the equilateral triangle, or as the limit 
 we have made a scaling analysis of the entanglement entropy 
. The ground state entanglement entropy is approximated by the red curve 
 and the parameters are determined as 
, 
 and 
 respectively. From the equation 
, it can be seen that, as 
 the asymptotic value of the entanglement entropy 
 which is found to be 
.
In 
Figure 2b, we have plotted the three angles 
, 
 and 
 of the triangle as a function of the number 
N. As the triangle approaches an equilateral one, the angle approaches the rational ratio 
 with respect to 
π.
We have plotted the first 500th excited state eigenfunction of the irrational triangle billiard in 
Figure 3. Here 
Figure 3a–d show the irrational triangles with numbers 
 and 
, respectively. In order to have a clear picture, in 
Figure 4, we have plotted the average von Neumann entanglement entropy 
 for the lowest 500 eigenfunctions. From 
Figure 4, it can be easily seen that the average entanglement computed from the first 500 eigenfunctions increases until 
 and later it starts decreasing. In [
8], author had studied the relationship between strong mixing and irrationality of the triangular geometry. He has found that the strong mixing is indeed related to the irrationality of the triangle and even the level statistics are Gaussian orthogonal ensemble (GOE) distribution and its intermediate statistics. Note that the system is strongly mixing, while there is no chaos in the system. In [
8], they have shown that the irrationality of the triangle is maximum at 
, then it reduces gradually as it approaches to an equilateral triangle. The average entanglement entropy follows the same pattern which in accordance with the irrationality measure of the triangle shown in [
8]. Hence, we see a correspondence between the bipartite entanglement and the irrationality of the triangle geometry.
  5. Entanglement Entropy for the Coherent States and the Squeezed Coherent States
It is worthwhile to explore the time evolution of the entanglement entropy for a tensor product coherent state or the squeezed coherent state inside a triangular billiard. One may wonder about the validity of choosing the harmonic oscillator coherent state or the squeezed coherent state inside the triangular billiard. Recently, it has gotten the attention to the fact that the chaotic billiard geometries can indeed be used for the optical fiber cross-section [
24,
25]. Hence it has practical applications concerning the light propagation inside a triangular shaped fiber. It has been also shown that the chaotic billiard geometry can be exploited to generate the classical entanglement in the transverse modes of a classical electromagnetic field inside an optical fiber [
20].
In order to compute the entanglement entropy for the coherent state for different triangular geometries, it is necessary to fix the center of the wave-packet for different triangular geometries. For that purpose, we have chosen the centroid of each triangle as the location of the center of the wave-packet. It is well known that the centroid or geometric center of the triangle can be easily found by knowing the coordinates of the its vertices. The arithmetic mean position of all the three vertex points will give the coordinate of the centroid of the triangle. Since we consider the triangles with sides 
, the angles can be easily computed using the law of cosines. Since we take the 
 side horizontal to the 
x-axis, hence the two vertices 
 and 
 are known. We only need to know the two base angles or the slope with respect to the side 
 to determine the triangle. The point of intersection of the two lines with slope 
 and 
 is used to determine one of the missing vertex. The equation of the first line is 
, while the equation of the second line is given by 
. Hence the coordinate of the third vertex is computed by finding the intersection of both lines and it is given by,
      
Hence, the coordinate centroid of the triangle 
 for a given number 
N is given by,
      
For our investigation, we use the Hollenhorst and Caves definition of the squeezing operator [
26,
27,
28] and we employ the coordinate representation of the squeezed coherent state [
29] for the numerical computations. The squeezed coherent state is defined as
      
      where the displacement operator 
 and the squeezing operator 
 is given by
      
      and 
, 
 are complex numbers and 
 are related to the phase space variables 
 in the following manner
      
      with 
 respectively. According to Møller 
et al. [
29], the squeezed coherent state in the 
 position basis can be written as
      
The tensor product state of this wavefunction is used to study the classical entanglement dynamics for different squeezing parameter values. Since 
 and 
 denote the center of the position coordinate of the coherent state, we can fix it as the centroid of the triangular billiard 
 and 
. For the lowest energy case, we fix 
 and 
. Hence the tensor product coherent state can be written as,
      
      where 
 and 
 are given in Equations (17) and (18) respectively. The time evolution of the squeezed coherent state is performed via the unitary operator 
, where 
 is the Hamiltonian of the system. The wavefunction at any instant 
t is computed via 
 and the time evolution of the entanglement entropy 
 can be easily computed using Equations (
11) and (13).
We have plotted in 
Figure 5 the entanglement entropy 
 for different triangle configurations 
 respectively. The initial coherent state is chosen at the centroid of the each triangle and the squeezing parameters are taken as zero and the Planck constant 
. It can be seen that during the time evolution of the wave packet, the initial tensor product state becomes entangled due to the collision with the wall of the triangle. A small value of the Planck constant is chosen in such a way that the wave packet fit inside in the triangular billiard. It can be easily seen that, as we change the geometry of the triangle the entanglement dynamics changes.
In order to further explore the dependence of the quantum entanglement on the geometry of the triangular billiard, we compute the maximum value of the entanglement 
 for different triangular configurations. In 
Figure 6a,b we plot the maximum value of the entanglement entropy 
 for different triangle configurations. In both figures (
Figure 6a,b), blue lines show the entanglement maxima for the coherent states with 
 and 
 respectively. Similarly the black line shows the entanglement maxima 
 for the negatively squeezed state and the red line shows the positively squeezed state. In our definition of the wave function, the negatively squeezed state gives a wave packet spread in the positions coordinates, hence it collides with the walls of the triangular billiard much faster and the entanglement develop much earlier and it gives a higher entanglement maxima. According to our definition of the wave packet, the positively squeezed state is highly localized in the position space and the wave packet takes more time to collide with the walls of the triangle and it shows a smaller entanglement entropy. From 
Figure 6b it can be easily seen that, for the coherent state in the semiclassical limit, we get the similar result obtained for the irrationality of the triangle with the ground state eigenfunctions. It can be seen that the entanglement entropy is higher for a triangular configuration with 
N closer to 10. The entanglement maxima also shows the dependence on the irrationality of the triangle. We can also see that the squeezing can enhance or reduce the entanglement which depends on the sign of the quantum squeezing or in other words, it depends on whether we localize the wave function or spread it in the position coordinate.