Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Creating Subgraphs in Semi-Random Hypergraph Games
Published
• View Publication
• BIB
The semi-random hypergraph process is a natural generalisation of the semi-random graph process, which can be thought of as a one player game. For fixed $r < s$, starting with an empty hypergraph on $n$ vertices, in each round a set of $r$ vertices $U$ is presented to the player independently and uniformly at random. The player then selects a set of $s-r$ vertices $V$ and adds the hyperedge $U \cup V$ to the $s$-uniform hypergraph. For a fixed (monotone) increasing graph property, the player's objective is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the case where the player's objective is to construct a subgraph isomorphic to an arbitrary, fixed hypergraph $H$. In the case $r=1$ the threshold for the number of rounds required was already known in terms of the degeneracy of $H$. In the case $2 \le r < s$, we give upper and lower bounds on this threshold for general $H$, and find further improved upper bounds for cliques in particular. We identify cases where the upper and lower bounds match. We also demonstrate that the lower bounds are not always tight by finding exact thresholds for various paths and cycles.
On $r$-wise $t$-intersecting uniform families
Published
• View Publication
• BIB
We consider families, $\mathcal{F}$ of $k$-subsets of an $n$-set. For integers $r\geq 2$, $t\geq 1$, $\mathcal{F}$ is called $r$-wise $t$-intersecting if any $r$ of its members have at least $t$ elements in common. The most natural construction of such a family is the full $t$-star, consisting of all $k$-sets containing a fixed $t$-set. In the case $r=2$ the Exact Erdős-Ko-Rado Theorem shows that the full $t$-star is largest if $n\geq (t+1)(k-t+1)$. In the present paper, we prove that for $n\geq (2.5t)^{1/(r-1)}(k-t)+k$, the full $t$-star is largest in case of $r\geq 3$. Examples show that the exponent $\frac{1}{r-1}$ is best possible. This represents a considerable improvement on a recent result of Balogh and Linz.
Blocks of Ariki-Koike algebras and level-rank duality
Published
• View Publication
• BIB
We study the blocks for Ariki-Koike algebras using a general notion of core for $l$-partitions. We interpret the action of the affine symmetric group on the blocks in the context of level rank duality and study the orbits under this action.
Solitaire of Independence
Published
• View Publication
• BIB
In this paper, we study a reversible process (more precisely, a groupoid/group action) resembling the classical 15-puzzle, where the legal moves are to ``move the unique hole inside a translate of a shape $S$''. Such a process can be defined for any finite subset $S$ of a group, and we refer to such a process as simply ``solitaire''. We develop a general theory of solitaire, and then concentrate on the simplest possible example, solitaire for the plane $\mathbb{Z}^2$, and $S$ the triangle shape (equivalently, any three-element set in general position). In this case, we give a polynomial time algorithm that puts any finite subset of the plane in normal form using solitaire moves, and show that the solitaire orbit of a line of consecutive ones -- the line orbit -- is completely characterised by the notion of a so-called fill matrix. We show that the diameter of the line orbit, as a graph with edges the solitaire moves, is cubic. We show that analogous results hold for the square shape, but indicate some shapes (still on the group $\mathbb{Z}^2$) where this is less immediate. We then explain in detail the connection of the solitaire to TEP and more generally permutive subshifts. Namely, the solitaire is a closure property of various sets of subsets of the group that can be associated to such a subshift, such as the independence, spanning and filling sets.
Toroidal embeddings of cubic projective plane obstructions
Work of Glover and Huneke shows that a cubic graph embeds into the real projective plane if and only if it does not contain one of six topological minors called cubic projective plane obstructions. Here we classify up to equivalence the embeddings of these graphs into the torus.
Reconfiguration graphs for vertex colorings of $P_5$-free graphs
Published
• View Publication
• BIB
For any positive integer $k$, the reconfiguration graph for all $k$-colorings of a graph $G$, denoted by $\mathcal{R}_k(G)$, is the graph where vertices represent the $k$-colorings of $G$, and two $k$-colorings are joined by an edge if they differ in color on exactly one vertex. Bonamy et al. established that for any $2$-chromatic $P_5$-free graph $G$, $\mathcal{R}_k(G)$ is connected for each $k\geq 3$. On the other hand, Feghali and Merkel proved the existence of a $7p$-chromatic $P_5$-free graph $G$ for every positive integer $p$, such that $\mathcal{R}_{8p}(G)$ is disconnected.
In this paper, we offer a detailed classification of the connectivity of $\mathcal{R} _k(G) $ concerning $t$-chromatic $P_5$-free graphs $G$ for cases $t=3$, and $t\geq4$ with $t+1\leq k \leq {t\choose2}$. We demonstrate that $\mathcal{R}_k(G)$ remains connected for each $3$-chromatic $P_5$-free graph $G$ and each $k \geq 4$. Furthermore, for each $t\geq4$ and $t+1 \leq k \leq {t\choose2}$, we provide a construction of a $t$-chromatic $P_5$-free graph $G$ with $\mathcal{R}_k(G)$ being disconnected. This resolves a question posed by Feghali and Merkel.
Automated conjecturing in mathematics with \emph{TxGraffiti}
Published
• View Publication
• BIB
\emph{TxGraffiti} is a data-driven, heuristic-based computer program developed to automate the process of generating conjectures across various mathematical domains. Since its creation in 2017, \emph{TxGraffiti} has contributed to numerous mathematical publications, particularly in graph theory. In this paper, we present the design and core principles of \emph{TxGraffiti}, including its roots in the original \emph{Graffiti} program, which pioneered the automation of mathematical conjecturing. We describe the data collection process, the generation of plausible conjectures, and methods such as the \emph{Dalmatian} heuristic for filtering out redundant or transitive conjectures. Additionally, we highlight its contributions to the mathematical literature and introduce a new web-based interface that allows users to explore conjectures interactively. While we focus on graph theory, the techniques demonstrated extend to other areas of mathematics.
The 2-rainbow domination number of Cartesian product of cycles
Published
• View Publication
• BIB
A $k$-rainbow dominating function ($k$RDF) of $G$ is a function that assigns subsets of $ \{1,2,...,k\}$ to the vertices of $G$ such that for vertices $v$ with $f(v)=\emptyset $ we have $\bigcup\nolimits_{u\in N(v)}f(u)=\{1,2,...,k\}$.
The weight $w(f)$ of a $k$RDF $f$ is defined as $w(f)=\sum_{v\in V(G)}\left\vert f(v)\right\vert $. The minimum weight of a $k$RDF of $G$ is called the $k$-rainbow domination number of $G$, which is denoted by $γ_{rk}(G)$. In this paper, we study the 2-rainbow domination number of the Cartesian product of two cycles. Exact values are given for a number of infinite families and we prove lower and upper bounds for all other cases.
Spectral extremal problems on outerplanar and planar graphs
Published
• View Publication
• BIB
Let $\emph{spex}_{\mathcal{OP}}(n,F)$ and $\emph{spex}_{\mathcal{P}}(n,F)$ be the maximum spectral radius over all $n$-vertex $F$-free outerplanar graphs and planar graphs, respectively. Define $tC_l$ as $t$ vertex-disjoint $l$-cycles, $B_{tl}$ as the graph obtained by sharing a common vertex among $t$ edge-disjoint $l$-cycles %$B_{tl}$ as the graph obtained by connecting all cycles in $tC_l$ at a single vertex, and $(t+1)K_{2}$ as the disjoint union of $t+1$ copies of $K_2$. In the 1990s, Cvetković and Rowlinson conjectured $K_1 \vee P_{n-1}$ maximizes spectral radius in outerplanar graphs on $n$ vertices, while Boots and Royle (independently, Cao and Vince) conjectured $K_2 \vee P_{n-2} $ does so in planar graphs. Tait and Tobin [J. Combin. Theory Ser. B, 2017] determined the fundamental structure as the key to confirming these two conjectures for sufficiently large $n.$ Recently, Fang et al. [J. Graph Theory, 2024] characterized the extremal graph with $\emph{spex}_{\mathcal{P}}(n,tC_l)$ in planar graphs by using this key. In this paper, we first focus on outerplanar graphs and adopt a similar approach to describe the key structure of the connected extremal graph with $\emph{spex}_{\mathcal{OP}}(n,F)$, where $F$ is contained in $K_1 \vee P_{n-1}$ but not in $K_{1} \vee ((t-1)K_2\cup(n-2t+1)K_1)$. Based on this structure, we determine $\emph{spex}_{\mathcal{OP}}(n,B_{tl})$ and $\emph{spex}_{\mathcal{OP}}(n,(t+1)K_{2})$ along with their unique extremal graphs for all $t\geq1$, $l\geq3$ and large $n$. Moreover, we further extend the results to planar graphs, characterizing the unique extremal graph with $\emph{spex}_{\mathcal{P}}(n,B_{tl})$ for all $t\geq3$, $l\geq3$ and large $n$.
Bivariate exponential integrals and edge-bicolored graphs
Published in Le Matematiche, 80 (1), 167-187 (2025)
• View Publication
• BIB
We show that specific exponential bivariate integrals serve as generating functions of labeled edge-bicolored graphs. Based on this, we prove an asymptotic formula for the number of regular edge-bicolored graphs with arbitrary weights assigned to different vertex structures. The asymptotic behavior is governed by the critical points of a polynomial. As an application, we discuss the Ising model on a random 4-regular graph and show how its phase transitions arise from our formula.
Hankel Determinants for a Class of Weighted Lattice Paths
In this paper, our primary goal is to calculate the Hankel determinants for a class of lattice paths, which are distinguished by the step set consisting of \(\{(1,0), (2,0), (k-1,1), (-1,1)\}\), where the parameter \(k\geq 4\). These paths are constrained to return to the $x$-axis and remain above the \(x\)-axis.
When calculating for \(k = 4\), the problem essentially reduces to determining the Hankel determinant of \(E(x)\), where \(E(x)\) is defined as \[ E(x) = \frac{a}{E(x)x^2(dx^2 - bx - 1) + cx^2 + bx + 1}. \] Our approach involves employing the Sulanke-Xin continued fraction transform to derive a set of recurrence relations, which in turn yield the desired results. For \(k \geq 5\), we utilize a class of shifted periodic continued fractions as defined by Wang-Xin-Zhai, thereby obtaining the results presented in this paper.
The embedding of line graphs associated to the annihilator graph of commutative rings
Published
• View Publication
• BIB
The annihilator graph $AG(R)$ of the commutative ring $R$ is an undirected graph with vertex set as the set of all non-zero zero divisors of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $ann(xy) \neq ann(x) \cup ann(y)$. In this paper, we study the embedding of the line graph of $AG(R)$ into orientable or non-orientable surfaces. We completely characterize all the finite commutative rings such that the line graph of $AG(R)$ is of genus or crosscap at most two. We also obtain the inner vertex number of $L(AG(R))$. Finally, we classify all the finite rings such that the book thickness of $L(AG(R))$ is at most four.
The existence of $m$-Haar graphical representations
Published
• View Publication
• BIB
Extending the well-studied concept of graphical regular representations to bipartite graphs, a Haar graphical representation (HGR) of a group $G$ is a bipartite graph whose automorphism group is isomorphic to $G$ and acts semiregularly with the orbits giving the bipartition. The question of which groups admit an HGR was inspired by a closely related question of Estélyi and Pisanski in 2016, as well as Babai's work in 1980 on poset representations, and has been recently solved by Morris and Spiga. In this paper, we introduce the $m$-Haar graphical representation ($m$-HGR) as a natural generalization of HGR to $m$-partite graphs for $m\geq2$, and explore the existence of $m$-HGRs for any fixed group. This inquiry represents a more robust version of the existence problem of G$m$SRs as addressed by Du, Feng and Spiga in 2020. Our main result is a complete classification of finite groups $G$ without $m$-HGRs.
On the average squared radius of gyration of a family of embeddings of subdivision graphs
Suppose we have an embedding of a graph $\mathbf{G}$ created by subdividing the edges of a simpler graph $\mathbf{G'}$. The edges of $\mathbf{G}$ can be divided into subsets which join pairs of ``junction'' vertices in $\mathbf{G'}$. The displacement vectors of the edges in each subset sum to the displacement between junctions. We can construct a family of embeddings of $\mathbf{G}$ with the same junction positions by rearranging the displacements in each group. In this paper, we show that the average (squared) radius of gyration of these embeddings is given by a simple formula involving a weighted (squared) radius of gyration of the positions of the junctions and the sum of the squares of the lengths of the edges of $\mathbf{G}$ and $\mathbf{G'}$. This ensemble of graph embeddings arises naturally in polymer science.
The exact quantum chromatic number of Hadamard graphs
We compute the exact value of the quantum chromatic numbers of Hadamard graphs of order $n=2^N$ for $N$ a multiple of $4$ using the upper bound derived by Avis, Hasegawa, Kikuchi, and Sasaki, as well as an application of the Hoffman-like lower bound of Elphick and Wocjan that was generalized by Ganesan for quantum graphs. As opposed to prior computations for the lower bound, our approach uses Ito's results on conjugacy class graphs allowing us to also find bounds on the quantum chromatic numbers of products of Hadamard graphs. In particular, we also compute the exact quantum chromatic number of the categorical product of Hadamard graphs.
An $11/6$-Approximation Algorithm for Vertex Cover on String Graphs
We present a 1.8334-approximation algorithm for Vertex Cover on string graphs given with a representation, which takes polynomial time in the size of the representation; the exact approximation factor is $11/6$. Recently, the barrier of 2 was broken by Lokshtanov et al. [SoGC '24] with a 1.9999-approximation algorithm. Thus we increase by three orders of magnitude the distance of the approximation ratio to the trivial bound of 2. Our algorithm is very simple. The intricacies reside in its analysis, where we mainly establish that string graphs without odd cycles of length at most 11 are 8-colorable. Previously, Chudnovsky, Scott, and Seymour [JCTB '21] showed that string graphs without odd cycles of length at most 7 are 80-colorable, and string graphs without odd cycles of length at most 5 have bounded chromatic number.
Log-concavity and strong $q$-log-convexity for some generalized triangular arrays
Published
• View Publication
• BIB
In this paper, we provide criteria for the log-concavity of rows and the strong $q$-log-convexity of the generating functions of rows in more generalized triangles. Additionally, we prove that the bi$^s$nomial transformation not only preserves the strong $q$-log-convexity property but also preserves the strong $q$-log-concavity property.
Graph minors, Ehrhart theory, and a monotonicity property
We study the extended root polytope associated to a directed graph. We show that under the operations of deletion and contraction of an edge of the graph, none of the coefficients of the $h^*$-polynomial of the associated extended root polytope increase. We examine cases when the $h^*$-polynomial does not change, for instance when contracting the edges of a minimal directed join in a digraph whose lattice polytope has the Gorenstein property.
An algebraic-combinatorial proof of a Bezout-type inequality for mixed volumes of three-dimensional zonoids
Published
• View Publication
• BIB
We present a new algebraic-combinatorial approach to proving a Bezout-type inequality for zonoids in dimension three, which has recently been established by Fradelizi, Madiman, Meyer, and Zvavitch. Our approach hints at connections between inequalities for mixed volumes of zonoids and real algebra and matroid theory.
Tree height and the asymptotic mean of the Colijn-Plazzotta rank of unlabeled binary rooted trees
Published
• View Publication
• BIB
The Colijn--Plazzotta ranking is a bijective encoding of the unlabeled binary rooted trees with positive integers. We show that the rank $f(t)$ of a tree $t$ is closely related to its height $h$, the length of the longest path from a leaf to the root. We consider the rank $f(τ_n)$ of a random $n$-leaf tree $τ_n$ under each of three models: (i) uniformly random unlabeled unordered binary rooted trees, or unlabeled topologies; (ii) uniformly random leaf-labeled binary trees, or labeled topologies under the uniform model; and (iii) random binary search trees, or labeled topologies under the Yule--Harding model. Relying on the close relationship between tree rank and tree height, we obtain results concerning the asymptotic properties of $\log \log f(τ_n)$. In particular, we find $\mathbb{E} \{\log_2 \log f(τ_n)\} \sim 2 \sqrt{πn}$ for uniformly random unlabeled ordered binary rooted trees and uniformly random leaf-labeled binary trees, and for a constant $α\approx 4.31107$, $\mathbb{E}\{\log_2 \log f(τ_n)\} \sim α\log n $ for leaf-labeled binary trees under the Yule--Harding model. We show that the mean of $f(τ_n)$ itself under the three models is largely determined by the rank $c_{n-1}$ of the highest-ranked tree -- the caterpillar -- obtaining an asymptotic relationship with $π_n c_{n-1}$, where $π_n$ is a model-specific function of $n$. The results resolve open problems, providing a new class of results on an encoding useful in mathematical phylogenetics.