Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A Generalisation of Isomorphisms with Applications
In this paper, we study the behaviour of TF-isomorphisms, a natural generalisation of isomorphisms. TF-isomorphisms allow us to simplify the approach to seemingly unrelated problems. In particular, we mention the Neighbourhood Reconstruction problem, the Matrix Symmetrization problem and Stability of Graphs. We start with a study of invariance under TF-isomorphisms. In particular, we show that alternating trails and incidence double covers are conserved by TF-isomorphisms, irrespective of whether they are TF-isomorphisms between graphs or digraphs. We then define an equivalence relation and subsequently relate its equivalence classes to the incidence double cover of a graph. By directing the edges of an incidence double cover from one colour class to the other and discarding isolated vertices we obtain an invariant under TF-isomorphisms which gathers a number of invariants. This can be used to study TF-orbitals, an analogous generalisation of the orbitals of a permutation group.
Reconfiguring Independent Sets in Claw-Free Graphs
Published
• View Publication
• BIB
We present a polynomial-time algorithm that, given two independent sets in a claw-free graph $G$, decides whether one can be transformed into the other by a sequence of elementary steps. Each elementary step is to remove a vertex $v$ from the current independent set $S$ and to add a new vertex $w$ (not in $S$) such that the result is again an independent set. We also consider the more restricted model where $v$ and $w$ have to be adjacent.
Combinatorial results on (1,2,1,2)-avoiding $GL(p,\mathbb{C}) \times GL(q,\mathbb{C})$-orbit closures on $GL(p+q, \mathbb{C})/B$
Published in International Math. Research Notices 2015, 13148--13193
• View Publication
• BIB
Using recent results of the second author which explicitly identify the "$(1,2,1,2)$-avoiding" $GL(p,\mathbb{C}) \times GL(q,\mathbb{C})$-orbit closures on the flag manifold $GL(p+q,\mathbb{C})/B$ as certain Richardson varieties, we give combinatorial criteria for determining smoothness, lci-ness, and Gorensteinness of such orbit closures. (In the case of smoothness, this gives a new proof of a theorem of W.M. McGovern.) Going a step further, we also describe a straightforward way to compute the singular locus, the non-lci locus, and the non-Gorenstein locus of any such orbit closure.
We then describe a manifestly positive combinatorial formula for the Kazhdan-Lusztig-Vogan polynomial $P_{τ,γ}(q)$ in the case where $γ$ corresponds to the trivial local system on a $(1,2,1,2)$-avoiding orbit closure $Q$ and $τ$ corresponds to the trivial local system on any orbit $Q'$ contained in $\overline{Q}$. This combines the aforementioned result of the second author, results of A. Knutson, the first author, and A. Yong, and a formula of Lascoux and Schützenberger which computes the ordinary (type $A$) Kazhdan-Lusztig polynomial $P_{x,w}(q)$ whenever $w \in S_n$ is cograssmannian.
Volumes of convex lattice polytopes and a question of V. I. Arnold
We show by a direct construction that there are at least $\exp\{cV^{(d-1)/(d+1)}\}$ convex lattice polytopes in $\mathbb{R}^d$ of volume $V$ that are different in the sense that none of them can be carried to an other one by a lattice preserving affine transformation. This is achieved by considering the family $\mathcal{P}^d(r)$ (to be defined in the text) of convex lattice polytopes whose volumes are between $0$ and $r^d/d!$. Namely we prove that for $P \in \mathcal{P}^d(r)$, $d!\mathrm{vol\;} P$ takes all possible integer values between $cr^{d-1}$ and $r^d$ where $c>0$ is a constant depending only on $d$.
Hall-Littlewood polynomials and Cohen-Lenstra heuristics for Jacobians of random graphs
Published
• View Publication
• BIB
Cohen-Lenstra heuristics for Jacobians of random graphs give rise to random partitions. We connect these random partitions to the Hall-Littlewood polynomials of symmetric function theory, and use this connection to give combinatorial proofs of properties of these random partitions. In addition, we use Markov chains to give an algorithm for generating these partitions.
Brooks' Theorem and Beyond
Published in J. Graph Theory. Vol. 80(3), November 2015, pp. 199-225
• View Publication
• BIB
We collect some of our favorite proofs of Brooks' Theorem, highlighting advantages and extensions of each. The proofs illustrate some of the major techniques in graph coloring, such as greedy coloring, Kempe chains, hitting sets, and the Kernel Lemma. We also discuss standard strengthenings of vertex coloring, such as list coloring, online list coloring, and Alon--Tarsi orientations, since analogues of Brooks' Theorem hold in each context. We conclude with two conjectures along the lines of Brooks' Theorem that are much stronger, the Borodin--Kostochka Conjecture and Reed's Conjecture.
Deriving Faà di Bruno's formula for the derivative of a composite function via compositions of integers
We give yet another proof for Faà di Bruno's formula for higher derivatives of composite functions. Our proof technique relies on reinterpreting the composition of two power series as the generating function for weighted integer compositions, for which a Faà di Bruno-like formula is quite naturally established.
Vertically symmetric alternating sign matrices and a multivariate Laurent polynomial identity
Published
• View Publication
• BIB
In 2007, the first author gave an alternative proof of the refined alternating sign matrix theorem by introducing a linear equation system that determines the refined ASM numbers uniquely. Computer experiments suggest that the numbers appearing in a conjecture concerning the number of vertically symmetric alternating sign matrices with respect to the position of the first 1 in the second row of the matrix establish the solution of a linear equation system similar to the one for the ordinary refined ASM numbers. In this paper we show how our attempt to prove this fact naturally leads to a more general conjectural multivariate Laurent polynomial identity. Remarkably, in contrast to the ordinary refined ASM numbers, we need to extend the combinatorial interpretation of the numbers to parameters which are not contained in the combinatorial admissible domain. Some partial results towards proving the conjectured multivariate Laurent polynomial identity and additional motivation why to study it are presented as well.
A Murnaghan-Nakayama Rule For Noncommutative Schur Functions
Published
• View Publication
• BIB
We prove a Murnaghan-Nakayama rule for the noncommutative Schur functions introduced by Bessenrodt, Luoto and van Willigenburg. In other words, we give an explicit combinatorial formula for expanding the product of a noncommutative power sum symmetric function and a noncommutative Schur function in terms of noncommutative Schur functions. In direct analogy to the classical Murnaghan-Nakayama rule, the summands are computed using a noncommutative analogue of border strips, and have coefficients equal to 1 or -1 determined by the height of these border strips. The rule is proved by interpreting the noncommutative Pieri rules for noncommutative Schur functions in terms of box-adding operators on compositions.
Minimal counterexamples and discharging method
Recently, the author found that there is a common mistake in some papers by using minimal counterexample and discharging method. We first discuss how the mistake is generated, and give a method to fix the mistake. As an illustration, we consider total coloring of planar or toroidal graphs, and show that: if $G$ is a planar or toroidal graph with maximum degree at most $κ- 1$, where $κ\geq 11$, then the total chromatic number is at most $κ$.
Several variants of the Dumont differential system and permutation statistics
Published
• View Publication
• BIB
The Dumont differential system on the Jacobi elliptic functions was introduced by Dumont (Math Comp, 1979, 33: 1293--1297) and was extensively studied by Dumont, Viennot, Flajolet and so on. In this paper, we first present a labeling scheme for the cycle structure of permutations. We then introduce two types of Jacobi-pairs of differential equations. We present a general method to derive the solutions of these differential equations. As applications, we present some characterizations for several permutation statistics.
The Erdős-Gyárfás problem on generalized Ramsey numbers
Published
• View Publication
• BIB
Fix positive integers $p$ and $q$ with $2 \leq q \leq {p \choose 2}$. An edge-coloring of the complete graph $K_n$ is said to be a $(p, q)$-coloring if every $K_p$ receives at least $q$ different colors. The function $f(n, p, q)$ is the minimum number of colors that are needed for $K_n$ to have a $(p,q)$-coloring. This function was introduced by Erdős and Shelah about 40 years ago, but Erdős and Gyárfás were the first to study the function in a systematic way. They proved that $f(n, p, p)$ is polynomial in $n$ and asked to determine the maximum $q$, depending on $p$, for which $f(n,p,q)$ is subpolynomial in $n$. We prove that the answer is $p-1$.
Regular Polygonal Complexes of Higher Ranks in E^3
Published in Model. Anal. Inform. Sist. 20 (2013), 103-110
• View Publication
• BIB
The paper establishes that the rank of a regular polygonal complex in 3-space E^3 cannot exceed 4, and that the only regular polygonal complexes of rank 4 in 3-space are the eight regular 4-apeirotopes.
Mixed, Multi-color, and Bipartite Ramsey Numbers Involving Trees of Small Diameter
In this paper we study Ramsey numbers for trees of diameter 3 (bistars) vs., respectively, trees of diameter 2 (stars), complete graphs, and many complete graphs. In the case of bistars vs. many complete graphs, we determine this number exactly as a function of the Ramsey number for the complete graphs. We also determine the order of growth of the bipartite $k$-color Ramsey number for a bistar.
Polyhedra, Complexes, Nets and Symmetry
Published
• View Publication
• BIB
Skeletal polyhedra and polygonal complexes in ordinary Euclidean 3-space are finite or infinite 3-periodic structures with interesting geometric, combinatorial, and algebraic properties. They can be viewed as finite or infinite 3-periodic graphs (nets) equipped with additional structure imposed by the faces, allowed to be skew, zig-zag, or helical. A polyhedron or complex is "regular" if its geometric symmetry group is transitive on the flags (incident vertex-edge-face triples). There are 48 regular polyhedra (18 finite polyhedra and 30 infinite apeirohedra), as well as 25 regular polygonal complexes, all infinite, which are not polyhedra. Their edge graphs are nets well-known to crystallographers, and we identify them explicitly. There also are 6 infinite families of "chiral" apeirohedra, which have two orbits on the flags such that adjacent flags lie in different orbits.
Bootstrapping and Askey-Wilson polynomials
Published
• View Publication
• BIB
The mixed moments for the Askey-Wilson polynomials are found using a bootstrapping method and connection coefficients. A similar bootstrapping idea on generating functions gives a new Askey-Wilson generating function. An important special case of this hierarchy is a polynomial which satisfies a four term recurrence, and its combinatorics is studied.
Union-intersecting set systems
Published
• View Publication
• BIB
Three intersection theorems are proved. First, we determine the size of the largest set system, where the system of the pairwise unions is l-intersecting. Then we investigate set systems where the union of any s sets intersect the union of any t sets. The maximal size of such a set system is determined exactly if s+t<5, and asymptotically if s+t>4. Finally, we exactly determine the maximal size of a k-uniform set system that has the above described (s,t)-union-intersecting property, for large enough n.
Skew-symmetric matrices and their principal minors
Let $V$ be a nonempty finite set and $A=(a_{ij})_{i,j\in V}$ be a matrix with entries in a field $\mathbb{K}$. For a subset $X$ of $V$, we denote by $A[X]$ the submatrix of $A$ having row and column indices in $X$. We study the following problem. Given a positive integer $k$, what is the relationship between two matrices $A=(a_{ij})_{i,j\in V}$, $B=(b_{ij})_{i,j\in V}$ with entries in $\mathbb{K}$ and such that $\det(A\left[ X\right])=\det(B\left[ X\right])$ for any subset $X$ of $V$ of size at most $k$ ? The Theorem that we get in this Note is an improvement of a result of R. Loewy [5] for skew-symmetric matrices whose all off-diagonal entries are nonzero.
On the maximum number of points in a maximal intersecting family of finite sets
Published
• View Publication
• BIB
Paul Erdős and László Lovász proved in a landmark article that, for any positive integer $k$, up to isomorphism there are only finitely many maximal intersecting families of $k-$sets (maximal $k-$cliques). So they posed the problem of determining or estimating the largest number $N(k)$ of the points in such a family. They also proved by means of an example that $N(k)\geq2k-2+\frac{1}{2}\binom{2k-2}{k-1}$. Much later, Zsolt Tuza proved that the bound is best possible up to a multiplicative constant by showing that asymptotically $N(k)$ is at most $4$ times this lower bound. In this paper we reduce the gap between the lower and upper bound by showing that asymptotically $N(k)$ is at most $3$ times the Erdős-Lovász lower bound. Conjecturally, the explicit upper bound obtained in this paper is only double the lower bound.
The universality theorem for neighborly polytopes
Published
• View Publication
• BIB
In this note, we prove that every open primary basic semialgebraic set is stably equivalent to the realization space of an even-dimensional neighborly polytope. This in particular provides the final step for Mnëv's proof of the universality theorem for simplicial polytopes.