arXiv++ Combinatorics

A set $D$ of vertices in a graph $G = (V, E)$ is a locating-dominating set (LD-set) if it is dominating and every two vertices $u$, $v$ of $V\setminus D$ satisfy $N(u) \cap D \neq N(v) \cap D$. Two disjoint sets $A,B\subset V(G)$ form a locating-dominating coalition (for short, an LD-coalition) in $G$ if none of them is an LD-set in $G$ but their union $A\cup B$ is an LD-set. A locating-dominating coalition partition (for short, an LDC-partition) is a vertex partition $Π$ such that every set of $Π$ is not an LD-set in $G,$ but forms an LD-coalition with another set of $Π$. The locating-domination coalition number of $G$, denoted by $C_{L}(G),$ equals the maximum cardinality of an LDC-partition of $G$. Our purpose in this paper is to initiate the study of locating-dominating coalitions in graphs. We first investigate the existence of LDC-partitions. We also obtain lower and upper bounds on $C_{L}(G)$. We characterize connected graphs $G$ of order $n\ge 3$ satisfying $C_L(G) = n,$ as well as those trees $T$ such that $C_L(T)=n-1$. In addition, we determine the exact values of $C_L(G)$ for some classes of graphs. Moreover, we investigate the computational complexity of the decision problem associated with locating-dominating coalition partitions. To the best of our knowledge, this is the first work that addresses the algorithmic complexity of a decision problem related to coalition partitions, not only for this locating-dominating model but for coalition partitions in general.

Let $G$ be a finite simple graph and $B \subseteq V(G)$. We study the \emph{$B$-restricted clique polynomial} $C_B(G;x)$, including its weighted version allowing vertex multiplicities, as a versatile tool to capture structural properties of vertex subsets. First, we develop a complete deletion theory for $C_B(G;x)$, including vertex and edge recurrences that generalize classical clique polynomial results. These recurrences yield monotonicity principles for the largest negative root $ζ_G(B)$: it is monotone under induced subgraphs and reverse-monotone under spanning subgraphs. Consequently, we derive explicit bounds on $B$-independence numbers, chromatic numbers, $B$-girth, and Hamiltonicity constraints, showing that $ζ_G(B)$ serves as a unifying local invariant. Next, we connect $B$-clique polynomials to spectral graph theory. For $(n,d,λ)$-graphs, spectral techniques, including the Expander Mixing Lemma and Tanner's inequality, provide uniform bounds on $B$-restricted clique coefficients, demonstrating that clique growth within $B$ is naturally controlled by the spectral gap. Finally, we show that weighted $B$-clique polynomials encode \emph{homomorphism constraints}. Specifically, if $f: G \to H$ is a surjective homomorphism mapping $B_G$ onto $B_H$, then $ζ_G(B_G) \ge ζ_H(B_H)$, yielding a local \emph{no-homomorphism criterion} based on $B$-roots. Overall, $C_B(G;x)$ provides a unified framework capturing combinatorial, spectral, and homomorphic information in vertex-restricted analysis, highlighting its power for both global and local structural insights.

In this paper we present a simple approach to big Ramsey combinatorics of the Cantor set $2^ω$. Using Infinite Dual Ramsey Theorem of Carlson and Simpson, we show that $2^ω$, viewed as a topological space, has finite big Ramsey degrees. We then examine several natural topological first-order structures arising from the Cantor set and prove that each of them inherits finite big Ramsey degrees. As a consequence, we obtain a simple proof of Blass' perfect set theorem, although our method does not recover the sharp bound $(n-1)!$ for the number of colors. We also show that the complete Boolean algebra on countably many atoms has finite big Ramsey degrees, in contrast with the recent result showing that the countable atomless Boolean algebra does not have big Ramsey degrees.

The study of optical orthogonal codes has been motivated by an application in an optical code-division multiple access system. This paper focuses on optimal two-dimensional optical orthogonal codes with autocorrelation and cross-correlation both equal to $1$. By examining the structures of $n$-cyclic group divisible packings and semi-cyclic incomplete holey group divisible designs, we present new combinatorial constructions for two-dimensional $(m\times n,k,1)$-optical orthogonal codes. As a consequence, the exact number of codewords of an optimal two-dimensional $(m\times n,3,1)$-optical orthogonal code is determined for any positive integers $m$ and $n$.