An independent broadcast on a graph $G$ is a function $f: V \longrightarrow \{0,\ldots,{\rm diam}(G)\}$ such that $(i)$ $f(v)\leq e(v)$ for every vertex $v\in V(G)$, where $\operatorname{diam}(G)$ denotes the diameter of $G$ and $e(v)$ the eccentricity of vertex $v$, and $(ii)$ $d(u,v) > \max \{f(u), f(v)\}$ for every two distinct vertices $u$ and $v$ with $f(u)f(v)>0$. The broadcast independence number $\beta_b(G)$ of $G$ is then the maximum value of $\sum_{v \in V} f(v)$, taken over all independent broadcasts on $G$. We prove that every circulant graph of the form $C(n;1,a)$, $3\le a\le \lfloor\frac{n}{2} \rfloor$, admits an optimal $2$-bounded independent broadcast, that is, an independent broadcast~$f$ satisfying $f(v)\le 2$ for every vertex $v$, except when $n=2a+1$, or $n=2a$ and $a$ is even. We then determine the broadcast independence number of various classes of such circulant graphs, and prove that, for most of these classes, the equality $\beta_b(C(n;1,a)) = \alpha(C(n;1,a))$ holds, where $\alpha(C(n;1,a))$ denotes the independence number of $C(n;1,a)$.

Abdelamin Laouar Isma Bouchemakh Eric Sopena

A hypergraph $H=(V(H), E(H))$ is a Berge copy of a graph $F$, if $V(F)\subset V(H)$ and there is a bijection $f:E(F)\rightarrow E(H)$ such that for any $e\in E(F)$ we have $e\subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain any Berge copies of $F$. We address the saturation problem concerning Berge-$F$-free hypergraphs, i.e., what is the minimum number $sat_r(n,F)$ of hyperedges in an $r$-uniform Berge-$F$-free hypergraph $H$ with the property that adding any new hyperedge to $H$ creates a Berge copy of $F$. We prove that $sat_r(n,F)$ grows linearly in $n$ if $F$ is either complete multipartite or it possesses the following property: if $d_1\le d_2\le \dots \le d_{|V(F)|}$ is the degree sequence of $F$, then $F$ contains two adjacent vertices $u,v$ with $d_F(u)=d_1$, $d_F(v)=d_2$. In particular, the Berge-saturation number of regular graphs grows linearly in $n$.

Dániel Gerbner Balázs Patkós Zsolt Tuza Máté Vizer

A vertex $v$ of a graph $G=(V,E)$ is said to be undefended with respect to a function $f: V \longrightarrow \{0,1,2\}$ if $f(v)=0$ and $f(u)=0$ for every vertex $u$ adjacent to $v$. We call the function $f$ a weak Roman dominating function if for every $v$ such that $f(v)=0$ there exists a vertex $u$ adjacent to $v$ such that $f(u)\in \{1,2\}$ and the function $f': V \longrightarrow \{0,1,2\}$ defined by $f'(v)=1$, $f'(u)=f(u)-1$ and $f'(z)=f(z)$ for every $z\in V \setminus\{u,v\}$, has no undefended vertices. The weight of $f$ is $w(f)=\sum_{v\in V(G) }f(v)$. The weak Roman domination number of a graph $G$, denoted by $\gamma_r(G)$, is the minimum weight among all weak Roman dominating functions on $G$. Henning and Hedetniemi [Discrete Math. 266 (2003) 239-251] showed that the problem of computing $\gamma_r(G)$ is NP-Hard, even when restricted to bipartite or chordal graphs. This suggests finding $\gamma_r(G)$ for special classes of graphs or obtaining good bounds on this invariant. In this article, we obtain closed formulae and tight bounds for the weak Roman domination number of lexicographic product graphs in terms of invariants of the factor graphs involved in the product.

Magdalena Valveny Hebert Pérez-Rosés Juan A. Rodríguez-Velázquez

A broadcast on a connected graph $G=(V,E)$ is a function $f:V\rightarrow \{0,1,\dots,\operatorname{diam}(G)\}$ such that $f(v)\leq e(v)$ (the eccentricity of $v$) for all $v\in V$ if $|V|\geq2$, and $f(v)=1$ if $V=\{v\}$. The cost of $f$ is $\sigma(f)=\sum_{v\in V}f(v)$. Let $V_{f}% ^{+}$ denote the set of vertices $v$ such that $f(v)$ is positive. A vertex $u$ hears $f$ from $v\in V_{f}^{+}$ if the distance $d(u,v)\leq f(v)$. When $f$ is a broadcast such that every vertex $x$ that hears $f$ from more than one vertex in $V_{f}^{+}$ also satisfies $d(x,u)\geq f(u)$ for all $u\in V_{f}^{+}$, we say that the broadcast only overlaps in boundaries. A broadcast $f$ is boundary independent if it overlaps only in boundaries. Denote by $i_{\operatorname{bn}}(G)$ the minimum cost of a maximal boundary independent broadcast. We obtain a characterization of maximal boundary independent broadcasts, show that $i_{\operatorname{bn}}(T^{\prime})\leq i_{\operatorname{bn}}(T)$ for any subtree $T^{\prime}$ of a tree $T$, and determine an upper bound for $i_{\operatorname{bn}}(T)$ in terms of the broadcast domination number of $T$. We show that this bound is sharp for an infinite class of trees.

Kieka Mynhardt Elise Marchessault

Given a graph $G$ with a set $F(v)$ of forbidden values at each $v \in V(G)$, an $F$-avoiding orientation of $G$ is an orientation in which $deg^+(v) \not \in F(v)$ for each vertex $v$. Akbari, Dalirrooyfard, Ehsani, Ozeki, and Sherkati conjectured that if $|F(v)| < \frac{1}{2} deg(v)$ for each $v \in V(G)$, then $G$ has an $F$-avoiding orientation, and they showed that this statement is true when $\frac{1}{2}$ is replaced by $\frac{1}{4}$. In this paper, we take a step toward this conjecture by proving that if $|F(v)| < \lfloor \frac{1}{3} deg(v) \rfloor$ for each vertex $v$, then $G$ has an $F$-avoiding orientation. Furthermore, we show that if the maximum degree of $G$ is subexponential in terms of the minimum degree, then this coefficient of $\frac{1}{3}$ can be increased to $\sqrt{2} - 1 - o(1) \approx 0.414$. Our main tool is a new sufficient condition for the existence of an $F$-avoiding orientation based on the Combinatorial Nullstellensatz of Alon and Tarsi.

Peter Bradshaw Yaobin Chen Hao Ma Bojan Mohar Hehui Wu

For a finite dimensional real vector space V with inner product, let F(V) be the block structure space, in the sense of surgery theory, of the projective space of V. Continuing a program launched in part I, we investigate F as a functor on vector spaces with inner product, relying on functor calculus ideas. It was shown in part I that F agrees with its first Taylor approximation T_1 F (which is a polynomial functor of degree 1) on vector spaces V with dim(V) > 5. To convert this theorem into a functorial homotopy-theoretic description of F(V), one needs to know in addition what T_1 F(V) is when V=0. Here we show that T_1 F(0) is the standard L-theory space associated with the group Z/2, except for a deviation in \pi_0. The main corollary is a functorial two-stage decomposition of F(V) for dim(V) > 5 which has the L-theory of the group Z/2 as one layer, and a form of unreduced homology of RP (V) with coefficients in the L-theory of the trivial group as the other layer. (Except for dimension shifts, these are also the layers in the traditional Sullivan-Wall-Quinn-Ranicki decomposition of F(V). But the dimension shifts are serious and the SWQR decomposition of F(V) is not functorial in V.) Because of the functoriality, our analysis of F(V) remains meaningful and valid when V=R^\infty.

Tibor Macko Michael Weiss

Let $H$ be an undirected graph. In the List $H$-Homomorphism Problem, given an undirected graph $G$ with a list constraint $L(v) \subseteq V(H)$ for each variable $v \in V(G)$, the objective is to find a list $H$-homomorphism $f:V(G) \to V(H)$, that is, $f(v) \in L(v)$ for every $v \in V(G)$ and $(f(u),f(v)) \in E(H)$ whenever $(u,v) \in E(G)$. We consider the following problem: given a map $f:V(G) \to V(H)$ as an oracle access, the objective is to decide with high probability whether $f$ is a list $H$-homomorphism or \textit{far} from any list $H$-homomorphisms. The efficiency of an algorithm is measured by the number of accesses to $f$. In this paper, we classify graphs $H$ with respect to the query complexity for testing list $H$-homomorphisms and show the following trichotomy holds: (i) List $H$-homomorphisms are testable with a constant number of queries if and only if $H$ is a reflexive complete graph or an irreflexive complete bipartite graph. (ii) List $H$-homomorphisms are testable with a sublinear number of queries if and only if $H$ is a bi-arc graph. (iii) Testing list $H$-homomorphisms requires a linear number of queries if $H$ is not a bi-arc graph.

Yuichi Yoshida

Let $G$ be a graph. A good function is a function $f:V(G)\rightarrow \{-1,1\}$, satisfying $f(N(v))\geq 1$, for each $v\in V(G)$, where $ N(v)=\{u\in V(G)\, |\, uv\in E(G) \} $ and $f(S) = \sum_{u\in S} f(u)$ for every $S \subseteq V(G) $. For every cubic graph $G$ of order $ n, $ we prove that $ \gamma(G) \leq \frac{5n}{7} $ and show that this inequality is sharp. A function $f:V(G)\rightarrow \{-1,1\}$ is called a nice function, if $f(N[v])\le1$, for each $v\in V(G)$, where $ N[v]=\{v\} \cup N(v) $. Define $\overline{\beta}(G)=max\{f(V(G))\}$, where $f$ is a nice function for $G$. We show that $\overline\beta(G)\ge -\frac{3n}{7}$ for every cubic graph $G$ of order $n$, which improves the best known bound $-\frac{n}{2}$.

S. Akbari M. Dalirrooyfard S. Davodpoor K. Ehsani R. Sherkati

Let $G$ be a graph and let $g, f$ be nonnegative integer-valued functions defined on $V(G)$ such that $g(v) \le f(v)$ and $g(v) \equiv f(v) \pmod{2}$ for all $v \in V(G)$. A $(g,f)$-parity factor of $G$ is a spanning subgraph $H$ such that for each vertex $v \in V(G)$, $g(v) \le d_H(v) \le f(v)$ and $f(v)\equiv d_H(v) \pmod{2}$. We prove sharp upper bounds for certain eigenvalues in an $h$-edge-connected graph $G$ with given minimum degree to guarantee the existence of a $(g,f)$-parity factor; we provide graphs showing that the bounds are optimal. This result extends the recent one of the second author (2022), extending the one of Gu (2014), Lu (2010), Bollb{\'a}s, Saito, and Wormald (1985), and Gallai (1950).

Donggyu Kim Suil O

Let $\Gamma =(V,E)$ be a reflexive relation with a transitive automorphisms group. Let $v\in V$ and let $F$ be a finite subset of $V$ with $v\in F.$ We prove that the size of $\Gamma (F)$ (the image of $F$) is at least $$ |F|+ |\Gamma (v)|-|\Gamma ^- (v)\cap F|.$$ Let $A,B$ be finite subsets of a group $G.$ Applied to Cayley graphs, our result reduces to following extension of the Scherk-Kemperman Theorem, proved by Kemperman: $$|AB|\ge |A|+|B|-|A\cap (cB^{-1})|,$$ for every $c\in AB.$

Y. O. Hamidoune