Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Semiregular Trees with Minimal Index
A semiregular tree is a tree where all non-pendant vertices have the same degree. Belardo et al. (MATCH Commun. Math. Chem. 61(2), pp. 503-515, 2009) have shown that among all semiregular trees with a fixed order and degree, a graph with index is a caterpillar. In this technical report we provide a different proof for this theorem. Furthermore, we give counter examples that show this result cannot be generalized to the class of trees with a given (non-constant) degree sequence.
On the dimension of iterated sumsets
Published in Recent developments in fractals and related fields, 55--72, Appl. Numer. Harmon. Anal., Birkhäuser Boston, Inc., Boston, MA, 2010
• View Publication
• BIB
Let A be a subset of the real line. We study the fractal dimensions of the k-fold iterated sumsets kA, defined as kA = A+...+A (k times).
We show that for any non-decreasing sequence {a_k} taking values in [0,1], there exists a compact set A such that kA has Hausdorff dimension a_k for all k. We also show how to control various kinds of dimension simultaneously for families of iterated sumsets.
These results are in stark contrast to the Plunnecke-Rusza inequalities in additive combinatorics. However, for lower box-counting dimension, the analogue of the Plunnecke-Rusza inequalities does hold.
Multilinear generating functions for Charlier polynomials
Published
• View Publication
• BIB
Charlier configurations provide a combinatorial model for Charlier polynomials. We use this model to give a combinatorial proof of a multilinear generating function for Charlier polynomials. As special cases of the multilinear generating function, we obtain the bilinear generating function for Charlier polynomials and formulas for derangements.
Combinatorics of $(\ell,0)$-JM partitions, $\ell$-cores, the ladder crystal and the finite Hecke algebra
The following thesis contains results on the combinatorial representation theory of the finite Hecke algebra $H_n(q)$.
In Chapter 2 simple combinatorial descriptions are given which determine when a Specht module corresponding to a partition $λ$ is irreducible. This is done by extending the results of James and Mathas. These descriptions depend on the crystal of the basic representation of the affine Lie algebra $\widehat{\mathfrak{sl}_\ell}$. In Chapter 3 these results are extended to determine which irreducible modules have a realization as a Specht module. To do this, a new condition of irreducibility due to Fayers is combined with a new description of the crystal from Chapter 2. In Chapter 4 a bijection of cores first described by myself and Monica Vazirani is studied in more depth. Various descriptions of it are given, relating to the quotient $\widetilde{S_\ell}/{S_\ell}$ and to the bijection given by Lapointe and Morse.
Indirect Influences
Published in Adv. Stud. Contemp. Math 23 (2013) 29-41
• Search Publication
We introduce PWP a method for counting indirect influences and compare it with three well-known methods. We provide combinatorial as well as probabilistic interpretation for the PWP method.
A combinatorial survey of identities for the double factorial
We survey combinatorial interpretations of some dozen identities for the double factorial such as, for instance, (2n-2)!! + Sum_{k=2}^{n} (2n-1)!!(2k-4)!!/(2k-1)!! = (2n-1)!!. Our methods are mostly bijective.
A $q$-analogue of the FKG inequality and some applications
Let $L$ be a finite distributive lattice and $μ: L \to {\mathbb R}^{+}$ a log-supermodular function. For functions $k: L \to {\mathbb R}^{+}$ let $$E_μ (k; q) \defeq \sum_{x\in L} k(x) μ(x) q^{{\mathrm rank}(x)} \in {\mathbb R}^{+}[q].$$ We prove for any pair $g,h: L\to {\mathbb R}^{+}$ of monotonely increasing functions, that $$E_μ (g; q)\cdot E_μ (h; q) \ll
E_μ (1; q)\cdot E_μ (gh; q), $$ where ``$ \ll $'' denotes coefficientwise inequality of real polynomials. The FKG inequality of Fortuin, Kasteleyn and Ginibre (1971) is the real number inequality obtained by specializing to $q=1$.
The polynomial FKG inequality has applications to $f$-vectors of joins and intersections of simplicial complexes, to Betti numbers of intersections of certain Schubert varieties, and to the following kind of correlation inequality for power series weighted by Young tableaux. Let $Y$ be the set of all integer partitions. Given functions $k, μ: Y \rarr \R^+$, and parameters $0\le s\le t$, define the formal power series $$F_μ(k ; z) \defeq \sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{(|\la| !)^s} \in \R^+ [[z]], $$ %\sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{|\la| !} \in \R^+ [[z]],$$ where $f_{\la}$ is the number of standard Young tableaux of shape $\la$. Assume that $μ: Y\rarr \R^+$ is log-supermodular, and that $g, h: Y \rarr \R^+$ are monotonely increasing with respect to containment order of partition shapes. Then $$F_μ(g;z) \cdot F_μ(h;z) \ll F_μ(1;z) \cdot F_μ(gh;z). $$
Resilient pancyclicity of random and pseudo-random graphs
Published
• View Publication
• BIB
A graph $G$ on $n$ vertices is \textit{pancyclic} if it contains cycles of length $t$ for all $3 \leq t \leq n$. In this paper we prove that for any fixed $ε>0$, the random graph $G(n,p)$ with $p(n)\gg n^{-1/2}$ asymptotically almost surely has the following resilience property. If $H$ is a subgraph of $G$ with maximum degree at most $(1/2 - ε)np$ then $G-H$ is pancyclic. In fact, we prove a more general result which says that if $p \gg n^{-1+1/(l-1)}$ for some integer $l \geq 3$ then for any $ε>0$, asymptotically almost surely every subgraph of $G(n,p)$ with minimum degree greater than $(1/2+ε)np$ contains cycles of length $t$ for all $l \leq t \leq n$. These results are tight in two ways. First, the condition on $p$ essentially cannot be relaxed. Second, it is impossible to improve the constant 1/2 in the assumption for the minimum degree. We also prove corresponding results for pseudo-random graphs.
Shatrovskii's construction of thin bases
Published in Discrete Mathematics 312 (2012), 2069--2075
• Search Publication
The set A of nonnegative integers is called a basis of order h if every nonnegative integer can be represented as the sum of exactly h not necessarily distinct elements of A. An additive basis A of order h is called thin if there exists c > 0 such that the number of elements of A not exceeding x is less than cx^{1/h} for all x > 0. This paper describes a construction of Shatrovskii of thin bases of order h.
Multi-indicial symmetric functions
In this paper, using the theory of category, we generalize known properties of symmetric polynomials and functions and characterize the multi-indicial symmetric functions. Examples have been given on Schur functions.
The alternative operad is not Koszul
Published in Experiment. Math. 20 (2011), 138-144; Corrigendum: 21 (2012), 418
• View Publication
• BIB
Using computer calculations, we prove the statement in the title.
On the half-plane property and the Tutte group of a matroid
Published in J. Combin. Theory Ser. B 100 (2010), no. 5, 485-492
• View Publication
• BIB
A multivariate polynomial is stable if it is non-vanishing whenever all variables have positive imaginary parts. A matroid has the weak half-plane property (WHPP) if there exists a stable polynomial with support equal to the set of bases of the matroid. If the polynomial can be chosen with all of its nonzero coefficients equal to one then the matroid has the half-plane property (HPP). We describe a systematic method that allows us to reduce the WHPP to the HPP for large families of matroids. This method makes use of the Tutte group of a matroid. We prove that no projective geometry has the WHPP and that a binary matroid has the WHPP if and only if it is regular. We also prove that T_8 and R_9 fail to have the WHPP.
A Symbolic Computational Approach to a Problem Involving Multivariate Poisson Distributions
Published
• View Publication
• BIB
Multivariate Poisson random variables subject to linear integer constraints arise in several application areas, such as queuing and biomolecular networks. This note shows how to compute conditional statistics in this context, by employing WF Theory and associated algorithms. A symbolic computation package has been developed and is made freely available. A discussion of motivating biomolecular problems is also provided.
A Note on Threshold Dimension of Permutation Graphs
A graph $G(V,E)$ is a threshold graph if there exist non-negative reals $w_v, v \in V$ and $t$ such that for every $U \subseteq V$, $\sum_{v \in U} w_v\leq t$ if and only if $U$ is a stable set. The {\it threshold dimension} of a graph $G(V,E)$, denoted as $t(G)$, is the smallest integer $k$ such that $E$ can be covered by $k$ threshold spanning subgraphs of $G$. A permutation graph is a graph that can be represented as the intersection graph of a family of line segments that connect two parallel lines in the Euclidean plane. In this paper we will show that if $G$ is a permutation graph then $t(G) \leq α(G)$ (where $α(G)$ is the cardinality of maximum independent set in $G$) and this bound is tight. As a corollary we will show that $t(G) \leq \frac{n}{2}$ where $n$ is the number of vertices in the permutation graph $G$. This bound is also tight.
Regular Polygonal Complexes in Space, I
Published
• View Publication
• BIB
A polygonal complex in euclidean 3-space is a discrete polyhedron-like structure with finite or infinite polygons as faces and finite graphs as vertex-figures, such that a fixed number r of faces surround each edge. It is said to be regular if its symmetry group is transitive on the flags. The present paper and its successor describe a complete classification of regular polygonal complexes in 3-space. In particular, the present paper establishes basic structure results for the symmetry groups, discusses geometric and algebraic aspects of operations on their generators, characterizes the complexes with face mirrors as the 2-skeletons of the regular 4-apeirotopes in 3-space, and fully enumerates the simply flag-transitive complexes with mirror vector (1,2). The second paper will complete the enumeration.
Staircases in Z^2
A staircase is the set of points in Z^2 below a given rational line in the plane that have Manhattan Distance less than 1 to the line. Staircases are closely related to Beatty and Sturmian sequences of rational numbers. Connecting the geometry and the number theoretic concepts, we obtain three equivalent characterizations of Sturmian sequences of rational numbers, as well as a new proof of Barvinok's Theorem in dimension two, a recursion formula for Dedekind-Carlitz polynomials and a partially new proof of White's characterization of empty lattice tetrahedra. Our main tool is a recursive description of staircases in the spirit of the Euclidean Algorithm.
Note for Nikiforov's two conjectures on the energy of trees
The energy $E$ of a graph is defined to be the sum of the absolute values of its eigenvalues. Nikiforov in {\it ``V. Nikiforov, The energy of $C_4$-free graphs of bounded degree, Lin. Algebra Appl. 428(2008), 2569--2573"} proposed two conjectures concerning the energy of trees with maximum degree $Δ\leq 3$. In this short note, we show that both conjectures are true.
The equivariant Euler characteristic of moduli spaces of curves
Published in Advances in Mathematics 250 (2014), 588-595
• View Publication
• BIB
We give a formula for the S_n - equivariant Euler characteristics of the moduli spaces of genus g curves with n marked points
Matching and Factor-Critical Property in 3-Dominating-Critical Graphs
Let $γ(G)$ be the domination number of a graph $G$. A graph $G$ is \emph{domination-vertex-critical}, or \emph{$γ$-vertex-critical}, if $γ(G-v)< γ(G)$ for every vertex $v \in V(G)$. In this paper, we show that: Let $G$ be a $γ$-vertex-critical graph and $γ(G)=3$. (1) If $G$ is of even order and $K_{1,6}$-free, then $G$ has a perfect matching; (2) If $G$ is of odd order and $K_{1,7}$-free, then $G$ has a near perfect matching with only three exceptions. All these results improve the known results.
Tiling bijections between paths and Brauer diagrams
Published in Journal of Algebraic Combinatorics (2011) 33, no. 3, 427-453
• View Publication
• BIB
There is a natural bijection between Dyck paths and basis diagrams of the Temperley-Lieb algebra defined via tiling. Overhang paths are certain generalisations of Dyck paths allowing more general steps but restricted to a rectangle in the two-dimensional integer lattice. We show that there is a natural bijection, extending the above tiling construction, between overhang paths and basis diagrams of the Brauer algebra.