Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Decorated Geometric Crystals and Polyhedral Realizations of type D_n
Published
• View Publication
• BIB
This is a continuation of [15, 16]. We shall show that for type D_n the realization of crystal bases obtained from the decorated geometric crystals in [2] coincides with the polyhedral realizations of crystal bases.
On Sharp Thresholds in Random Geometric Graphs
Published
• View Publication
• BIB
We give a characterization of vertex-monotone properties with sharp thresholds in a Poisson random geometric graph or hypergraph. As an application we show that a geometric model of random k-SAT exhibits a sharp threshold for satisfiability.
Young walls and graded dimension formulas for finite quiver Hecke algebras of type $A^{(2)}_{2\ell}$ and $D^{(2)}_{\ell+1}$
Published
• View Publication
• BIB
We study graded dimension formulas for finite quiver Hecke algebras $R^{Λ_0}(β)$ of type $A^{(2)}_{2\ell}$ and $D^{(2)}_{\ell+1}$ using combinatorics of Young walls. We introduce the notion of standard tableaux for proper Young walls and show that the standard tableaux form a graded poset with lattice structure. We next investigate Laurent polynomials associated with proper Young walls and their standard tableaux arising from the Fock space representations consisting of proper Young walls. Then we prove the graded dimension formulas described in terms of the Laurent polynomials. When evaluating at $q=1$, the graded dimension formulas recover the dimension formulas for $R^{Λ_0}(β)$ described in terms of standard tableaux of strict partitions.
Distinct distances from three points
Published in Combinator. Probab. Comp. 25 (2016) 623-632
• View Publication
• BIB
Let $p_1,p_2,p_3$ be three non-collinear points in the plane, and let $P$ be a set of $n$ other points in the plane. We show that the number of distinct distances between $p_1,p_2,p_3$ and the points of $P$ is $Ω(n^{6/11})$, improving the lower bound $Ω(n^{0.502})$ of Elekes and Szabó \cite{ESz} (and considerably simplifying the analysis).
Immersion in four-edge-connected graphs
Published
• View Publication
• BIB
Fix g>1. Every graph of large enough tree-width contains a g x g grid as a minor; but here we prove that every four-edge-connected graph of large enough tree-width contains a g x g grid as an immersion (and hence contains any fixed graph with maximum degree at most four as an immersion). This result has a number of applications.
On monotonicity-preserving perturbations of $M$-matrices
We obtain an explicit analytical sufficient condition on $E$ that ensures the monotonicity of the matrix $M+E$, where $M$ is an $M$-matrix.
Nonnegative rank of a matrix with one negative eigenvalue
Published
• View Publication
• BIB
We show that a rank-three symmetric matrix with exactly one negative eigenvalue can have arbitrarily large nonnegative rank.
Switching Reconstruction of Digraphs
Published
• View Publication
• BIB
Switching about a vertex in a digraph means to reverse the direction of every edge incident with that vertex. Bondy and Mercier introduced the problem of whether a digraph can be reconstructed up to isomorphism from the multiset of isomorphism types of digraphs obtained by switching about each vertex. Since the largest known non-reconstructible oriented graphs have 8 vertices, it is natural to ask whether there are any larger non-reconstructible graphs. In this paper we continue the investigation of this question. We find that there are exactly 44 non-reconstructible oriented graphs whose underlying undirected graphs have maximum degree at most 2. We also determine the full set of switching-stable oriented graphs, which are those graphs for which all switchings return a digraph isomorphic to the original.
Tight co-degree condition for the existence of loose Hamilton cycles in 3-graphs
Published
• View Publication
• BIB
In 2006, Kühn and Osthus showed that if a 3-graph H on n vertices has minimum co-degree at least (1/4 +o(1))n and n is even then H has a loose Hamilton cycle. In this paper, we prove that the minimum co-degree of n/4 suffices. The result is tight.
Complete intersection theorem and complete nontrivial-intersection theorem for systems of set partitions
Published
• View Publication
• BIB
We prove the complete intersection theorem and complete nontrivial-intersection theorem for systems of set partitions
Sporadic neighbour-transitive codes in Johnson graphs
Published
• View Publication
• BIB
We classify the neighbour-transitive codes in Johnson graphs J(v, k) of minimum distance at least three which admit a neighbour-transitive group of automorphisms that is an almost simple two-transitive group of degree v and does not occur in an infinite family of two-transitive groups. The result of this classification is a table of 22 codes with these properties. Many have relatively large minimum distance in comparison to their length v and number of code words. We construct an additional five neighbour-transitive codes with minimum distance two admitting such a group. All 27 codes are t-designs with t at least two.
Locally s-distance transitive graphs and pairwise transitive designs
Published
• View Publication
• BIB
The study of locally s-distance transitive graphs initiated by the authors in previous work, identified that graphs with a star quotient are of particular interest. This paper shows that the study of locally s-distance transitive graphs with a star quotient is equivalent to the study of a particular family of designs with strong symmetry properties that we call nicely affine and pairwise transitive. We show that a group acting regularly on the points of such a design must be abelian and give a general construction for this case.
Superpatterns and Universal Point Sets
Published in J. Graph Algorithms & Applications 18(2): 177-209, 2014
• View Publication
• BIB
An old open problem in graph drawing asks for the size of a universal point set, a set of points that can be used as vertices for straight-line drawings of all n-vertex planar graphs. We connect this problem to the theory of permutation patterns, where another open problem concerns the size of superpatterns, permutations that contain all patterns of a given size. We generalize superpatterns to classes of permutations determined by forbidden patterns, and we construct superpatterns of size n^2/4 + Theta(n) for the 213-avoiding permutations, half the size of known superpatterns for unconstrained permutations. We use our superpatterns to construct universal point sets of size n^2/4 - Theta(n), smaller than the previous bound by a 9/16 factor. We prove that every proper subclass of the 213-avoiding permutations has superpatterns of size O(n log^O(1) n), which we use to prove that the planar graphs of bounded pathwidth have near-linear universal point sets.
Tropicalizing the simplex algorithm
Published in SIAM J. Discrete Math. 29:2 (2015)
• View Publication
• BIB
We develop a tropical analog of the simplex algorithm for linear programming. In particular, we obtain a combinatorial algorithm to perform one tropical pivoting step, including the computation of reduced costs, in O(n(m+n)) time, where m is the number of constraints and n is the dimension.
Some results on the structure of multipoles in the study of snarks
Published
• View Publication
• BIB
Multipoles are the pieces we obtain by cutting some edges of a cubic graph. As a result of the cut, a multipole $M$ has dangling edges with one free end, which we call semiedges. Then, every 3-edge-coloring of a multipole induces a coloring or state of its semiedges, which satisfies the Parity Lemma. Multipoles have been extensively used in the study of snarks, that is, cubic graphs which are not 3-edge-colorable. Some results on the states and structure of the so-called color complete and color closed multipoles are presented. In particular, we give lower and upper linear bounds on the minimum order of a color complete multipole, and compute its exact number of states. Given two multipoles $M_1$ and $M_2$ with the same number of semiedges, we say that $M_1$ is reducible to $M_2$ if the state set of $M_2$ is a non-empty subset of the state set of $M_1$ and $M_2$ has less vertices than $M_1$. The function $v(m)$ is defined as the maximum number of vertices of an irreducible multipole with $m$ semiedges. The exact values of $v(m)$ are only known for $m\le 5$. We prove that tree and cycle multipoles are irreducible and, as a byproduct, that $v(m)$ has a linear lower bound.
Partition regularity of a system of De and Hindman
Published in INTEGERS 14 (2014), #A31, 7pp
• Search Publication
We prove that a certain matrix, which is not image partition regular over R near zero, is image partition regular over N. This answers a question of De and Hindman.
Proofs and generalizations of a homomesy conjecture of Propp and Roby
Published in Discrete Mathematics, 339 (2016), 194-206
• View Publication
• BIB
Let $G$ be a group acting on a set $X$ of combinatorial objects, with finite orbits, and consider a statistic $ξ: X \to \mathbb{C}$. Propp and Roby defined the triple $(X, G, ξ)$ to be \emph{homomesic} if for any orbits $\mathcal{O}_1, \mathcal{O}_2$, the average value of the statistic $ξ$ is the same, that is \[\frac{1}{{|\mathcal{O}_1|}}\sum_{x \in \mathcal{O}_1} ξ(x) = \frac{1}{|\mathcal{O}_2|}\sum_{y \in \mathcal{O}_2} ξ(y).\]
In 2013 Propp and Roby conjectured the following instance of homomesy. Let $\mathrm{SSYT}_k(m \times n)$ denote the set of semistandard Young tableaux of shape $m \times n$ with entries bounded by $k$. Let $S$ be any set of boxes in the $m \times n$ rectangle fixed under $180^\circ$ rotation. For $T \in \mathrm{SSYT}_k(m \times n)$, define $σ_S(T)$ to be the sum of the entries of $T$ in the boxes of $S$. Let $\langle \mathcal{P} \rangle$ be a cyclic group of order $k$ where $\mathcal{P}$ acts on $\mathrm{SSYT}_k(m \times n)$ by promotion. Then $(\mathrm{SSYT}_k(m \times n), \langle \mathcal{P} \rangle, σ_S)$ is homomesic.
We prove this conjecture, as well as a generalization to cominuscule posets. We also discuss analogous questions for tableaux with strictly increasing rows and columns under the K-promotion of Thomas and Yong, and prove limited results in that direction.
Results and conjectures on simultaneous core partitions
Published
• View Publication
• BIB
An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects.
In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C.
We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers.
The 1-2-3 Conjecture for Hypergraphs
Published
• View Publication
• BIB
A weighting of the edges of a hypergraph is called vertex-coloring if the weighted degrees of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this paper we show that such a weighting is possible from the weight set {1,2,...,r+1} for all hypergraphs with maximum edge size r>3 and not containing edges solely consisting of identical vertices. The number r+1 is best possible for this statement.
Further, the weight set {1,2,3,4,5} is sufficient for all hypergraphs with maximum edge size 3, up to some trivial exceptions.
The Erdős-Ko-Rado property for some 2-transitive groups
Published
• View Publication
• BIB
A subset of a group G of Sym(n) is intersecting if for any pair of permutations $π,σ\in G$ there is an $i$ in {1,2,...,n} such that $π(i) = σ(i)$. It has been shown, using an algebraic approach, that the largest intersecting sets in each of Sym(n), Alt(n) and PGL(2,q) are exactly the cosets of the point-stabilizers. In this paper, we show how this method can be applied more generally to many 2-transitive groups. We then apply this method to the Mathieu groups and to all 2-transtive groups with degree no more than 20.