Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Generalizing the divisibility property of rectangle domino tilings
Published in Electron. J. Combin., 23(3):#P3-5, 2016
• View Publication
• BIB
We introduce a class of graphs called compound graphs, generalizing rectangles, which are constructed out of copies of a planar bipartite base graph. The main result is that the number of perfect matchings of every compound graph is divisible by the number of matchings of its base graph. Our approach is to use Kasteleyn's theorem to prove a key lemma, from which the divisibility theorem follows combinatorially. This theorem is then applied to provide a proof of Problem 21 of Propp's Enumeration of Matchings, a divisibility property of rectangles. Finally, we present a new proof, in the same spirit, of Ciucu's factorization theorem.
Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance
We implement a decision procedure for answering questions about a class of infinite words that might be called (for lack of a better name) "Fibonacci-automatic". This class includes, for example, the famous Fibonacci word f = 01001010..., the fixed point of the morphism 0 -> 01 and 1 -> 0. We then recover many results about the Fibonacci word from the literature (and improve some of them), such as assertions about the occurrences in f of squares, cubes, palindromes, and so forth. As an application of our method we prove a new result: there exists an aperiodic infinite binary word avoiding the pattern x x x^R. This is the first avoidability result concerning a nonuniform morphism proven purely mechanically.
A strict undirected model for the $k$-nearest neighbour graph
Let $G=G_{n,k}$ denote the graph formed by placing points in a square of area $n$ according to a Poisson process of density 1 and joining each pair of points which are both $k$ nearest neighbours of each other. Then $G_{n,k}$ can be used as a model for wireless networks, and has some advantages in terms of applications over the two previous $k$-nearest neighbour models studied by Balister, Bollobás, Sarkar and Walters, who proved good bounds on the connectivity models thresholds for both. However their proofs do not extend straightforwardly to this new model, since it is now possible for edges in different components of $G$ to cross. We get around these problems by proving that near the connectivity threshold, edges will not cross with high probability, and then prove that $G$ will be connected with high probability if $k>0.9684\log n$, which improves a bound for one of the models studied by Balister, Bollobás, Sarkar and Walters too.
Integer round-up property for the chromatic number of some h-perfect graphs
Published
• View Publication
• BIB
A graph is h-perfect if its stable set polytope can be completely described by non-negativity, clique and odd-hole constraints. It is t-perfect if it furthermore has no clique of size 4. For every graph $G$ and every $c\in\mathbb{Z}_{+}^{V(G)}$, the weighted chromatic number of $(G,c)$ is the minimum cardinality of a multi-set $\mathcal{F}$ of stable sets of $G$ such that every $v\in V(G)$ belongs to at least $c_v$ members of $\mathcal{F}$.
We prove that every h-perfect line-graph and every t-perfect claw-free graph $G$ has the integer round-up property for the chromatic number: for every non-negative integer weight $c$ on the vertices of $G$, the weighted chromatic number of $(G,c)$ can be obtained by rounding up its fractional relaxation. In other words, the stable set polytope of $G$ has the integer decomposition property.
Our results imply the existence of a polynomial-time algorithm which computes the weighted chromatic number of t-perfect claw-free graphs and h-perfect line-graphs. Finally, they yield a new case of a conjecture of Goldberg and Seymour on edge-colorings.
Lower matching conjecture, and a new proof of Schrijver's and Gurvits's theorems
Friedland's Lower Matching Conjecture asserts that if $G$ is a $d$--regular bipartite graph on $v(G)=2n$ vertices, and $m_k(G)$ denotes the number of matchings of size $k$, then $$m_k(G)\geq {n \choose k}^2\left(\frac{d-p}{d}\right)^{n(d-p)}(dp)^{np},$$ where $p=\frac{k}{n}$. When $p=1$, this conjecture reduces to a theorem of Schrijver which says that a $d$--regular bipartite graph on $v(G)=2n$ vertices has at least $$\left(\frac{(d-1)^{d-1}}{d^{d-2}}\right)^n$$ perfect matchings. L. Gurvits proved an asymptotic version of the Lower Matching Conjecture, namely he proved that $$\frac{\ln m_k(G)}{v(G)}\geq \frac{1}{2}\left(p\ln \left(\frac{d}{p}\right)+(d-p)\ln \left(1-\frac{p}{d}\right)-2(1-p)\ln (1-p)\right)+o_{v(G)}(1).$$
In this paper, we prove the Lower Matching Conjecture. In fact, we will prove a slightly stronger statement which gives an extra $c_p\sqrt{n}$ factor compared to the conjecture if $p$ is separated away from $0$ and $1$, and is tight up to a constant factor if $p$ is separated away from $1$. We will also give a new proof of Gurvits's and Schrijver's theorems, and we extend these theorems to $(a,b)$--biregular bipartite graphs.
A generalization of Witsenhausen's zero-error rate for directed graphs
Published
• View Publication
• BIB
We investigate a communication setup where a source output is sent through a free noisy channel first and an additional codeword is sent through a noiseless but expensive channel later. With the help of the second message the decoder should be able to decide with zero-error whether its decoding of the first message was error-free. This scenario leads to the definition of a digraph parameter that generalizes Witsenhausen's zero-error rate for directed graphs. We investigate this new parameter for some specific directed graphs and explore its relations to other digraph parameters like Sperner capacity and dichromatic number.
When the original problem is modified to require zero-error decoding of the whole message then we arrive back to the Witsenhausen rate of an appropriately defined undirected graph.
The smallest sets of points not determined by their X-rays
Published
• View Publication
• BIB
Let $F$ be an $n$-point set in $\mathbb{K}^d$ with $\mathbb{K}\in\{\mathbb{R},\mathbb{Z}\}$ and $d\geq 2$. A (discrete) X-ray of $F$ in direction $s$ gives the number of points of $F$ on each line parallel to $s$. We define $ψ_{\mathbb{K}^d}(m)$ as the minimum number $n$ for which there exist $m$ directions $s_1,...,s_m$ (pairwise linearly independent and spanning $\mathbb{R}^d$) such that two $n$-point sets in $\mathbb{K}^d$ exist that have the same X-rays in these directions. The bound $ψ_{\mathbb{Z}^d}(m)\leq 2^{m-1}$ has been observed many times in the literature. In this note we show $ψ_{\mathbb{K}^d}(m)=O(m^{d+1+\varepsilon})$ for $\varepsilon>0$. For the cases $\mathbb{K}^d=\mathbb{Z}^d$ and $\mathbb{K}^d=\mathbb{R}^d$, $d>2$, this represents the first upper bound on $ψ_{\mathbb{K}^d}(m)$ that is polynomial in $m$. As a corollary we derive bounds on the sizes of solutions to both the classical and two-dimensional Prouhet-Tarry-Escott problem. Additionally, we establish lower bounds on $ψ_{\mathbb{K}^d}$ that enable us to prove a strengthened version of Rényi's theorem for points in $\mathbb{Z}^2$.
Rooted trees, non-rooted trees and hamiltonian B-series
Published
• View Publication
• BIB
We explore the relationship between (non-planar) rooted trees and free trees, i.e. without root. We give in particular, for non-rooted trees, a substitute for the Lie bracket given by the antisymmetrization of the pre-Lie product.
A rigidity property of ribbon L-shaped n-ominoes and generalizations
Let n integer greater or equal to 4 and even and let T_n be the set of ribbon L-shaped n-ominoes. We study tiling problems for regions in a square lattice by T_n. Our main result shows a remarkable rigidity property: a tiling of the first quadrant by T_n is possible if and only if it reduces to a tiling by 2 x n and n x 2 rectangles. An application is the classification of all rectangles that can be tiled by T_n: a rectangle can be tiled by T_n if and only if both of its sides are even and at least one side is divisible by n. Another application is the existence of the local move property for an infinite family of sets of tiles: T_n has the local move property for the class of rectangular regions with respect to the local moves that interchange a tiling of an n x n square by n/2 vertical rectangles, with a tiling by n/2 horizontal rectangles, each vertical/horizontal rectangle being covered by two ribbon L-shaped n-ominoes. We show that these results are not valid for any n odd. The rectangular pattern of a tiling persists if we add an extra 2 x 2 square to T_n. A rectangle can be tiled by the larger set of tiles if and only if it has both sides even. In contrast, the addition of an extra even x odd or odd x odd rectangle to one of the above sets of tiles allows for a tiling of the first quadrant that does not respect the rectangular pattern.
Two-dimensional balanced sampling plans avoiding adjacent units
Published
• View Publication
• BIB
Hedayat et al. first introduced balanced sampling plans for the exclusion of contiguous units. Wright detailed the results of a preliminary investigation of two-dimensional balanced sampling plans avoiding adjacent units (2-BSAs), and pointed out explicitly three types of 2-BSAs, which have different adjacency scheme, namely "Row and Column", "Sharing a Border" and "Island". This paper will provide more details for the three types of 2-BSAs from the point of view of design theory.
Random Walks that Find Perfect Objects and the Lovász Local Lemma
Published
• View Publication
• BIB
We give an algorithmic local lemma by establishing a sufficient condition for the uniform random walk on a directed graph to reach a sink quickly. Our work is inspired by Moser's entropic method proof of the Lovász Local Lemma (LLL) for satisfiability and completely bypasses the Probabilistic Method formulation of the LLL. In particular, our method works when the underlying state space is entirely unstructured. Similarly to Moser's argument, the key point is that the inevitability of reaching a sink is established by bounding the entropy of the walk as a function of time.
Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto
This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan.
It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology community.
Triangulations are highly suitable for computations due to their clear combinatorial structure. As a consequence, they have been successfully employed in discrete algorithms to solve purely theoretical problems in a broad variety of mathematical research areas (knot theory, polytope theory, 2- and 3-manifold topology, geometry, and others). However, due to the large variety of applications, requirements vary from field to field and thus different types of triangulations, different tools, and different frameworks are used in different areas of research. This is why today closely related research areas are sometimes largely disjoint leaving potential reciprocal benefits unused.
To address these potentials a workshop on Triangulations was held at Oberwolfach Research Institute in 2012. Since then many new collaborations between researchers of different mathematical communities have been established. Regarding the computational geometry community, the theory of manifolds continues to contribute to advances in more applied areas of the field. Many researchers are interested in fundamental mathematical research about triangulations and thus will benefit from a broad set of knowledge about different research areas using different techniques.
We hope that this workshop brought together researchers from many different fields of computational geometry to have fruitful discussions which will lead to new interdisciplinary collaborations and solutions.
Restricted frame graphs and a conjecture of Scott
Published in Electronic Journal of Combinatorics 23(1) (2016), #P1.30
• View Publication
• BIB
Scott proved in 1997 that for any tree $T$, every graph with bounded clique number which does not contain any subdivision of $T$ as an induced subgraph has bounded chromatic number. Scott also conjectured that the same should hold if $T$ is replaced by any graph $H$. Pawlik et al. recently constructed a family of triangle-free intersection graphs of segments in the plane with unbounded chromatic number (thereby disproving an old conjecture of Erdős). This shows that Scott's conjecture is false whenever $H$ is obtained from a non-planar graph by subdividing every edge at least once.
It remains interesting to decide which graphs $H$ satisfy Scott's conjecture and which do not. In this paper, we study the construction of Pawlik et al. in more details to extract more counterexamples to Scott's conjecture. For example, we show that Scott's conjecture is false for any graph obtained from $K_4$ by subdividing every edge at least once. We also prove that if $G$ is a 2-connected multigraph with no vertex contained in every cycle of $G$, then any graph obtained from $G$ by subdividing every edge at least twice is a counterexample to Scott's conjecture.
Local subgraph structure can cause localization in continuous-time quantum walk
Published in Yokohama Mathematical Journal 60, 113-123 (2014)
• Search Publication
In this paper, we consider continuous-time quantum walks (CTQWs) on finite graphs determined by the Laplacian matrices. By introducing fully interconnected graph decomposition of given graphs, we show a decomposition method for the Laplacian matrices. Using the decomposition method, we show several conditions for graph structure which return probability of CTQW tends to 1 while the number of vertices tends to infinity.
Combinatorial representation theory of Lie algebras. Richard Stanley's work and the way it was continued
Published
• View Publication
• BIB
Richard Stanley played a crucial role, through his work and his students, in the development of the relatively new area known as combinatorial representation theory. In the early stages, he has the merit to have pointed out to combinatorialists the potential that representation theory has for applications of combinatorial methods. Throughout his distinguished career, he wrote significant articles which touch upon various combinatorial aspects related to representation theory (of Lie algebras, the symmetric group, etc.). I describe some of Richard's contributions involving Lie algebras, as well as recent developments inspired by them (including some open problems), which attest the lasting impact of his work.
The diameter of type D associahedra and the non-leaving-face property
Published in European J. Combin., 51: 109-124, 2016
• View Publication
• BIB
Generalized associahedra were introduced by S. Fomin and A. Zelevinsky in connection to finite type cluster algebras. Following recent work of L. Pournin in types $A$ and $B$, this paper focuses on geodesic properties of generalized associahedra. We prove that the graph diameter of the $n$-dimensional associahedron of type $D$ is precisely $2n-2$ for all $n$ greater than $1$. Furthermore, we show that all type $BCD$ associahedra have the non-leaving-face property, that is, any geodesic connecting two vertices in the graph of the polytope stays in the minimal face containing both. This property was already proven by D. Sleator, R. Tarjan and W. Thurston for associahedra of type $A$. In contrast, we present relevant examples related to the associahedron that do not always satisfy this property.
Connective eccentric index of some graph operations
The connective eccentric index of a graph is a topological index involving degrees and eccentricities of vertices of the graph. In this paper, we have studied the connective eccentric index for double graph and double cover. Also we give the connective eccentric index for some graph operations such as joins, symmetric difference, disjunction and splice of graphs.
A quadratic lower bound for the convergence rate in the one-dimensional Hegselmann-Krause bounded confidence dynamics
Published
• View Publication
• BIB
Let f_{k}(n) be the maximum number of time steps taken to reach equilibrium by a system of n agents obeying the k-dimensional Hegselmann-Krause bounded confidence dynamics. Previously, it was known that Ω(n) = f_{1}(n) = O(n^3). Here we show that f_{1}(n) = Ω(n^2), which matches the best-known lower bound in all dimensions k >= 2.
The Hegselmann-Krause dynamics for equally spaced agents
Published
• View Publication
• BIB
We consider the Hegselmann-Krause bounded confidence dynamics for n equally spaced opinions on the real line, with gaps equal to the confidence bound r, which we take to be 1. We prove rigorous results on the evolution of this configuration, which confirm hypotheses previously made based on simulations for small values of n. Namely, for every n, the system evolves as follows: after every 5 time steps, a group of 3 agents become disconnected at either end and collapse to a cluster at the subsequent step. This continues until there are fewer than 6 agents left in the middle, and these finally collapse to a cluster, if n is not a multiple of 6. In particular, the final configuration consists of 2*[n/6] clusters of size 3, plus one cluster in the middle of size n (mod 6), if n is not a multiple of 6, and the number of time steps before freezing is 5n/6 + O(1). We also consider the dynamics for arbitrary, but constant, inter-agent spacings d \in [0, 1] and present three main findings. Firstly we prove that the evolution is periodic also at some other, but not all, values of d, and present numerical evidence that for all d something "close" to periodicity nevertheless holds. Secondly, we exhibit a value of d at which the behaviour is periodic and the time to freezing is n + O(1), hence slower than that for d = 1. Thirdly, we present numerical evidence that, as d --> 0, the time to freezing may be closer, in order of magnitude, to the diameter d(n-1) of the configuration rather than the number of agents n.
Divisors and specializations of Lucas polynomials
Published
• View Publication
• BIB
Three-term recurrences have infused stupendous amount of research in a broad spectrum of the sciences, such as orthogonal polynomials (in special functions) and lattice paths (in enumerative combinatorics). Among these are the Lucas polynomials, which have seen a recent true revival. In this paper one of the themes of investigation is the specialization to the Pell and Delannoy numbers. The underpinning motivation comprises primarily of divisibility and symmetry. One of the most remarkable findings is a structural decomposition of the Lucas polynomials into what we term as flat and sharp analogs.