Showing 20 papers (Total: 84285 papers, 48548 authors in database)
A bijection for essentially 4-connected toroidal triangulations
Published
• View Publication
• BIB
Transversal structures (also known as regular edge labelings) are combinatorial structures defined over 4-connected plane triangulations with quadrangular outer-face. They have been intensively studied and used for many applications (drawing algorithm, random generation, enumeration ...). In this paper we introduce and study a generalization of these objects for the toroidal case. Contrary to what happens in the plane, the set of toroidal transversal structures of a given toroidal triangulation is partitioned into several distributive lattices. We exhibit a subset of toroidal transversal structures, called balanced, and show that it forms a single distributive lattice. Then, using the minimal element of the lattice, we are able to enumerate bijectively essentially 4-connected toroidal triangulations.
A note on the van der Waerden complex
Published
• View Publication
• BIB
Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when these pure simplicial complexes are vertex decomposable or not Cohen-Macaulay. As a corollary, we classify the van der Waerden complexes that are shellable.
Non-kissing complexes and tau-tilting for gentle algebras
Published in Mem. Amer. Math. Soc., vol. 274(1343), vii+110 pp, 2021
• View Publication
• BIB
We interpret the support $τ$-tilting complex of any gentle bound quiver as the non-kissing complex of walks on its blossoming quiver. Particularly relevant examples were previously studied for quivers defined by a subset of the grid or by a dissection of a polygon. We then focus on the case when the non-kissing complex is finite. We show that the graph of increasing flips on its facets is the Hasse diagram of a congruence-uniform lattice. Finally, we study its $\mathbf{g}$-vector fan and prove that it is the normal fan of a non-kissing associahedron.
On minimal triangle-free 6-chromatic graphs
Published
• View Publication
• BIB
A graph with chromatic number $k$ is called $k$-chromatic. Using computational methods, we show that the smallest triangle-free 6-chromatic graphs have at least 32 and at most 40 vertices.
We also determine the complete set of all triangle-free 5-chromatic graphs up to 24 vertices. This implies that Reed's conjecture holds for triangle-free graphs up to at least this order. We also establish that the smallest regular triangle-free 5-chromatic graphs have 24 vertices. Finally, we show that the smallest 5-chromatic graphs of girth at least 5 have at least 29 vertices and that the smallest 4-chromatic graphs of girth at least 6 have at least 25 vertices.
Hamiltonian cycles in $k$-partite graphs
Published
• View Publication
• BIB
Chen, Faudree, Gould, Jacobson, and Lesniak determined the minimum degree threshold for which a balanced $k$-partite graph has a Hamiltonian cycle. We give an asymptotically tight minimum degree condition for Hamiltonian cycles in arbitrary $k$-partite graphs in which all parts have at most $n/2$ vertices (a necessary condition). To do this, we first prove a general result which both simplifies the process of checking whether a graph $G$ is a robust expander and gives useful structural information in the case when $G$ is not a robust expander. Then we use this result to prove that any $k$-partite graph satisfying the minimum degree condition is either a robust expander or else contains a Hamiltonian cycle directly.
Technical report Existence of Kirkman signal sets on $v=1,3\pmod{6}$ points, $14\leq v \leq 3000$
A partial Steiner triple system whose triples can be partitioned into $s$ partial parallel classes, each of size $m$, is a $signal$ $set$, denoted $\mbox{SS}(v,s,m)$. A $Kirkman$ $signal$ $set$ $\mbox{KSS}(v,m)$ is an $\mbox{SS}(v,s,m)$ with $s=\lfloorμ(v)/m\rfloor$. When $v \equiv 1$ or $3 \pmod{6}$, then $μ(v)=b$, so the decomposition of an $\mbox{STS}(v)$ into partial parallel classes of size $m$ is equivalent to a $\mbox{KSS}(v,m)$. Table of known existence results is given.
Minimum size of n-factor-critical graphs and k-extendable graphs
We determine the minimum size of $n$-factor-critical graphs and that of $k$-extendable bipartite graphs, by considering Harary graphs and related graphs. Moreover, we determine the minimum size of $k$-extendable non-bipartite graphs for $k=1,\ 2$, and pose a related conjecture for general $k$.
M-alternating Hamilton paths and M-alternating Hamilton cycles
Published in Discrete Mathematics, 309(10), 3385-3392 (2009)
• View Publication
• BIB
We study $M$-alternating Hamilton paths and $M$-alternating Hamilton cycles in a simple connected graph $G$ on $ν$ vertices with a perfect matching $M$. Let $G$ be a bipartite graph, we prove that if for any two vertices $x$ and $y$ in different parts of $G$, $d(x)+d(y)\geq ν/2+2$, then $G$ has an $M$-alternating Hamilton cycle. For general graphs, a condition for the existence of an $M$-alternating Hamilton path starting and ending with edges in $M$ is put forward. Then we prove that if $κ(G)\geqν/2$, where $κ(G)$ denotes the connectivity of $G$, then $G$ has an $M$-alternating Hamilton cycle or belongs to one class of exceptional graphs. Lou and Yu \cite{LY} have proved that every $k$-extendable graph $H$ with $k\geqν/4$ is bipartite or satisfies $κ(H)\geq 2k$. Combining this result with those we obtain we prove the existence of $M$-alternating Hamilton cycles in $H$.
Chern-Schwartz-MacPherson cycles of matroids
Published
• View Publication
• BIB
We define Chern-Schwartz-MacPherson (CSM) cycles of an arbitrary matroid. These are balanced weighted fans supported on the skeleta of the corresponding Bergman fan. In the case that the matroid arises from a complex hyperplane arrangement A, we show that these cycles represent the CSM class of the complement of A. We also prove that for any matroid, the degrees of its CSM cycles are given by the coefficients of (a shift of) the reduced characteristic polynomial, and that CSM cycles are valuations under matroid polytope subdivisions.
On Certain Degenerate Whittaker Models for Cuspidal Representations of $\mathrm{GL}_{k\cdot n}\left(\mathbb{F}_q\right)$
Published in Math. Z. 291 (2019), no. 1-2, 609-633
• View Publication
• BIB
Let $π$ be an irreducible cuspidal representation of $\mathrm{GL}_{kn}\left(\mathbb{F}_q\right)$. Assume that $π= π_θ$, corresponds to a regular character $θ$ of $\mathbb{F}_{q^{kn}}^{*}$. We consider the twisted Jacquet module of $π$ with respect to a non-degenerate character of the unipotent radical corresponding to the partition $(n^k)$ of $kn$. We show that, as a $\mathrm{GL}_{n}\left(\mathbb{F}_q\right)$-representation, this Jacquet module is isomorphic to $π_{θ\upharpoonright_{\mathbb{F}_n^*}} \otimes \mathrm{St}^{k-1}$, where $\mathrm{St}$ is the Steinberg representation of $\mathrm{GL}_{n}\left(\mathbb{F}_q\right)$. This generalizes a theorem of D. Prasad, who considered the case $k=2$. We prove and rely heavily on a formidable identity involving $q$-hypergeometric series and linear algebra.
The symmetric representation of lines in $\text{PG}(\mathbb{F}^3 \otimes \mathbb{F}^3)$
Let $\mathbb{F}$ be a finite field, an algebraically closed field, or the field of real numbers. Consider the vector space $V=\mathbb{F}^3 \otimes \mathbb{F}^3$ of $3 \times 3$ matrices over $\mathbb{F}$, and let $G \leq \text{PGL}(V)$ be the setwise stabiliser of the corresponding Segre variety $S_{3,3}(\mathbb{F})$ in the projective space $\text{PG}(V)$. The $G$-orbits of lines in $\text{PG}(V)$ were determined by the first author and Sheekey as part of their classification of tensors in $\mathbb{F}^2 \otimes V$ in the article "Canonical forms of $2 \times 3 \times 3$ tensors over the real field, algebraically closed fields, and finite fields", Linear Algebra Appl. 476 (2015) 133-147. Here we consider the related problem of classifying those line orbits that may be represented by {\em symmetric} matrices, or equivalently, of classifying the line orbits in the $\mathbb{F}$-span of the Veronese variety $\mathcal{V}_3(\mathbb{F}) \subset S_{3,3}(\mathbb{F})$ under the natural action of $K=\text{PGL}(3,\mathbb{F})$. Interestingly, several of the $G$-orbits that have symmetric representatives split under the action of $K$, and in many cases this splitting depends on the characteristic of $\mathbb{F}$. The corresponding orbit sizes and stabiliser subgroups of $K$ are also determined in the case where $\mathbb{F}$ is a finite field, and connections are drawn with old work of Jordan, Dickson and Campbell on the classification of pencils of conics in $\text{PG}(2,\mathbb{F})$, or equivalently, of pairs of ternary quadratic forms over $\mathbb{F}$.
Mathematical aspect of the combinatorial game "Mahjong"
We illustrate how one can use basic combinatorial theory and computer programming technique (Python) to analyze the combinatorial game: Mahjong. The results confirm some folklore concerning the game, and expose some unexpected results. Related results and possible future research in connection to artificial intelligence are mentioned. Readers interested in the subject may further develop the techniques to deepen the study of the game, or study other combinatorial games.
Free arrangements with low exponents
In this article we show that any free hyperplane arrangement with exponents 1's and 2's is a supersolvable arrangement. We conjecture that any free arrangement with exponents 1's, 2's and exactly one 3, is also supersolvable, and we show this conjecture for hyperplane arrangements of ranks 4 and 5, and for inductively free arrangements of any rank.
The domination number and the least Q-eigenvalue II
Denote by $L_{g, l}$ the $lollipop$ $graph$ obtained by attaching a pendant path $\mathbb{P}=v_{g}v_{g+1}\cdots v_{g+l}$ ($l\geq 1$) to a cycle $\mathbb{C}=v_{1}v_{2}\cdots v_{g}v_{1}$ ($g\geq 3$). A $\mathcal {F}_{g, l}$-$graph$ of order $n\geq g+1$ is defined to be the graph obtained by attaching $n-g-l$ pendent vertices to some of the nonpendant vertices of $L_{g, l}$ in which each vertex other than $v_{g+l-1}$ is attached at most one pendant vertex. A $\mathcal {F}^{\circ}_{g, l}$-graph is a $\mathcal {F}_{g, l}$-$graph$ in which $v_{g}$ is attached with pendant vertex. Denote by $q_{min}$ the $least$ $Q$-$eigenvalue$ of a graph. In this paper, we proceed on considering the domination number, the least $Q$-eigenvalue of a graph as well as their relation. Further results obtained are as follows:
$\mathrm{(i)}$ some results about the changing of the domination number under the structural perturbation of a graph are represented;
$\mathrm{(ii)}$ among all nonbipartite unicyclic graphs of order $n$, with both domination number $γ$ and girth $g$ ($g\leq n-1$), the minimum $q_{min}$ attains at a $\mathcal {F}_{g, l}$-graph for some $l$;
$\mathrm{(iii)}$ among the nonbipartite graphs of order $n$ and with given domination number which contain a $\mathcal {F}^{\circ}_{g, l}$-graph as a subgraph, some lower bounds for $q_{min}$ are represented;
$\mathrm{(iv)}$ among the nonbipartite graphs of order $n$ and with given domination number $\frac{n}{2}$, $\frac{n-1}{2}$, the minimum $q_{min}$ is completely determined respectively;
$\mathrm{(v)}$ among the nonbipartite graphs of order $n\geq 4$, and with both domination number $\frac{n+1}{3}<γ\leq \frac{n}{2}$ and odd-girth (the length of the shortest odd cycle) at most $5$, the minimum $q_{min}$ is completely determined.
The edit distance function of some graphs
Published
• View Publication
• BIB
The edit distance function of a hereditary property $\mathscr{H}$ is the asymptotically largest edit distance between a graph of density $p\in[0,1]$ and $\mathscr{H}$. Denote by $P_n$ and $C_n$ the path graph of order $n$ and the cycle graph of order $n$, respectively. Let $C_{2n}^*$ be the cycle graph $C_{2n}$ with a diagonal, and $\widetilde{C_n}$ be the graph with vertex set $\{v_0, v_1, \ldots, v_{n-1}\}$ and $E(\widetilde{C_n})=E(C_n)\cup \{v_0v_2\}$. Marchant and Thomason determined the edit distance function of $C_6^{*}$. Peck studied the edit distance function of $C_n$, while Berikkyzy et al. studied the edit distance of powers of cycles. In this paper, by using the methods of Peck and Martin, we determine the edit distance function of $C_8^{*}$, $\widetilde{C_n}$ and $P_n$, respectively.
Introduction to Cluster Algebras. Chapters 4-5
This is a preliminary draft of Chapters 4-5 of our forthcoming textbook "Introduction to Cluster Algebras." Chapters 1-3 have been posted as arXiv:1608.05735.
This installment contains:
Chapter 4. New patterns from old
Chapter 5. Finite type classification
Equidistributions of MAJ and STAT over pattern avoiding permutations
Babson and Steingrímsson introduced generalized permutation patterns and showed that most of the Mahonian statistics in the literature can be expressed by the combination of generalized pattern functions. Particularly, they defined a new Mahonian statistic in terms of generalized pattern functions, which is denoted $stat$. Recently, Amini investigated the equidistributions of these Mahonian statistics over sets of pattern avoiding permutations. Moreover, he posed several conjectures. In this paper, we construct a bijection from $S_n(213)$ to $S_n(231)$, which maps the statistic $(maj,stat)$ to the statistic $(stat,maj)$. This allows us to give solutions to some of Amini's conjectures.
PRIMES STEP Plays Games
Published
• View Publication
• BIB
A group of students in 7-9 grades are inventing combinatorial impartial games. The games are played on graphs, piles, and grids. We found winning positions, optimal strategies, and other interesting facts about the games.
Embedding graphs having Ore-degree at most five
Published
• View Publication
• BIB
Let $H$ and $G$ be graphs on $n$ vertices, where $n$ is sufficiently large. We prove that if $H$ has Ore-degree at most 5 and $G$ has minimum degree at least $2n/3$ then $H\subset G.$
Packing Topological Minors Half-Integrally
Published in J. London Math. Soc. 106 (2022), 2193-2267
• View Publication
• BIB
The packing problem and the covering problem are two of the most general questions in graph theory. The Erdős-Pósa property characterizes the cases when the optimal solutions of these two problems are bounded by functions of each other. Robertson and Seymour proved that when packing and covering $H$-minors for any fixed graph $H$, the planarity of $H$ is equivalent to the Erdős-Pósa property. Thomas conjectured that the planarity is no longer required if the solution of the packing problem is allowed to be half-integral.
In this paper, we prove that this half-integral version of Erdős-Pósa property holds for packing and covering $H$-topological minors, for any fixed graph $H$, which easily implies Thomas' conjecture. In fact, we prove an even stronger statement in which those topological minors are rooted at any choice of prescribed subsets of vertices.
A number of results on $H$-topological minor free or $H$-minor free graphs have conclusions or requirements tied to properties of $H$. Classes of graphs that can half-integrally pack only a bounded number of $H$-topological minors or $H$-minors are more general topological minor-closed or minor-closed families whose minimal obstructions are more complicated than $H$. Our theorem provides a general machinery to extend those results to those more general classes of graphs without losing their tight connections to $H$.