Related papers: Norm inequalities involving geometric means

Aim of this article is to prove the inequality $n \sum_{i=1}^{n} a_ib_i \leq \sum_{i=1}^{n} a_i \sum_{i=1}^n b_i$ when $a_i$ are $n$ increasing positive real numbers and $b_i$ are $n$ decreasing real numbers. We also prove generalizations…

For every symmetric mean $\mathscr{M} \colon \bigcup_{n=1}^\infty I^n \to I$ (where $I$ an interval) and a nonzero function $W \colon \{1,\dots,n\} \to \mathbb{N} \cup \{0\}$, define an $n$-variable mean by…

Let $n,m$ be positive integers and $c \in \mathbb{Z}_n$, where $\mathbb{Z}_n$ is the ring of integers modulo $n$. We almost complete providing the answer to the following problem, partially solved by N. Alon. Does any infinite sequence over…

Let $V$ be a finite-dimensional real vector space. A collection $\mathcal{P} = \{(A_i,B_i)\}_{i=1}^m$ of pairs of subspaces of $V$ is called a skew Bollob\'as system if $\dim(A_i\cap B_i)=0$ for each $i\in [m]$ and $\dim(A_i\cap B_j)>0$ for…

P. Flajolet and B. Salvy \cite{FS1998} prove the famous theorem that a nonlinear Euler sum $S_{i_1i_2\cdots i_r,q}$ reduces to a combination of sums of lower orders whenever the weight $i_1+i_2+\cdots+i_r+q$ and the order $r$ are of the…

In this paper we show that, using combinatorial inequalities and Matrix-Averages, we can generate Musielak-Orlicz spaces, i.e., we prove that $1/\pi \sum_{\pi} \max\limits_{1 \leq i \leq n} \abs{x_i y_{i\pi(i)}} \sim \norm{x}_{\Sigma M_i}$,…

Let $(A,B)$ be a pair of skew-symmetric matrices over a field of characteristic not 2. Its regularization decomposition is a direct sum \[ (\underline{\underline A},\underline{\underline B})\oplus (A_1,B_1)\oplus\dots\oplus(A_t,B_t) \] that…

Obtaining the inverse of a large symmetric positive definite matrix $\mathcal{A}\in\mathbb{R}^{p\times p}$ is a continual challenge across many mathematical disciplines. The computational complexity associated with direct methods can be…

Let $m$, $r$ and $n$ be positive integers. We denote by ${\bf k}\vdash n$ any tuple of odd positive integers ${\bf k}=(k_1,\dots,k_t)$ such that $k_1+\dots+k_t=n$ and $k_j\ge 3$ for all $j$. In this paper we prove that for every…

The code equivalence problem is central in coding theory and cryptography. While classical invariants are effective for Hamming and rank metrics, the sum-rank metric, which unifies both, introduces new challenges. This paper introduces new…

Let $\mathcal{A}$ be the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$ over a commutative ring $\mathbf{k}$. For any two subsets $A$ and $B$ of $[n]$, we define the elements \[ \nabla_{B,A}:=\sum_{\substack{w\in…

Sum rules are elegant formulas that relate entropy functionals to coefficients associated with orthogonal polynomials [Sim11]. In a series of paper (see for example [GNR16], [GNR17], [BSZ18a], [BSZ18b]), interesting connections have been…

Unifying several directions of the development of the study of summing multilinear operators between Banach spaces, we construct a general framework that studies, under one single definition, multilinear operators that are summing with…

Let m(a,b) and M(a,b,c) be symmetric means. We say that M is type 1 invariant with respect to m if M(m(a,c),m(a,b),m(b,c)) = M(a,b,c) for all a, b, c > 0. If m is strict and isotone, then we show that there exists a unique M which is type 1…

We define the "sum of squares of the wavelengths" of a Riemannian surface (M,g) to be the regularized trace of the inverse of the Laplacian. We normalize by scaling and adding a constant, to obtain a "mass", which is scale invariant and…

We prove the \emph{sum of squared logarithms inequality} (SSLI) which states that for nonnegative vectors $x, y \in \mathbb{R}^n$ whose elementary symmetric polynomials satisfy $e_k(x)\le e_k(y)$ (for $1\le k < n$) and $e_n(x)=e_n(y)$, the…

The existence of unimodular forms with small norms on sequence spaces is crucial in a variety of problems in modern analysis. We prove that the infimum of $\left\Vert A\right\Vert $ over all unimodular $d$-linear (complex or real) forms $A$…

We improve upon a result of Steinerberger (2024) by demonstrating that for any fixed $k \in \mathbb{N}$ and sufficiently large $n$, there exist integers $1 \leq a_1, \dots, a_k \leq n$ satisfying: \begin{align*} 0 < \left\| \sum_{j=1}^{k}…

Several subadditivity results and conjectures are given for matrices (or operators), block-matrices, concave functions and norms.

Let $p$ be a prime and ${\mathfrak P}_p$ the set of positive integers which are prime to $p$. Recently, Wang and Cai proved that for every positive integer $r$ and prime $p>2$ $$ \sum_{\substack{i+j+k=p^r\\ i,j,k\in{\mathfrak P}_p}}…