A proper vertex coloring of a graph $G$ is acyclic if there is no bicolored cycle in $G$. In other words, each cycle of $G$ must be colored with at least three colors. Given a list assignment $L=\left\{L\right(v):v\in V\}$, if there exists an acyclic coloring $\pi$ of $G$ such that $\pi \left(v\right)\in L\left(v\right)$ for all $v\in V$, then we say that $G$ is acyclically $L$-colorable. If $G$ is acyclically $L$-colorable for any list assignment $L$ with $\left|L\right(v\left)\right|\ge k$ for all $v\in V$, then $G$ is acyclically $k$-choosable. In 2006, Montassier, Raspaud and Wang conjectured that every planar graph without...

Let $G=\left(V\right(G),E(G\left)\right)$ be a simple graph and $E_G\left(v\right)$ denote the set of edges incident with a vertex $v$. A neighbor sum distinguishing (NSD) total coloring $\phi$ of $G$ is a proper total coloring of $G$ such that ${\sum }_{z\in E_G\left(u\right)\cup \left\{u\right\}}\phi \left(z\right)\ne {\sum }_{z\in E_G\left(v\right)\cup \left\{v\right\}}\phi \left(z\right)$ for each edge $uv\in E\left(G\right)$. Pilśniak and Woźniak asserted in 2015 that each graph with maximum degree $\Delta$ admits an NSD total $(\Delta +3)$-coloring. We prove that the list version of this conjecture holds for any IC-planar graph with $\Delta \ge 11$ but without $5$-cycles by applying the Combinatorial Nullstellensatz.

We consider limit cycles of a class of polynomial differential systems of the form $$\left\{\begin{array}{c}\dot{x}=y,\hfill \\ \dot{y}=-x-\epsilon (g_{21}\left(x\right)y^{2\alpha +1}+f_{21}\left(x\right)y^{2\beta })-{\epsilon }^2(g_{22}\left(x\right)y^{2\alpha +1}+f_{22}\left(x\right)y^{2\beta }),\hfill \end{array}\right.$$ where $\beta$ and $\alpha$ are positive integers, $g_{2j}$ and $f_{2j}$ have degree $m$ and $n$, respectively, for each $j=1,2$, and $\epsilon$ is a small parameter. We obtain the maximum number of limit cycles that bifurcate from the periodic orbits of the linear center $\dot{x}=y$, $\dot{y}=-x$ using the averaging theory of first and second order.

A structure $={(A;E_i)}_{i\in n}$ where each $E_i$ is an equivalence relation on A is called an n-grid if any two equivalence classes coming from distinct $E_i$’s intersect in a finite set. A function χ: A → n is an acceptable coloring if for all i ∈ n, the ${\chi }^{-1}\left(i\right)$ intersects each $E_i$-equivalence class in a finite set. If B is a set, then the n-cube Bⁿ may be seen as an n-grid, where the equivalence classes of $E_i$ are the lines parallel to the ith coordinate axis. We use elementary submodels of the universe to characterize...

A real form $G$ of a complex semi-simple Lie group $G^{ℂ}$ has only finitely many orbits in any given $G^{ℂ}$-flag manifold $Z=G^{ℂ}/Q$. The complex geometry of these orbits is of interest, e.g., for the associated representation theory. The open orbits $D$ generally possess only the constant holomorphic functions, and the relevant associated geometric objects are certain positive-dimensional compact complex submanifolds of $D$ which, with very few well-understood exceptions, are parameterized by the Wolf cycle...

The normal cycle of a singular subset $X$ of a smooth manifold is a basic tool for understanding and computing the curvature of $X$. If $X$ is replaced by a singular function on ${ℝ}^n$ then there is a natural companion notion called the of $f$, which has been introduced by the author and by R. Jerrard. We discuss a few fundamental facts and open problems about functions $f$ that admit gradient cycles, with particular attention to the first nontrivial dimension $n=2$.

Let $𝔽$ be any field of characteristic $p$. It is well-known that there are exactly $p$ inequivalent indecomposable representations $V_1,V_2,...,V_p$ of $C_p$ defined over $𝔽$. Thus if $V$ is any finite dimensional $C_p$-representation there are non-negative integers $0\le n_1,n_2,...,n_k\le p-1$ such that $V\cong {\oplus }_{i=1}^k{V}_{n_i+1}$. It is also well-known there is a unique (up to equivalence) $d+1$ dimensional irreducible complex representation of $S{L}_2\left(ℂ\right)$ given by its action on the space $R_d$ of $d$ forms. Here we prove a conjecture, made by R. J. Shank, which reduces the computation...

The Ramsey number $R(G,H)$ for a pair of graphs $G$ and $H$ is defined as the smallest integer $n$ such that, for any graph $F$ on $n$ vertices, either $F$ contains $G$ or $\overline{F}$ contains $H$ as a subgraph, where $\overline{F}$ denotes the complement of $F$. We study Ramsey numbers for some subgraphs of generalized wheels versus cycles and paths and determine these numbers for some cases. We extend many known results studied in [5, 14, 18, 19, 20]. In particular we count the numbers $R(K_1+L_n,P_m)$ and $R(K_1+L_n,C_m)$ for some integers $m$, $n$, where $L_n$ is...

We consider, for a positive integer $k$, induced subgraphs in which each component has order at most $k$. Such a subgraph is said to be $k$-divided. We show that finding large induced subgraphs with this property is NP-complete. We also consider a related graph-coloring problem: how many colors are required in a vertex coloring in which each color class induces a $k$-divided subgraph. We show that the problem of determining whether some given number of colors suffice is NP-complete, even for...

An orientation of a simple graph is referred to as an oriented graph. Caccetta and Häggkvist conjectured that any digraph on $n$ vertices with minimum outdegree $d$ contains a directed cycle of length at most $\lceil n/d\rceil$. In this paper, we consider short cycles in oriented graphs without directed triangles. Suppose that ${\alpha }_0$ is the smallest real such that every $n$-vertex digraph with minimum outdegree at least ${\alpha }_{0}n$ contains a directed triangle. Let $ϵ<(3-2{\alpha }_0)/(4-2{\alpha }_0)$ be a positive real. We show that if $D$ is an oriented graph...

For graphs $G$, $F_1$, $F_2$, we write $G\to (F_1,F_2)$ if for every red-blue colouring of the edge set of $G$ we have a red copy of $F_1$ or a blue copy of $F_2$ in $G$. The size Ramsey number $\widehat{r}(F_1,F_2)$ is the minimum number of edges of a graph $G$ such that $G\to (F_1,F_2)$. Erdős and Faudree proved that for the cycle $C_n$ of length $n$ and for $t\ge 2$ matchings $t{K}_2$, the size Ramsey number $\widehat{r}(t{K}_2,C_n)<n+(4t+3)\sqrt{n}$. We improve their upper bound for $t=2$ and $t=3$ by showing that $\widehat{r}(2K_2,C_n)\le n+2\sqrt{3n}+9$ for $n\ge 12$ and $\widehat{r}(3K_2,C_n)<n+6\sqrt{n}+9$ for $n\ge 25$.

A majority coloring of a digraph $D$ with $k$ colors is an assignment $\pi :V\left(D\right)\to \{1,2,\cdots ,k\}$ such that for every $v\in V\left(D\right)$ we have $\pi \left(w\right)=\pi \left(v\right)$ for at most half of all out-neighbors $w\in N^{+}\left(v\right)$. A digraph $D$ is majority $k$-choosable if for any assignment of lists of colors of size $k$ to the vertices, there is a majority coloring of $D$ from these lists. We prove that if $U\left(D\right)$ is a 1-planar graph without a 4-cycle, then $D$ is majority 3-choosable. And we also prove that every NIC-planar digraph is majority 3-choosable.

Let $G$ be a simple graph, let $d\left(v\right)$ denote the degree of a vertex $v$ and let $g$ be a nonnegative integer function on $V\left(G\right)$ with $0\le g\left(v\right)\le d\left(v\right)$ for each vertex $v\in V\left(G\right)$. A $g_c$-coloring of $G$ is an edge coloring such that for each vertex $v\in V\left(G\right)$ and each color $c$, there are at least $g\left(v\right)$ edges colored $c$ incident with $v$. The $g_c$-chromatic index of $G$, denoted by ${\chi }_{g_c}^{\text{'}}\left(G\right)$, is the maximum number of colors such that a $g_c$-coloring of $G$ exists. Any simple graph $G$ has the $g_c$-chromatic index equal to ${\delta }_g\left(G\right)$ or ${\delta }_g\left(G\right)-1$, where ${\delta }_g\left(G\right)={min}_{v\in V\left(G\right)}\lfloor d\left(v\right)/g\left(v\right)\rfloor$. A graph $G$ is nearly bipartite,...

Let $f$ be a modular eigenform of even weight $k\ge 2$ and new at a prime $p$ dividing exactly the level with respect to an indefinite quaternion algebra. The theory of Fontaine-Mazur allows to attach to $f$ a monodromy module $D_f^{FM}$ and an $ℒ$-invariant ${ℒ}_f^{FM}$. The first goal of this paper is building a suitable $p$-adic integration theory that allows us to construct a new monodromy module $D_f$ and $ℒ$-invariant ${ℒ}_f$, in the spirit of Darmon. The two monodromy modules are isomorphic, and in particular the two $ℒ$-invariants...

We show that if a colouring c establishes ω₂ ↛ [(ω₁:ω)]² then c establishes this negative partition relation in each Cohen-generic extension of the ground model, i.e. this property of c is Cohen-indestructible. This result yields a negative answer to a question of Erdős and Hajnal: it is consistent that GCH holds and there is a colouring c:[ω₂]² → 2 establishing ω₂ ↛ [(ω₁:ω)]₂ such that some colouring g:[ω₁]² → 2 does not embed into c. It is also consistent that $2^{\omega ₁}$ is arbitrarily large,...

A hypergraph ℋ is a sum hypergraph iff there are a finite S ⊆ ℕ⁺ and d̲,d̅ ∈ ℕ⁺ with 1 < d̲ < d̅ such that ℋ is isomorphic to the hypergraph ${\mathscr{H}}_{d̲,d̅}\left(S\right)=(V,)$ where V = S and $=e\subseteq S:d̲<\left|e\right|<d̅\wedge {\sum }_{v\in e}v\in S$. For an arbitrary hypergraph ℋ the sum number(ℋ ) is defined to be the minimum number of isolatedvertices $w₁,...,w_{\sigma }\notin V$ such that $\mathscr{H}\cup w₁,...,w_{\sigma }$ is a sum hypergraph. For graphs it is known that cycles Cₙ and wheels Wₙ have sum numbersgreater than one. Generalizing these graphs we prove for the hypergraphs ₙ and ₙ that under a certain condition...

The object of the present paper is to study $\eta$-Ricci solitons on $\eta$-Einstein ${\left(LCS\right)}_n$-manifolds. It is shown that if $\xi$ is a recurrent torse forming $\eta$-Ricci soliton on an $\eta$-Einstein ${\left(LCS\right)}_n$-manifold then $\xi$ is (i) concurrent and (ii) Killing vector field.