Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Another bijection for 021-avoiding ascent sequences
Chen and collaborators give a recursively defined bijection from 021-avoiding ascent sequences to 021-avoiding (aka 132-avoiding) permutations. Here we give an algorithmic bijection from 021-avoiding ascent sequences to Dyck paths. Our bijection does not appear to be closely related to the Chen bijection but, like the Chen bijection, it preserves several interesting statistics.
On the Integrality Ratio of the Subtour LP for Euclidean TSP
Published
• View Publication
• BIB
A long standing conjecture says that the integrality ratio of the subtour LP for metric TSP is $4/3$. A well known family of graphic TSP instances achieves this lower bound asymptotically. For Euclidean TSP the best known lower bound on the integrality ratio was $8/7$. We improve this value by presenting a family of Euclidean TSP instances for which the integrality ratio of the subtour LP converges to 4/3.
The majority game with an arbitrary majority
Published
• View Publication
• BIB
The $k$-majority game is played with $n$ numbered balls, each coloured with one of two colours. It is given that there are at least $k$ balls of the majority colour, where $k$ is a fixed integer greater than $n/2$. On each turn the player selects two balls to compare, and it is revealed whether they are of the same colour; the player's aim is to determine a ball of the majority colour. It has been correctly stated by Aigner that the minimum number of comparisons necessary to guarantee success is $2(n-k) - B(n-k)$, where $B(m)$ is the weight of the binary expansion of $m$. However his proof contains an error. We give an alternative proof of this result, which generalizes an argument of Saks and Werman.
On the variational problem for upper tails in sparse random graphs
Published in Random Structures Algorithms 50 (2017), 420--436
• View Publication
• BIB
What is the probability that the number of triangles in $\mathcal{G}_{n,p}$, the Erdős-Rényi random graph with edge density $p$, is at least twice its mean? Writing it as $\exp[- r(n,p)]$, already the order of the rate function $r(n,p)$ was a longstanding open problem when $p=o(1)$, finally settled in 2012 by Chatterjee and by DeMarco and Kahn, who independently showed that $r(n,p)\asymp n^2p^2 \log (1/p)$ for $p \gtrsim \frac{\log n}n$; the exact asymptotics of $r(n,p)$ remained unknown.
The following variational problem can be related to this large deviation question at $p\gtrsim \frac{\log n}n$: for $δ>0$ fixed, what is the minimum asymptotic $p$-relative entropy of a weighted graph on $n$ vertices with triangle density at least $(1+δ)p^3$? A beautiful large deviation framework of Chatterjee and Varadhan (2011) reduces upper tails for triangles to a limiting version of this problem for fixed $p$. A very recent breakthrough of Chatterjee and Dembo extended its validity to $n^{-α}\ll p \ll 1$ for an explicit $α>0$, and plausibly it holds in all of the above sparse regime.
In this note we show that the solution to the variational problem is $\min\{\frac12 δ^{2/3}\,,\, \frac13 δ\}$ when $n^{-1/2}\ll p \ll 1$ vs. $\frac12 δ^{2/3}$ when $n^{-1} \ll p\ll n^{-1/2}$ (the transition between these regimes is expressed in the count of triangles minus an edge in the minimizer). From the results of Chatterjee and Dembo, this shows for instance that the probability that $\mathcal{G}_{n,p}$ for $ n^{-α} \leq p \ll 1$ has twice as many triangles as its expectation is $\exp[-r(n,p)]$ where $r(n,p)\sim \frac13 n^2 p^2\log(1/p)$. Our results further extend to $k$-cliques for any fixed $k$, as well as give the order of the upper tail rate function for an arbitrary fixed subgraph when $p\geq n^{-α}$.
Reconstructing surface triangulations by their intersection matrices
Published
• View Publication
• BIB
The intersection matrix of a finite simplicial complex has as each of its entries the rank of the intersection of its respective simplices. We prove that such matrix defines the triangulation of a closed connected surface up to isomorphism.
A combinatorial approach to a model of constrained random walkers
Published in Combinator. Probab. Comp. 25 (2016) 222-235
• View Publication
• BIB
In [1], the authors consider a random walk $(Z_{n,1},\ldots,Z_{n,K+1})\in \mathbb{Z}^{K+1}$ with the constraint that each coordinate of the walk is at distance one from the following one. A functional central limit theorem for the first coordinate is proved and the limit variance is explicited. In this paper, we study an extended version of this model by conditioning the extremal coordinates to be at some fixed distance at every time. We prove a functional central limit theorem for this random walk. Using combinatorial tools, we give a precise formula of the variance and compare it with the one obtained in [1].
Spectral Radius of Bipartite Graphs
Published
• View Publication
• BIB
Let k, p, q be positive integers with k < p < q+1. We prove that the maximum spectral radius of a simple bipartite graph obtained from the complete bipartite graph Kp,q of bipartition orders p and q by deleting k edges is attained when the deleting edges are all incident on a common vertex which is located in the partite set of order q. Our method is based on new sharp upper bounds on the spectral radius of bipartite graphs in terms of their degree sequences.
Graph metric with no proper inclusion between lines
Published
• View Publication
• BIB
In trying to generalize the classic Sylvester-Gallai theorem and De Bruijn-Erdős theorem in plane geometry, lines and closure lines were previously defined for metric spaces and hypergraphs. Both definitions do not obey the geometric intuition in the sense that two lines (closure lines) may intersect at more than one point, and one line (closure line) might be the proper subset of another. In this work, we study the systems where one or both of the configurations are forbidden. We note that when any two lines intersect in at most one point, the two classic theorems extend in any metric space. We study the metric spaces induced by simple graphs where no line is a proper subset of another, and show that the least number of lines for such a graph with $n$ vertices is between the order of $n^{4/3}$ and $n^{4/3} \ln^{2/3} n$.
Packing k-partite k-uniform hypergraphs
Published
• View Publication
• BIB
Let $G$ and $H$ be $k$-graphs ($k$-uniform hypergraphs); then a perfect $H$-packing in $G$ is a collection of vertex-disjoint copies of $H$ in $G$ which together cover every vertex of $G$. For any fixed $H$ let $δ(H, n)$ be the minimum $δ$ such that any $k$-graph $G$ on $n$ vertices with minimum codegree $δ(G) \geq δ$ contains a perfect $H$-packing. The problem of determining $δ(H, n)$ has been widely studied for graphs (i.e. $2$-graphs), but little is known for $k \geq 3$. Here we determine the asymptotic value of $δ(H, n)$ for all complete $k$-partite $k$-graphs $H$, as well as a wide class of other $k$-partite $k$-graphs. In particular, these results provide an asymptotic solution to a question of Rödl and Ruciński on the value of $δ(H, n)$ when $H$ is a loose cycle. We also determine asymptotically the codegree threshold needed to guarantee an $H$-packing covering all but a constant number of vertices of $G$ for any complete $k$-partite $k$-graph $H$.
On Saturated $k$-Sperner Systems
Published in Electron. J. Combin. 21(3) (2014), #P3.22
• View Publication
• BIB
Given a set $X$, a collection $\mathcal{F}\subseteq\mathcal{P}(X)$ is said to be $k$-Sperner if it does not contain a chain of length $k+1$ under set inclusion and it is saturated if it is maximal with respect to this property. Gerbner et al. conjectured that, if $|X|$ is sufficiently large with respect to $k$, then the minimum size of a saturated $k$-Sperner system $\mathcal{F}\subseteq\mathcal{P}(X)$ is $2^{k-1}$. We disprove this conjecture by showing that there exists $\varepsilon>0$ such that for every $k$ and $|X| \geq n_0(k)$ there exists a saturated $k$-Sperner system $\mathcal{F}\subseteq\mathcal{P}(X)$ with cardinality at most $2^{(1-\varepsilon)k}$.
A collection $\mathcal{F}\subseteq \mathcal{P}(X)$ is said to be an oversaturated $k$-Sperner system if, for every $S\in\mathcal{P}(X)\setminus\mathcal{F}$, $\mathcal{F}\cup\{S\}$ contains more chains of length $k+1$ than $\mathcal{F}$. Gerbner et al. proved that, if $|X|\geq k$, then the smallest such collection contains between $2^{k/2-1}$ and $O\left(\frac{\log{k}}{k}2^k\right)$ elements. We show that if $|X|\geq k^2+k$, then the lower bound is best possible, up to a polynomial factor.
A generalization of extension complexity that captures $P$
Published
• View Publication
• BIB
In this paper we propose a generalization of the extension complexity of a polyhedron $Q$. On the one hand it is general enough so that all problems in $P$ can be formulated as linear programs with polynomial size extension complexity. On the other hand it still allows non-polynomial lower bounds to be proved for $NP$-hard problems independently of whether or not $P=NP$. The generalization, called $H$-free extension complexity, allows for a set of valid inequalities $H$ to be excluded in computing the extension complexity of $Q$. We give results on the $H$-free extension complexity of hard matching problems (when $H$ are the odd set inequalities) and the traveling salesman problem (when $H$ are the subtour elimination constraints).
Counting the minimal number of inflections of a plane curve
Given a plane curve $γ: S^1\to \mathbb R^2$, we consider the problem of determining the minimal number $I(γ)$ of inflections which curves $\mbox{diff}(γ)$ may have, where $\mbox{diff}$ runs over the group of diffeomorphisms of $\mathbb R^2$. We show that if $γ$ is an immersed curve with $D(γ)$ double points and no other singularities, then $I(γ)\leq 2D(γ)$. In fact, we prove the latter result for the so-called plane doodles which are finite collections of closed immersed plane curves whose only singularities are double points.
List strong edge coloring of some classes of graphs
Published in Australas. J. Combin. 68 (2017) 106--117
• Search Publication
A {\em strong edge coloring} of a graph is a proper edge coloring in which every color class is an induced matching. The {\em strong chromatic index} of a graph is the minimum number of colors needed to obtain a strong edge coloring. In an analogous way, we can define the list version of strong edge coloring and list version of strong chromatic index. In this paper, we prove that if $G$ is a graph with maximum degree at most four and maximum average degree less than $3$, then the list strong chromatic index is at most $3Δ+ 1$, where $Δ$ is the maximum degree of $G$. In addition, we prove that if $G$ is a planar graph with maximum degree at least $4$ and girth at least $7$, then the list strong chromatic index is at most $3Δ$.
Rationality conditions for the eigenvalues of normal finite Cayley graphs
Given a finite group G, we say that a subset C of G is power-closed if, for every x in C and y in <x> with <x>=<y>, we have that y lies in C.
In this paper we are interested in finite Cayley digraphs Cay(G,C) over G with connection set C, where C is a union of conjugacy classes of G. We show that each eigenvalue of Cay(G,C) is integral if and only if C is power-closed. This result will follow from a discussion of some more general rationality conditions on the eigenvalues of Cay(G,C).
Characters of Feigin-Stoyanovsky subspaces and Brion's theorem
Published in Functional Analysis and Its Applications, 49:1 (2015), pp 15-24
• View Publication
• BIB
We give an alternative proof of the main result of the paper http://arxiv.org/abs/math/0112104, the proof relies on Brion's theorem about convex polyhedra. The result itself can be viewed as a formula for the character of the Feigin-Stoyanovsky subspace of an integrable irreducible representation of the affine Lie algebra $\widehat{\mathfrak{sl}_n}(\mathbb{C})$. Our approach is to assign integer points of a certain polytope to the vectors comprising a monomial basis of the subspace and then compute the character via (a variation of) Brion's theorem.
Sur une proprieté des polynômes de Stirling
In this article, we give a positive answer to a question posed in 1960 by D.S. Mitrinović and R.S. Mitrinović (see: D.S. Mitrinović et R.S. Mitrinović, Tableaux qui fournissent des polynômes de Stirling, Publications de la Faculté d'Electronique, série: Mathématiques et physique, 34, (1960).1-23.) concerned the Stirling numbers of the first kind $s(n,k).$ We prove that for all $k\geq 2$ there exist an integer $m_{k}$ and a primitive polynomial $P_{k}(x)$ in $\mathbb{Z}[x]$ such that for all $n\geq k$, $s(n,n-k)=\frac{1}{m_{k}}\binom{n}{k+1}\left(n(n-1)\right) ^{\mathop{\rm mod}\nolimits (k,2)}P_{k}(n)$. Moreover for all $k\geq1$, $P_{2k}(0)=P_{2k+1}(0)$.
$SL_2(\mathbb{Z})$-tilings of the torus, Coxeter-Conway friezes and Farey triangulations
Published
• View Publication
• BIB
The notion of $SL_2$-tiling is a generalization of that of classical Coxeter-Conway frieze pattern. We classify doubly antiperiodic $SL_2$-tilings that contain a rectangular domain of positive integers. Every such $SL_2$-tiling corresponds to a pair of frieze patterns and a unimodular $2\times2$-matrix with positive integer coefficients. We relate this notion to triangulated $n$-gons in the Farey graph.
New graceful diameter-6 trees by transfers
Given a graph $G$, a labeling of $G$ is an injective function $f:V(G)\rightarrow\mathbb{Z}_{\ge 0}$. Under the labeling $f$, the label of a vertex $v$ is $f(v)$, and the induced label of an edge $uv$ is $|f(u) - f(v)|$. The labeling $f$ is graceful if the labels of the vertices are $\{0, 1, \ldots , |V(G)| - 1\}$, and the induced labels of the edges are distinct. The graph $G$ is graceful if it has a graceful labeling. The Graceful Tree Conjecture, introduced by Kotzig in the late 1960's, states that all trees are graceful. It is an open problem whether every diameter-6 tree has a graceful labeling. In this paper, we prove that if $T$ is a tree with central vertex and root $v$, such that each vertex not in the last two levels has an odd number of children, and $T$ satisfies one of the following conditions (a)-(e), then $T$ has a graceful labeling $f$ with $f(v) = 0$: (a) $T$ is a diameter-6 complete tree; (b) $T$ is a diameter-6 tree such that no two leaves of distance 2 from $v$ are siblings, and each leaf of distance 2 from $v$ has a sibling with an even number of children; (c) $T$ is a diameter-$2r$ complete tree, such that the number of vertices of distance $r - 1$ from $v$, with an even number of children, is not $3\pmod{4}$; (d) $T$ is a diameter-$2r$ tree, such that the number of vertices of distance $r - 1$ from $v$, with an even number of children, is not $3\pmod{4}$, no two leaves of distance $r - 1$ from $v$ are siblings, and each leaf of distance $r - 1$ from $v$ has a sibling with an even number of children; (e) $T$ is a diameter-6 tree, such that each internal vertex has an odd number of children. In particular, all depth-3 trees of which each internal vertex has an odd number of children are graceful.
On (Multi)-Collision Times
A detailed study of the waiting times for the first (multi)-collision in a drawing process.
Linkages in Large Graphs of Bounded Tree-Width
We show that all sufficiently large (2k+3)-connected graphs of bounded tree-width are k-linked. Thomassen has conjectured that all sufficiently large (2k+2)-connected graphs are k-linked.