arXiv++ Combinatorics

A general framework is developed for deriving sharp inequalities on simple graphs from majorization and Schur-convexity. After establishing majorization relations between the spectrum of an arbitrary graph and the spectra of the complete, complete bipartite, and matching graphs, it is shown that every positive Schur-convex spectral functional yields several sharp inequalities relating $λ_1$, $|λ_n|$, and $\|G\|_\ast$. This reduces the problem of proving graph inequalities to the choice of a suitable Schur-convex function. This optimization problem is then studied within the family of random vector norms, whose moment and cumulant expansions connect the framework to the numbers of closed walks. This yields new sharp results, recovers classical inequalities from a unified viewpoint, and produces further bounds in settings such as triangle-free and square-free graphs.

Recent work shows that a new family of norms on Hermitian matrices arise by evaluating the even degree complete homogeneous symmetric (CHS) polynomials on the eigenvalues of a Hermitian matrix. The CHS norm of a graph is then defined by evaluating the even degree CHS polynomials on the eigenvalues of the adjacency matrix of a graph. The fact that these norms are defined in terms of eigenvalues (as opposed to singular values) ensures they can distinguish between graphs that other norms cannot. In addition, we prove that the CHS norms are minimized over all connected graphs by the path and maximized over all connected graphs by the complete graph. Finally, we prove that the CHS norms are minimized over all trees by the path and maximized over all trees by the star. Our paper is intended for a wide mathematical audience and we assume no prior knowledge about graphs or symmetric polynomials.

We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter's positivity theorem for the complete homogeneous symmetric polynomials.

Let $G$ be a graph with $m$ edges and let $f$ be a bijection from $E(G)$ to $\{1,2, \dots, m\}$. For any vertex $v$, denote by $φ_f(v)$ the sum of $f(e)$ over all edges $e$ incident to $v$. If $φ_f(v) \neq φ_f(u)$ holds for any two distinct vertices $u$ and $v$, then $f$ is called an {\it antimagic labeling} of $G$. We call $G$ {\it antimagic} if such a labeling exists. Hartsfield and Ringel in 1991 conjectured that all connected graphs except $P_2$ are antimagic. Denote the disjoint union of graphs $G$ and $H$ by $G \cup H$, and the disjoint union of $t$ copies of $G$ by $tG$. For an antimagic graph $G$ (connected or disconnected), we define the parameter $τ(G)$ to be the maximum integer such that $G \cup tP_3$ is antimagic for all $t \leq τ(G)$. Chang, Chen, Li, and Pan showed that for all antimagic graphs $G$, $τ(G)$ is finite [Graphs and Combinatorics 37 (2021), 1065--1182]. Further, Shang, Lin, Liaw [Util. Math. 97 (2015), 373--385] and Li [Master Thesis, National Chung Hsing University, Taiwan, 2019] found the exact value of $τ(G)$ for special families of graphs: star forests and balanced double stars respectively. They did this by finding explicit antimagic labelings of $G\cup tP_3$ and proving a tight upper bound on $τ(G)$ for these special families. In the present paper, we generalize their results by proving an upper bound on $τ(G)$ for all graphs. For star forests and balanced double stars, this general bound is equivalent to the bounds given in \cite{star forest} and \cite{double star} and tight. In addition, we prove that the general bound is also tight for every other graph we have studied, including an infinite family of jellyfish graphs, cycles $C_n$ where $3 \leq n \leq 9$, and the double triangle $2C_3$.

We introduce a remarkable new family of norms on the space of $n \times n$ complex matrices. These norms arise from the combinatorial properties of symmetric functions, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. Our norms enjoy many desirable analytic and algebraic properties, such as an elegant determinantal interpretation and the ability to distinguish certain graphs that other matrix norms cannot. Furthermore, they give rise to new dimension-independent tracial inequalities. Their potential merits further investigation.