Showing 20 papers (Total: 83076 papers, 47999 authors in database)
On contracting hyperplane elements from a 3-connected matroid
Published
• View Publication
• BIB
Let $\tilde{K}_{3,n}$, $n\geq 3$, be the simple graph obtained from $K_{3,n}$ by adding three edges to a vertex part of size three. We prove that if $H$ is a hyperplane of a 3-connected matroid $M$ and $M \not\cong M^*(\tilde{K}_{3,n})$, then there is an element $x$ in $H$ such that the simple matroid associated with $M/x$ is 3-connected.
On Cobweb Posets and Discrete F-Boxes Tilings
F-boxes defined in [6] as hyper-boxes in N^{\infty} discrete space were applied here for the geometric description of the cobweb posetes Hasse diagrams tilings. The F-boxes edges sizes are taken to be values of terms of natural numbers' valued sequence F. The problem of partitions of hyper-boxes represented by graphs into blocks of special form is considered and these are to be called F-tilings. The proof of such tilings' existence for certain sub-family of admissible sequences F is delivered. The family of F-tilings which we consider here includes among others F = Natural numbers, Fibonacci numbers, Gaussian integers with their corresponding F-nomial (Binomial, Fibonomial, Gaussian) coefficients. Extension of this tiling problem onto the general case multi F-nomial coefficients is here proposed. Reformulation of the present cobweb tiling problem into a clique problem of a graph specially invented for that purpose - is proposed here too. To this end we illustrate the area of our reconnaissance by means of the Venn type map of various cobweb sequences families.
Efficient Counting and Asymptotics of $k$-noncrossing tangled-diagrams
Published
• View Publication
• BIB
In this paper we enumerate $k$-noncrossing tangled-diagrams. A tangled-diagram is a labeled graph whose vertices are $1,...,n$ have degree $\le 2$, and are arranged in increasing order in a horizontal line. Its arcs are drawn in the upper halfplane with a particular notion of crossings and nestings. Our main result is the asymptotic formula for the number of $k$-noncrossing tangled-diagrams $T_{k}(n) \sim c_k n^{-((k-1)^2+(k-1)/2)} (4(k-1)^2+2(k-1)+1)^n$ for some $c_k>0$.
Maximum vertex occupation time and inert fugitive: recontamination does help
Published in Information Processing Letters 109 (2009) 422-426
• View Publication
• BIB
Given a simple graph $G$, we consider the node search problem with inert fugitive. We are interested in minimizing the maximum vertex occupation time, i.e. the maximum number of steps in which a vertex is occupied by a searcher during a search of $G$. We prove that a search program which does not allow a recontamination may not find an optimal solution to this problem, and the difference between the maximum vertex occupation time computed by a monotone search program and a program without such restriction may be arbitrarily large.
On the locality of the Prüfer code
Published
• View Publication
• BIB
The Prüfer code is a bijection between trees on the vertex set $[n]$ and strings on the set $[n]$ of length $n-2$ (Prüfer strings of order $n$). In this paper we examine the `locality' properties of the Prüfer code, i.e. the effect of changing an element of the Prüfer string on the structure of the corresponding tree. Our measure for the distance between two trees $T,T^*$ is $Δ(T,T^*)=n-1-| E(T)\cap E(T^*)|$. We randomly mutate the $μ$th element of the Prüfer string of the tree $T$, changing it to the tree $T^*$, and we asymptotically estimate the probability that this results in a change of $\ell$ edges, i.e. $P(Δ=\ell | μ).$ We find that P(Δ=\ell | μ)$ is on the order of $ n^{-1/3+o(1)}$ for any integer $\ell>1,$ and that $P(Δ=1 | μ)=(1-μ/n)^2+o(1).$ This result implies that the probability of a `perfect' mutation in the Prüfer code (one for which $Δ(T,T^*)=1$) is $1/3.$
On linear versions of some addition theorems
Published
• View Publication
• BIB
Let K \subset L be a field extension. Given K-subspaces A,B of L, we study the subspace spanned by the product set AB = {ab | a \in A, b \in B}. We obtain some lower bounds on the dimension of this subspace and on dim B^n in terms of dim A, dim B and n. This is achieved by establishing linear versions of constructions and results in additive number theory mainly due to Kemperman and Olson.
A Remark on Triangle-Critical Graphs
A connected $k$-chromatic graph $G$ with $k \geq 3$ is said to be triangle-critical, if every edge of $G$ is contained in an induced triangle of $G$ and the removal of any triangle from $G$ decreases the chromatic number of $G$ by three. B. Toft posed the problem of showing that the complete graphs on more than two vertices are the only triangle-critical graphs. By applying a method of M. Stiebitz [Discrete Math. 64 (1987), 91--93], we answer the problem affirmatively for triangle-critical $k$-chromatic graphs with $k \leq 6$.
Automorphic properties of generating functions for generalized rank moments and Durfee symbols
Published in IMRN, no. 2, (2010), 238-260
• View Publication
• BIB
We define two-parameter generalizations of two combinatorial constructions of Andrews: the kth symmetrized rank moment and the k-marked Durfee symbol. We prove that three specializations of the associated generating functions are so-called quasimock theta functions, while a fourth specialization gives quasimodular forms. We then define a two-parameter generalization of Andrews' smallest parts function and note that this leads to quasimock theta functions as well. The automorphic properties are deduced using q-series identities relating the relevant generating functions to known mock theta functions.
Edge ideals of clique clutters of comparability graphs and the normality of monomial ideals
Published in Math. Scand. 106 (2010), no. 1, 88--98
• View Publication
• BIB
Let (P,<) be a finite poset and let G be its comparability graph. If cl(G) is the clutter of maximal cliques of G, we prove that cl(G) satisfies the max-flow min-cut property and that its edge ideal is normally torsion free. We prove that edge ideals of complete admissible uniform clutters are normally torsion free. The normality of a monomial ideal is expressed in terms of blocking polyhedra and the integer decomposition property. For edge ideals of clutters this property completely determine their normality
Characterization of Cobweb Posets as KoDAGs
The characterization of the large family of cobweb posets as DAGs and oDAGs is given. The dim 2 poset such that its Hasse diagram coincide with digraf of arbitrary cobweb poset is constructed.
Palindromic Saturation
We consider two {seemingly} different definitions of infinite words which contain {the} utmost number of palindromes. We show that these two definitions coincide. {The keynote of the proof is a meticulous inspection of properties of complete return words and the application of some basic graph theory.} In fact, we provide another proof of the result announced in \cite{Zamboni}.
The operad Lie is free
Published
• View Publication
• BIB
We show that the operad Lie is free as a non-symmetric operad. Then we study the generating series counting the operadic generators, finding a recursive formula for its coefficients, and showing that the asymptotic density of the operadic generators is 1/e.
Equivalences entre conjectures de Soergel
Published
• View Publication
• BIB
Soergel's category B_k(V) over a field k is defined from a Coxeter system (W,S) and a k-linear representation V of W. It's a categorification of the Hecke algebra of (W,S). In this article we prove that for some representations V and V' of W, Soergel's conjecture over B_k(V') is equivalent to that over B_k(V). In particular, when k=IR we can choose V' to be the geometric representation.
A Hardy field extension of Szemeredi's Theorem
Published
• View Publication
• BIB
In 1975 Szemerédi proved that a set of integers of positive upper density contains arbitrarily long arithmetic progressions. Bergelson and Leibman showed in 1996 that the common difference of the arithmetic progression can be a square, a cube, or more generally of the form $p(n)$ where $p(n)$ is any integer polynomial with zero constant term. We produce a variety of new results of this type related to sequences that are not polynomial. We show that the common difference of the progression in Szemerédi's theorem can be of the form $[n^δ]$ where $δ$ is any positive real number and $[x]$ denotes the integer part of $x$. More generally, the common difference can be of the form $[a(n)]$ where $a(x)$ is any function that is a member of a Hardy field and satisfies $a(x)/x^k\to \infty$ and $a(x)/x^{k+1}\to 0$ for some non-negative integer $k$. The proof combines a new structural result for Hardy sequences, techniques from ergodic theory, and some recent equidistribution results of sequences on nilmanifolds.
Labelling Algorithms for Paired-domination Problems in Block and Interval Graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph without isolated vertices. A set $S\subseteq V$ is a paired-domination set if every vertex in $V-S$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ contains a perfect matching. The paired-domination problem is to determine the paired-domination number, which is the minimum cardinality of a paired-dominating set. Motivated by a mistaken algorithm given by Chen, Kang and Ng [ Paired domination on interval and circular-arc graphs, Disc. Appl. Math. 155(2007),2077-2086], we present two linear time algorithms to find a minimum cardinality paired-dominating set in block and interval graphs. In addition, we prove that paired-domination problem is {\em NP}-complete for bipartite graphs, chordal graphs, even split graphs.
A Gelfand Model for Wreath Products
Published
• View Publication
• BIB
A Gelafand model for wreath products $\Z_r\wr S_n$ is constructed. The proof relies on a combinatorial interpretation of the characters of the model, extending a classical result of Frobenius and Schur.
Understanding maximal repetitions in strings
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• View Publication
• BIB
The cornerstone of any algorithm computing all repetitions in a string of length n in O(n) time is the fact that the number of runs (or maximal repetitions) is O(n). We give a simple proof of this result. As a consequence of our approach, the stronger result concerning the linearity of the sum of exponents of all runs follows easily.
Trimmed Moebius Inversion and Graphs of Bounded Degree
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• Search Publication
We study ways to expedite Yates's algorithm for computing the zeta and Moebius transforms of a function defined on the subset lattice. We develop a trimmed variant of Moebius inversion that proceeds point by point, finishing the calculation at a subset before considering its supersets. For an $n$-element universe $U$ and a family $\scr F$ of its subsets, trimmed Moebius inversion allows us to compute the number of packings, coverings, and partitions of $U$ with $k$ sets from $\scr F$ in time within a polynomial factor (in $n$) of the number of supersets of the members of $\scr F$. Relying on an intersection theorem of Chung et al. (1986) to bound the sizes of set families, we apply these ideas to well-studied combinatorial optimisation problems on graphs of maximum degree $Δ$. In particular, we show how to compute the Domatic Number in time within a polynomial factor of $(2^{Δ+1-2)^{n/(Δ+1)$ and the Chromatic Number in time within a polynomial factor of $(2^{Δ+1-Δ-1)^{n/(Δ+1)$. For any constant $Δ$, these bounds are $O\bigl((2-ε)^n\bigr)$ for $ε>0$ independent of the number of vertices $n$.
Analytic aspects of the shuffle product
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• Search Publication
There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the search to understand how to extend these natural correspondences, we find that the shuffle product models many key aspects of D-finite generating functions, a class which contains algebraic. We consider several different takes on the shuffle product, shuffle closure, and shuffle grammars, and give explicit generating function consequences. In the process, we define a grammar class that models D-finite generating functions.
Shortest Vertex-Disjoint Two-Face Paths in Planar Graphs
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• Search Publication
Let $G$ be a directed planar graph of complexity $n$, each arc having a nonnegative length. Let $s$ and $t$ be two distinct faces of $G$; let $s_1,...,s_k$ be vertices incident with $s$; let $t_1,...,t_k$ be vertices incident with $t$. We give an algorithm to compute $k$ pairwise vertex-disjoint paths connecting the pairs $(s_i,t_i)$ in $G$, with minimal total length, in $O(kn\log n)$ time.