Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Kronecker coefficients and noncommutative super Schur functions
Published
• View Publication
• BIB
The theory of noncommutative Schur functions can be used to obtain positive combinatorial formulae for the Schur expansion of various classes of symmetric functions, as shown by Fomin and Greene. We develop a theory of noncommutative super Schur functions and use it to prove a positive combinatorial rule for the Kronecker coefficients where one of the partitions is a hook, recovering previous results of the two authors. This method also gives a precise connection between this rule and a heuristic for Kronecker coefficients first investigated by Lascoux.
Noncommutative Schur functions, switchboards, and Schur positivity
Published
• View Publication
• BIB
The machinery of noncommutative Schur functions provides a general tool for obtaining Schur expansions for combinatorially defined symmetric functions. We extend this approach to a wider class of symmetric functions, explore its strengths and limitations, and obtain new results on Schur positivity. We introduce combinatorial gadgets called switchboards, an adaptation of the D graphs of S. Assaf, and show how symmetric functions associated to them (which include LLT, Macdonald, Stanley, and stable Grothendieck polynomials) fit into the noncommutative Schur functions approach. This extends earlier work by T. Lam, and by C. Greene and the second author, and provides new tools for obtaining combinatorial formulas for Schur expansions of LLT polynomials.
This paper can be regarded as a "prequel" to (and, partly, a review of) arXiv:1411.3624, arXiv:1411.3646, and arXiv:1510.00644.
The $\mathcal{G}$-invariant and catenary data of a matroid
Published in Advances in Applied Mathematics, 2018
• View Publication
• BIB
The catenary data of a matroid $M$ of rank $r$ on $n$ elements is the vector $(ν(M;a_0,a_1,\ldots,a_r))$, indexed by compositions $(a_0,a_1,\ldots,a_r)$, where $a_0 \geq 0$,\, $a_i > 0$ for $i \geq 1$, and $a_0+ a_1 + \cdots + a_r = n$, with the coordinate $ν(M;a_0,a_1, \ldots,a_r)$ equal to the number of maximal chains or flags $(X_0,X_1, \ldots,X_r)$ of flats or closed sets such that $X_i$ has rank $i$,\, $|X_0| = a_0$, and $|X_i - X_{i-1}| = a_i$. We show that the catenary data of $M$ contains the same information about $M$ as its $\mathcal{G}$-invariant, which was defined by H. Derksen [\emph{J.\ Algebr.\ Combin.}\ 30 (2009) 43--86]. The Tutte polynomial is a specialization of the $\mathcal{G}$-invariant. We show that many known results for the Tutte polynomial have analogs for the $\mathcal{G}$-invariant. In particular, we show that for many matroid constructions, the $\mathcal{G}$-invariant of the construction can be calculated from the $\mathcal{G}$-invariants of the constituents and that the $\mathcal{G}$-invariant of a matroid can be calculated from its size, the isomorphism class of the lattice of cyclic flats with lattice elements labeled by the rank and size of the underlying set. We also show that the number of flats and cyclic flats of a given rank and size can be derived from the $\mathcal{G}$-invariant, that the $\mathcal{G}$-invariant of $M$ is reconstructible from the deck of $\mathcal{G}$-invariants of restrictions of $M$ to its copoints, and that, apart from free extensions and coextensions, one can detect whether a matroid is a free product from its $\mathcal{G}$-invariant.
Notes on Various Methods for Constructing Directed Strongly Regular Graphs
Duval, in "A Directed Graph Version of Strongly Regular Graphs" [{\it Journal of Combinatorial Theory}, Series A 47 (1988) 71 - 100], introduced the concept of directed strongly regular graphs. In this paper we construct several rich families of directed strongly regular graphs with new parameters. Our constructions yielding new parameters are based on extending known explicit constructions to cover more parameter sets. We also explore some of the links between Cayley graphs, block matrices and directed strongly regular graphs with certain parameters. Directed strongly regular graphs which are also Cayley graphs are interesting due to their having more algebraic structure. We construct directed strongly regular Cayley graphs with parameters $((m+1)s,ls,ld,ld-d,ld)$ where $d,l$ and $s$ are integers with $dm=ls$ and $1\leq l<m$. We also give a new block matrix characterization for directed strongly regular graphs with parameters $(m(dm+1),dm,m,m-1,m)$, which were first dicussed by Duval et al. in "Semidirect Product Constructions of Directed Strongly Regular Graphs" [{\it Journal of Combinatorial Theory}, Series A 104 (2003) 157 - 167].
A transference approach to a Roth-type theorem in the squares
Published
• View Publication
• BIB
We show that any subset of the squares of positive relative upper density contains non-trivial solutions to a translation-invariant linear equation in five or more variables, with explicit quantitative bounds. As a consequence, we establish the partition regularity of any diagonal quadric in five or more variables whose coefficients sum to zero. Unlike previous approaches, which are limited to equations in seven or more variables, we employ transference technology of Green to import bounds from the linear setting.
Complexity of the Game Domination Problem
The game domination number is a graph invariant that arises from a game, which is related to graph domination in a similar way as the game chromatic number is related to graph coloring. In this paper we show that verifying whether the game domination number of a graph is bounded by a given integer is PSPACE-complete. This contrasts the situation of the game coloring problem whose complexity is still unknown.
An Algebraic Geometric Approach to Nivat's Conjecture
Published
• View Publication
• BIB
We study multidimensional configurations (infinite words) and subshifts of low pattern complexity using tools of algebraic geometry. We express the configuration as a multivariate formal power series over integers and investigate the setup when there is a non-trivial annihilating polynomial: a non-zero polynomial whose formal product with the power series is zero. Such annihilator exists, for example, if the number of distinct patterns of some finite shape D in the configuration is at most the size |D| of the shape. This is our low pattern complexity assumption. We prove that the configuration must be a sum of periodic configurations over integers, possibly with unbounded values. As a specific application of the method we obtain an asymptotic version of the well-known Nivat's conjecture: we prove that any two-dimensional, non-periodic configuration can satisfy the low pattern complexity assumption with respect to only finitely many distinct rectangular shapes D.
Divisionally free Restrictions of Reflection Arrangements
We study some aspects of divisionally free arrangements which were recently introduced by Abe. Crucially, Terao's conjecture on the combinatorial nature of freeness holds within this class. We show that while it is compatible with products, surprisingly, it is not closed under taking localizations. In addition, we determine all divisionally free restrictions of all reflection arrangements.
Generating Permutations with Restricted Containers
Published
• View Publication
• BIB
We investigate a generalization of stacks that we call $\mathcal{C}$-machines. We show how this viewpoint rapidly leads to functional equations for the classes of permutations that $\mathcal{C}$-machines generate, and how these systems of functional equations can frequently be solved by either the kernel method or, much more easily, by guessing and checking. General results about the rationality, algebraicity, and the existence of Wilfian formulas for some classes generated by $\mathcal{C}$-machines are given. We also draw attention to some relatively small permutation classes which, although we can generate thousands of terms of their enumerations, seem to not have D-finite generating functions.
A tight bound on the size of certain separating hash families
In this paper, we present a new lower bound on the size of separating hash families of type {w_1^{q-1},w_2} where w_1 < w_2. Our result extends the paper by Guo et al. on binary frameproof codes. This bound compares well against known general bounds, and is especially useful when trying to bound the size of strong separating hash families. We also show that our new bound is tight by constructing hash families that meet the new bound with equality.
About special elements in quaternion algebras over finite fields
Published
• View Publication
• BIB
In this paper we study special Fibonacci quaternions and special generalized Fibonacci-Lucas quaternions in quaternion algebras over finite fields.
A recurrence for an expression involving double factorials
We find a closed-form solution to the recurrence $\ z_{n+2} = \frac{1}{z_{n+1}} + z_n$, where $n \in \mathbb Z_{\geq 1}$ and $z_1 \in \mathbb R_{> 0},\ z_2 \in \mathbb R_{> 0}$. As a corollary, we derive an alternate proof of a recurrence for an expression involving double factorials which first appeared in the 2004 Putnam Contest. We subsequently pose several open questions suitable for motivated undergraduate students.
A zero-free interval for chromatic polynomials of graphs with 3-leaf spanning trees
Published
• View Publication
• BIB
It is proved that if $G$ is a graph containing a spanning tree with at most three leaves, then the chromatic polynomial of $G$ has no roots in the interval $(1,t_1]$, where $t_1 \approx 1.2904$ is the smallest real root of the polynomial $(t-2)^6 +4(t-1)^2(t-2)^3 -(t-1)^4$. We also construct a family of graphs containing such spanning trees with chromatic roots converging to $t_1$ from above. We employ the Whitney $2$-switch operation to manage the analysis of an infinite class of chromatic polynomials.
Regularity and Planarity of Token Graphs
Published in Discussiones Mathematicae Graph Theory, 37(3) (2017), 573-586
• View Publication
• BIB
Let $G=(V,E)$ be a graph of order $n$ and let $1\leq k< n$ be an integer. The $k$-token graph of $G$ is the graph whose vertices are all the $k$-subsets of $V$, two of which are adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper we characterize precisely, for each value of $k$, which graphs have a regular $k$-token graph and which connected graphs have a planar $k$-token graph.
Permutation Polynomials of $\Bbb F_{q^2}$ of the form $a{\tt X}+{\tt X}^{r(q-1)+1}$
Published
• View Publication
• BIB
Let $q$ be a prime power, $2\le r\le q$, and $f=a{\tt X}+{\tt X}^{r(q-1)+1}\in\Bbb F_{q^2}[{\tt X}]$, where $a\ne 0$. The conditions on $r,q,a$ that are necessary and sufficient for $f$ to be a permutation polynomial (PP) of ${\Bbb F}_{q^2}$ are not known. (Such conditions are known under an additional assumption that $a^{q+1}=1$.) In this paper, we prove the following: (i) If $f$ is a PP of ${\Bbb F}_{q^2}$, then $\text{gcd}(r,q+1)>1$ and $(-a)^{(q+1)/\text{gcd}(r,q+1)}\ne 1$. (ii) For a fixed $r>2$ and subject to the conditions that $q+1\equiv 0\pmod r$ and $a^{q+1}\ne 1$, there are only finitely many $(q,a)$ for which $f$ is a PP of ${\Bbb F}_{q^2}$. Combining (i) and (ii) confirms a recent conjecture regarding the type of permutation binomial considered here.
Symmetric group characters as symmetric functions (extended abstract)
The irreducible characters of the symmetric group are a symmetric polynomial in the eigenvalues of a permutation matrix. They can therefore be realized as a symmetric function that can be evaluated at a set of variables and form a basis of the symmetric functions. This basis of the symmetric functions is of non-homogeneous degree and the (outer) product structure coefficients are the stable Kronecker coefficients.
We introduce the irreducible character basis by defining it in terms of the induced trivial characters of the symmetric group which also form a basis of the symmetric functions. The irreducible character basis is closely related to character polynomials and we obtain some of the change of basis coefficients by making this connection explicit. Other change of basis coefficients come from a representation theoretic connection with the partition algebra, and still others are derived by developing combinatorial expressions.
This document is an extended abstract which can be used as a review reference so that this basis can be implemented in Sage. A more complete version of the results in this abstract can be found in {\tt arXiv:1605.06672}.
On the stability of some Erdős--Ko--Rado type results
Published
• View Publication
• BIB
Consider classical Kneser's graph $K(n,r)$: for two natural numbers $ r, n $ such that $r \le n / 2$, its vertices are all the subsets of $[n]=\{1,2,\ldots,n\}$ of size $r$, and two such vertices are adjacent if the corresponding subsets are disjoint. The Erdős--Ko--Rado theorem states that the size of the largest independent set in this graph is $\binom{n-1}{r-1}$. Now let us delete each edge of the graph $K(n,r)$ with some fixed probability $p$ independently of each other. Quite surprisingly, the independence number of such random subgraph $K_p(n,r)$ of the graph $ K(n,r) $ is, with high probability, the same as the independence number of the initial graph. This phenomenon is called the stability of the independence number. This paper concerns the independence number of random subgraphs of the graph $G(n,r,1)$, which vertices are the same as in the Kneser graph and there is an edge between two vertices if they intersect in exactly one element. We prove the stability result for constant $r$ and $p=\frac{1}{2}$. To do that, we show that any sufficiently large independent set in $G(n,r,1)$ has some predefined structure, and this is a result of independent interest.
Two-color balanced affine urn models with multiple drawings II: large-index and triangular urns
This is the second part of a two-part investigation. We continue the study of a class of balanced urn schemes on balls of two colors (white and black). At each drawing, a sample of size $m\ge 1$ is drawn from the urn and ball addition rules are applied; the special case $m=1$ of sampling only a single ball coincides with ordinary balanced urn models. We consider these multiple drawings under sampling with or without replacement. For the class of affine conditional expected value, we study the number of white balls after $n$ steps. The affine class is parametrized by $Λ$, specified by the ratio of the two eigenvalues of a reduced ball replacement matrix and the sample size, leading to three different cases: small-index urns ($Λ\le \frac 1 2$, and the case $Λ= \frac 1 2$ is critical), large-index urns ($Λ> \frac 1 2$), and triangular urns. In Part I we derived a central limit theorem for small index urns, and proved almost-sure convergence for large index and triangular urn models. In the present paper (Part II), we continue the study of affiance urn schemes and study the moments of large-index urns and triangular urn models. We show moment convergence under suitable scaling and we also provide expressions for the moments.
Chebyshev polynomials, quadratic surds and a variation of Pascal's triangle
Using Chebyshev polynomialsof both kinds, we construct rational fractions which are convergents of the smallest root of $x^2-αx+1$ for $α=3,4,5,\dots$.Some of the underlying identities suggest an identity involving binomialcoefficients which leads to a triangular array sharing many propertieswith Pascal's triangle.
Automated Discovery and Proof of Congruence Theorems for Partial Sums of Combinatorial Sequences
Published
• View Publication
• BIB
Many combinatorial sequences (for example, the Catalan and Motzkin numbers) may be expressed as the constant term of $P(x)^k Q(x)$, for some Laurent polynomials $P(x)$ and $Q(x)$ in the variable $x$ with integer coefficients. Denoting such a sequence by $a_k$, we obtain a general formula that determines the congruence class, modulo $p$, of the indefinite sum $\sum_{k=0}^{rp -1} a_k$, for {\it any} prime $p$, and any positive integer $r$, as a linear combination of sequences that satisfy linear recurrence (alias difference) equations with constant coefficients. This enables us (or rather, our computers) to automatically discover and prove congruence theorems for such partial sums. Moreover, we show that in many cases, the set of the residues is finite, regardless of the prime $p$.