Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Bitableaux bases for Garsia-Haiman modules of hollow type
Published
• View Publication
• BIB
Garsia-Haiman modules are quotient rings in variables X_n={x_1, x_2, ..., x_n} and Y_n=y_1, y_2, ..., y_n} that generalize the quotient ring C[X_n]/I, where I is the ideal generated by the elementary symmetric polynomials e_j(X_n) for 1 <= j <= n. A bitableaux basis for the Garsia-Haiman modules of hollow type is constructed. Applications of this basis to representation theory and other related polynomial spaces are considered.
On the context-freeness of the set of words containing overlaps
Published
• View Publication
• BIB
We show that the set of binary words containing overlaps is not unambiguously context-free and that the set of ternary words containing overlaps is not context-free. We also show that the set of binary words that are not subwords of the Thue-Morse word is not unambiguously context-free.
Partially ordered patterns and compositions
A partially ordered (generalized) pattern (POP) is a generalized pattern some of whose letters are incomparable, an extension of generalized permutation patterns introduced by Babson and Steingrimsson. POPs were introduced in the symmetric group by Kitaev [Partially ordered generalized patterns, Discrete Math. 298 (2005), 212-229; Introduction to partially ordered patterns, Discrete Appl. Math., to appear], and studied in the set of $k$-ary words by Kitaev and Mansour [Partially ordered generalized patterns and $k$-ary words, Annals of Combinatorics 7 (2003) 191-200]. Moreover, Kitaev et al. [S. Kitaev, T. McAllister and K. Petersen, Enumerating segmented patterns in compositions and encoding with restricted permutations, preprint] introduced segmented POPs in compositions. In this paper, we study avoidance of POPs in compositions and generalize results for avoidance of POPs in permutations and words. Specifically, we obtain results for the generating functions for the number of compositions that avoid shuffle patterns and multi-patterns. In addition, we give the generating function for the distribution of the maximum number of non-overlapping occurrences of a segmented POP $τ$ (that is allowed to have repeated letters) among the compositions of $n$ with $m$ parts in a given set, provided we know the generating function for the number of compositions of $n$ with $m$ parts in the given set that avoid $τ$. This result is a $q$-analogue of the main result in [S. Kitaev, T. Mansour, Partially ordered generalized patterns and $k$-ary words, Annals of Combinatorics 7 (2003) 191-200].
Problems related to a de Bruijn - Erdős theorem
Published in Discrete Applied Mathematics 156 (2008), 2101 - 2108
• View Publication
• BIB
De Bruijn and Erdős proved that every noncollinear set of n points in the plane determines at least n distinct lines. We suggest a possible generalization of this theorem in the framework of metric spaces and provide partial results on related extremal combinatorial problems.
Some measure theory on stacks of graphs
We apply a theorem of Wick to rewrite certain classes of exponential measures on random graphs as integrals of Feynman-Gibbs type, on the real line. The analytic properties of these measures can then be studied in terms of phase transitions; spaces of scale-free trees are a particularly interesting example.
Fundamentals of media theory
Published
• View Publication
• BIB
Media theory is a new branch of discrete applied mathematics originally developed in mid-nineties to deal with stochastic evolution of preference relations in political science and mathematical psychology. The theory focuses on a particular semigroup of `messages' acting as transformations of a set of `states', called a `medium', whose axioms are both strong and natural. The term `medium' stems from a particular application in which the transformations formalize the effects, on an individual, of `tokens' of information delivered by the environment--that is, the `medium'. However, many different types of examples can be found, ranging from learning spaces to hypercube computers, suggesting that this concept is ubiquitous. The paper presents very basic concepts and results of media theory and is aimed at a wide body of researchers in discrete applied mathematics.
Hamiltonian cycles in (2,3,c)-circulant digraphs
Let D be the circulant digraph with n vertices and connection set {2,3,c}. (Assume D is loopless and has outdegree 3.) Work of S.C.Locke and D.Witte implies that if n is a multiple of 6, c is either (n/2) + 2 or (n/2) + 3, and c is even, then D does not have a hamiltonian cycle. For all other cases, we construct a hamiltonian cycle in D.
Isomorphism-free lexicographic enumeration of triangulated surfaces and 3-manifolds
Published
• View Publication
• BIB
We present a fast enumeration algorithm for combinatorial 2- and 3-manifolds. In particular, we enumerate all triangulated surfaces with 11 and 12 vertices and all triangulated 3-manifolds with 11 vertices. We further determine all equivelar polyhedral maps on the non-orientable surface of genus 4 as well as all equivelar triangulations of the orientable surface of genus 3 and the non-orientable surfaces of genus 5 and 6.
Offensive alliances in cubic graphs
Published in International Mathematical Forum 1 (36) (2006) 1773-1782
• View Publication
• BIB
An offensive alliance in a graph $Γ=(V,E)$ is a set of vertices $S\subset V$ where for every vertex $v$ in its boundary it holds that the majority of vertices in $v$'s closed neighborhood are in $S$. In the case of strong offensive alliance, strict majority is required. An alliance $S$ is called global if it affects every vertex in $V\backslash S$, that is, $S$ is a dominating set of $Γ$. The global offensive alliance number $γ_o(Γ)$ (respectively, global strong offensive alliance number $γ_{\hat{o}}(Γ)$) is the minimum cardinality of a global offensive (respectively, global strong offensive) alliance in $Γ$. If $Γ$ has global independent offensive alliances, then the \emph{global independent offensive alliance number} $γ_i(Γ)$ is the minimum cardinality among all independent global offensive alliances of $Γ$. In this paper we study mathematical properties of the global (strong) alliance number of cubic graphs. For instance, we show that for all connected cubic graph of order $n$, $$\frac{2n}{5}\le γ_i(Γ)\le \frac{n}{2}\le γ_{\hat{o}}(Γ)\le \frac{3n}{4} \le γ_{\hat{o}}({\cal L}(Γ))=γ_{o}({\cal L}(Γ))\le n,$$ where ${\cal L}(Γ)$ denotes the line graph of $Γ$. All the above bounds are tight.
Partially directed paths in a wedge
Published
• View Publication
• BIB
The enumeration of lattice paths in wedges poses unique mathematical challenges. These models are not translationally invariant, and the absence of this symmetry complicates both the derivation of a functional recurrence for the generating function, and solving for it. In this paper we consider a model of partially directed walks from the origin in the square lattice confined to both a symmetric wedge defined by $Y = \pm pX$, and an asymmetric wedge defined by the lines $Y= pX$ and Y=0, where $p > 0$ is an integer. We prove that the growth constant for all these models is equal to $1+\sqrt{2}$, independent of the angle of the wedge. We derive functional recursions for both models, and obtain explicit expressions for the generating functions when $p=1$. From these we find asymptotic formulas for the number of partially directed paths of length $n$ in a wedge when $p=1$.
The functional recurrences are solved by a variation of the kernel method, which we call the ``iterated kernel method''. This method appears to be similar to the obstinate kernel method used by Bousquet-Melou. This method requires us to consider iterated compositions of the roots of the kernel. These compositions turn out to be surprisingly tractable, and we are able to find simple explicit expressions for them. However, in spite of this, the generating functions turn out to be similar in form to Jacobi $θ$-functions, and have natural boundaries on the unit circle.
A natural family of flag matroids
Published
• View Publication
• BIB
A flag matroid can be viewed as a chain of matroids linked by quotients. Flag matroids, of which relatively few interesting families have previously been known, are a particular class of Coxeter matroids. In this paper we give a family of flag matroids arising from an enumeration problem that is a generalization of the tennis ball problem. These flag matroids can also be defined in terms of lattice paths and they provide a generalization of the lattice path matroids of [Bonin et al., JCTA 104 (2003)].
On a Balanced Property of Compositions
Published
• View Publication
• BIB
Let $S$ be a finite set of positive integers with largest element $m$. Let us randomly select a composition $a$ of the integer $n$ with parts in $S$, and let $m(a)$ be the multiplicity of $m$ as a part of $a$. Let $0\leq r<q$ be integers, with $q\geq 2$, and let $p_{n,r}$ be the probability that $m(a)$ is congruent to $r$ modulo $q$. We show that if $S$ satisfies a certain simple condition, then $\lim_{n\to \infty} p_{n,r} =1/q$. In fact, we show that an obvious necessary condition on $S$ turns out to be sufficient.
On Plouffe's Ramanujan Identities
Published
• View Publication
• BIB
Recently, Simon Plouffe has discovered a number of identities for the Riemann zeta function at odd integer values. These identities are obtained numerically and are inspired by a prototypical series for Apery's constant given by Ramanujan: $ζ(3)=\frac{7π^3}{180}-2\sum_{n=1}^\infty\frac{1}{n^3(e^{2πn}-1)}$ Such sums follow from a general relation given by Ramanujan, which is rediscovered and proved here using complex analytic techniques. The general relation is used to derive many of Plouffe's identities as corollaries. The resemblance of the general relation to the structure of theta functions and modular forms is briefly sketched.
Binary Matrices under the Microscope: A Tomographical Problem
Published
• View Publication
• BIB
A binary matrix can be scanned by moving a fixed rectangular window (submatrix) across it, rather like examining it closely under a microscope. With each viewing, a convenient measurement is the number of 1s visible in the window, which might be thought of as the luminosity of the window. The rectangular scan of the binary matrix is then the collection of these luminosities presented in matrix form. We show that, at least in the technical case of a smooth m x n binary matrix, it canbe reconstructed from its rectangular scan in polynomial time in the parameters m and n, where the degree of the polynomial depends on the size of the window of inspection. For an arbitrary binary matrix, we then extend this result by determining the entries in its rectangular scan that preclude the smoothness of the matrix.
Coincidence site modules in 3-space
Published in Discrete Comput. Geom. 38 (2007) 111-138
• View Publication
• BIB
The coincidence site lattice (CSL) problem and its generalization to
Z-modules in Euclidean 3-space is revisited, and various results and conjectures are proved in a unified way, by using maximal orders in quaternion algebras of class number 1 over real algebraic number fields.
The probability that a random multigraph is simple
Published
• View Publication
• BIB
Consider a random multigraph G* with given vertex degrees d_1,...,d_n, contructed by the configuration model. We show that, asymptotically for a sequence of such multigraphs with the number of edges (d_1+...+d_n)/2 tending to infinity, the probability that the multigraph is simple stays away from 0 if and only if \sum d_i^2=O(\sum d_i). This was previously known only under extra assumtions on the maximum degree. We also give an asymptotic formula for this probability, extending previous results by several authors.
Wreath Products of Permutation Classes
Published
• View Publication
• BIB
A permutation class which is closed under pattern involvement may be described in terms of its basis. The wreath product construction X \wr Y of two permutation classes X and Y is also closed, and we investigate classes Y with the property that, for any finitely based class X, the wreath product X \wr Y is also finitely based.
Distance-residual graphs
If we are given a connected finite graph $G$ and a subset of its vertices $V_{0}$, we define a distance-residual graph as a graph induced on the set of vertices that have the maximal distance from $V_{0}$. Some properties and examples of distance-residual graphs of vertex-transitive, edge-transitive, bipartite and semisymmetric graphs are shown. The relations between the distance-residual graphs of product graphs and their factors are shown.
Lattice Polytopes and Root Systems
Published
• View Publication
• BIB
Consider a lattice in a real finite dimensional vector space. Here, we are interested in the lattice polytopes, that is the convex hulls of finite subsets of the lattice. Consider the group $G$ of the affine real transformations which map the lattice onto itself. Replacing the group of euclidean motions by the group $G$ one can define the notion of regular lattice polytopes. More precisely, a lattice polytope is said to be regular if the subgroup of $G$ which preserves the polytope acts transitively on the set of its complete flags. Recently, Karpenkov obtained a classification of the regular lattice polytopes. Here we obtain this classification by a more conceptual method. Another difference is that Karpenkov uses in an essential way the classification of the euclidean regular polytopes, but we don't.
Misere quotients for impartial games
Published in Journal of Combinatorial Theory, Series A (May 2008) pp 593-622
• View Publication
• BIB
We announce misere-play solutions to several previously-unsolved combinatorial games. The solutions are described in terms of misere quotients--commutative monoids that encode the additive structure of specific misere-play games. We also introduce several advances in the structure theory of misere quotients, including a connection between the combinatorial structure of normal and misere play.