Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Coloring Hardness on Low Twin-Width Graphs
Published
• View Publication
• BIB
As the class $\mathcal T_4$ of graphs of twin-width at most 4 contains every finite subgraph of the infinite grid and every graph obtained by subdividing each edge of an $n$-vertex graph at least $2 \log n$ times, most NP-hard graph problems, like Max Independent Set, Dominating Set, Hamiltonian Cycle, remain so on $\mathcal T_4$. However, Min Coloring and k-Coloring are easy on both families because they are 2-colorable and 3-colorable, respectively.
We show that Min Coloring is NP-hard on the class $\mathcal T_3$ of graphs of twin-width at most 3. This is the first hardness result on $\mathcal T_3$ for a problem that is easy on cographs (twin-width 0), on trees (whose twin-width is at most 2), and on unit circular-arc graphs (whose twin-width is at most 3). We also show that for every $k \geqslant 3$, k-Coloring is NP-hard on $\mathcal T_4$. We finally make two observations: (1) there are currently very few problems known to be in P on $\mathcal T_d$ (graphs of twin-width at most $d$) and NP-hard on $\mathcal T_{d+1}$ for some nonnegative integer $d$, and (2) unlike $\mathcal T_4$, which contains every graph as an induced minor, the class $\mathcal T_3$ excludes a fixed planar graph as an induced minor; thus it may be viewed as a special case (or potential counterexample) for conjectures about classes excluding a (planar) induced minor. These observations are accompanied by several open questions.
The Minimum Subgraph Complementation Problem
Subgraph complementation is an operation that toggles all adjacencies inside a selected vertex set. Given a graph \(G\) and a target class \(\mathcal{C}\), the Minimum Subgraph Complementation problem asks for a minimum-size vertex set \(S\) such that complementing the subgraph induced by \(S\) transforms \(G\) into a graph belonging to \(\mathcal{C}\). While the decision version of Subgraph Complementation has been extensively studied and is NP-complete for many graph classes, the algorithmic complexity of its optimization variant has remained largely unexplored.
In this paper, we study MSC from an algorithmic perspective. We present polynomial-time algorithms for MSC in several nontrivial settings. Our results include polynomial-time solvability for transforming graphs between bipartite, co-bipartite, and split graphs, as well as for complementing bipartite regular graphs into chordal graphs. We also show that MSC to the class of graphs of fixed degeneracy can be solved in polynomial time when the input graph is a forest. Moreover, we investigate MSC with respect to connectivity and prove that MSC to the class of disconnected graphs and to the class of 2-connected graphs can be solved in polynomial time for arbitrary inputs.
A Discrete Logarithm Construction for Orthogonal Double Covers of the Complete Graph by Hamiltonian Paths
During their investigation of power-sequence terraces, Anderson and Preece briefly mention a construction of a terrace for the cyclic group $\mathbb{Z}_n$ when $n$ is odd and $2n+1$ is prime; it is built using the discrete logarithm modulo $2n+1$. In this short note we see that this terrace gives rise to an orthogonal double cover (ODC) for the complete graph $K_n$ by Hamiltonian paths. This gives infinitely many new values for which such an ODC is known.
A new kind of automorphic form and a proof of the essential transformation laws
We utilize the structure of quasiautomorphic forms over an arbitrary Hecke triangle group to define a new vector analogue of an automorphic form. We supply a proof of the functional equations that hold for these functions modulo the group generators.
Hoffman-London graphs: When paths minimize $H$-colorings among trees
Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. The number of $H$-colorings of $G$, $\hom(G,H)$, has been studied for many classes of $G$ and $H$. In particular, extremal questions of maximizing and minimizing $\hom(G,H)$ have been considered when $H$ is a clique or $G$ is a tree.
In this paper, we develop a new technique using automorphisms of $H$ to show that $\hom(T,H)$ is minimized by paths as $T$ varies over trees on a fixed number of vertices. We introduce the term Hoffman-London to refer to graphs that are minimal in this sense. In particular, we define an automorphic similarity matrix which is used to compute $\hom(T,H)$ and give matrix conditions under which $H$ is Hoffman-London.
We then apply this technique to identify several families of graphs that are Hoffman-London, including loop threshold graphs and some with applications in statistical physics (e.g. the Widom-Rowlinson model). By combining our approach with a few other observations, we fully characterize the minimizing trees for all graphs $H$ on three or fewer vertices.
Multigraphs and Time Ordered Isserlis-Wick formulae
Published
• View Publication
• BIB
Given a m-dimensional Gaussian process and polynomial m variables with real coefficients, we calculate the induced path odered exponenial in two different ways: one is purely algebraic in spirit and the other one is diagrammatic in spirit and uses multigraph labelings (and is inspired by the use of Feynman diagrams in quantum field theory).
Powers of Hamiltonian cycles in randomly augmented Pósa-Seymour graphs
We study the question of the least number of random edges that need to be added to a Pósa-Seymour graph, that is, a graph with minimum degree exceeding $\frac k{k+1}n$, to secure the existence of the $m$-th power of a Hamiltonian cycle, $m>k$. It turns out that, depending on $k$ and $m$, this quantity may be captured by two types of thresholds, with one of them, called over-threshold, becoming dominant for large $m$. Indeed, for each $k\ge2$ and $m>m_0(k)$, we establish asymptotically tight lower and upper bounds on the over-thresholds (provided they exist) and show that for infinitely many instances of $m$ the two bounds coincide. In addition, we also determine the thresholds for some small values of $k$ and $m$.
Tree-independence number VII. Excluding a star
We prove that for every fixed integer $s$ and every planar graph $H$, the class of $H$-induced-minor-free and $K_{1,s}$-induced-subgraph-free graphs has polylogarithmic tree-independence number. This is a weakening of a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht.
Algorithms for numerical semigroups with fixed maximum primitive
We present an algorithm to explore various properties of the numerical semigroups with a given maximum primitive. In particular, we count the number of such numerical semigroups and verify that there is no counterexample to Wilf's conjecture among the numerical semigroups with maximum primitive up to \(60\).
Tilings of $\mathcal{H}_{q}(n,w)$ with optimal $(n,d,w)_{q}$-codes
Published
• View Publication
• BIB
The metric space $\mathcal{H}_{q}(n,w)$ is the set of all words of length $n$ with weight $w$ over the alphabet $\mathbb{Z}_{q}$, under the Hamming distance metric. A $q$-ary constant-weight code, as a nonempty subset of $\mathcal{H}_{q}(n,w)$, has always been a fundamental topic in coding theory. This paper investigates the tiling problem of $\mathcal{H}_{q}(n,w)$ with optimal $(n,d,w)_{q}$-codes, simply denoted by $\mathrm{TOC}_{q}(n,d,w)$, meaning a partition of $\mathcal{H}_{q}(n,w)$ into mutually disjoint optimal $q$-ary constant-weight codes with distance $d$. When the distance $d$ is odd, we investigate large sets of generalized Steiner systems. When $d$ is even, we define large sets of generalized maximum H-packings. We present several general construction approaches for generating $\mathrm{TOC}_{q}(n,d,w)$s via $t$-resolvable Steiner systems and almost-regular edge-colorings of complete hypergraphs. For the cases $d=2$ and $d=2w$, we completely resolve the existence problem of $\mathrm{TOC}_{q}(n,d,w)$s for all parameters $q,n$ and $w$. Particularly, we pay attention to tilings for weight three. For binary case and weight three, the existence problem of $\mathrm{TOC}_{2}(n,d,3)$s is totally resolved. For specific alphabet size $q\ge 3$, we obtain many infinite families of $\mathrm{TOC}_{q}(n,d,3)$s for distances $d=3,4,5$.
Graphs with large maximum forcing number
For a graph $G$ with order $2n$ and a perfect matching, let $f(G)$ and $F(G)$ denote the minimum and maximum forcing number of $G$ respectively. Then $0\leq f(G)\leq F(G)\leq n-1$. Liu and Zhang [10] ever proposed a conjecture: $e(G)\geq \frac{n^2}{n-F(G)}$, where $e(G)$ denotes the number of edges of $G$. In this paper we confirm this conjecture and obtain $F(G)\leq n-\frac{n^2}{e(G)}$. If $F(G)=n-1$, Liu and Zhang [9] proved that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along 4-cycles. If $G$ is bipartite and $F(G)\geq n-k$, $1\leq k\leq n-1$, we show that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along even cycles of length at most $2(k+1)$. Finally, we ask whether $f(G)\geq \lceil\frac{n}{k}\rceil-1$ holds for such bipartite graphs $G$, and give positive answers for the cases $k=1,2$. Further we show all minimum forcing numbers of the bipartite graphs $G$ of order $2n$ and with $F(G)=n-2$ form an integer interval $[\lfloor\frac{n}{2}\rfloor, n-2]$.
The Grothendieck Group of the Variety of Spanning Line Configurations
We study the Grothendieck group of the variety $X_{n,k}$ of spanning line configurations introduced by Pawlowski--Rhoades [arXiv:1711.08301] as a geometric model for the generalized coinvariant algebra $R_{n,k}$. Our first result is a localization statement in $K$-theory for the complements of cell closures in smooth cellular varieties. Combining with the Fulton--Lascoux degeneracy loci formula, we prove that $K_0(X_{n,k})$ is canonically isomorphic to $R_{n,k}$, extending classical isomorphisms for the flag variety. We next identify the classes of the Pawlowski--Rhoades varieties with Grothendieck polynomials associated to words $w \in [k]^n$. Motivated by this identification, we develop models of classical and bumpless pipe dreams for words. We show that Schubert and Grothendieck polynomials of words are monomial-weight generating functions for these pipe dreams, extending the classical story from permutations to words and ordered set partitions.
Proper conflict-free choosability of planar graphs
A proper conflict-free coloring of a graph is a proper vertex coloring wherein each non-isolated vertex's open neighborhood contains at least one color appearing exactly once. For a non-negative integer $k$, a graph $G$ is said to be proper conflict-free (degree+$k$)-choosable if given any list assignment $L$ for $G$ where $|L(v)| = d(v) + k$ holds for every vertex $v \in V(G)$, there exists a proper conflict-free coloring $φ$ of $G$ such that $φ(v) \in L(v)$ for all $v \in V(G)$. Recently, Kashima, Škrekovski, and Xu proposed two related conjectures on proper conflict-free choosability: the first asserts the existence of an absolute constant $k$ such that every graph is proper conflict-free (degree+$k$)-choosable, while the second strengthens this claim by restricting to connected graphs other than the cycle of length 5 and reducing the constant to $k=2$. In this paper, we confirm the second conjecture for three graph classes: $K_4$-minor-free graphs with maximum degree at most 4, outer-1-planar graphs with maximum degree at most 4, and planar graphs with girth at least 12; we also confirm the first conjecture for these same graph classes, in addition to all outer-1-planar graphs (without degree constraints). Moreover, we prove that planar graphs with girth at least 12 and outer-1-planar graphs are proper conflict-free $6$-choosable.
Fast algorithm for $S$-packing coloring of Halin graphs
Published
• View Publication
• BIB
Motivated by frequency assignment problems in wireless broadcast networks, Goddard, Hedetniemi, Hedetniemi, Harris, and Rall introduced the notion of $S$-packing coloring in 2008. Given a non-decreasing sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of its vertex set into $k$ subsets $\{V_1, V_2, \ldots, V_k\}$ such that for each $1 \leq i \leq k$, the distance between any two distinct vertices $u, v \in V_i$ is at least $s_i + 1$. In this paper, we study the $S$-packing coloring problem for Halin graphs with maximum degree $Δ\leq 5$. Specifically, we present a linear-time algorithm that constructs a $(1,1,2,2,2)$-packing coloring for any Halin graph satisfying $Δ\leq 5$. It is worth noting that there are Halin graphs that are not $(1,2,2,2)$-packing colorable.
Exact rainbow numbers of cycle-related graphs in multi-hubbed wheels
Published
• View Publication
• BIB
The rainbow number ${\rm rb}(G, H)$ is the minimum number of colors $k$ for which any edge-coloring of $G$ with at least $k$ colors guarantees a rainbow subgraph isomorphic to $H$. The rainbow number has many applications in diverse fields such as wireless communication networks, cryptography, bioinformatics, and social network analysis. In this paper, we determine the exact rainbow number $\mathrm{rb}(G, H)$ where $G$ is a multi-hubbed wheel graph $W_d(s)$, defined as the join of $s$ isolated vertices and a cycle $C_d$ of length $d$ (i.e., $W_d(s) = \overline{K_s} + C_d$), and $H = θ_{t,\ell}$ represents a cycle $C_t$ of length $t$ with $0 \leq \ell \leq t-3$ chords emanating from a common vertex, by establishing \[ {\rm rb}(W_{d}(s), θ_{t,\ell}) = \begin{cases} \left\lfloor \dfrac{2t - 5}{t - 2}d \right\rfloor + 1, & \text{if } \ell=t-3,~s = 1 \text{ and } t\ge 4, \\[10pt] \left\lfloor \dfrac{3t-10}{t - 3}d \right\rfloor + 1, & \text{if } \ell=t-3,~s = 2\text{ and } t\ge 6,\\[10pt] \left\lfloor \dfrac{(s + 1)t - (3s + 4)}{t - 3}d \right\rfloor + 1, & \text{if } \ell=t-3,~s \geq 3\text{ and } t\ge 7,\\[10pt] \left\lfloor \dfrac{2t - 7}{t - 3}d \right\rfloor + 1, & \text{if } s = 1 \text{ and } t\ge \max\{5,\ell+4\}, \end{cases} \] when $d\geq 3t-5$, with all bounds for the parameter $t$ presented here being tight. This addresses the problems proposed by Jakhar, Budden, and Moun (2025), which involve investigating the rainbow numbers of large cycles and large chorded cycles in wheel graphs (specifically corresponding to the cases in our framework where $s=1$ and $\ell\in \{0,1\}$). Furthermore, it completely determines the rainbow numbers of cycles of arbitrary length in large wheel graphs, thereby generalizing a result of Lan, Shi, and Song (2019).
The Hilton-Milner type results of $(k, \ell)$-sum-free sets in $\mathbb F_p^n$
For a prime $p \equiv 2 \pmod 3$, it is well known that the largest sum-free subsets of $\mathbb{F}_p^n$ have size $\frac{p+1}{3} p^{n-1}$, and the extremal sets must be a cuboid of the form $\{\frac{p+1}{3}, \frac{p+1}{3}+1, \ldots, \frac{2p-1}{3}\} \times \mathbb{F}_p^{n-1}$ up to isomorphism. Recently, Reiner and Zotova proved a Hilton--Milner type stability result showing that for large $p$, any sum-free set not contained in the extremal cuboid has size at most $\frac{p-2}{3} p^{n-1}$, and all possible structures attaining this bound were classified.
In this paper, we develop a general Hilton--Milner theory for $(k,\ell)$-sum-free sets in $\mathbb{F}_p^n$ for $k > \ell \ge 1$. We determine the maximum size of such sets for all $p \equiv μ\pmod{k+\ell}$ with $2 \le μ\le k+\ell-1$, and show that the extremal configurations are precisely $\lceil (μ-1)/2 \rceil$ non-isomorphic cuboids. Beyond the extremal regime, we prove sharp Hilton--Milner type stability results showing that, for all sufficiently large $p$, a $(k,\ell)$-sum-free set not contained in any of these extremal cuboids is uniformly bounded away from the maximum by a gap of order $p^{n-1}$, and we determine the full structure of all sets achieving this second-best bound in several broad parameter ranges. In particular, when $2 \le μ\le k+\ell-3$ (which is tight), only two structural types occur for all $k+\ell \ge 5$; and when $μ= 2$ or $3$, we obtain a complete classification for all $k > \ell \ge 1$.
Our arguments combine additive combinatorics and Fourier-analytic methods, and make use of recent progress toward the long-standing $3k-4$ conjecture, highlighting new connections between inverse additive number theory and extremal problems over finite vector spaces.
Improved Erdős-Pósa inequalities for odd cycles in planar graphs
In an undirected graph, the odd cycle packing number is the maximum number of pairwise vertex-disjoint odd cycles. The odd cycle transversal number is the minimum number of vertices that hit every odd cycle. The maximum ratio between transversal and packing number is called Erdős-Pósa ratio. We show that in planar graphs, this ratio does not exceed 4. This improves on the previously best known bound of 6 by Král', Sereni and Stacho.
Further q-Supercongruences from Singh's Quadratic Transformation
In this paper, we investigate some q-congruences for truncated ${}_{4}φ_3$ series by using Singh's quadratic transformation and the creative microscoping method (introduced by Victor J. W. Guo and Zudilin in 2019).
A point in the interior of the convex hulls
Steinitz's theorem states that if a point $a \in \mathrm{int\,conv\,} X$ for a set $X \subset \mathbb{R}^d$, then $X$ contains a subset $Y$ of size at most $2d$ such that $a \in \mathrm{int\,conv\,}Y$. The bound $2d$ is best possible here. We prove the colourful version of this theorem and characterize the cases when exactly $2d$ sets are needed.
Waldschmidt constant of monomial ideals and Simis ideals
In 2017, Cooper et al. proposed a conjecture providing a lower bound for the Waldschmidt constant of monomial ideals. We confirm this conjecture for some classes of monomial ideals. Recently, Méndez, Pinto, and Villarreal formulated a conjecture stating that if $I$ is a monomial ideal without embedded associated primes, whose irreducible decomposition is minimal and which is a Simis ideal, then there exist a Simis squarefree monomial ideal $J$ and a standard linear weighting $w$ such that $I = J_{w}.$ In this work, we verify this conjecture for some classes of monomial ideals.