Dynamical behavior of solutions of a reaction–diffusion model in river network

In this paper, we study the long-time behavior of solutions of a reaction–diffusion model in a one-dimensional river network, where the river network has two branches, and the water flow speeds in each branch are the same constant $\beta$. We show the existence of two critical values $c_0$ and 2 with $0<c_0<2$, and prove that when $-c_0\le \beta <2$, the population density in every branch of the river goes to 1 as time goes to infinity; when $-2<\beta <-c_0$, then, as time goes to infinity, the population density in every river branch converges to a positive steady state strictly below 1; when $\left|\beta \right|\ge 2$, the species will be washed down the stream, and so locally the population density converges to 0. Our result indicates that only if the water-flow speed is suitably small (i.e., $\left|\beta \right|<2$), the species will survive in the long run.     

Enclosings of decompositions of complete multigraphs in 2-edge-connected r-factorizations

A decomposition of a multigraph $G$ is a partition of its edges into subgraphs $G\left(1\right),\dots ,G\left(k\right)$. It is called an $r$-factorization if every $G\left(i\right)$ is $r$-regular and spanning. If $G$ is a subgraph of $H$, a decomposition of $G$ is said to be enclosed in a decomposition of $H$ if, for every $1\le i\le k$, $G\left(i\right)$ is a subgraph of $H\left(i\right)$.Feghali and Johnson gave necessary and sufficient conditions for a given decomposition of $\lambda K_n$ to be enclosed in some 2-edge-connected $r$-factorization of $\mu K_m$ for some range of values for the parameters $n$, $m$, $\lambda$, $\mu$, $r$: $r=2$, $\mu >\lambda$ and either $m\ge 2n?1$, or $m=2n?2$ and $\mu =2$ and $\lambda =1$, or $n=3$ and $m=4$. We generalize their result to every $r\ge 2$ and $m\ge 2n?2$. We also give some sufficient conditions for enclosing a given decomposition of $\lambda K_n$ in some 2-edge-connected $r$-factorization of $\mu K_m$ for every $r\ge 3$ and $m>(2?C)n$, where $C$ is a constant that depends only on $r$, $\lambda$ and $\mu$.     

Remarks on the distribution of colors in Gallai colorings

A Gallai coloring of a complete graph $K_n$ is an edge coloring without triangles colored with three different colors. A sequence $e_1\ge \cdots \ge e_k$ of positive integers is an $(n,k)$-sequence if ${\sum }_{i=1}^k{e}_i=\left(\genfrac{}{}{0ex}{}{n}{2}\right)$. An $(n,k)$-sequence is a G-sequence if there is a Gallai coloring of $K_n$ with $k$ colors such that there are $e_i$ edges of color $i$ for all $i,1\le i\le k$. Gyárfás, Pálvölgyi, Patkós and Wales proved that for any integer $k\ge 3$ there exists an integer $g\left(k\right)$ such that every $(n,k)$-sequence is a G-sequence if and only if $n\ge g\left(k\right)$. They showed that $g\left(3\right)=5,g\left(4\right)=8$ and $2k-2\le g\left(k\right)\le 8k^2+1$.We show that $g\left(5\right)=10$ and give almost matching lower and upper bounds for $g\left(k\right)$ by showing that with suitable constants $\alpha ,\beta >0$, $\frac{\alpha k^{1.5}}{lnk}\le g\left(k\right)\le \beta k^{1.5}$ for all sufficiently large $k$.     

Projective well orders and coanalytic witnesses

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable P-points, definable tight MAD families and definable selective independent families. As a result, we obtain a model in which $\mathfrak{a}=\mathfrak{u}=\mathfrak{i}={\mathrm{?}}_1<2^{{\mathrm{?}}_0}={\mathrm{?}}_2$, each of $\mathfrak{a}$, $\mathfrak{u}$, $\mathfrak{i}$ has a ${\mathrm{\Pi }}_1^1$ witness and there is a ${\mathrm{\Delta }}_3^1$ well-order of the reals. Note that both the complexity of the witnesses of the above combinatorial cardinal characteristics, as well as the complexity of the well-order are optimal. In addition, we show that the existence of a ${\mathrm{\Delta }}_3^1$ well-order of the reals is consistent with $\mathfrak{c}={\mathrm{?}}_2$ and each of the following: $\mathfrak{a}=\mathfrak{u}<\mathfrak{i}$, $\mathfrak{a}=\mathfrak{i}<\mathfrak{u}$, $\mathfrak{a}<\mathfrak{u}=\mathfrak{i}$, where the smaller cardinal characteristics have co-analytic witnesses.Our methods allow the preservation of only sufficiently definable witnesses, which significantly differs from other preservation results of this type.     

Atomic decompositions for noncommutative martingales

We prove an atomic type decomposition for the noncommutative martingale Hardy space ${\mathsf{h}}_p$ for all $0<p<2$ by an explicit constructive method using algebraic atoms as building blocks. Using this elementary construction, we obtain a weak form of the atomic decomposition of ${\mathsf{h}}_p$ for all $0<p<1$, and provide a constructive proof of the atomic decomposition for $p=1$ which resolves a main problem on the subject left open for the last twelve years. We also study ${(p,\infty )}_c$-atoms, and show that every ${(p,2)}_c$-atom can be decomposed into a sum of ${(p,\infty )}_c$-atoms; consequently, for every $0<p\le 1$, the ${(p,q)}_c$-atoms lead to the same atomic space for all $2\le q\le \infty$. As applications, we obtain a characterization of the dual space of the noncommutative martingale Hardy space ${\mathsf{h}}_p$ ($0<p<1$) as a noncommutative Lipschitz space via the weak form of the atomic decomposition. Our constructive method can also be applied to prove some sharp martingale inequalities.     

Waring-Hilbert problem on Cantor sets

Analogs of Waring–Hilbert problem on Cantor sets are explored. The focus of this paper is on the Cantor ternary set $C$. It is shown that, for each $m\ge 3$, every real number in the unit interval $[0,1]$ is the sum $x_1^m+x_2^m+?+x_n^m$ with each $x_j$ in $C$ and some $n\le 6^m$. Furthermore, every real number $x$ in the interval $[0,8]$ can be written as $x=x_1^3+x_2^3+?+x_8^3$, the sum of eight cubic powers with each $x_j$ in $C$. Another Cantor set $C\times C$ is also considered. More specifically, when $C\times C$ is embedded into the complex plane $?$, the Waring–Hilbert problem on $C\times C$ has a positive answer for powers less than or equal to 4.     

Permutation trinomials over Fq3

We consider four classes of polynomials over the fields ${\mathbb{F}}_{q^3}$, $q=p^h$, $p>3$, $f_1(x)=x^{q^2+q-1}+A{x}^{q^2-q+1}+Bx$, $f_2(x)=x^{q^2+q-1}+A{x}^{q^3-q^2+q}+Bx$, $f_3(x)=x^{q^2+q-1}+A{x}^{q^2}-Bx$, $f_4(x)=x^{q^2+q-1}+A{x}^q-Bx$, where $A,B\in {\mathbb{F}}_q$. We find sufficient conditions on the pairs $(A,B)$ for which these polynomials permute ${\mathbb{F}}_{q^3}$ and we give lower bounds on the number of such pairs.