arXiv++ Combinatorics

Let $G = (V,E)$ be a connected simple graph of order $p$ and size $q$. A graph $G$ is called local antimagic (total) if $G$ admits a local antimagic (total) labeling. A bijection $g : E \to \{1,2,\ldots,q\}$ is called a local antimagic labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $g^+(u) \ne g^+(v)$, where $g^+(u) = \sum_{e\in E(u)} g(e)$, and $E(u)$ is the set of edges incident to $u$. Similarly, a bijection $f:V(G)\cup E(G)\to \{1,2,\ldots,p+q\}$ is called a local antimagic total labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $w_f(u)\ne w_f(v)$, where $w_f(u) = f(u) + \sum_{e\in E(u)} f(e)$. Thus, any local antimagic (total) labeling induces a proper vertex coloring of $G$ if vertex $v$ is assigned the color $g^+(v)$ (respectively, $w_f(u)$). The local antimagic (total) chromatic number, denoted $χ_{la}(G)$ (respectively $χ_{lat}(G)$), is the minimum number of induced colors taken over local antimagic (total) labeling of $G$. In this paper, we determined $χ_{lat}(G)$ where $G$ is the amalgamation of complete graphs.

Strengthening Hadwiger's conjecture, Gerards and Seymour conjectured in 1995 that every graph with no odd $K_t$-minor is properly $(t-1)$-colorable, this is known as the Odd Hadwiger's conjecture. We prove a relaxation of the above conjecture, namely we show that every graph with no odd $K_t$-minor admits a vertex $(2t-2)$-coloring such that all monochromatic components have size at most $\lceil \frac{1}{2}(t-2) \rceil$. The bound on the number of colors is optimal up to a factor of $2$, improves previous bounds for the same problem by Kawarabayashi (2008), Kang and Oum (2019), Liu and Wood (2021), and strengthens a result by van den Heuvel and Wood (2018), who showed that the above conclusion holds under the more restrictive assumption that the graph is $K_t$-minor free. In addition, the bound on the component-size in our result is much smaller than those of previous results, in which the dependency on $t$ was non-explicit. Our short proof combines the method by van den Heuvel and Wood for $K_t$-minor free graphs with some additional ideas, which make the extension to odd $K_t$-minor free graphs possible.

A vertex coloring of a graph is said to be \textit{conflict-free} with respect to neighborhoods if for every non-isolated vertex there is a color appearing exactly once in its (open) neighborhood. As defined in [Fabrici et al., \textit{Proper Conflict-free and Unique-maximum Colorings of Planar Graphs with Respect to Neighborhoods}, arXiv preprint], the minimum number of colors in any such proper coloring of graph $G$ is the PCF chromatic number of $G$, denoted $χ_{\mathrm{pcf}}(G)$. In this paper, we determine the value of this graph parameter for several basic graph classes including trees, cycles, hypercubes and subdivisions of complete graphs. We also give upper bounds on $χ_{\mathrm{pcf}}(G)$ in terms of other graph parameters. In particular, we show that $χ_{\mathrm{pcf}}(G) \leq5Δ(G)/2$ and characterize equality. Several sufficient conditions for PCF $k$-colorability of graphs are established for $4\le k\le 6$. The paper concludes with few open problems.

A cyclic subgroup $N$ of a finite group $G$ is called a uni-width subgroup of $G$ if $N$ is the unique cyclic subgroup of $G$ of order $|N|$. In this article, we prove that a finite group $G$ admits a unique largest uni-width subgroup denoted by $U(1;G)$. We then show that the prime factors of the order of $U(1;G)$ influence the structure decomposition of its Fitting subgroup ${\mathrm{Fit}}(G)$. A power graph $Γ_G$ of a finite group is defined by $G$ being its set of vertices, and a pair of distinct elements $x,y \in G$ are connected by an edge if either $x \in \langle y \rangle$ or $y \in \langle x \rangle$. A universal element of a graph is a vertex that is adjacent to each of the remaining vertices. Our following result shows that a power graph $Γ_G$ of a finite non-trivial group admits a non-identity universal element if and only if it is either cyclic or a generalized quaternion $2$-group. The lambda number $λ(G)$ of a finite group $G$ is a measure of the least number of colors required for an $L(2,1)$-type of vertex coloring on $Γ_G$, which is known to be $\geq |G|$. Generalizing an earlier result, we then derive a necessary condition on a finite group $G$ such that $λ(G) = |G|$. Finally, we show that this result is best possible by exhibiting a family of groups without the necessary condition for which $λ(G) > |G|$.

An edge-weighting of a graph is called vertex-coloring if the weighted degrees yield a proper vertex coloring of the graph. It is conjectured that for every graph without isolated edge, a vertex-coloring edge-weighting with the set {1,2,3} exists. In this note, we show that the statement is true for the weight set {1,2,3,4}.

A combinatorial Gray code for a class of objects is a listing that contains each object from the class exactly once such that any two consecutive objects in the list differ only by a `small change'. Such listings are known for many different combinatorial objects, including bitstrings, combinations, permutations, partitions, triangulations, but also for objects defined with respect to a fixed graph, such as spanning trees, perfect matchings or vertex colorings. This survey provides a comprehensive picture of the state-of-the-art of the research on combinatorial Gray codes. In particular, it gives an update on Savage's influential survey [C. D. Savage. A survey of combinatorial Gray codes. SIAM Rev., 39(4):605--629, 1997.], incorporating many more recent developments. We also emphasize the connections to closely related problems in graph theory, algebra, order theory, geometry and algorithms, which embeds this research area into a broader context. Lastly, we collect and propose a number of challenging research problems, thus stimulating new research endeavors.

Many variations of the classical graph coloring model have been intensively studied due to their multiple applications; scheduling problems and aircraft assignments, for instance, motivate the robust coloring problem. This model gets to capture natural constraints of those optimization problems by combining the information provided by two colorings: a vertex coloring of a graph and the induced edge coloring on a subgraph of its complement; the goal is to minimize, among all proper colorings of the graph for a fixed number of colors, the number of edges in the subgraph with the endpoints of the same color. The study of the robust coloring model has been focused on the search for heuristics due to its NP-hard character when using at least three colors, but little progress has been made in other directions. We present a new approach on the problem obtaining the first collection of non-heuristic results for general graphs; among them, we prove that robust coloring is the model that better approaches the equitable partition of the vertex set, even when the graph does not admit a so-called \emph{equitable coloring}. We also show the NP-completeness of its decision problem for the unsolved case of two colors, obtain bounds on the associated robust coloring parameter, and solve a conjecture on paths that illustrates the complexity of studying this coloring model.

A proper vertex coloring $\varphi$ of graph $G$ is said to be odd if for each non-isolated vertex $x\in V(G)$ there exists a color $c$ such that $\varphi^{-1}(c)\cap N(x)$ is odd-sized. The minimum number of colors in any odd coloring of $G$, denoted $χ_o(G)$, is the odd chromatic number. Odd colorings were recently introduced in [M.~Petruševski, R.~Škrekovski: \textit{Colorings with neighborhood parity condition}]. Here we discuss various basic properties of this new graph parameter, characterize acyclic graphs and hypercubes in terms of odd chromatic number, establish several upper bounds in regard to degenericity or maximum degree, and pose several questions and problems.

In this short paper, we introduce a new vertex coloring whose motivation comes from our series on odd edge-colorings of graphs. A proper vertex coloring $\varphi$ of graph $G$ is said to be odd if for each non-isolated vertex $x\in V(G)$ there exists a color $c$ such that $\varphi^{-1}(c)\cap N(x)$ is odd-sized. We prove that every simple planar graph admits an odd $9$-coloring, and conjecture that $5$ colors always suffice.

We consider the single-conflict coloring problem, a graph coloring problem in which each edge of a graph receives a forbidden ordered color pair. The task is to find a vertex coloring such that no two adjacent vertices receive a pair of colors forbidden at an edge joining them. We show that for any assignment of forbidden color pairs to the edges of a $d$-degenerate graph $G$ on $n$ vertices of edge-multiplicity at most $\log \log n$, $O(\sqrt{ d } \log n)$ colors are always enough to color the vertices of $G$ in a way that avoids every forbidden color pair. This answers a question of Dvořák, Esperet, Kang, and Ozeki for simple graphs (Journal of Graph Theory 2021).

A strong edge-coloring $\varphi$ of a graph $G$ assigns colors to edges of $G$ such that $\varphi(e_1)\ne \varphi(e_2)$ whenever $e_1$ and $e_2$ are at distance no more than 1. It is equivalent to a proper vertex coloring of the square of the line graph of $G$. In 1990 Faudree, Schelp, Gyárfás, and Tuza conjectured that if $G$ is a bipartite graph with maximum degree 3 and sufficiently large girth, then $G$ has a strong edge-coloring with at most 5 colors. In 2021 this conjecture was disproved by Lužar, Mačajová, Škoviera, and Soták. Here we give an alternative construction to disprove the conjecture.

We show that every edge in a 2-edge-connected planar cubic graph is either contained in a 2-edge-cut or is a chord of some cycle that is contained in a 2-factor of the graph. As a consequence, we show that every edge in a cyclically 4-edge-connected planar cubic graph, except $K_2^3$ and $K_4$, is contained in a perfect matching whose removal disconnects the graph. We obtain a complete characterization of 2-edge-connected planar cubic graphs that have an edge such that every 2-factor containing the edge is a Hamiltonian cycle, and also of those that have an edge such that the complement of every perfect matching containing the edge is a Hamiltonian cycle. Another immediate consequence of the main result is that for any two edges contained in a facial cycle of a 2-edge-connected planar cubic graph, there exists a 2-factor in the graph such that both edges are contained in the same cycle of the 2-factor. We conjecture that this property holds for any two edges in a 2-edge-connected planar cubic graph, and prove it for planar cubic bipartite graphs. The main result is proved in the dual form by showing that every plane triangulation admits a vertex 3-coloring such that no face is monochromatic and there is exactly one specified edge between a specified pair of color classes.

Edge Constrained Vertex Coloring (ECVC) problems are defined on a finite multigraph, their solutions are characterized, and a linear time algorithm is given for solving $N$ ECVCs on the same underlying multigraph. Using ECVC problems we develop a novel family-based haplotype reconstruction method which has linear-time complexity in both number of markers and family size and has many other desirable properties. To do so, we define a multigraph given a genomic interval on which a family is recombination-free.

In the problem of 2-coloring without monochromatic triangles (or triangle-tree 2-coloring), vertices of the simple, connected, undirected graph are colored with either 'black' or 'white' such that there are no 3 mutually adjacent vertices of the same color. In this paper we are positively answering the question posed in our previous work, namely, if there exists an algorithm solving 2-coloring without monochromatic triangles on planar graphs with linear-time complexity.

A vertex coloring of a graph $G$ is distinguishing if non-identity automorphisms do not preserve it. The distinguishing number, $D(G)$, is the minimum number of colors required for such a coloring and the distinguishing threshold, $θ(G)$, is the minimum number of colors~$k$ such that any arbitrary $k$-coloring is distinguishing. Moreover, $Φ_k (G)$ is the number of distinguishing coloring of $G$ using at most $k$ colors. In this paper, for some graph operations, namely, vertex-sum, rooted product, corona product and lexicographic product, we find formulae of the distinguishing number and threshold using $Φ_k (G)$.

Thomassen formulated the following conjecture: Every $3$-connected cubic graph has a red-blue vertex coloring such that the blue subgraph has maximum degree at most $1$ (that is, it consists of a matching and some isolated vertices) and the red subgraph has minimum degree at least $1$ and contains no $3$-edge path. Since all monochromatic components are small in this coloring and there is a certain irregularity, we call such a coloring \emph{crumby}. Recently, Bellitto, Klimošová, Merker, Witkowski and Yuditsky \cite{counter} constructed an infinite family refuting the above conjecture. Their prototype counterexample is $2$-connected, planar, but contains a $K_4$-minor and also a $5$-cycle. This leaves the above conjecture open for some important graph classes: outerplanar graphs, $K_4$-minor-free graphs, bipartite graphs. In this regard, we prove that $2$-connected outerplanar graphs, subdivisions of $K_4$ and $1$-subdivisions of cubic graphs admit crumby colorings. A subdivision of $G$ is {\it genuine} if every edge is subdivided at least once. We show that every genuine subdivision of any subcubic graph admits a crumby coloring. We slightly generalise some of these results and formulate a few conjectures.

A vertex coloring is called distinguishing if the identity is the only automorphism that can preserve it. The distinguishing threshold $θ(G)$ of a graph $G$ is the minimum number of colors $k$ required that any arbitrary $k$-coloring of $G$ is distinguishing. In this paper, we calculate the distinguishing threshold of a Cartesian product graph. Moreover, we calculate the number of non-equivalent distinguishing colorings of grids.

A vertex coloring of a graph $G$ is called distinguishing if no non-identity automorphisms of $G$ can preserve it. The distinguishing number of $G$, denoted by $D(G)$, is the minimum number of colors required for such a coloring, and the distinguishing threshold of $G$, denoted by $θ(G)$, is the minimum number $k$ such that every $k$-coloring of $G$ is distinguishing. As an alternative definition, $θ(G)$ is one more than the maximum number of cycles in the cycle decomposition of automorphisms of $G$. In this paper, we characterize $θ(G)$ when $G$ is disconnected. Afterwards, we prove that, although for every positive integer $k\neq 2$ there are infinitely many graphs whose distinguishing thresholds are equal to $k$, we have $θ(G)=2$ if and only if $\vert V(G)\vert =2$. Moreover, we show that if $θ(G)=3$, then either $G$ is isomorphic to one of the four graphs on~3 vertices or it is of order $2p$, where $p\neq 3,5$ is a prime number. Furthermore, we prove that $θ(G)=D(G)$ if and only if $G$ is asymmetric, $K_n$ or $\overline{K_n}$. Finally, we consider all generalized Johnson graphs, $J(n,k,i)$, which are the graphs on all $k$-subsets of $\{1,\ldots , n\}$ where two vertices $A$ and $B$ are adjacent if $|A\cap B|=k-i$. After studying their automorphism groups and distinguishing numbers, we calculate their distinguishing thresholds as $θ(J(n,k,i))={n\choose k} - {n-2\choose k-1}+1$, unless $ k=\frac{n}{2}$ and $i\in\{ \frac{k}{2} , k\}$ in which case we have $θ(J(n,k,i))={n\choose k}$.

A $2$-distance $k$-coloring of a graph is a proper vertex $k$-coloring where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance $4$-coloring for planar subcubic graphs with girth at least 21. We also show a construction of a planar subcubic graph of girth 11 that is not $2$-distance $4$-colorable.

In this paper, we use various versions of Lovász extension to systematically derive continuous formulations of problems from discrete mathematics. This will take place in the following context: (1) For combinatorial optimization problems in quotient form, we systematically develop equivalent continuous versions, thereby making tools from convex optimization, fractional programming and more general continuous algorithms like the stochastic subgradient method available for such optimization problems. (2) For some combinatorial quantities like Cheeger-type constants, we suggest a nonlinear eigenvalue problem for a pair of Lovász extensions of certain functions, which encodes certain combinatorial structures. This theory has several applications to quantitative and combinatorial problems, including: (a) The equivalent continuous representations for the max $k$-cut problem, various Cheeger sets and isoperimetric constants are constructed. This also initiates a study of Dirichlet and Neumann 1-Laplacians on graphs, in which the nodal domain property and Cheeger-type equalities are presented. (b) Also, we derive a new equivalent continuous representation of the graph independence number, which can be compared with the Motzkin-Straus theorem. More importantly, an equivalent continuous optimization for the chromatic number is provided, which seems to be the first continuous representation of the graph vertex coloring number. We provide the first continuous reformulation of the frustration index in signed networks, and we find a connection to the so-called modularity measure. Graph matching numbers, submodular vertex covers and multiway partition problems can also be studied in this framework.