Existence of a supersymmetric massless ground state of the SU(N) matrix model globally on its valleys

In this work we consider the existence and uniqueness of the ground state of the regularized Hamiltonian of the Supermembrane in dimensions D = 4, 5, 7 and 11, or equivalently the SU(N) Matrix Model. That is, the 0+1 reduction of the 10-dimensional SU(N) Super Yang-Mills Hamiltonian. This ground state problem is associated with the solutions of the inner and outer Dirichlet problems for this operator, and their subsequent smooth patching (glueing) into a single state. We have discussed properties of the inner problem in a previous work, therefore we now investigate the outer Dirichlet problem for the Hamiltonian operator. We establish existence and uniqueness on unbounded valleys defined in terms of the bosonic potential. These are precisely those regions where the bosonic part of the potential is less than a given value V0, which we set to be arbitrary. The problem is well posed, since these valleys are preserved by the action of the SU(N) constraint. We first show that their Lebesgue measure is finite, subject to restrictions on D in terms of N. We then use this analysis to determine a bound on the fermionic potential which yields the coercive property of the energy form. It is from this, that we derive the existence and uniqueness of the solution. As a by-product of our argumentation, we show that the Hamiltonian, restricted to the valleys, has spectrum purely discrete with finite multiplicity. Remarkably, this is in contrast to the case of the unrestricted space, where it is well known that the spectrum comprises a continuous segment. We discuss the relation of our work with the general ground state problem and the question of confinement in models with strong interactions.


Introduction
The present paper is devoted to the ground state of the supersymmetric Hamiltonian related to three theories: the regularization of the D = 11 Supermembrane Theory [1], the BFSS Matrix Model [2] and the reduction of D = 10 Super Yang-Mills to 0 + 1 dimensions [3]. The existence of a massless ground state in any of these three contexts is an open problem.
The relevance of this regime for (Super)Yang-Mills theories in the infra-red (IR) limit, the so-called slow-mode regime, was highlighted in [4]. In this IR limit, glueball bound states and flux tubes between quarks are expected to be formed. It has been suggested that they can be described in terms of confining strings which corresponds to a Nambu-Goto string connecting pairs of quarks at the extremes, subject to several corrections [5][6][7]. See for example [8][9][10] or [11,12] in the context of lattice QCD. In these works, the confining JHEP05(2021)281 strings acquire a width and they have also been modelled out in terms of D2-brane bound states [13]. (Super) membranes are strongly coupled 2 + 1 dimensional objects and their regularized description corresponds to the Matrix Models mentioned above. It has also been suggested that membranes can be seen as the IR limit of Yang Mills theories [14] and they have also been used in the literature to describe some aspects of QCD [15]. Indeed, in [16] it was shown that the spectrum of the bosonic regularized membrane theory has a mass gap given by the inertia moment and as it is well known the spectrum in this regime is purely discrete for arbitrary N (in particular for N = 3). The existence of bound states of these theories, realised as eigenvalues embedded in the continuous spectrum, could be an interesting research direction.
Our present goal is to describe the theories, restricted to certain 8×(N −1)-dimensional regions determined by the flat directions of the potential. Adhering to the standard terminology, we will call "valleys" of the bosonic potential, those points of the space such that the potential is bounded above by a given positive constant V 0 . That is, they are determined by imposing a given constraint on the "height" of the bosonic potential term. These valleys extend to infinity with decreasing width. Constrained along these valleys, we obtain a 10D Super Yang Mills theory in the slow mode regime or the regularized SU(N ) supermembrane. I.e. the SU(N ) Matrix Model confined to a star-shape tubular region. The corresponding Hamiltonian operator has a domain determined by the space of wave functions supported on the valleys, with vanishing boundary condition. Our analysis covers arbitrary rank of the SU(N ) gauge group, in particular for N = 2 and N = 3, both cases being of interest.
The Supermembrane Theory was developed in [17]. The corresponding SU(N ) regularization was introduced in [18] and in [1,19] the SU(N ) regularized Hamiltonian in the light cone gauge was obtained. The zero mode eigenfunction can be described in terms of the D = 11 supergravity multiplet, however, the existence of the ground state of the Hamiltonian requires a proof of existence of a unique nontrivial eigenfunction for the nonzero modes. To the best of our knowledge, no complete proof of this fact has been found to this date. Moreover, in order to be identified with the D = 11 supergravity multiplet, it has to satisfy the additional constraint of being invariant under SO (9). The existence and uniqueness of the ground state has also been analyzed from different perspectives. One of these started with [1]. Although the problem remains open several interesting contributions to it have been obtained [1,[20][21][22][23][24][25]. We follow this perspective and prove, for a well-defined region around the valleys of the potential extended to infinity, the existence and uniqueness of the nontrivial state annihilating the Hamiltonian. Another approach to the problem has been to consider the Witten index. This index is well established for elliptical operators of the Fredholm type in Supersymmetric Quantum Mechanics. This is not the case with the Hamiltonian [1,2]. In [26,27] an extension of the Witten index for non-Fredholm operators was introduced. Although there are still unsolved problems in the approach, it has been claimed by the authors the existence of a ground state for the SU(2) model and some other extensions. In [28] contradictions of the approach for exceptional groups were reported. The Witten index was also used in the analysis performed in [29]. The index approach, while interesting, does not characterize the ground state wave function beyond belonging JHEP05(2021)281 to a Hilbert L 2 space. In our work, as we said, we follow a completely different approach in the hope of obtaining the existence and uniqueness of the ground state together with bounds for the wave function characterizing the ground state behavior.
In D = 11 Supermembrane Theory, the zero modes associated with the center of mass and the non-zero modes associated with the internal excitations, decouple. The ground state of the Hamiltonian with zero eigenvalue can be described in terms of the D = 11 supergravity multiplet, once the existence of the non-zero modes of a unique nontrivial eigenfunction (with zero eigenvalue) invariant under the R-symmetry SO(9) is proven, [1]. The SU(N ) regularized Hamiltonian for nonzero modes coincides with the Hamiltonian of the BFSS Matrix Model, [2]. This Hamiltonian was first obtained as the 0 + 1 reduction of 10D Super Yang Mills [3,30].
In order to find the ground state of the Hamiltonian, we propose three main steps, already sketched in [31][32][33][34]. Firstly, determine the existence and uniqueness of the solution to the Dirichlet problem on a bounded region Ω with smooth boundary ∂Ω. Secondly, determine the existence and uniqueness of the solution to the Dirichlet problem on the complementary unbounded region. Thirdly, establish the smooth patching along ∂Ω of both these solutions into a single state which, by construction, is the full ground state.
We developed the first step in [33] for Ω of arbitrary diameter. Our argument relied on the polynomial form of the bosonic and fermionic potentials, as well as on the supersymmetric structure of the Hamiltonian. In the full space, although the Hamiltonian is positive, the potential becomes negative and arbitrarily large in modulus along certain directions inside the valleys extending to infinity. However, on bounded regions, the potential is bounded (both above and below). Therefore, the Dirichlet form associated to the Hamiltonian restricted to Ω is coercive. Moreover, the supersymmetric structure of the Hamiltonian together with other analytic properties of potential, imply that a state ϕ constrained to cancellation by the supersymmetric charges in Ω and satisfying the homogeneous Dirichlet condition ϕ = 0 on ∂Ω, can only be the null state of the Hilbert space. In turns, the existence and uniqueness of the Dirichlet problem on Ω, follows by standard arguments from the theory of elliptic operators. These involve the Rellich-Kondrashov Compact Embedding Theorem, the Lax-Milgram Theorem and the Fredholm Theorem. See [33] for more specific details.
The Rellich-Kondrashov Compact Embedding Theorem is valid for every bounded region of the Euclidean space, but unfortunately might fail on unbounded regions. Nonetheless, according to arguments in [35], the convergence of the partition function of 0 + 1 Yang-Mills [36,37] is related to the fact that the Lebesgue measure of the bosonic valleys is finite. Following the former work, this property is valid for all algebras considered in [36] and [37].
By pursuing an alternative approach to that of [35][36][37], we established in [33] a concrete estimate for the Lebesgue measure of these bosonic valleys for the SU(2) algebra. We then showed that the embedding of H 1 into L 2 is compact. Hence the Rellich-Kondrashov Theorem is, once again, valid for these regions. Our argumentation was intrinsic to the specific structure of the bosonic potential. From the estimate and a relevant bound for the fermionic potential, it should follow that the Dirichlet form of the complete Hamiltonian is coercive.

JHEP05(2021)281
One of our main purposes below will be to extend this idea onto an SU(N ) algebra and prove the existence and uniqueness of the state, in the physical subspace, annihilated by the Hamiltonian of the SU(N ) D = 11 Supermembrane, restricted to the valleys. Our construction is based on specific properties of the potential, one of the most important being an ellipsoidal symmetry along axial directions. The results, concerning the finiteness of the measure of the valleys, for any N ≥ 2 agree precisely with the ones already reported in [35][36][37]. Additionally, for the SU(N ) model we derive an explicit bound for the fermionic potential, proposed in [29] for the SU(2) algebra, which characterizes the wavefunctions of the corresponding Hilbert space. They depend on other properties of the potential, outside a neighbourhood of the origin. We then show that the Dirichlet form associated to the SU(N ) Hamiltonian of the Supermembrane is coercive. From this, and the compact embedding H 1 ⊂ L 2 on the valleys, it follows that the solution of the Dirichlet problem exists and is unique. An important result that follows from our analysis is that the Hamiltonian restricted to the valleys has discrete spectrum with finite multiplicity.
Formally, the potential is dominated by its bosonic component in the directions "away" from the valleys, so the wave function is confined along those directions. Although a rigorous proof of the latter for any curve reaching infinity is not currently available, it is clear that the analysis of the Dirichlet problem along the valleys that we currently conduct, sheds an important light on the direction to follow in the second step of the program mentioned above.
The remaining of the paper is structured as follows. In section 2 we set the scenary by recalling the 0 + 1 Matrix Model formulation of the 11D Supermembrane Theory in the Light Cone Gauge. In section 3 we summarise the bounds we found on the measure of the potential valleys associated to the different su(N ) models. The full details of our derivations can be found in appendices A-D. In them, we determine the measure of the valleys when all the eigenvalues of a given configuration su(N ) matrix are different. We include detailed discussions of the cases su(2), su (3), su(4) and general su(N ) with arbitrary N . In appendix C we show that the Lebesgue measure in all the cases is finite. This implies that only certain dimensions for a given rank of the SU(N ) bosonic potential are allowed. In section 4 we obtain the associated bounds for the fermionic potential. Section 5 is devoted to the main results. We establish that the spectrum of the Hamiltonians is purely discrete and demonstrate the existence and uniqueness of the ground state of the theory. In section 6 we present a discussion of the ideas presented and our conclusions. The gauge transformations that we employed in order to show that the valleys have finite measure, are displayed in the final appendix D.

The SU(N ) matrix model
We begin by discussing the 0 + 1 Matrix Model formulation of the 11D Supermembrane Theory in the Light Cone Gauge. The latter also corresponds to a 0 + 1 reduction of 10D Super Yang Mills, known in the literature as the BFSS Matrix Model [2]. It describes D0-branes interaction among themselves.
The D = 11 supermembrane is described in terms of the membrane coordinates X m and fermionic coordinates θ α , transforming as a Majorana spinor on the target space. Both

JHEP05(2021)281
fields are scalar under worldvolume transformations. When the theory is formulated in the Light Cone Gauge the residual symmetries are the global supersymmetry, the R-symmetry SO(9) and a gauge symmetry, the area preserving diffeomorphisms on the base manifold.
Once the theory is regularized by means of the group SU(N ), the field operators are labeled by an SU(N ) index A and they transform in the adjoint representation of the group. The realization of the wavefunctions is formulated in terms of the 2 8(N 2 −1) irreducible representation of the Clifford algebra. The Hilbert space of physical states consists of the wavefunctions which take values in the fermion Fock space, subject to the SU(N ) constraint given by the generator of the SU(N ) invariance.
Once it is shown that the zero mode states transform under SO(9) as a [(44 ⊕ 84) bos ⊕ 128 fer ] representation which corresponds to the massless D = 11 supergravity supermultiplet, the construction of the ground state wave function reduces to finding a nontrivial solution to HΨ = 0 where H = 1 2 M 2 and Ψ subject to the SU(N ) constraint. The latter is required to be a singlet under SO (9) and M is the mass operator of the supermembrane. The Hamiltonian associated to the regularized mass operator of the supermembrane [1] is (2.1) The generators of the local SU(N ) symmetry are From the supersymmetric algebra, it follows that the Hamiltonian can be express in terms of the supercharges as for the physical subspace of solutions, given by the kernel of the first class constraint ϕ A of the theory. That is The Hamiltonian H is a positive operator which annihilates Ψ, on the physical subspace, if and only if Ψ is a singlet under supersymmetry. 1 In such a case, This result does not hold when the theory is restricted by boundary conditions, the case that we will analyze below.

JHEP05(2021)281
All this ensures that the wavefunction is massless, however it does not guarantee that the ground-state wave function is the corresponding supermultiplet associated to supergravity. For this, Ψ must also become a singlet under SO (9). The spectrum of H in L 2 (R n ) is continuous [38], comprising the segment [0, ∞).
The bosonic potential can be recast as

Lebesgue measure of the valleys
We now quote the range of parameters for which the Lebesgue measure of K, denoted as Vol(K), is finite. In the appendices A-D, we give precise details of how to derive these conclusions.
Our argumentation depends on the following simple observation, which we use freely and unambiguously throughout the text. Let V B (X) be another potential expression, such that In appendices B.4 and D we determine, after the evaluation of several estimates, that a restriction on d for each N so that the Lebesgue measure of K is finite turns out to be This immediately renders the following.  then Vol(K) < ∞.

JHEP05(2021)281
In the evaluations leading to the aforementioned observation, we crucially make use of the ellipsoidal symmetry of the bosonic potential. The final result is in agreement with the previous estimates reported in [35,36]. In the next section we will invoke some of our explicit estimates from the appendices, in order to determine a precise bound on the fermionic potential. This will then be fundamental for our main results, reported in section 5.

Bounds for the fermionic potential
The main point of this section will be to determine an explicit estimate for the fermionic potential on any state. From this estimate, we will show in the next section that the Hamiltonian operator of the Supermembrane Theory, in the admissible dimensions given by lemma 1, is coercive in the Fock space on K. To this end let us recall the properties of the valleys discussed in the appendices. The region we defined as the valleys is a starshaped region containing directions extending to infinity along which the bosonic potential is zero. On those directions the diagonal components of the matrices tend to infinity while the non-diagonal ones remain bounded. In the appendices we prove that given a large enough distance from the origin there always exists a SU(N ) transformation such that the non-diagonal components not only are bounded but decrease as the inverse of a diagonal component, when this one goes to infinity. We require an explicit expression for V B (X), and for that we introduce the next convenient notation. The components of a diagonal matrix X are denoted by The other matrices X n , n = 1, . . . , d − 1, have diagonal components and upper-non diagonal components Here a i and b n i are real numbers while z n ij are complex numbers. As the X n are antihermitean, z n ji = −z n ij where z denotes complex conjugation for j > i. We also introduce the vectors b i with components b n i , and z ij with components z n ij , n = 1, respectively. The products are defined as

JHEP05(2021)281
The diagonal components a i and b m j become the variables that approach infinity along K. In turns, the non-diagonal components, z m ij are bounded, see (D.22) and (D.39). Set where each pair i, j identifies an u(2) sector of the su(N ) matrix with components ib i , ib j on the diagonal and z ij as the upper non-diagonal component. All z m ij are independent but Set C > 0 arbitrarily large. In the above notation the valley K can be written as the union of two further sets. That is We work first on K + . According to the gauge fixing procedure described in appendix C, in that part of the valley.
Hence, given that all other components of the matrices X are fixed, C ij takes values on the interval −γ + < C ij < γ + . Below we write γ − = −γ + , so In the statements below we consider the wave functions Ψ(p) for p ∈ K, originally in the Fock space F (K) with components Ψ I ∈ H 1 0 (K). Here and elsewhere, for all Ψ ∈ H 1 0 (K). Moreover, C 2 can be chosen arbitrarily small whenever is sufficiently large.

JHEP05(2021)281
Proof. Since C ∞ c (K) is a dense subspace of H 1 0 (K) and ρ is smooth, it suffices to find a constant independent of the wave function such that the inequality holds true for all Ψ ∈ C ∞ c (K). The argument in the rest of the proof follows Poincaré's Lemma, using in addition that the transverse components decrease, as Then, whenever p ∈ K + , each component Ψ I (p) can be written as Applying the Cauchy-Schwartz Inequality, we get ij γ and because of (4.8), Considering all derivatives of (Ψ I Ψ I ) 1/2 we then get which is valid for each i, jsu(2) sector. We have used the inequality with |Ψ I | = (Ψ I Ψ I ) 1/2 , which is always valid. We may now integrate on K + , to get On the other hand, on K − , we have Since (4.12) and (4.13) are valid for each component Ψ I , JHEP05 (2021)281 where For the final claim, it is enough to take → ∞ to get C 2 → 0. After summation on all the u(2) sectors the constants C 1 and C 2 acquire a factor N (N −1)
The fact that we can ensure C 2 becomes arbitrarily small is crucial when proving the coercivity part of the next result. Note that C 1 could be very large and this has no significant effect in the statement. Proof. Firstly, the bosonic potential can be expressed in terms of the matrices X m , valued on the su(N ) algebra, where m = 1, . . . , d, The diagonal components, associated to the diagonal generators can be re-written, in terms components with a bounded Jacobian. The non-diagonal components z m ij , coincide with the corresponding components of the non-diagonal generators T A .
Combining the linearity of V F in X with lemma 2, it follows that there exists a constant C > 0 such that (4.16) Given V 0 , choose large enough, such that CC 2 < 1. Then

Consequently, for the Hamiltonian operator
for all Ψ ∈ F (K).
Here λ and C are real constants, satisfying C > 0 and λ is possibly negative but it is bounded from below. This implies that the Dirichlet form of the Hamiltonian is coercive on F (K) as claimed.

Main results
Let be the Dirichlet form associated to the left hand side of (4.17). Let

JHEP05(2021)281
where the parameter λ is as in the proof of lemma 3. Since it is readily seen thatD(Ψ, Φ) is strongly coercive and bounded in H 1 0 (K). Then, by virtue of the Lax-Milgram Theorem, it follows that there exists a bounded operator T : That is T = (H − λ) −1 is a well defined bounded operator. This fact has an important consequence highlighted below. We know that H 1 (K) is compactly embedded in L 2 (K), [Theorem 3, in section 3 of [39]]. Hence, the composition of T with the inclusion operator from , is a compact operator on L 2 (Ω). In other words, the resolvent T of H at λ, is compact. This implies two main consequences. Proof. This is a direct consequence of the coercivity and the compact embedding, as the resolvent of H becomes a compact operator. Note that the regularity properties of elliptic operators ensure that in the above theorem, Ψ ∈ H 1 0 (K) ∩ H 2 loc (K). Consequently Ψ is the unique solution of Given Θ ∈ H 2 (K), set Ξ = −HΘ ∈ L 2 (K) and Φ = Ψ + Θ ∈ H 1 0 (K) ∩ H 2 loc . Then That is, Φ is the unique solution to the homogeneous Dirichlet problem associated with the region K for the Hamiltonian H.

JHEP05(2021)281
If in the above equations we impose the constraint ϕ A Ψ = 0 for all A = 1, . . . , (N 2 − 1) and Ξ ∈ H 1 (K), then That is, Ξ also satisfies the constraint. Hence, in the search of the ground state, there is no loss of generality when imposing the constraint on Ξ. For the potential we have, we know that for all indices A also. And for all real parameters ξ A Consider in R n the transformation where ξ is an infinitesimal parameter. Then Thus, the constraint generates transformations of coordinates on R n which preserve the value of V B . Furthermore Ψ = 0 on ∂K. Hence Ψ(X + ξϕX, z + ξϕz, z + ξϕz, θ + ξϕθ) = 0 (5.11) on ∂K, because the fields on the θ expansion are also evaluated at ∂K and by the conditions of equation they are zero. Since we then obtain ϕ A Ψ(X, z, z, θ) = 0 on ∂K. (5.12) Moreover, if Ψ ∈ H 1 0 (K) ∩ H 2 loc (K), we get ϕ A Ψ ∈ H 1 0 (K). All this ensures the validity of the following. Proof. Set Ξ = −HΘ ∈ H 1 (K) as above. Then Hence, for each index A, Qϕ A Ψ = 0 and Q † ϕ A Ψ = 0 (5.14) Thus, according to [40, lemma 1], we conclude that ϕ A Ψ = 0 in K.

JHEP05(2021)281
from this lemma we gather that the homogeneous problem has a unique solution Φ ∈ H 1 (K) ∩ H 2 loc (K) for any given Θ ∈ H 3 (K) satisfying the constraint ϕ A Θ = 0. As we have already noticed there is no loss of generality by imposing the constraint on Θ.

Conclusions
In this work we fully examine the Hamiltonian of the regularized SU(N ) Supermembrane in eleven dimensions on an unbounded region. The region is naturally connected with the theory, as it is defined by the set K = {X mA : V B (X) < V 0 }. These are the so-called valleys of the bosonic potential. Importantly, on these valleys, a) there are sub-regions extending to infinity where V B vanishes, b) the potential is dominated by the fermionic sector and c) the full potential is unbounded from below.
It is well known that, despite of a), the bosonic Hamiltonian defined on the unrestricted space has discrete spectrum with finite multiplicity. This is in contrast to the well-known fact, shown in [38], that the spectrum of the supersymmetric Hamiltonian defined on the unrestricted space is continuous and comprises the whole segment [0, ∞). One of our main contributions presently is the fact that, remarkably, the supersymmetric Hamiltonian restricted to the valleys and for wavefunctions vanishing on the boundary, has discrete spectrum with finite multiplicity. Notably, and in agreement with the established result, the wavefunctions constructed in [38] for the proof of continuity of the spectrum do not (and must not) vanish on this boundary. Moreover, since these regions are preserved by the action of the SU(N ) constraint, the formulation of the present SU(N ) regularization restricted to the valleys, is both natural and well posed.
Our findings suggest several puzzling avenues of further enquiry. Do the eigenvalues survive as embedded modes inside the continuous spectrum for the unrestricted space? In the context of (Super) Yang Mills theory, if they survive and the slow mode regime captures relevant aspects of confinement, can these eigenvalues describe glueball boundstates and flux tubes connecting quarks when the theory is properly compactified to D = 4? Equivalently, in the regularized SU(N ) description of the Supermembrane compactified to four dimensions, do these eigenvalues capture aspects of QCD confinement?
We also establish the existence and uniqueness of the state which is annihilated by the Hamiltonian on the physical subspace determined by the SU(N ) constraint, satisfying a prescribed boundary condition on ∂K. The proof of this fact has three main ingredients. i) The volume of K is finite, subject to constraints on d, the number of transverse directions in the light cone gauge. ii) The fermionic potential satisfies a crucial estimate (see section 4), which renders a coercive Hamiltonian. iii) The embedding H 1 (K) ⊂ L 2 (K) is compact according to know results in [40]. All this is in agreement with the previous findings of [35][36][37].

JHEP05(2021)281
Although we consider explicitly the supersymmetric Hamiltonian of the SU(N ) regularized D = 11 Supermembrane, the estimates we found for the fermionic potential rely only on the linear dependence of the bosonic coordinates. We therefore expect that the present findings could be extrapolated to the SU(N ) Supermembrane on the other admissible dimensions, provided the restrictions of lemma 1 are fulfilled. The SU(N ) Matrix Models with N ≥ 4 spacetime and dimensions D ≥ 5 contain a massless ground state, consequently our proof does not include the dimension D = 4. However in the context of Super Yang Mills theories, for SU(N ) gauge groups with N = 2, 3, the spacetime dimensions must be with D ≥ 7, 6 respectively. If (Super) Yang Mills theories in the slow regime are a good indicator of the fully-fledged theory confinement behaviour, these results could suggest the need of extra dimensions. Our claimed results are valid for a Supermembrane Theory (large N ) formulated in D = 5, 7, 11 only.
By Domain Monotonicity, many of our claims extend to a formulation of the theory on any reasonably regular region inside the valleys (with suitable boundary and SU(N ) constraints). For instance star-shaped domains for large enough V 0 . Therefore an asymptotic analysis of the groundstate of the regularized SU(N ) supermembrane is perhaps possible, by considering a sequence of Dirichlet problems on regions taking V 0 → ∞. We have shown the existence and uniqueness of the solution of the homogeneous Dirichlet problem and hence the existence and uniqueness of the state annhiliated by the supersymmetric Hamiltonian. However, this is generically not annihilated by the supersymmetric charges, as it is only for a particular boundary condition that the corresponding state may be annihilated.
The unique state that we have determined by solving the Dirichlet problem, is the minimizer of the norm defined in terms of the supersymmetric charges, namely ϕ 2 Q ≡ (Qϕ, Qϕ) L 2 (K) +(Q † ϕ, Q † ϕ) L 2 (K) , for a given boundary condition on ∂K. Perhaps it would be possible to pursue further studies of the (Super) Yang Mills Theory in the slow mode regime, when it is confined to this tubular/star-shaped region.

Acknowledgments
AR and MPGM were partially supported by Projects Fondecyt 1161192 (Chile). AR was partially supported by MINEDUC-UA project code ANT1855.

A Measure of the su(2) sectors in su(N )
In this first appendix we analyze the Lebesgue measure of diagonal matrices that belong to the Cartan subalgebra of the su(N ) algebra (describing the longitudinal directions along the valleys), when we consider Matrix Models for different rank of the su(N ) gauge groups.
The potential V B (X) is invariant under conjugation by U ∈ su(N ), We can diagonalize one of the X m matrices, say X. If the eigenvalues of X are all different, then U is determined up to a diagonal matrix acting on the right to U . If there are equal eigenvalues, then U has additionally non-diagonal terms undetermined and we can fix some of the components of another matrix X. This procedure will be explained in detail in due course.
We characterize the measure X of the matrices of the Cartan subalgebra with different rank, in order to obtain inductively the expression for arbitrary N . Associated to the su ( there is the following measure M 2 ( X) = ρ 2 dρ dΩ, with ρ 2 = a 2 + mm. We can fix m = 0 by a selection of U . Hence the measure can be expressed as M 2 ( X) = a 2 d|a|dΩ. For a su(3) matrix, there are three su (2) sectors We may perform a linear change of variables from the original X A coordinates to the new ones α, β, γ, m ij . Each su (2) sector contributes to the measure as in (A.2), we then have the following measure associated to X, The measure can be then re-expressed as In general for su(N ) there are N (N −1) 2 u(2) sectors. Each sector is defined by two diagonal components, say b i , b j and the non-diagonal component z ij . For example, for su (4) there are six sectors and the measure can be expressed as The main point to write the measure in this form, is that all the factors in the bracket will be cancelled from a contribution during the integration procedure in the evaluation of Vol(K). The above expression can be generalized to su(N ) in a straightforward way.

B Bounds on the measure Vol(K)
We now consider Vol(K) in the region where all the eigenvalues of X are different. We denote by N the region where all the differences satisfy |a ij | > for all i = j. We find the bounds for three cases: su(2), su (3), su (4) and finally the general expression for su(N ).

B.1 The su(2) case
In this case a 2 = −a 1 , then a 1 − a 2 = 2a > . The expression of the potential is for all a, b, z. We decompose z = λb + z ⊥ , where b · z ⊥ = 0. Then The set K ≡ {X : V B (X) < V 0 }, for a and b fixed, is the interior of an ellipsoid E described by the coordinates {Re(λ), Im(λ), Re(z ⊥ ), Im(z ⊥ )}. Consequently where ρ 2 = a 2 + b 2 and da d b| = ρ dρ dϕ and we used b d−2 ≤ ρ d−2 . The factor (a 2 (a 2 + b 2 ) d−2 ) −1 corresponds to the volume of E. In K ∩ N , ρ 2 > 2 4 since 2|a| > . Consequently, the above integral is convergent, provided We therefore conclude that Vol( K ∩ N ) is finite, and hence Vol(K ∩ N ) is also finite for d ≥ 5.
In the context of Supermembrane theory, d parametrizes transverse dimensions. Hence the measure of the valleys of the su(2) bosonic potential are finite for D ≥ 7. Recall that Supermembrane Theory is consistently defined in 4, 5, 7 and 11 dimensions. The factor a 2 in the measure of the integral is cancelled by a factor a −2 arising from the volume of E, associated to the coordinate |λ|. This cancellation occurs also for the su(N ) potential, as we will see later on.

B.2 The su(3) case
The explicit expression for the potential is where (i, j) mn denotes the i, j component of the matrix [X m , X n ]. The diagonal components (i, i) mn , i = 1, 2, 3, depend solely on the non-diagonal components of X m and X n . The contribution of the matrix X to (B.7) is only to the non-diagonal terms and it is There is no contribution of X to the diagonal terms (i, i) in the expression of the potential since X is diagonal. In the set K ∩ N , z ij are bounded, in fact (B.7) implies In the case of the su(2) algebra the sum of diagonal terms in (B.7) correspond to the term in the last two terms on the right in (B.1).
The non-diagonal terms of V B can be re-arranged in terms of the three u(2) sectors for all a i , b j , z kl since the terms with brackets in (B.12) are positive. We then define On each u(2) sector we can shift the corresponding z ij , in order to simplify the expression for V ij . For the three u(2) sectors,

JHEP05(2021)281
where is bounded from above Consequently, The measure of K ∩ N is bounded by the measure of the set K ∩ N , with For su(N ), the factor 12 in (B.20) changes to 2N (N − 1). As in the su(2) case, given coincides with the interior of an ellipsoid E determined by radii Its volume is then We notice that in K ∩ N each factor in the denominator of (B.23) is bounded away from zero since |a ij | > , i, j = 1, 2, 3 and i = j.
Using the measure of X, denoted by M 3 ( X), and the product of the measure of b ij , denoted as M(b ij ) with i = j, we get From (B.23) we obtain that the measure of K ∩ N , is given by In order to evaluate this integral, consider the d-dimensional vectors r i ≡ (a i , b i ) with i = 1, 2, 3, satisfying r 1 + r 2 + r 3 = 0. Observe that ρ ij = r i − r j . Define u 12 ≡ r 1 − r 2 , and u 13 ≡ r 1 −r 3 r 1 −r 2 . Then ρ 12 = u 12 , ρ 13 = u 13 · u 12 , ρ 23 = u 13 − u 12 u 12 · u 12 . (B.26)

JHEP05(2021)281
The integral (B.25) can then be expressed as an integral in u 12 and u 13 , As noted before, since we are integrating on N , each factor in the denominator is bounded away from zero. The third power arises from the following expressions So, in order to have a convergent integral, each factor must be finite, and we then require is stronger than (B.32), because of the factor u 12 3 . This also occurs for the su(N ) case.

B.3 The su(4) case
Following the same procedure as above, we obtain the same bound (B.9) for all the nondiagonal components of the matrices X m . We end up with the integral and The convergence of the integral is ensured for That is The term We thus recover the previous results for su (2) which is convergent provided This occurs for N = 3 and N = 4. We then conclude that, if d ≥ 3, the measure of M N ( K ∩ N ) is finite for the algebra su(N ) whenever N ≥ 4. From the viewpoint of the Supermembrane Theory taking N to infinity, the restriction D ≥ 5 in the spacetime dimension ensures that the volume of the region defined in terms of the bosonic potential along the valleys is finite.

C Gauge transformations
Given X ∈ u(N ), we consider the gauge transformations

JHEP05(2021)281
Under (C.1), Tr X and Tr X † X remain invariant. In particular if X ∈ su(N ), using the notation introduced in section 3, is also invariant under (C.1). In the case under consideration we have m = 1, . . . , d matrices X m ∈ su(N ). For each of them (C.2) remains invariant under (C.1). We consider the unbounded region, m Tr X m † X m > C 2 . This region decomposes into subsets where at least for one m, say m, Hence, from (C.2), We perform now a gauge transformation which diagonalize X m . Then, after (C.1), we have In order to simplify the notation, from here on we do not use the prime for the new components. Since there are N (N −1) 2 (i, j) sectors and taking into consideration (C.5), for at least one sector (i, j), say (1, N ), we must have, .

D The measure of K
In the previous appendices we considered the measure of the set K ∩ N , Now we invoke these results and show that also the Lebesgue measure of K is finite.

JHEP05(2021)281
We do not distinguish here X from the other u(2) matrices. Under the gauge transformation (A.1), the traces Tr X m X †m are invariant for each m. Hence, is invariant. We decompose K into a finite number of subsets, determined by whether P m 2 satisfies the condition P m 2 ≤ 2 or the condition P m 2 > 2 , for m = 1, . . . , d. The subset P m 2 ≤ 2 for all m = 1, . . . , d has finite measure, so we are left with other subsets for which at least for one m, say m, P m 2 > . We have We now perform a gauge transformation such that X m becomes diagonal. The new b m which we denote it with the same letter satisfies (D.4) The two eigenvalues b m and −b m are such that We may then apply the argument in appendix B.1. We conclude that if d ≥ 5, Vol(K) is finite. Here b m plays the role of the component a in the notation of appendix B.

D.2 Case su(3)
We consider now the case N = 3. Following appendix C, there are at least two pairs, say Using (B.7), we obtain z 13 2 < 4dV 0 C 2 and z 23 2 < 4dV 0 C 2 . The other pair may satisfy the same inequality or not. In the first case for all (i, j) ∈ I. (D.7) In the second case In both cases z m ij = 0, for all (i, j) ∈ I. In the second case we may have and from (D.6) and the matrix U we are considering for large enough , proportional to C. Consequently, in su (3), the unbounded region m TrX m † X m > C 2 is the union of subsets. In each one of them there exists two unbounded sectors (i, j), which by a gauge transformation satisfy (b m ij ) 2 > C 2 4d , z m ij = 0, (i, j) ∈ I for some m ∈ M . The third (k, l) sector either satisfies Moreover, the action of U 1 preserves the condition (D.29), which in this case is We have then reduced the u(N ) case to the u(N − 1) case, satisfying (D.37). Furthermore, since in the case of u(3) we have shown that each u(2) sector is either bounded or there exists an index m for each sector (i, j) satisfying (D.22), we conclude that the statement of the following lemma is valid.

JHEP05(2021)281
We now consider the Lebesgue measure of K for the potential, valued on a su(N ) algebra. The bounded u(2) sectors are dismissed from the potential leaving only those which are unbounded. For each one of these, there is only one quadratic term on b m ij as in (D.24) in the potential, although there is also linear terms on it, we obtain for large enough 2 . We then reduce the evaluation of the subsets of K to the particular cases of section B. This is enough to show that Vol(K) < ∞, under the hypothesis of lemma 1.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.