Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Expressing Combinatorial Optimization Problems by Systems of Polynomial Equations and the Nullstellensatz
Published
• View Publication
• BIB
Systems of polynomial equations over the complex or real numbers can be used to model combinatorial problems. In this way, a combinatorial problem is feasible (e.g. a graph is 3-colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution. In the first part of this paper, we construct new polynomial encodings for the problems of finding in a graph its longest cycle, the largest planar subgraph, the edge-chromatic number, or the largest k-colorable subgraph.
For an infeasible polynomial system, the (complex) Hilbert Nullstellensatz gives a certificate that the associated combinatorial problem is infeasible. Thus, unless P = NP, there must exist an infinite sequence of infeasible instances of each hard combinatorial problem for which the minimum degree of a Hilbert Nullstellensatz certificate of the associated polynomial system grows.
We show that the minimum-degree of a Nullstellensatz certificate for the non-existence of a stable set of size greater than the stability number of the graph is the stability number of the graph. Moreover, such a certificate contains at least one term per stable set of G. In contrast, for non-3- colorability, we found only graphs with Nullstellensatz certificates of degree four.
Some additive applications of the isopermetric approach
Published
• View Publication
• BIB
Let $G$ be a group and let $X$ be a finite subset. The isoperimetric method investigates the objective function $|(XB)\setminus X|$, defined on the subsets $X$ with $|X|\ge k$ and $|G\setminus (XB)|\ge k$. A subset with minimal where this objective function attains its minimal value is called a $k$--fragment. In this paper we present all the basic facts about the isoperimetric method. We improve some of our previous results and obtaingeneralizations and short proofs for several known results. We also give some new applications. Some of the results obtained here will be used in coming papers to improve Kempermann structure Theory.
Explicit enumeration of triangulations with multiple boundaries
Published in The Electronic Journal of Combinatorics 14, 1 (2007) R61
• View Publication
• BIB
We enumerate rooted triangulations of a sphere with multiple holes by the total number of edges and the length of each boundary component. The proof relies on a combinatorial identity due to W.T. Tutte.
Culminating paths
Published in Discrete Mathematics & Theoretical Computer Science 10, 2 (2008) 125--152
• View Publication
• BIB
Let a and b be two positive integers. A culminating path is a path of Z^2 that starts from (0,0), consists of steps (1,a) and (1,-b), stays above the x-axis and ends at the highest ordinate it ever reaches. These paths were first encountered in bioinformatics, in the analysis of similarity search algorithms. They are also related to certain models of Lorentzian gravity in theoretical physics. We first show that the language on a two letter alphabet that naturally encodes culminating paths is not context-free. Then, we focus on the enumeration of culminating paths. A step by step approach, combined with the kernel method, provides a closed form expression for the generating fucntion of culminating paths ending at a (generic) height k. In the case a=b, we derive from this expression the asymptotic behaviour of the number of culminating paths of length n. When a>b, we obtain the asymptotic behaviour by a simpler argument. When a<b, we only determine the exponential growth of the number of culminating paths. Finally, we study the uniform random generation of culminating paths via various methods. The rejection approach, coupled with a symmetry argument, gives an algorithm that is linear when a>= b, with no precomputation stage nor non-linear storage required. The choice of the best algorithm is not as clear when a<b. An elementary recursive approach yields a linear algorithm after a precomputation stage involving O(n^3) arithmetic operations, but we also present some alternatives that may be more efficient in practise.
The sum-product estimate for large subsets of prime fields
Published
• View Publication
• BIB
Let $\mathbb{F}_p$ be the field of a prime order $p.$ It is known that for any integer $N\in [1,p]$ one can construct a subset $A\subset\mathbb{F}_p$ with $|A|= N$ such that $$ \max\{|A+A|, |AA|\}\ll p^{1/2}|A|^{1/2}. $$ In the present paper we prove that if $A\subset \mathbb{F}_p$ with $|A|>p^{2/3},$ then $$ \max\{|A+A|, |AA|\}\gg p^{1/2}|A|^{1/2}. $$
An ansatz for the asymptotics of hypergeometric multisums
Published
• View Publication
• BIB
Sequences that are defined by multisums of hypergeometric terms with compact support occur frequently in enumeration problems of combinatorics, algebraic geometry and perturbative quantum field theory. The standard recipe to study the asymptotic expansion of such sequences is to find a recurrence satisfied by them, convert it into a differential equation satisfied by their generating series, and analyze the singulatiries in the complex plane. We propose a shortcut by constructing directly from the structure of the hypergeometric term a finite set, for which we conjecture (and in some cases prove) that it contains all the singularities of the generating series. Our construction of this finite set is given by the solution set of a balanced system of polynomial equations of a rather special form, reminiscent of the Bethe ansatz. The finite set can also be identified with the set of critical values of a potential function, as well as with the evaluation of elements of an additive $K$-theory group by a regulator function. We give a proof of our conjecture in some special cases, and we illustrate our results with numerous examples.
On simple arrangements of lines and pseudo-lines in P^2 and R^2 with the maximum number of triangles
Published in Contemp. Math. 453 (2008), Discrete and Computational Geometry, 105-116.
• View Publication
• BIB
We give some new advances in the research of the maximum number of triangles that we may obtain in a simple arrangements of n lines or pseudo-lines.
Abstract numeration systems on bounded languages and multiplication by a constant
Published in Integers: Electronic Journal of Combinatorial Number Theory 8, 1 (2008) #35
• Search Publication
A set of integers is $S$-recognizable in an abstract numeration system $S$ if the language made up of the representations of its elements is accepted by a finite automaton. For abstract numeration systems built over bounded languages with at least three letters, we show that multiplication by an integer $λ\ge2$ does not preserve $S$-recognizability, meaning that there always exists a $S$-recognizable set $X$ such that $λX$ is not $S$-recognizable. The main tool is a bijection between the representation of an integer over a bounded language and its decomposition as a sum of binomial coefficients with certain properties, the so-called combinatorial numeration system.
On the decycling of powers and products of cycles
We calculate exact values of the decycling numbers of $C_{m} \times C_{n}$ for $m=3,4$, of $C_{n}^{2}$, and of $C_{n}^{3}$.
Permutation actions on equivariant cohomology
Published
• View Publication
• BIB
This survey paper describes two geometric representations of the permutation group using the tools of toric topology. These actions are extremely useful for computational problems in Schubert calculus. The (torus) equivariant cohomology of the flag variety is constructed using the combinatorial description of Goresky-Kottwitz-MacPherson, discussed in detail. Two permutation representations on equivariant and ordinary cohomology are identified in terms of irreducible representations of the permutation group. We show how to use the permutation actions to construct divided difference operators and to give formulas for some localizations of certain equivariant classes.
This paper includes several new results, in particular a new proof of the Chevalley-Monk formula and a proof that one of the natural permutation representations on the equivariant cohomology of the flag variety is the regular representation. Many examples, exercises, and open questions are provided.
The Order of the Giant Component of Random Hypergraphs
Published in Random Structures and algorithms 36 (2010) 149 - 184
• View Publication
• BIB
We establish central and local limit theorems for the number of vertices in the largest component of a random $d$-uniform hypergraph $\hnp$ with edge probability $p=c/\binnd$, where $(d-1)^{-1}+\eps<c<\infty$. The proof relies on a new, purely probabilistic approach, and is based on Stein's method as well as exposing the edges of $H_d(n,p)$ in several rounds.
Local Limit Theorems and Number of Connected Hypergraphs
Published in Combinatorics, Probability and Computing 23 (2014), 331-366 and 367-385
• Search Publication
Let $H_d(n,p)$ signify a random $d$-uniform hypergraph with $n$ vertices in which each of the ${n}\choose{d}$ possible edges is present with probability $p=p(n)$ independently, and let $H_d(n,m)$ denote a uniformly distributed with $n$ vertices and $m$ edges. We derive local limit theorems for the joint distribution of the number of vertices and the number of edges in the largest component of $H_d(n,p)$ and $H_d(n,m)$ for the regime ${{n-1}\choose{d-1}} p,dm/n >(d-1)^{-1}+ε$. As an application, we obtain an asymptotic formula for the probability that $H_d(n,p)$ or $H_d(n,m)$ is connected. In addition, we infer a local limit theorem for the conditional distribution of the number of edges in $H_d(n,p)$ given connectivity. While most prior work on this subject relies on techniques from enumerative combinatorics, we present a new, purely probabilistic approach.
More spectral bounds on the clique and independence numbers
Published
• View Publication
• BIB
We give some new bounds for the clique and independence numbers of a graph in terms of its eigenvalues.
The Compositions of the Differential Operations and Gateaux Directional Derivative
Published in Journal of Integer Sequences, Vol.10 (2007), Article 07.8.2, 1-11
• Search Publication
In this paper we determine the number of the meaningful compositions of higher order of the differential operations and Gateaux directional derivative.
Enumeration of curves via floor diagrams
In this note we compute some enumerative invariants of real and complex projective spaces by means of some enriched graphs called floor diagrams.
Number of irreducible polynomials in several variables over finite fields
Published
• View Publication
• BIB
We give a formula and an estimation for the number of irreducible polynomials in two (or more) variables over a finite field.
Two Erdos problems on lacunary sequences: Chromatic number and Diophantine approximation
Published
• View Publication
• BIB
Let ${n_k}$ be an increasing lacunary sequence, i.e., $n_{k+1}/n_k>1+r$ for some $r>0$. In 1987, P. Erdos asked for the chromatic number of a graph $G$ on the integers, where two integers $a,b$ are connected by an edge iff their difference $|a-b|$ is in the sequence ${n_k}$. Y. Katznelson found a connection to a Diophantine approximation problem (also due to Erdos): the existence of $x$ in $(0,1)$ such that all the multiples $n_j x$ are at least distance $δ(x)>0$ from the set of integers. Katznelson bounded the chromatic number of $G$ by $Cr^{-2}|\log r|$. We apply the Lovász local lemma to establish that $δ(x)>cr|\log r|^{-1}$ for some $x$, which implies that the chromatic number of $G$ is at most $Cr^{-1} |\log r|$. This is sharp up to the logarithmic factor.
Patience Sorting and Its Generalizations
This dissertation collects together results on Patience Sorting and its generalizations. It incorporates the results of math.CO/0506358, math.CO/0507031, and math.CO/0512122, as well as previously unpublished results.
M_2-rank differences for partitions without repeated odd parts
Published in Journal de Theorie des Nombres de Bordeaux 21 (2009), 313-334
• View Publication
• BIB
We prove formulas for the generating functions for M_2-rank differences for partitions without repeated odd parts. These formulas are in terms of modular forms and generalized Lambert series.
Refined bound for sum-free sets in groups of prime order
Published
• View Publication
• BIB
Improving upon earlier results of Freiman and the present authors, we show that if $p$ is a sufficiently large prime and $A$ is a sum-free subset of the group of order $p$, such that $n:=|A|>0.318p$, then $A$ is contained in a dilation of the interval $[n,p-n]\pmod p$.