natural ↗ reference
4897 papers tagged with this keyword
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.
Preference Swaps for the Stable Matching Problem
Published
• View Publication
• BIB
An instance $I$ of the Stable Matching Problem (SMP) is given by a bipartite graph with a preference list of neighbors for every vertex. A swap in $I$ is the exchange of two consecutive vertices in a preference list. A swap can be viewed as a smallest perturbation of $I$. Boehmer et al. (2021) designed a polynomial-time algorithm to find the minimum number of swaps required to turn a given maximal matching into a stable matching. We generalize this result to the many-to-many version of SMP. We do so first by introducing a new representation of SMP as an extended bipartite graph and subsequently by reducing the problem to submodular minimization. It is a natural problem to establish the computational complexity of deciding whether at most $k$ swaps are enough to turn $I$ into an instance where one of the maximum matchings is stable. Using a hardness result of Gupta et al. (2020), we prove that this problem is NP-hard and, moreover, this problem parameterised by $k$ is W[1]-hard. We also obtain a lower bound on the running time for solving the problem using the Exponential Time Hypothesis.
Weierstrass semigroups from cyclic covers of hyperelliptic curves
Published
• View Publication
• BIB
The {\it Weierstrass semigroup} of pole orders of meromorphic functions in a point $p$ of a smooth algebraic curve $C$ is a classical object of study; a celebrated problem of Hurwitz is to characterize which semigroups ${\rm S} \subset \mathbb{N}$ with finite complement are {\it realizable} as Weierstrass semigroups ${\rm S}= {\rm S}(C,p)$. In this note, we establish realizability results for cyclic covers $π: (C,p) \rightarrow (B,q)$ of hyperelliptic targets $B$ marked in hyperelliptic Weierstrass points; and we show that realizability is dictated by the behavior under $j$-fold multiplication of certain divisor classes in hyperelliptic Jacobians naturally associated to our cyclic covers, as $j$ ranges over all natural numbers.
Spaces of polynomials with constrained real divisors, II. (Co)homology & stabilization
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree which have no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces P^{cΘ}_d of real monic univariate polynomials of degree d whose real divisors avoid given sequences of root multiplicities. These forbidden sequences are taken from an arbitrary poset Θof compositions that are closed under certain natural combinatorial operations. We reduce the computation of the homology H_*(P^{cΘ}_d) to the computation of the homology of a differential complex, defined purely combinatorially in terms of the given closed poset Θ. We also obtain the stabilization results about H^\ast(P^{c Θ}_d), as d goes to infinity.
These results are deduced from our description of the homology of spaces B^{c Θ}_d whose points are binary real homogeneous forms, considered up to projective equivalence, with similarly Θ-constrained real divisors. In particular, we exhibit differential complexes that calculate the homology of these spaces and obtain some stabilization results for H^*(B^{c Θ}_d), as d goes to infinity. In particular, we compute the homology of the discriminants of projectivized binary real forms for which there is at least one line on which the form vanishes with multiplicity >= 2 and of their complements in \cB_d \cong RP^d.
Elusive properties of infinite graphs
A graph property is said to be elusive ( evasive) if every algorithm testing this property by asking questions of the form "is there an edge between vertices x and y" requires, in the worst case, to ask about all pairs of vertices.
The unsettled Aanderaa-Karp-Rosenberg conjecture is that every monotone graph property is elusive for finite vertex sets.
We show that the situation is completely different for infinite vertex sets: the monotone graph properties "every vertex has degree at least n" and "every connected components has size at least n" where n is a natural number, are not elusive for infinite vertex sets, but the monotone graph property "the graph contains a cycle" is elusive for arbitrary vertex sets. On the other hand, we also prove that every algorithm testing some natural monotone graph properties, e.g "every vertex has degree at least n" or "connected" on the vertex set omega should check "lots of edges", more precisely, all the edges of an infinite complete subgraph.
It is better to be semi-regular when you have a low degree
Published
• View Publication
• BIB
We study the algebraic connectivity for several classes of random semi-regular graphs. For large random semi-regular bipartite graphs, we explicitly compute both their algebraic connectivity and as well as the full spectrum distribution. For an integer $d\in\left[ 3,7\right] $, we find families of random semi-regular graphs that have higher algebraic connectivity than a random $d$-regular graphs with the same number of vertices and edges. On the other hand, we show that regular graphs beat semi-regular graphs when $d\geq8.$ More generally, we study random semi-regular graphs whose average degree is $d$, not necessary an integer. This provides a natural generalization of a $d$-regular graph in the case of a non-integer $d.$ We characterise their algebraic connectivity in terms of a root of a certain 6th-degree polynomial. Finally, we construct a small-world-type network of average degree 2.5 with a relatively high algebraic connectivity. We also propose some related open problems and conjectures.
Logarithmic algorithms for fair division problems
Published
• View Publication
• BIB
We study the algorithmic complexity of fair division problems with a focus on minimizing the number of queries needed to find an approximate solution with desired accuracy. We show for several classes of fair division problems that under certain natural conditions on sets of preferences, a logarithmic number of queries with respect to accuracy is sufficient.
The Probabilistic Zeta Function of a Finite Lattice
Published in Rocky Mountain J. Math. 54 (5), 1511-1526, (October 2024)
• View Publication
• BIB
We study Brown's definition of the probabilistic zeta function of a finite lattice as a generalization of that of a finite group. We propose a natural alternative or extension that may be better suited for non-atomistic lattices. The probabilistic zeta function admits a general Dirichlet series expression, which unlike for groups, need not be ordinary. We compute the function for several examples of finite lattices, establishing a connection with the Stirling numbers of the second kind in the case of the divisibility lattice. Furthermore, in the context of moving from groups to lattices, we are interested in lattices with probabilistic zeta function given by ordinary Dirichlet series. In this regard, we focus on partition lattices and $d$-divisible partition lattices. Using the prime number theorem, we show that the probabilistic zeta functions of the latter typically fail to be ordinary Dirichlet series.
Nonfinitely based ai-semirings with finitely based semigroup reducts
Published
• View Publication
• BIB
We present some general results implying nonfinite axiomatisability of many additively idempotent semirings with finitely based semigroup reducts. The smallest is a $3$-element commutative example, which we show also has \texttt{NP}-hard membership for its variety. As well as being the only nonfinite axiomatisable ai-semiring on $3$-elements, we are able to show that its nonfinite basis property infects many related semirings, including the natural ai-semiring structure on the semigroup $B_2^1$. We also extend previous group-theory based examples significantly, by showing that any finite additively idempotent semiring with a nonabelian nilpotent subgroup is not finitely axiomatisable for its identities.
Modularity and partially observed graphs
Suppose that there is an unknown underlying graph $G$ on a large vertex set, and we can test only a proportion of the possible edges to check whether they are present in $G$. If $G$ has high modularity, is the observed graph $G'$ likely to have high modularity? We see that this is indeed the case under a mild condition, in a natural model where we test edges at random. We find that $q^*(G') \geq q^*(G)-\varepsilon$ with probability at least $1-\varepsilon$, as long as the expected number edges in $G'$ is large enough. Similarly, $q^*(G') \leq q^*(G)+\varepsilon$ with probability at least $1-\varepsilon$, under the stronger condition that the expected average degree in $G'$ is large enough. Further, under this stronger condition, finding a good partition for $G'$ helps us to find a good partition for $G$.
We also consider the vertex sampling model for partially observing the underlying graph: we find that for dense underlying graphs we may estimate the modularity by sampling constantly many vertices and observing the corresponding induced subgraph, but this does not hold for underlying graphs with a subquadratic number of edges. Finally we deduce some related results, for example showing that under-sampling tends to lead to overestimation of modularity.
LLT cumulants and graph coloring
Published in Electron. J. Combin., 29(4), Paper 4.5, 2022
• View Publication
• BIB
The purpose of this note is to introduce a new family of quasi-symmetric functions called LLT cumulants and discuss its properties. We define LLT cumulants using the algebraic framework for conditional cumulants and we prove that the Macdonald cumulant has an explicit positive expansion in terms of LLT cumulants of ribbon shapes, generalizing the classical decomposition of Macdonald polynomials. We also find a natural combinatorial interpretation of the LLT cumulant of a given directed graph as a weighted generating function of colorings of its subgraphs.
We use this graph theoretical framework to prove various positivity results. This includes monomial positivity, positivity in fundamental quasisymmetric functions and related positivity of the coefficients of Schur polynomials indexed by hook shapes. We also prove $e$-positivity for vertical-shape LLT cumulants, after the shift of variable $q \to q+1$, which refines a recent result of Alexandersson and Sulzgruber. All these results give evidence towards Schur-positivity of LLT cumulants, which we conjecture here. We prove that this conjecture implies Schur-positivity of Macdonald cumulants, and we give more evidence by proving the conjecture for LLT cumulants of melting lollipops that refines a recent result of Huh, Nam and Yoo.
Breaching the 2-Approximation Barrier for the Forest Augmentation Problem
Published
• View Publication
• BIB
The basic goal of survivable network design is to build cheap networks that guarantee the connectivity of certain pairs of nodes despite the failure of a few edges or nodes. A celebrated result by Jain [Combinatorica'01] provides a 2-approximation for a wide class of these problems. However nothing better is known even for very basic special cases, raising the natural question whether any improved approximation factor is possible at all.
In this paper we address one of the most basic problems in this family for which 2 is still the best-known approximation factor, the Forest Augmentation Problem (FAP): given an undirected unweighted graph (that w.l.o.g. is a forest) and a collection of extra edges (links), compute a minimum cardinality subset of links whose addition to the graph makes it 2-edge-connected. Several better-than-2 approximation algorithms are known for the special case where the input graph is a tree, a.k.a. the Tree Augmentation Problem (TAP). Recently this was achieved also for the weighted version of TAP, and for the k-edge-connectivity generalization of TAP. These results heavily exploit the fact that the input graph is connected, a condition that does not hold in FAP.
In this paper we breach the 2-approximation barrier for FAP. Our result is based on two main ingredients. First, we describe a reduction to the Path Augmentation Problem (PAP), the special case of FAP where the input graph is a collection of disjoint paths. Our reduction is not approximation preserving, however it is sufficiently accurate to improve on a factor 2 approximation. Second, we present a better-than-2 approximation algorithm for PAP, an open problem on its own. Here we exploit a novel notion of implicit credits which might turn out to be helpful in future related work.