Showing 1–12 of 12 results for author: Loewy, R

The Dry Ten Martini Problem for Sturmian Hamiltonians

Authors: Ram Band, Siegfried Beckus, Raphael Loewy

Abstract: The Dry Ten Martini Problem for Sturmian Hamiltonians is affirmatively solved. Concretely, we prove that all spectral gaps are open for Schrödinger operators with Sturmian potentials and non-vanishing coupling constant. A key approach towards the solution is a representation of the spectrum as the boundary of an infinite tree. This tree is constructed via particular periodic approximations and it… ▽ More The Dry Ten Martini Problem for Sturmian Hamiltonians is affirmatively solved. Concretely, we prove that all spectral gaps are open for Schrödinger operators with Sturmian potentials and non-vanishing coupling constant. A key approach towards the solution is a representation of the spectrum as the boundary of an infinite tree. This tree is constructed via particular periodic approximations and it encodes substantial spectral characteristics. △ Less

Submitted 26 February, 2024; originally announced February 2024.

MFO Report: The dry ten Martini problem for Sturmian dynamical systems

Authors: Ram Band, Siegfried Beckus, Raphael Loewy

Abstract: This extended Oberwolfach report (to appear in the proceedings of the MFO Workshop 2335: Aspects of Aperiodic Order) announces the full solution to the Dry Ten Martini Problem for Sturmian Hamiltonians. Specifically, we show that all spectral gaps of Sturmian Hamiltonians (as predicted by the gap labeling theorem) are open for all nonzero couplings and all irrational rotations. We present here the… ▽ More This extended Oberwolfach report (to appear in the proceedings of the MFO Workshop 2335: Aspects of Aperiodic Order) announces the full solution to the Dry Ten Martini Problem for Sturmian Hamiltonians. Specifically, we show that all spectral gaps of Sturmian Hamiltonians (as predicted by the gap labeling theorem) are open for all nonzero couplings and all irrational rotations. We present here the proof strategy. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Proof of a conjecture on polynomials preserving nonnegative matrices

Authors: Raphael Loewy

Abstract: We consider polynomials in R[x] which map the set of nonnegative (element-wise) matrices of a given order into itself. Let n be a positive integer and define P(n)= {p in R[x] : p(A) is nonnegative (element-wise), for all A, A an n-by-n nonnegative (element-wise) matrix}. This set plays a role in the Nonnegative Inverse Eigenvalue Problem. Clark and Paparella conjectured that P(n+1) is strictly con… ▽ More We consider polynomials in R[x] which map the set of nonnegative (element-wise) matrices of a given order into itself. Let n be a positive integer and define P(n)= {p in R[x] : p(A) is nonnegative (element-wise), for all A, A an n-by-n nonnegative (element-wise) matrix}. This set plays a role in the Nonnegative Inverse Eigenvalue Problem. Clark and Paparella conjectured that P(n+1) is strictly contained in P(n). We prove this conjecture. △ Less

Submitted 31 January, 2022; originally announced February 2022.

Comments: 5 pages

MSC Class: 15A18; 15A29; 15B48

On Faces of the set of Quantum Channels

Authors: Raphael Loewy

Abstract: A linear map $L$ from ${\mathbb C}^{n \times n}$ into ${\mathbb C}^{n \times n}$ is called a quantum channel if it is completely positive and trace preserving. The set ${\cal L}_n$ of all such quantum channels is known to be a compact convex set. While the extreme points of ${\cal L}_n$ can be characterized, not much is known about the structure of its higher dimensional faces. Using the so called… ▽ More A linear map $L$ from ${\mathbb C}^{n \times n}$ into ${\mathbb C}^{n \times n}$ is called a quantum channel if it is completely positive and trace preserving. The set ${\cal L}_n$ of all such quantum channels is known to be a compact convex set. While the extreme points of ${\cal L}_n$ can be characterized, not much is known about the structure of its higher dimensional faces. Using the so called Choi matrix $Z(L)$ associated with the quantum channel $L$, we compute the maximum dimension of a proper face of ${\cal L}_n$, and in addition the possible dimensions of faces generated by $L$ when $rank \ Z(L)=2 $. △ Less

Submitted 18 September, 2016; originally announced September 2016.

Comments: 21 pages

MSC Class: 15B48; 47B65 94A40

A Necessary Condition for the Spectrum of Nonnegative Symmetric $ 5 \times 5 $ Matrices

Authors: Raphael Loewy, Oren Spector

Abstract: Let $A$ be a nonnegative symmetric $ 5 \times 5 $ matrix with eigenvalues $ λ_1 \geq λ_2 \geq λ_3 \geq λ_4 \geq λ_5 $. We show that if $ \sum_{i=1}^{5} λ_{i} \geq \frac{1}{2} λ_1 $ then $ λ_3 \leq \sum_{i=1}^{5} λ_{i} $. McDonald and Neumann showed that $ λ_1 + λ_3 + λ_4 \geq 0 $. Let $ σ= \left( λ_1, λ_2, λ_3, λ_4, λ_5 \right) $ be a list of decreasing real numbers satisfying: 1.… ▽ More Let $A$ be a nonnegative symmetric $ 5 \times 5 $ matrix with eigenvalues $ λ_1 \geq λ_2 \geq λ_3 \geq λ_4 \geq λ_5 $. We show that if $ \sum_{i=1}^{5} λ_{i} \geq \frac{1}{2} λ_1 $ then $ λ_3 \leq \sum_{i=1}^{5} λ_{i} $. McDonald and Neumann showed that $ λ_1 + λ_3 + λ_4 \geq 0 $. Let $ σ= \left( λ_1, λ_2, λ_3, λ_4, λ_5 \right) $ be a list of decreasing real numbers satisfying: 1. $ \sum_{i=1}^{5} λ_{i} \geq \frac{1}{2} λ_1 $, 2. $ λ_3 \leq \sum_{i=1}^{5} λ_{i} $, 3. $ λ_1 + λ_3 + λ_4 \geq 0 $, 4. the Perron property, that is $ λ_1 = \max_{λ\in σ} \left| λ\right| $. We show that $ σ$ is the spectrum of a nonnegative symmetric $ 5 \times 5 $ matrix. Thus, we solve the symmetric nonnegative inverse eigenvalue problem for $ n = 5 $ in a region for which a solution has not been known before. △ Less

Submitted 16 February, 2016; originally announced February 2016.

Comments: 61 pages

MSC Class: 15A48; 15A29

Power series with positive coefficients arising from the characteristic polynomials of positive matrices

Authors: Thomas J. Laffey, Raphael Loewy, Helena Šmigoc

Abstract: Let A be an nxn (entrywise) positive matrix and let f(t)=det(I-t A). We prove that there always exists a positive integer N such that 1-f(t)^{1/N} has positive coefficients. Let A be an nxn (entrywise) positive matrix and let f(t)=det(I-t A). We prove that there always exists a positive integer N such that 1-f(t)^{1/N} has positive coefficients. △ Less

Submitted 17 July, 2013; v1 submitted 9 May, 2012; originally announced May 2012.

Comments: 26 pages

MSC Class: 15B48; 30B10 (Primary) 37B10; 15A29; 15A18 (Secondary)

On the minimum rank of a graph over finite fields

Authors: Shmuel Friedland, Raphael Loewy

Abstract: In this paper we deal with two aspects of the minimum rank of a simple undirected graph $G$ on $n$ vertices over a finite field $\FF_q$ with $q$ elements, which is denoted by $\mr(\FF_q,G)$. In the first part of this paper we show that the average minimum rank of simple undirected labeled graphs on $n$ vertices over $\FF_2$ is $(1-\varepsilon_n)n$, were $\lim_{n\to\infty} \varepsilon_n=0$. In th… ▽ More In this paper we deal with two aspects of the minimum rank of a simple undirected graph $G$ on $n$ vertices over a finite field $\FF_q$ with $q$ elements, which is denoted by $\mr(\FF_q,G)$. In the first part of this paper we show that the average minimum rank of simple undirected labeled graphs on $n$ vertices over $\FF_2$ is $(1-\varepsilon_n)n$, were $\lim_{n\to\infty} \varepsilon_n=0$. In the second part of this paper we assume that $G$ contains a clique $K_k$ on $k$-vertices. We show that if $q$ is not a prime then $\mr(\FF_q,G)\le n-k+1$ for $4\le k\le n-1$ and $n\ge 5$. It is known that $\mr(\FF_q,G)\le 3$ for $k=n-2$, $n\ge 4$ and $q\ge 4$. We show that for $k=n-2$ and each $n\ge 10$ there exists a graph $G$ such that $\mr(\FF_3,G)>3$. For $k=n-3$, $n\ge 5$ and $q\ge 4$ we show that $\mr(\FF_q,G)\le 4$. △ Less

Submitted 20 July, 2010; v1 submitted 3 June, 2010; originally announced June 2010.

Comments: 16 pages

MSC Class: 05AC50; 11T99; 15A03

Maximal Exponents of K-Primitive Matrices: The Polyhedral Cone Case

Authors: Raphael Loewy, Bit-Shun Tam

Abstract: Let $K$ be a proper (i.e., closed, pointed, full convex) cone in ${\Bbb R}^n$. An $n\times n$ matrix $A$ is said to be $K$-primitive if there exists a positive integer $k$ such that $A^k(K \setminus \{0 \}) \subseteq$ int $K$; the least such $k$ is referred to as the exponent of $A$ and is denoted by $γ(A)$. For a polyhedral cone $K$, the maximum value of $γ(A)$, taken over all $K$-primitive m… ▽ More Let $K$ be a proper (i.e., closed, pointed, full convex) cone in ${\Bbb R}^n$. An $n\times n$ matrix $A$ is said to be $K$-primitive if there exists a positive integer $k$ such that $A^k(K \setminus \{0 \}) \subseteq$ int $K$; the least such $k$ is referred to as the exponent of $A$ and is denoted by $γ(A)$. For a polyhedral cone $K$, the maximum value of $γ(A)$, taken over all $K$-primitive matrices $A$, is denoted by $γ(K)$. It is proved that for any positive integers $m,n, 3 \le n \le m$, the maximum value of $γ(K)$, as $K$ runs through all $n$-dimensional polyhedral cones with $m$ extreme rays, equals $(n-1)(m-1)+1$ when $m$ is even or $m$ and $n$ are both odd, and is at least $(n-1)(m-1)$ and at most $(n-1)(m-1)+1$ when $m$ is odd and $n$ is even. For the cases when $m = n, m = n+1$ or $n = 3$, the cones $K$ and the corresponding $K$-primitive matrices $A$ such that $γ(K)$ and $γ(A)$ attain the maximum value are identified up to respectively linear isomorphism and cone-equivalence modulo positive scalar multiplication. △ Less

Submitted 26 February, 2009; originally announced February 2009.

Comments: 83 pages, 6 figures

MSC Class: 15A48; 05C50; 47A06

Asymptotic behavior of the smallest eigenvalue of matrices associated with completely even functions (mod r)

Authors: Shaofang Hong, Raphael Loewy

Abstract: In this paper we present systematically analysis on the smallest eigenvalue of matrices associated with completely even functions (mod $r$). We obtain several theorems on the asymptotic behavior of the smallest eigenvalue of matrices associated with completely even functions (mod $r$). In particular, we get information on the asymptotic behavior of the smallest eigenvalue of the famous Smith matri… ▽ More In this paper we present systematically analysis on the smallest eigenvalue of matrices associated with completely even functions (mod $r$). We obtain several theorems on the asymptotic behavior of the smallest eigenvalue of matrices associated with completely even functions (mod $r$). In particular, we get information on the asymptotic behavior of the smallest eigenvalue of the famous Smith matrices. Finally some examples are given to demonstrate the main results. △ Less

Submitted 27 September, 2011; v1 submitted 29 August, 2008; originally announced August 2008.

Comments: 23 pages. To appear in International Journal of Number Theory

MSC Class: 11C20; 11A05; 15A36

Journal ref: International Journal of Number Theory 7 (2011), 1681-1704

The inverse inertia problem for graphs

Authors: Wayne Barrett, H. Tracy Hall, Raphael Loewy

Abstract: Let G be an undirected graph on n vertices and let S(G) be the set of all real symmetric n x n matrices whose nonzero off-diagonal entries occur in exactly the positions corresponding to the edges of G. The inverse inertia problem for G asks which inertias can be attained by a matrix in S(G). We give a complete answer to this question for trees in terms of a new family of graph parameters, the m… ▽ More Let G be an undirected graph on n vertices and let S(G) be the set of all real symmetric n x n matrices whose nonzero off-diagonal entries occur in exactly the positions corresponding to the edges of G. The inverse inertia problem for G asks which inertias can be attained by a matrix in S(G). We give a complete answer to this question for trees in terms of a new family of graph parameters, the maximal disconnection numbers of a graph. We also give a formula for the inertia set of a graph with a cut vertex in terms of inertia sets of proper subgraphs. Finally, we give an example of a graph that is not inertia-balanced, and investigate restrictions on the inertia set of any graph. △ Less

Submitted 19 November, 2007; originally announced November 2007.

Comments: 83 pages, 15 figures

MSC Class: 05C05; 05C50 (Primary); 15A03; 15A57 (Secondary)

The Graphs for which the Maximum Multiplicity of an Eigenvalue is Two

Authors: Charles R. Johnson, Raphael Loewy, Paul Anthony Smith

Abstract: Characterized are all simple undirected graphs $G$ such that any real symmetric matrix that has graph $G$ has no eigenvalues of multiplicity more than 2. All such graphs are partial 2-trees (and this follows from a result for rather general fields), but only certain partial 2-trees guarantee maximum multiplicity 2. Among partial linear 2-trees, they are only those whose vertices can be covered b… ▽ More Characterized are all simple undirected graphs $G$ such that any real symmetric matrix that has graph $G$ has no eigenvalues of multiplicity more than 2. All such graphs are partial 2-trees (and this follows from a result for rather general fields), but only certain partial 2-trees guarantee maximum multiplicity 2. Among partial linear 2-trees, they are only those whose vertices can be covered by two "parallel" induced paths. The remaining graphs that guarantee maximum multiplicity 2 are comprised by certain identified families of "exceptional" partial 2-trees that are not linear. △ Less

Submitted 19 January, 2007; originally announced January 2007.

MSC Class: 05C50; 15A57

The minimum rank problem over the finite field of order 2: minimum rank 3

Authors: Wayne Barrett, Jason Grout, Raphael Loewy

Abstract: Our main result is a sharp bound for the number of vertices in a minimal forbidden subgraph for the graphs having minimum rank at most 3 over the finite field of order 2. We also list all 62 such minimal forbidden subgraphs. We conclude by exploring how some of these results over the finite field of order 2 extend to arbitrary fields and demonstrate that at least one third of the 62 are minimal… ▽ More Our main result is a sharp bound for the number of vertices in a minimal forbidden subgraph for the graphs having minimum rank at most 3 over the finite field of order 2. We also list all 62 such minimal forbidden subgraphs. We conclude by exploring how some of these results over the finite field of order 2 extend to arbitrary fields and demonstrate that at least one third of the 62 are minimal forbidden subgraphs over an arbitrary field for the class of graphs having minimum rank at most 3 in that field. △ Less

Submitted 3 September, 2008; v1 submitted 12 December, 2006; originally announced December 2006.

Comments: 40 pages, added Sage program and improvements from referee process

MSC Class: 05C50; 05C75; 15A03