Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Colouring Probe $H$-Free Graphs
The NP-complete problems Colouring and k-Colouring $(k\geq 3$) are well studied on $H$-free graphs, i.e., graphs that do not contain some fixed graph $H$ as an induced subgraph. We research to what extent the known polynomial-time algorithms for $H$-free graphs can be generalized if we only know some of the edges of the input graph. We do this by considering the classical probe graph model introduced in the early nineties. For a graph $H$, a partitioned probe $H$-free graph $(G,P,N)$ consists of a graph $G=(V,E)$, together with a set $P\subseteq V$ of probes and an independent set $N=V\setminus P$ of non-probes, such that $G+F$ is $H$-free for some edge set $F\subseteq \binom{N}{2}$. We first fully classify the complexity of Colouring on partitioned probe $H$-free graphs and show that this dichotomy is different from the known dichotomy of Colouring for $H$-free graphs. Our main result is a dichotomy of $3$-Colouring for partitioned probe $P_t$-free graphs: we prove that the problem is polynomial-time solvable if $t\leq 5$ but NP-complete if $t\geq 6$. In contrast, $3$-Colouring on $P_t$-free graphs is known to be polynomial-time solvable if $t\leq 7$ and quasi polynomial-time solvable for $t\geq 8$.
Linear-Time Computation of the Frobenius Normal Form for Symmetric Toeplitz Matrices via Graph-Theoretic Decomposition
We introduce a linear-time algorithm for computing the Frobenius normal form (FNF) of symmetric Toeplitz matrices by utilizing their inherent structural properties through a graph-theoretic approach. Previous results of the authors established that the FNF of a symmetric Toeplitz matrix is explicitly represented as a direct sum of symmetric irreducible Toeplitz matrices, each corresponding to connected components in an associated weighted Toeplitz graph. Conventional matrix decomposition algorithms, such as Storjohann's method (1998), typically have cubic-time complexity. Moreover, standard graph component identification algorithms, such as breadth-first or depth-first search, operate linearly with respect to vertices and edges, translating to quadratic-time complexity solely in terms of vertices for dense graphs like weighted Toeplitz graphs. Our method uniquely leverages the structural regularities of weighted Toeplitz graphs, achieving linear-time complexity strictly with respect to vertices through two novel reductions: the α-type reduction, which eliminates isolated vertices, and the β-type reduction, applying residue class contractions to achieve rapid structural simplifications while preserving component structure. These reductions facilitate an efficient recursive decomposition process that yields linear-time performance for both graph component identification and the resulting FNF computation. This work highlights how structured combinatorial representations can lead to significant computational gains in symbolic linear algebra.
Existence of a Sidon set for the distinct distance constant
We highlight a certain compactness of Sidon sets and $B_2[g]$-sets and provide several applications. Notably, we prove the existence of such sets that maximize certain functions. In particular, we show the existence of a Sidon set whose reciprocal sum is equal to the distinct distance constant, which answers a question from Guy and Zhang. We also improve the best known upper bound for this constant.
Circles and line segments as independence attractors of graphs
By an independent set in a simple graph $G$, we mean a set of pairwise non-adjacent vertices in $G$. The independence polynomial of $G$ is defined as $I_G(z)=a_0 + a_1 z + a_2 z^2+\cdots+a_αz^α$, where $a_i$ is the number of independent sets in $G$ with cardinality $i$ and $α$ is the cardinality of a largest independent set in $G$, known as the independence number of $G$. Let $G^m$ denote the $m$-times lexicographic product of $G$ with itself. The independence attractor of $G$, denoted by $\mathcal{A}(G)$, is defined as $\mathcal{A}(G) = \lim_{m\rightarrow \infty} \{z: I_{G^m}(z)=0\}$, where the limit is taken with respect to the Hausdorff metric on the space of all compact subsets of the plane. This paper deals with independence attractors that are topologically simple. It is shown that $\mathcal{A}(G)$ can never be a circle. If $\mathcal{A}(G)$ is a line segment then it is proved that the line segment is $[-\frac{4}{k}, 0]$ for some $k \in \{1, 2, 3, 4 \}$. Examples of graphs with independence number four are provided whose independence attractors are line segments.
Compression and complexity for sumset sizes in additive number theory
Published in Journal of Number Theory 281 (2026), 321--343
• View Publication
• BIB
The study of sums of finite sets of integers has mostly concentrated on sets with small sumsets (Freiman's theorem and related work) and on sets with large sumsets (Sidon sets and $B_h$-sets). This paper considers the sets ${\mathcal R}_{\mathbf Z}(h,k)$ and ${\mathcal R}_{{\mathbf Z}^n}(h,k)$ of \emph{all} sizes of $h$-fold sums of sets of $k$ integers or of $k$ lattice points, and the geometric and computational complexity of the sets ${\mathcal R}_{\mathbf Z}(h,k)$ and ${\mathcal R}_{{\mathbf Z}^n}(h,k)$. For sumsets $hA$ with large diameter, there is a compression algorithm to construct sets $A'$ with $|hA'| = |hA|$ and small diameter.
Circular Game Coloring of Signed Graphs
We extend the theory of circular game chromatic numbers to signed graphs by defining the invariant $χ_c^g(G,σ)$ for signed graphs $(G,σ)$. Our analysis establishes tight bounds dependent on the structural properties of the underlying graph $G$ and its signature $σ$. Building on the foundational framework of Lin and Zhu \cite{LinZhu2009}, we demonstrate that the circular game chromatic number of a balanced signed graph $(G, σ)$ equals that of its underlying graph $G$, i.e., $χ_c^g(G,σ) = χ_c^g(G)$. For antibalanced signed graphs, we prove that $χ_c^g(G,σ)$ does not exceed the chromatic number of $G$ plus one, with tightness demonstrated for odd cycles. A dichotomy emerges for bipartite graphs: $χ_c^g(G,σ)$ equals $2$ when the graph is balanced, and otherwise remains bounded above by $3$. These results rely on switching equivalence principles (Lemma \ref{lem:Zaslavsky}) and critical properties of fundamental cycles (Lemma \ref{lem:ForcingTree}), adapting classical techniques from unsigned graph theory to the signed context. We further highlight open questions regarding computational complexity and planar graph extensions, creating new bridges between combinatorial game theory and signed graph structural analysis.
A refined view of a curious identity for partitions into odd parts with designated summands
In 2002, Andrews, Lewis, and Lovejoy introduced the combinatorial objects which they called partitions with designated summands. These are constructed by taking unrestricted integer partitions and designating exactly one of each occurrence of a part. In the same work, they also considered the restricted partitions with designated summands wherein all parts must be odd, and they denoted the corresponding function by $\mathrm{PDO}(n)$.
Quasi-strongly regular graphs on the flags of symmetric designs
This paper was inspired by a paper by Blokhuis and Brouwer [Designs, Codes and Cryptography 65, 2012] in which a definition of a graph on the flags of a biplane is given, and they prove that the graph corresponding to the unique $(11,5,2)$-biplane is determined by its spectrum. It is also inspired by the different definition of flag-graph seen in the context of maps and abstract polytopes. Here we use this definition for $(v,k,λ)$-BIBDs, and prove that if the design is symmetric then the graph is quasi-strongly regular. We will also use the definition given by Blokhuis and Brouwer for the case of biplanes and prove that this too, is a QSRG, (with different parameters). We investigate whether these graphs are determined by their spectra for some of the known biplanes.
Rainbow copies of spanning subgraphs
Let $G_{n,p}^{[κ]}$ denote the space of $n$-vertex edge coloured graphs, where each edge occurs independently with probability $p$. The colour of each existing edge is chosen independently and uniformly at random from the set $[κ]$. We consider the threshold for the existence of rainbow colored copies of a spanning subgraph $H$. We provide lower bounds on $p$ and $κ$ sufficient to prove the existence of such copies w.h.p.
On Distinguishing Graphs and Cost Number using Automorphism Representations
A distinguishing coloring of a graph is a vertex coloring such that only the identity automorphism of the graph preserves the coloring. A 2-distinguishable graph is a graph which can be distinguished using 2 colors. The cost $ρ(G)$ of a 2-distinguishable graph is the smallest size of a color set of a distinguishing coloring of $G$. The determining number of a graph, $Det(G)$, is the minimum number of nodes, which if fixed by a coloring, would ensure that the coloring distinguishes the entire graph.
Boutin (J. Combin. Math. Combin. Comput. 85: 161-171, 2013) posed an open problem which asks if $ρ(G)$ and $Det(G)$ can be arbitrarily far apart. It is trivial that it cannot be so for the case $Det(G) = 1$ but the answer was unknown for $Det(G) \geq 2$. We solve this problem for the case $Det(G) = 2$. We show that for the case $Det(G) = 2$, that not only is the cost bounded but in fact it takes small values with $ρ(G) = 2, \ 3$ or $4$. In order to establish this, the concept of the automorphism representation of a graph is developed. Graphs having equivalent automorphism representations implies that they have the same distinguishing number (note that just having isomorphic automorphism groups is not enough for this to hold). This prompts a factoring of graphs by which two graphs are distinguishably equivalent iff they have equivalent automorphism representations.
Structure-biased Maker-Breaker Games
In classical Maker-Breaker games on graphs, Maker and Breaker take turns claiming edges; Maker's goal is to claim all of some structure (e.g., a spanning tree, Hamilton cycle, etc.), while Breaker aims to stop her. The standard question considered is how powerful a Breaker Maker can defeat; i.e., for the $(1:b)$-biased game where Breaker takes $b$ edges per turn, how large can $b$ be for Maker to still have a winning strategy, for various possible goal sets?
We introduce a variant of this question in which Breaker is required to choose their multiple edges as the edges of (a subgraph of) a given structure (e.g., a matching, clique, etc.) on each turn. We establish the order of magnitude of the threshold biases for triangle games, connectivity games, and Hamiltonicity games under clique, matching, and star biases respectively. We conclude that in many cases structure imposes major obstruction to Breaker, opening up a set of games whose strategies deviate from the classical biased Maker-Breaker game strategies, and shedding light on the types of Breaker strategies that may or may not work to prove tighter bounds in the classical setting.
Counting Reciprocal Hyperbolic Elements in Hecke Groups
A reciprocal geodesic on a (2,k, $\infty$) Hecke surface is a geodesic loop based at an even order cone point p traversing its path an even number of times. Associated to each reciprocal geodesic is the conjugacy class of a hyperbolic element in the (2,k,$\infty$) Hecke group whose axis passes through a cone point that projects to p. Such an element is called a reciprocal hyperbolic element based at p.
In this paper, we determine the asymptotic growth rate and limiting constant (in terms of word length) of the number of primitive conjugacy classes of reciprocal hyperbolic elements in a Hecke group.
Proof of the KAMAK tree conjecture
There are many intriguing questions in extremal graph theory that are well-understood in the undirected setting and yet remain elusive for digraphs. A natural instance of such a problem was recently studied by Hons, Klimošová, Kucheriya, Mikšaník, Tkadlec and Tyomkyn: What are the digraphs that have to appear as a subgraph in all digraphs of sufficiently large minimum out-degree? Hons et al. showed that all such digraphs must be oriented forests with a specific structure, and conjectured that vice-versa all oriented forests with this specific structure appear in any digraph of sufficiently large minimum out-degree. In this paper, we confirm their conjecture.
Pushing Cops and Robber on Graphs of Maximum Degree 4
\textsc{Cops and Robber} is a game played on graphs where a set of \textit{cops} aim to \textit{capture} the position of a single \textit{robber}. The main parameter of interest in this game is the \textit{cop number}, which is the minimum number of cops that are sufficient to guarantee the capture of the robber.
In a directed graph $\overrightarrow{G}$, the \textit{push} operation on a vertex $v$ reverses the orientation of all arcs incident on $v$. We consider a variation of classical \textsc{Cops and Robber} on oriented graphs, where in its turn, each cop can either move to an out-neighbor of its current vertex or push some vertex of the graph, whereas, the robber can move to an adjacent vertex in its turn. [Das et al., CALDAM, 2023] introduced this variant and established that if $\overrightarrow{G}$ is an orientation of a subcubic graph, then one cop with push ability has a winning strategy. We extend these results to establish that if $\overrightarrow{G}$ is an orientation of a $3$-degenerate graph, or of a graph with maximum degree $4$, then one cop with push ability has a winning strategy.
A fixed-point theorem for face maps, or deletion-tolerant random finite sets
We establish a fixed-point theorem for the face maps that consist in deleting the $i$th entry of an ordered set. Furthermore, we show that there exists random finite sets of integers that are almost invariant under such deletions. Consequences for various monoids of order-preserving transformations of $\mathbf{N}$ are discussed in an appendix.
Karp's patching algorithm on dense digraph
We consider the following question. We are given a dense digraph $D$ with $n$ vertices and minimum in- and out-degree at least $αn$, where $α>1/2$ is a constant. The edges $E(D)$ of $D$ are given independent edge costs $C(e),e\in E(D)$, such that (i) $C$ has a density $f$ that satisfies $f(x)=a+bx+O(x^2)$, for constants $a>0,b$ as $x\to 0$ and such that in general either (ii) $\Pr(C\geq x)\leq \a e^{-\b x}$ for constants $\a,\b>0$, or $f(x)=0$ for $x>\n$ for some constant $\n>0$. Let $C(i,j),i,j\in[n]$ be the associated $n\times n$ cost matrix where $C(i,j)=\infty$ if $(i,j)\notin E$. We show that w.h.p. (a small modification to) the patching algorithm of Karp finds a tour for the asymmetric traveling salesperson problem that is asymptotically equal to that of the associated assignment problem. The algorithm runs in polynomial time.
Graded discrepancy of graphs and hypergraphs
This paper studies the following question of Bollobás and Scott: Let $G$ be a graph with $n$ vertices and $p\binom{n}{2}$ edges. What is the smallest $c(p, n)$ such that there is an ordering $v_1, \ldots, v_n$ of the vertices in $G$ with $\left|e(\{v_1, \ldots, v_i\})-p\binom{i}{2}\right|\leq c(p, n)$ for all $i\in \{1,\ldots,n\}$ ? We obtain upper and lower bounds for $c(p,n)$ that are both linear in $n$. Furthermore, we generalize the result to $k$-uniform hypergraphs.
Max-Bisections of graphs without even cycles
For an integer $k\ge 2$, let $G$ be a graph with $m$ edges and without cycles of length $2k$. The pivotal Alon-Krivelevich-Sudakov Theorem on Max-Cuts states that $G$ has a bipartite subgraph with at least $m/2+Ω(m^{(2k+1)/(2k+2)})$ edges. In this paper, we present a bisection variant of it by showing that if $G$ has minimum degree at least $k$, then $G$ has a balanced bipartite subgraph with at least $m/2+Ω(m^{(2k+1)/(2k+2)})$ edges. It not only answers a problem of Fan, Hou and Yu in full generality but also enhances a recent result given by Hou, Wu and Zhong.
Our approach hinges on a key bound for bisections of graphs with sparse neighborhoods concerning the degree sequence. The result is inspired by the celebrated approximation algorithm of Goemans and Williamson and appears to be worthy of future exploration.
Symplectic Branching through Crystals
We give an alternative proof of Naito--Sagaki's conjecture, which states that the restriction of $gl_{2n}(\mathbb{C})$-representations to $sp_{2n}(\mathbb{C})$ can be described in terms of crystals. Using the tableau model for crystals, we construct an explicit and self-contained bijection between their highest weight elements and Sundaram's branching model.
Further remarks on fractional vs. expectation thresholds
A conjecture of Talagrand (2010) states that the so-called expectation and fractional expectation thresholds are always within at most some constant factor from each other. In this note we generalize a method of DeMarco and Kahn and settle a few more special cases.