Showing 20 papers (Total: 81680 papers, 47334 authors in database)
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.
Deterministically Isolating a Perfect Matching in Bipartite Planar Graphs
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• View Publication
• BIB
We present a deterministic way of assigning small (log bit) weights to the edges of a bipartite planar graph so that the minimum weight perfect matching becomes unique. The isolation lemma as described in (Mulmuley et al. 1987) achieves the same for general graphs using a randomized weighting scheme, whereas we can do it deterministically when restricted to bipartite planar graphs. As a consequence, we reduce both decision and construction versions of the matching problem to testing whether a matrix is singular, under the promise that its determinant is 0 or 1, thus obtaining a highly parallel SPL algorithm for bipartite planar graphs. This improves the earlier known bounds of non-uniform SPL by (Allender et al. 1999) and $NC^2$ by (Miller and Naor 1995, Mahajan and Varadarajan 2000). It also rekindles the hope of obtaining a deterministic parallel algorithm for constructing a perfect matching in non-bipartite planar graphs, which has been open for a long time. Our techniques are elementary and simple.
Trimming of Graphs, with Application to Point Labeling
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• View Publication
• BIB
For $t,g>0$, a vertex-weighted graph of total weight $W$ is $(t,g)$-trimmable if it contains a vertex-induced subgraph of total weight at least $(1-1/t)W$ and with no simple path of more than $g$ edges. A family of graphs is trimmable if for each constant $t>0$, there is a constant $g=g(t)$ such that every vertex-weighted graph in the family is $(t,g)$-trimmable. We show that every family of graphs of bounded domino treewidth is trimmable. This implies that every family of graphs of bounded degree is trimmable if the graphs in the family have bounded treewidth or are planar. Based on this result, we derive a polynomial-time approximation scheme for the problem of labeling weighted points with nonoverlapping sliding labels of unit height and given lengths so as to maximize the total weight of the labeled points. This settles one of the last major open questions in the theory of map labeling.
The Auslander-Reiten translate on monomial quotient rings
Published in Advances in Mathematics 226, no. 1, (2011), p. 952-991
• View Publication
• BIB
For a multidegree t in N^n, E.Miller has defined a category of positively t-determined modules over the polynomial ring S in n variables. We consider the Auslander-Reiten translate, Na_t, on the (derived) category of such modules. A monomial ideal I is positively t-determined if every generator x^a has a \leq t. We compute the multigraded cohomology- and betti spaces of Na_t^k(S/I) for every iterate k, and also the S-module structure of these cohomology modules. This comprehensively generalizes results of Hochster and Gräbe on local cohomology of Stanley-Reisner rings.
q-Abel polynomials
This note gives a simple approach to q-analogues of some results associated with Abel polynomials.
On antipodal spherical t-designs of degree s with $t\geq 2s-3$
We prove that if X is a spherical t-design and s-distance set with $t\geq 2s-3$, then X has the structure of Q-polynomial association scheme of class s. Also, we describe the parameters of the association scheme.
Essentialities in additive bases
Published
• View Publication
• BIB
Let A be an asymptotic basis for N_0 of some order. By an essentiality of A one means a subset P such that A¶is no longer an asymptotic basis of any order and such that P is minimal among all subsets of A with this property. A finite essentiality of A is called an essential subset. In a recent paper, Deschamps and Farhi asked the following two questions : (i) does every asymptotic basis of N_0 possess some essentiality ? (ii) is the number of essential subsets of size at most k of an asymptotic basis of order h bounded by a function of k and h only (they showed the number is always finite) ? We answer the latter question in the affirmative, and the former in the negative by means of an explicit construction, for every integer h >= 2, of an asymptotic basis of order h with no essentialities.
Simplicial matrix-tree theorems
Published in Trans. Amer. Math. Soc. 361 (2009), no. 11, 6073-6114
• View Publication
• BIB
We generalize the definition and enumeration of spanning trees from the setting of graphs to that of arbitrary-dimensional simplicial complexes $Δ$, extending an idea due to G. Kalai. We prove a simplicial version of the Matrix-Tree Theorem that counts simplicial spanning trees, weighted by the squares of the orders of their top-dimensional integral homology groups, in terms of the Laplacian matrix of $Δ$. As in the graphic case, one can obtain a more finely weighted generating function for simplicial spanning trees by assigning an indeterminate to each vertex of $Δ$ and replacing the entries of the Laplacian with Laurent monomials. When $Δ$ is a shifted complex, we give a combinatorial interpretation of the eigenvalues of its weighted Laplacian and prove that they determine its set of faces uniquely, generalizing known results about threshold graphs and unweighted Laplacian eigenvalues of shifted complexes.
On Subgraph Isomorphism
Published in Polynomial size asymmetric linear model for Subgraph Isomorphism, Proceedings WCECS 2008, ISBN: 978-988-98671-0-2, pp.241-246
• Search Publication
Article explicitly expresses Subgraph Isomorphism by a polynomial size asymmetric linear system.
Odd Entries in Pascal's Trinomial Triangle
The nth row of Pascal's trinomial triangle gives coefficients of (1+x+x^2)^n. Let g(n) denote the number of such coefficients that are odd. We review Moshe's algorithm for evaluating asymptotics of g(n) -- this involves computing the Lyapunov exponent for certain 2x2 random matrix products -- and then analyze further examples with more terms and higher powers of x.
The height of watermelons with wall
Published in J.Phys.A: Math.Theor. 45 095003 (2012)
• View Publication
• BIB
We derive asymptotics for the moments as well as the weak limit of the height distribution of watermelons with p branches with wall. This generalises a famous result of de Bruijn, Knuth and Rice on the average height of planted plane trees, and results by Fulmek and Katori et al. on the expected value, respectively the higher moments, of the height distribution of watermelons with two branches.
The asymptotics for the moments depend on the analytic behaviour of certain multidimensional Dirichlet series. In order to obtain this information we prove a reciprocity relation satisfied by the derivatives of one of Jacobi's theta functions, which generalises the well known reciprocity law for Jacobi's theta functions.
On Characteristic Polynomials of the Family of Cobweb Posets
This note is a response to one of problems posed by A.K. Kwasniewski in one of his recent papers. Namely for the sequence of finite cobweb subposets, the looked for explicit formulas for corresponding sequence of characteristic polynomials are discovered and delivered here. The recurrence relation defining arbitrary family of charactristic polynomials of finite cobweb posets is also derived.
Folding = Colouring
The foldings of a connected graph $G$ are defined as follows. First, $G$ is a folding of itself. Let $G'$ be a graph obtained from $G$ by identifying two vertices at distance 2 in $G$. Then every folding of $G'$ is a folding of $G$. The folding number of $G$ is the minimum order of a complete folding of $G$. Theorem: The folding number of every graph equals its chromatic number.
Coloring the 600 Cell
The 600 cell S has exactly 10 5-colorings. From these colorings we can construct the space of colorings $B(S)$. This complex has 1344 colorings, and is isomorphic to the space of 5 by 5 Latin Squares. These simplices split into 4 copies of a quotient of S by an involution, and two copies of a space made up of even Latin Squares.
Obtainable Sizes of Topologies on Finite Sets
Published
• View Publication
• BIB
We study the smallest possible number of points in a topological space having k open sets. Equivalently, this is the smallest possible number of elements in a poset having k order ideals. Using efficient algorithms for constructing a topology with a prescribed size, we show that this number has a logarithmic upper bound. We deduce that there exists a topology on n points having k open sets, for all k in an interval which is exponentially large in n. The construction algorithms can be modified to produce topologies where the smallest neighborhood of each point has a minimal size, and we give a range of obtainable sizes for such topologies.
Spectral Measure of Robustness in Complex Networks
Published
• View Publication
• BIB
We introduce the concept of natural connectivity as a robustness measure of complex networks. The natural connectivity has a clear physical meaning and a simple mathematical formulation. It characterizes the redundancy of alternative paths by quantifying the weighted number of closed walks of all lengths. We show that the natural connectivity can be derived mathematically from the graph spectrum as an average eigenvalue and that it increases strictly monotonically with the addition of edges. We test the natural connectivity and compare it with other robustness measures within a scenario of edge elimination. We demonstrate that the natural connectivity has an acute discrimination which agrees with our intuition.
Combinatorics of least squares trees
Published
• View Publication
• BIB
A recurring theme in the least squares approach to phylogenetics has been the discovery of elegant combinatorial formulas for the least squares estimates of edge lengths. These formulas have proved useful for the development of efficient algorithms, and have also been important for understanding connections among popular phylogeny algorithms. For example, the selection criterion of the neighbor-joining algorithm is now understood in terms of the combinatorial formulas of Pauplin for estimating tree length.
We highlight a phylogenetically desirable property that weighted least squares methods should satisfy, and provide a complete characterization of methods that satisfy the property. The necessary and sufficient condition is a multiplicative four point condition that the the variance matrix needs to satisfy. The proof is based on the observation that the Lagrange multipliers in the proof of the Gauss--Markov theorem are tree-additive. Our results generalize and complete previous work on ordinary least squares, balanced minimum evolution and the taxon weighted variance model. They also provide a time optimal algorithm for computation.