Primes in Intervals and Semicircular Elements Induced by p-Adic Number Fields Q p over Primes p

In this paper, we study free probability on (weighted-)semicircular elements in a certain Banach ∗-probability space (LS, τ0) induced by measurable functions on p-adic number fields Qp over primes p. In particular, we are interested in the cases where such free-probabilistic information is affected by primes in given closed intervals of the set R of real numbers by defining suitable “truncated” linear functionals on LS.


Introduction
In [1,2], we constructed-and-studied weighted-semicircular elements and semicircular elements induced by p-adic number fields Q p , for all p ∈ P, where P is the set of all primes in the set N of all natural numbers.In this paper, we consider certain "truncated" free-probabilistic information of the weighted-semicircular laws and the semicircular law of [1].In particular, we are interested in free distributions of certain free reduced words in our (weighted-)semicircular elements under conditions dictated by the primes p in a "suitable" closed interval [t 1 , t 2 ] of the set R of real numbers.Our results illustrate how the original (weighted-)semicircular law(s) of [1] is (resp., are) distorted by truncations on P.
In [2], we constructed weighted-semicircular elements {Q p,j } j∈Z and corresponding semicircular elements {Θ p,j } j∈Z in a certain Banach * -algebra LS p induced from the * -algebra M p consisting of measurable functions on a p-adic number field Q p , for p ∈ P. In [1], the free product Banach * -probability space LS, τ 0 of the measure spaces {LS p (j)} p∈P,j∈Z of [2] were constructed over both primes and integers, and weighted-semicircular elements {Q p,j } p∈P, j∈Z and semicircular elements {Θ p,j } p∈P, j∈Z were studied in LS, as free generators.
In this paper, we are interested in the cases where the free product linear functional τ 0 of [1] on the Banach * -algebra LS is truncated in P. The distorted free-distributional data from such truncations are considered.The main results characterize how the original free distributions on LS, τ 0 are affected by the given truncations on P.

Overview
We briefly introduce the backgrounds of our works in Section 2. In the short Sections 3-8, we construct the Banach * -probability space (LS, τ 0 ) and study weighted-semicircular elements Q p,j and corresponding semicircular elements Θ p,j in (LS, τ 0 ), for all p ∈ P, j ∈ Z.
In Section 9, we define a free-probabilistic sub-structure LS = LS, τ 0 of the Banach * -probability space LS, τ 0 , having possible non-zero free distributions, and study free-probabilistic properties of LS.Then, truncated linear functionals of τ 0 on LS and truncated free-probabilistic information on LS are studied.The main results illustrate how our truncations distort the original free distributions on LS (and hence, on LS).
In Section 10, we study free sums X of LS having their free distribution, the (weighted-)semicircular law(s), under truncation.Note that, in general, if free sums X have more than one summand as operators, then X cannot be (weighted-)semicircular in LS.However, certain truncations make them be.
In Section 11, we investigate a type of truncation (compared with those of Sections 9 and 10).In particular, certain truncations inducing so-called prime-neighborhoods are considered.The unions of such prime-neighborhoods provide corresponding distorted free probability on LS (different from that of Sections 9 and 10).

Preliminaries
In this section, we briefly introduce the backgrounds of our proceeding works.
In the text, without introducing detailed definitions and combinatorial backgrounds, free moments and free cumulants of operators will be computed.Furthermore, the free product of * -probability spaces in the sense of [14,15] is considered without detailed introduction.
Note now that one of our main objects, the * -algebra M p of Section 3, are commutative, and hence, (traditional, or usual "noncommutative") free probability theory is not needed for studying functional analysis or operator algebra theory on M p , because the freeness on this commutative structure is trivial.However, we are not interested in the free-probability-depending operator-algebraic structures of commutative algebras, but in statistical data of certain elements to establish (weighted-)semicircular elements.Such data are well explained by the free-probability-theoretic terminology and language.Therefore, as in [2], we use "free-probabilistic models" on M p to construct and study our (weighted-)semicircularity by using concepts, tools, and techniques from free probability theory "non-traditionally."Note also that, in Section 8, we construct "traditional" free-probabilistic structures, as in [1], from our "non-traditional" free-probabilistic structures of Sections 3-7 (like the free group factors; see, e.g., [15,19]).

Analysis of Q p
For more about p-adic and Adelic analysis, see [7].Let p ∈ P, and let Q p be the p-adic number field.Under the p-adic addition and the p-adic multiplication of [7], the set Q p forms a field algebraically.It is equipped with the non-Archimedean norm |.| p , which is the inherited p-norm on the set Q of all rational numbers defined by: where σ(Q p ) is the σ-algebra of Q p consisting of all µ p -measurable subsets, where µ p is a left-and-right additive invariant Haar measure on Q p satisfying: where Z p is the unit disk of Q p , consisting of all p-adic integers x satisfying |x| p ≤ 1.
Moreover, if we define: for all k ∈ Z (with U 0 = Z p ), then these µ p -measurable subsets U k 's of (1) satisfy: and: and: In fact, the family {U k } k∈Z forms a basis of the Banach topology for Q p (e.g., [7]).Define now subsets ∂ k of Q p by: We call such µ p -measurable subsets ∂ k the k th boundaries of U k in Q p , for all k ∈ Z.By (2) and (3), one obtains that: and: and: for all k, k 1 , k 2 ∈ Z, where is the disjoint union and ∅ is the empty set.Now, let M p be the algebra, where χ S are the usual characteristic functions of S ∈ σ Q p .
Then the algebra M p of (5) forms a well-defined * -algebra over C, with its adjoint, where t S χ S ∈ M p .Then, one can define the p-adic integral by: Note that, by (4), if S ∈ σ(Q p ), then there exists a subset Λ S of Z, such that: by ( 4), for all S ∈ σ(Q p ), where Λ S is in the sense of (7).

Free-Probabilistic Model on M p
Throughout this section, fix a prime p ∈ P, and let Q p be the corresponding p-adic number field and M p be the * -algebra (5) consisting of µ p -measurable functions on Q p .Here, we establish a suitable (non-traditional) free-probabilistic model on M p implying p-adic analytic data.
Let U k be the basis elements (1) of the topology for Q p with their boundaries ∂ k of (3), i.e., and: Define a linear functional ϕ p : M p → C by the p-adic integration (6), Then, by ( 9) and ( 11), one obtains: for all j ∈ Z.
Definition 1.We call the pair M p , ϕ p the p-adic (non-traditional) free probability space for p ∈ P, where ϕ p is the linear functional (11) on M p .
Remark 1.As we discussed in Section 2.1, we study the measure-theoretic structure M p , ϕ p as a free-probabilistic model on M p for our purposes.Therefore, without loss of generality, we regard M p , ϕ p as a non-traditional free-probabilistic structure.In this sense, we call M p , ϕ p the p-adic free probability space for p.The readers can understand M p , ϕ p as the pair of a commutative * -algebra M p and a linear functional ϕ p , having as its name the p-adic free probability space.
Let ∂ k be the k th boundary U k \ U k+1 of U k in Q p , for all k ∈ Z.Then, for k 1 , k 2 ∈ Z, one obtains that: , and hence, where δ is the Kronecker delta.
Thus, one can get that, for any S ∈ σ Q p , where Λ S is in the sense of (7).
by (13), where 0 ≤ r j ≤ 1 are in the sense of ( 9) for all j ∈ Λ S .Furthermore, if S 1 , S 2 ∈ σ Q p , then: where: Proposition 3. Let S l ∈ σ(Q p ), and let χ S l ∈ M p , ϕ p , for l = 1, ..., N, for N ∈ N. Let: where Λ S l are in the sense of (7), for l = 1, ..., N.Then, there exist r j ∈ R, such that: and: Proof.The proof of ( 17) is done by induction on (16) with the help of (15).

Representations of M p , ϕ p
Fix a prime p in P, and let M p , ϕ p be the p-adic free probability space.By understanding Q p as a measure space, construct the L 2 -space H p , over C.Then, this L 2 -space H p of ( 18) is a well-defined Hilbert space equipped with its inner product <, > 2 , for all h 1 , h 2 ∈ H p .
Definition 2. We call the Hilbert space H p of (18), the p-adic Hilbert space.
By the definition (18) of the p-adic Hilbert space H p , our * -algebra M p acts on H p , via an algebra-action α p , for all f ∈ M p .
Notation: Denote α p ( f ) of ( 20) by α p f , for all f ∈ M p .Furthermore, for convenience, denote α p χ S simply by α p S , for all S ∈ σ Q p .By (20), the linear morphism α p is indeed a well-determined * -algebra-action of M p acting on H p (equivalently, every α p f is a * -homomorphism from M p into the operator algebra B(H p ) of all bounded operators on H p , for all f ∈ M p ), since: for all h ∈ H p , implying that: for all f 1 , f 2 ∈ M p ; and: for all h 1 , h 2 ∈ H p , for all f ∈ M p , implying that: where <, > 2 is the inner product ( 19) on H p .
Proposition 4. The linear morphism α p of (20) is a well-defined * -algebra-action of M p acting on H p .Equivalently, the pair (H p , α p ) is a Hilbert-space representation of M p .
Definition 3. The Hilbert-space representation H p , α p is said to be the p-adic representation of M p .
Depending on the p-adic representation (H p , α p ) of M p , one can construct the C * -subalgebra M p of the operator algebra B(H p ).
where X mean the operator-norm closures of subsets X of B(H p ).Then, this C * -algebra M p is called the p-adic C * -algebra of the p-adic free probability space M p , ϕ p .

Free-Probabilistic Models on M p
Throughout this section, let us fix a prime p ∈ P, and let M p , ϕ p be the corresponding p-adic free probability space.Let H p , α p be the p-adic representation of M p , and let M p be the p-adic C * -algebra (23) of M p , ϕ p .
We here construct suitable free-probabilistic models on M p .In particular, we are interested in a system {ϕ p j } j∈Z of linear functionals on M p , determined by the j th boundaries {∂ j } j∈Z of Q p .Define a linear functional ϕ p j : M p → C by a linear morphism, for all a ∈ M p , for all j ∈ Z, where <, > 2 is the inner product (19) on the p-adic Hilbert space H p of (18).Remark that if a ∈ M p , then: where ∑ is a finite or infinite (i.e., limit of finite) sum(s) under the C * -topology for M p .Thus, the linear functionals ϕ p j of (24) are well defined on M p , for all j ∈ Z, i.e., for any fixed j ∈ Z, one has that: where: is the C * -norm on M p (inherited by the operator norm on the operator algebra B(H p )), and . 2 is the Hilbert-space norm, induced by the inner product <, > 2 of (19).Therefore, for any fixed integer j ∈ Z, the corresponding linear functional ϕ p j of (24) is bounded on M p .
Definition 5. Let j ∈ Z, and let ϕ p j be the linear functional (24) on the p-adic C * -algebra M p .Then, the pair M p , ϕ p j is said to be the j th p-adic (non-traditional) C * -probability space.
Remark 2. As in Section 4, the readers can understand the pairs M p , ϕ p j simply as structures consisting of a commutative C * -algebra M p and linear functionals ϕ p j on M p , whose names are j th p-adic C * -probability spaces for all j ∈ Z, for p ∈ P.
Fix j ∈ Z, and take the corresponding j th p-adic C * -probability space M p , ϕ p j .For S ∈ σ Q p and a generating operator α p S of M p , one has that: for some 0 ≤ r S ≤ 1 in R, for S ∈ σ Q p .
Proposition 5. Let S ∈ σ Q p and α p S = α p χ S ∈ M p , ϕ p j , for a fixed j ∈ Z.Then, there exists r S ∈ R, such that: Thus, for any n ∈ N, we have: As a corollary of (28), one obtains the following corollary.
Corollary 1.Let ∂ k be the k th boundaries (10) of Q p , for all k ∈ Z. Then: for all n ∈ N, for all j ∈ Z.

Semigroup C * -Subalgebras S p of M p
Let M p be the p-adic C * -algebra (23) for an arbitrarily-fixed p ∈ P. Take operators: where ∂ j are the j th boundaries (10) of Q p , for the fixed prime p, for all j ∈ Z.
Then, these operators P p,j of (30) are projections on the p-adic Hilbert space H p in M p , i.e., P * p,j = P p,j = P 2 p,j , for all j ∈ Z.We now restrict our interest to these projections P p,j of (30).Definition 6. Fix p ∈ P. Let S p be the C * -subalgebra: where P p,j are projections (30), for all j ∈ Z.We call this C * -subalgebra S p the p-adic boundary (C * -)subalgebra of M p .
The p-adic boundary subalgebra S p of the p-adic C * -algebra M p satisfies the following structure theorem.Proposition 6.Let S p be the p-adic boundary subalgebra (31) of the p-adic C * -algebra M p .Then: Proof.The proof of (32) is done by the mutual orthogonality of the projections {P p,j } j∈Z in M p .Indeed, one has: in S p , for all j 1 , j 2 ∈ Z.
Define now linear functionals ϕ p j (for a fixed prime p) by: where ϕ p j in the right-hand side of (33) are the linear functionals (24) on M p , for all j ∈ Z.

Weighted-Semicircular Elements
Let M p be the p-adic C * -algebra, and let S p be the p-adic boundary subalgebra (31) of M p , satisfying the structure theorem (32).Fix p ∈ P. Recall that the generating projections P p,j of S p satisfy: by (33) (also see ( 28) and ( 29)).Now, let φ be the Euler totient function, an arithmetic function: defined by: for all n ∈ N, where |X| mean the cardinalities of sets X and gcd is the greatest common divisor.It is well known that: for all n ∈ N, where "q | n" means "q divides n."For instance, Thus: , (35), and (36), for all P p,j ∈ S p .More generally, Now, for a fixed prime p, define new linear functionals τ p j on S p , by linear morphisms satisfying that: for all j ∈ Z, where ϕ p j are in the sense of (33).
Then, one obtains new (non-traditional) C * -probabilistic structures, where τ p j are in the sense of (38).
Proposition 7. Let S p (j) = (S p , τ p j ) be in the sense of (39), and let P p,k be generating operators of S p (j), for p ∈ P, j ∈ Z. Then: Proof.The formula (40) is proven by ( 37) and (38).Indeed, since P p,k are projections in S p (j), p j+1 , for all n ∈ N, for all p ∈ P, and j, k ∈ Z.

Definition 7.
Let a be a self-adjoint element in (A, ϕ).It is said to be even in (A, ϕ), if all odd free moments of a vanish, i.e., Let a be a "self-adjoint," and "even" element of (A, ϕ) satisfying (41).Then, it is said to be semicircular in (A, ϕ), if: where c k are the k th Catalan number, It is well known that, if k n (...) is the free cumulant on A in terms of a linear functional ϕ (in the sense of [14]), then a self-adjoint element a is semicircular in (A, ϕ), if and only if: for all n ∈ N (e.g., see [14]).The above equivalent free-distributional data (43) of the semicircularity (42) are obtained by the Möbius inversion of [14].Motivated by (43), one can define the weighted-semicircularity.
Definition 8. Let a ∈ (A, ϕ) be a self-adjoint element.It is said to be weighted-semicircular in (A, ϕ) with its weight t 0 (in short, t 0 -semicircular), if there exists t 0 ∈ C × = C \ {0}, such that: for all n ∈ N, where k n (...) is the free cumulant on A in terms of ϕ.
By the definition (44) and by the Möbius inversion of [14], one obtains the following free-moment characterization (45) of the weighted-semicircularity (44): A self-adjoint element a is t 0 -semicircular in (A, ϕ), if and only if there exists t 0 ∈ C × , such that: where: for all n ∈ N, where c m are the m th Catalan numbers for all m ∈ N 0 .Thus, from below, we use the weighted-semicircularity (44) and its characterization (45) alternatively.

Tensor Product
be a (non-traditional) C * -probability space (39), for p ∈ P, k ∈ Z. Define bounded linear transformations c p and a p "acting on the p-adic boundary subalgebra S p of M p ," by linear morphisms satisfying, c p P p,j = P p,j+1 , and: on S p , for all j ∈ Z.By (46), these linear transformations c p and a p are bounded under the operator-norm induced by the C * -norm on S p .Therefore, the linear transformations c p and a p are regarded as Banach-space operators "acting on S p ," by regarding S p as a Banach space (under its C * -norm).i.e., c p and a p are elements of the operator space B S p consisting of all bounded operators on the Banach space S p .Definition 9.The Banach-space operators c p and a p of (46) are called the p-creation, respectively, the p-annihilation on S p , for p ∈ P. Define a new Banach-space operator l p ∈ B S p by: We call it the p-radial operator on S p .
Let l p be the p-radial operator c p + a p of (47) on S p .Construct a closed subspace L p of B(S p ) by: where Y means the operator-norm-topology closure of every subset Y of the operator space B(S p ).
By the definition (48), L p is not only a closed subspace, but also a well-defined Banach algebra embedded in the vector space B(S p ).On this Banach algebra L p , define the adjoint ( * ) by: where s k ∈ C with their conjugates s k ∈ C.
Then, equipped with the adjoint (49), this Banach algebra L p of (48) forms a Banach * -algebra inside B(S p ). Definition 10.Let L p be a Banach * -algebra (48) in the operator space B(S p ) for p ∈ P. We call it the p-radial (Banach- * -)algebra on S p .Let L p be the p-radial algebra (48) on S p .Construct now the tensor product Banach * -algebra LS p by: where ⊗ C is the tensor product of Banach * -algebras (Remark that S p is a C * -algebra and L p is a Banach * -algebra; and hence, the tensor product Banach * -algebra LS p of (50) is well-defined.).Take now a generating element l k p ⊗ P p,j , for some k ∈ N 0 = N ∪ {0}, and j ∈ Z, where P p,j is in the sense of (30) in S p , with axiomatization: l 0 p = 1 S p , the identity operator on S p , in B(S p ), satisfying: 1 S p P p,j = P p,j , for all P p,j ∈ S p , for all j ∈ Z.
By ( 50) and (32), the elements l k p ⊗ P p,j indeed generate LS p under linearity, because: for all k ∈ N 0 , and j ∈ Z, for p ∈ P, and their self-adjointness.We now focus on such generating operators of LS p .Define a linear morphism: by a linear transformation satisfying that: for all k ∈ N 0 , j ∈ Z, where k 2 is the minimal integer greater than or equal to k 2 , for all k ∈ N 0 ; for example, By the cyclicity (48) of the tensor factor L p of LS p , and by the structure theorem (32) of the other tensor factor S p of LS p , the above morphism E p of (51) is a well-defined bounded surjective linear transformation.Now, consider how our p-radial operator l p of (47) works on S p .Observe first that: if c p and a p are the p-creation, respectively, the p-annihilation on S p , then: c p a p P p,j = P p,j = a p c p P p,j , for all j ∈ Z, p ∈ P, and hence: Lemma 1.Let c p , a p be the p-creation, respectively, the p-annihilation on S p .Then: and: Proof.The formula (53) holds by (52).
By (53), one can get that: with identities; for all n ∈ N, where: Thus, one obtains the following proposition.
Proposition 8. Let l p ∈ L p be the p-radial operator on S p .Then: for all m ∈ N.

Weighted-Semicircular Elements Q p,j in LS p
Fix p ∈ P, and let LS p = L p ⊗ C S p be the tensor product Banach * -algebra (50) and E p be the linear transformation (51) from LS p onto S p .Throughout this section, fix a generating element: for j ∈ Z, where P p,j is a projection (30) generating S p .Observe that: for all n ∈ N, for all j ∈ Z.
If Q p,j ∈ LS p is in the sense of (57) for j ∈ Z, then: by ( 51) and ( 58), for all n ∈ N. Now, for a fixed j ∈ Z, define a linear functional τ 0 p,j on LS p by: where is the linear functional (38) on S p .
By the bounded-linearity of both τ p j and E p , the morphism τ 0 p,j of (60) is a bounded linear functional on LS p .By (59) and (60), if Q p,j is in the sense of (57), then: for all n ∈ N.
Theorem 1.Let Q p,j = l p ⊗ P p,j ∈ LS p , τ 0 p,j , for a fixed j ∈ Z.Then, Q p,j is p 2(j+1) -semicircular in LS p , τ 0 p,j .More precisely, for all n ∈ N, where ω n are in the sense of (45).Equivalently, if k 0,p,j n (...) is the free cumulant on LS p in terms of the linear functional τ 0 p,j of (61) on LS p , then: for all n ∈ N.

Semicircularity on LS
For all p ∈ P, j ∈ Z, let: be a Banach * -probabilistic model of the Banach * -algebra LS p of (50), where τ 0 p,j is the linear functional (60).Definition 11.We call the pairs LS p (j) of (64) the j textth p-adic filters, for all p ∈ P, j ∈ Z.
Let Q p,k = l p ⊗ P p,k be the k th generating elements of the j th p-adic filter LS p (j) of (64), for all k ∈ Z, for fixed p ∈ P, j ∈ Z.Then, the generating elements {Q p,k } k∈Z of the j th p-adic filter LS p (j) satisfy that: and: for all p ∈ P, j ∈ Z, for all n ∈ N, by ( 62) and ( 63), where: for all n ∈ N.
Note that the pair LS = LS, τ 0 of (66) is a well-defined "traditional or noncommutative" Banach * -probability space.For more about the (free-probabilistic) free product of free probability spaces, see [14,15].Definition 12.The Banach * -probability space LS = LS, τ 0 of (66) is called the free Adelic filtration.
Let LS be the free Adelic filtration (66).Then, by (65), one can take a subset: of LS, consisting of "j th " generating elements Q p,j of the "j th " p-adic filters LS p (j), which are the free blocks of LS, for all j ∈ Z, for all p ∈ P.
Lemma 2. Let Q be the above family in the free Adelic filtration LS.Then, all elements Q p,j of Q are p 2(j+1) -semicircular in the free Adelic filtration LS.
Proof.Since all self-adjoint elements Q p,j of the family Q are chosen from mutually-distinct free blocks LS p (j) of LS, they are p 2(j+1) -semicircular in LS p (j).Indeed, since every element Q p,j ∈ Q is from a free block LS p (j), the powers Q n p,j are free reduced words with their lengths-N in LS p (j) in LS.Therefore, each element Q p,j ∈ Q satisfies that: equivalently, otherwise, for all n ∈ N, by (62) and (63), where k 0 n (...) is the free cumulant on LS in terms of τ 0 .Therefore, all elements Q p,j ∈ Q are p 2(j+1) -semicircular in LS, for all p ∈ P, j ∈ Z.
Furthermore, since all p 2(j+1) -semicircular elements Q p,j ∈ Q are taken from the mutually-distinct free blocks LS p (j) of LS, they are mutually free from each other in the free Adelic filtration LS of (66), for all p ∈ P, j ∈ Z.
Recall that a subset S = {a t } t∈∆ of an arbitrary (topological or pure-algebraic) * -probability space (A, ϕ) is said to be a free family, if, for any pair (t 1 , t 2 ) ∈ ∆ 2 of t 1 = t 2 in a countable (finite or infinite) index set ∆, the corresponding free random variables a t 1 and a t 2 are free in (A, ϕ) (e.g., [7,14]).Definition 13.Let S = {a t } t∈∆ be a free family in an arbitrary topological * -probability space (A, ϕ).This family S is said to be a free (weighted-)semicircular family, if it is not only a free family, but also a set consisting of all (weighted-)semicircular elements a t in (A, ϕ), for all t ∈ ∆.
Therefore, by the construction (66) of the free Adelic filtration LS, we obtain the following result.
Theorem 2. Let LS be the free Adelic filtration (66), and let: where LS p (j) are the j th p-adic filters, the free blocks of LS.Then, this family Q of (67) is a free weighted-semicircular family in LS.
Proof.Let Q be a subset (67) in LS.Then, all elements Q p,j of Q are p 2(j+1) -semicircular in LS by the above lemma, for all p ∈ P, j ∈ Z. Furthermore, all elements Q p,j of Q are mutually free from each other in LS, because they are contained in the mutually-distinct free blocks LS p (j) of LS, for all p ∈ P, j ∈ Z.Therefore, the family Q of (67) is a free weighted-semicircular family in LS.
Now, take elements: in LS, where Q p,j ∈ Q, where Q is the free weighted-semicircular family (67) in the free Adelic filtration LS.
Then, by the self-adjointness of Q p,j , these operators Θ p,j of (68) are self-adjoint in LS, as well, because: satisfying p j+1 = p j+1 , for all p ∈ P, j ∈ Z.
Furthermore, one obtains the following free-cumulant computation; if k 0 n (...) is the free cumulant on LS in terms of τ 0 , then: by the bimodule-map property of the free cumulant (e.g., see [14]), for all n ∈ N, where k 0,p,j n (...) are the free cumulants (63) on the free blocks LS p (j) in terms of the linear functionals τ 0 p,j of (60) on LS p , for all p ∈ P, j ∈ Z. Theorem 3. Let Θ p,j = 1 p j+1 Q p,j be free random variables (68) of the free Adelic filtration LS, for Q p,j ∈ Q.Then, the family: Θ = Θ p,j ∈ LS p (j) : p ∈ P, j ∈ Z (70) forms a free semicircular family in LS.
Proof.Consider that: for all n ∈ N.
By the free-cumulant computation (71), these self-adjoint free random variables Θ p,j ∈ LS p (j) are semicircular in LS by (43), for all p ∈ P, j ∈ Z.
Furthermore, the family Θ of (70) forms a free family in LS, because all elements Θ p,j are the scalar-multiples of Q p,j ∈ Q, contained in mutually-distinct free blocks LS p (j) of LS, for all j ∈ Z, p ∈ P.
Therefore, this family Θ of (70) is a free semicircular family in LS.
Now, define a Banach * -subalgebra LS of LS by: where Q is the free weighted-semicircular family (67) and Y means the Banach-topology closures of subsets Y of LS.
Then, one can obtain the following structure theorem for the Banach * -algebra LS of (72) in LS.
Theorem 4. Let LS be the Banach * -subalgebra (72) of the free Adelic filtration LS generated by the free weighted-semicircular family Q of (67).Then: where Θ is the free semicircular family (70) and where "=" means "being identically same as sets."Moreover, in LS, where " * -iso = " means "being Banach- * -isomorphic," and: C {Q p,j } are Banach * -subalgebras of LS p (j), for all p ∈ P, j ∈ Z, in LS.
Here, ( ) in the first * -isomorphic relation of (74) is the (free-probability-theoretic) free product of [14,15], and ( ) in the second * -isomorphic relation of (74) is the (pure-algebraic) free product (generating noncommutative algebraic free words in the family Q).
Proof.Let LS be the Banach * -subalgebra (72) of LS.Then, all generating operators Q p,j ∈ Q of LS are contained in mutually-distinct free blocks LS p (j) of LS, and hence, the Banach * -subalgebras C {Q p,j } of LS are contained in the free blocks LS p (j), for all p ∈ P, j ∈ Z.Therefore, as embedded sub-structures of LS, they are free from each other.Equivalently, by (66).Since every free block C {Q p,j } of the Banach * -algebra LS of (75) is generated by a single self-adjoint (weighted-semicircular) element, every operator T of LS is a limit of linear combinations of free words in the free family Q of (67), which form noncommutative free "reduced" words (in the sense of [14,15]), as operators in LS of (75).Note that every (pure-algebraic) free word in Q has a unique free reduced word in LS, under operator-multiplication on LS (and hence, on LS).Therefore, the * -isomorphic relation (75) guarantees that: where the free product ( ) in ( 76) is pure-algebraic.Remark that, indeed, the relation (76) holds well, because all weighted-semicircular elements of Q are self-adjoint; if: is a free (reduced) word (as an operator), then: ∈ LS is a free word of LS in Q, as well.Therefore, by (75) and (76), the structure theorem (74) holds true.
Note now that Q p,j ∈ Q satisfy: Q p,j = p j+1 Θ p,j , for all p ∈ P, j ∈ Z, where Θ p,j are semicircular elements in the family Θ of (70).Therefore, the free blocks of (75) satisfy that: for all p ∈ P, j ∈ Z.Thus, one can get that: by ( 75) and (77).
As a sub-structure, one can restrict the linear functional τ 0 of (66) on LS to that on LS, i.e., one can obtain the Banach * -probability space,
Note that, by (66), all elements of the semicircular filtration (LS, τ 0 ) provide "possible" non-vanishing free distributions in the free Adelic filtration LS.Especially, all free reduced words of LS in the generator set {Q p,j } p∈P,j∈Z have non-zero free distributions only if they are contained in (LS, τ 0 ).Therefore, studying free-distributional data on (LS, τ 0 ) is to study possible non-zero free-distributional data on LS.

Truncated Linear Functionals on LS
In number theory, one of the most interesting, but difficult topics is to find a number of primes or a density of primes contained in closed intervals [t 1 , t 2 ] of the real numbers R (e.g., [3,6,21,22]).Since the theory is deep, we will not discuss more about it here.Hhowever, motivated by the theory, we consider certain "suitable" truncated linear functionals on our semicircular filtration (LS, τ 0 ) of (80) in the free Adelic filtration LS of (66).
Notation: From below, we will use the following notations to distinguish their structural differences; LS denote = the Banach * -subalgebra (72) of LS, LS 0 denote = the semicircular filtration LS, τ 0 of (80).9.1.Linear Functionals {τ (t) } t∈R on LS Let LS 0 be the semicircular filtration (LS, τ 0 ) of the free Adelic filtration LS.Furthermore, let Q and Θ be the free weighted-semicircular family (67), respectively, the free semicircular family (70) of LS, generating LS by ( 73) and (74).We here truncate τ 0 on LS for a fixed real number t ∈ R.
From below, we understand the Banach * -subalgebras LS p of LS as free-probabilistic sub-structures, Lemma 3. Let LS p l be in the sense of (82) in the semicircular filtration LS 0 , for l = where τ 0 p are the linear functionals (81) on the Banach * -subalgebras LS p of (82) in LS 0 , for all p ∈ P, and O means the zero linear functional on LS, satisfying that: O(T) = 0, for all T ∈ LS.
For convenience, if there is no confusion, we simply write the definition (84) as: By the definition (84) (with a simpler expression (85)), one can easily verify that, if t < 2 in R, then the corresponding linear functional τ (t) is identical to the zero linear functional O on LS.To avoid such triviality, one may refine τ (t) of (84) by: for all t ∈ R.
In the following text, τ (t) mean the linear functionals in (86), satisfying (84) whenever t ≥ 2, for all t ∈ R. In fact, we are not interested in the cases where t < 2.
Theorem 5. Let Q p,j ∈ Q and Θ p,j ∈ Θ in the semicircular filtration LS 0 , for p ∈ P, j ∈ Z, and let t ∈ R and τ (t) , the corresponding linear functional (86) on LS.Then: and: for all n ∈ N.
The above theorem shows how the original free-probabilistic information on the semicircular filtration LS 0 is affected by the new free-probabilistic models on LS, under "truncated" linear functionals τ (t) of τ 0 on LS, for t ∈ R. Definition 15.Let τ (t) be the linear functionals (86) on LS, for t ∈ R.Then, the corresponding new Banach * -probability spaces, are called the semicircular t-(truncated-)filtrations of LS (or, of LS 0 ).
Note that if t is "suitable" in the sense that "τ (t) = O on LS," then the free-probabilistic structure LS (t) of ( 88) is meaningful.
Notation and Assumption 9.1 (NA 9.1, from below): In the following, we will say "t ∈ R is suitable," if the semicircular t-filtration "LS (t) of ( 88) is meaningful," in the sense that: τ (t) = O fully on LS.
Now, let us consider the following concepts.
Definition 16.Let (A k , ϕ k ) be Banach * -probability spaces (or C * -probability spaces, or W * -probability spaces, etc.), for k = 1, 2. A Banach * -probability space (A 1 , ϕ 1 ) is said to be free-homomorphic to a Banach * -probability space (A 2 , ϕ 2 ), if there exists a bounded * -homomorphism: such that: If Φ is both a * -isomorphism and a free-homomorphism, then Φ is said to be a free-isomorphism, and we say that (A 1 , ϕ 1 ) and (A 2 , ϕ 2 ) are free-isomorphic.Such a free-isomorphic relation is nothing but the equivalence in the sense of Voiculescu (e.g., [15]).
By (87), we obtain the following free-probabilistic-structural theorem.Theorem 6.Let LS q = j∈Z C {Q q,j } be Banach * -subalgebras (82) of LS, for all q ∈ P. Let t ∈ R be suitable in the sense of NA 9.1 and LS (t) be the corresponding semicircular t-filtration (88).Construct a Banach * -probability space LS t by a Banach * -probabilistic sub-structure of the semicircular filtration LS 0 , where τ 0 p = j∈Z τ 0 p,j are in the sense of (81).Then: Proof.Let LS (t) be the semicircular t-filtration (88) of LS, and let LS t be a Banach * -probability space (89), for a suitably fixed t ∈ R. Define a bounded linear morphism: by the natural embedding map, Then, this morphism Φ t is an injective bounded * -homomorphism from LS t into LS (t) , by ( 72), (75), (82), (89), and (91).
Therefore, one obtains that: for all T ∈ LS t , by (87).It shows that the Banach * -probability space LS t of (89) is free-homomorphic to the semicircular t-filtration LS (t) of (88).Therefore, the statement (90) holds under the free-homomorphism Φ t of (91).
The above theorem shows that the Banach * -probability spaces LS t of (89) are free-homomorphic to the semicircular t-filtrations LS (t) of ( 88), for all t ∈ R. Note that it "seems" they are not free-isomorphic, because: set-theoretically, for t ∈ R.However, we are not sure at this moment that they are free-isomorphic or not, because we have the similar difficulties discussed in [19].
Remark 3. The famous main result of [19] says that: if L(F n ) are the free group factors (group von Neumann algebras) of the free groups F n with n-generators, for all: then either (I) or (II) holds true, where: , where " * -iso = " means "being W * -isomorphic."Depending on the author's knowledge, he does not know which one is true at this moment.
We here have similar troubles.Under the similar difficulties, we are not sure at this moment that LS t and LS (t) (or LS t and LS) are * -isomorphic or not (and hence, free-isomorphic or not).However, definitely, LS t is free-homomorphic "into" LS (t) in the semicircular filtration LS 0 , by the above theorem.
The above free-homomorphic relation (90) lets us understand all "non-zero" free distributions of free reduced words of LS (t) as those of LS t , for all t ∈ R, by the injectivity of a free-homomorphism Φ t of (91).
Corollary 2. All free reduced words T of the semicircular t-filtration LS (t) in Q ∪ Θ, having non-zero free distributions, are contained in the Banach * -probability space LS t of (89), whenever t is suitable.The converse holds true, as well.
Proof.The proof of this characterization is done by (87), (89), and (90).In particular, the injectivity of the free-homomorphism Φ t of (91) guarantees that this characterization holds.
Therefore, whenever we consider a non-zero free-distribution having free reduced words T of semicircular t-filtrations LS (t) , they are regarded as free random variables of the Banach * -probability spaces LS t of (89), for all suitable t ∈ R.

Truncated Linear Functionals τ t 1 <t 2 on LS
In this section, we generalize the semicircular t-filtrations LS (t) by defining so-called truncated linear functionals on the Banach * -algebra LS.
Throughout this section, let [t 1 , t 2 ] be a closed interval in R, satisfying: For such a fixed closed interval [t 1 , t 2 ], define the corresponding linear functional τ t 1 <t 2 on the semicircular filtration LS by: where τ 0 p are the linear functionals (81) on the Banach * -subalgebras LS p of (82) in LS, for p ∈ P. Similar to Section 9.1, if there is no confusion, then we simply write the definition (92) as: To make the linear functionals τ t 1 <t 2 of (92) be non-zero-linear functionals on LS, the interval [t 1 , t 2 ] must be taken "suitably."For example, and: and: under (93) on LS.
It is not difficult to check that the definition (92) of truncated linear functionals τ t 1 <t 2 covers the definition of linear functionals τ (t) of (86).In particular, τ (t) is "suitable" in the sense of NA 9.1, then: For our purposes, we will axiomatize: p , for all p ∈ P ⊂ R, notationally, where τ 0 p are the linear functionals (81), for all p ∈ P, under (93).Remark that the very above axiomatized notations τ p<p will be used only when p are primes.Definition 17.Let [t 1 , t 2 ] be a given interval in R and τ t 1 <t 2 , the corresponding linear functional (92) on LS.
As we discussed in the above paragraphs, the semicircular [t 1 , t 2 ]-filtration LS t 1 <t 2 of (94) will be "meaningful," if t 1 < t 2 are suitable in R, as in NA 9.1.
Notation and Assumption 9.2 (NA 9.2, from below): In the rest of this paper, if we write "t 1 < t 2 are suitable," then this means "LS t 1 <t 2 is meaningful," in the sense that τ t 1 <t 2 = O fully on LS, with additional axiomatization: in the sense of (93).
Theorem 7. Let t 1 ≤ 2 and t 2 be suitable in R in the sense of NA 9.1.
The semicircular[t 1 , t 2 ]-filtrationLS t 1 <t 2 is not only suitable in the sense of NA 9.2, but also, it is free-isomorphic to the semicirculart 2 -filtration LS (t 2 ) o f (88).
The above theorem characterizes the free-probabilistic structures for semicircular [t 1 , t 2 ]-filtrations LS t 1 <t 2 , whenever t 1 ≤ 2, and t 2 are suitable, by ( 95) and (96).Therefore, we now restrict our interests to the cases where: Then, the Banach * -probability space: equipped with its linear functional Proof.Let LS t 1 <t 2 be in the sense of (97) in the semicircular filtration LS 0 , i.e., as a free-probabilistic sub-structure of the semicircular filtration LS 0 .By (94), one can define the embedding map Φ from LS t 1 <t 2 into LS, satisfying: Then, for any T ∈ LS t 1 <t 2 , one can get that: Therefore, the Banach * -probability space LS t 1 <t 2 is free-homomorphic to LS t 1 <t 2 in LS.Therefore, the relation (98) holds.
Remark again that we are not sure if LS t 1 <t 2 and LS t 1 <t 2 are free-isomorphic, or not, at this moment (see Remark 9.1 above).However, similar to (90), one can verify that all free reduced words T of LS t 1 <t 2 have non-zero free distributions embedded in LS t 1 <t 2 , and conversely, all free reduced words of LS t 1 <t 2 having non-zero free distributions are contained in LS t 1 <t 2 .Corollary 3. Let T be a free reduced word of the semicircular [t 1 , t 2 ]-filtration LS t 1 <t 2 in Q ∪ Θ, and assume that the free distribution of T is non-zero for τ t 1 <t 2 .Then, T is an element of the Banach * -probability space LS t 1 <t 2 of (97).The converse holds true.9.3.More about Free-Probabilistic Information on LS t 1 <t 2 In this section, we discuss more about free-probabilistic information in semicircular [t 1 , t 2 ]-filtrations LS t 1 <t 2 , for t 1 < t 2 ∈ R (which are not necessarily suitable in the sense of NA 9.2).
First, let us mention about the following trivial cases.
Even though the above results (99) and (100), themselves, are trivial, they illustrate how our original (non-zero) free-distributional data on the semicircular filtration LS 0 are distorted under our "unsuitable" truncations.Now, suppose t 1 < t 2 are suitable in R, and: in the sense that: t 1 is big "enough" in R. The existence of such suitable intervals [t 1 , t 2 ] in R is guaranteed by the prime number theorem (e.g., [5,6]).More precisely, let us collect all suitable pairs (t 1 , t 2 ) in R 2 , i.e., {(t 1 , t 2 ) ∈ R 2 : t 1 < t 2 are suitable in R}, and consider its boundary.First, consider that if p → ∞ in P (under the usual total ordering on P, inherited by that on R), then: lim for an arbitrarily-fixed j ∈ Z. Theorem 9. Let (t n ) ∞ n=1 and (s n ) ∞ n=1 be monotonically "strictly"-increasing R-sequences, satisfying: for all n ∈ N. By the suitability, there exists at least one prime p n ∈ P, such that: where the corresponding R-sequence (p n ) ∞ n=1 is monotonically increasing.Let Q p n ,j be the corresponding p 2(j+1) n -semicircular element in the free weighted-semicircular family Q, as a free random variable of the semicircular [t n , s n ]-filtration LS t n <s n , where p n are the primes of (102), for all n ∈ N, for any j ∈ Z. Then: for all k ∈ N.
Proof.Suppose p n are the primes satisfying (102) for given suitable: in the sense of NA 9.2, for all n ∈ N.Then, for the p 2(j+1) n -semicircular elements Q p n ,j ∈ Q (in LS 0 ), one has that: for all k ∈ N. Thus, we have that: , for all k ∈ N. Therefore, the estimation (103) holds.
The above estimation (103) illustrates the asymptotic free-distributional data of our p 2(j+1) -semicircular elements {Q p,j ∈ Q} p∈P (for a fixed j ∈ Z), under our suitable truncations, as p → ∞ in P.
Corollary 4. Let t 1 < t 2 be suitable in R under NA 9.2, t 1 be suitably big (i.e., t 1 → ∞) in R, and j ≤ −1 be arbitrarily fixed in Z.Then, there exists t 0 ∈ R, such that: where: for all n ∈ N.
Under the same hypothesis, if j > −1 in Z, then: then: Therefore, the truncated free-distributional data (111) hold.

Remark 4.
Let us compare the free-distributional data (109) and (111).One can check the differences between them dictated by the choices of [t 1 , t 2 ] in R. Thus, the formula (111) also illustrates how our truncations on P distort the original free-probabilistic information on the semicircular filtration LS 0 .
Let q 0 be a fixed prime in P. Choose t 0 < s 0 ∈ R such that: (i) these quantities t 0 and s 0 satisfy: and (ii) q 0 is the only prime in the closed interval [t 0 , s 0 ] in R.
By the Archimedean property on R (or the axiom of choice), the existence of such interval [t 0 , s 0 ], satisfying (i) and (ii) for the fixed prime q 0 , is guaranteed; however, the choices of the quantities t 0 < s 0 are of course not unique.Definition 18.Let q 0 ∈ P, and let t < s ∈ R be the real numbers satisfying the conditions (i) and (ii) of the above paragraph.Then, the suitable closed interval [t, s] is called a q 0 -neighborhood.
Depending on prime-neighborhoods, one can obtain the following semicircularity condition on our semicircular truncated-filtrations.Corollary 5. Let p ∈ P, [t, s] be a p-neighborhood in R, and LS t<s be the corresponding semicircular [t, s]-filtration.If X and Y are free sums formed by (107) in the semicircular filtration LS 0 , then: and: where δ is the Kronecker delta.
Proof.The free-distributional data (112) are a special case of (111), under the prime-neighborhood condition.Indeed, in this case, where P [t,s]:(p 1 ,...,p N ) is in the sense of (111).
More general to (112), we obtain the following result.
Proposition 10.Let p ∈ P and [t, s] be a p-neighborhood in R, and let LS t<s be the corresponding semicircular [t, s]-filtration.Then, a free random variable T ∈ LS t<s has its non-zero free distribution, if and only if there exists a non-zero summand T 0 of T, such that: where LS p = j∈Z C[{Θ p,j }] is a Banach * -subalgebra (82) of LS.
Proof.By (98), if T ∈ LS t<s has its non-zero free distribution, then there exists a non-zero summand T 0 of T which can be a linear combination of free reduced words contained in t≤q≤s in P LS q , and hence, where LS q are in the sense of (82), for q ∈ P. Since [t, s] is a p-neighborhood, the relation ( 114) is equivalent to: Clearly, the converse holds true as well, by (98).Therefore, a free random variable T ∈ LS t<s has its non-zero free distribution, if and only if T contains its non-zero summand T 0 ∈ LS p , by (115); equivalently, the statement (113) holds true.By (112) and (113), we obtain the following interesting result.Theorem 11.Let X 1 = ∑ N l=1 Q p l ,j l and Y 1 = ∑ N l=1 Θ p l ,j l be in the sense of (107) in the semicircular filtration LS 0 , and assume that (p l , j l ) are mutually distinct in P × Z, for l = 1, ..., N, for N ∈ N \ {1}.Suppose we fix: p l 0 ∈ {p 1 , ..., p N }, and take a p l 0 -neighborhood [t 0 , s 0 ] in R. Then: where LS t 0 <s 0 is the semicircular [t 0 , s 0 ]-filtration.
Proof.Let X 1 and Y 1 be given as above in LS, and fix p l 0 ∈ {p 1 , ..., p N }.Note that, by the assumption, these operators X 1 and Y 1 form free sums in the semicircular filtration LS 0 , having N-many summands.Note also that they are self-adjoint in LS by the self-adjointness of their summands.By (113), if an operator T has its non-zero free distribution in the semicircular [t 0 , s 0 ]-filtration LS t 0 <s 0 , where [t 0 , s 0 ] is a p l 0 -neighborhood in R, then it must have its non-zero summand T 0 , T 0 ∈ LS p l 0 in LS t 0 <s 0 .
By the very construction of X 1 and Y 1 , they contain their summands, Q p l 0 ,j l 0 , Θ p l 0 ,j l 0 ∈ LS p l 0 in LS t 0 <s 0 .
Consider now that: and similarly, for all n ∈ N. It is not difficult to check that: Therefore, the free sum X 1 ∈ LS is p 2(j l 0 +1) l 0 -semicircular in LS t 0 <s 0 ; and the free sum Y 1 ∈ LS is semicircular in LS t 0 <s 0 , by (120).Therefore, the statements (116) and (117) hold true.
The above theorem shows that, if there is a free sum T in the semicircular filtration LS 0 and if we "nicely" truncate the linear functional τ 0 on LS, then one can focus on the non-zero summand T 0 of T, whose the free distribution not only determines the truncated free distribution of T, but also follows the (weighted-)semicircular law.

Applications of Prime-Neighborhoods
In Section 9, we considered the semicircular truncated-filtrations LS t<s for t < s ∈ R and studied how [t, s]-truncations on P affect, or distort, the original free-distributional data on the semicircular filtration LS 0 = LS, τ 0 .As a special case, in Section 10, we introduced p-neighborhoods for primes p and considered corresponding truncated free distributions on LS.
In this section, by using prime-neighborhoods, we provide a completely "new" model of truncated free probability on LS and study how the original free-distributional data on LS 0 are distorted under this new truncation model.
For each q k ∈ P of (121), determine a q k -neighborhood for all k ∈ N.
Let τ B k be our truncated linear functionals τ t k <s k of (92) on the Banach * -algebra LS, i.e., Then, by the truncated linear functionals of (123), one can have the corresponding semicircular B k -filtrations, for all k ∈ N.
We now focus on the system: of q k -neighborhood-truncated linear functionals (123) for all k ∈ N.
Let F be a "finite" subset of the TOset P of (121), and for such a set F, define a new linear functional τ F on LS induced by the system T of (125), by: Before proceeding, let us consider the following result obtained from (113).
Lemma 5. Let p ∈ P and [t, s] be a p-neighborhood in R, and let LS t<s be the semicircular [t, s]-filtration.Let τ 0 p = j∈Z τ 0 p,j be the linear functional (81) on the Banach * -subalgebra LS p of (82) in the semicircular filtration LS 0 .Define a linear functional τ p on the Banach * -algebra LS by: τ p (T) if T ∈ LS p in LS O(T) = 0 otherwise, for all T ∈ LS.Then, the Banach * -probability space (LS, τ p ) is free-isomorphic to LS t<s , i.e., [t, s] is a p − neighborhood ⇒ LS t<s and (LS, τ p ) are f ree − isomorphic. (127) Proof.Under the hypothesis, it is not hard to check: τ t<s = τ p on LS.
Therefore, the identity map on LS becomes a free-isomorphism from LS t<s onto (LS, τ p ) .
If a finite subset F is a singleton subset of P, then the free probability on LS determined by the corresponding linear functional τ F of (126) is already considered in Section 10 and in (127).Therefore, we now restrict our interests to the cases where finite subsets F have more than one element in P. Lemma 6.Let F be a finite subset of the TOset P of (121), and let τ F be the corresponding linear functional (126) on LS.Then: where τ q k are in the sense of (127).
Proof.The proof of (128) is done by ( 126) and (127) because: (LS, τ q k ) and LS B k are free-isomorphic for all q k ∈ F. Therefore, the linear functional τ F of (126) satisfies that: τ q k on LS.where |X| mean the cardinalities of sets X.
Proof.Let T and S be given free reduced words with their length-N in LS, for N ∈ N. Therefore, the free-distributional data (130) hold.
The above free-distributional data (129) and (130) characterize the free-probabilistic information on Banach * -probability spaces (LS, τ F ) , for any finite subsets F of P.

Definition 4 .
Define the C * -subalgebra M p of the operator algebra B(H p ) by: f or all n ∈ N. (28) Proof.Remark that the generating operator α p S is a projection in M p , in the sense that: all n ∈ N.
Fix now t ∈ R, and define a new linear functional τ (t) on LS by: t 2 o f (89) is f ree − homomorphic to LS t 1 <t 2 .(96) Proof.Suppose t 1 ≤ 2, and t 2 are suitable in R in the sense of NA 9.1.Then, t 1 < t 2 are suitable in R in the sense of NA 9.2.Therefore, both the semicircular t 2 -filtration LS (t 2 ) and the semicircular [t 1 , t 2 ]-filtration LS t 1 <t 2 are meaningful.Since t 1 is assumed to be less than or equal to two, the linear functional τ t 1 <t 2 = τ (t 2 )

Proposition 9 .
Let LS t 1 <t 2 be the semicircular [t 1 , t 2 ]-filtration for t 1 < t 2 in R. t 2 < 2 in R, then all elements of LS t 1 <t 2 have the zero free distribution.Let t 1 , t 2 ≥ 2 in R. If the closed interval [t 1 , t 2 ]does not contain a prime in R, then all elements of LS t 1 <t 2 have the zero free distribution.