Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Double Aztec Rectangles
Published
• View Publication
• BIB
We investigate the connection between lozenge tilings and domino tilings by introducing a new family of regions obtained by attaching two different Aztec rectangles. We prove a simple product formula for the generating functions of the tilings of the new regions, which involves the statistics as in the Aztec diamond theorem (Elkies, Kuperberg, Larsen, and Propp, J. Algebraic Combin. 1992). Moreover, we consider the connection between the generating function and MacMahon's $q$-enumeration of plane partitions fitting in a given box
Enumeration of copermanental graphs
Let $G$ be a graph and $A$ the adjacency matrix of $G$. The permanental polynomial of $G$ is defined as $\mathrm{per}(xI-A)$. In this paper some of the results from a numerical study of the permanental polynomials of graphs are presented. We determine the permanental polynomials for all graphs on at most 11 vertices, and count the numbers for which there is at least one other graph with the same permanental polynomial. The data give some indication that the fraction of graphs with a copermanental mate tends to zero as the number of vertices tends to infinity, and show that the permanental polynomial does be better than characteristic polynomial when we use them to characterize graphs.
Sum of dilates in vector spaces
Let $d\geq 2$, $A \subset \mathbb{Z}^d$ be finite and not contained in a translate of any hyperplane, and $q \in \mathbb{Z}$ such that $|q| > 1$. We show $$|A+ q \cdot A| \geq (|q|+d+1)|A| - O_{q,d}(1).$$
The Colored Eulerian Descent Algebra
Published
• View Publication
• BIB
Using a new colored analogue of P-partitions, we prove the existence of a colored Eulerian descent algebra which is a subalgebra of the Mantaci-Reutenauer algebra. This algebra has a basis consisting of formal sums of colored permutations with the same number of descents (using Steingrímsson's definition of the descent set of a colored permutation). The colored Eulerian descent algebra extends familiar Eulerian descent algebras from the symmetric group algebra and the hyperoctahedral group algebra to colored permutation group algebras. We also describe a set of orthogonal idempotents that spans the colored Eulerian descent algebra and includes, as a special case, the familiar Eulerian idempotents in the group algebra of the symmetric group.
Three Ehrhart Quasi-polynomials
Published
• View Publication
• BIB
Let $P(b)\subset R^d$ be a semi-rational parametric polytope, where $b=(b_j)\in R^N$ is a real multi-parameter. We study intermediate sums of polynomial functions $h(x)$ on $P(b)$, $$
S^L (P(b),h)=\sum_{y}\int_{P(b)\cap (y+L)} h(x) \mathrm dx, $$ where we integrate over the intersections of $P(b)$ with the subspaces parallel to a fixed rational subspace $L$ through all lattice points, and sum the integrals. The purely discrete sum is of course a particular case ($L=0$), so $S^0(P(b), 1)$ counts the integer points in the parametric polytopes.
The chambers are the open conical subsets of $R^N$ such that the shape of $P(b)$ does not change when $b$ runs over a chamber. We first prove that on every chamber of $R^N$, $S^L (P(b),h)$ is given by a quasi-polynomial function of $b\in R^N$. A key point of our paper is an analysis of the interplay between two notions of degree on quasi-polynomials: the usual polynomial degree and a filtration, called the local degree.
Then, for a fixed $k\leq d$, we consider a particular linear combination of such intermediate weighted sums, which was introduced by Barvinok in order to compute efficiently the $k+1$ highest coefficients of the Ehrhart quasi-polynomial which gives the number of points of a dilated rational polytope. Thus, for each chamber, we obtain a quasi-polynomial function of $b$, which we call Barvinok's patched quasi-polynomial (at codimension level $k$).
Finally, for each chamber, we introduce a new quasi-polynomial function of $b$, the cone-by-cone patched quasi-polynomial (at codimension level $k$), defined in a refined way by linear combinations of intermediate generating functions for the cones at vertices of $P(b)$.
We prove that both patched quasi-polynomials agree with the discrete weighted sum $b\mapsto S^0(P(b),h)$ in the terms corresponding to the $k+1$ highest polynomial degrees.
Introduction to the McPherson number, $Υ(G)$ of a simple connected graph
The concept of the \emph{McPherson number} of a simple connected graph $G$ on $n$ vertices denoted by $Υ(G)$, is introduced. The recursive concept, called the \emph{McPherson recursion}, is a series of \emph{vertex explosions} such that on the first interation a vertex $v \in V(G)$ explodes to arc (directed edges) to all vertices $u \in V(G)$ for which the edge $vu \notin E(G)$, to obtain the mixed graph $G'_1.$ Now $G'_1$ is considered on the second iteration and a vertex $w \in V(G'_1) = V(G)$ may explode to arc to all vertices $z \in V(G'_1)$ if edge $wz \notin E(G)$ and arc $(w, z)$ or $(z, w) \notin E(G'_1).$ The \emph{McPherson number} of a simple connected graph $G$ is the minimum number of iterative vertex explosions say $\ell,$ to obtain the mixed graph $G'_\ell$ such that the underlying graph of $G'_\ell$ denoted $G^*_\ell$ has $G^*_\ell \simeq K_n.$ We determine the \emph{McPherson number} for paths, cycles and $n$-partite graphs. We also determine the \emph{McPherson number} of the finite Jaco Graph $J_n(1), n \in \Bbb N.$ It is hoped that this paper will encourage further exploratory research.
Labeled embedding of (n,n-2)-graphs in their complements
Published
• View Publication
• BIB
Graph packing generally deals with unlabeled graphs. In \cite{EHRT11}, the authors have introduced a new variant of the graph packing problem, called the \textit{labeled packing of a graph}. This problem has recently been studied on trees \cite{TDK13} and cycles \cite{EHRT11}. In this note, we present a lower bound on the labeled packing number of any $(n,n-2)$-graph into $K_n$. This result improves the bound given by Woźniak in \cite{W94}.
Marked poset polytopes: Minkowski sums, indecomposables, and unimodular equivalence
Published
• View Publication
• BIB
We analyze marked poset polytopes and generalize a result due to Hibi and Li, answering whether the marked chain polytope is unimodular equivalent to the marked order polytope. Both polytopes appear naturally in the representation theory of semi-simple Lie algebras, and hence we can give a necessary and sufficient condition on the marked poset such that the associated toric degenerations of the corresponding partial flag variety are isomorphic.
We further show that the set of lattice points in such a marked poset polytope is the Minkowski sum of sets of lattice points for 0-1 polytopes. Moreover, we provide a decomposition of the marked poset into indecomposable marked posets, which respects this Minkowski sum decomposition for the marked chain polytopes polytopes.
Contraction Obstructions for Connected Graph Searching
Published
• View Publication
• BIB
We consider the connected variant of the classic mixed search game where, in each search step, cleaned edges form a connected subgraph. We consider graph classes with bounded connected (and monotone) mixed search number and we deal with the question whether the obstruction set, with respect of the contraction partial ordering, for those classes is finite. In general, there is no guarantee that those sets are finite, as graphs are not well quasi ordered under the contraction partial ordering relation.
In this paper we provide the obstruction set for $k=2$, where $k$ is the number of searchers we are allowed to use. This set is finite, it consists of 177 graphs and completely characterises the graphs with connected (and monotone) mixed search number at most 2. Our proof reveals that the "sense of direction" of an optimal search searching is important for connected search which is in contrast to the unconnected original case. We also give a double exponential lower bound on the size of the obstruction set for the classes where this set is finite.
Combinatorics and algorithms for augmenting graphs
Published
• View Publication
• BIB
The notion of augmenting graphs generalizes Berge's idea of augmenting chains, which was used by Edmonds in his celebrated solution of the maximum matching problem. This problem is a special case of the more general maximum independent set (MIS) problem. Recently, the augmenting graph approach has been successfully applied to solve MIS in various other special cases. However, our knowledge of augmenting graphs is still very limited, and we do not even know what the minimal infinite classes of augmenting graphs are. In the present paper, we find an answer to this question and apply it to extend the area of polynomial-time solvability of the maximum independent set problem.
A Quick Empirical Reproof of the Asymptotic Normality of the Hirsch Citation Index (First proved by Canfield, Corteel, and Savage)
Once upon a time there was an esoteric and specialized notion, called "size of the Durfee square", of interest to at most 100 specialists in the whole world. Then it was kissed by a prince called Jorge Hirsch, and became the famous (and to quite a few people, infamous) h-index, of interest to every scientist, and scholar, since it tells you how productive a scientist (or scholar) you are! When Rodney Canfield, Sylvie Corteel, and Carla Savage wrote their beautiful 1998 article proving, rigorously, by a very deep and intricate analysis, the asymptotic normality of the random variable "size of Durfee square" defined on integer-partitions of n (as n goes to infinity), with precise asymptotics for the mean and variance, they did not dream that one day their result should be of interest to everyone who has ever published a paper.
However Canfield et. al. had to work really hard to prove their deep result. Here we take an "empirical" shortcut, that proves the same thing much faster (modulo routine number- and symbol- crunching). More importantly, the empirical methodology should be useful in many other cases where rigorous proofs are either too hard, or not worth the trouble!
Induced cycles in triangle graphs
The triangle graph of a graph $G$, denoted by ${\cal T}(G)$, is the graph whose vertices represent the triangles ($K_3$ subgraphs) of $G$, and two vertices of ${\cal T}(G)$ are adjacent if and only if the corresponding triangles share an edge. In this paper, we characterize graphs whose triangle graph is a cycle and then extend the result to obtain a characterization of $C_n$-free triangle graphs. As a consequence, we give a forbidden subgraph characterization of graphs $G$ for which ${\cal T}(G)$ is a tree, a chordal graph, or a perfect graph. For the class of graphs whose triangle graph is perfect, we verify a conjecture of the third author concerning packing and covering of triangles.
Multispecies quantum Hurwitz numbers
Published in Sigma 11, 097 (2015)
• Search Publication
The construction of hypergeometric 2D Toda $τ$-functions as generating functions for quantum Hurwitz numbers is extended here to multispecies families. Both the enumerative geometrical significance of these multispecies quantum Hurwitz numbers as weighted enumerations of branched coverings of the Riemann sphere and their combinatorial significance in terms of weighted paths in the Cayley graph of $S_n$ are derived.
Codes for DNA Storage Channels
Published
• View Publication
• BIB
We consider the problem of assembling a sequence based on a collection of its substrings observed through a noisy channel. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on a collection of their substrings observed through a noisy channel. We explain the connection between the sequence reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel mapping and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes.
Lattice polytopes in coding theory
Published in J. Algebra Comb. Discrete Appl., 2(2) pp.85-94 (2015)
• View Publication
• BIB
In this paper we discuss combinatorial questions about lattice polytopes motivated by recent results on minimum distance estimation for toric codes. We also prove a new inductive bound for the minimum distance of generalized toric codes. As an application, we give new formulas for the minimum distance of generalized toric codes for special lattice point configurations.
Dimer-monomer Model on the Towers of Hanoi Graphs
Published
• View Publication
• BIB
The number of dimer-monomers (matchings) of a graph $G$ is an important graph parameter in statistical physics. Following recent research, we study the asymptotic behavior of the number of dimer-monomers $m(G)$ on the Towers of Hanoi graphs and another variation of the Sierpiński graphs which is similar to the Towers of Hanoi graphs, and derive the recursion relations for the numbers of dimer-monomers. Upper and lower bounds for the entropy per site, defined as $μ_{G}=\lim_{v(G)\rightarrow\infty}\frac{\ln m(G)}{v(G)}$, where $v(G)$ is the number of vertices in a graph $G$, on these Sierpiński graphs are derived in terms of the numbers at a certain stage. As the difference between these bounds converges quickly to zero as the calculated stage increases, the numerical value of the entropy can be evaluated with more than a hundred significant figures accuracy.
Polynomial partitioning for a set of varieties
Published in Math. Proc. Camb. Phil. Soc. 159 (2015) 459-469
• View Publication
• BIB
Given a set $Γ$ of low-degree k-dimensional varieties in $\mathbb{R}^n$, we prove that for any $D \ge 1$, there is a non-zero polynomial $P$ of degree at most $D$ so that each component of $\mathbb{R}^n \setminus Z(P)$ intersects $O(D^{k-n} |Γ|)$ varieties of $Γ$.
Multigraded Betti numbers of some path ideals
Published
• View Publication
• BIB
We determine (multi)graded Betti numbers of path ideals of lines and star graphs.
Wreath product action on generalized Boolean algebras
Published
• View Publication
• BIB
Let G be a finite group acting on the finite set X such that the corresponding (complex) permutation representation is multiplicity free. There is a natural rank and order preserving action of the wreath product G~S_n on the generalized Boolean algebra B_X(n). We explicitly block diagonalize the commutant of this action.
A characterization of Gorenstein toric Del Pezzo $n$-folds
Published
• View Publication
• BIB
We give a characterizaion of Gorenstein toric Fano $n$-folds with index $n-1$, which is called Gorenstein toric Del Pezzo $n$-folds, among toric varieties. In practice, we obtain a condition for a lattice $n$-polytope to be a Gorenstein Fano polytope. In our proof, we do not use Batyrev-Juny's classification of Gorenstein Fano polytopes.