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.     

Some new results on dimension and Bose distance for various classes of BCH codes

In this paper, we give the dimension and the minimum distance of two subclasses of narrow-sense primitive BCH codes over ${\mathbb{F}}_q$ with designed distance $\delta =a{q}^{m-1}-1(\text{resp. }\delta =a\frac{q^m-1}{q-1})$ for all $1\le a\le q-1$, where q is a prime power and $m>1$ is a positive integer. As a consequence, we obtain an affirmative answer to two conjectures proposed by C. Ding in 2015. Furthermore, using the previous part, we extend some results of Yue and Hu [16], and we give the dimension and, in some cases, the Bose distance for a large designed distance in the range $[a\frac{q^m-1}{q-1},a\frac{q^m-1}{q-1}+T]$ for $0\le a\le q-2$, where $T=q^{\frac{m+1}{2}}-1$ if m is odd, and $T=2q^{\frac{m}{2}}-1$ if m is even.     

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.     

Large blocking sets in PG(2,q2)

Minimal blocking sets in $\mathrm{PG}(2,q^2)$ have size at most $q^3+1$. This result is due to Bruen and Thas and the bound is sharp, sets attaining this bound are called unitals. In this paper, we show that the second largest minimal blocking sets have size at most $q^3+1-(p-3)/2$, if $q=p$, $p\ge 67$, or $q=p^h$, $p>7$, $h>1$. Our proof also works for sets having at least one tangent at each of its points (that is, for tangency sets).     

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.     

Observations about the Lie algebra g2⊂so(7), associative 3-planes,and so(4) subalgebras

We make several observations relating the Lie algebra ${\mathfrak{g}}_2?\mathfrak{so}\left(7\right)$, associative 3-planes, and $\mathfrak{so}\left(4\right)$ subalgebras. Some are likely well-known but not easy to find in the literature, while other results are new. We show that an element $X\in {\mathfrak{g}}_2$ cannot have rank 2, and if it has rank 4 then its kernel is an associative subspace. We prove a canonical form theorem for elements of ${\mathfrak{g}}_2$. Given an associative 3-plane $P$ in ${\mathbb{R}}^7$, we construct a Lie subalgebra $\Theta \left(P\right)$ of $\mathfrak{so}\left(7\right)={\Lambda }^2\left({\mathbb{R}}^7\right)$ that is isomorphic to $\mathfrak{so}\left(4\right)$. This $\mathfrak{so}\left(4\right)$ subalgebra differs from other known constructions of $\mathfrak{so}\left(4\right)$ subalgebras of $\mathfrak{so}\left(7\right)$ determined by an associative 3-plane. These are results of an NSERC undergraduate research project. The paper is written so as to be accessible to a wide audience.