Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The inverse rook problem on Ferrers boards
Rook polynomials have been studied extensively since 1946, principally as a method for enumerating restricted permutations. However, they have also been shown to have many fruitful connections with other areas of mathematics, including graph theory, hypergeometric series, and algebraic geometry. It is known that the rook polynomial of any board can be computed recursively.
The naturally arising inverse question -- given a polynomial, what board (if any) is associated with it? -- remains open. In this paper, we solve the inverse problem completely for the class of Ferrers boards, and show that the increasing Ferrers board constructed from a polynomial is unique.
Note on the Irreducible Triangulations of the Klein Bottle
Published in J. Combin. Theory, Ser. B 96 (6) (2006) 964-972
• View Publication
• BIB
We give the complete list of the 29 irreducible triangulations of the Klein bottle. We show how the construction of Lawrencenko and Negami, which listed only 25 such irreducible triangulations, can be modified at two points to produce the 4 additional irreducible triangulations of the Klein bottle.
Derangement characters of the full general linear group
Published
• View Publication
• BIB
We focus on derangement characters of $GL(n,q)$ which depend solely on the dimension of the space of fixed vectors. This family includes Thoma characters which become asymptotically irreducible as $n\to\infty$. We find explicit decomposition of Thoma characters into irreducibles, construct further derangement characters and seek for extremes in the family of derangement characters.
The method of characteristics, and "problem 89" of Graham, Knuth and Patashnik
We apply the method of characteristics for the solution of pde's to two combinatorial problems. The first is finding an explicit form for a distribution that arises in bio-informatics. The second is a question raised by Graham, Knuth and Patashnik abiout a sequence of generalized binomial coefficients. We find an exact formula, which factors in an interesting way, in the case where one of the six parameters of the problem vanishes. We also show that the associated polynomial sequence has real zeros only, provided that one parameter vanishes, and the other five are nonnegative.
Very well-covered graphs and the unimodality conjecture
Published
• View Publication
• BIB
If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in the graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). Let $a$ be the size of a maximum stable set. Alavi, Malde, Schwenk and Erdos (1987)conjectured that I(T,x) is unimodal for any tree T, while, in general, they proved that for any permutation $p$ of {1,2,...,a} there is a graph such that s_{p(1)}<s_{p(2)}<...<s_{p(a)}. Brown, Dilcher and Nowakowski (2000) conjectured that I(G;x) is unimodal for any well-covered graph. Michael and Traves (2002) provided examples of well-covered graphs with non-unimodal independence polynomials. They proposed the "roller-coaster" conjecture: for a well-covered graph, the subsequence (s_{a/2},s_{a/2+1},...,s_{a}) is unconstrained in the sense of Alavi et al. The conjecture of Brown et al. is still open for very well-covered graphs. In this paper we prove that s_{(2a-1)/3}>=...>=s_{a-1}>=s_{a} are valid for any (a) bipartite graph $G$; (b) quasi-regularizable graph $G$ on $2a$ vertices. In particular, we infer that this is true for (a) trees, thus doing a step in an attempt to prove Alavi et al.' conjecture; (b) very well-covered graphs. Consequently, for this case, the unconstrained subsequence appearing in the roller-coaster conjecture can be shorten to (s_{a/2},s_{a/2+1},...,s_{(2a-1)/3}). We also show that the independence polynomial of a very well-covered graph $G$ is unimodal for a<10, and is log-concave whenever a<6.
A block decomposition algorithm for computing rook polynomials
Rook polynomials are a powerful tool in the theory of restricted permutations. It is known that the rook polynomial of any board can be computed recursively, using a cell decomposition technique of Riordan.
In this paper, we give a new decomposition theorem, which yields a more efficient algorithm for computing the rook polynomial. We show that, in the worst case, this block decomposition algorithm is equivalent to Riordan's method.
Flip dynamics in three-dimensional random tilings
Published in J. Phys. A: Math. Gen. 38, 17-45 (2005)
• View Publication
• BIB
We study single-flip dynamics in sets of three-dimensional rhombus tilings with fixed polyhedral boundaries. This dynamics is likely to be slowed down by so-called ``cycles'': such structures arise when tilings are encoded via the ``partition-on-tiling'' method and are susceptible to break connectivity by flips or at least ergodicity, because they locally suppress a significant amount of flip degrees of freedom. We first address the so-far open question of the connectivity of tiling sets by elementary flips. We prove exactly that sets of tilings of codimension one and two are connected for any dimension and tiling size. For higher-codimension tilings of dimension 3, the answer depends on the precise choice of the edge orientations, which is a non-trivial issue. In most cases, we can prove connectivity despite the existence of cycles. In the few remaining cases, among which the icosahedral symmetry, the question remains open. We also study numerically flip-assisted diffusion to explore the possible effects of the previously mentioned cycles. Cycles do not seem to slow down significantly the dynamics, at least as far as self-diffusion is concerned.
Geometry of good sets in n-fold Cartesian product
Published in Proc. Indian Acad. Sci. (Math. Sci.), Vol. 114, No. 2, May 2004, pp. 181-197
• Search Publication
We propose here a multidimensional generalisation of the notion of link introduced in our previous papers and we discuss some consequences for simplicial measures and sums of function algebras.
Combinatorics of crystal graphs and Kostka-Foulkes polynomials for the root systems $B_{n},C_{n}$ and $D_{n}.$
Published
• View Publication
• BIB
We use Kashiwara-Nakashima's combinatorics of crystal graphs associated to the roots sytems $B_{n}$ and $D_{n}$ to extend the results of \QCITE{cite}{}{lec3} and \QCITE{cite}{}{Mor} by showing that Morris type recurrence formulas also exist for the orthogonal root systems. We derive from these formulas a statistic on Kashiwara-Nakashima's tableaux of types $B_{n},C_{n}$ and $D_{n}$ generalizing Lascoux-Sch\UNICODE{0xfc}tzenberger's charge and from which it is possible to compute the Kostka-Foulkes polynomials $K_{λ,μ}(q)$ with restrictive conditions on $(λ,μ)$ . This statistic is different from that obtained in \QCITE{cite}{}{lec3} from the cyclage graph structure on tableaux of type $C_{n}$. We show that such a structure also exists for the tableaux of types $B_{n}$ and $D_{n}$ but can not be simply related to the Kostka-Foulkes polynomials. Finally we give explicit formulas for $K_{λ,μ}(q)$ when $| λ| \leq 3,$ or $n=2$ and $μ=0$.
Recognizing Cluster Algebras of Finite type
Published
• View Publication
• BIB
We compute the list of all minimal 2-infinite diagrams, which are cluster algebraic analogues of extended Dynkin graphs.
Decomposition of the Diagonal Action of S_n on the Coinvariant Space of S_n x S_n
The purpose of this paper is to give an explicit description of the irreducible decomposition of the multigraded S_n-module of coinvariants of S_n x S_n. Many of the results presented can be extended to analogous questions for other finite reflection group.
Some algebra related to $P$-and $Q$-polynomial association schemes
Published in Proceedings of DIMACS conference on Codes and Association Schemes, (Piscataway NJ, 1999), 167--192. Amer. Math. Soc. Providence RI, 2001
• View Publication
• BIB
Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. Consider a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy both conditions below:
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal, and the matrix representing $A^*$ is irreducible tridiagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is diagonal, and the matrix representing $A$ is irreducible tridiagonal.
Such a pair is called a Leonard pair on $V$. In this paper we introduce a mild generalization of a Leonard pair called a tridiagonal pair. A Leonard pair is the same thing as a tridiagonal pair such that for each transformation all eigenspaces have dimension one.
On plethysm conjectures of Stanley and Foulkes: the $2 \times n$ case
Published
• View Publication
• BIB
We prove Stanley's plethysm conjecture for the $2 \times n$ case, which composed with the work of Black and List provides another proof of Foulkes conjecture for the $2 \times n$ case. We also show that the way Stanley formulated his conjecture, it is false in general, and suggest an alternative formulation.
Linear conditions imposed on flag varieties
Published
• View Publication
• BIB
We study subvarieties of the flag variety called Hessenberg varieties, defined by certain linear conditions. These subvarieties arise naturally in applications including geometric representation theory, number theory, and numerical analysis. We describe completely the homology of Hessenberg varieties over GL_n(C) and show that they have no odd-dimensional homology. We provide an explicit geometric construction which partitions each Hessenberg variety into pieces homeomorphic to affine space. We characterize these affine pieces by fillings of Young tableaux and show that the dimension of the affine piece can be computed by combinatorial rules generalizing the Eulerian numbers. We give an equivalent formulation of this result in terms of roots. We conclude with a section on open questions.
Distinguishing numbers for graphs and groups
Published in Electronic Journal of Combinatorics, 11 (1) (2004), #R63
• View Publication
• BIB
A graph G is distinguished if its vertices are labelled by a map φ: V(G) \longrightarrow {1,2,...,k} so that no graph automorphism preserves φ. The distinguishing number of G is the minimum number k necessary for φto distinguish the graph. It is one measure of the complexity of the graph.
We extend these definitions to an arbitrary group action of G on a set X. A labelling φ: X \longrightarrow {1,2,...,k} is distinguishing if no nontrivial element of G preserves φexcept those in the stabilizer of X. The distinguishing number of the group action on X is the minimum k needed for φto distinguish the group action. We show that distinguishing group actions is a more general problem than distinguishing graphs.
We completely characterize actions of the symmetric group S_n on a set with distinguishing number n.
Uniqueness of maximal entropy measure on essential spanning forests
Published in Annals of Probability 2006, Vol. 34, No. 3, 857-864
• View Publication
• BIB
An essential spanning forest of an infinite graph $G$ is a spanning forest of $G$ in which all trees have infinitely many vertices. Let $G_n$ be an increasing sequence of finite connected subgraphs of $G$ for which $\bigcup G_n=G$. Pemantle's arguments imply that the uniform measures on spanning trees of $G_n$ converge weakly to an $\operatorname {Aut}(G)$-invariant measure $μ_G$ on essential spanning forests of $G$. We show that if $G$ is a connected, amenable graph and $Γ\subset \operatorname {Aut}(G)$ acts quasitransitively on $G$, then $μ_G$ is the unique $Γ$-invariant measure on essential spanning forests of $G$ for which the specific entropy is maximal. This result originated with Burton and Pemantle, who gave a short but incorrect proof in the case $Γ\cong\mathbb{Z}^d$. Lyons discovered the error and asked about the more general statement that we prove.
Random autocatalytic networks
We determine conditions under which a random biochemical system is likely to contain a subsystem that is both autocatalytic and able to survive on some ambient `food' source. Such systems have previously been investigated for their relevance to origin-of-life models. In this paper we extend earlier work, by finding precisely the order of catalysation required for the emergence of such self-sustaining autocatalytic networks. This answers questions raised in earlier papers, yet also allows for a more general class of models. We also show that a recently-described polynomial time algorithm for determining whether a catalytic reaction system contains an autocatalytic, self-sustaining subsystem is unlikely to adapt to allow inhibitory catalysation - in this case we show that the associated decision problem is NP-complete.
Coin flipping from a cosmic source: On error correction of truly random bits
Published
• View Publication
• BIB
We study a problem related to coin flipping, coding theory, and noise sensitivity. Consider a source of truly random bits $x \in \bits^n$, and $k$ parties, who have noisy versions of the source bits $y^i \in \bits^n$, where for all $i$ and $j$, it holds that $\Pr[y^i_j = x_j] = 1 - \eps$, independently for all $i$ and $j$. That is, each party sees each bit correctly with probability $1-ε$, and incorrectly (flipped) with probability $ε$, independently for all bits and all parties. The parties, who cannot communicate, wish to agree beforehand on {\em balanced} functions $f_i : \bits^n \to \bits$ such that $\Pr[f_1(y^1) = ... = f_k(y^k)]$ is maximized. In other words, each party wants to toss a fair coin so that the probability that all parties have the same coin is maximized. The functions $f_i$ may be thought of as an error correcting procedure for the source $x$.
When $k=2,3$ no error correction is possible, as the optimal protocol is given by $f_i(x^i) = y^i_1$. On the other hand, for large values of $k$, better protocols exist. We study general properties of the optimal protocols and the asymptotic behavior of the problem with respect to $k$, $n$ and $\eps$. Our analysis uses tools from probability, discrete Fourier analysis, convexity and discrete symmetrization.
A Law of Large Numbers for Weighted Majority
Consider an election between two candidates in which the voters' choices are random and independent and the probability of a voter choosing the first candidate is $p>1/2$. Condorcet's Jury Theorem which he derived from the weak law of large numbers asserts that if the number of voters tends to infinity then the probability that the first candidate will be elected tends to one. The notion of influence of a voter or its voting power is relevant for extensions of the weak law of large numbers for voting rules which are more general than simple majority. In this paper we point out two different ways to extend the classical notions of voting power and influences to arbitrary probability distributions. The extension relevant to us is the ``effect'' of a voter, which is a weighted version of the correlation between the voter's vote and the election's outcomes. We prove an extension of the weak law of large numbers to weighted majority games when all individual effects are small and show that this result does not apply to any voting rule which is not based on weighted majority.
Robust reconstruction on trees is determined by the second eigenvalue
Published in Annals of Probability 2004, Vol. 32, No. 3, 2630-2649
• View Publication
• BIB
Consider a Markov chain on an infinite tree T=(V,E) rooted at ρ. In such a chain, once the initial root state σ(ρ) is chosen, each vertex iteratively chooses its state from the one of its parent by an application of a Markov transition rule (and all such applications are independent). Let μ_j denote the resulting measure for σ(ρ)=j. The resulting measure μ_j is defined on configurations σ=(σ(x))_{x\in V}\in A^V, where A is some finite set. Let μ_j^n denote the restriction of μto the sigma-algebra generated by the variables σ(x), where x is at distance exactly n from ρ. Letting α_n=max_{i,j\in A}d_{TV}(μ_i^n,μ_j^n), where d_{TV} denotes total variation distance, we say that the reconstruction problem is solvable if lim inf_{n\to\infty}α_n>0. Reconstruction solvability roughly means that the nth level of the tree contains a nonvanishing amount of information on the root of the tree as n\to\infty. In this paper we study the problem of robust reconstruction. Let νbe a nondegenerate distribution on A and ε>0. Let σbe chosen according to μ_j^n and σ' be obtained from σby letting for each node independently, σ(v)=σ'(v) with probability 1-εand σ'(v) be an independent sample from νotherwise. We denote by μ_j^n[ν,ε] the resulting measure on σ'. The measure μ_j^n[ν,ε] is a perturbation of the measure μ_j^n.