arXiv++ Combinatorics

We equip the graded polynomial algebra generated by nonplanar rooted binary trees with a Hopf algebra structure by defining a coproduct which disallows cutting both children of any given vertex, refining Connes-Kreimer's notion of admissible cuts. We show that the terms in this coproduct have an additional combinatorial interpretation in terms of subsets of leaves, which facilitates the construction of Hopf algebra morphisms involving this Hopf algebra, and creates a connection with a Hopf algebra of Bruned used in the renormalization of stochastic processes. Finally, we show that this Hopf algebra is dual to the universal enveloping algebra of a Lie algebra arising from a pre-Lie operator on binary trees based on edge-insertion.

Recently, double Toeplitz codes have been introduced as a generalization of double circulant codes. In this paper, we study the average weight enumerators of double Toeplitz codes. As an application, we consider the existence of double Toeplitz codes over $\mathbb{F}_q$ with some specified minimum weights for $q \in \{2,3,4\}$. We also give a classification of double Toeplitz codes over $\mathbb{F}_q$ with the largest minimum weights for modest lengths and $q \in \{2,3,4\}$.

In a graph $Γ$, a perfect code is an independent set $C$ with the property that every vertex not in $C$ is adjacent to a unique vertex in $C$, and a total perfect code is a set $C$ of vertices of $Γ$ such that every vertex of $Γ$ is adjacent to a unique vertex in $C$. We classify these codes for generalized Petersen graphs.

We consider a realistic decentralized setup with bandwidth-constrained communication and derive optimal time complexities for non-convex stochastic parallel and asynchronous optimization (up to logarithmic factors). We develop the corresponding methods, Grace SGD and Leon SGD, for both homogeneous and heterogeneous settings. Unlike previous work, our optimal bounds are characterized in terms of min-cut/max-flow quantities and rely on tools from Gomory-Hu trees and Steiner Tree Packing problems, providing tighter and more practical complexities.

Let $G$ be a connected graph with $n$ vertices. The isolated toughness of $G$, denoted by $I(G)$, is defined by $I(G)=\min\left\{\frac{|S|}{i(G-S)}:S\subseteq V(G) \ \mbox{and} \ i(G-S)\geq2\right\}$ if $G$ is not complete, or $I(G)=+\infty$ if $G$ is complete. A graph $G$ is called isolated $r$-tough if $I(G)\geq r$. A spanning subgraph $H$ of $G$ is called a $\{K_{1,j}:m\leq j\leq2m\}$-factor of $G$ if every component of $H$ is isomorphic to an element of $\{K_{1,j}:m\leq j\leq2m\}$. Let $ρ(G)$, $q(G)$ and $μ(G)$ denote the adjacency spectral radius, the signless Laplacian spectral radius and the distance spectral radius of $G$, respectively. Let $m$ and $b$ be two positive integers with $m\geq2$. In this paper, we first establish a lower bounds on the adjacency spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ to guarantees that $G$ contains a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Second, we establish a lower bounds on the signless Laplacian spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ to ensures that $G$ contains a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Finally, we create an upper bounds on the distance spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ with a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Furthermore, we construct some extremal graphs to claim that all the bounds obtained in this paper are sharp.

Starting in the 1970s with the fundamental work of Imre Simon, \emph{scattered factors} (also known as subsequences or scattered subwords) have remained a consistently and heavily studied object. The majority of work on scattered factors can be split into two broad classes of problems: given a word, what information, in the form of scattered factors, are contained, and which are not. In this paper, we consider an intermediary problem, introducing the notion of \emph{complement scattered factors}. Given a word $w$ and a scattered factor $u$ of $w$, the complement scattered factors of $w$ with regards to $u$, $C(w, u)$, is the set of scattered factors in $w$ that can be formed by removing any embedding of $u$ from $w$. This is closely related to the \emph{shuffle} operation in which two words are intertwined, i.e., we extend previous work relating to the shuffle operator, using knowledge about scattered factors. Alongside introducing these sets, we provide combinatorial results on the size of the set $C(w, u)$, an algorithm to compute the set $C(w, u)$ from $w$ and $u$ in $O(\vert w \vert \cdot \vert u \vert \binom{w}{u})$ time, where $\binom{w}{u}$ denotes the number of embeddings of $u$ into $w$, an algorithm to construct $u$ from $w$ and $C(w, u)$ in $O(\vert w \vert^2 \binom{\vert w \vert}{\vert w \vert - \vert u \vert})$ time, and an algorithm to construct $w$ from $u$ and $C(w, u)$ in $O(\vert u \vert \cdot \vert w \vert^{\vert u \vert + 1})$ time.

In this paper, we obtain sharp Faber-Krahn inequalities for the first Dirichlet eigenvalue of the combinatorial Laplacian operator on connected graphs with a fixed number of vertices or with a fixed number of edges. More precisely, we show that the minimum of the first Dirichlet eigenvalues of connected graphs with boundary that consist of $n$ vertices or $n$ edges is achieved only on the tadpole graph $T_{n,3}$.

We develop neutral-fermionic constructions for the factorial $gp$- and $gq$-functions introduced by Nakagawa and Naruse, which are respectively dual to the factorial $GQ$- and $GP$-functions of Ikeda and Naruse. In particular, we realize the factorial $GP$-, $GQ$- and $gq$-functions as vacuum expectation values. As applications, we obtain, Jacobi--Trudi type determinantal formulas for the transition coefficients between functions with different equivariant parameters for $gq$ and its dual $GP$, as well as a Pfaffian formula for the factorial $gq$-functions. We further prove a remarkable coincidence among the transition coefficients for parameter changes for $gp$, $gq$, $GQ$, and $GP$. These coefficients admit a description in terms of factorial Grothendieck polynomials of type A.

Let $\|n\|$ stand for the integer complexity of the number $n$, i.e. for the least number of $1$'s needed to write $n$ using arbitrary many additions, multiplications, and parentheses. The two-sided inequality $3\log_3 n\leq\|n\|\leq 3\log_2 n$ for all $n$ is well known and reveals the logarithmic behaviour of the complexity function $\|n\|$. While the lower bound $3\log_3 n$ is attained infinitely many times at powers of $3$, the best upper estimate is still unknown, although there are some improvements of the trivial bound $3\log_2 n$. Besides, for $``$typical$"$ numbers, i.e. for almost all numbers $n$, the better inequality $\|n\|\leq C_{avg}\log n$ holds, where, importantly, $C_{avg}\approx 3.295<\sup_{n} \frac{\|n\|}{\log n}$. We show that in fact $\|n\|\leq C_{avg}\log n+o(\log n)$ as $n\to\infty$, which, in particular, yields that $\limsup\limits_{n\to\infty}\frac{\|n\|}{\log n}\leq C_{avg}$. We also obtain the first nontrivial lower bound $\|n\|\geq 3.06\log_3 n$ for almost all numbers $n$.

We investigate the geometry behind the $q$-Klyachko algebra, introduced by Nadeau--Tewari. When $q$ is a prime power, we show that the $q$-Klyachko algebra is the image of the pullback map on Chow rings $\mathrm{CH}(\mathrm{Fl}_{n+1})\to\mathrm{CH}(\mathrm{DL}_n)$, where $\mathrm{DL}_n\subseteq \mathrm{Fl}_n$ is a compactified Deligne--Lusztig variety inside the complete flag variety $\mathrm{Fl}_{n+1}$. When $q$ is a positive rational number, we establish a Kähler package for the $q$-Klyachko algebra through inputs from toric geometry.

We investigate the adjacency matrices of zero-divisor graphs derived from Lipschitz quaternion rings modulo \(n\). For odd primes \(p\), utilizing the isomorphism \(\LL_p\cong M_2(\F_p)\), we categorize vertices by kernel-image type and demonstrate that the adjacency matrix possesses a block structure as a blow-up of a projective incidence matrix. This produces a reduced matrix on the class-constant subspace, with precise formula for the lower bound for the nullity and the multiplicity of the eigenvalue \(-1\), as well as a closed expression for the spectral radius through an equitable partition. For the two-adic family, we precisely ascertain the graph at \(n=2\) and demonstrate that for \(t\ge 2\), the graph \(G_{2^t}\) encompasses substantial cliques derived from the ideal filtering, which yield definitive lower bounds for the spectral radius. We also examine the implications for graph energy and provide a systematic construction of the adjacency matrix.

A famous conjecture of Graham asserts that every set $A \subseteq \mathbb{Z}_p \setminus \{0\}$ can be ordered so that all partial sums are distinct. Although this conjecture was recently proved for sufficiently large primes by Pham and Sauermann in~\cite{PM} (combined with earlier results of \cite{BBKMM}), it remains open for general abelian groups, even in the cyclic case $\mathbb{Z}_k$. In this paper, using a recursive approach, we investigate the sequenceability of subsets $A$ in generic abelian groups for small values of $|A|$. We prove that any subset $A \subseteq G\setminus\{0\}$ with $|A| \leq 20$ is sequenceable where previously it was known only for $|A|\leq 9$. This bound is improved to $|A| \leq 22$ for zero-sum subsets. Finally, regarding the related CMPP conjecture, we show that zero-sum subsets without inverse pairs are sequenceable for $|A| \leq 23$.

Let $X$ be a weighted graph and $M$ be its adjacency, Laplacian or signless Laplacian matrix. In a continuous quantum walk on $X$, local $ε$-uniform mixing occurs at vertex $u$ if the $u$th column of the matrix $U(t)=e^{itM}$ can be made arbitrarily close to a vector whose all entries have equal magnitude. Using the spectral and combinatorial properties of $X$, we derive necessary conditions for local $ε$-uniform mixing to occur in $X$. This includes an inequality involving all entries of each eigenvector of $M$, as well as an upper bound on the degree of vertex $u$ when $M$ is the Laplacian or signless Laplacian matrix. We use these necessary conditions to rule out local $ε$-uniform mixing in numerous classes of graphs, most of which are non-regular. We also show that almost all planar graphs (resp., trees) contain a vertex that does not admit local $ε$-uniform mixing for any assignment of edge weights. Furthermore, we prove if $X$ has $n$ vertices and admits local $ε$-uniform mixing at a vertex contained in a subgraph with a twin, then the number of vertices of this twin subgraph must be at least $\sqrt{n}$. In particular, we establish that a graph on $n\geq 5$ vertices does not admit local $ε$-uniform mixing at a vertex with a twin.