Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Coupling Functions for Domino tilings of Aztec diamonds
Published
• View Publication
• BIB
The inverse Kasteleyn matrix of a bipartite graph holds much information about the perfect matchings of the system such as local statistics which can be used to compute local and global asymptotics. In this paper, we consider three different weightings of domino tilings of the Aztec diamond and show using recurrence relations, we can compute the inverse Kasteleyn matrix. These weights are the one-periodic weighting where the horizontal edges have one weight and the vertical edges have another weight, the q^{vol} weighting which corresponds to multiplying the product of tile weights by q if we add a `box' to the height function and the two-periodic weighting which exhibits a flat region with defects in the center.
A probabilistic approach for enumeration of certain Young tableaux
In this paper we establish an order statistics model of Young tableaux. Multiple integration over nested simplexes is applied to the enumeration of Young tableaux. A brief proof of Frobenius-Young's and Aitken's formulas is given. Partially standard Young tableaux and special truncated shapes including tableaux with a hole are discussed, the associated product formulas are given.
$α$-Large Families and Applications to Banach Space Theory
Published in Topology Appl. 172 (2014), 47-67
• View Publication
• BIB
The notion of $α$-large families of finite subsets of an infinite set is defined for every countable ordinal number $α$, extending the known notion of large families. The definition of the $α$-large families is based on the transfinite hierarchy of the Schreier families $\mathcal{S}_α, α<ω_1$. We prove the existence of such families on the cardinal number $2^{\aleph_0}$ and we study their properties. As an application, based on those families we construct a reflexive space $\mathfrak{X}_{2^{\aleph_0}}^α$, $α<ω_1$ with density the continuum, such that every bounded non norm convergent sequence $\{x_k\}_k$ has a subsequence generating $\ell_1^α$ as a spreading model.
The Packing Coloring of Distance Graphs $D(k,t)$
Published
• View Publication
• BIB
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $p$ such that vertices of $G$ can be partitioned into disjoint classes $X_{1}, ..., X_{p}$ where vertices in $X_{i}$ have pairwise distance greater than $i$. For $k < t$ we study the packing chromatic number of infinite distance graphs $D(k, t)$, i.e. graphs with the set $\Z$ of integers as vertex set and in which two distinct vertices $i, j \in \Z$ are adjacent if and only if $|i - j| \in \{k, t\}$.
We generalize results by Ekstein et al. for graphs $D (1, t)$. For sufficiently large $t$ we prove that $χ_ρ(D(k, t)) \leq 30$ for both $k$, $t$ odd, and that $χ_ρ(D(k, t)) \leq 56$ for exactly one of $k$, $t$ odd. We also give some upper and lower bounds for $χ_ρ(D(k, t))$ with small $k$ and $t$.
Keywords: distance graph; packing coloring; packing chromatic number
Binomial regular sequences and free sums
Published
• View Publication
• BIB
Recently several authors have proved results on Ehrhart series of free sums of rational polytopes. In this note we treat these results from an algebraic viewpoint. Instead of attacking combinatorial statements directly, we derive them from structural results on affine monoids and their algebras that allow conclusions for Hilbert and Ehrhart series. We characterize when a binomial regular sequence generates a prime ideal or even normality is preserved for the residue class ring.
Excluding Pairs of Graphs
Published
• View Publication
• BIB
For a graph $G$ and a set of graphs $\mathcal{H}$, we say that $G$ is {\em $\mathcal{H}$-free} if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Given an integer $P>0$, a graph $G$, and a set of graphs $\mathcal{F}$, we say that $G$ {\em admits an $(\mathcal{F},P)$-partition} if the vertex set of $G$ can be partitioned into $P$ subsets $X_1,..., X_P$, so that for every $i \in \{1,..., P\}$, either $|X_i|=1$, or the subgraph of $G$ induced by $X_i$ is $\{F\}$-free for some $F \in \mathcal{F}$.
Our first result is the following. For every pair $(H,J)$ of graphs such that $H$ is the disjoint union of two graphs $H_1$ and $H_2$, and the complement $J^c$ of $J$ is the disjoint union of two graphs $J_1^c$ and $J_2^c$, there exists an integer $P>0$ such that every $\{H,J\}$-free graph has an $(\{H_1,H_2,J_1,J_2\},P)$-partition. Using a similar idea we also give a short proof of one of the results of \cite{heroes}.
Our final result is a construction showing that if $\{H,J\}$ are graphs each with at least one edge, then for every pair of integers $r,k$ there exists a graph $G$ such that every $r$-vertex induced subgraph of $G$ is $\{H,J\}$-split, but $G$ does not admits an $(\{H,J\},k)$-partition.
Antipode and Primitive elements in the Hopf Monoid of Super Characters
Published in Journal of Algebraic Combinatorics, Volume 40, Issue 4, pp 903-938 (2014)
• View Publication
• BIB
From a recent paper, we recall the Hopf monoid structure on the supercharacters of the unipotent uppertriangular groups over a finite field. We give cancelation free formula for the antipode applied to the bases of class functions and power sum functions, giving new cancelation free formulae for the standard Hopf algebra of supercharacters and symmetric functions in noncommuting variables. We also give partial results for the antipode on the supercharacter basis, and explicitly describe the primitives of this Hopf monoid.
Spectra of the subdivision-vertex and subdivision-edge coronae
The subdivision graph $\mathcal{S}(G)$ of a graph $G$ is the graph obtained by inserting a new vertex into every edge of $G$. Let $G_1$ and $G_2$ be two vertex disjoint graphs. The \emph{subdivision-vertex corona} of $G_1$ and $G_2$, denoted by $G_1\odot G_2$, is the graph obtained from $\mathcal{S}(G_1)$ and $|V(G_1)|$ copies of $G_2$, all vertex-disjoint, by joining the $i$th vertex of $V(G_1)$ to every vertex in the $i$th copy of $G_2$. The \emph{subdivision-edge corona} of $G_1$ and $G_2$, denoted by $G_1\circleddash G_2$, is the graph obtained from $\mathcal{S}(G_1)$ and $|I(G_1)|$ copies of $G_2$, all vertex-disjoint, by joining the $i$th vertex of $I(G_1)$ to every vertex in the $i$th copy of $G_2$, where $I(G_1)$ is the set of inserted vertices of $\mathcal{S}(G_1)$. In this paper we determine the adjacency spectra, the Laplacian spectra and the signless Laplacian spectra of $G_1\odot G_2$ (respectively, $G_1\circleddash G_2$) in terms of the corresponding spectra of $G_1$ and $G_2$. As applications, the results on the spectra of $G_1\odot G_2$ (respectively, $G_1\circleddash G_2$) enable us to construct infinitely many pairs of cospectral graphs. The adjacency spectra of $G_1\odot G_2$ (respectively, $G_1\circleddash G_2$) help us to construct many infinite families of integral graphs. By using the Laplacian spectra, we also obtain the number of spanning trees and Kirchhoff index of $G_1\odot G_2$ and $G_1\circleddash G_2$, respectively.
Continued Fractions of Quadratic Numbers
Published in Acta Polytechnica, 53(4) (2013), 322-328
• View Publication
• BIB
In this paper, we will first summarize known results concerning continued fractions. Then we will limit our consideration to continued fractions of quadratic numbers. The second author described periods and sometimes precise form of continued fractions of $\sqrt{N}$, where $N$ is a natural number. In cases where we were able to find such results in literature, we recall the original authors, however many results seem to be new.
Dual Equivalence Graphs Revisited and the Explicit Schur Expansion of a Family of LLT Polynomials
Published
• View Publication
• BIB
In 2007 Sami Assaf introduced dual equivalence graphs as a method for demonstrating that a quasisymmetric function is Schur positive. The method involves the creation of a graph whose vertices are weighted by Ira Gessel's fundamental quasisymmetric functions so that the sum of the weights of a connected component is a single Schur function. In this paper, we improve on Assaf's axiomatization of such graphs, giving locally testable criteria that are more easily verified by computers. We further advance the theory of dual equivalence graphs by describing a broader class of graphs that correspond to an explicit Schur expansion in terms of Yamanouchi words. Along the way, we demonstrate several symmetries in the structure of dual equivalence graphs. We then apply these techniques to give explicit Schur expansions for a family of Lascoux-Leclerc-Thibon polynomials. This family properly contains the previously known case of polynomials indexed by two skew shapes, as was described in a 1995 paper by Christophe Carré and Bernard Leclerc. As an immediate corollary, we gain an explicit Schur expansion for a family of modified Macdonald polynomials in terms of Yamanouchi words. This family includes all polynomials indexed by shapes with at most three cells in the first row and at most two cells in the second row, providing an extension to the combinatorial description of the two column case described in 2005 by James Haglund, Mark Haiman, and Nick Loehr.
Cohen-Macaulay-ness in codimension for bipartite graphs
Published
• View Publication
• BIB
Let $G$ be an unmixed bipartite graph of dimension $d-1$. Assume that $K_{n,n}$, with $n\ge 2$, is a maximal complete bipartite subgraph of $G$ of minimum dimension. Then $G$ is Cohen-Macaulay in codimension $d-n+1$. This generalizes a characterization of Cohen-Macaulay bipartite graphs by Herzog and Hibi and a result of Cook and Nagel on unmixed Buchsbaum graphs. Furthermore, we show that any unmixed bipartite graph $G$ which is Cohen-Macaulay in codimension $t$, is obtained from a Cohen-Macaulay graph by replacing certain edges of $G$ with complete bipartite graphs. We provide some examples.
Simplicial vertices in graphs with no induced four-edge path or four-edge antipath, and the $H_6$-conjecture
Published in J. Graph Theory 76(4) (2014), 249-261
• View Publication
• BIB
Let $\mathcal{G}$ be the class of all graphs with no induced four-edge path or four-edge antipath. Hayward and Nastos \cite{MS} conjectured that every prime graph in $\mathcal{G}$ not isomorphic to the cycle of length five is either a split graph or contains a certain useful arrangement of simplicial and antisimplicial vertices. In this paper we give a counterexample to their conjecture, and prove a slightly weaker version. Additionally, applying a result of the first author and Seymour \cite{grow} we give a short proof of Fouquet's result \cite{C5} on the structure of the subclass of bull-free graphs contained in $\mathcal{G}$.
Excluding four-edge paths and their complements
We prove that a graph G contains no induced four-edge path and no induced complement of a four-edge path if and only if G is obtained from five-cycles and split graphs by repeatedly applying the following operations: substitution, split graph unification, and split graph unification in the complement ("split graph unification" is a new class-preserving operation that is introduced in this paper).
The shuffle relation of fractions from multiple zeta values
Published in Ramanujan Jour. 25 (2011) 307-317
• View Publication
• BIB
Partial fraction methods play an important role in the study of multiple zeta values. One class of such fractions is related to the integral representations of MZVs. We show that this class of fractions has a natural structure of shuffle algebra. This finding conceptualizes the connections among the various methods of stuffle, shuffle and partial fractions in the study of MZVs. This approach also gives an explicit product formula of the fractions.
Some combinatorial interpretations in perturbative quantum field theory
Published
• View Publication
• BIB
This paper will describe how combinatorial interpretations can help us understand the algebraic structure of two aspects of perturbative quantum field theory, namely analytic Dyson-Schwinger equations and periods of scalar Feynman graphs. The particular examples which will be looked at are, a better reduction to geometric series for Dyson-Schwinger equations, a subgraph which yields extra denominator reductions in scalar Feynman integrals, and an explanation of a trick of Brown and Schnetz to get one extra step in the denominator reduction of an important particular graph.
The Last Digit of $\binom{2n}{n}$ and $\sum\binom{n}{i}\binom{2n-2i}{n-i}$
Let $f_{n}=\sum_{i=0}^n \binom{n}{i}\binom{2n-2i}{n-i}$, $g_{n}= \sum_{i=1}^n \binom{n}{i}\binom{2n-2i}{n-i}$. Let $\{a_k\}_{k=1}$ be the set of all positive integers n, in increasing order, for which $\binom{2n}{n}$ is not divisible by 5, and let $\{b_k\}_{k=1}$ be the set of all positive integers n, in increasing order, for which $g_n$ is not divisible by 5. This note finds simple formulas for $a_k$, $b_k$, $\binom{2n}{n}\ mod\ 10$, $ f_{n}\ mod\ 10$, and $ g_{n}\ mod\ 10$.
Combinatorial rules for three bases of polynomials
Published in Seminaire Lotharingien de Combinatoire 74 (2015), Article B74a, 11pp
• Search Publication
We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x1,x2,....]. First, we prove a "splitting" rule for the basis of key polynomials [Demazure '74], thereby establishing a new positivity theorem about them. Second, we introduce an extension of [Kohnert '90]'s "moves" to conjecture the first combinatorial rule for a certain deformation [Lascoux '01] of the key polynomials. Third, we use the same extension to conjecture a new rule for the Grothendieck polynomials [Lascoux-Schutzenberger '82].
Impartial games whose rulesets produce given continued fractions
Published
• View Publication
• BIB
We study 2-player impartial games of the form take-away which produce P-positions (second player winning positions) corresponding to complementary Beatty sequences, given by the continued fractions (1;k,1,k,1,...) and (k+1;k,1,k,1,...). Our problem is the opposite of the main field of research in this area, which is to, given a game, understand its set of P-positions. We are rather given a set of (candidate) P-positions and look for "simple" rules. Our rules satisfy two criteria, they are given by a closed formula and they are invariant, that is, the available moves do not depend on the position played from (for all options with non-negative coordinates).
Critical Sets for Sudoku and General Graphs
Published
• View Publication
• BIB
We discuss the problem of finding critical sets in graphs, a concept which has appeared in a number of guises in the combinatorics and graph theory literature. The case of the Sudoku graph receives particular attention, because critical sets correspond to minimal fair puzzles. We define four parameters associated with the sizes of extremal critical sets and (a) prove several general results about these parameters' properties, including their computational intractability, (b) compute their values exactly for some classes of graphs, (c) obtain bounds for generalized Sudoku graphs, and (d) offer a number of open questions regarding critical sets and the aforementioned parameters.
Products of Young symmetrizers and ideals in the generic tensor algebra
Published in J. Algebraic Combin. 39, no. 2:247-270, 2014
• View Publication
• BIB
We describe a formula for computing the product of the Young symmetrizer of a Young tableau with the Young symmetrizer of a subtableau, generalizing the classical quasi-idempotence of Young symmetrizers. We derive some consequences to the structure of ideals in the generic tensor algebra and its partial symmetrizations. Instances of these generic algebras appear in the work of Sam and Snowden on twisted commutative algebras, as well as in the work of the author on the defining ideals of secant varieties of Segre-Veronese varieties, and in joint work of Oeding and the author on the defining ideals of tangential varieties of Segre-Veronese varieties.