Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Several comments about the combinatorics of tau-covers
Published in Note di Matematica 27 (2007), 47-53
• View Publication
• BIB
In a previous work with Mildenberger and Shelah, we showed that the combinatorics of the selection hypotheses involving tau-covers is sensitive to the selection operator used.
We introduce a natural generalization of Scheepers' selection operators, and show that:
(1) A slight change in the selection operator, which in classical cases makes no difference, leads to different properties when tau-covers are involved. (2) One of the newly introduced properties sheds some light on a problem of Scheepers concerning tau-covers.
Improving an earlier result, we also show that no generalized Luzin set satisfies U_fin(Gamma,Tau).
Hypomorphy of graphs up to complementation
Published
• View Publication
• BIB
Let $V$ be a set of cardinality $v$ (possibly infinite). Two graphs $G$ and $G'$ with vertex set $V$ are {\it isomorphic up to complementation} if $G'$ is isomorphic to $G$ or to the complement $\bar G$ of $G$. Let $k$ be a non-negative integer, $G$ and $G'$ are {\it $k$-hypomorphic up to complementation} if for every $k$-element subset $K$ of $V$, the induced subgraphs $G\_{\restriction K}$ and $G'\_{\restriction K}$ are isomorphic up to complementation. A graph $G$ is {\it $k$-reconstructible up to complementation} if every graph $G'$ which is $k$-hypomorphic to $G$ up to complementation is in fact isomorphic to $G$ up to complementation. We give a partial characterisation of the set $\mathcal S$ of pairs $(n,k)$ such that two graphs $G$ and $G'$ on the same set of $n$ vertices are equal up to complementation whenever they are $k$-hypomorphic up to complementation. We prove in particular that $\mathcal S$ contains all pairs $(n,k)$ such that $4\leq k\leq n-4$. We also prove that 4 is the least integer $k$ such that every graph $G$ having a large number $n$ of vertices is $k$-reconstructible up to complementation; this answers a question raised by P. Ille
From well-quasi-ordered sets to better-quasi-ordered sets
Published
• View Publication
• BIB
We consider conditions which force a well-quasi-ordered poset (wqo) to be better-quasi-ordered (bqo). In particular we obtain that if a poset $P$ is wqo and the set $S_ω(P)$ of strictly increasing sequences of elements of $P$ is bqo under domination, then $P$ is bqo. As a consequence, we get the same conclusion if $S_ω (P)$ is replaced by $\mathcal J^1(P)$, the collection of non-principal ideals of $P$, or by $AM(P)$, the collection of maximal antichains of $P$ ordered by domination. It then follows that an interval order which is wqo is in fact bqo.
Incidence structures and Stone-Priestley duality
Published
• View Publication
• BIB
We observe that if $R:=(I,ρ, J)$ is an incidence
We observe that if $R:=(I,ρ, J)$ is an incidence structure, viewed as a matrix, then the topological closure of the set of columns is the Stone space of the Boolean algebra generated by the rows. As a consequence, we obtain that the topological closure of the collection of principal initial segments of a poset $P$ is the Stone space of the Boolean algebra $Tailalg (P)$ generated by the collection of principal final segments of $P$, the so-called {\it tail-algebra of $P$}. Similar results concerning Priestley spaces and distributive lattices are given. A generalization to incidence structures valued by abstract algebras is considered.
Counting unrooted maps using tree-decomposition
We present a new method to count unrooted maps on the sphere up to orientation-preserving homeomorphisms. The principle, called tree-decomposition, is to deform a map into an arborescent structure whose nodes are occupied by constrained maps. Tree-decomposition turns out to be very efficient and flexible for the enumeration of constrained families of maps. In this article, the method is applied to count unrooted 2-connected maps and, more importantly, to count unrooted 3-connected maps, which correspond to the combinatorial types of oriented convex polyhedra. Our method improves significantly on the previously best-known complexity to enumerate unrooted 3-connected maps.
An inequality on broken chessboards
For any partition of a positive integer we consider the chess (or draughts) colouring of its associated Ferrers graph. Let b denote the total number of black unit squares, and w the number of white squares. In this note we characterize all pairs (b,w) which arise in this way. This simple combinatorical result was discovered by characterizing Hilbert series of certain right modules over cubic three-dimensional Artin-Schelter algebras. However in this note we present a purely combinatorical proof.
The result is (at least partially) known in literature, however we found it interesting to present an elementary proof. All additional references and remarks will be mostly appreciated.
Distribution of crossings, nestings and alignments of two edges in matchings and partitions
Published in Electron. J. Combin. 13 (2006), no. 1, Research Paper 33, 12 pp
• View Publication
• BIB
We construct an involution on set partitions which keeps track of the numbers of crossings, nestings and alignments of two edges.
We derive then the symmetric distribution of the numbers of crossings and nestings in partitions, which generalizes Klazar's recent result in perfect matchings. By factorizing our involution through bijections between set partitions and some path diagrams we obtain the continued fraction expansions of the corresponding ordinary generating functions.
Ranking Participants in Tournaments by means of Rating Functions
Published
• View Publication
• BIB
In this paper we bring a novel approach to the theory of tournament rankings. We combine two different theories that are widely used to establish rankings of populations after a given tournament. First, we use the statistical approach of paired comparison analysis to define the performance of a player in a natural way. Then, we determine a ranking (and rating) of the players in the given tournament. Finally, we show, among other properties, that the new ranking method is the unique one satisfying a natural consistency requirement.
List Decoding of Reed-Solomon Codes from a Groebner Basis Perspective
Published
• View Publication
• BIB
The interpolation step of Guruswami and Sudan's list decoding of Reed-Solomon codes poses the problem of finding the minimal polynomial of an ideal with respect to a certain monomial order. An efficient algorithm that solves the problem is presented based on the theory of Groebner bases of modules. In a special case, this algorithm reduces to a simple Berlekamp-Massey-like decoding algorithm.
Periodic Schur process and cylindric partitions
Published
• View Publication
• BIB
Periodic Schur process is a generalization of the Schur process introduced in math.CO/0107056. We compute its correlation functions and their bulk scaling limits, and discuss several applications including asymptotic analysis of uniform measures on cylindric partitions, time-dependent extensions of the discrete sine kernel, and bulk limit behavior of certain measures on partitions introduced in hep-th/0306238 in connection with supersymmetric gauge theories.
On covering numbers
Published
• View Publication
• BIB
A positive integer n is called a covering number if there are some distinct divisors n_1,...,n_k of n greater than one and some integers a_1,...,a_k such that Z is the union of the residue classes a_1(mod n_1),...,a_k(mod n_k). A covering number is said to be primitive if none of its proper divisors is a covering number. In this paper we give some sufficient conditions for n to be a (primitive) covering number; in particular, we show that for any r=2,3,... there are infinitely many primitive covering numbers having exactly r distinct prime divisors. In 1980 P. Erdos asked whether there are infinitely many positive integers n such that among the subsets of D_n={d>1: d|n} only D_n can be the set of all the moduli in a cover of Z with distinct moduli; we answer this question affirmatively. We also conjecture that any primitive covering number must have a prime factorization p_1^{alpha_1}...p_r^{alpha_r} (with p_1,...,p_r in a suitable order) which satisfies $\prod_{0<t<s}(alpha_t+1)\ge p_s-1$ for each s=1,...,r, with strict inequality when s=r.
A Generalized Enumeration of Labeled Trees and Reverse Prüfer Algorithm
Published in Journal of Combinatorial Theory, Series A, 114(7), 1357-1361, 2007
• View Publication
• BIB
A {\em leader} of a tree $T$ on $[n]$ is a vertex which has no smaller descendants in $T$. Gessel and Seo showed $$\sum_{T \in \mathcal{T}_n}u^\text{(# of leaders in $T$)} c^\text{(degree of 1 in $T$)}=u P_{n-1}(1,u,cu),$$ which is a generalization of Cayley formula, where $\mathcal{T}_n$ is the set of trees on $[n]$ and $$P_n(a,b,c)=c\prod_{i=1}^{n-1}(ia+(n-i)b+c).$$ Using a variation of Prüfer code which is called a {\em RP-code}, we give a simple bijective proof of Gessel and Seo's formula.
An extension of Delsarte's method. The kissing problem in three and four dimensions
Published in The Proceedings of COE Workshop on Sphere Packings (Nov. 1st - Nov. 5th, 2004), Kyushu University, Japan, 2005, 1-25
• Search Publication
These lecture notes treat the solution of the kissing number problem in four dimesions which is based on an extension of the Delsarte method for spherical codes.
Counting permutations by congruence class of major index
Published
• View Publication
• BIB
Consider S_n, the symmetric group on n letters, and let maj pi denote the major index of a permutation pi in S_n. Given positive integers k,l and nonnegative integers i,j, define m_n^{k,l}(i,j) := number of pi in S_n such that maj pi = i (mod k) and maj pi^{-1} = j (mod l). We prove bijectively that if k,l are relatively prime and at most n then m_n^{k,l}(i,j) = n!/(kl) which, surprisingly, does not depend on i and j. Equivalently, if m_n^{k,l}(i,j) is interpreted as the (i,j)-entry of a matrix m_n^{k,l}, then this is a constant matrix under the stated conditions. This bijection is extended to show the more general result that for d at least 1 and k,l relatively prime, the matrix m_n^{kd,ld} admits a block decompostion where each block is the matrix m_n^{d,d}/(kl). We also give an explicit formula for m_n^{n,n} and show that if p is prime then m_{np}^{p,p} has a simple block decomposition. To prove these results, we use the representation theory of the symmetric group and certain restricted shuffles.
Best lower bound for the maximum heterochromatic matchings in edge-colored bipartite graphs
This paper has been withdrawn by the author(s), due an error in the proof.
Edge-isoperimetric inequalities and influences
Published
• View Publication
• BIB
We give a combinatorial proof of the result of Kahn, Kalai, and Linial, which states that every balanced boolean function on the $n$-dimensional boolean cube has a variable with influence of at least Omega(\frac{log n}{n}).
The methods of the proof are then used to recover additional isoperimetric results for the cube, with improved constants. We also state some conjectures about optimal constants and discuss their possible implications
The Grone Merris Conjecture and a quadratic eigenvalue problem
We verify the Grone Merris conjecture for a class of graphs. We do this by curve sketching in the sense of first year calculus. That is, we do it by homotopy methods.
A categorification for the Tutte polynomial
Published in Algebr. Geom. Topol. 6 (2006) 2031-2049
• View Publication
• BIB
For each graph, we construct a bigraded chain complex whose graded
Euler characteristic is a version of the Tutte polynomial. This work is motivated by earlier work of Khovanov, Helme-Guizon and Rong, and others.
Ehrhart polynomials of lattice-face polytopes
Published
• View Publication
• BIB
There is a simple formula for the Ehrhart polynomial of a cyclic polytope. The purpose of this paper is to show that the same formula holds for a more general class of polytopes, lattice-face polytopes. We develop a way of decomposing any d-dimensional simplex in general position into d! signed sets, each of which corresponds to a permutation in the symmetric group, and reduce the problem of counting lattice points in a polytope in general position to that of counting lattice points in these special signed sets. Applying this decomposition to a lattice-face simplex, we obtain signed sets with special properties that allow us to count the number of lattice points inside them. We are thus able to conclude the desired formula for the Ehrhart polynomials of lattice-face polytopes.
On the existence of crepant resolutions of Gorenstein Abelian quotient singularities in dimensions \geq 4
Published
• View Publication
• BIB
For which finite subgroups G of SL(r,C), r \geq 4, are there crepant desingularizations of the quotient space C^r/G? A complete answer to this question (also known as "Existence Problem" for such desingularizations) would classify all those groups for which the high-dimensional versions of McKay correspondence are valid. In the paper we consider this question in the case of abelian finite subgroups of SL(r,C) by using techniques from toric and discrete geometry. We give two necessary existence conditions, involving the Hilbert basis elements of the cone supporting the junior simplex, and an Upper Bound Theorem, respectively. Moreover, to the known series of Gorenstein abelian quotient singularities admitting projective, crepant resolutions (which are briefly recapitulated) we add a new series of non-c.i. cyclic quotient singularities having this property.