Total nonnegativity of GCD matrices and kernels

DOI10.1016/J.LAA.2019.05.016zbMATH Open1429.15031arXiv1901.01947OpenAlexW2906944596WikidataQ127825281 ScholiaQ127825281MaRDI QIDQ2321373FDOQ2321373

Dominique Guillot, Jiaru Wu

Publication date: 29 August 2019

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

Abstract: Let $X=(x_1,dots,x_n)$ be a vector of distinct positive integers. The $nimesn$ matrix $S=S(X):=(gcd(x_i,x_j){)}_{i,j=1}^n$, where $gcd(x_i,x_j)$ denotes the greatest common divisor of $x_i$ and $x_j$, is called the greatest common divisor (GCD) matrix on $X$. By a surprising result of Beslin and Ligh [Linear Algebra and Appl. 118], all GCD matrices are positive definite. In this paper, we completely characterize the GCD matrices satisfying the stronger property of being totally nonnegative (TN) or totally positive (TP). As we show, a GCD matrix is never TP when $ngeq3$, and is TN if and only if it is $extrm{TN}_2$, i.e., all its $2imes2$ minors are nonnegative. We next demonstrate that a GCD matrix is $extrm{TN}_2$ if and only if the exponents of each prime divisor in the prime factorization of the $x_i$s form a monotonic sequence. Reformulated in the language of kernels, our results characterize the subsets of integers over which the kernel $K(x,y)=gcd(x,y)$ is totally nonnegative. The proofs of our characterizations depend on Gantmacher and Krein's notion of a Green's matrix. We conclude by showing that a GCD matrix is TN if and only if it is a Green's matrix. As a consequence, we obtain explicit formulas for all the minors and for the inverse of totally nonnegative GCD matrices.

Full work available at URL: https://arxiv.org/abs/1901.01947

Recommendations

• Divisibility of LCM matrices by totally nonnegative GCD matrices
• Infinite Divisibility of GCD Matrices
• On greatest common divisor matrices and their applications
• On LCM matrices on GCD-closed sets
• Greatest common divisor matrices

zbMATH Keywords

totally positive matrixtotally nonnegative matrixGreen's matrixgreatest common divisor matrix

Mathematics Subject Classification ID

Positive matrices and their generalizations; cones of matrices (15B48) Matrices, determinants in number theory (11C20) Determinants, permanents, traces, other special matrix functions (15A15) Multiplicative structure; Euclidean algorithm; greatest common divisors (11A05)

Cites Work

• Totally positive matrices
• Title not available (Why is that?)
• Combinatorics and total positivity
• Double Bruhat cells and total positivity
• Total positivity: tests and parametrizations.
• Unimodal, log-concave and Pólya frequency sequences in combinatorics
• Totally positive matrices
• Title not available (Why is that?)
• Matrix positivity preservers in fixed dimension. I
• Title not available (Why is that?)
• Parametrizations of canonical bases and totally positive matrices
• Title not available (Why is that?)
• Totally positive Toeplitz matrices and quantum cohomology of partial flag varieties
• KP solitons, total positivity, and cluster algebras
• Title not available (Why is that?)
• The Hadamard core of the totally nonnegative matrices
• Greatest common divisor matrices
• On greatest common divisor matrices and their applications
• On Smith's determinant
• Determinants on Semilattices
• Hadamard determinants Möbius functions, and the chromatic number of a graph
• KP solitons and total positivity for the Grassmannian
• On the positive definiteness and eigenvalues of meet and join matrices
• Total positivity of sums, Hadamard products and Hadamard powers: results and counterexamples
• On the distribution function of additive functions
• Non-divisibility of LCM matrices by GCD matrices on \(\gcd\)-closed sets
• On two theorems of P. Erdős and A. Rényi
• INVERSION FORMULAS FOR TRIDIAGONAL MATRICES WITH APPLICATIONS TO BOUNDARY VALUE PROBLEMS^*
• Title not available (Why is that?)
• On Monotone Multiplicative Functions
• MORE ON A CERTAIN ARITHMETICAL DETERMINANT
• Inertia, positive definiteness and \(\ell_p\) norm of GCD and LCM matrices and their unitary analogs
• Generalized eigenvalue problems for meet and join matrices on semilattices
• A New Proof of Erdos's Theorem on Monotone Multiplicative Functions

Cited In (1)

• Divisibility of LCM matrices by totally nonnegative GCD matrices

This page was built for publication: Total nonnegativity of GCD matrices and kernels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321373)