natural ↗ reference
4894 papers tagged with this keyword
The combinatorics of the Baer-Specker group
Published in Israel Journal of Mathematics 168 (2008), 125-151
• View Publication
• BIB
Denote the integers by Z and the positive integers by N.
The groups Z^k (k a natural number) are discrete, and the classification up to isomorphism of their (topological) subgroups is trivial. But already for the countably infinite power Z^N of Z, the situation is different. Here the product topology is nontrivial, and the subgroups of Z^N make a rich source of examples of non-isomorphic topological groups. Z^N is the Baer-Specker group.
We study subgroups of the Baer-Specker group which possess group theoretic properties analogous to properties introduced by Menger (1924), Hurewicz (1925), Rothberger (1938), and Scheepers (1996). The studied properties were introduced independently by Kočinac and Okunev. We obtain purely combinatorial characterizations of these properties, and combine them with other techniques to solve several questions of Babinkostova, Kočinac, and Scheepers.
Extending Fine sequences: a link with forbidden patterns
We propose a natural, bivariate, generalization of the nonsingular similarity relations considered by T. Fine. We also provide an enumeration formulae and a generating tree for those relations. The latter allow us to give a new bijection between 321-avoiding derangements and Fine sequences. Moreover, we establish that two special cases are in a one-to-one correspondence with subsets of permutations characterized by forbidden subsequences on the symmetrical group. All our results are established using the technique of generating tree, thus giving entirely bijective proofs.
q-Catalan numbers and q-Narayana polynomials
In this note we show that various natural q-analogues of the Catalan numbers can be obtained in a uniform way. Furthermore we compute their Hankel determinants.
A Geometric Form for the Extended Patience Sorting Algorithm
Published
• View Publication
• BIB
Patience Sorting is a combinatorial algorithm that can be viewed as an iterated, non-recursive form of the Schensted Insertion Algorithm. In recent work the authors extended Patience Sorting to a full bijection between the symmetric group and certain pairs of combinatorial objects (called pile configurations) that are most naturally defined in terms of generalized permutation pattern and barred pattern avoidance. This Extended Patience Sorting Algorithm is very similar to the Robinson-Schensted-Knuth (or RSK) Correspondence, which is itself built from repeated application of the Schensted Insertion Algorithm.
In this work we introduce a geometric form for the Extended Patience Sorting Algorithm that is in some sense a natural dual algorithm to G. Viennot's celebrated Geometric RSK Algorithm. Unlike Geometric RSK, though, the lattice paths coming from Patience Sorting are allowed to intersect. We thus also give a characterization for the intersections of these lattice paths in terms of the pile configurations associated with a given permutation under the Extended Patience Sorting Algorithm.
Reciprocals of Binary Power Series
Published in Int. J. Number Theory 2 (2006), no. 4, 499--522.
• View Publication
• BIB
If A is a set of nonnegative integers containing 0, then there is a unique nonempty set B of nonnegative integers such that every positive integer can be written in the form a+b, where a\in A and b\in B, in an even number of ways. We compute the natural density of B for several specific sets A, including the Prouhet-Thue-Morse sequence, {0} \cup {2^n : n \geq 0}, and random sets, and we also study the distribution of densities of B for finite sets A. This problem is motivated by Euler's observation that if A is the set of n that have an odd number of partitions, then B is the set of pentagonal numbers {n(3n+1)/2 : n \in Z}. We also elaborate the connection between this problem and the theory of de Bruijn sequences and linear shift registers.
Une base symétrique de l'algèbre des coinvariants quasi-symétriques
Published in The Electronic Journal of Combinatorics 12, 1 (2005) N16
• View Publication
• BIB
We describe a new basis of the ring of quasi-symmetric coinvariants, which is stable by the natural reversal of the set of variables. The indexing set is the set of triangulations of a regular polygon, instead of the set of Dyck paths used for the known basis. On décrit une nouvelle base de l'algèbre des coinvariants quasi-symétriques, qui est stable par l'involution naturelle et indexée par les triangulations d'un polygone régulier.
Perfect Skolem sets
Published
• View Publication
• BIB
A Skolem sequence is a sequence a_1,a_2,...,a_2n (where a_i \in A = {1,...,n }), each a_i occurs exactly twice in the sequence and the two occurrences are exactly a_i positions apart. A set A that can be used to construct Skolem sequences is called a Skolem set. The problem of deciding which sets of the form A = {1,...,n} are Skolem sets was solved by Thoralf Skolem in the late 1950's. We study the natural generalization where A is allowed to be any set of n positive integers. We give necessary conditions for the existence of Skolem sets of this generalized form. We conjecture these necessary conditions to be sufficient, and give computational evidence in favor of our conjecture. We investigate special cases of the conjecture and prove that the conjecture hold for some of them. We also study enumerative questions and show that this problem has strong connections with problems related to permutation displacements.
On Stable embeddability of partitions
Published in European Journal of Combinatorics 28 (2007) 848--857
• View Publication
• BIB
Several natural partial orders on integral partitions, such as the embeddability, the stable embeddability, the bulk embeddability and the supermajorization, raise in the quantum computation, bin-packing and matrix analysis. We find the implications between these partial orders. For integral partitions whose entries are all powers of a fixed number $p$, we show that the embeddability is completely determined by the supermajorization order and we find an algorithm to determine the stable embeddability.
Multivariable codes over finite chain rings: semisimple codes
Published
• View Publication
• BIB
The structure of multivariate semisimple codes over a finite chain ring $R$ is established using the structure of the residue field $\bar R$. Multivariate codes extend in a natural way the univariate cyclic and negacyclic codes and include some non-trivial codes over $R$. The structure of the dual codes in the semisimple abelian case is also derived and some conditions on the existence of selfdual codes over $R$ are studied.
On the excedance number of colored permutation groups
We generalize the results of Ksavrelof and Zeng about the multidistribution of the excedance number of $S_n$ with some natural parameters to the colored permutation group and to the Coxeter group of type $D$. We define two different orders on these groups which induce two different excedance numbers. Surprisingly, in the case of the colored permutation group, we get the same generalized formulas for both orders.
Mixed sums of squares and triangular numbers (II)
Published in Integers 7(2007), A56, 5 pp
• Search Publication
For an integer $x$ let $t_x$ denote the triangular number $x(x+1)/2$. Following a recent work of Z. W. Sun, we show that every natural number can be written in any of the following forms with $x,y,z\in\Z$: $$x^2+3y^2+t_z, x^2+3t_y+t_z, x^2+6t_y+t_z, 3x^2+2t_y+t_z, 4x^2+2t_y+t_z.$$ This confirms a conjecture of Sun.
Mixed sums of squares and triangular numbers
Published in Acta Arith. 127(2007), no.2, 103-113
• View Publication
• BIB
By means of $q$-series, we prove that any natural number is a sum of an even square and two triangular numbers, and that each positive integer is a sum of a triangular number plus $x^2+y^2$ for some integers $x$ and $y$ with $x\not\equiv y (mod 2)$ or $x=y>0$. The paper also contains some other results and open conjectures on mixed sums of squares and triangular numbers.
Ehrhart-Macdonald reciprocity extended
For a convex polytope P with rational vertices, we count the number of integer points in integral dilates of P and its interior. The Ehrhart-Macdonald reciprocity law gives an intimate relation between these two counting functions. A similar counting function and reciprocity law exists for the sum of all solid angles at integer points in dilates of P. We derive a unifying generalization of these reciprocity theorems which follows in a natural way from Brion's Theorem on conic decompositions of polytopes.
Dense arrangements are locally very dense I
Published
• View Publication
• BIB
The Szemerédi-Trotter theorem gives a bound on the maximum number of incidences between points and lines on the Euclidean plane. In particular it says that $n$ lines and $n$ points determine $O(n^{4/3})$ incidences. Let us suppose that an arrangement of $n$ lines and $n$ points defines $cn^{4/3}$ incidences, for a given positive $c.$ It is widely believed that such arrangements have special structure, but no results are known in this direction. Here we show that for any natural number, $k,$ one can find $k$ points of the arrangement in general position such that any pair of them is incident to a line from the arrangement, provided by $n\geq n_0(k).$ In a subsequent paper we will establish similar statement to hyperplanes.
Pseudo-random graphs
Published
• View Publication
• BIB
Random graphs have proven to be one of the most important and fruitful concepts in modern Combinatorics and Theoretical Computer Science. Besides being a fascinating study subject for their own sake, they serve as essential instruments in proving an enormous number of combinatorial statements, making their role quite hard to overestimate. Their tremendous success serves as a natural motivation for the following very general and deep informal questions: what are the essential properties of random graphs? How can one tell when a given graph behaves like a random graph? How to create deterministically graphs that look random-like? This leads us to a concept of pseudo-random graphs and the aim of this survey is to provide a systematic treatment of this concept.
Topology of words
Published
• View Publication
• BIB
We introduce a topological approach to words. Words are approximated by Gauss words and then studied up to natural modifications inspired by homotopy transformations of curves on the plane.
Resolutions for Equivariant Sheaves over Toric Varieties
In this work we construct global resolutions for general coherent equivariant sheaves over toric varieties. For this, we use the framework of sheaves over posets. We develop a notion of gluing of posets and of sheaves over posets, which we apply to construct global resolutions for equivariant sheaves. Our constructions give a natural correspondence between resolutions for reflexive equivariant sheaves and free resolutions of vector space arrangements.
The Lie algebra of cyclic coinvariants of a symplectic space
We exhibit a natural Lie algebra structure on the graded space of cyclic coinvariants of a symplectic vector space.
Tropical Convexity via Cellular Resolutions
Published in J. Algebraic Combin. 24 (2006), no. 1, 103--114
• View Publication
• BIB
The tropical convex hull of a finite set of points in tropical projective space has a natural structure of a cellular free resolution. Therefore, methods from computational commutative algebra can be used to compute tropical convex hulls. Tropical cyclic polytopes are also presented.
Algorithms for computing linear invariants if directed graphs
Call two pairs $(M,N)$ and $(M',N')$ of $m\times n$ matrices over a field $K$, \emph{simultaneously K-equivalent} if there exist square invertible matrices $S,T$ over K, with $M'=SMT$ and $N'=SNT$. Kronecker \cite{Kronecker} has given a complete set of invariants for simultaneous equivalence of pairs of matrices.
Associate in the natural way to a finite directed graph $Γ$, with $v$ vertices and $e$ edges, an ordered pair $(M,N)$ of $e\times v$ matrices of zeros and ones. It is natural to try to compute the Kronecker invariants of such a pair $(M,N)$, particularly since they clearly furnish isomorphism-invariants of $Γ$. Let us call two graphs `linearly equivalent' when their two corresponding pairs are simultaneously equivalent.
The purpose of the present paper, is to compute directly these Kronecker invariants of finite directed graphs, from elementary combinatorial properties of the graphs. A pleasant surprise is that these new invariants are purely {\bf rational} --indeed, {\bf integral}, in the sense that the computation needed to decide if two directed graphs are linearly equivalent only involves counting vertices in various finite graphs constructed from each of the given graphs-- and {\bf does not involve finding the irreducible factorization of a polynomial over K} (in apparent contrast both to the familiar invariant-computations of graphs furnished by the eigenvalues of the connection matrix, and to the isomorphism problem for general pairs of matrices.)