natural ↗ reference
4897 papers tagged with this keyword
The multiresolution analysis of flow graphs
Published
• View Publication
• BIB
We introduce and prove basic results about several graph-theoretic notions relevant to the multiresolution analysis of flow graphs that represent the transfer of control in computer programs. We take a category-theoretical viewpoint to demonstrate that our definitions are natural and to motivate particular incarnations of related constructions.
Conflict-Free Coloring of Planar Graphs
Published
• View Publication
• BIB
A conflict-free k-coloring of a graph assigns one of k different colors to some of the vertices such that, for every vertex v, there is a color that is assigned to exactly one vertex among v and v's neighbors. Such colorings have applications in wireless networking, robotics, and geometry, and are well-studied in graph theory. Here we study the natural problem of the conflict-free chromatic number chi_CF(G) (the smallest k for which conflict-free k-colorings exist). We provide results both for closed neighborhoods N[v], for which a vertex v is a member of its neighborhood, and for open neighborhoods N(v), for which vertex v is not a member of its neighborhood.
For closed neighborhoods, we prove the conflict-free variant of the famous Hadwiger Conjecture: If an arbitrary graph G does not contain K_{k+1} as a minor, then chi_CF(G) <= k. For planar graphs, we obtain a tight worst-case bound: three colors are sometimes necessary and always sufficient. We also give a complete characterization of the computational complexity of conflict-free coloring. Deciding whether chi_CF(G)<= 1 is NP-complete for planar graphs G, but polynomial for outerplanar graphs. Furthermore, deciding whether chi_CF(G)<= 2 is NP-complete for planar graphs G, but always true for outerplanar graphs. For the bicriteria problem of minimizing the number of colored vertices subject to a given bound k on the number of colors, we give a full algorithmic characterization in terms of complexity and approximation for outerplanar and planar graphs.
For open neighborhoods, we show that every planar bipartite graph has a conflict-free coloring with at most four colors; on the other hand, we prove that for k in {1,2,3}, it is NP-complete to decide whether a planar bipartite graph has a conflict-free k-coloring. Moreover, we establish that any general} planar graph has a conflict-free coloring with at most eight colors.
New bounds on the strength of some restrictions of Hindman's Theorem
Published
• View Publication
• BIB
We prove upper and lower bounds on the effective content and logical strength for a variety of natural restrictions of Hindman's Finite Sums Theorem. For example, we show that Hindman's Theorem for sums of length at most 2 and 4 colors implies $\mathsf{ACA}_0$. An emerging {\em leitmotiv} is that the known lower bounds for Hindman's Theorem and for its restriction to sums of at most 2 elements are already valid for a number of restricted versions which have simple proofs and better computability- and proof-theoretic upper bounds than the known upper bound for the full version of the theorem. We highlight the role of a sparsity-like condition on the solution set, which we call apartness.
Tropical plactic algebra, the cloaktic monoid, and semigroup representations
Published
• View Publication
• BIB
A new tropical plactic algebra is introduced in which the Knuth relations are inferred from the underlying semiring arithmetics, encapsulating the ubiquitous plactic monoid $\mathcal{P}_n$. This algebra manifests a natural framework for accommodating representations of $\mathcal{P}_n$, or equivalently of Young tableaux, and its moderate coarsening -- the cloaktic monoid $\mathcal{K}_n$ and the co-cloaktic $ ^{\operatorname{co}}\mathcal{K}_n$. The faithful linear representations of $\mathcal{K}_n$ and $\, ^{\operatorname{co}} \mathcal{K}_n$ by tropical matrices, which constitute a tropical plactic algebra, are shown to provide linear representations of the plactic monoid. To this end the paper develops a special type of configuration tableaux, corresponding bijectively to semi-standard Young tableaux. These special tableaux allow a systematic encoding of combinatorial properties in numerical algebraic ways, including algorithmic benefits. The interplay between these algebraic-combinatorial structures establishes a profound machinery for exploring semigroup attributes, in particular satisfying of semigroup identities. This machinery is utilized here to prove that $\mathcal{K}_n$ and $\, ^{\operatorname{co}} \mathcal{K}_n$ admit all the semigroup identities satisfied by $n \times n$ triangular tropical matrices, which holds also for $\mathcal{P}_3$.
Convergence of the free Boltzmann quadrangulation with simple boundary to the Brownian disk
Published
• View Publication
• BIB
We prove that the free Boltzmann quadrangulation with simple boundary and fixed perimeter, equipped with its graph metric, natural area measure, and the path which traces its boundary converges in the scaling limit to the free Boltzmann Brownian disk. The topology of convergence is the so-called Gromov-Hausdorff-Prokhorov-uniform (GHPU) topology, the natural analog of the Gromov-Hausdorff topology for curve-decorated metric measure spaces. From this we deduce that a random quadrangulation of the sphere decorated by a $2l$-step self-avoiding loop converges in law in the GHPU topology to the random curve-decorated metric measure space obtained by gluing together two independent Brownian disks along their boundaries.
Convergence of percolation on uniform quadrangulations with boundary to SLE$_{6}$ on $\sqrt{8/3}$-Liouville quantum gravity
Published
• View Publication
• BIB
Let $Q$ be a free Boltzmann quadrangulation with simple boundary decorated by a critical ($p=3/4$) face percolation configuration. We prove that the chordal percolation exploration path on $Q$ between two marked boundary edges converges in the scaling limit to chordal SLE$_6$ on an independent $\sqrt{8/3}$-Liouville quantum gravity disk (equivalently, a Brownian disk). The topology of convergence is the Gromov-Hausdorff-Prokhorov-uniform topology, the natural analog of the Gromov-Hausdorff topology for curve-decorated metric measure spaces. We also obtain analogous scaling limit results for face percolation on the uniform infinite half-plane quadrangulation with simple boundary, and for site percolation on a uniform triangulation with simple boundary. Our method of proof is robust and, up to certain technical steps, extends to any percolation model on a random planar map which can be explored via peeling.
On the DLW Conjectures
Published
• View Publication
• BIB
In 2007, Dmytrenko, Lazebnik and Williford posed two related conjectures about polynomials over finite fields. Conjecture~1 is a claim about the uniqueness of certain monomial graphs. Conjecture~2, which implies Conjecture~1, deals with certain permutation polynomials of finite fields. Two natural strengthenings of Conjecture~2, referred to as Conjectures~A and B in the present paper, were also insinuated. In a recent development, Conjecture~2 and hence Conjecture~1 have been confirmed. The present paper gives a proof of Conjecture~A.
Width-$k$ Generalizations of Classical Permutation Statistics
We introduce new natural generalizations of the classical descent and inversion statistics for permutations, called width-$k$ descents and width-$k$ inversions. These variations induce generalizations of the excedance and major statistics, providing a framework in which the most well-known equidistributivity results for classical statistics are paralleled. We explore additional relationships among the statistics providing specific formulas in certain special cases. Moreover, we explore the behavior of these width-$k$ statistics in the context of pattern avoidance.
Fixed points in compactifications and combinatorial counterparts
The Kechris-Pestov-Todorcevic correspondence connects extreme amenability of non-Archimedean Polish groups with Ramsey properties of classes of finite structures. The purpose of the present paper is to recast it as one of the instances of a more general construction, allowing to show that Ramsey-type statements actually appear as natural combinatorial expressions of the existence of fixed points in certain compactifications of groups, and that similar correspondences in fact exist in various dynamical contexts.
Generalised Majority Colourings of Digraphs
Published in Combinatorics, Probability and Computing 26 (2017) 850-855
• View Publication
• BIB
The purpose of this note is to draw attention to problems related to a concept called majority colouring recently studied by Kreutzer, Oum, Seymour, van der Zypen and Wood. They raised a problem of determining, for a natural number $k$, the smallest number $m=m(k)$ such that every digraph can be coloured with $m$ colours where each vertex has the same colour as at most $1/k$ proportion of its out-neighbours. We show that $m(k)\in\{2k-1,2k\}$. We also prove a result supporting the conjecture that $m(2)=3$. Moreover, we prove similar results for a more general concept called majority choosability.
Khovanskii bases of Cox-Nagata rings and tropical geometry
Published
• View Publication
• BIB
The Cox ring of a del Pezzo surface of degree 3 has a distinguished set of 27 minimal generators. We investigate conditions under which the initial forms of these generators generate the initial algebra of this Cox ring. Sturmfels and Xu provide a classification in the case of degree 4 del Pezzo surfaces by subdividing the tropical Grassmannian $\operatorname{TGr}(2,\mathbb{Q}^5)$. After providing the necessary background on Cox-Nagata rings and Khovanskii bases, we review the classification obtained by Sturmfels and Xu. Then we describe our classification problem in the degree 3 case and its connections to tropical geometry. In particular, we show that two natural candidates, $\operatorname{TGr}(3,\mathbb{Q}^6)$ and the Naruki fan, are insufficient to carry out the classification.
Tangle-tree duality in abstract separation systems
Published in Adv. Math., 377(Article 107470), January 2021
• View Publication
• BIB
We prove a general width duality theorem for combinatorial structures with well-defined notions of cohesion and separation. These might be graphs and matroids, but can be much more general or quite different. The theorem asserts a duality between the existence of high cohesiveness somewhere local and a global overall tree structure.
We describe cohesive substructures in a unified way in the format of tangles: as orientations of low-order separations satisfying certain consistency axioms. These axioms can be expressed without reference to the underlying structure, such as a graph or matroid, but just in terms of the poset of the separations themselves. This makes it possible to identify tangles, and apply our tangle-tree duality theorem, in very diverse settings.
Our result implies all the classical duality theorems for width parameters in graph minor theory, such as path-width, tree-width, branch-width or rank-width. It yields new, tangle-type, duality theorems for tree-width and path-width. It implies the existence of width parameters dual to cohesive substructures such as $k$-blocks, edge-tangles, or given subsets of tangles, for which no width duality theorems were previously known.
Abstract separation systems can be found also in structures quite unlike graphs and matroids. For example, our theorem can be applied to image analysis by capturing the regions of an image as tangles of separations defined as natural partitions of its set of pixels. It can be applied in big data contexts by capturing clusters as tangles. It can be applied in the social sciences, e.g. by capturing as tangles the few typical mindsets of individuals found by a survey. It could also be applied in pure mathematics, e.g. to separations of compact manifolds.
The distinguishing number of groups based on the distinguishing number of subgroups
Published
• View Publication
• BIB
Let $Γ$ be a group acting on a set $X$. The distinguishing number for this action of $Γ$ on $X$, denoted by $D_Γ(X)$, is the smallest natural number $k$ such that the elements of $X$ can be labeled with $k$ labels so that any label-preserving element of $Γ$ fixes all $x \in X$. In particular, if the action is faithful, then the only element of $Γ$ preserving labels is the identity. In this paper, we obtain an upper bound on the distinguishing number of a set knowing the distinguishing number of a set under the action of a subgroup. By the concept of motion, we obtain an upper bound for the distinguishing number of a group. Motivated by a problem (Chan 2006), we characterize $D_{Γ,H}(X)$ which is the smallest number of labels admitting a labeling of $X$ such that the only elements of $Γ$ that induce label-preserving permutations lie in $H$. Finally, we state two algorithms for obtaining an upper and a lower bound for $D_{Γ, H}(X)$.
Lp expander Complexes
We discuss two combinatorical ways of generalizing the definition of expander graphs and Ramanujan graphs, to quotients of buildings of higher dimension. The two possible definitions are equivalent for affine buildings, giving the notion of an Lp-expander complex. We calculate explicit spectral gaps on many combinatorical operators, on any Lp-expander complex.
We associate with any complex a natural "zeta function", generalizing the Ihara-Hashimoto zeta function of a finite graph. We generalize a well known theorem of Hashimoto, showing that a complex is Ramanujan if and only if the zeta function satisfies the Riemann hypothesis.
Graph Information Ratio
Published
• View Publication
• BIB
We introduce the notion of information ratio $\text{Ir}(H/G)$ between two (simple, undirected) graphs $G$ and $H$, defined as the supremum of ratios $k/n$ such that there exists a mapping between the strong products $G^k$ to $H^n$ that preserves non-adjacency. Operationally speaking, the information ratio is the maximal number of source symbols per channel use that can be reliably sent over a channel with a confusion graph $H$, where reliability is measured w.r.t. a source confusion graph $G$. Various results are provided, including in particular lower and upper bounds on $\text{Ir}(H/G)$ in terms of different graph properties, inequalities and identities for behavior under strong product and disjoint union, relations to graph cores, and notions of graph criticality. Informally speaking, $\text{Ir}(H/G)$ can be interpreted as a measure of similarity between $G$ and $H$. We make this notion precise by introducing the concept of information equivalence between graphs, a more quantitative version of homomorphic equivalence. We then describe a natural partial ordering over the space of information equivalence classes, and endow it with a suitable metric structure that is contractive under the strong product. Various examples and open problems are discussed.
List coloring with requests
Let G be a graph with a list assignment L. Suppose a preferred color is given for some of the vertices; how many of these preferences can be respected when L-coloring G? We explore several natural questions arising in this context, and propose directions for further research.
On-diagonal lower estimate of heat kernel on graphs
Published
• View Publication
• BIB
The purpose of this paper is to establish a new continuous-time on-diagonal lower estimate of heat kernel for large time on graphs. To achieve the goal, we first give an upper bound of heat kernel in natural graph metric, and then use this bound and the volume growth condition to show the validity of the on-diagonal lower bound.
Sorting via chip-firing
Published in Electronic Journal of Combinatorics, 24(3), 2017
• View Publication
• BIB
We investigate a variant of the chip-firing process on the infinite path graph: rather than treating the chips as indistinguishable, we label them with positive integers. To fire an unstable vertex, i.e. a vertex with more than one chip, we choose any two chips at that vertex and move the lesser-labeled chip to the left and the greater-labeled chip to the right. This labeled version of the chip-firing process exhibits a remarkable confluence property, similar to but subtler than the confluence that prevails for unlabeled chip-firing: when all chips start at the origin and the number of chips is even, the chips always end up in sorted order. Our proof of sorting relies upon an independently interesting lemma concerning unlabeled chip- firing which says that stabilization preserves a natural partial order on configurations. We also discuss some extensions of this sorting phenomenon to other graphs (variants of the infinite path), to other initial configurations, and to other Cartan-Killing types.
Inverse Limits and Topologies of Infinite Graphs
Two of the natural topologies for infinite graphs with edge-ends are Etop and Itop. In this paper, we study and characterize them. We show that Itop can be constructed by inverse limits of inverse systems of graphs with finitely many vertices. Furthermore, as an application of the inverse limit approach, we construct a topological spanning tree in Itop
Chromatic quasisymmetric functions of directed graphs
Chromatic quasisymmetric functions of labeled graphs were defined by Shareshian and Wachs as a refinement of Stanley's chromatic symmetric functions. In this extended abstract, we consider an extension of their definition from labeled graphs to directed graphs, suggested by Richard Stanley. We obtain an F-basis expansion of the chromatic quasisymmetric functions of all digraphs and a p-basis expansion for all symmetric chromatic quasisymmetric functions of digraphs, extending work of Shareshian-Wachs and Athanasiadis. We show that the chromatic quasisymmetric functions of proper circular arc digraphs are symmetric functions, which generalizes a result of Shareshian and Wachs on natural unit interval graphs. The directed cycle on n vertices is contained in the class of proper circular arc digraphs, and we give a generating function for the e-basis expansion of the chromatic quasisymmetric function of the directed cycle, refining a result of Stanley for the undirected cycle. We present a generalization of the Shareshian-Wachs refinement of the Stanley-Stembridge e-positivity conjecture.