-
Combinatorial and Algebraic Properties of Nonnegative Matrices
Authors:
Jenish C. Mehta
Abstract:
We study the combinatorial and algebraic properties of Nonnegative Matrices. Our results are divided into three different categories.
1. We show a quantitative generalization of the 100 year-old Perron-Frobenius theorem, a fundamental theorem which has been used within diverse areas of mathematics. The Perron-Frobenius theorem states that every irreducible nonnegative matrix $R$ has a largest po…
▽ More
We study the combinatorial and algebraic properties of Nonnegative Matrices. Our results are divided into three different categories.
1. We show a quantitative generalization of the 100 year-old Perron-Frobenius theorem, a fundamental theorem which has been used within diverse areas of mathematics. The Perron-Frobenius theorem states that every irreducible nonnegative matrix $R$ has a largest positive eigenvalue $r$, and every other eigenvalue $λ$ of $R$ is such that $\text{Re}λ<r$ and $|λ|\leq r$. We capture the notion of irreducibility through the widely studied notion of edge expansion $φ$ of $R$ which intuitively measures how well-connected the underlying digraph of $R$ is, and show a quantitative relation between the spectral gap $Δ=1-\text{Re}λ/r$ (where $λ\not=r$ is the eigenvalue of $R$ with the largest real part) and the edge expansion $φ$, providing a more general result than the Cheeger-Buser inequalities, as follows.\[\dfrac{1}{15}\cdot\dfrac{Δ(R)}{n}\leqφ(R)\leq\sqrt{2\cdotΔ(R)}.\]
2. We study constructions of specific nonsymmetric matrices (or nonreversible Markov Chains) that have small edge expansion but large spectral gap, and provide a novel construction of a nonreversible chain for which\[φ(R)\leq\dfrac{Δ(R)}{\sqrt{n}},\] and we also present a candidate construction of matrices for which\[φ(R)\leq2\dfrac{Δ(R)}{n},\] which is the most beautiful contribution of this thesis.
3. We connect edge expansion and spectral gap to other combinatorial properties of nonsymmetric matrices, such as mixing time and capacity, and provide elementary proofs or unified views of known results and new results relating the different combinatorial/algebraic properties. Notably, we show the monotonicity of capacity for nonsymmetric nonnegative matrices.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
Edge Expansion and Spectral Gap of Nonnegative Matrices
Authors:
Jenish C. Mehta,
Leonard J. Schulman
Abstract:
The classic graphical Cheeger inequalities state that if $M$ is an $n\times n$ symmetric doubly stochastic matrix, then \[ \frac{1-λ_{2}(M)}{2}\leqφ(M)\leq\sqrt{2\cdot(1-λ_{2}(M))} \] where $φ(M)=\min_{S\subseteq[n],|S|\leq n/2}\left(\frac{1}{|S|}\sum_{i\in S,j\not\in S}M_{i,j}\right)$ is the edge expansion of $M$, and $λ_{2}(M)$ is the second largest eigenvalue of $M$. We study the relationship b…
▽ More
The classic graphical Cheeger inequalities state that if $M$ is an $n\times n$ symmetric doubly stochastic matrix, then \[ \frac{1-λ_{2}(M)}{2}\leqφ(M)\leq\sqrt{2\cdot(1-λ_{2}(M))} \] where $φ(M)=\min_{S\subseteq[n],|S|\leq n/2}\left(\frac{1}{|S|}\sum_{i\in S,j\not\in S}M_{i,j}\right)$ is the edge expansion of $M$, and $λ_{2}(M)$ is the second largest eigenvalue of $M$. We study the relationship between $φ(A)$ and the spectral gap $1-\text{Re}λ_{2}(A)$ for any doubly stochastic matrix $A$ (not necessarily symmetric), where $λ_{2}(A)$ is a nontrivial eigenvalue of $A$ with maximum real part. Fiedler showed that the upper bound on $φ(A)$ is unaffected, i.e., $φ(A)\leq\sqrt{2\cdot(1-\text{Re}λ_{2}(A))}$. With regards to the lower bound on $φ(A)$, there are known constructions with \[ φ(A)\inΘ\left(\frac{1-\text{Re}λ_{2}(A)}{\log n}\right), \] indicating that at least a mild dependence on $n$ is necessary to lower bound $φ(A)$.
In our first result, we provide an exponentially better construction of $n\times n$ doubly stochastic matrices $A_{n}$, for which \[φ(A_{n})\leq\frac{1-\text{Re}λ_{2}(A_{n})}{\sqrt{n}}.\] In fact, all nontrivial eigenvalues of our matrices are $0$, even though the matrices are highly nonexpanding. We further show that this bound is in the correct range (up to the exponent of $n$), by showing that for any doubly stochastic matrix $A$, \[φ(A)\geq\frac{1-\text{Re}λ_{2}(A)}{35\cdot n}.\]
Our second result extends these bounds to general nonnegative matrices $R$, obtaining a two-sided quantitative refinement of the Perron-Frobenius theorem in which the edge expansion $φ(R)$ (appropriately defined), a quantitative measure of the irreducibility of $R$, controls the gap between the Perron-Frobenius eigenvalue and the next-largest real part of any eigenvalue.
△ Less
Submitted 27 September, 2019;
originally announced September 2019.
-
Tree tribes and lower bounds for switching lemmas
Authors:
Jenish C. Mehta
Abstract:
We show tight upper and lower bounds for switching lemmas obtained by the action of random $p$-restrictions on boolean functions that can be expressed as decision trees in which every vertex is at a distance of at most $t$ from some leaf, also called $t$-clipped decision trees. More specifically, we show the following:
$\bullet$ If a boolean function $f$ can be expressed as a $t$-clipped decisio…
▽ More
We show tight upper and lower bounds for switching lemmas obtained by the action of random $p$-restrictions on boolean functions that can be expressed as decision trees in which every vertex is at a distance of at most $t$ from some leaf, also called $t$-clipped decision trees. More specifically, we show the following:
$\bullet$ If a boolean function $f$ can be expressed as a $t$-clipped decision tree, then under the action of a random $p$-restriction $ρ$, the probability that the smallest depth decision tree for $f|_ρ$ has depth greater than $d$ is upper bounded by $(4p2^{t})^{d}$.
$\bullet$ For every $t$, there exists a function $g_{t}$ that can be expressed as a $t$-clipped decision tree, such that under the action of a random $p$-restriction $ρ$, the probability that the smallest depth decision tree for $g_{t}|_ρ$ has depth greater than $d$ is lower bounded by $(c_{0}p2^{t})^{d}$, for $0\leq p\leq c_{p}2^{-t}$ and $0\leq d\leq c_{d}\frac{\log n}{2^{t}\log t}$, where $c_{0},c_{p},c_{d}$ are universal constants.
△ Less
Submitted 28 February, 2017;
originally announced March 2017.
-
QCMA hardness of ground space connectivity for commuting Hamiltonians
Authors:
David Gosset,
Jenish C. Mehta,
Thomas Vidick
Abstract:
In this work we consider the ground space connectivity problem for commuting local Hamiltonians. The ground space connectivity problem asks whether it is possible to go from one (efficiently preparable) state to another by applying a polynomial length sequence of 2-qubit unitaries while remaining at all times in a state with low energy for a given Hamiltonian $H$. It was shown in [Gharibian and Si…
▽ More
In this work we consider the ground space connectivity problem for commuting local Hamiltonians. The ground space connectivity problem asks whether it is possible to go from one (efficiently preparable) state to another by applying a polynomial length sequence of 2-qubit unitaries while remaining at all times in a state with low energy for a given Hamiltonian $H$. It was shown in [Gharibian and Sikora, ICALP'15] that this problem is QCMA-complete for general local Hamiltonians, where QCMA is defined as QMA with a classical witness and BQP verifier. Here we show that the commuting version of the problem is also QCMA-complete. This provides one of the first examples where commuting local Hamiltonians exhibit complexity theoretic hardness equivalent to general local Hamiltonians.
△ Less
Submitted 12 July, 2017; v1 submitted 11 October, 2016;
originally announced October 2016.
-
Dynamic Complexity of Planar 3-connected Graph Isomorphism
Authors:
Jenish C. Mehta
Abstract:
Dynamic Complexity (as introduced by Patnaik and Immerman) tries to express how hard it is to update the solution to a problem when the input is changed slightly. It considers the changes required to some stored data structure (possibly a massive database) as small quantities of data (or a tuple) are inserted or deleted from the database (or a structure over some vocabulary). The main difference f…
▽ More
Dynamic Complexity (as introduced by Patnaik and Immerman) tries to express how hard it is to update the solution to a problem when the input is changed slightly. It considers the changes required to some stored data structure (possibly a massive database) as small quantities of data (or a tuple) are inserted or deleted from the database (or a structure over some vocabulary). The main difference from previous notions of dynamic complexity is that instead of treating the update quantitatively by finding the the time/space trade-offs, it tries to consider the update qualitatively, by finding the complexity class in which the update can be expressed (or made). In this setting, DynFO, or Dynamic First-Order, is one of the smallest and the most natural complexity class (since SQL queries can be expressed in First-Order Logic), and contains those problems whose solutions (or the stored data structure from which the solution can be found) can be updated in First-Order Logic when the data structure undergoes small changes.
Etessami considered the problem of isomorphism in the dynamic setting, and showed that Tree Isomorphism can be decided in DynFO. In this work, we show that isomorphism of Planar 3-connected graphs can be decided in DynFO+ (which is DynFO with some polynomial precomputation). We maintain a canonical description of 3-connected Planar graphs by maintaining a database which is accessed and modified by First-Order queries when edges are added to or deleted from the graph. We specifically exploit the ideas of Breadth-First Search and Canonical Breadth-First Search to prove the results. We also introduce a novel method for canonizing a 3-connected planar graph in First-Order Logic from Canonical Breadth-First Search Trees.
△ Less
Submitted 7 December, 2013;
originally announced December 2013.
