Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Matching expectations
The game of memory is played with a deck of n pairs of cards. The cards in each pair are identical. The deck is shuffled and the cards laid face down. A move consists of flipping over first one card then another. The cards are removed from play if they match. Otherwise, they are flipped back over and the next move commences. A game ends when all pairs have been matched. We determine that, when the game is played optimally, as n tends to infinity: 1) The expected number of moves is (3 - 2 ln 2)n + 7/8 - 2 ln 2 (approximately 1.61 n), 2) The expected number of times two matching cards are unwittingly flipped over is ln 2, and 3) The expected number of flips until two matching cards have been seen is asymptotically sqrt{pi n}.
Combinatorial expansions for families of non-commutative k-Schur functions
Published
• View Publication
• BIB
We apply down operators in the affine nilCoxeter algebra to yield explicit combinatorial expansions for certain families of non-commutative k-Schur functions. This yields a combinatorial interpretation for a new family of k-Littlewood-Richardson coefficients.
Eigenvalues and Linear Quasirandom Hypergraphs
Published
• View Publication
• BIB
Let p(k) denote the partition function of k. For each k >= 2, we describe a list of p(k)-1 quasirandom properties that a k-uniform hypergraph can have. Our work connects previous notions on linear hypergraph quasirandomness of Kohayakawa-Rödl-Skokan and Conlon-Hàn-Person-Schacht and the spectral approach of Friedman-Wigderson. For each of the quasirandom properties that are described, we define a largest and second largest eigenvalue. We show that a hypergraph satisfies these quasirandom properties if and only if it has a large spectral gap. This answers a question of Conlon-Hàn-Person-Schacht. Our work can be viewed as a partial extension to hypergraphs of the seminal spectral results of Chung-Graham-Wilson for graphs.
Topology of eigenspace posets for imprimitive reflection groups
Published
• View Publication
• BIB
This paper studies the poset of eigenspaces of elements of an imprimitive unitary reflection group, for a fixed eigenvalue, ordered by the reverse of inclusion. The study of this poset is suggested by the eigenspace theory of Springer and Lehrer. The posets are shown to be isomorphic to certain subposets of Dowling lattices (the `d-divisible, k-evenly coloured Dowling lattices'). This enables us to prove that these posets are Cohen-Macaulay, and to determine the dimension of their top homology.
Frobenius map for the centers of Hecke algebras
Published in Trans. Amer. Math. Soc. 367 (2015), 5507--5520
• View Publication
• BIB
We introduce a commutative associative graded algebra structure on the direct sum Z of the centers of the Hecke algebras associated to the symmetric groups in n letters for all n. As a natural deformation of the classical construction of Frobenius, we establish an algebra isomorphism from the algebra Z to the ring of symmetric functions. This isomorphism provides an identification between several distinguished bases for the centers (introduced by Geck-Rouquier, Jones, Lascoux) and explicit bases of symmetric functions.
Elusive Codes in Hamming Graphs
Published
• View Publication
• BIB
We consider a code to be a subset of the vertex set of a Hamming graph. We examine elusive pairs, code-group pairs where the code is not determined by knowledge of its set of neighbours. We construct a new infinite family of elusive pairs, where the group in question acts transitively on the set of neighbours of the code. In our examples, we find that the alphabet size always divides the length of the code, and prove that there is no elusive pair for the smallest set of parameters for which this is not the case. We also pose several questions regarding elusive pairs.
A nonconstructive Proof to show the Convergence of the $n^{th}$ root of diagonal Ramsey Number $r(n, n)$
Does the $n^{th}$ root of the diagonal Ramsey number converge to a finite limit? The answer is yes. A sequence can be shown to converge if it satifies convergence conditions other than or besides monotonicity. We show such a property holds for which the sequence of $n^{th}$ roots does converge, even if one has no a priori knowledge as to whether the sequence is monotone or not. We show also the $n^{th}$ root of the diagonal Ramsey number can be expressed as a product of two factors, the first being a known convergent sequence and the second being an absolutely convergent infinite series. One also can express it where one product is convergent and the other has all its values from a uniformly convergent complex function holomorphic within the unit disc on the complex plane. Our motivation solely is to prove the conjecture as a problem in search of a solution, not to establish some deep theory about graphs. A second question is: If the limit exists what is it? At the time of this writing the understanding is the proofs sought need not be constructive. Here we show by nonconstructive proofs that the $n^{th}$ root of the diagonal Ramsey number converges to a finite limit. We also show that the limit of the $j^{th}$ root of the diagonal Ramsey number is two, where positive integer $j$ depends upon the Ramsey number.
Weighted representation functions on $\mathbb{Z}_m$
Published in Taiwan. J. Math. 17 (2013), 1311-1319. Erratum. 18 (2014), 1329
• View Publication
• BIB
Let $m$, $k_1$, and $k_2$ be three integers with $m\ge 2$. For any set $A\subseteq \mathbb{Z}_m$ and $n\in \mathbb{Z}_m$, let $\hat{r}_{k_1,k_2}(A,n)$ denote the number of solutions of the equation $n=k_1a_1+k_2a_2$ with $a_1,a_2\in A$. In this paper, using exponential sums, we characterize all $m$, $k_1$, $k_2$, and $A$ for which $\hat{r}_{k_1,k_2}(A,n)=\hat{r}_{k_1,k_2}(\mathbb{Z}_m\setminus A,n)$ for all $n\in \mathbb{Z}_m$. We also pose several problems for further research.
The Super Catalan Numbers $S(m, m + s)$ for $s \leq 4$
We give a combinatorial interpretation using lattice paths for the super Catalan number $S(m, m+s)$ for $s \leq 3$ and a separate interpretation for $s = 4$.
On the vertices of the d-dimensional Birkhoff polytope
Published
• View Publication
• BIB
Consider the Birkhoff polytope of n by n doubly-stochastic matrices. As the Birkhoff-von Neumann theorem famously states, its vertex set coincides with the set of all n by n permutation matrices. Here we seek a higher-dimensional analog of this basic fact. Namely, consider the polytope which consists of all tristochastic arrays of order n. These are n by n by n arrays with nonnegative entries in which every line sums to 1. What can be said about its vertex set?
It is well-known that an order-n Latin square may be viewed as a tristochastic array where every line contains n-1 zeros and a single 1 entry. Indeed, every Latin square of order n is a vertex, but as we show, such vertices constitute only a vanishingly small part of the total number of vertices.
More concretely, we show that the number of vertices is at least (L_n)^{3/2-o(1)}, where L_n is the number of order-n Latin squares. We also briefly consider similar problems concerning the polytope of n by n by n arrays where the entries in every coordinate hyperplane sum to 1. Several open questions are presented as well.
Poset-free Families and Lubell-boundedness
Published
• View Publication
• BIB
Given a finite poset $P$, we consider the largest size $\lanp$ of a family $\F$ of subsets of $[n]:=\{1,...,n\}$ that contains no subposet $P$. This continues the study of the asymptotic growth of $\lanp$; it has been conjectured that for all $P$, $π(P):= \lim_{n\rightarrow\infty} \lanp/\nchn$ exists and equals a certain integer, $e(P)$. While this is known to be true for paths, and several more general families of posets, for the simple diamond poset $\D_2$, the existence of $π$ frustratingly remains open. Here we develop theory to show that $π(P)$ exists and equals the conjectured value $e(P)$ for many new posets $P$. We introduce a hierarchy of properties for posets, each of which implies $π=e$, and some implying more precise information about $\lanp$. The properties relate to the Lubell function of a family $\F$ of subsets, which is the average number of times a random full chain meets $\F$. We present an array of examples and constructions that possess the properties.
Supersaturation Problem for Color-Critical Graphs
Published
• View Publication
• BIB
The \emph{Turán function} $\ex(n,F)$ of a graph $F$ is the maximum number of edges in an $F$-free graph with $n$ vertices. The classical results of Turán and Rademacher from 1941 led to the study of supersaturated graphs where the key question is to determine $h_F(n,q)$, the minimum number of copies of $F$ that a graph with $n$ vertices and $\ex(n,F)+q$ edges can have.
We determine $h_F(n,q)$ asymptotically when $F$ is \emph{color-critical} (that is, $F$ contains an edge whose deletion reduces its chromatic number) and $q=o(n^2)$.
Determining the exact value of $h_F(n,q)$ seems rather difficult. For example, let $c_1$ be the limit superior of $q/n$ for which the extremal structures are obtained by adding some $q$ edges to a maximum $F$-free graph. The problem of determining $c_1$ for cliques was a well-known question of Erd\H os that was solved only decades later by Lovász and Simonovits. Here we prove that $c_1>0$ for every {color-critical}~$F$. Our approach also allows us to determine $c_1$ for a number of graphs, including odd cycles, cliques with one edge removed, and complete bipartite graphs plus an edge.
On Barnette's Conjecture and $H^{+-}$ property
Published
• View Publication
• BIB
A conjecture of Barnette states that every 3-connected cubic bipartite plane graph has a Hamilton cycle, which is equivalent to the statement that every simple even plane triangulation admits a partition of its vertex set into two subsets so that each induces a tree.
Let $G$ be a simple even plane triangulation and suppose that ${V_1, V_2, V_3}$ is a 3-coloring of the vertex set of $G$. Let $B_{i}$, $i = 1, 2, 3$, be the set of all vertices in $V_i$ of the degree at least 6. We prove that if induced graphs $G[B_1 \cup B_2]$ and $G[B_1 \cup B_3]$ are acyclic, then the following properties are satisfied: [6pt] (1) For every path $abc$ there is possible to partition the vertex set of $G$ into two subsets so that each induces a tree, and one of them contains the edge $ab$ and avoids the vertex $c$, [6pt] (2) For every path $abc$ with vertices $a$, $c$ of the same color there is possible to partition the vertex set of $G$ into two subsets so that each induces a tree, and one of them contains the path $abc$.
T-systems with boundaries from network solutions
Published
• View Publication
• BIB
In this paper, we use the network solution of the $A_r$ $T$-system to derive that of the unrestricted $A_\infty$ $T$-system, equivalent to the octahedron relation. We then present a method for implementing various boundary conditions on this system, which consists of picking initial data with suitable symmetries. The corresponding restricted $T$-systems are solved exactly in terms of networks. This gives a simple explanation for phenomena such as the Zamolodchikov periodicity property for $T$-systems (corresponding to the case $A_\ell\times A_r$) and a combinatorial interpretation for the positive Laurent property of the variables of the associated cluster algebra. We also explain the relation between the $T$-system wrapped on a torus and the higher pentagram maps of Gekhtman et al.
The Gerby Gopakumar-Mariño-Vafa Formula
Published in Geom. Topol. 17 (2013) 2935-2976
• View Publication
• BIB
We prove a formula for certain cubic $\Z_n$-Hodge integrals in terms of loop Schur functions. We use this identity to prove the Gromov-Witten/Donaldson-Thomas correspondence for local $\Z_n$-gerbes over $\proj^1$.
The Loop Murnaghan-Nakayama Rule
Published in Journal of Algebraic Combinatorics 39 (2014), 3-15
• View Publication
• BIB
We give a combinatorial proof of a natural generalization of the Murnaghan-Nakayama rule to loop Schur functions. We also define shifted loop Schur functions and prove that they satisfy a similar relation.
Affine polar spaces derived from polar spaces and Grassmann structures defined on them
We prove that an affine polar space in the meaning of Cohen and Shult can be recovered from one of the three adjacency relations on a Grassmann structure over it. The result directly generalizes the results of our previous work where we use an affine space over a vector space equipped with a nondegenerate reflexive form as a starting point to the Cohen-Shult affine polar spaces.
Enumerating triangulations by parallel diagonals
The triangulations of a regular convex polygon are enumerated according to the number of diagonals parallel to a fixed edge. The enumeration uses the Shapiro convolution identity, as well as an interpretation of this identity in terms of triangulations.
Non-normal very ample polytopes and their holes
Published
• View Publication
• BIB
In this paper, we show that for given integers $h$ and $d$ with $h \geq 1$ and $d \geq 3$, there exists a non-normal very ample integral convex polytope of dimension $d$ which has exactly $h$ holes.
The least eigenvalues of signless Laplacian of non-bipartite graphs with pendant vertices
Published in Discrete Mathematics,2013,313(7),903-909
• View Publication
• BIB
In this paper we determine the graph whose least eigenvalue of signless Laplacian attains the minimum or maximum among all connected non-bipartite graphs of fixed order and given number of pendant vertices. Thus we obtain a lower bound and an upper bound for the least eigenvalue of signless Laplacian of a graph in terms of the number of pendent vertices.