Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Graded Cohen-Macaulay domains and lattice polytopes with short $h$-vector
Let P be a lattice polytope with $h^*$-vector $(1, h^*_1, h^*_2)$. In this note we show that if $h_2^* \leq h_1^*$, then $P$ is IDP. More generally, we show the corresponding statements for semi-standard graded Cohen-Macaulay domains over algebraically closed fields.
Greedy maximal independent sets via local limits
Published
• View Publication
• BIB
The random greedy algorithm for finding a maximal independent set in a graph constructs a maximal independent set by inspecting the graph's vertices in a random order, adding the current vertex to the independent set if it is not adjacent to any previously added vertex. In this paper, we present a general framework for computing the asymptotic density of the random greedy independent set for sequences of (possibly random) graphs by employing a notion of local convergence. We use this framework to give straightforward proofs for results on previously studied families of graphs, like paths and binomial random graphs, and to study new ones, like random trees and sparse random planar graphs. We conclude by analysing the random greedy algorithm more closely when the base graph is a tree.
The maximum average connectivity among all orientations of a graph
Published
• View Publication
• BIB
For distinct vertices $u$ and $v$ in a graph $G$, the {\em connectivity} between $u$ and $v$, denoted $κ_G(u,v)$, is the maximum number of internally disjoint $u$--$v$ paths in $G$. The {\em average connectivity} of $G$, denoted $\overlineκ(G),$ is the average of $κ_G(u,v)$ taken over all unordered pairs of distinct vertices $u,v$ of $G$. Analogously, for a directed graph $D$, the {\em connectivity} from $u$ to $v$, denoted $κ_D(u,v)$, is the maximum number of internally disjoint directed $u$--$v$ paths in $D$. The {\em average connectivity} of $D$, denoted $\overlineκ(D)$, is the average of $κ_D(u,v)$ taken over all ordered pairs of distinct vertices $u,v$ of $D$. An {\em orientation} of a graph $G$ is a directed graph obtained by assigning a direction to every edge of $G$. For a graph $G$, let $\overlineκ_{\max}(G)$ denote the maximum average connectivity among all orientations of $G$. In this paper we obtain bounds for $\overlineκ_{\max}(G)$ and for the ratio $\overlineκ_{\max}(G)/\overlineκ(G)$ for all graphs $G$ of a given order and in a given class of graphs. Whenever possible, we demonstrate sharpness of these bounds. This problem had previously been studied for trees. We focus on the classes of cubic $3$-connected graphs, minimally $2$-connected graphs, $2$-trees, and maximal outerplanar graphs.
Shotgun reconstruction in the hypercube
Published
• View Publication
• BIB
Mossel and Ross raised the question of when a random colouring of a graph can be reconstructed from local information, namely the colourings (with multiplicity) of balls of given radius. In this paper, we are concerned with random $2$-colourings of the vertices of the $n$-dimensional hypercube, or equivalently random Boolean functions. In the worst case, balls of diameter $Ω(n)$ are required to reconstruct. However, the situation for random colourings is dramatically different: we show that almost every $2$-colouring can be reconstructed from the multiset of colourings of balls of radius $2$. Furthermore, we show that for $q \ge n^{2+ε}$, almost every $q$-colouring can be reconstructed from the multiset of colourings of $1$-balls.
Spanning subspace configurations and representation stability
Published
• View Publication
• BIB
Let $V_1, V_2, V_3, \dots $ be a sequence of $\mathbb{Q}$-vector spaces where $V_n$ carries an action of $\mathfrak{S}_n$ for each $n$. {\em Representation stability} and {\em multiplicity stability} are two related notions of when the sequence $V_n$ has a limit. An important source of stability phenomena arises in the case where $V_n$ is the $d^{th}$ homology group (for fixed $d$) of the configuration space of $n$ distinct points in some fixed topological space $X$. We replace these configuration spaces with the variety $X_{n,k}$ of {\em spanning configurations} of $n$-tuples $(\ell_1, \dots, \ell_n)$ of lines in $\mathbb{C}^k$ which satisfy $\ell_1 + \cdots + \ell_n = \mathbb{C}^k$ as vector spaces. We study stability phenomena for the homology groups $H_d(X_{n,k})$ as the parameter $(n,k)$ grows.
Vertex arboricity of cographs
Arboricity is a graph parameter akin to chromatic number, in that it seeks to partition the vertices into the smallest number of sparse subgraphs. Where for the chromatic number we are partitioning the vertices into independent sets, for the arboricity we want to partition the vertices into cycle-free subsets (i.e., forests). Arboricity is NP-hard in general, and our focus is on the arboricity of cographs. For arboricity two, we obtain the complete list of minimal cograph obstructions. These minimal obstructions do generalize to higher arboricities; however, we no longer have a complete list, and in fact, the number of minimal cograph obstructions grows exponentially with arboricity. We obtain bounds on their size and the height of their cotrees.
More generally, we consider the following common generalization of colouring and partition into forests: given non-negative integers $p$ and $q$, we ask if a given cograph $G$ admits a vertex partition into $p$ forests and $q$ independent sets. We give a polynomial-time dynamic programming algorithm for this problem. In fact, the algorithm solves a more general problem which also includes several other problems such as finding a maximum $q$-colourable subgraph, maximum subgraph of arboricity-$p$, minimum vertex feedback set and minimum $q$ of a $q$-colourable vertex feedback set.
A Constructive Proof of Jacobi's Identity for the Sum of Two Squares
We present a constructive proof of Jacobi's identity for the sum of two squares. We present a combinatorial proof of the Jacobi Triple Product and combine with a proof of Hirschhorn to define an algorithm. The input is a factorization $n=dN$ with $d \equiv1\mod 4$ plus two bits of data, and whose output is either another factorization $n=d'N'$ and $d' \equiv3\mod 4$ with two more bits of data, or a pair of integers whose squares sum to $n$. We phrase this algorithm in terms of integer partitions and matchings on an infinite graph.
Linked partition ideals, directed graphs and $q$-multi-summations
Published
• View Publication
• BIB
Finding an Andrews--Gordon type generating function identity for a linked partition ideal is difficult in most cases. In this paper, we will handle this problem in the setting of graph theory. With the generating function of directed graphs with an ``empty'' vertex, we then turn our attention to a $q$-difference system. This $q$-difference system eventually yields a factorization problem of a special type of column functional vectors involving $q$-multi-summations. Finally, using a recurrence relation satisfied by certain $q$-multi-summations, we are able to provide non-computer-assisted proofs of some Andrews--Gordon type generating function identities. These proofs also have an interesting connection with binary trees.
Edge-bipancyclicity of bubble-sort star graphs
Published
• View Publication
• BIB
The interconnection network considered in this paper is the bubble-sort star graph. The $n$-dimensional bubble-sort star graph $BS_n$ is a bipartite and $(2n-3)$-regular graph of order $n!$. A bipartite graph $G$ is edge-bipancyclic if each edge of $G$ lies on a cycle of all even length $l$ with $4\leq l\leq |V(G)|$. In this paper, we show that the $n$-dimensional bubble-sort star graph $BS_n$ is edge-bipancyclic for $n\ge 3$ and for each even length $l$ with $4\leq l\leq n!$, every edge of $BS_n$ lies on at least four different cycles of length $l$.
Proper Orientation Number of Triangle-free Bridgeless Outerplanar Graphs
Published
• View Publication
• BIB
An orientation of $G$ is a digraph obtained from $G$ by replacing each edge by exactly one of two possible arcs with the same endpoints. We call an orientation \emph{proper} if neighbouring vertices have different in-degrees. The proper orientation number of a graph $G$, denoted by $\vecχ(G)$, is the minimum maximum in-degree of a proper orientation of G. Araujo et al. (Theor. Comput. Sci. 639 (2016) 14--25) asked whether there is a constant $c$ such that $\vecχ(G)\leq c$ for every outerplanar graph $G$ and showed that $\vecχ(G)\leq 7$ for every cactus $G.$ We prove that $\vecχ(G)\leq 3$ if $G$ is a triangle-free $2$-connected outerplanar graph and $\vecχ(G)\leq 4$ if $G$ is a triangle-free bridgeless outerplanar graph.
Flag-transitive non-symmetric $2$-designs with $(r,λ)=1$ and exceptional groups of Lie type
Published
• View Publication
• BIB
This paper determined all pairs $(\mathcal{D},G)$ where $\mathcal{D}$ is a non-symmetric 2-$(v,k,λ)$ design with $(r,λ)=1$ and $G$ is the almost simple flag-transitive automorphism group of $\mathcal{D}$ with an exceptional socle of Lie type. We prove that if $T\trianglelefteq G\leq Aut(T)$ where $T$ is an exceptional group of Lie type, then $T$ must be the Ree group or Suzuki group, and there are five classes of non-isomorphic designs $\mathcal{D}$.
Labels instead of coefficients: a label bracket which dominates the Jones polynomial, the Kuperberg bracket, and the normalised arrow polynomial
Published
• View Publication
• BIB
In the present paper, we develop a picture formalism which gives rise to an invariant that dominates several known invariants of classical and virtual knots: the Jones polynomial, the Kuperberg bracket, and the normalised arrow polynomial.
A new combinatorial interpretation of the Fibonacci numbers squared
Published in The Fibonacci Quarterly, Volume 57, Number 5, pages 48-53 (2019)
• View Publication
• BIB
We consider the tiling of an $n$-board (a $1\times n$ array of square cells of unit width) with half-squares ($\frac12\times1$ tiles) and $(\frac12,\frac12)$-fence tiles. A $(\frac12,\frac12)$-fence tile is composed of two half-squares separated by a gap of width $\frac12$. We show that the number of ways to tile an $n$-board using these types of tiles equals $F_{n+1}^2$ where $F_n$ is the $n$th Fibonacci number. We use these tilings to devise combinatorial proofs of identities relating the Fibonacci numbers squared to one another and to other number sequences. Some of these identities appear to be new.
Subgroups of simple primitive permutation groups defined by unordered relations (Automorphism groups of hypergraphs)
The problem of describing the invariance groups of unordered relations, called briefly \emph{relation groups}, goes back to classical work by H. Wielandt. In general, the problem turned out to be hard, and so far it has been settled only for a few special classes of permutation groups. The problem have been solved, in particular, for the class of primitive permutation groups, using the classification of finite simple groups and other deep results of permutation group theory. In this paper we show that, if $G$ is a finite simple primitive permutation group other then the alternating group $A_n$, then each subgroup of $G$, with four exceptions, is a relation group.
Zero-sum subsequences in bounded-sum $\{-r,s\}$-sequences
Published
• View Publication
• BIB
We study the problem of finding zero-sum blocks in bounded-sum sequences, which was introduced by Caro, Hansberg, and Montejano. Caro et al. determine the minimum $\{-1,1\}$-sequence length for when there exist $k$ consecutive terms that sum to zero. We determine the corresponding minimum sequence length when the set $\{-1,1\}$ is replaced by $\{-r,s\}$ for arbitrary positive integers $r$ and $s.$ This confirms a conjecture of theirs. We also construct $\{-1,1\}$-sequences of length quadratic in $k$ that avoid $k$ terms indexed by an arithmetic progression that sum to zero. This solves a second conjecture of theirs in the case of $\{-1,1\}$-sequences on zero-sum arithmetic subsequences. Finally, we give a superlinear lower bound on the minimum sequence length to find a zero-sum arithmetic progression for general $\{-r,s\}$-sequences.
Period mimicry: A note on the $(-1)$-evaluation of the peak polynomials
We briefly explore a sequence that came up in recent work of Tirrell and Zhuang. We discover an unusual phenomenon where the sequence appears at first to have periodic behavior but eventually has non-periodic fluctuations.
Ramanujan Congruences for Fractional Partition Functions
Published
• View Publication
• BIB
For rational $α$, the fractional partition functions $p_α(n)$ are given by the coefficients of the generating function $(q;q)^α_\infty$. When $α=-1$, one obtains the usual partition function. Congruences of the form $p(\ell n + c)\equiv 0 \pmod{\ell}$ for a prime $\ell$ and integer $c$ were studied by Ramanujan. Such congruences exist only for $\ell\in\{5,7,11\}.$ Chan and Wang [4] recently studied congruences for the fractional partition functions and gave several infinite families of congruences using identities of the Dedekind eta-function. Following their work, we use the theory of non-ordinary primes to find a general framework that characterizes congruences modulo any integer. This allows us to prove new congruences such as $p_\frac{57}{61}(17^2n-3)\equiv 0 \pmod{17^2}$.
Condensed Ricci Curvature of Complete and Strongly Regular Graphs
Published in Involve 13 (2020) 559-576
• View Publication
• BIB
We study a modified notion of Ollivier's coarse Ricci curvature on graphs introduced by Lin, Lu, and Yau in [11]. We establish a rigidity theorem for complete graphs that shows a connected finite simple graph is complete if and only if the Ricci curvature is strictly greater than one. We then derive explicit Ricci curvature formulas for strongly regular graphs in terms of the graph parameters and the size of a maximal matching in the core neighborhood. As a consequence we are able to derive exact Ricci curvature formulas for strongly regular graphs of girth 4 and 5 using elementary methods. An example is provided that shows there is no exact formula for the Ricci curvature for strongly regular graphs of girth $3$ that is purely in terms of graph parameters.
Binary Decision Diagrams: from Tree Compaction to Sampling
Any Boolean function corresponds with a complete full binary decision tree. This tree can in turn be represented in a maximally compact form as a direct acyclic graph where common subtrees are factored and shared, keeping only one copy of each unique subtree. This yields the celebrated and widely used structure called reduced ordered binary decision diagram (ROBDD). We propose to revisit the classical compaction process to give a new way of enumerating ROBDDs of a given size without considering fully expanded trees and the compaction step. Our method also provides an unranking procedure for the set of ROBDDs. As a by-product we get a random uniform and exhaustive sampler for ROBDDs for a given number of variables and size.
Almost all Steiner triple systems are almost resolvable
Published in Forum of Mathematics, Sigma 8 (2020) e39
• View Publication
• BIB
We show that for any n divisible by 3, almost all order-n Steiner triple systems admit a decomposition of almost all their triples into disjoint perfect matchings (that is, almost all Steiner triple systems are almost resolvable).