natural ↗ reference
4908 papers tagged with this keyword
The Polyhedral Tree Complex
Published in Combinatorial Theory, 2(3) 2022
• View Publication
• BIB
The tree complex is a simplicial complex defined in recent work of Belk, Lanier, Margalit, and Winarski with natural applications to mapping class groups and complex dynamics. In this article, we connect this setting with the study of certain convex polytopes: associahedra and cyclohedra. Specifically, we describe a characterization of these polytopes using planar embeddings of trees and show that the tree complex is the barycentric subdivision of a polyhedral cell complex for which the cells are products of associahedra and cyclohedra.
Causal-net category
A causal-net is a finite acyclic directed graph. In this paper, we introduce a category, denoted by $\mathbf{Cau}$ and called causal-net category, whose objects are causal-nets and morphisms between two causal-nets are the functors between their path categories. The category $\mathbf{Cau}$ is in fact the Kleisli category of the "free category on a causal-net" monad. Firstly, we motivate the study of $\mathbf{Cau}$ and illustrate its application in the framework of causal-net condensation. We show that there are exactly six types of indecomposable morphisms, which correspond to six conventions of graphical calculi for monoidal categories. Secondly, we study several composition-closed classes of morphisms in $\mathbf{Cau}$, which characterize interesting partial orders among causal-nets, such as coarse-graining, merging, contraction, immersion-minor, topological minor, etc., and prove several useful decomposition theorems. Thirdly, we introduce a categorical framework for minor theory and use it to study several types of generalized minors in $\mathbf{Cau}$. In addition, we prove a fundamental theorem that any morphism in $\mathbf{Cau}$ is a composition of the six types of indecomposable morphisms, and show that the notions of coloring and exact minor can be understood as special kinds of minimal-quotient and sub-quotient in $\mathbf{Cau}$, respectively. Base on these results, we conclude that $\mathbf{Cau}$ is a natural setting for studying causal-nets, and the theory of $\mathbf{Cau}$ should shed new light on the category-theoretic understanding of graph theory.
Faster Algorithms for Sparse ILP and Hypergraph Multi-Packing/Multi-Cover Problems
Published
• View Publication
• BIB
In our paper, we consider the following general problems: check feasibility, count the number of feasible solutions, find an optimal solution, and count the number of optimal solutions in $P \cap Z^n$, assuming that $P$ is a polyhedron, defined by systems $A x \leq b$ or $Ax = b,\, x \geq 0$ with a sparse matrix $A$. We develop algorithms for these problems that outperform state of the art ILP and counting algorithms on sparse instances with bounded elements.
We use known and new methods to develop new exponential algorithms for Edge/Vertex Multi-Packing/Multi-Cover Problems on graphs and hypergraphs. This framework consists of many different problems, such as the Stable Multi-set, Vertex Multi-cover, Dominating Multi-set, Set Multi-cover, Multi-set Multi-cover, and Hypergraph Multi-matching problems, which are natural generalizations of the standard Stable Set, Vertex Cover, Dominating Set, Set Cover, and Maximal Matching problems.
Fixed-point cycles and EFX allocations
We study edge-labelings of the complete bidirected graph $\overset{\tiny\leftrightarrow}{K}_n$ with functions from the set $[d] = \{1, \dots, d\}$ to itself. We call a cycle in $\overset{\tiny\leftrightarrow}{K}_n$ a fixed-point cycle if composing the labels of its edges results in a map that has a fixed point, and we say that a labeling is fixed-point-free if no fixed-point cycle exists. For a given $d$, we ask for the largest value of $n$, denoted $R_f(d)$, for which there exists a fixed-point-free labeling of $\overset{\tiny\leftrightarrow}{K}_n$. Determining $R_f(d)$ for all $d >0$ is a natural Ramsey-type question, generalizing some well-studied zero-sum problems in extremal combinatorics. The problem was recently introduced by Chaudhury, Garg, Mehlhorn, Mehta, and Misra, who proved that $d \leq R_f(d) \leq d^4+d$ and showed that the problem has close connections to EFX allocations, a central problem of fair allocation in social choice theory.
In this paper we show the improved bound $R_f(d) \leq d^{2 + o(1)}$, yielding an efficient ${(1-\varepsilon)}$-EFX allocation with $n$ agents and $O(n^{0.67})$ unallocated goods for any constant $\varepsilon \in (0,1/2]$; this improves the bound of $O(n^{0.8})$ of Chaudhury, Garg, Mehlhorn, Mehta, and Misra.
Additionally, we prove the stronger upper bound $2d-2$, in the case where all edge-labels are permulations. A very special case of this problem, that of finding zero-sum cycles in digraphs whose edges are labeled with elements of $\mathbb{Z}_d$, was recently considered by Alon and Krivelevich and by Mészáros and Steiner. Our result improves the bounds obtained by these authors and extends them to labelings from an arbitrary (not necessarily commutative) group, while also simplifying the proof.
Internal and external partial difference families and cyclotomy
Published
• View Publication
• BIB
We introduce the concept of a disjoint partial difference family (DPDF) and an external partial difference family (EPDF), a natural generalisation of the much-studied structures of disjoint difference family (DDF), external difference family (EDF) and partial difference set (PDS). We establish properties and constructions, and indicate connections to other recently-studied combinatorial structures. We show how DPDFs and EPDFs may be formed from collections of PDSs, and also present cyclotomic methods yielding DPDFs and EPDFs whose component sets are not in general PDSs. As part of this, we develop a unified framework encompassing various known constructions for cyclotomic difference structures, which also yields new results on DDFs and EDFs.
Minimal Constructible Sets
Given an initial family of sets, we may take unions, intersections and complements of the sets contained in this family in order to form a new collection of sets; our construction process is done recursively until we obtain the last family. Problems encountered in this research include the minimum number of steps required to arrive to the last family as well as a characterization of that last family; we solve all those problems. We also define a class of simple families ($n$-minimal constructible) and we analyze the relationships between partitions and separability (our new concept) that lead to interesting results such as finding families based on partitions that generate finite algebras. We prove a number of new results about $n$-minimal constructible families; one major result is that every finite algebra of sets has a generating family which is $n$-minimal constructible for all natural $n$ and we compute the minimum number of steps required to generate an algebra. Another interesting result is a connection between this construction process and Baire's Theorem. This work has a number of possible applications, particularly in the fields of economics and computer science.
Small graphs and hypergraphs of given degree and girth
Published
• View Publication
• BIB
The search for the smallest possible $d$-regular graph of girth $g$ has a long history, and is usually known as the cage problem. This problem has a natural extension to hypergraphs, where we may ask for the smallest number of vertices in a $d$-regular, $r$-uniform hypergraph of given (Berge) girth $g$. We show that these two problems are in fact very closely linked. By extending the ideas of Cayley graphs to the hypergraph context, we find smallest known hypergraphs for various parameter sets. Because of the close link to the cage problem from graph theory, we are able to use these techniques to find new record smallest cubic graphs of girths 23, 24, 28, 29, 30, 31 and 32.
Infinite Hex is a draw
We introduce the game of infinite Hex, extending the familiar finite game to natural play on the infinite hexagonal lattice. Whereas the finite game is a win for the first player, we prove in contrast that infinite Hex is a draw -- both players have drawing strategies. Meanwhile, the transfinite game-value phenomenon, now abundantly exhibited in infinite chess and infinite draughts, regrettably does not arise in infinite Hex; only finite game values occur. Indeed, every game-valued position in infinite Hex is intrinsically local, meaning that winning play depends only on a fixed finite region of the board. This latter fact is proved under very general hypotheses, establishing the conclusion for all simple stone-placing games.
Concatenations of Terms of an Arithmetic Progression
Published
• View Publication
• BIB
Let $(u(n))_{n\in\mathbb{N}}$ be an arithmetic progression of natural integers in base $b\in\mathbb{N}\setminus \{0,1\}$. We consider the following sequences: $s(n)=\overline{u(0)u(1)\cdots u(n) }^b$ formed by concatenating the first $n+1$ terms of $(u(n))_{n\in\mathbb{N}}$ in base $b$ from the right; $s_g(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$; and $(s_*(n))_{n\in\mathbb{N}}$, given by $s_*(0)=u(0)$, $s_*(n)=\overline{s(n)s_g(n-1)}^b, n\geq 1$. We construct explicit formulae for these sequences and use basic concepts of linear difference operators to prove they are not P-recursive (holonomic). We also present an alternative proof that follows directly from their definitions. We implemented $(s(n))_{n\in\mathbb{N}}$ and $(s_g(n))_{n\in\mathbb{N}}$ in the decimal base when $(u(n))_{n\in\mathbb{N}}=\mathbb{N}\setminus \{0\}$.
The Polyhedral Geometry of Pivot Rules and Monotone Paths
Published
• View Publication
• BIB
Motivated by the analysis of the performance of the simplex method we study the behavior of families of pivot rules of linear programs. We introduce normalized-weight pivot rules which are fundamental for the following reasons: First, they are memory-less, in the sense that the pivots are governed by local information encoded by an arborescence. Second, many of the most used pivot rules belong to that class, and we show this subclass is critical for understanding the complexity of all pivot rules. Finally, normalized-weight pivot rules can be parametrized in a natural continuous manner.
We show the existence of two polytopes, the pivot rule polytopes and the neighbotopes, that capture the behavior of normalized-weight pivot rules on polytopes and linear programs. We explain their face structure in terms of multi-arborescences. We compute upper bounds on the number of coherent arborescences, that is, vertices of our polytopes.
Beyond optimization, our constructions provide new perspectives on classical geometric combinatorics. We introduce a normalized-weight pivot rule, we call the max-slope pivot rule which generalizes the shadow-vertex pivot rule. The corresponding pivot rule polytopes and neighbotopes refine monotone path polytopes of Billera--Sturmfels. Moreover special cases of our polytopes yield permutahedra, associahedra, and multiplihedra. For the greatest improvement pivot rules we draw connections to sweep polytopes and polymatroids.
The minimum number of clique-saturating edges
Published
• View Publication
• BIB
Let $G$ be a $K_p$-free graph. We say $e$ is a $K_p$-saturating edge of $G$ if $e\notin E(G)$ and $G+e$ contains a copy of $K_p$. Denote by $f_p(n, e)$ the minimum number of $K_p$-saturating edges that an $n$-vertex $K_p$-free graph with $e$ edges can have. Erdős and Tuza conjectured that $f_4(n,\lfloor n^2/4\rfloor+1)=\left(1 + o(1)\right)\frac{n^2}{16}.$ Balogh and Liu disproved this by showing $f_4(n,\lfloor n^2/4\rfloor+1)=(1+o(1))\frac{2n^2}{33}$. They believed that a natural generalization of their construction for $K_p$-free graph should also be optimal and made a conjecture that $f_{p+1}(n,ex(n,K_p)+1)=\left(\frac{2(p-2)^2}{p(4p^2-11p+8)}+o(1)\right)n^2$ for all integers $p\ge 3$. The main result of this paper is to confirm the above conjecture of Balogh and Liu.
Loops and Regions in Hitomezashi Patterns
Published
• View Publication
• BIB
Hitomezashi patterns, which originate from traditional Japanese embroidery, are intricate arrangements of unit-length line segments called stitches. The stitches connect to form hitomezashi strands and hitomezashi loops, which divide the plane into regions. We investigate the deeper mathematical properties of these patterns, which also feature prominently in the study of corner percolation. It was previously known that every loop in a hitomezashi pattern has odd width and odd height. We additionally prove that such a loop has length congruent to $4$ modulo $8$ and area congruent to $1$ modulo $4$. Although these results are simple to state, their proofs require us to understand the delicate topological and combinatorial properties of slicing operations that can be applied to hitomezashi patterns. We also show that the expected number of regions in a random $m\times n$ hitomezashi pattern (chosen according to a natural random model) is asymptotically $\left(\frac{π^2-9}{12}+o(1)\right)mn$.
Qualitative representations of chromatic algebras
Published
• View Publication
• BIB
Conventional Ramsey-theoretic investigations for edge-colourings of complete graphs are framed around avoidance of certain configurations. Motivated by considerations arising in the field of Qualitative Reasoning, we explore edge colourings that in addition to forbidding certain triangle configurations also require others to be present. These conditions have natural combinatorial interest in their own right, but also correspond to qualitative representability of certain nonassociative relation algebras, which we will call chromatic.
Most Clicks Problem in Lights Out
Consider a game played on a simple graph $G = (V, E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. Starting from an initial configuration of lights, one wins the game by finding a solution: a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Restricting ourselves to solvable initial configurations, we pose a natural question about this game, the Most Clicks Problem (MCP): How many clicks does a worst-case initial configuration on $G$ require to solve? The answer to the MCP is already known for nullity 0 graphs: those on which every initial configuration is solvable. Generalizing a technique from Scherphius, we give an upper bound to the MCP for all grids of size $(6k - 1) \times (6k - 1)$. We show the value given by this upper bound exactly solves the MCP for all nullity 2 grids of this size. We conjecture that all nullity 2 grids are of size $(6k - 1) \times (6k - 1)$, which would mean we solve the MCP for all nullity 2 square grids.
Minimum non-chromatic-choosable graphs with given chromatic number
Published
• View Publication
• BIB
A graph $G$ is called chromatic-choosable if $χ(G)=ch(G)$. A natural problem is to determine the minimum number of vertices in a $k$-chromatic non-$k$-choosable graph. It was conjectured by Ohba, and proved by Noel, Reed and Wu that $k$-chromatic graphs $G$ with $|V(G)| \le 2k+1$ are $k$-choosable. This upper bound on $|V(G)|$ is tight. It is known that if $k$ is even, then $G=K_{3 \star (k/2+1), 1 \star (k/2-1)}$ and $G=K_{4, 2 \star (k-1)}$ are $k$-chromatic graphs with $|V(G)| =2 k+2$ that are not $k$-choosable. Some subgraphs of these two graphs are also non-$k$-choosable. The main result of this paper is that all other $k$-chromatic graphs $G$ with $|V(G)| =2 k+2$ are $k$-choosable. In particular, if $χ(G)$ is odd and $|V(G)| \le 2χ(G)+2$, then $G$ is chromatic-choosable, which was conjectured by Noel.
Liftable automorphisms of right-angled Artin groups
Published
• View Publication
• BIB
Given a regular covering map $\varphi:Λ\to Γ$ of graphs, we investigate the subgroup $\operatorname{LAut}(\varphi)$ of the automorphism group $\operatorname{Aut}(A_Γ)$ of the right-angled Artin group $A_Γ$. This subgroup comprises all automorphisms that can be lifted to automorphisms of $A_Λ$. We first show that $\operatorname{LAut}(\varphi)$ is generated by a finite subset of Laurence's elementary automorphisms.
For the subgroup $\operatorname{FAut}(\varphi)$ of $\operatorname{Aut}(A_Λ)$, which consists of lifts of automorphisms in $\operatorname{LAut}(\varphi)$, there exists a natural homomorphism $\operatorname{FAut}(\varphi)\to\operatorname{LAut}(\varphi)$ induced by $\varphi$. We then show that the kernel of this homomorphism is virtually a subgroup of the Torelli subgroup $\operatorname{IA}(A_Λ)$ and deduce a short exact sequence reminiscent of results from the Birman--Hilden theory for surfaces.
Three-color Ramsey number of an odd cycle versus bipartite graphs with small bandwidth
Published
• View Publication
• BIB
A graph $\mathcal{H}=(W,E_\mathcal{H})$ is said to have {\em bandwidth} at most $b$ if there exists a labeling of $W$ as $w_1,w_2,\dots,w_n$ such that $|i-j|\leq b$ for every edge $w_iw_j\in E_\mathcal{H}$. We say that $\mathcal{H}$ is a {\em balanced $(β,Δ)$-graph} if it is a bipartite graph with bandwidth at most $β|W|$ and maximum degree at most $Δ$, and it also has a proper 2-coloring $χ:W\rightarrow[2]$ such that $||χ^{-1}(1)|-|χ^{-1}(2)||\leqβ|χ^{-1}(2)|$.
In this paper, we prove that for every $γ>0$ and every natural number $Δ$, there exists a constant $β>0$ such that for every balanced $(β,Δ)$-graph $\mathcal{H}$ on $n$ vertices we have $$R(\mathcal{H}, \mathcal{H}, C_n) \leq (3+γ)n$$ for all sufficiently large odd $n$. The upper bound is sharp for several classes of graphs. Let $θ_{n,t}$ be the graph consisting of $t$ internally disjoint paths of length $n$ all sharing the same endpoints. As a corollary, for each fixed $t\geq 1$, $R(θ_{n, t},θ_{n, t}, C_{nt+λ})=(3t+o(1))n,$ where $λ=0$ if $nt$ is odd and $λ=1$ if $nt$ is even. In particular, we have $R(C_{2n},C_{2n}, C_{2n+1})=(6+o(1))n$, which is a special case of a result of Figaj and Łuczak (2018).
Perfect models for finite Coxeter groups
Published in J. Pure Appl. Algebra 227 (2023), 107303
• View Publication
• BIB
A model for a finite group is a set of linear characters of subgroups that can be induced to obtain every irreducible character exactly once. A perfect model for a finite Coxeter group is a model in which the relevant subgroups are the quasiparabolic centralizers of perfect involutions. In prior work, we showed that perfect models give rise to interesting examples of $W$-graphs. Here, we classify which finite Coxeter groups have perfect models. Specifically, we prove that the irreducible finite Coxeter groups with perfect models are those of types $\mathsf{A}_{n}$, $\mathsf{B}_n$, $\mathsf{D}_{2n+1}$, $\mathsf{H}_3$, or $\mathsf{I}_2(n)$. We also show that up to a natural form of equivalence, outside types $\mathsf{A}_3$, $\mathsf{B}_n$, and $\mathsf{H}_3$, each irreducible finite Coxeter group has at most one perfect model. Along the way, we also prove a technical result about representations of finite Coxeter groups, namely, that induction from standard parabolic subgroups of corank at least two is never multiplicity-free.
A Generalized RSK for Enumerating Linear Series on $n$-pointed Curves
Published
• View Publication
• BIB
We give a combinatorial proof of a recent geometric result of Farkas and Lian on linear series on curves with prescribed incidence conditions. The result states that the expected number of degree-$d$ morphisms from a general genus $g$, $n$-marked curve $C$ to $\mathbb{P}^r$, sending the marked points on $C$ to specified general points in $\mathbb{P}^r$, is equal to $(r+1)^g$ for sufficiently large $d$. This computation may be rephrased as an intersection problem on Grassmannians, which has a natural combinatorial interpretation in terms of Young tableaux by the classical Littlewood-Richardson rule. We give a bijection, generalizing the well-known RSK correspondence, between the tableaux in question and the $(r+1)$-ary sequences of length $g$, and we explore our bijection's combinatorial properties.
We also apply similar methods to give a combinatorial interpretation and proof of the fact that, in the modified setting in which $r=1$ and several marked points map to the same point in $\mathbb{P}^1$, the number of morphisms is still $2^g$ for sufficiently large $d$.
Extremal sequences related to the Jacobi symbol
For a weight-set $A\subseteq \mathbb Z_n$, the $A$-weighted zero-sum constant $C_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has an $A$-weighted zero-sum subsequence of consecutive terms. A sequence of length $C_A(n)-1$ in $\mathbb Z_n$ which does not have any $A$-weighted zero-sum subsequence of consecutive terms will be called a $C$-extremal sequence for $A$.
Let $\big(\frac{x}{n}\big)$ denote the Jacobi symbol of $x\in\mathbb Z_n$. We characterize the $C$-extremal sequences for the weight-set $S(n)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=1\,\big\}$ and for the weight-set $L(n;p)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=\big(\frac{x}{p}\big)\,\big\}$ where $p$ is a prime divisor of $n$. We can define $D$-extremal sequences for these weight-sets in a way analogous to the definition of $C$-extremal sequences. We also characterize these sequences.