Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Non-embeddability of geometric lattices and buildings
Published
• View Publication
• BIB
A fundamental question for simplicial complexes is to find the lowest dimensional Euclidean space in which they can be embedded. We investigate this question for order complexes of posets. We show that order complexes of thick geometric lattices as well as several classes of finite buildings, all of which are order complexes, are hard to embed. That means that such d-dimensional complexes require (2d + 1)-dimensional Euclidean space for an embedding. (This dimension is in general always sufficient for any d-complex.)
We develop a method to show non-embeddability for general order complexes of posets which builds on properties of the van Kampen obstruction.
On the Existence of Telescopers for Mixed Hypergeometric Terms
Published
• View Publication
• BIB
We present a criterion for the existence of telescopers for mixed hypergeometric terms, which is based on multiplicative and additive decompositions. The criterion enables us to determine the termination of Zeilberger's algorithms for mixed hypergeometric inputs.
The coloring game on matroids
Published in Discrete Mathematics 340 (2017), no. 4, 796-799
• View Publication
• BIB
A coloring of the ground set of a matroid is proper if elements of the same color form an independent set. For a loopless matroid $M$, its chromatic number $χ(M)$ is the minimum number of colors in a proper coloring. In this note we study a game-theoretic variant of this parameter. Suppose that Alice and Bob alternately properly color the ground set of a matroid $M$ using a fixed set of colors. The game ends when the whole matroid has been colored, or if they arrive to a partial coloring that cannot be further properly extended. Alice wins in the first case, while Bob in the second. The game chromatic number of $M$, denoted by $χ_{g}(M)$, is the minimum size of the set of colors for which Alice has a winning strategy. Clearly, $χ_{g}(M)\geqχ(M)$. We prove an upper bound $χ_{g}(M)\leq 2χ(M)$ for every matroid $M$. This improves and extends a result of Bartnicki, Grytczuk and Kierstead, who showed that $χ_{g}(M)\leq 3χ(M)$ holds for graphic matroids. Our bound is almost tight, as we construct a family of matroids $M_k$ (for $k\geq 3$) satisfying $χ(M_k)=k$ and $χ_{g}(M_k)=2k-1$.
Poset limits can be totally ordered
S.Janson [Poset limits and exchangeable random posets, Combinatorica 31 (2011), 529--563] defined limits of finite posets in parallel to the emerging theory of limits of dense graphs.
We prove that each poset limit can be represented as a kernel on the unit interval with the standard order, thus answering an open question of Janson. We provide two proofs: real-analytic and combinatorial. The combinatorial proof is based on a Szemeredi-type Regularity Lemma for posets which may be of independent interest.
Also, as a by-product of the analytic proof, we show that every atomless ordered probability space admits a measure-preserving and almost order-preserving map to the unit interval.
The Lonely Runner Conjecture
A detailed survey of the Lonely Runner Conjecture and its connection between Diophantine approximation and View-obstruction problems.
The extended permutohedron on a transitive binary relation
Published
• View Publication
• BIB
For a given transitive binary relation e on a set E, the transitive closures of open (i.e., co-transitive in e) sets, called the regular closed subsets, form an ortholattice Reg(e), the extended permutohedron on e. This construction, which contains the poset Clop(e) of all clopen sets, is a common generalization of known notions such as the generalized permutohedron on a partially ordered set on the one hand, and the bipartition lattice on a set on the other hand. We obtain a precise description of the completely join-irreducible (resp., completely meet-irreducible) elements of Reg(e) and the arrow relations between them. In particular, we prove that (1) Reg(e) is the Dedekind-MacNeille completion of the poset Clop(e); (2) Every open subset of e is a set-theoretic union of completely join-irreducible clopen subsets of e; (3) Clop(e) is a lattice iiff every regular closed subset of e is clopen, iff e contains no "square" configuration, iff Reg(e)=Clop(e); (4) If e is finite, then Reg(e) is pseudocomplemented iff it is semidistributive, iff it is a bounded homomorphic image of a free lattice, iff e is a disjoint sum of antisymmetric transitive relations and two-element full relations. We illustrate the strength of our results by proving that, for n greater than or equal to 3, the congruence lattice of the lattice Bip(n) of all bipartitions of an n-element set is obtained by adding a new top element to a Boolean lattice with n2^{n-1} atoms. We also determine the factors of the minimal subdirect decomposition of Bip(n).
Modelling Breakage-Fusion-Bridge Cycles as a Stochastic Paper Folding Process
Published
• View Publication
• BIB
Breakage-Fusion-Bridge cycles in cancer arise when a broken segment of DNA is duplicated and an end from each copy joined together. This structure then `unfolds' into a new piece of palindromic DNA. This is one mechanism responsible for the localised amplicons observed in cancer genome data. The process has parallels with paper folding sequences that arise when a piece of paper is folded several times and then unfolded. Here we adapt such methods to study the breakage-fusion-bridge structures in detail. We firstly consider discrete representations of this space with 2-d trees to demonstrate that there are 2^(n(n-1)/2) qualitatively distinct evolutions involving n breakage-fusion-bridge cycles. Secondly we consider the stochastic nature of the fold positions, to determine evolution likelihoods, and also describe how amplicons become localised. Finally we highlight these methods by inferring the evolution of breakage-fusion-bridge cycles with data from primary tissue cancer samples.
New results on the coarseness of bicolored point sets
Let $S$ be a 2-colored (red and blue) set of $n$ points in the plane. A subset $I$ of $S$ is an island if there exits a convex set $C$ such that $I=C\cap S$. The discrepancy of an island is the absolute value of the number of red minus the number of blue points it contains. A convex partition of $S$ is a partition of $S$ into islands with pairwise disjoint convex hulls. The discrepancy of a convex partition is the discrepancy of its island of minimum discrepancy. The coarseness of $S$ is the discrepancy of the convex partition of $S$ with maximum discrepancy. This concept was recently defined by Bereg et al. [CGTA 2013]. In this paper we study the following problem: Given a set $S$ of $n$ points in general position in the plane, how to color each of them (red or blue) such that the resulting 2-colored point set has small coarseness? We prove that every $n$-point set $S$ can be colored such that its coarseness is $O(n^{1/4}\sqrt{\log n})$. This bound is almost tight since there exist $n$-point sets such that every 2-coloring gives coarseness at least $Ω(n^{1/4})$. Additionally, we show that there exists an approximation algorithm for computing the coarseness of a 2-colored point set, whose ratio is between $1/128$ and $1/64$, solving an open problem posted by Bereg et al. [CGTA 2013]. All our results consider $k$-separable islands of $S$, for some $k$, which are those resulting from intersecting $S$ with at most $k$ halfplanes.
The combinatorics of interval-vector polytopes
Published in Electronic Journal of Combinatorics 20, no. 3 (2013), P22
• View Publication
• BIB
An \emph{interval vector} is a $(0,1)$-vector in $\mathbb{R}^n$ for which all the 1's appear consecutively, and an \emph{interval-vector polytope} is the convex hull of a set of interval vectors in $\mathbb{R}^n$. We study three particular classes of interval vector polytopes which exhibit interesting geometric-combinatorial structures; e.g., one class has volumes equal to the Catalan numbers, whereas another class has face numbers given by the Pascal 3-triangle.
Graph Odometry
Published
• View Publication
• BIB
We address problem of determining edge weights on a graph using non-backtracking closed walks from a vertex. We show that the weights of all of the edges can be determined from any starting vertex exactly when the graph has minimum degree at least three. We also determine the minimum number of walks required to reveal all edge weights.
Abstract flows over time: A first step towards solving dynamic packing problems
Published
• View Publication
• BIB
Flows over time generalize classical network flows by introducing a notion of time. Each arc is equipped with a transit time that specifies how long flow takes to traverse it, while flow rates may vary over time within the given edge capacities. In this paper, we extend this concept of a dynamic optimization problem to the more general setting of abstract flows. In this model, the underlying network is replaced by an abstract system of linearly ordered sets, called "paths" satisfying a simple switching property: Whenever two paths P and Q intersect, there must be another path that is contained in the beginning of P and the end of Q.
We show that a maximum abstract flow over time can be obtained by solving a weighted abstract flow problem and constructing a temporally repeated flow from its solution. In the course of the proof, we also show that the relatively modest switching property of abstract networks already captures many essential properties of classical networks.
Lattices and maximum flow algorithms in planar graphs
We show that the left/right relation on the set of s-t-paths of a plane graph induces a so-called submodular lattice. If the embedding of the graph is s-t-planar, this lattice is even consecutive. This implies that Ford and Fulkerson's uppermost path algorithm for maximum flow in such graphs is indeed a special case of a two-phase greedy algorithm on lattice polyhedra. We also show that the properties submodularity and consecutivity cannot be achieved simultaneously by any partial order on the paths if the graph is planar but not s-t-planar, thus providing a characterization of this class of graphs.
Combinatorics of certain higher $q,t$-Catalan polynomials: chains, joint symmetry, and the Garsia-Haiman formula
Published in Journal of Algebraic Combinatorics 39 (2014), no. 4, 749--781
• View Publication
• BIB
The higher $q,t$-Catalan polynomial $C^{(m)}_n(q,t)$ can be defined combinatorially as a weighted sum of lattice paths contained in certain triangles, or algebraically as a complicated sum of rational functions indexed by partitions of $n$. This paper proves the equivalence of the two definitions for all $m\geq 1$ and all $n\leq 4$. We also give a bijective proof of the joint symmetry property $C^{(m)}_n(q,t)=C^{(m)}_n(t,q)$ for all $m\geq 1$ and all $n\leq 4$. The proof is based on a general approach for proving joint symmetry that dissects a collection of objects into chains, and then passes from a joint symmetry property of initial points and terminal points to joint symmetry of the full set of objects. Further consequences include unimodality results and specific formulas for the coefficients in $C^{(m)}_n(q,t)$ for all $m\geq 1$ and all $n\leq 4$. We give analogous results for certain rational-slope $q,t$-Catalan polynomials.
Graph decomposition and parity
Published
• View Publication
• BIB
Motivated by a recent extension of the zero-one law by Kolaitis and Kopparty, we study the distribution of the number of copies of a fixed disconnected graph in the random graph $G(n,p)$. We use an idea of graph decompositions to give a sufficient condition for this distribution to tend to uniform modulo $q$. We determine the asymptotic distribution of all fixed two-component graphs in $G(n,p)$ for all $q$, and we give infinite families of many-component graphs with a uniform asymptotic distribution for all $q$. We also prove a negative result, that no simple proof of uniform asymptotic distribution for arbitrary graphs exists.
Independent subsets of powers of paths, and Fibonacci cubes
Published in Electronic Notes in Discrete Mathematics 40 (2013) 65-69
• View Publication
• BIB
We provide a formula for the number of edges of the Hasse diagram of the independent subsets of the h-th power of a path ordered by inclusion. For h=1 such a value is the number of edges of a Fibonacci cube. We show that, in general, the number of edges of the diagram is obtained by convolution of a Fibonacci-like sequence with itself.
A note on distinct distance subsets
Published in Journal of Geometry, 104, no.3 (2013) 439-442
• View Publication
• BIB
It is shown that given a set of $N$ points in the plane or on the sphere, there is a subset of size $\gtrsim N^{1/3}/\log N$ with all pairwise distances between points distinct.
Random lattice triangulations: Structure and algorithms
Published in Annals of Applied Probability 2015, Vol. 25, No. 3, 1650-1685
• View Publication
• BIB
The paper concerns lattice triangulations, that is, triangulations of the integer points in a polygon in $\mathbb{R}^2$ whose vertices are also integer points. Lattice triangulations have been studied extensively both as geometric objects in their own right and by virtue of applications in algebraic geometry. Our focus is on random triangulations in which a triangulation $σ$ has weight $λ^{|σ|}$, where $λ$ is a positive real parameter, and $|σ|$ is the total length of the edges in $σ$. Empirically, this model exhibits a "phase transition" at $λ=1$ (corresponding to the uniform distribution): for $λ<1$ distant edges behave essentially independently, while for $λ>1$ very large regions of aligned edges appear. We substantiate this picture as follows. For $λ<1$ sufficiently small, we show that correlations between edges decay exponentially with distance (suitably defined), and also that the Glauber dynamics (a local Markov chain based on flipping edges) is rapidly mixing (in time polynomial in the number of edges in the triangulation). This dynamics has been proposed by several authors as an algorithm for generating random triangulations. By contrast, for $λ>1$ we show that the mixing time is exponential. These are apparently the first rigorous quantitative results on the structure and dynamics of random lattice triangulations.
Representing and counting the subgroups of the group Z_m x Z_n
Published in Journal of Numbers, Volume 2014, Article ID 491428
• View Publication
• BIB
We deduce a simple representation and the invariant factor decompositions of the subgroups of the group $\Bbb{Z}_m \times \Bbb{Z}_n$, where $m$ and $n$ are arbitrary positive integers. We obtain formulas for the total number of subgroups and the number of subgroups of a given order.
Even-cycle decompositions of graphs with no odd-$K_4$-minor
Published in European J. Combin., 65(October 2017), pp. 1-14
• View Publication
• BIB
An even-cycle decomposition of a graph G is a partition of E(G) into cycles of even length. Evidently, every Eulerian bipartite graph has an even-cycle decomposition. Seymour (1981) proved that every 2-connected loopless Eulerian planar graph with an even number of edges also admits an even-cycle decomposition. Later, Zhang (1994) generalized this to graphs with no $K_5$-minor.
Our main theorem gives sufficient conditions for the existence of even-cycle decompositions of graphs in the absence of odd minors. Namely, we prove that every 2-connected loopless Eulerian odd-$K_4$-minor-free graph with an even number of edges has an even-cycle decomposition.
This is best possible in the sense that `odd-$K_4$-minor-free' cannot be replaced with `odd-$K_5$-minor-free.' The main technical ingredient is a structural characterization of the class of odd-$K_4$-minor-free graphs, which is due to Lovász, Seymour, Schrijver, and Truemper.
Lexicographic Configurations
Published
• View Publication
• BIB
We describe a new way to construct finite geometric objects. For every k we obtain a symmetric configuration E(k-1) with k points on a line. In particular, we have a constructive existence proof for such configurations. The method is very simple and purely geometric. It also produces interesting periodic matrices.