Showing 20 papers (Total: 81756 papers, 47371 authors in database)
All cycle-chords are $e$-positive
Published
• View Publication
• BIB
We establish the $e$-positivity of cycle-chord graphs by using the composition method which is developed by Zhou and the author recently. Our method is simpler than the $(e)$-positivity approach which is used for handling cycle-chords with girth at most $4$. We also provide a combinatorial interpretation of the $e$-coefficients, and conjecture that theta graphs are $e$-positive.
Fringe trees of Patricia tries, compressed binary search trees, and three other random full binary trees
We study the distribution of fringe trees in Patricia tries (extending earlier results by Ischebeck (2025)) and compressed binary search trees; both cases are random binary trees that have been compressed by deleting nodes of outdegree 1 so that they are random full binary trees. The main results are central limit theorems for the number of fringe trees of a given type, which imply quenched and annealed limit results for the fringe tree distribution; for Patricia tries, this is complicated by periodic oscillations in the usual manner. We also consider extended fringe trees. The results are derived from earlier results for uncompressed tries and binary search trees. In the case of compressed binary search trees, it seems difficult to give a closed formula for the asymptotic fringe tree distribution, but we provide a recursion and give examples.
For comparison, we give also results, simpler and partly known, for three other models of random full binary trees: the extended binary search tree, the critical beta-spltting random tree, and the uniform random full binary tree.
Burning Hamming graphs
Published
• View Publication
• BIB
The Hamming graph $H(n,q)$ is defined on the vertex set $[q]^n$ and two vertices are adjacent if and only if they differ in precisely one coordinate. Alon \cite{Alon} proved that the burning number of $H(n,2)$ is $\lceil\frac n2\rceil+1$. In this note we give a short proof of a fact that the burning number of $H(n,q)$ is $(1-\frac 1q)n+O(\sqrt{n\log n})$ for fixed $q\geq 2$ and $n\to\infty$.
Spectral decomposition of hypergraph automorphism compatible matrices
This study explores the relationship between hypergraph automorphisms and the spectral properties of matrices associated with hypergraphs. For an automorphism $f$, an \( f \)-compatible matrices capture aspects of the symmetry, represented by \( f \), within the hypergraph. First, we explore rotation, a specific kind of automorphism and find that the spectrum of any matrix compatible with a rotation can be decomposed into the spectra of smaller matrices associated with that rotation. We show that the spectrum of any \(f\)-compatible matrix can be decomposed into the spectra of smaller matrices associated with the component rotations comprising \( f \). Further, we study a hypergraph symmetry termed unit-automorphism, which induces bijections on the hyperedges, though not necessarily on the vertex set. We show that unit automorphisms also lead to the spectral decomposition of compatible matrices.
A geometric characterization of known maximum scattered linear sets of $\mathrm{PG}(1,q^n)$
An $\mathbb{F}_q$- linear set $L=L_U$ of $Λ=\mathrm{PG}(V, \mathbb{F}_{q^n}) \cong \mathrm{PG}(r-1,q^n)$ is a set of points defined by non-zero vectors of an $\mathbb{F}_q$-subspace $U$ of $V$. The integer $\dim_{\mathbb{F}_q} U$ is called the rank of $L$. In [G. Lunardon, O. Polverino: Translation ovoids of orthogonal polar spaces. Forum Math. 16 (2004)], it was proven that any $\mathbb{F}_q$-linear set $L$ of $Λ$ of rank $u$ such that $\langle L \rangle=Λ$ is either a canonical subgeometry of $Λ$ or there are a $(u-r-1)$-dimensional subspace $Γ$ of $\mathrm{PG}(u-1,q^n) \supset Λ$ disjoint from $Λ$ and a canonical subgeometry $Σ\cong \mathrm{PG}(u-1,q)$ disjoint from $Γ$ such that $L$ is the projection of $Σ$ from $Γ$ onto $Λ$. The subspace $Γ$ is called the vertex of the projection. In this article, we will show a method to reconstruct the vertex $Γ$ for a peculiar class of linear sets of rank $u = n(r - 1)$ in $\mathrm{PG}(r - 1, q^n)$ called evasive linear sets. Also, we will use this result to characterize some families of linear sets of the projective line $\mathrm{PG}(1,q^n)$ introduced from 2018 onward, by means of certain properties of their projection vertices, as done in [B. Csajbók, C. Zanella: On scattered linear sets of pseudoregulus type in $\mathrm{PG}(1, q^t)$, Finite Fields Appl. 41 (2016)] and in [C. Zanella, F. Zullo: Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1, q^n)$. Discrete Math. 343(5) (2020)].
Exploring the Influence of Graph Operations on Zero Forcing Sets
Published
• View Publication
• BIB
Zero forcing in graphs is a coloring process where a colored vertex can force its unique uncolored neighbor to be colored. A zero forcing set is a set of initially colored vertices capable of eventually coloring all vertices of the graph. In this paper, we focus on the numbers $z(G; i)$, which is the number of zero forcing sets of size $i$ of the graph $G$. These numbers were initially studied by Boyer et al. where they conjectured that for any graph $G$ on $n$ vertices, $z(G; i) \leq z(P_n; i)$ for all $i \geq 1$ where $P_n$ is the path graph on $n$ vertices. The main aim of this paper is to show that several classes of graphs, including outerplanar graphs and threshold graphs, satisfy this conjecture. We do this by studying various graph operations and examining how they affect the number of zero forcing sets.
P-Polynomial and Bipartite Coherent Configurations
Published
• View Publication
• BIB
We introduce the notion of P-polynomial coherent configurations and show that they can have at most two fibres. We then introduce a class of two-fibre coherent configurations which have two distinguished bases for the coherent algebra, similar to the Bose-Mesner algebra of an association scheme. Examples of these bipartite coherent configurations include the P-polynomial class of distance-biregular graphs, as well as quasi-symmetric designs and strongly regular designs.
Representation functions with prescribed rates of growth
Fix an integer $h \geq 2$, and let $b_1, \ldots, b_h$ be (not necessarily distinct) positive integers with $\gcd(b_1, \ldots, b_h) = 1$. For any subset $A \subseteq \mathbb{N}$, let $r_A(n)$ denote the number of solutions $(k_1, \ldots, k_h) \in A^h$ to the equation \[ b_1 k_1 + \cdots + b_h k_h = n. \] Given a function $F$ satisfying $F(n) \leq r_{\mathbb{N}}(n)$, we ask: when does there exist a set $A \subseteq \mathbb{N}$ such that $r_A(n) \sim F(n)$? We prove that this is always possible when $F$ is regularly varying and satisfies $\lim_{n\to\infty} F(n)/\log n = \infty$.
If one only requires $r_A(n) \asymp F(n)$, much weaker regularity conditions suffice: we show such a set $A$ exists for every increasing function $F$ satisfying $F(2x) \ll F(x)$ and either \[ \log x \ll F(x) \ll x^{\frac{1}{h-1}} \quad \text{or} \quad (\log x)^{2h^2} \ll F(x) \ll x^{h-1}. \] Finally, we give a probabilistic heuristic supporting the following: if $A \subseteq \mathbb{N}$ satisfies $\limsup_{n\to\infty} r_A(n)/\log n < 1$, then $r_A(n) = 0$ for infinitely many $n$.
On one-orbit cyclic subspace codes of $\mathcal{G}_q(n,3)$
Published
• View Publication
• BIB
Subspace codes have recently been used for error correction in random network coding. In this work, we focus on one-orbit cyclic subspace codes. If $S$ is an $\mathbb{F}_q$-subspace of $\mathbb{F}_{q^n}$, then the one-orbit cyclic subspace code defined by $S$ is \[ \mathrm{Orb}(S)=\{αS \colon α\in \mathbb{F}_{q^n}^*\}, \]where $αS=\lbrace αs \colon s\in S\rbrace$ for any $α\in \mathbb{F}_{q^n}^*$. Few classification results of subspace codes are known, therefore it is quite natural to initiate a classification of cyclic subspace codes, especially in the light of the recent classification of the isometries for cyclic subspace codes. We consider three-dimensional one-orbit cyclic subspace codes, which are divided into three families: the first one containing only $\mathrm{Orb}(\mathbb{F}_{q^3})$; the second one containing the optimum-distance codes; and the third one whose elements are codes with minimum distance $2$. We study inequivalent codes in the latter two families.
The m-th Longest Runs of Multivariate Random Sequences
Published in Ann Inst Stat Math 69, 497-512 (2017)
• View Publication
• BIB
The distributions of the $m$-th longest runs of multivariate random sequences are considered. For random sequences made up of $k$ kinds of letters, the lengths of the runs are sorted in two ways to give two definitions of run length ordering. In one definition, the lengths of the runs are sorted separately for each letter type. In the second definition, the lengths of all the runs are sorted together. Exact formulas are developed for the distributions of the m-th longest runs for both definitions. The derivations are based on a two-step method that is applicable to various other runs-related distributions, such as joint distributions of several letter types and multiple run lengths of a single letter type.
Joint distribution of rises, falls, and number of runs in random sequences
Published in Communications in Statistics - Theory and Methods, 48(3) (2019)
• View Publication
• BIB
By using the matrix formulation of the two-step approach to the distributions of runs, a recursive relation and an explicit expression are derived for the generating function of the joint distribution of rises and falls for multivariate random sequences in terms of generating functions of individual letters, from which the generating functions of the joint distribution of rises, falls, and number of runs are obtained. An explicit formula for the joint distribution of rises and falls with arbitrary specification is also obtained.
Distributions of successions of arbitrary multisets
Published in Communications in Statistics - Theory and Methods, 51(6), 1693-1705 (2022)
• View Publication
• BIB
By using the matrix formulation of the two-step approach to distributions of patterns in random sequences, recurrence and explicit formulas for the generating functions of successions in random permutations of arbitrary multisets are derived. Explicit formulas for the mean and variance are also obtained.
Critical Kernel Imperfectness in $4$-quasi-transitive and $4$-anti-transitive digraphs of small diameter
Published
• View Publication
• BIB
A kernel in a digraph is an independent and absorbent subset of its vertex set. A digraph is critical kernel imperfect if it does not have a kernel, but every proper induced subdigraph does. In this article, we characterize asymmetrical $4$-quasi-transitive and $4$-transitive digraphs, as well as $2$-anti-transitive, and asymmetrical $4$-anti-transitive digraphs with bounded diameter, which are critical kernel imperfect.
Tree independence number II. Three-path-configurations
Published in Journal of Combinatorial Theory, Series B 176, 2026, 74-96
• View Publication
• BIB
A three-path-configuration is a graph consisting of three pairwise internally-disjoint paths the union of every two of which is an induced cycle of length at least four. A graph is 3PC-free if no induced subgraph of it is a three-path-configuration. We prove that 3PC-free graphs have poly-logarithmic tree-independence number. More explicitly, we show that there exists a constant $c$ such that every $n$-vertex 3PC-free graph graph has a tree decomposition in which every bag has stability number at most $c (\log n)^2$. This implies that the Maximum Weight Independent Set problem, as well as several other natural algorithmic problems, that are known to be NP-hard in general, can be solved in quasi-polynomial time if the input graph is 3PC-free.
Generalized Cayley graphs of complete groups
Published
• View Publication
• BIB
A group $G$ is complete group if it satisfies $Z(G)=e$ and $Aut(G)=Inn(G)$. In this paper, on the one hand, we study the basic properties of generalized Cayley graphs and characterize two classes isomorphic generalized generalized Cayley graphs of complete groups.
On the other hand, we give the sufficient and necessary conditions of complete group to be $GCI$ group and restricted $GCI$ group. As an application, we complete the classification of restricted $GCI$-groups for symmetric groups.
Murnaghan-Type Representations for the Positive Elliptic Hall Algebra
We construct a new family of graded representations $\widetilde{W}_λ$ for the positive elliptic Hall algebra $\mathcal{E}^{+}$ indexed by Young diagrams $λ$ which generalize the standard $\mathcal{E}^{+}$ action on symmetric functions. These representations have homogeneous bases of eigenvectors for the action of the Macdonald element $P_{0,1} \in \mathcal{E}^{+}$ with distinct $\mathbb{Q}(q,t)$-rational spectrum generalizing the symmetric Macdonald functions. The analysis of the structure of these representations exhibits interesting combinatorics arising from the stable limits of periodic standard Young tableaux. We find an explicit combinatorial rule for the action of the multiplication operators $e_r[X]^{\bullet}$ generalizing the Pieri rule for symmetric Macdonald functions. We will also naturally obtain a family of interesting $(q,t)$ product-series identities which come from keeping track of certain combinatorial statistics associated to periodic standard Young tableaux.
Shallow vertex minors, stability, and dependence
Stability and dependence are model-theoretic notions that have recently proved highly effective in the study of structural and algorithmic properties of hereditary graph classes, and are considered key notions for generalizing to hereditary graph classes the theory of sparsity developed for monotone graph classes (where an essential notion is that of nowhere dense class). The theory of sparsity was initially built on the notion of shallow minors and on the idea of excluding different sets of minors, depending on the depth at which these minors can appear.
In this paper, we follow a similar path, where shallow vertex minors replace shallow minors. In this setting, we provide a neat characterization of stable / dependent hereditary classes of graphs: A hereditary class of graphs $\mathscr C$ is
(1) dependent if and only if it does not contain all permutation graphs and, for each integer $r$, it excludes some split interval graph as a depth-$r$ vertex minor;
(2) stable if and only if, for each integer $r$, it excludes some half-graph as a depth-$r$ vertex minor.
A key ingredient in proving these results is the preservation of stability and dependence of a class when taking bounded depth shallow vertex minors. We extend this preservation result to binary structures and get, as a direct consequence, that bounded depth shallow vertex minors of graphs with bounded twin-width have bounded twin-width.
Clique-free t-matchings in degree-bounded graphs
Published
• View Publication
• BIB
We consider problems of finding a maximum size/weight $t$-matching without forbidden subgraphs in an undirected graph $G$ with the maximum degree bounded by $t+1$, where $t$ is an integer greater than $2$. Depending on the variant forbidden subgraphs denote certain subsets of $t$-regular complete partite subgraphs of $G$. A graph is complete partite if there exists a partition of its vertex set such that every pair of vertices from different sets is connected by an edge and vertices from the same set form an independent set. A clique $K_t$ and a bipartite clique $K_{t,t}$ are examples of complete partite graphs. These problems are natural generalizations of the triangle-free and square-free $2$-matching problems in subcubic graphs. In the weighted setting we assume that the weights of edges of $G$ are vertex-induced on every forbidden subgraph. We present simple and fast combinatorial algorithms for these problems. The presented algorithms are the first ones for the weighted versions, and for the unweighted ones, are faster than those known previously. Our approach relies on the use of gadgets with so-called half-edges. A half-edge of edge $e$ is, informally speaking, a half of $e$ containing exactly one of its endpoints.
Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant
Courcelle's Theorem is an important result in graph theory, proving the existence of linear-time algorithms for many decision problems on graphs whose tree-width is bounded by a constant. The purpose of this text is twofold: to provide an explanation and step-by-step proof of Courcelle's Theorem as applied to graphs of tree-width bounded by a constant, and to show explicitly (on the example of path-width) how to apply the same principles to other graph classes. We present these topics in a way that does not assume any particular knowledge on the part of the reader except a basic understanding of mathematics and possibly the fundamentals of graph theory. Our hope is to make the topic accessible to a broader mathematical audience, to which end we have included extensive explanations and pretty pictures.
Lorentzian polynomials and the independence sequences of graphs
Published in Bull. London Math. Soc. 57 (2025), 1305-1323
• View Publication
• BIB
We study the multivariate independence polynomials of graphs and the log-concavity of the coefficients of their univariate restrictions. Let $R_{W_4}$ be the operator defined on simple and undirected graphs which replaces each edge with a caterpillar of size $4$. We prove that all graphs in the image of $R_{W_4}$ are what we call pre-Lorentzian, that is, their multivariate independence polynomial becomes Lorentzian after appropriate manipulations. In particular, as pre-Lorentzian graphs have log-concave (and therefore unimodal) independence sequences, our result makes progress on a conjecture of Alavi, Malde, Schwenk and Erdős which asks if the independence sequence of trees or forests is unimodal.