Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Dimension and cut vertices: an application of Ramsey theory
Published in Steve Butler, Joshua Cooper, and Glenn Hurlbert (eds.) Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham, pp. 187-199, Cambridge University Press, Cambridge, 2018 (Chapter 11)
• View Publication
• BIB
Motivated by quite recent research involving the relationship between the dimension of a poset and graph-theoretic properties of its cover graph, we show that for every $d\geq 1$, if $P$ is a poset and the dimension of a subposet $B$ of $P$ is at most $d$ whenever the cover graph of $B$ is a block of the cover graph of $P$, then the dimension of $P$ is at most $d+2$. We also construct examples which show that this inequality is best possible. We consider the proof of the upper bound to be fairly elegant and relatively compact. However, we know of no simple proof for the lower bound, and our argument requires a powerful tool known as the Product Ramsey Theorem. As a consequence, our constructions involve posets of enormous size.
Conley-Morse-Forman theory for combinatorial multivector fields
Published
• View Publication
• BIB
We introduce combinatorial multivector fields, associate with them multivalued dynamics and study their topological features. Our combinatorial multivector fields generalize combinatorial vector fields of Forman. We define isolated invariant sets, Conley index, attractors, repellers and Morse decompositions. We provide a topological characterization of attractors and repellers and prove Morse inequalities. The generalization aims at algorithmic analysis of dynamical systems through combinatorialization of flows given by differential equations and through sampling dynamics in physical and numerical experiments. We provide a prototype algorithm for such applications.
Coincidence indices of sublattices and coincidences of colorings
Published in Z. Kristallogr. (2015). 230(12), 749-759
• View Publication
• BIB
Even though a lattice and its sublattices have the same group of coincidence isometries, the coincidence index of a coincidence isometry with respect to a lattice $Λ_1$ and to a sublattice $Λ_2$ may differ. Here, we examine the coloring of $Λ_1$ induced by $Λ_2$ to identify how the coincidence indices with respect to $Λ_1$ and to $Λ_2$ are related. This leads to a generalization of the notion of color symmetries of lattices to what we call color coincidences of lattices. Examples involving the cubic and hypercubic lattices are given to illustrate these ideas.
The Kuenneth formula for graphs
We construct a Cartesian product G x H for finite simple graphs. It satisfies the Kuenneth formula: H^k(G x H) is a direct sum of tensor products H^i(G) x H^j(G) with i+j=k and so p(G x H,x) = p(G,x) p(H,y) for the Poincare polynomial p(G,x) and X(G x H) = X(G) X(H) for the Euler characteristic X(G)=p(G,-1). G1=G x K1 has as vertices the simplices of G and a natural digraph structure. We show that dim(G1) is larger or equal than dim(G) and G1 is homotopic to G. The Kuenneth identity is proven using Hodge describing the harmonic forms by the product f g of harmonic forms of G and H and uses a discrete de Rham theorem given by a combinatorial chain homotopy between simplicial and de Rham cohomology. We show dim(G x H) = dim(G1) + dim(H1) implying that dim(G x H) is larger or equal than dim(G) + dim(H) as for Hausdorff dimension in the continuum. The chromatic number c(G1) is smaller or equal than c(G) and c(G x H) is bounded above by c(G)+c(H)-1. The automorphism group of G x H contains Aut(G) x Aut(H). If G~H and U~V then (G x U) ~ (H x V) if ~ means homotopic: homotopy classes can be multiplided. If G is k-dimensional geometric meaning that all unit spheres S(x) in G are (k-1)-discrete homotopy spheres, then G1 is k-dimensional geometric. If G is k-dimensional geometric and H is l-dimensional geometric, then G x H is geometric of dimension (l+k). The product extends to a ring of chains which unlike the category of graphs is closed under boundary operation taking quotients G/A with A subset Aut(G). As we can glue graphs or chains, joins or fibre bundles can be defined with the same features as in the continuum, allowing to build isomorphism classes of bundles.
On a conjecture of Erdős and Szekeres
Let f(n) denote the smallest positive integer such that every set of $f(n)$ points in general position in the Euclidean plane contains a convex n-gon. In a seminal paper published in 1935, Erdős and Szekeres proved that f(n) exists and provided an upper bound. In 1961, they also proved a lower bound, which they conjectured is optimal. Their bounds are: $2^{n-2}+1 \leq f(n) \leq {2n - 4 \choose n-2}+1$. Since then, the upper bound has been improved by rougly a factor of 2, to $f(n) \leq {2n - 5 \choose n-2}+1$. In the current paper, we further improve the upper bound by proving that: $$ \limsup\limits_{n\rightarrow \infty} \frac{f(n)}{2n-5 \choose n-2} \leq \frac{29}{32}$$
Algebraic properties of ideals of poset homomorphisms
Published
• View Publication
• BIB
Given finite posets $P$ and $Q$, we consider a specific ideal $L(P,Q)$, whose minimal monomial generators correspond to order-preserving maps $φ:P\rightarrow Q$. We study algebraic invariants of those ideals. In particular, sharp lower and upper bounds for the Castelnuovo-Mumford regularity and the projective dimension are provided. Precise formulas are obtained for a large subclass of these ideals. Moreover, we provide complete characterizations for several algebraic properties of $L(P,Q)$, including being Buchsbaum, Cohen-Macaulay, Gorenstein and having a linear resolution. We also give a partial characterization for Golod property of $L(P,Q)$. Using those results, we derive applications for other important classes of monomial ideals, such as initial ideals of determinantal ideals and multichain ideals.
Scaling limits of random outerplanar maps with independent link-weights
Published
• View Publication
• BIB
The scaling limit of large simple outerplanar maps was established by Caraceni using a bijection due to Bonichon, Gavoille and Hanusse. The present paper introduces a new bijection between outerplanar maps and trees decorated with ordered sequences of edge-rooted dissections of polygons. We apply this decomposition in order to provide a new, short proof of the scaling limit that also applies to the general setting of first-passage percolation. We obtain sharp tail-bounds for the diameter and recover the asymptotic enumeration formula for outerplanar maps. Our methods also enable us treat subclasses such as bipartite outerplanar maps.
Homotopy invariants of covers and KKM type lemmas
Published in Algebr. Geom. Topol. 16 (2016) 1799-1812
• View Publication
• BIB
With any (open or closed) cover of a space T we associate certain homotopy classes of maps T into n-spheres. These homotopy invariants can be considered as obstructions for extensions of covers of a subspace A to a space X. We using these obstructions for generalizations of the classic KKM (Knaster-Kuratowski-Mazurkiewicz) and Sperner lemmas. In particular, we show that in the case when A is a k-sphere and X is a (k+1)-disk there exist KKM type lemmas for covers by n+2 sets if and only if the k-homotopy group of n-sphere is not zero.
Graphs with small diameter determined by their $D$-spectra
Published
• View Publication
• BIB
Let $G$ be a connected graph with vertex set $V(G)=\{v_{1},v_{2},...,v_{n}\}$. The distance matrix $D(G)=(d_{ij})_{n\times n}$ is the matrix indexed by the vertices of $G,$ where $d_{ij}$ denotes the distance between the vertices $v_{i}$ and $v_{j}$. Suppose that $λ_{1}(D)\geqλ_{2}(D)\geq\cdots\geqλ_{n}(D)$ are the distance spectrum of $G$. The graph $G$ is said to be determined by its $D$-spectrum if with respect to the distance matrix $D(G)$, any graph having the same spectrum as $G$ is isomorphic to $G$. In this paper, we give the distance characteristic polynomial of some graphs with small diameter, and also prove that these graphs are determined by their $D$-spectra.
Brick polytopes, lattice quotients, and Hopf algebras
Published in J. Combin. Theory Ser. A, 155:418-457, 2018
• View Publication
• BIB
This paper is motivated by the interplay between the Tamari lattice, J.-L. Loday's realization of the associahedron, and J.-L. Loday and M. Ronco's Hopf algebra on binary trees. We show that these constructions extend in the world of acyclic $k$-triangulations, which were already considered as the vertices of V. Pilaud and F. Santos' brick polytopes. We describe combinatorially a natural surjection from the permutations to the acyclic $k$-triangulations. We show that the fibers of this surjection are the classes of the congruence $\equiv^k$ on $\mathfrak{S}_n$ defined as the transitive closure of the rewriting rule $U ac V_1 b_1 \cdots V_k b_k W \equiv^k U ca V_1 b_1 \cdots V_k b_k W$ for letters $a < b_1, \dots, b_k < c$ and words $U, V_1, \dots, V_k, W$ on $[n]$. We then show that the increasing flip order on $k$-triangulations is the lattice quotient of the weak order by this congruence. Moreover, we use this surjection to define a Hopf subalgebra of C. Malvenuto and C. Reutenauer's Hopf algebra on permutations, indexed by acyclic $k$-triangulations, and to describe the product and coproduct in this algebra and its dual in term of combinatorial operations on acyclic $k$-triangulations. Finally, we extend our results in three directions, describing a Cambrian, a tuple, and a Schröder version of these constructions.
Random knots using Chebyshev billiard table diagrams
Published in Topology and its Applications 194 (2015) 4-21
• View Publication
• BIB
We use the Chebyshev knot diagram model of Koseleff and Pecker in order to introduce a random knot diagram model by assigning the crossings to be positive or negative uniformly at random. We give a formula for the probability of choosing a knot at random among all knots with bridge index at most 2. Restricted to this class, we define internal and external reduction moves that decrease the number of crossings of the diagram. We make calculations based on our formula, showing the numerics in graphs and providing evidence for our conjecture that the probability of any knot appearing in this model decays to zero as the number of crossings goes to infinity.
Anti-magic labeling of regular graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ is antimagic if there is a one-to-one correspondence $f: E \to \{1,2,\ldots, |E|\}$ such that for any two vertices $u,v$, $\sum_{e \in E(u)}f(e) \ne \sum_{e\in E(v)}f(e)$. It is known that bipartite regular graphs are antimagic and non-bipartite regular graphs of odd degree at least three are antimagic. Whether all non-bipartite regular graphs of even degree are antimagic remained an open problem. In this paper, we solve this problem and prove that all even degree regular graphs are antimagic. The paper was submitted to December 2014 by Journal of Graph Theory.
Path Graphs, Clique Trees, and Flowers
An \emph{asteroidal triple} is a set of three independent vertices in a graph such that any two vertices in the set are connected by a path which avoids the neighbourhood of the third.
A classical result by Lekkerkerker and Boland \cite{6} showed that interval graphs are precisely the chordal graphs that do not have asteroidal triples.
Interval graphs are chordal, as are the \emph{directed path graphs} and the \emph{path graphs}.
Similar to Lekkerkerker and Boland, Cameron, Hoáng, and Lévêque \cite{4} gave a characterization of directed path graphs by a "special type" of asteroidal triple, and asked whether or not there was such a characterization for path graphs.
We give strong evidence that asteroidal triples alone are insufficient to characterize the family of path graphs, and give a new characterization of path graphs via a forbidden induced subgraph family that we call \emph{sun systems}.
Key to our new characterization is the study of \emph{asteroidal sets} in sun systems, which are a natural generalization of asteroidal triples.
Our characterization of path graphs by forbidding sun systems also generalizes a characterization of directed path graphs by forbidding odd suns that was given by Chaplick et al.~\cite{9}.
Aggregation of Votes with Multiple Positions on Each Issue
Published
• View Publication
• BIB
We consider the problem of aggregating votes cast by a society on a fixed set of issues, where each member of the society may vote for one of several positions on each issue, but the combination of votes on the various issues is restricted to a set of feasible voting patterns. We require the aggregation to be supportive, i.e. for every issue $j$ the corresponding component $f_j$ of every aggregator on every issue should satisfy $f_j(x_1, ,\ldots, x_n) \in \{x_1, ,\ldots, x_n\}$. We prove that, in such a set-up, non-dictatorial aggregation of votes in a society of some size is possible if and only if either non-dictatorial aggregation is possible in a society of only two members or a ternary aggregator exists that either on every issue $j$ is a majority operation, i.e. the corresponding component satisfies $f_j(x,x,y) = f_j(x,y,x) = f_j(y,x,x) =x, \forall x,y$, or on every issue is a minority operation, i.e. the corresponding component satisfies $f_j(x,x,y) = f_j(x,y,x) = f_j(y,x,x) =y, \forall x,y.$ We then introduce a notion of uniformly non-dictatorial aggregator, which is defined to be an aggregator that on every issue, and when restricted to an arbitrary two-element subset of the votes for that issue, differs from all projection functions. We first give a characterization of sets of feasible voting patterns that admit a uniformly non-dictatorial aggregator. Then making use of Bulatov's dichotomy theorem for conservative constraint satisfaction problems, we connect social choice theory with combinatorial complexity by proving that if a set of feasible voting patterns $X$ has a uniformly non-dictatorial aggregator of some arity then the multi-sorted conservative constraint satisfaction problem on $X$, in the sense introduced by Bulatov and Jeavons, with each issue representing a sort, is tractable; otherwise it is NP-complete.
Subdivision into i-packings and S-packing chromatic number of some lattices
Published
• View Publication
• BIB
An $i$-packing in a graph $G$ is a set of vertices at pairwise distance greater than $i$. For a nondecreasing sequence of integers $S=(s\_{1},s\_{2},\ldots)$, the $S$-packing chromatic number of a graph $G$ is the least integer $k$ such that there exists a coloring of $G$ into $k$ colors where each set of vertices colored $i$, $i=1,\ldots, k$, is an $s\_i$-packing.
This paper describes various subdivisions of an $i$-packing into $j$-packings ($j\textgreater{}i$) for the hexagonal, square and triangular lattices. These results allow us to bound the $S$-packing chromatic number for these graphs, with more precise bounds and exact values for sequences $S=(s\_{i}, i\in\mathbb{N}^{*})$, $s\_{i}=d+ \lfloor (i-1)/n \rfloor$.
Injective Hulls of Infinite Totally Split-Decomposable Metric Spaces
We consider the class of (possibly) infinite metric spaces with integer-valued totally split-decomposable metric and possessing an injective hull which has the structure of a polyhedral complex. For this class, we give a characterization for the injective hull to be combinatorially equivalent to a CAT(0) cube complex. In order to obtain these results, we extend the decomposition theory introduced by Bandelt and Dress in 1992 as well as results on the tight span of totally split-decomposable metric spaces proved by Huber, Koolen and Moulton in 2006.
As an application, and using results of Lang of 2013, we obtain proper actions on CAT(0) cube complexes for finitely generated groups endowed with a totally split-decomposable word metric whose associated splits satisfy an easy combinatorial property. In the case of Gromov hyperbolic groups, the action is proper as well as cocompact.
A Symbolic Treatment of Riordan Arrays
Published in Linear Algebra and its Applications 439 (2013), 1700 - 1715
• View Publication
• BIB
We approach Riordan arrays and their generalizations via umbral symbolic methods. This new approach allows us to derive fundamental aspects of the theory of Riordan arrays as immediate consequences of the umbral version of the classical Abel's identity for polynomials. In particular, we obtain a novel non-recursive formula for Riordan arrays and derive, from this new formula, some known recurrences and a new recurrence relation for Riordan arrays.
Differentially Private Response Mechanisms on Categorical Data
Published
• View Publication
• BIB
We study mechanisms for differential privacy on finite datasets. By deriving \emph{sufficient sets} for differential privacy we obtain necessary and sufficient conditions for differential privacy, a tight lower bound on the maximal expected error of a discrete mechanism and a characterisation of the optimal mechanism which minimises the maximal expected error within the class of mechanisms considered.
Fine structure of 4-critical triangle-free graphs I. Planar graphs with two triangles and 3-colorability of chains
Published
• View Publication
• BIB
Aksenov proved that in a planar graph G with at most one triangle, every precoloring of a 4-cycle can be extended to a 3-coloring of G. We give an exact characterization of planar graphs with two triangles in that some precoloring of a 4-cycle does not extend. We apply this characterization to solve the precoloring extension problem from two 4-cycles in a triangle-free planar graph in the case that the precolored 4-cycles are separated by many disjoint 4-cycles. The latter result is used in followup papers to give detailed information about the structure of 4-critical triangle-free graphs embedded in a fixed surface.
Fine structure of 4-critical triangle-free graphs II. Planar triangle-free graphs with two precolored 4-cycles
Published in SIAM J. Discrete Math 31 (2017) 865-874
• View Publication
• BIB
We study 3-coloring properties of triangle-free planar graphs $G$ with two precolored 4-cycles $C_1$ and $C_2$ that are far apart. We prove that either every precoloring of $C_1\cup C_2$ extends to a 3-coloring of $G$, or $G$ contains one of two special substructures which uniquely determine which 3-colorings of $C_1\cup C_2$ extend. As a corollary, we prove that there exists a constant $D>0$ such that if $H$ is a planar triangle-free graph and $S\subseteq V(H)$ consists of vertices at pairwise distances at least $D$, then every precoloring of $S$ extends to a 3-coloring of $H$. This gives a positive answer to a conjecture of Dvořák, Král' and Thomas, and implies an exponential lower bound on the number of 3-colorings of triangle-free planar graphs of bounded maximum degree.