Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Searching for Strange Hypergeometric Identities By Sheer Brute Force
We describe a systematic search for all strange hypergeometric identities up to a certain complexity with sheer brute force that lead us to the discovery of two new infinite families of closed-form evaluations.
A homotopical algebra of graphs related to zeta series
Published
• View Publication
• BIB
The purpose of this paper is to develop a homotopical algebra for graphs, relevant to zeta series and spectra of finite graphs. More precisely, we define a Quillen model structure in a category of graphs (directed and possibly infinite, with loops and multiple arcs allowed). The weak equivalences for this model structure are the Acyclics (graph morphisms which preserve cycles). The cofibrations and fibrations for the model are determined from the class of Whiskerings (graph morphisms produced by grafting trees). Our model structure seems to fit well with the importance of acyclic directed graphs in many applications.
In addition to the weak factorization systems which form this model structure, we also describe two Freyd-Kelly factorization systems based on Folding, Injecting, and Covering graph morphisms.
Rich, Sturmian, and trapezoidal words
Published in Theoretical Computer Science 407 (2008) 569--573
• View Publication
• BIB
In this paper we explore various interconnections between rich words, Sturmian words, and trapezoidal words. Rich words, first introduced in arXiv:0801.1656 by the second and third authors together with J. Justin and S. Widmer, constitute a new class of finite and infinite words characterized by having the maximal number of palindromic factors. Every finite Sturmian word is rich, but not conversely. Trapezoidal words were first introduced by the first author in studying the behavior of the subword complexity of finite Sturmian words. Unfortunately this property does not characterize finite Sturmian words. In this note we show that the only trapezoidal palindromes are Sturmian. More generally we show that Sturmian palindromes can be characterized either in terms of their subword complexity (the trapezoidal property) or in terms of their palindromic complexity. We also obtain a similar characterization of rich palindromes in terms of a relation between palindromic complexity and subword complexity.
Directive words of episturmian words: equivalences and normalization
Published in RAIRO - Theoretical Informatics and Applications 43 (2009) 299-319
• View Publication
• BIB
Episturmian morphisms constitute a powerful tool to study episturmian words. Indeed, any episturmian word can be infinitely decomposed over the set of pure episturmian morphisms. Thus, an episturmian word can be defined by one of its morphic decompositions or, equivalently, by a certain directive word. Here we characterize pairs of words directing a common episturmian word. We also propose a way to uniquely define any episturmian word through a normalization of its directive words. As a consequence of these results, we characterize episturmian words having a unique directive word.
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.