Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Finite Implication Algebras
We consider several distinct characterizations of finite implication algebras. One of these leads to a new characterization of Boolean polymatroids.
A ridiculously simple and explicit implicit function theorem
Published in Seminaire Lotharingien de Combinatoire 61A, article 61Ad (2009)
• Search Publication
I show that the general implicit-function problem (or parametrized fixed-point problem) in one complex variable has an explicit series solution given by a trivial generalization of the Lagrange inversion formula. I give versions of this formula for both analytic functions and formal power series.
Domino tilings with diagonal impurities
This paper studies the dimer model on the dual graph of the square-octagon lattice, which can be viewed as the domino tilings with impurities in some sense. In particular, under a certain boundary condition, we give an exact formula representing the probability of finding an impurity at a given site in a uniformly random dimer configuration in terms of simple random walks on the square lattice.
Every rayless graph has an unfriendly partition
Published
• View Publication
• BIB
We prove that every rayless graph has an unfriendly partition.
Polynomial functions over bounded distributive lattices
Published in Journal of Multiple-Valued Logic and Soft Computing 18 (3-4) (2012) 247-256
• View Publication
• BIB
Let L be a bounded distributive lattice. We give several characterizations of those L^n --> L mappings that are polynomial functions, i.e., functions which can be obtained from projections and constant functions using binary joins and meets. Moreover, we discuss the disjunctive normal form representations of these polynomial functions.
Partitioning a graph into defensive k-alliances
Published
• View Publication
• BIB
A defensive $k$-alliance in a graph is a set $S$ of vertices with the property that every vertex in $S$ has at least $k$ more neighbors in $S$ than it has outside of $S$. A defensive $k$-alliance $S$ is called global if it forms a dominating set. In this paper we study the problem of partitioning the vertex set of a graph into (global) defensive $k$-alliances. The (global) defensive $k$-alliance partition number of a graph $Γ=(V,E)$, ($ψ_{k}^{gd}(Γ)$) $ψ_k^{d}(Γ)$, is defined to be the maximum number of sets in a partition of $V$ such that each set is a (global) defensive $k$-alliance. We obtain tight bounds on $ψ_k^{d}(Γ)$ and $ψ_{k}^{gd}(Γ)$ in terms of several parameters of the graph including the order, size, maximum and minimum degree, the algebraic connectivity and the isoperimetric number. Moreover, we study the close relationships that exist among partitions of $Γ_1\times Γ_2$ into (global) defensive $(k_1+k_2)$-alliances and partitions of $Γ_i$ into (global) defensive $k_i$-alliances, $i\in \{1,2\}$.
The Algebra of Filters of a Cubic Algebra
In this paper we discuss the inclusion ordering on the filters of a filter algebra, a special type of Metropolis-Rota algeba. Using embeddings into interval algebras we show that the notion of "untwisted" gives rise to a congruence relation on the group of g-filters. We also show that there is a natural reflection operator on the class of filters with an easily definable enveloping cubic subalgebra.
Ergodicity of multiplicative statistics
Published
• View Publication
• BIB
For a subfamily of multiplicative measures on integer partitions we give conditions for properly rescaled associated Young diagrams to converge in probability to a certain deterministic curve named the limit shape of partitions. We provide explicit formulas for the scaling function and the limit shape covering some known and some new examples.
Restrictions of $m$-Wythoff Nim and $p$-complementary Beatty Sequences
Published
• View Publication
• BIB
Fix a positive integer $m$. The game of \emph{$m$-Wythoff Nim} (A.S. Fraenkel, 1982) is a well-known extension of \emph{Wythoff Nim}, a.k.a 'Corner the Queen'. Its set of $P$-positions may be represented by a pair of increasing sequences of non-negative integers. It is well-known that these sequences are so-called \emph{complementary homogeneous}
\emph{Beatty sequences}, that is they satisfy Beatty's theorem. For a positive integer $p$, we generalize the solution of $m$-Wythoff Nim to a pair of \emph{$p$-complementary}---each positive integer occurs exactly $p$ times---homogeneous Beatty sequences $a = (a_n)_{n\in \M}$ and $b = (b_n)_{n\in \M}$, which, for all $n$, satisfies $b_n - a_n = mn$. By the latter property, we show that $a$ and $b$ are unique among \emph{all} pairs of non-decreasing $p$-complementary sequences. We prove that such pairs can be partitioned into $p$ pairs of complementary Beatty sequences. Our main results are that $\{\{a_n,b_n\}\mid n\in \M\}$ represents the solution to three new '$p$-restrictions' of $m$-Wythoff Nim---of which one has a \emph{blocking maneuver} on the \emph{rook-type} options. C. Kimberling has shown that the solution of Wythoff Nim satisfies the \emph{complementary equation} $x_{x_n}=y_n - 1$. We generalize this formula to a certain '$p$-complementary equation' satisfied by our pair $a$ and $b$. We also show that one may obtain our new pair of sequences by three so-called \emph{Minimal EXclusive} algorithms. We conclude with an Appendix by Aviezri Fraenkel.
Hankel determinants of Schroeder-like numbers
After a short survey about Schroeder numbers and some generalizations which I call Schroeder-like numbers I study some q-analogues which have simple Hankel determinants.
Hankel determinants of q-exponential polynomials
We give simple proofs for the Hankel determinants of q-exponential polynomials.
An automaton-theoretic approach to the representation theory of quantum algebras
Published
• View Publication
• BIB
We develop a new approach to the representation theory of quantum algebras supporting a torus action via methods from the theory of finite-state automata and algebraic combinatorics. We show that for a fixed number $m$, the torus-invariant primitive ideals in $m\times n$ quantum matrices can be seen as a regular language in a natural way. Using this description and a semigroup approach to the set of Cauchon diagrams, a combinatorial object that paramaterizes the primes that are torus-invariant, we show that for $m$ fixed, the number of torus-invariant primitive ideals in $m\times n$ quantum matrices satisfies a linear recurrence in $n$ over the rational numbers. In the $3\times n$ case we give a concrete description of the torus-invariant primitive ideals and use this description to give an explicit formula for the number P(3,n).
The p-adic valuations of sequences counting alternating sign matrices
The p-adic valuations of a sequence of integers T(n) counting alternating sign matrices is examined for p=2 and p=3. Symmetry properties of their graphs produce a new proof of the result that characterizes the indices for which T(n) is odd.
The sl_3 Selberg integral
Published in Advances in Mathematics 224 (2010) 499-524
• View Publication
• BIB
Using an extension of the well-known evaluation symmetry, a new Cauchy-type identity for Macdonald polynomials is proved. After taking the classical limit this yields a new sl_3 generalisation of the famous Selberg integral. Closely related results obtained in this paper are an sl_3-analogue of the Askey-Habsieger-Kadell q-Selberg integral and an extension of the q-Selberg integral to a transformation between q-integrals of different dimensions.
Palindromes in infinite ternary words
Published in RAIRO - Theor. Inform. Appl. 43 (2009), 687-702
• Search Publication
We study infinite words u over an alphabet A satisfying the property
P : P(n)+ P(n+1) = 1+ #A for any n in N, where P(n) denotes the number of palindromic factors of length n occurring in the language of u. We study also infinite words satisfying a stronger property PE: every palindrome of u has exactly one palindromic extension in u. For binary words, the properties P and PE coincide and these properties characterize Sturmian words, i.e., words with the complexity C(n)=n+1 for any n in N. In this paper, we focus on ternary infinite words with the language closed under reversal. For such words u, we prove that if C(n)=2n+1 for any n in N, then u satisfies the property P and moreover u is rich in palindromes. Also a sufficient condition for the property PE is given. We construct a word demonstrating that P on a ternary alphabet does not imply PE.
Note: Random-to-front shuffles on trees
Published
• View Publication
• BIB
A Markov chain is considered whose states are orderings of an underlying fixed tree and whose transitions are local "random-to-front" reorderings, driven by a probability distribution on subsets of the leaves. The eigenvalues of the transition matrix are determined using Brown's theory of random walk on semigroups.
Triangle-Free Triangulations
Published
• View Publication
• BIB
The flip operation on colored inner-triangle-free triangulations of a convex polygon is studied. It is shown that the affine Weyl group $\widetilde{C}_n$ acts transitively on these triangulations by colored flips, and that the resulting colored flip graph is closely related to a lower interval in the weak order on $\widetilde{C}_n$. Lattice properties of this order are then applied to compute the diameter.
Khovanov homology and words
This paper is concerned with nanowords, a generalization of links, introduced by Turaev. It is shown that the system of bigraded homology groups is an invariant of nanowords by introducing a new notion. This paper gives two examples which show the independence of this invariant from some of Turaev's homotopy invariants.
Fully packed loop models on finite geometries
Published in Polygons, polyominoes and polycubes, Lecture Notes in Physics 775 (2009), ed. A.J. Guttmann, Ch. 13
• View Publication
• BIB
Fully packed loop models describe the statistics of closely packed nested polygons on the square lattice. Many exact results can be obtained for these models, even for finite geometries, using their close relationship to alternating-sign matrices and the solvable six-vertex and O(n=1) lattice models. Some results for the exact partition function of fully packed loop models on various finite geometries are briefly reviewed, as well as the well-known order-disorder bulk phase transition present in these models.
A detailed study is presented of the distribution of boundary nests of polygons in fully packed loop models with mirror or rotational symmetry. The probability distribution function of such nests, as well as the average number of nests, are obtained analytically, albeit conjecturally. It is further shown that fully packed loop models undergo another phase transition as a function of the boundary nest fugacity. At criticality, we derive a scaling form for the nest distribution function which displays an unusual non-Gaussian cubic exponential behaviour.
Combinatorial Cellular Decompositions for the Space of Complex Coefficient Polynomials
We describe a classification of degree n complex coefficient polynomials with respect to combinatorial patterns that arise from the two real algebraic curves obtained as the zero sets for their real and imaginary part. In particular, we work out explicitly this classification for degree 3 polynomials, and other special families of polynomials. This work extends to the singular case similar considerations of Martin, Savitt, and Singer for non-singular basketballs.