Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Analysing flag-transitive point-imprimitive 2-designs
Published
• View Publication
• BIB
In this paper we develop several general methods for analysing flag-transitive point-imprimitive $2$-designs, which give restrictions on both the automorphisms and parameters of such designs. These constitute a tool-kit for analysing these designs and their groups. We apply these methods to complete the classification of flag-transitive, point-imprimitive $2$-$(v,k,λ)$ designs with $λ$ at most $4$.
Edge-transitive core-free Nest graphs
A finite simple graph $Γ$ is called a Nest graph if it is regular of valency $6$ and admits an automorphism $ρ$ with two orbits of the same length such that at least one of the subgraphs induced by these orbits is a cycle. We say that $Γ$ is core-free if no non-trivial subgroup of the group generated by $ρ$ is normal in $\mathrm{Aut}(Γ)$. In this paper, we show that, if $Γ$ is edge-transitive and core-free, then it is isomorphic to one of the following graphs: the complement of the Petersen graph, the Hamming graph $H(2,4)$, the Shrikhande graph and a certain normal $2$-cover of $K_{3,3}$ by $\mathbb{Z}_2^4$.
Ramsey theory constructions from hypergraph matchings
Published
• View Publication
• BIB
We give asymptotically optimal constructions in generalized Ramsey theory using results about conflict-free hypergraph matchings. For example, we present an edge-coloring of $K_{n,n}$ with $2n/3 + o(n)$ colors such that each $4$-cycle receives at least three colors on its edges. This answers a question of Axenovich, Füredi and the second author (On generalized Ramsey theory: the bipartite case, J. Combin. Theory Ser B 79 (2000), 66--86). We also exhibit an edge-coloring of $K_n$ with $5n/6+o(n)$ colors that assigns each copy of $K_4$ at least five colors. This gives an alternative very short solution to an old question of Erdős and Gyárfás that was recently answered by Bennett, Cushman, Dudek, and Pralat by analyzing a colored modification of the triangle removal process.
Improved bounds for covering hypergraphs
The Graham-Pollak theorem states that at least $n-1$ bicliques are required to partition the edge set of the complete graph on $n$ vertices. In this paper, we provide improvements for the generalizations of coverings of graphs and hypergraphs for some specific multiplicities. We study an extension of Katona Szemerédi theorem to $r$-uniform hypergraphs. We also discuss the $r$-partite covering number and matching number and how large the $r$-partite partition number would be in terms of $r$-partite covering number for $r$-uniform hypergraphs.
Homotopy properties of the complex of frames of a unitary space
Published
• View Publication
• BIB
Let $V$ be a finite dimensional vector space equipped with a non-degenerate Hermitian form over a field $\mathbb{K}$. Let $\mathcal{G}(V)$ be the graph with vertex set the $1$-dimensional non-degenerate subspaces of $V$ and adjacency relation given by orthogonality. We give a complete description of when $\mathcal{G}(V)$ is connected in terms of the dimension of $V$ and the size of the ground field $\mathbb{K}$. Furthermore, we prove that if $\dim(V) > 4$ then the clique complex $\mathcal{F}(V)$ of $\mathcal{G}(V)$ is simply connected. For finite fields $\mathbb{K}$, we also compute the eigenvalues of the adjacency matrix of $\mathcal{G}(V)$. Then by Garland's method, we conclude that $\tilde{H}_m(\mathcal{F}(V);\mathbb{k}) = 0$ for all $0\leq m\leq \dim(V)-3$, where $\mathbb{k}$ is a field of characteristic $0$, provided that $\dim(V)^2 \leq |\mathbb{K}|$. Under these assumptions, we deduce that the barycentric subdivision of $\mathcal{F}(V)$ deformation retracts to the order complex of the certain rank selection of $\mathcal{F}(V)$ which is Cohen-Macaulay over $\mathbb{k}$.
Finally, we apply our results to the Quillen poset of elementary abelian $p$-subgroups of a finite group and to the study of geometric properties of the poset of non-degenerate subspaces of $V$ and the poset of orthogonal decompositions of $V$.
Saturation of multidimensional 0-1 matrices
A 0-1 matrix $M$ is saturating for a 0-1 matrix $P$ if $M$ does not contain a submatrix that can be turned into $P$ by flipping any number of its $1$-entries to $0$-entries, and changing any $0$-entry to $1$-entry of $M$ introduces a copy of $P$. Matrix $M$ is semisaturating for $P$ if changing any $0$-entry to $1$-entry of $M$ introduces a new copy of $P$, regardless of whether $M$ originally contains $P$ or not. The functions $ex(n;P)$ and $sat(n;P)$ are the maximum and minimum possible number of $1$-entries a $n\times n$ 0-1 matrix saturating for $P$ can have, respectively. Function $ssat(n;P)$ is the minimum possible number of $1$-entries a $n\times n$ 0-1 matrix semisaturating for $P$ can have.
Function $ex(n;P)$ has been studied for decades, while investigation on $sat(n;P)$ and $ssat(n;P)$ was initiated recently. In this paper, we make nontrivial generalization of results regarding these functions to multidimensional 0-1 matrices. In particular, we find the exact values of $ex(n;P,d)$ and $sat(n;P,d)$ when $P$ is a $d$-dimensional identity matrix. Then we give the necessary and sufficient condition for a multidimensional 0-1 matrix to have bounded semisaturation function.
The Clique Structure of Johnson Graphs
Motivated by an approach to visualization of high dimensional statistical data given in Hurley and Oldford (2011), this work examines the clique structure of $J_n(m, m-1)$ Johnson graphs. Cliques and maximal cliques are characterized and proved to be of one of only two types. These types are characterized by features of the intersection and of the union of the subsets of [n] = {1, 2, ..., n} which define the vertices of the graph. Clique numbers and clique partition numbers follow. The results on Johnson graphs are connected to results on intersecting families of sets related to extremal set theory.
On pattern-avoiding permutons
Published in Random Structures & Algorithms, volume 65 (2024), issue 1, pages 46-60
• View Publication
• BIB
The theory of limits of permutations leads to limit objects called permutons, which are certain Borel measures on the unit square. We prove that permutons avoiding a given permutation of order $k$ have a particularly simple structure. Namely, almost every fiber of the disintegration of the permuton (say, along the x-axis) consists only of atoms, at most $(k-1)$ many, and this bound is sharp. We use this to give a simple proof of the `permutation removal lemma'.
Electrical networks and the Grove algebra
Published in Can. J. Math.-J. Can. Math. 77 (2025) 631-664
• View Publication
• BIB
We study the ring of regular functions on the space of planar electrical networks, which we coin the grove algebra. This algebra is an electrical analogue of the Plücker ring studied classically in invariant theory. We develop the combinatorics of double groves to study the grove algebra, and find a quadratic Gröbner basis for the grove ideal.
Queue Layouts of Two-Dimensional Posets
Published
• View Publication
• BIB
The queue number of a poset is the queue number of its cover graph when the vertex order is a linear extension of the poset. Heath and Pemmaraju conjectured that every poset of width $w$ has queue number at most $w$. The conjecture has been confirmed for posets of width $w=2$ and for planar posets with $0$ and $1$. In contrast, the conjecture has been refused by a family of general (non-planar) posets of width $w>2$.
In this paper, we study queue layouts of two-dimensional posets. First, we construct a two-dimensional poset of width $w > 2$ with queue number $2(w - 1)$, thereby disproving the conjecture for two-dimensional posets. Second, we show an upper bound of $w(w+1)/2$ on the queue number of such posets, thus improving the previously best-known bound of $(w-1)^2+1$ for every $w > 3$.
Avoidability beyond paths
Published
• View Publication
• BIB
The concept of avoidable paths in graphs was introduced by Beisegel, Chudnovsky, Gurvich, Milanič, and Servatius in 2019 as a common generalization of avoidable vertices and simplicial paths. In 2020, Bonamy, Defrain, Hatzel, and Thiebaut proved that every graph containing an induced path of order $k$ also contains an avoidable induced path of the same order. They also asked whether one could generalize this result to other avoidable structures, leaving the notion of avoidability up to interpretation. In this paper we address this question: we specify the concept of avoidability for arbitrary graphs equipped with two terminal vertices. We provide both positive and negative results, some of which appear to be related to the recent work by Chudnovsky, Norin, Seymour, and Turcotte [arXiv:2301.13175].
Tipsy cop and tipsy robber: collisions of biased random walks on graphs
Published
• View Publication
• BIB
Introduced by Harris, Insko, Prieto Langarica, Stoisavljevic, and Sullivan, the \emph{tipsy cop and drunken robber} is a variant of the cop and robber game on graphs in which the robber simply moves randomly along the graph, while the cop moves directed towards the robber some fixed proportion of the time and randomly the remainder. In this article, we adopt a slightly different interpretation of tipsiness of the cop and robber where we assume that in any round of the game there are four possible outcomes: a sober cop move, a sober robber move, a tipsy (uniformly random) move by the cop, and a tipsy (uniformly random) move by the robber. We study this tipsy cop and tipsy robber game on the infinite grid graph and on certain families of infinite trees including $δ$-regular trees %infinite binary trees with an infinite path rooted at every vertex, and $δ$-regular trees rooted to a $Δ$-regular tree, where $Δ\geq δ$. Our main results analyze strategies for the cop and robber on these graphs. We conclude with some directions for further study.
Singleton mesh patterns in multidimensional permutations
Published in J. Combin. Th. A, V. 201, (2024) 105801
• View Publication
• BIB
This paper introduces the notion of mesh patterns in multidimensional permutations and initiates a systematic study of singleton mesh patterns (SMPs), which are multidimensional mesh patterns of length 1. A pattern is avoidable if there exist arbitrarily large permutations that do not contain it. As our main result, we give a complete characterization of avoidable SMPs using an invariant of a pattern that we call its rank. We show that determining avoidability for a $d$-dimensional SMP $P$ of cardinality $k$ is an $O(d\cdot k)$ problem, while determining rank of $P$ is an NP-complete problem. Additionally, using the notion of a minus-antipodal pattern, we characterize SMPs which occur at most once in any $d$-dimensional permutation. Lastly, we provide a number of enumerative results regarding the distributions of certain general projective, plus-antipodal, minus-antipodal and hyperplane SMPs.
Ortho-unit polygons can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards
Published in Graphs and Combinatorics 41, 15 (2025)
• View Publication
• BIB
An orthogonal polygon is called an ortho-unit polygon if its vertices have integer coordinates, and all of its edges have length one. In this paper we prove that any ortho-unit polygon with $n \geq 12$ vertices can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards, which is a tight bound.
A Generalization of the Chevalley-Warning and Ax-Katz Theorems with a View Towards Combinatorial Number Theory
Published
• View Publication
• BIB
We begin by explaining how arguments used by R. Wilson to give an elementary proof of the $\mathbb F_p$ case for the Ax-Katz Theorem can also be used to prove the following generalization of the Chevalley-Warning and Ax-Katz Theorems for $\mathbb F_p$, where we allow varying prime power moduli. Given any box $\mathcal B=\mathcal I_1\times\ldots\times\mathcal I_n$, with each $\mathcal I_j\subseteq\mathbb Z$ a complete system of residues modulo $p$, and a collection of nonzero polynomials $f_1,\ldots,f_s\in \mathbb Z[X_1,\ldots,X_n]$, then the set of common zeros inside the box, $$V=\{\mathbf a\in \mathcal B:\; f_1(\textbf a)\equiv 0\mod p^{m_1},\ldots,f_s(\textbf a)\equiv 0\mod p^{m_s}\},$$ satisfies $|V|\equiv 0\mod p^m$, provided $n>(m-1)\max_{i\in [1,s]}\Big\{p^{m_i-1}\mathsf{deg} f_i\Big\}+ \sum_{i=1}^{s}\frac{p^{m_i}-1}{p-1}\mathsf{deg} f_i.$ The introduction of the box $\mathcal B$ adds a degree of flexibility, in comparison to prior work of Zhi-Wei Sun. Indeed, incorporating the ideas of Sun, a weighted version of the above result is given. We continue by explaining how the added flexibility, combined with an appropriate use of Hensel's Lemma to choose the complete system of residues $\mathcal I_j$, effectively allows many combinatorial applications of the Chevalley-Warning and Ax-Katz Theorems, previously only valid for $\mathbb F_p^n$, to extend with bare minimal modification to validity for an arbitrary finite abelian $p$-group $G$. We illustrate this be giving several examples, including a new proof of the exact value of the Davenport Constant $\mathsf D(G)$ for finite abelian $p$-groups, a streamlined proof of the Kemnitz Conjecture, and the resolution of a problem of Xiaoyu He regarding zero-sums of length $k\exp(G)$ related to a conjecture of Kubertin.
Hausdorff Dimension of Closure of Cycles in d-Maps on the Circle
We study the dynamics of the map $x$ to $dx$ (mod 1) on the unit circle. We characterize the invariant finite subsets of this map which are called cycles and are graded by their degrees. By looking at the combinatorial properties of the base-d expansion of the elements in the cycles, we prove a conjecture of Curt McMullen that the Hausdorff dimension of the closure of degree-m cycles is equal to log $m$ / log $d$.
Compatible Spanning Trees in Simple Drawings of $K_n$
Published
• View Publication
• BIB
For a simple drawing $D$ of the complete graph $K_n$, two (plane) subdrawings are compatible if their union is plane. Let $\mathcal{T}_D$ be the set of all plane spanning trees on $D$ and $\mathcal{F}(\mathcal{T}_D)$ be the compatibility graph that has a vertex for each element in $\mathcal{T}_D$ and two vertices are adjacent if and only if the corresponding trees are compatible. We show, on the one hand, that $\mathcal{F}(\mathcal{T}_D)$ is connected if $D$ is a cylindrical, monotone, or strongly c-monotone drawing. On the other hand, we show that the subgraph of $\mathcal{F}(\mathcal{T}_D)$ induced by stars, double stars, and twin stars is also connected. In all cases the diameter of the corresponding compatibility graph is at most linear in $n$.
Symmetric Schur multiple zeta functions
We introduce the multiple zeta functions with structures similar to those of symmetric functions such as Schur $P$-, Schur $Q$-, symplectic and orthogonal functions in the representation theory. We first consider their basic properties such as a domain of absolute convergence. And then by restricting to the truncated multiple zeta functions, we obtain the pfaffian expression of the Schur $Q$-multiple zeta functions, the sum formula for Schur $P$- and Schur $Q$-multiple zeta functions, the determinant expressions of symplectic and orthogonal Schur multiple zeta functions under an assumption on variables. Finally, we generalize those to the quasi-symmetric functions.
Taylor coefficients of false Jacobi forms and ranks of unimodal sequences
Published
• View Publication
• BIB
We apply the new framework for modularity of false theta functions developed by the second author and Nazaroglu to study the asymptotic behavior of Taylor coefficients of false Jacobi forms. The examples we study generate moments of the rank for unimodal sequences. For two types of unimodal sequences, we prove asymptotic series for the rank moments.
Constructing Random Steiner Triple Systems: An Experimental Study
Published
• View Publication
• BIB
Several methods for generating random Steiner triple systems (STSs) have been proposed in the literature, such as Stinson's hill-climbing algorithm and Cameron's algorithm, but these are not yet completely understood. Those algorithms, as well as some variants, are here assessed for STSs of both small and large orders. For large orders, the number of occurrences of certain configurations in the constructed STSs are compared with the corresponding expected values of random hypergraphs. Modifications of the algorithms are proposed.