On the maximal sum of the entries of a matrix power

Sela Fried,Toufik Mansour

2023-08-01

Abstract:Let $p_n$ be the maximal sum of the entries of $A^2$, where $A$ is a square matrix of size $n$, consisting of the numbers $1,2,\ldots,n^2$, each appearing exactly once. We prove that $m_n=\Theta(n^7)$. More precisely, we show that $n(240n^{6}+28n^{5}+364n^{4}+210n^{2}-28n+26-105((-1)^{n}+1))/840\leq p_n\leq n^{3}(n^{2}+1)(7n^{2}+5)/24$.

Combinatorics

What problem does this paper attempt to address?

On sums of powers of natural numbers

Eteri Samsonadze

2024-11-02

Abstract:The problem of finding the sum of a polynomial's values is considered. In particular, for any $n\geq 3$, the explicit formula for the sum of the $n$th powers of natural numbers $S_n=\sum_{x=1}^{m}x^{n}$ is proved: $$\sum_{x=1}^{m}x^{n}=(-1)^{n}m(m+1)(-\frac{1}{2}+\sum_{i=2}^{n}a_i(m+2)(m+3)...(m+i)),$$ here $a_i=\frac{1}{i+1}\sum_{k=1}^{i}\frac{(-1)^{k}k^{n}}{k!(i-k)!}$, $(i=2,3,...,n-1)$, $a_n=\frac{(-1)^n}{n+1}$. Note that this formula does not contain Bernoulli numbers.

General Mathematics
Exponential Erdős-Szekeres theorem for matrices

Recep Altar Çiçeksiz,Zhihan Jin,Eero Räty,István Tomon

2023-05-12

Abstract:In 1993, Fishburn and Graham established the following qualitative extension of the classical Erdős-Szekeres theorem. If $N$ is sufficiently large with respect to $n$, then any $N\times N$ real matrix contains an $n\times n$ submatrix in which every row and every column is monotone. We prove that the smallest such $N$ is at most $2^{n^{4+o(1)}}$, greatly improving the previously best known double-exponential upper bound, and getting close to the best known lower bound $n^{n/2}$. In particular, we prove the following surprising sharp transition in the asymmetric setting. On one hand, every $8n^2\times 2^{n^{4+o(1)}}$ matrix contains an $n\times n$ submatrix, in which every row is mononote. On the other hand, there exist $n^{2}/6\times 2^{2^{n^{1-o(1)}}}$ matrices containing no such submatrix .

Combinatorics
A matrix version of the Steinitz lemma

Imre Barany

2024-02-10

Abstract:The Steinitz lemma, a classic from 1913, states that $a_1,\ldots,a_n$, a sequence of vectors in $\R^d$ with $\sum_1^n a_i=0$, can be rearranged so that every partial sum of the rearranged sequence has norm at most $2d\max \|a_i\|$. In the matrix version $A$ is a $k\times n$ matrix with entries $a_i^j \in \R^d$ with $\sum_{j=1}^k\sum_{i=1}^na_i^j=0$. It is proved in \cite{OPW} that there is a rearrangement of row $j$ of $A$ (for every $j$) such that the sum of the entries in the first $m$ columns of the rearranged matrix has norm at most $40d^5\max \|a_i^j\|$ (for every $m$). We improve this bound to $(4d-2)\max \|a_i^j\|$.

Combinatorics
A Matrix Inequality

XJ Yang

DOI: https://doi.org/10.1016/s0024-3795(01)00587-0

IF: 1.307

2002-01-01

Linear Algebra and its Applications

Abstract:In this note, we prove: if (xij) is an m×n matrix with non-negative real entries, which are not all equal to 0, then for p⩾1, the following inequality holds:mp−1+np−1(mn)p−1+min(mp−1,np−1)⩽mp−1∑i=1m(∑j=1nxij)p+np−1∑j=1n(∑i=1mxij)p(∑i=1m∑j=1nxij)p+(mn)p−1∑i=1m∑j=1nxijp.The case p=2 of our result reduces to the inequality obtained recently by H. Alzer [Linear Algebra Appl. 323 (2001) 195].
A variety of Euler’s sum of powers conjecture

Tianxin Cai,Yong Zhang

DOI: https://doi.org/10.21136/CMJ.2021.0210-20

2021-01-01

Czechoslovak Mathematical Journal

Abstract:We consider a variety of Euler’s sum of powers conjecture, i.e., whether the Diophantine system $$\left\{{\matrix{{n = {a_1} + {a_2} + \ldots + {a_{s - 1}},} \hfill \cr {{a_1}{a_2} \ldots {a_{s - 1}}({a_1} + {a_2} + \ldots + {a_{s - 1}}) = {b^s}} \hfill \cr}} \right.$$ has positive integer or rational solutions n, b, aj, i = 1, 2, …, s − 1, s ⩾ 3. Using the theory of elliptic curves, we prove that it has no positive integer solution for s = 3, but there are infinitely many positive integers n such that it has a positive integer solution for s ⩾ 4. As a corollary, for s ⩾ 4 and any positive integer n, the above Diophantine system has a positive rational solution. Meanwhile, we give conditions such that it has infinitely many positive rational solutions for s ⩾ 4 and a fixed positive integer n.
Tight general bounds for the extremal numbers of 0-1 matrices

Barnabás Janzer,Oliver Janzer,Van Magnan,Abhishek Methuku

2024-03-08

Abstract:A zero-one matrix $M$ is said to contain another zero-one matrix $A$ if we can delete some rows and columns of $M$ and replace some $1$-entries with $0$-entries such that the resulting matrix is $A$. The extremal number of $A$, denoted $\operatorname{ex}(n,A)$, is the maximum number of $1$-entries that an $n\times n$ zero-one matrix can have without containing $A$. The systematic study of this function for various patterns $A$ goes back to the work of Füredi and Hajnal from 1992, and the field has many connections to other areas of mathematics and theoretical computer science. The problem has been particularly extensively studied for so-called acyclic matrices, but very little is known about the general case (that is, the case where $A$ is not necessarily acyclic). We prove the first asymptotically tight general result by showing that if $A$ has at most $t$ $1$-entries in every row, then $\operatorname{ex}(n,A)\leq n^{2-1/t+o(1)}$. This verifies a conjecture of Methuku and Tomon.

Combinatorics
On the principal minors of the powers of a matrix

Darij Grinberg

DOI: https://doi.org/10.48550/arXiv.2204.07885

2022-04-17

Abstract:We show that if $A$ is an $n\times n$-matrix, then the diagonal entries of each power $A^{m}$ are uniquely determined by the principal minors of $A$, and can be written as universal (integral) polynomials in the latter. Furthermore, if the latter all equal $1$, then so do the former. These results are inspired by Problem B5 on the Putnam contest 2021, and shed a new light on the behavior of minors under matrix multiplication.

Rings and Algebras
Matrix Kloosterman sums modulo prime powers

Márton Erdélyi,Árpád Tóth,Gergely Zábrádi

2024-01-25

Abstract:We give optimal bounds for matrix Kloosterman sums modulo prime powers extending earlier work of the first two authors on the case of prime moduli. These exponential sums arise in the theory of the horocyclic flow on $\mathrm{GL}_n$.

Number Theory
On the rank of $n\times n$ matrix multiplication

Alex Massarenti,Emanuele Raviolo

DOI: https://doi.org/10.48550/arXiv.1211.6320

2012-11-27

Computational Complexity

Abstract:For every $p\leq n$ positive integer we obtain the lower bound $(3-\frac{1}{p+1})n^2-\big(2\binom{2p}{p+1}-\binom{2p-2}{p-1}+2\big)n$ for the rank of the $n\times n$ matrix multiplication. This bound improves the previous one $(3-\frac{1}{p+1})n^2-\big(1+2p\binom{2p}{p}\big)n$ due to Landsberg. Furthermore our bound improves the classic bound $\frac{5}{2}n^2-3n$, due to Bl\"aser, for every $n\geq 132$. Finally, for $p = 2$, with a sligtly different strategy we menage to obtain the lower bound $\frac{8}{3}n^2-7n$ which improves Bl\"aser's bound for any $n\geq 24$.
Perturbation Analysis of the Maximal Solution of the Matrix Equation X+A∗X−1A=P

SF Xu

DOI: https://doi.org/10.1016/s0024-3795(01)00300-7

IF: 1.307

2001-01-01

Linear Algebra and its Applications

Abstract:Consider the nonlinear matrix equationX+A∗X−1A=P,where A,P are n×n complex matrices with P Hermitian positive definite, and A* denotes the conjugate transpose of a matrix A. In this paper a sharper perturbation bound for the maximal solution to the matrix equation is derived, explicit expressions of the condition number for the maximal solution are obtained, and the backward error of an approximate solution to the maximal solution is evaluated by using the techniques developed in [Linear Algebra Appl. 259 (1997) 183; Linear Algebra Appl. 350 (2002) 237]. The results are illustrated by using numerical examples.
Sums of powers and majorization

Peng Gao

DOI: https://doi.org/10.1016/j.jmaa.2007.09.058

IF: 1.417

2008-04-01

Journal of Mathematical Analysis and Applications

Abstract:We study certain sequences involving sums of powers of positive integers and in connection with this, we give examples to show that power majorization does not imply majorization.

mathematics, applied
Power Bounds for the Numerical Radius of the Off-Diagonal 2 × 2 Operator Matrix

Najla Altwaijry,Silvestru Sever Dragomir,Kais Feki

DOI: https://doi.org/10.3390/sym16091199

2024-09-13

Symmetry

Abstract:In this paper, we employ a generalization of the Boas–Bellman inequality for inner products, as developed by Mitrinović–Pečarić–Fink, to derive several upper bounds for the 2p-th power with p≥1 of the numerical radius of the off-diagonal operator matrix 0AB*0 for any bounded linear operators A and B on a complex Hilbert space H. While the general matrix is not symmetric, a special case arises when B=A*, where the matrix becomes symmetric. This symmetry plays a crucial role in the derivation of our bounds, illustrating the importance of symmetric structures in operator theory.

multidisciplinary sciences
Sums of Minima and Maxima

ZW Sun

DOI: https://doi.org/10.1016/s0012-365x(01)00476-9

IF: 0.961

2002-01-01

Discrete Mathematics

Abstract:Let h1,…,hn be positive integers. We study new sumsm(h1,…,hn)=∑r1=0h1−1⋯∑rn=0hn−1minr1h1,…,rnhnandM(h1,…,hn)=∑r1=0h1−1⋯∑rn=0hn−1maxr1h1,…,rnhn,the first of which times h1⋯hn is the number of lattice points in a pyramid of dimension n+1. We show thatm(h1,…,hn)(h1−1)⋯(hn−1)=1+∑∅≠I⊆{1,…,n}(−1)|I|m({hi}i∈I)∏i∈I(hi−1)if h1,…,hn>1, and thatM(h1,…,hn)−h1⋯hn+1(h1+1)⋯(hn+1)=∑∅≠I⊆{1,…,n}(−1)|I|M({hi}i∈I)∏i∈I(hi+1).The sums m(h1,h2) and M(h1,h2) are connected with the reciprocity law for Dedekind sums. The values of m(h1,h2,h3), M(h1,h2,h3) and m(h1,h2,h3,h4)+M(h1,h2,h3,h4) are determined explicitly in the paper.
Evaluating Matrix Functions by Resummations on Graphs: the Method of Path-Sums

P.-L. Giscard,S. J. Thwaite,D. Jaksch

DOI: https://doi.org/10.1137/120862880

2012-02-27

Abstract:We introduce the method of path-sums which is a tool for exactly evaluating a function of a discrete matrix with possibly non-commuting entries, based on the closed-form resummation of infinite families of terms in the corresponding Taylor series. If the matrix is finite, our approach yields the exact result in a finite number of steps. We achieve this by combining a mapping between matrix powers and walks on a weighted directed graph with a universal graph-theoretic result on the structure of such walks. We present path-sum expressions for a matrix raised to a complex power, the matrix exponential, matrix inverse, and matrix logarithm. We show that the quasideterminants of a matrix can be naturally formulated in terms of a path-sum, and present examples of the application of the path-sum method. We show that obtaining the inversion height of a matrix inverse and of quasideterminants is an NP-complete problem.

Quantum Algebra,Mathematical Physics,Rings and Algebras
A Note on a Conjecture of the Maximal Rank of Matrix Expressions

Ying Song,Wen-Bin Guo

2008-01-01

Abstract:A conjecture of the maximal rank of matrix expressions, which was proposed on SIAM[1], was discussed in this paper. We verified that the conjecture was correct by applying matrix decompositions and gave some related results.
On $r$-to-$p$ norms of random matrices with nonnegative entries: Asymptotic normality and $\ell_\infty$-bounds for the maximizer

Souvik Dhara,Debankur Mukherjee,Kavita Ramanan

2024-03-16

Abstract:For an $n\times n$ matrix $A_n$, the $r\to p$ operator norm is defined as $$\|A_n\|_{r\to p}:= \sup_{\mathbf{x}\in\mathbb{R}^n:\|\mathbf{x} \|_r\leq 1 } \|A_n\mathbf{x} \|_p\quad\text{for}\quad r,p\geq 1.$$ For different choices of $r$ and $p$, this norm corresponds to key quantities that arise in diverse applications including matrix condition number estimation, clustering of data, and construction of oblivious routing schemes in transportation networks. This article considers $r\to p$ norms of symmetric random matrices with nonnegative entries, including adjacency matrices of Erdős-Rényi random graphs, matrices with positive sub-Gaussian entries, and certain sparse matrices. For $1<p\leq r<\infty$, the asymptotic normality, as $n\to\infty$, of the appropriately centered and scaled norm $\|A_n\|_{r\to p}$ is established. When $p \geq 2$, this is shown to imply asymptotic normality of the solution to the $\ell_p$ quadratic maximization problem, also known as the $\ell_p$ Grothendieck problem. Furthermore, a sharp $\ell_\infty$-approximation bound for the unique maximizing vector in the definition of $\|A_n\|_{r\to p}$ is obtained, and may be viewed as an $\ell_\infty$-stability result of the maximizer under random perturbations of the matrix with mean entries. This result is in fact shown to hold for a broad class of deterministic sequences of matrices having certain asymptotic expansion properties. The results obtained can be viewed as a generalization of the seminal results of Füredi and Komlós (1981) on asymptotic normality of the largest singular value of a class of symmetric random matrices. In the general case with $1<p\leq r< \infty$, spectral methods are no longer applicable, and so a new approach is developed involving a refined convergence analysis of a nonlinear power method and a perturbation bound on the maximizing vector, which may be of independent interest.

Combinatorics
On some matrix counting problems

Ali Mohammadi,Alina Ostafe,Igor Shparlinski

2023-10-19

Abstract:We estimate the frequency of singular matrices and of matrices of a given rank whose entries are parametrised by arbitrary polynomials over the integers and modulo a prime $p$. In particular, in the integer case, we improve a recent bound of V. Blomer and J. Li (2022).

Number Theory
A p-adic Perron-Frobenius Theorem

Robert Costa,Patrick Dynes,Clayton Petsche

DOI: https://doi.org/10.48550/arXiv.1509.01702

2016-04-08

Abstract:We prove that if an $n\times n$ matrix defined over ${\mathbb Q}_p$ (or more generally an arbitrary complete, discretely-valued, non-Archimedean field) satisfies a certain congruence property, then it has a strictly maximal eigenvalue in ${\mathbb Q}_p$, and that iteration of the (normalized) matrix converges to a projection operator onto the corresponding eigenspace. This result may be viewed as a $p$-adic analogue of the Perron-Frobenius theorem for positive real matrices.

Number Theory,Dynamical Systems
Sums of powers of integers and the sequence A304330

José L. Cereceda

2024-04-25

Abstract:For integer $k \geq 1$, let $S_k(n)$ denote the sum of the $k$th powers of the first $n$ positive integers $1^k + 2^k + \cdots + n^k$. In this paper, we derive a new formula expressing $2^{2k}$ times $S_{2k}(n)$ as a sum of $k$ terms involving the numbers in the $k$th row of the integer sequence A304330, which is closely related to the central factorial numbers of the second kind with even indices. Furthermore, we provide an alternative proof of Knuth's formula for $S_{2k}(n)$ and show that it can equally be expressed in terms of A304330. We also deduce the corresponding formulas for the odd-indexed power sums $S_{2k-1}(n)$. Finally, we determine the Faulhaber form of $S_{2k}(n)$ and $S_{2k+1}(n)$ in terms of the sequence A304330 and the Legendre-Stirling numbers of the first kind.

General Mathematics

On the maximal sum of the entries of a matrix power

On sums of powers of natural numbers

Exponential Erdős-Szekeres theorem for matrices

A matrix version of the Steinitz lemma

A Matrix Inequality

A variety of Euler’s sum of powers conjecture

Tight general bounds for the extremal numbers of 0-1 matrices

On the principal minors of the powers of a matrix

Matrix Kloosterman sums modulo prime powers

On the rank of $n\times n$ matrix multiplication

Perturbation Analysis of the Maximal Solution of the Matrix Equation X+A∗X−1A=P

Sums of powers and majorization

Power Bounds for the Numerical Radius of the Off-Diagonal 2 × 2 Operator Matrix

Sums of Minima and Maxima

Evaluating Matrix Functions by Resummations on Graphs: the Method of Path-Sums

A Note on a Conjecture of the Maximal Rank of Matrix Expressions

On $r$-to-$p$ norms of random matrices with nonnegative entries: Asymptotic normality and $\ell_\infty$-bounds for the maximizer

On some matrix counting problems

A p-adic Perron-Frobenius Theorem

Sums of powers of integers and the sequence A304330