Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Link Patterns and the Catalan Tree
We demonstrate that a natural construction based on the two notions of insertion of a strand and finding the preimages of Temperley-Lieb algebra generators give an inductive means to generate all link patterns of a given number of strands. It is shown that the structure of the Catalan tree (as defined by Julian West) arises in the process of this induction, and that it can be exploited to give some refined enumerations of link patterns.
Repetition-free longest common subsequence of random sequences
Published
• View Publication
• BIB
A repetition free Longest Common Subsequence (LCS) of two sequences x and y is an LCS of x and y where each symbol may appear at most once. Let R denote the length of a repetition free LCS of two sequences of n symbols each one chosen randomly, uniformly, and independently over a k-ary alphabet. We study the asymptotic, in n and k, behavior of R and establish that there are three distinct regimes, depending on the relative speed of growth of n and k. For each regime we establish the limiting behavior of R. In fact, we do more, since we actually establish tail bounds for large deviations of R from its limiting behavior.
Our study is motivated by the so called exemplar model proposed by Sankoff (1999) and the related similarity measure introduced by Adi et al. (2007). A natural question that arises in this context, which as we show is related to long standing open problems in the area of probabilistic combinatorics, is to understand the asymptotic, in n and k, behavior of parameter R.
Canonical tree-decompositions of finite graphs II. Essential parts
Published
• View Publication
• BIB
In Part I of this series we described three algorithms that construct canonical tree-decompositions of graphs which distinguish all their k-blocks and tangles of order k. We now establish bounds on the number of parts in these decompositions that contain no such block or tangle, and determine conditions under which such parts contain nothing but a k-block.
Dual bases for non commutative symmetric and quasi-symmetric functions via monoidal factorization
Published
• View Publication
• BIB
In this work, an effective construction, via Schützenberger's monoidal factorization, of dual bases for the non commutative symmetric and quasi-symmetric functions is proposed.
Schützenberger's factorization on the (completed) Hopf algebra of $q-$stuffle product
Published
• View Publication
• BIB
In order to extend the Schützenberger's factorization, the combinatorial Hopf algebra of the $q$-stuffles product is developed systematically in a parallel way with that of the shuffle product and and in emphasizing the Lie elements as studied by Ree. In particular, we will give here an effective construction of pair of bases in duality.
Clustered planarity testing revisited
Published in The Electronic Journal of Combinatorics 22 (2015), Issue 4, P4.24, 29 pp
• View Publication
• BIB
The Hanani--Tutte theorem is a classical result proved for the first time in the 1930s that characterizes planar graphs as graphs that admit a drawing in the plane in which every pair of edges not sharing a vertex cross an even number of times. We generalize this result to clustered graphs with two disjoint clusters, and show that a straightforward extension to flat clustered graphs with three or more disjoint clusters is not possible. For general clustered graphs we show a variant of the Hanani--Tutte theorem in the case when each cluster induces a connected subgraph. Di Battista and Frati proved that clustered planarity of embedded clustered graphs whose every face is incident with at most five vertices can be tested in polynomial time. We give a new and short proof of this result, using the matroid intersection algorithm.
$k$-Blocks: a connectivity invariant for graphs
Published in SIDMA 28 (2014), 1876-1891
• View Publication
• BIB
A $k$-block in a graph $G$ is a maximal set of at least $k$ vertices no two of which can be separated in $G$ by fewer than $k$ other vertices. The block number $β(G)$ of $G$ is the largest integer $k$ such that $G$ has a $k$-block.
We investigate how $β$ interacts with density invariants of graphs, such as their minimum or average degree. We further present algorithms that decide whether a graph has a $k$-block, or which find all its $k$-blocks.
The connectivity invariant $β(G)$ has a dual width invariant, the block-width ${\rm bw}(G)$ of $G$. Our algorithms imply the duality theorem $β= {\rm bw}$: a graph has a block-decomposition of width and adhesion $< k$ if and only if it contains no $k$-block.
Capturing the Drunk Robber on a Graph
Published in Electronic Journal of Combinatorics, Volume 21 (3), 2014
• View Publication
• BIB
We show that the expected time for a smart "cop" to catch a drunk "robber" on an $n$-vertex graph is at most $n + {\rm o}(n)$. More precisely, let $G$ be a simple, connected, undirected graph with distinguished points $u$ and $v$ among its $n$ vertices. A cop begins at $u$ and a robber at $v$; they move alternately from vertex to adjacent vertex. The robber moves randomly, according to a simple random walk on $G$; the cop sees all and moves as she wishes, with the object of "capturing" the robber---that is, occupying the same vertex---in least expected time. We show that the cop succeeds in expected time no more than $n + {\rm o}(n)$. Since there are graphs in which capture time is at least $n - o(n)$, this is roughly best possible. We note also that no function of the diameter can be a bound on capture time.
Worst-Case Results For Positive Semidefinite Rank
Published
• View Publication
• BIB
This paper presents various worst-case results on the positive semidefinite (psd) rank of a nonnegative matrix, primarily in the context of polytopes. We prove that the psd rank of a generic n-dimensional polytope with v vertices is at least (nv)^(1/4) improving on previous lower bounds. For polygons with v vertices, we show that psd rank cannot exceed 4ceil(v/6) which in turn shows that the psd rank of a p by q matrix of rank three is at most 4ceil(min{p,q}/6). In general, a nonnegative matrix of rank (k+1 choose 2) has psd rank at least k and we pose the problem of deciding whether the psd rank is exactly k. Using geometry and bounds on quantifier elimination, we show that this decision can be made in polynomial time when k is fixed.
The complement of a point subset in a projective space and a Grassmann space
In a projective space we fix some set of points, a horizon, and investigate the complement of that horizon. We prove, under some assumptions on the size of lines, that the ambient projective space, together with its horizon, both can be recovered in that complement. Then we apply this result to show something similar for Grassmann spaces.
Canonical tree-decompositions of finite graphs I. Existence and algorithms
Published
• View Publication
• BIB
We construct tree-decompositions of graphs that distinguish all their k-blocks and tangles of order k, for any fixed integer k. We describe a family of algorithms to construct such decompositions, seeking to maximize their diversity subject to the requirement that they commute with graph isomorphisms. In particular, all the decompositions constructed are invariant under the automorphisms of the graph.
Application of some combinatorial arrays in coloring of total graph of a commutative ring
Let $R$ be a commutative ring with unity and $Z(R)$ and ${\rm Reg}(R)$ be the set of zero-divisors and non-zero zero-divisors of $R$, respectively. We denote by $T(Γ(R))$, the total graph of $R$, a simple graph with the vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $x+y\in Z(R)$. The induced subgraphs on $Z(R)$ and ${\rm Reg}(R)$ are denoted by $Z(Γ(R))$ and $Reg(Γ(R))$, respectively. These graphs were first introduced by D.F. Anderson and A. Badawi in 2008. In this paper, we prove the following result: let $R$ be a finite ring and one of the following conditions hold: (i) The residue field of $R$ of minimum size has even characteristic, (ii) Every residue field of $R$ has odd characteristic and $\frac{R}{J(R)}$ has no summand isomorphic to $\mathbb{Z}_3\times \mathbb{Z}_3$, then the chromatic number and clique number of $T(Γ(R))$ are equal to $\max\{|\mathfrak{m}|\,:\, \mathfrak{m}\in {\rm Max}(R)\}$. The same result holds for $Z(Γ(R))$. Moreover, if the residue field of $R$ of minimum size has even characteristic or every residue field of $R$ has odd characteristic, then we determine the chromatic number and clique number of $Reg(Γ(R))$ as well.
The least eigenvalue of graphs whose complements are unicyclic
Published
• View Publication
• BIB
A graph in a certain graph class is called minimizing if the least eigenvalue of the adjacency matrix of the graph attains the minimum among all graphs in that class. Bell {\it et al.} have characterized the minimizing graphs in the class of connected graphs of order $n$ and size $m$, whose complements are either disconnected or contain a clique of order at least $n/2$. In this paper we discuss the minimizing graphs of a special class of graphs of order $n$ whose complements are connected and contains exactly one cycle (namely the the class $\mathscr {U}^{c}_{n}$ of graphs whose complements are unicyclic), and characterize the unique minimizing graph in $\mathscr {U}^{c}_{n}$ when $n \geq 20$.
Solution to an isotopism question concerning rank 2 semifields
Published
• View Publication
• BIB
In [U. Dempwolff: More Translation Planes and Semifields from Dembowski-Ostrom Polynomials, Designs, Codes, Cryptogr. \textbf{68} (1-3) (2013), 81-103], the author gives a construction of three classes of rank two semifields of order $q^{2n}$, with $q$ and $n$ odd, using Dembowski-Ostrom polynomials. The question whether these semifields are new, i.e. not isotopic to previous constructions, is left as an open problem. In this paper we solve this problem for $n>3$, in particular we prove that two of these classes, labeled $D_{A}$ and $D_{AB}$, are new for $n>3$, whereas presemifields in family $D_{B}$ are isotopic to Generalized Twisted Fields for each $n\geq 3$.
Independent set in categorical products of cographs and splitgraphs
We show that there are polynomial-time algorithms to compute maximum independent sets in the categorical products of two cographs and two splitgraphs. We show that the ultimate categorical independence ratio is computable in polynomial time for cographs.
The ultimate rank of tropical matrices
Published
• View Publication
• BIB
A tropical matrix is a matrix defined over the max-plus semiring. For such matrices, there exist several non-coinciding notions of rank: the row rank, the column rank, the Schein/Barvinok rank, the Kapranov rank, or the tropical rank, among others. In the present paper, we show that there exists a natural notion of ultimate rank for the powers of a tropical matrix, which does not depend on the underlying notion of rank. Furthermore, we provide a simple formula for the ultimate rank of a matrix which can therefore be computed in polynomial time. Then we turn our attention to finitely generated semigroups of matrices, for which our notion of ultimate rank is generalized naturally. We provide both combinatorial and geometric characterizations of semigroups having maximal ultimate rank. As a byproduct, we obtain a polynomial algorithm to decide if the ultimate rank of a finitely generated semigroup is maximal.
Conditional Random Fields, Planted Constraint Satisfaction, and Entropy Concentration
Published
• View Publication
• BIB
This paper studies a class of probabilistic models on graphs, where edge variables depend on incident node variables through a fixed probability kernel. The class includes planted con- straint satisfaction problems (CSPs), as well as more general structures motivated by coding and community clustering problems. It is shown that under mild assumptions on the kernel and for sparse random graphs, the conditional entropy of the node variables given the edge variables concentrates around a deterministic threshold. This implies in particular the concentration of the number of solutions in a broad class of planted CSPs, the existence of a threshold function for the disassortative stochastic block model, and the proof of a conjecture on parity check codes. It also establishes new connections among coding, clustering and satisfiability.
On the maximum rank of Toeplitz block matrices of blocks of a given pattern
Published in Proc. 16th Intl. Symp. on Math. Th. of Networks and Systems (MTNS), Leuven, Belgium, July 5-9, 2004,B. de Moor, B. Motmans, J. Willems, P. Van Dooren, and V. Blondel, editors. ISBN 0-5682-517-8
• Search Publication
We show that the maximum rank of block lower triangular Toeplitz block matrices equals their term rank if the blocks fulfill a structural condition, i.e., only the locations but not the values of their nonzeros are fixed.
Cellular structure for the Herzog--Takayama Resolution
Published
• View Publication
• BIB
Herzog and Takayama constructed explicit resolutions for the class of so called ideals with a regular linear quotient. This class contains all matroidal and stable ideals. The resolutions of matroidal and stable ideals are known to be cellular. In this note we show that the Herzog--Takayama resolution is also cellular.
A combinatorial version of the colorful Caratheodory theorem
We give the following extension of Barany's colorful Caratheodory theorem: Let M be an oriented matroid and N a matroid with rank function r, both defined on the same ground set V and satisfying rank(M) < rank(N). If every subset A of V with r(V - A) < rank (M) contains a positive circuit of M, then some independent set of N contains a positive circuit of M.