Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Projective planes and set multipartite Ramsey numbers for $C_4$ versus star
Set multipartite Ramsey numbers were introduced in 2004, ge-neralizing the celebrated Ramsey numbers. Let $C_4$ denote the four cycle and let $K_{1,n}$ denote the star on $n+1$ vertices. In this paper we investigate bounds on $C_4-K_{1,n}$ set multipartite Ramsey numbers. Relationships between these numbers and the classical $C_4-K_{1,n}$ Ramsey numbers are explored. Then several near-optimal or exact classes are derived as applications. As the main goal, polarity graphs from projective planes allow us to find suitable subgraphs which yield some optimal classes too.
Complexity and capacity bounds for quantum channels
Published
• View Publication
• BIB
We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite rank and, in the case of a graph operator system, as a quantum intersection number. The quantum complexity and a closely related quantum version of orthogonal rank turn out to be upper bounds for the Shannon zero-error capacity of a quantum channel, and we construct examples for which these bounds beat the best previously known general upper bound for the capacity of quantum channels, given by the quantum Lovász theta number.
Relative Hard Lefschetz Theorem for Fans
Published
• View Publication
• BIB
We prove the Relative Hard Lefschetz theorem and the Relative Hodge-Riemann bilinear relations for combinatorial intersection cohomology sheaves on fans.
On the number of unknot diagrams
Published
• View Publication
• BIB
Let $D$ be a knot diagram, and let ${\mathcal D}$ denote the set of diagrams that can be obtained from $D$ by crossing exchanges. If $D$ has $n$ crossings, then ${\mathcal D}$ consists of $2^n$ diagrams. A folklore argument shows that at least one of these $2^n$ diagrams is unknot, from which it follows that every diagram has finite unknotting number. It is easy to see that this argument can be used to show that actually ${\mathcal D}$ has more than one unknot diagram, but it cannot yield more than $4n$ unknot diagrams. We improve this linear bound to a superpolynomial bound, by showing that at least $2^{\sqrt[3]{n}}$ of the diagrams in ${\mathcal D}$ are unknot. We also show that either all the diagrams in ${\mathcal D}$ are unknot, or there is a diagram in ${\mathcal D}$ that is a diagram of the trefoil knot.
Hultman elements for the hyperoctahedral groups
Published
• View Publication
• BIB
Hultman, Linusson, Shareshian, and Sjöstrand gave a pattern avoidance characterization of the permutations for which the number of chambers of its associated inversion arrangement is the same as the size of its lower interval in Bruhat order. Hultman later gave a characterization, valid for an arbitrary finite reflection group, in terms of distances in the Bruhat graph. On the other hand, the pattern avoidance criterion for permutations had earlier appeared in independent work of Sjöstrand and of Gasharov and Reiner. We give characterizations of the elements of the hyperoctahedral groups satisfying Hultman's criterion that is in the spirit of those of Sjöstrand and of Gasharov and Reiner. We also give a pattern avoidance criterion using the notion of pattern avoidance defined by Billey and Postnikov.
Dihedral Sieving Phenomena
Published
• View Publication
• BIB
Cyclic sieving is a well-known phenomenon where certain interesting polynomials, especially $q$-analogues, have useful interpretations related to actions and representations of the cyclic group. We propose a definition of sieving for an arbitrary group $G$ and study it for the dihedral group $I_2(n)$ of order $2n$. This requires understanding the generators of the representation ring of the dihedral group. For $n$ odd, we exhibit several instances of dihedral sieving which involve the generalized Fibonomial coefficients, recently studied by Amdeberhan, Chen, Moll, and Sagan. We also exhibit an instance of dihedral sieving involving Garsia and Haiman's $(q,t)$-Catalan numbers.
Longer Cycles in Essentially 4-Connected Planar Graphs
Published in Discussiones Mathematicae Graph Theory, ISSN (Online) 2083-5892
• View Publication
• BIB
A planar 3-connected graph $G$ is called \emph{essentially $4$-connected} if, for every 3-separator $S$, at least one of the two components of $G-S$ is an isolated vertex. Jackson and Wormald proved that the length $\mathop{\rm circ}\nolimits(G)$ of a longest cycle of any essentially 4-connected planar graph $G$ on $n$ vertices is at least $\frac{2n+4}{5}$ and Fabrici, Harant and Jendrol' improved this result to $\mathop{\rm circ}\nolimits(G)\geq \frac{1}{2}(n+4)$. In the present paper, we prove that an essentially 4-connected planar graph on $n$ vertices contains a cycle of length at least $\frac{3}{5}(n+2)$ and that such a cycle can be found in time $O(n^2)$.
The Nonassociativity of the Double Minus Operation
The sequence A000975 in OEIS can be defined by $A_1=1$, $A_{n+1}=2A_n$ if $n$ is odd, and $A_{n+1}=2A_n+1$ if $n$ is even. This sequence satisfies other recurrence relations, admits some closed formulas, and is known to enumerate several interesting families of objects. We provide a new interpretation of this sequence using a binary operation defined by $a\ominus b := -a -b$. We show that the number of distinct results obtained by inserting parentheses in the expression $x_0\ominus x_1\ominus \cdots\ominus x_n$ equals $A_n$, by investigating the leaf depth in binary trees. Our result can be viewed as a quantitative measurement for the nonassociativity of the binary operation $\ominus$.
Asymptotics for skew standard Young tableaux via bounds for characters
Published
• View Publication
• BIB
We are interested in the asymptotics of the number of standard Young tableaux $f^{λ/μ}$ of a given skew shape $λ/μ$. We mainly restrict ourselves to the case where both diagrams are balanced, but investigate all growth regimes of $|μ|$ compared to $|λ|$, from $|μ|$ fixed to $|μ|$ of order $|λ|$. When $|μ|=o(|λ|^{1/3})$, we get an asymptotic expansion to any order. When $|μ|=o(|λ|^{1/2})$, we get a sharp upper bound. For bigger $|μ|$, we prove a weaker bound and give a conjecture on what we believe to be the correct order of magnitude.
Our results are obtained by expressing $f^{λ/μ}$ in terms of irreducible character values of the symmetric group and applying known upper bounds on characters.
Special Hist-Snarks
A Hist in a cubic graph $G$ is a spanning tree $T$ which has only vertices of degree three and one. A snark with a Hist is called a Hist-snark, see \cite{HO}. We present several computer generated Hist-snarks which form generalizations of the Petersen graph. Moreover, we state some results on Hist-snarks which have been achieved with computer support.
Cohen--Lenstra heuristics for torsion in homology of random complexes
Published
• View Publication
• BIB
We study torsion in homology of the random $d$-complex $Y \sim Y_d(n,p)$ experimentally. Our experiments suggest that there is almost always a moment in the process where there is an enormous burst of torsion in homology $H_{d-1}(Y)$. This moment seems to coincide with the phase transition studied in \cite{AL,LP,LP3} , where cycles in $H_d(Y)$ first appear with high probability.
Our main study is the limiting distribution on the $q$-part of the torsion subgroup of $H_{d-1}(Y)$ for small primes $q$. We find strong evidence for a limiting Cohen--Lenstra distribution, where the probability that the $q$-part is isomorphic to a given $q$-group $H$ is inversely proportional to the order of the automorphism group $|\mbox{Aut}(H)|$.
We also study the torsion in homology of the uniform random $\Q$-acyclic $2$-complex. This model is analogous to a uniform spanning tree on a complete graph, but more complicated topologically since Kalai showed that the expected order of the torsion group is exponentially large in $n^2$ \cite{Kalai}. We give experimental evidence that in this model also, the torsion is Cohen--Lenstra distributed in the limit.
The Width of Downsets
Published in European Journal of Combinatorics 79 (2019) 46 - 59
• View Publication
• BIB
How large an antichain can we find inside a given downset in the lattice of subsets of [n]? Sperner's theorem asserts that the largest antichain in the whole lattice has size the binomial coefficient C(n, n/2); what happens for general downsets?
Our main results are a Dilworth-type decomposition theorem for downsets, and a new proof of a result of Engel and Leck that determines the largest possible antichain size over all downsets of a given size. We also prove some related results, such as determining the maximum size of an antichain inside the downset that we conjecture minimizes this quantity among downsets of a given size.
Trees and $n$-Good Hypergraphs
Trees fill many extremal roles in graph theory, being minimally connected and serving a critical role in the definition of $n$-good graphs. In this article, we consider the generalization of trees to the setting of $r$-uniform hypergraphs and how one may extend the notion of $n$-good graphs to this setting. We prove numerous bounds for $r$-uniform hypergraph Ramsey numbers involving trees and complete hypergraphs and show that in the $3$-uniform case, all trees are $n$-good when $n$ is odd or $n$ falls into specified even cases.
Stieltjes moment sequences of polynomials
A sequence $(a_n)_{n \geq 0}$ is Stieltjes moment sequence if it has the form $a_n = \int_0^\infty x^n dμ(x)$ for $μ$ is a nonnegative measure on $[0,\infty)$. It is known that $(a_n)_{n \geq 0}$ is a Stieltjes moment sequence if and only if the matrix $H =[a_{i+j}]_{i,j \geq 0}$ is totally positive, i.e., all its minors are nonnegative. We define a sequence of polynomials in $x_1,x_2,\ldots,x_n$ $(a_n(x_1,x_2,\ldots,x_n))_{n \geq 0}$ to be a Stieltjes moment sequence of polynomials if the matrix $H =[a_{i+j} (x_1,x_2,\ldots,x_n)]_{i,j \geq 0}$ is $(x_1,x_2,\ldots,x_n)$-totally positive, i.e., all its minors are polynomials in $x_1,x_2,\ldots,x_n$ with nonnegative coefficients. The main goal of this paper is to produce a large class of Stieltjes moment sequences of polynomials by finding multivariable analogues of Catalan-like numbers as defined by Aigner.
Detachments of Hypergraphs I: The Berge-Johnson Problem
Published in Combin. Probab. Comput. 21 (2012), no. 4, 483-495
• View Publication
• BIB
A detachment of a hypergraph is formed by splitting each vertex into one or more subvertices, and sharing the incident edges arbitrarily among the subvertices. For a given edge-colored hypergraph $\scr F$, we prove that there exists a detachment $\scr G$ such that the degree of each vertex and the multiplicity of each edge in $\scr F$ (and each color class of $\scr F$) are shared fairly among the subvertices in $\scr G$ (and each color class of $\scr G$, respectively).
Let $(λ_1\dots,λ_m) K^{h_1,\dots,h_m}_{p_1,\dots,p_n}$ be a hypergraph with vertex partition $\{V_1,\dots, V_n\}$, $|V_i|=p_i$ for $1\leq i\leq n$ such that there are $λ_i$ edges of size $h_i$ incident with every $h_i$ vertices, at most one vertex from each part for $1\leq i\leq m$ (so no edge is incident with more than one vertex of a part). We use our detachment theorem to show that the obvious necessary conditions for $(λ_1\dots,λ_m) K^{h_1,\dots,h_m}_{p_1,\dots,p_n}$ to be expressed as the union $\scr G_1\cup \ldots \cup\scr G_k$ of $k$ edge-disjoint factors, where for $1\leq i\leq k$, $\scr G_i$ is $r_i$-regular, are also sufficient. Baranyai solved the case of $h_1=\dots=h_m$, $λ_1=\dots,λ_m=1$, $p_1=\dots=p_m$, $r_1=\dots =r_k$. Berge and Johnson, (and later Brouwer and Tijdeman, respectively) considered (and solved, respectively) the case of $h_i=i$, $1\leq i\leq m$, $p_1=\dots=p_m=λ_1=\dots=λ_m=r_1=\dots =r_k=1$. We also extend our result to the case where each $\scr G_i$ is almost regular.
Embedding an Edge-colored $K(a^{(p)};λ,μ)$ into a Hamiltonian Decomposition of $K(a^{(p+r)};λ,μ)$
Published in Graphs Combin. 29 (2013), no. 4, 747-755
• View Publication
• BIB
Let $K(a^{(p)};λ,μ)$ be a graph with $p$ parts, each part having size $a$, in which the multiplicity of each pair of vertices in the same part (in different parts) is $λ$ ($μ$, respectively). In this paper we consider the following embedding problem: When can a graph decomposition of $K(a^{(p)};λ,μ)$ be extended to a Hamiltonian decomposition of $K(a^{(p+r)};λ,μ)$ for $r>0$? A general result is proved, which is then used to solve the embedding problem for all $r\geq \fracλ{μa}+\frac{p-1}{a-1}$. The problem is also solved when $r$ is as small as possible in two different senses, namely when $r=1$ and when $r=\fracλ{μa}-p+1$.
Embedding factorizations for 3-uniform hypergraphs
Published in J. Graph Theory 73 (2013), no. 2, 216-224
• View Publication
• BIB
In this paper, two results are obtained on a hypergraph embedding problem. The proof technique is itself of interest, being the first time amalgamations have been used to address the embedding of hypergraphs.
The first result finds necessary and sufficient conditions for the embedding a hyperedge-colored copy of the complete 3-uniform hypergraph of order $m$, $K_m^3$, into an $r$-factorization of $K_n^3$, providing that $n> 2m+(-1+\sqrt{8m^2-16m-7})/2$.
The second result finds necessary and sufficient conditions for an embedding when not only are the colors of the hyperedges of $K_m^3$ given, but also the colors of all the "pieces" of hyperedges on these $m$ vertices are prescribed (the "pieces" of hyperedges are eventually extended to hyperedges of size 3 in $K_n^3$ by adding new vertices to the hyperedges of size 1 and 2 during the embedding process).
Both these results make progress towards settling an old question of Cameron on completing partial 1-factorizations of hypergraphs.
Dominating 2-broadcast in graphs: complexity, bounds and extremal graphs
Limited dominating broadcasts were proposed as a variant of dominating broadcasts, where the broadcast function is upper bounded. As a natural extension of domination, we consider dominating $2$-broadcasts along with the associated parameter, the dominating $2$-broadcast number. We prove that computing the dominating $2$-broadcast number is a NP-complete problem, but can be achieved in linear time for trees. We also give an upper bound for this parameter, that is tight for graphs as large as desired.
Bisected theta series, least $r$-gaps in partitions, and polygonal numbers
Published
• View Publication
• BIB
The least $r$-gap, $g_r(λ)$, of a partition $λ$ is the smallest part of $λ$ appearing less than $r$ times. In this article we introduce two new partition functions involving least $r$-gaps. We consider a bisection of a classical theta identity and prove new identities relating Euler's partition function $p(n)$, polygonal numbers, and the new partition functions. To prove the results we use an interplay of combinatorial and $q$-series methods.
We also give a combinatorial interpretation for $$\sum_{n=0}^\infty (\pm 1)^{k(k+1)/2} p(n-r\cdot k(k+1)/2).$$
The Sandpile Group of a Thick Cycle Graph
Published
• View Publication
• BIB
The majority of graphs whose sandpile groups are known are either regular or simple. We give an explicit formula for a family of non-regular multi-graphs called thick cycles. A thick cycle graph is a cycle where multi-edges are permitted. Its sandpile group is the direct sum of cyclic groups of orders given by quotients of greatest common divisors of minors of its Laplacian matrix. We show these greatest common divisors can be expressed in terms of monomials in the graph's edge multiplicities.