-
Compatibility of Real-Rooted Polynomials with Mixed Signs
Authors:
Jonathan Leake,
Nick Ryder
Abstract:
We characterize compatible families of real-rooted polynomials, allowing both positive and negative leading coefficients. Our characterization naturally generalizes the same-sign characterization used by Chudnovsky and Seymour in their famous 2007 paper proving the real-rootedness of independence polynomials of claw-free graphs, thus fully settling a question left open in their paper. Our methods…
▽ More
We characterize compatible families of real-rooted polynomials, allowing both positive and negative leading coefficients. Our characterization naturally generalizes the same-sign characterization used by Chudnovsky and Seymour in their famous 2007 paper proving the real-rootedness of independence polynomials of claw-free graphs, thus fully settling a question left open in their paper. Our methods are generally speaking elementary, utilizing mainly linear algebra and the established theory of interlacing polynomials, with a bit of invariant theory.
△ Less
Submitted 5 August, 2024; v1 submitted 23 July, 2024;
originally announced July 2024.
-
Bit Complexity of Jordan Normal Form and Spectral Factorization
Authors:
Papri Dey,
Ravi Kannan,
Nick Ryder,
Nikhil Srivastava
Abstract:
We study the bit complexity of two related fundamental computational problems in linear algebra and control theory. Our results are: (1) An $\tilde{O}(n^{ω+3}a+n^4a^2+n^ω\log(1/ε))$ time algorithm for finding an $ε-$approximation to the Jordan Normal form of an integer matrix with $a-$bit entries, where $ω$ is the exponent of matrix multiplication. (2) An…
▽ More
We study the bit complexity of two related fundamental computational problems in linear algebra and control theory. Our results are: (1) An $\tilde{O}(n^{ω+3}a+n^4a^2+n^ω\log(1/ε))$ time algorithm for finding an $ε-$approximation to the Jordan Normal form of an integer matrix with $a-$bit entries, where $ω$ is the exponent of matrix multiplication. (2) An $\tilde{O}(n^6d^6a+n^4d^4a^2+n^3d^3\log(1/ε))$ time algorithm for $ε$-approximately computing the spectral factorization $P(x)=Q^*(x)Q(x)$ of a given monic $n\times n$ rational matrix polynomial of degree $2d$ with rational $a-$bit coefficients having $a-$bit common denominators, which satisfies $P(x)\succeq 0$ for all real $x$. The first algorithm is used as a subroutine in the second one.
Despite its being of central importance, polynomial complexity bounds were not previously known for spectral factorization, and for Jordan form the best previous best running time was an unspecified polynomial in $n$ of degree at least twelve \cite{cai1994computing}. Our algorithms are simple and judiciously combine techniques from numerical and symbolic computation, yielding significant advantages over either approach by itself.
△ Less
Submitted 25 November, 2022; v1 submitted 28 September, 2021;
originally announced September 2021.
-
On the Further Structure of the Finite Free Convolutions
Authors:
Jonathan Leake,
Nick Ryder
Abstract:
Since the celebrated resolution of Kadison-Singer (via the Paving Conjecture) by Marcus, Spielman, and Srivastava, much study has been devoted to further understanding and generalizing the techniques of their proof. Specifically, their barrier method was crucial to achieving the required polynomial root bounds on the finite free convolution. But unfortunately this method required individual analys…
▽ More
Since the celebrated resolution of Kadison-Singer (via the Paving Conjecture) by Marcus, Spielman, and Srivastava, much study has been devoted to further understanding and generalizing the techniques of their proof. Specifically, their barrier method was crucial to achieving the required polynomial root bounds on the finite free convolution. But unfortunately this method required individual analysis for each usage, and the existence of a larger encapsulating framework is an important open question. In this paper, we make steps toward such a framework by generalizing their root bound to all differential operators. We further conjecture a large class of root bounds, the resolution of which would require for more robust techniques. We further give an important counterexample to a very natural multivariate version of their bound, which if true would have implied tight bounds for the Paving Conjecture.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
Connecting the q-Multiplicative Convolution and the Finite Difference Convolution
Authors:
Jonathan Leake,
Nick Ryder
Abstract:
In a recent paper, Brändén, Krasikov, and Shapiro consider root location preservation properties of finite difference operators. To this end, the authors describe a natural polynomial convolution operator and conjecture that it preserves root mesh properties. We prove this conjecture using two methods. The first develops a novel connection between the additive (Walsh) and multiplicative (Grace-Sze…
▽ More
In a recent paper, Brändén, Krasikov, and Shapiro consider root location preservation properties of finite difference operators. To this end, the authors describe a natural polynomial convolution operator and conjecture that it preserves root mesh properties. We prove this conjecture using two methods. The first develops a novel connection between the additive (Walsh) and multiplicative (Grace-Szegö) convolutions, which can be generically used to transfer results from multiplicative to additive. We then use this to transfer an analogous result, due to Lamprecht, which demonstrates logarithmic root mesh preservation properties of a certain $q$-multiplicative convolution operator. The second method proves the result directly using a modification of Lamprecht's proof of the logarithmic root mesh result. We present his original argument in a streamlined fashion and then make the appropriate alterations to apply it to the additive case.
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
Exponential lower bounds on spectrahedral representations of hyperbolicity cones
Authors:
Prasad Raghavendra,
Nick Ryder,
Nikhil Srivastava,
Benjamin Weitz
Abstract:
The Generalized Lax Conjecture asks whether every hyperbolicity cone is a section of a semidefinite cone of sufficiently high dimension. We prove that the space of hyperbolicity cones of hyperbolic polynomials of degree $d$ in $n$ variables contains $(n/d)^{Ω(d)}$ pairwise distant cones in a certain metric, and therefore that any semidefinite representation of such cones must have dimension at lea…
▽ More
The Generalized Lax Conjecture asks whether every hyperbolicity cone is a section of a semidefinite cone of sufficiently high dimension. We prove that the space of hyperbolicity cones of hyperbolic polynomials of degree $d$ in $n$ variables contains $(n/d)^{Ω(d)}$ pairwise distant cones in a certain metric, and therefore that any semidefinite representation of such cones must have dimension at least $(n/d)^{Ω(d)}$ (even if a small approximation is allowed). The proof contains several ingredients of independent interest, including the identification of a large subspace in which the elementary symmetric polynomials lie in the relative interior of the set of hyperbolic polynomials, and quantitative versions of several basic facts about real rooted polynomials.
△ Less
Submitted 12 January, 2018; v1 submitted 30 November, 2017;
originally announced November 2017.
-
Generalizations of the Matching Polynomial to the Multivariate Independence Polynomial
Authors:
Jonathan Leake,
Nick Ryder
Abstract:
We generalize two main theorems of matching polynomials of undirected simple graphs, namely, real-rootedness and the Heilmann-Lieb root bound. Viewing the matching polynomial of a graph $G$ as the independence polynomial of the line graph of $G$, we determine conditions for the extension of these theorems to the independence polynomial of any graph. In particular, we show that a stability-like pro…
▽ More
We generalize two main theorems of matching polynomials of undirected simple graphs, namely, real-rootedness and the Heilmann-Lieb root bound. Viewing the matching polynomial of a graph $G$ as the independence polynomial of the line graph of $G$, we determine conditions for the extension of these theorems to the independence polynomial of any graph. In particular, we show that a stability-like property of the multivariate independence polynomial characterizes claw-freeness. Finally, we give and extend multivariate versions of Godsil's theorems on the divisibility of matching polynomials of trees related to $G$.
△ Less
Submitted 19 February, 2019; v1 submitted 3 October, 2016;
originally announced October 2016.
-
On the geometry of border rank algorithms for n x 2 by 2 x 2 matrix multiplication
Authors:
J. M. Landsberg,
Nicholas Ryder
Abstract:
We make an in-depth study of the known border rank (i.e. approximate) algorithms for the matrix multiplication tensor encoding the multiplication of an n x 2 matrix by a 2 x 2 matrix.
We make an in-depth study of the known border rank (i.e. approximate) algorithms for the matrix multiplication tensor encoding the multiplication of an n x 2 matrix by a 2 x 2 matrix.
△ Less
Submitted 28 September, 2015;
originally announced September 2015.
-
Extensions and their Minimizations on the Sierpinski Gasket
Authors:
Pak Hin Li,
Nicholas Ryder,
Robert S. Strichartz,
Baris Evren Ugurcan
Abstract:
We study the extension problem on the Sierpinski Gasket ($SG$). In the first part we consider minimizing the functional $\mathcal{E}_λ(f) = \mathcal{E}(f,f) + λ\int f^2 d μ$ with prescribed values at a finite set of points where $\mathcal{E}$ denotes the energy (the analog of $\int |\nabla f|^2$ in Euclidean space) and $μ$ denotes the standard self-similiar measure on $SG$. We explicitly construct…
▽ More
We study the extension problem on the Sierpinski Gasket ($SG$). In the first part we consider minimizing the functional $\mathcal{E}_λ(f) = \mathcal{E}(f,f) + λ\int f^2 d μ$ with prescribed values at a finite set of points where $\mathcal{E}$ denotes the energy (the analog of $\int |\nabla f|^2$ in Euclidean space) and $μ$ denotes the standard self-similiar measure on $SG$. We explicitly construct the minimizer $f(x) = \sum_{i} c_i G_λ(x_i, x)$ for some constants $c_i$, where $G_λ$ is the resolvent for $λ\geq 0$. We minimize the energy over sets in $SG$ by calculating the explicit quadratic form $\mathcal{E}(f)$ of the minimizer $f$. We consider properties of this quadratic form for arbitrary sets and then analyze some specific sets. One such set we consider is the bottom row of a graph approximation of $SG$. We describe both the quadratic form and a discretized form in terms of Haar functions which corresponds to the continuous result established in a previous paper. In the second part, we study a similar problem this time minimizing $\int_{SG} |Δf(x)|^2 d μ(x)$ for general measures. In both cases, by using standard methods we show the existence and uniqueness to the minimization problem. We then study properties of the unique minimizers.
△ Less
Submitted 30 August, 2013;
originally announced August 2013.
-
Relations between Kauffman and Homfly satellite invariants
Authors:
H R Morton,
N D A Ryder
Abstract:
We extend a mod 2 relation between the Kauffman and Homfly polynomials, first observed by Rudolph in 1987, to the general Kauffman and Homfly satellite invariants.
We extend a mod 2 relation between the Kauffman and Homfly polynomials, first observed by Rudolph in 1987, to the general Kauffman and Homfly satellite invariants.
△ Less
Submitted 8 February, 2009;
originally announced February 2009.
-
Invariants of genus 2 mutants
Authors:
H. R. Morton,
N. Ryder
Abstract:
Pairs of genus 2 mutant knots can have different Homfly polynomials, for example some 3-string satellites of Conway mutant pairs. We give examples which have different Kauffman 3-variable polynomials, answering a question raised by Dunfield et al in their study of genus 2 mutants. While pairs of genus 2 mutant knots have the same Jones polynomial, given from the Homfly polynomial by setting v=s^…
▽ More
Pairs of genus 2 mutant knots can have different Homfly polynomials, for example some 3-string satellites of Conway mutant pairs. We give examples which have different Kauffman 3-variable polynomials, answering a question raised by Dunfield et al in their study of genus 2 mutants. While pairs of genus 2 mutant knots have the same Jones polynomial, given from the Homfly polynomial by setting v=s^2, we give examples whose Homfly polynomials differ when v=s^3. We also give examples which differ in a Vassiliev invariant of degree 7, in contrast to satellites of Conway mutant knots.
△ Less
Submitted 3 August, 2007;
originally announced August 2007.