The following papers are the latest research papers available from the
Canadian Mathematical Bulletin.

The papers below are all fully peer-reviewed and we vouch for the research inside.
Some items are labelled Author's Draft,
and others are identified as Published.
As a service to our readers, we post new papers as soon as the science is right, but before official publication; these are the papers marked Author's Draft.
When our copy editing process is complete and the paper now has our official form, we replace the
Author's Draft
with the Published version.
All the papers below are scheduled for inclusion in a Print issue. When that issue goes to press, the paper is moved from this Online First web page over to the main CMB Digital Archive.

We investigate quantum group generalizations
of various density results from Fourier analysis on compact groups.
In particular, we establish the density of characters in the
space of fixed points of the conjugation action on $L^2(\mathbb{G})$, and
use this result to show the weak* density and norm density of
characters in $ZL^\infty(\mathbb{G})$ and $ZC(\mathbb{G})$, respectively. As a corollary,
we partially answer an open question of Woronowicz.
At the level of $L^1(\mathbb{G})$, we show that the center
$\mathcal{Z}(L^1(\mathbb{G}))$
is precisely the closed linear span of the quantum characters
for a large class of compact quantum groups, including arbitrary
compact Kac algebras. In the latter setting, we show, in addition,
that $\mathcal{Z}(L^1(\mathbb{G}))$ is a completely complemented
$\mathcal{Z}(L^1(\mathbb{G}))$-submodule
of $L^1(\mathbb{G})$.

Let $(R, \frak m)$ denote a local Cohen-Macaulay ring and $I$
a non-nilpotent ideal of $R$. The purpose of this article is
to investigate Faltings' finiteness
dimension $f_I(R)$ and equidimensionalness of certain homomorphic
image of $R$. As a consequence
we deduce that $f_I(R)=\operatorname{max}\{1, \operatorname{ht} I\}$
and if $\operatorname{mAss}_R(R/I)$
is contained in $\operatorname{Ass}_R(R)$, then the ring $R/ I+\cup_{n\geq
1}(0:_RI^n)$ is equidimensional of dimension $\dim R-1$.
Moreover, we will obtain a lower bound for injective dimension
of the local cohomology module $H^{\operatorname{ht} I}_I(R)$, in the case
$(R, \frak m)$ is a complete equidimensional local ring.

We compute the cohomology of the right generalised projective
Stiefel manifolds. Following this, we discuss some easy applications
of the computations to the ranks of complementary bundles, and
bounds on the span and immersibility.

We prove the existence of
a (in fact many)
holomorphic function $f$ in $\mathbb{C}^d$ such that, for any $a\neq
0$, its translations $f(\cdot+na)$ are dense in $H(\mathbb{C}^d)$.

In this paper, we give a new definition of radicals of Green's
relations in an ordered semigroup and characterize left regular
(right regular), intra regular ordered semigroups by radicals
of Green's relations. Also we characterize the ordered semigroups
which are unions and complete semilattices of t-simple ordered
semigroups.

In this paper, a new notion of scalar curvature for a Finsler
metric $F$ is introduced, and two conformal invariants $Y(M,F)$
and $C(M,F)$ are defined. We prove that there exists a Finsler
metric with constant scalar curvature in the conformal class
of $F$ if the Cartan torsion of $F$ is sufficiently small and
$Y(M,F)C(M,F)\lt Y(\mathbb{S}^n)$ where $Y(\mathbb{S}^n)$ is the
Yamabe constant of the standard sphere.

Let $1\leq p\lt \infty$, and let $G$ be a discrete group. We give
a sufficient and necessary condition
for weighted translation operators on the Lebesgue space $\ell^p(G)$
to be densely disjoint hypercyclic.
The characterization for the dual of a weighted translation to
be densely disjoint hypercyclic is also obtained.

In this
paper,
double commutativity and the reverse order law for the core inverse
are considered. Then, new characterizations of the Moore-Penrose
inverse of a regular element are given by one-sided invertibilities
in a ring. Furthermore, the characterizations and representations
of
the core and dual core inverses of a regular element are considered.

We prove Lawton's conjecture about the upper bound on the measure
of the set on the unit circle on which a complex polynomial with
a bounded number of coefficients takes small values. Namely,
we prove that Lawton's bound holds for polynomials that are not
necessarily monic. We also provide an analogous bound for polynomials
in several variables. Finally, we investigate the dependence
of the bound on the multiplicity of zeros for polynomials in
one variable.

Let $R$ be a prime ring with extended
centroid $C$, $Q$ maximal right ring of quotients of $R$, $RC$
central closure of $R$ such that $dim_{C}(RC)
\gt 4$, $f(X_{1},\dots,X_{n})$
a multilinear polynomial over $C$ which is not central-valued
on $R$ and $f(R)$ the set of all evaluations of the multilinear
polynomial $f\big(X_{1},\dots,X_{n}\big)$ in $R$. Suppose that
$G$ is a nonzero generalized derivation of $R$ such that $G^2\big(u\big)u
\in C$ for all $u\in f(R)$ then one of the following conditions
holds:

(I) there exists $a\in Q$ such that $a^2=0$ and
either $G(x)=ax$ for all $x\in R$ or $G(x)=xa$ for all $x\in
R$;

(II) there exists $a\in Q$ such that $0\neq a^2\in
C$ and either $G(x)=ax$ for all $x\in R$ or $G(x)=xa$ for all
$x\in R$ and $f(X_{1},\dots,X_{n})^{2}$ is central-valued on
$R$;

(III) $char(R)=2$ and one of the following holds:

(i) there exist $a, b\in Q$ such that $G(x)=ax+xb$ for all
$x\in R$ and $a^{2}=b^{2}\in C$;

(ii) there exist $a, b\in Q$ such that $G(x)=ax+xb$ for all
$x\in R$, $a^{2}, b^{2}\in C$ and $f(X_{1},\ldots,X_{n})^{2}$
is central-valued on $R$;

(iii) there exist $a \in Q$ and an $X$-outer derivation $d$
of $R$ such that $G(x)=ax+d(x)$ for all $x\in R$, $d^2=0$ and
$a^2+d(a)=0$;

(iv) there exist $a \in Q$ and an $X$-outer derivation $d$
of $R$ such that $G(x)=ax+d(x)$ for all $x\in R$, $d^2=0$,
$a^2+d(a)\in C$ and $f(X_{1},\dots,X_{n})^{2}$ is central-valued
on $R$.

Moreover, we characterize the form of nonzero generalized derivations
$G$ of $R$ satisfying $G^2(x)=\lambda x$ for all $x\in R$, where
$\lambda \in C$.

It follows from earlier work of Silver--Williams and the authors
that twisted Alexander polynomials detect the unknot and the
Hopf link.
We now show that twisted Alexander polynomials also detect the
trefoil and the figure-8 knot,
that twisted Alexander polynomials detect whether a link is split
and that twisted Alexander modules detect trivial links. We use
this result to provide algorithms for detecting whether a link
is the unlink, whether it is split and whether it is totally
split.

It is known that if $E$ is a closed subset of an open Riemann
surface $R$ and $f$ is a holomorphic function on a neighbourhood
of $E,$ then it is ``usually" not possible to approximate $f$
uniformly by functions holomorphic on all of $R.$ We show, however,
that for every open Riemann surface $R$ and every closed subset
$E\subset R,$ there is closed subset $F\subset E,$ which approximates
$E$ extremely well, such that every function holomorphic on $F$
can be approximated much better than uniformly by functions holomorphic
on $R$.

In 2012 Gubeladze (Adv. Math. 2012)
introduced the notion of $k$-convex-normal polytopes to show
that
integral polytopes all of whose edges are longer than $4d(d+1)$
have
the integer decomposition property.
In the first part of this paper we show that for lattice polytopes
there is no difference between $k$- and $(k+1)$-convex-normality
(for
$k\geq 3 $) and improve the bound to $2d(d+1)$. In the second
part we
extend the definition to pairs of polytopes. Given two rational
polytopes $P$ and $Q$, where the normal fan of $P$ is a refinement
of
the normal fan of $Q$.
If every edge $e_P$ of $P$ is at least $d$ times as long as the
corresponding face (edge or vertex) $e_Q$ of $Q$, then $(P+Q)\cap
\mathbb{Z}^d
= (P\cap \mathbb{Z}^d ) + (Q \cap \mathbb{Z}^d)$.

We previously obtained a congruence modulo four for the number
of real solutions to many Schubert problems on
a square Grassmannian given by osculating flags.
Here, we consider Schubert problems given by more general isotropic
flags, and prove this
congruence modulo four for the largest class of Schubert problems
that could be expected to exhibit this
congruence.

In the Simpson moduli space $M$ of semi-stable sheaves with
Hilbert polynomial $dm-1$ on a projective plane we study the
closed subvariety $M'$ of sheaves that are not locally free on
their support. We show that for $d\ge 4$ it is a singular subvariety
of codimension $2$ in $M$. The blow up of $M$ along $M'$ is interpreted
as a (partial) modification of $M\setminus M'$ by line bundles
(on support).

Fix an irreducible (finite) root system $R$ and a choice
of positive roots. For any algebraically closed field $k$ consider the almost simple, simply connected algebraic group $G_k$ over $k$ with root system $k$. One associates to any dominant weight $\lambda$ for $R$ two $G_k$--modules with highest weight $\lambda$, the
Weyl module $V (\lambda)_k$ and its simple quotient $L (\lambda)_k$.
Let $\lambda$ and $\mu$ be dominant weights with $\mu \lt \lambda$ such
that
$\mu$ is maximal with this property. Garibaldi, Guralnick, and
Nakano
have asked under which condition there exists $k$ such that $L
(\mu)_k$
is a composition factor of $V (\lambda)_k$, and they exhibit an
example
in type $E_8$ where this is not the case. The purpose of this
paper
is to to show that their example is the only one. It contains
two proofs
for this fact, one that uses a classification of the possible
pairs $(\lambda, \mu)$,
and another one that relies only on the classification
of root systems.

Alfred Schild has established conditions
that Lorentz transformations map world-vectors $(ct,x,y,z)$ with
integer coordinates onto vectors of the same kind. These transformations
are called integral Lorentz transformations.

The present paper contains supplements to
our earlier work
with a new focus on group theory. To relate the results to the
familiar matrix group nomenclature we associate Lorentz transformations
with matrices in $\mathrm{SL}(2,\mathbb{C})$. We consider the
lattice of subgroups of the group originated in Schild's paper
and obtain generating sets for the full group and its subgroups.

A $C^{*}$-algebra $A$ has the ideal property if any ideal
$I$ of $A$ is generated as a closed two sided ideal by the projections
inside the ideal. Suppose that the limit $C^{*}$-algebra $A$
of inductive limit of direct sums of matrix algebras over spaces
with uniformly bounded dimension has ideal property. In this
paper we will prove that $A$ can be written as an inductive limit
of certain very special subhomogeneous algebras, namely, direct
sum of dimension drop interval algebras and matrix algebras over
2-dimensional spaces with torsion $H^{2}$ groups.

Let $R$ be a commutative ring with non-zero identity. In this
paper, we introduced the weakly nilpotent graph of a commutative
ring. The weakly nilpotent graph of $R$ is denoted by $\Gamma_w(R)$
is a graph with the vertex set $R^{*}$ and two vertices $x$ and
$y$ are adjacent if and only if $xy\in N(R)^{*}$, where $R^{*}=R\setminus\{0\}$
and $N(R)^{*}$ is the set of all non-zero nilpotent elements
of $R$. In this article, we determine the diameter of weakly
nilpotent graph of an Artinian ring. We prove that if $\Gamma_w(R)$
is a forest, then $\Gamma_w(R)$ is a union of a star and some
isolated vertices. We study the clique number, the chromatic
number and the independence number of $\Gamma_w(R)$. Among other
results, we show that for an Artinian ring $R$, $\Gamma_w(R)$
is not a disjoint union of cycles or a unicyclic graph. For Artinan
ring, we determine $\operatorname{diam}(\overline{\Gamma_w(R)})$. Finally, we
characterize all commutative rings $R$ for which $\overline{\Gamma_w(R)}$
is a cycle, where $\overline{\Gamma_w(R)}$ is the complement
of the weakly nilpotent graph of $R$.

Nuij's theorem states that if a polynomial $p\in \mathbb{R}[z]$ is hyperbolic
(i.e. has only real roots) then $p+sp'$ is also hyperbolic for
any
$s\in \mathbb{R}$. We study other perturbations of hyperbolic polynomials
of the form $p_a(z,s): =p(z) +\sum_{k=1}^d a_ks^kp^{(k)}(z)$.
We give a full characterization of those $a= (a_1, \dots,
a_d) \in \mathbb{R}^d$ for which $p_a(z,s)$ is a pencil of hyperbolic
polynomials.
We give also a full characterization of those $a= (a_1, \dots,
a_d) \in \mathbb{R}^d$ for which the associated families $p_a(z,s)$
admit universal determinantal representations. In fact we show
that all these sequences come from special symmetric Toeplitz
matrices.

We prove that for $d \in \{ 2,3,5,7,13 \}$ and $K$ a quadratic
(or rational) field of discriminant $D$ and Dirichlet character
$\chi$, if a prime $p$ is large enough compared to $D$, there
is a newform $f \in S_2(\Gamma_0(dp^2))$ with sign $(+1)$ with
respect to the Atkin-Lehner involution $w_{p^2}$ such that $L(f
\otimes \chi,1) \neq 0$. This result is obtained through an estimate
of a weighted sum of twists of $L$-functions which generalises
a result of Ellenberg. It relies on the approximate functional
equation for the $L$-functions $L(f \otimes \chi, \cdot)$ and
a Petersson trace formula restricted to Atkin-Lehner eigenspaces.
An application of this nonvanishing theorem will be given in
terms of existence of rank zero quotients of some twisted jacobians,
which generalises a result of Darmon and Merel.

In this paper we investigate
the endpoint regularity properties of the multisublinear
fractional maximal operators, which include the multisublinear
Hardy-Littlewood maximal operator. We obtain some new bounds
for the derivative of the one-dimensional multisublinear
fractional maximal operators acting on vector-valued function
$\vec{f}=(f_1,\dots,f_m)$ with all $f_j$ being $BV$-functions.

We study a population model with nonlocal diffusion, which
is a delayed integro-differential equation with double nonlinearity
and two integrable kernels. By comparison method and analytical
technique, we obtain globally asymptotic stability of the zero
solution and the positive equilibrium. The results obtained
reveal that the globally asymptotic stability only depends on
the property of nonlinearity. As application, an example for
a population model with age structure is discussed at the end
of the article.

It is known that every Toeplitz matrix $T$ enjoys a circulant
and skew circulant splitting (denoted by CSCS)
i.e., $T=C-S$ with $C$ a circulant matrix and $S$ a skew circulant
matrix. Based on the variant of such a splitting (also referred
to as CSCS), we first develop classical CSCS iterative methods
and then introduce shifted CSCS iterative methods for solving
hermitian positive definite Toeplitz systems in this paper. The
convergence of each method is analyzed. Numerical experiments
show that the classical CSCS iterative methods work slightly
better than the Gauss-Seidel (GS) iterative methods if the CSCS
is convergent, and that there is always a constant $\alpha$ such
that the shifted CSCS iteration converges much faster than the
Gauss-Seidel iteration, no matter whether the CSCS itself is
convergent or not.

We prove Wise's $W$-cycles conjecture: Consider a compact graph
$\Gamma'$ immersing into another graph $\Gamma$. For any immersed
cycle $\Lambda:S^1\to \Gamma$, we consider the map $\Lambda'$
from
the circular components $\mathbb{S}$ of the pullback to $\Gamma'$.
Unless
$\Lambda'$ is reducible, the degree of the covering map $\mathbb{S}\to
S^1$ is bounded above by minus the Euler characteristic of
$\Gamma'$. As a corollary, any finitely generated subgroup
of a
one-relator group has finitely generated Schur multiplier.

In this note we prove the following surprising characterization:
if
$X\subset {\mathbb A}^n$ is an (embedded, non-empty, proper)
algebraic variety defined over a
field $k$ of characteristic zero, then $X$ is a hypersurface
if and only if the module $T_{{\mathcal O}_{{\mathbb
A}^n}/k}(X)$ of logarithmic vector fields of
$X$ is a reflexive ${\mathcal
O}_{{\mathbb A}^n}$-module. As a consequence of this result,
we derive that if $T_{{\mathcal O}_{{\mathbb A}^n}/k}(X)$ is a
free ${\mathcal
O}_{{\mathbb A}^n}$-module, which is shown to be equivalent
to the freeness of the $t$th exterior power of $T_{{\mathcal O}_{{\mathbb
A}^n}/k}(X)$ for some (in fact, any) $t\leq n$, then necessarily
$X$ is a Saito free divisor.

We show under some conditions that a Gorenstein ring $R$ satisfies the
Generalized Auslander-Reiten Conjecture if and only if so does
$R[x]$. When $R$ is a local ring we prove the same result for some
localizations of $R[x]$.

Let $g \geq 2$. A real number is said to be $g$-normal if its base $g$ expansion contains every finite sequence of digits with the expected limiting frequency. Let $\phi$ denote Euler's totient function, let $\sigma$ be the sum-of-divisors function, and let $\lambda$ be Carmichael's lambda-function. We show that if $f$ is any function formed by composing $\phi$, $\sigma$, or $\lambda$, then the number
\[ 0. f(1) f(2) f(3) \dots \]
obtained by concatenating the base $g$ digits of successive $f$-values is $g$-normal. We also prove the same result if the inputs $1, 2, 3, \dots$ are replaced with the primes $2, 3, 5, \dots$. The proof is an adaptation of a method introduced by Copeland and Erdős in 1946 to prove the $10$-normality of $0.235711131719\ldots$.

Let $\mathbf{S}:=\{S(t)\}_{t\geq0}$ be a C$_0$-semigroup of quasinilpotent
operators
(i.e. $\sigma(S(t))=\{0\}$ for each $t\gt 0$).
In the dynamical systems theory the above quasinilpotency property
is equivalent
to a very strong concept of stability for the solutions of autonomous
systems.
This concept is frequently called superstability and weakens
the classical finite time extinction property
(roughly speaking, disappearing solutions).
We show that under some assumptions, the quasinilpotency, or
equivalently, the superstability property
of a C$_0$-semigroup is preserved under the perturbations of
its infinitesimal generator.

The notion of coaxers is introduced in a pseudo-complemented
distributive lattice. Boolean algebras are characterized in terms
of coaxer ideals and congruences. The concept of coaxer lattices
is introduced in pseudo-complemented distributive lattices and
characterized in terms of coaxer ideals and maximal ideals. Finally,
the coaxer lattices are also characterized in topological terms.

The characteristic polynomial $P_A(x_0, \dots,
x_r)$
of an $r$-tuple $A := (A_1, \dots, A_r)$ of $n \times n$-matrices
is
defined as
\[ P_A(x_0, \dots, x_r) := \det(x_0 I + x_1 A_1 + \dots + x_r
A_r) \, . \]
We show that if $r \geqslant 3$
and $A := (A_1, \dots, A_r)$ is an $r$-tuple of $n \times n$-matrices in general position,
then up to conjugacy, there are only finitely many $r$-tuples
$A' := (A_1', \dots, A_r')$ such that $p_A = p_{A'}$. Equivalently,
the locus of determinantal hypersurfaces of degree $n$ in $\mathbf{P}^r$
is irreducible of dimension $(r-1)n^2 + 1$.

In this paper we give the bifurcation diagram
of the family of cubic vector fields $\dot z=z^3+ \epsilon_1z+\epsilon_0$
for $z\in \mathbb{C}\mathbb{P}^1$, depending on the values of
$\epsilon_1,\epsilon_0\in\mathbb{C}$.
The bifurcation diagram is in $\mathbb{R}^4$, but its conic structure
allows describing it for parameter values in $\mathbb{S}^3$. There are
two open simply connected regions of structurally stable vector
fields separated by surfaces corresponding to bifurcations of
homoclinic connections between two separatrices of the pole at
infinity. These branch from the codimension 2 curve of double
singular points. We also explain the bifurcation of homoclinic
connection in terms of the description of Douady and Sentenac
of polynomial vector fields.

Let $\Omega \subset \mathbb{R}^n$ be a bounded Lipschitz domain and
consider
the energy functional
\begin{equation*}
{\mathcal F}[u, \Omega] := \int_{\Omega} {\rm F}(\nabla {\bf u}(\bf x))\, d{\bf x},
\end{equation*}
over the space of $W^{1,2}(\Omega, \mathbb{R}^m)$ where the integrand
${\rm F}: \mathbb M_{m\times n}\to \mathbb{R}$ is a smooth uniformly
convex function
with bounded second derivatives. In this paper we address the
question of
regularity for solutions of the corresponding system of
Euler-Lagrange equations.
In particular we introduce a class of singular maps referred
to as traceless and
examine them as a new counterexample to the regularity of minimizers
of the energy
functional $\mathcal F[\cdot,\Omega]$ using a method based on
null Lagrangians.

Let $K$ be an ultraspherical hypergroup associated to a locally
compact group $G$ and a spherical projector $\pi$ and let $VN(K)$
denote the dual of the Fourier algebra $A(K)$ corresponding to
$K.$ In this note, we show that the set of invariant means on
$VN(K)$ is singleton if and only if $K$ is discrete. Here $K$
need not be second countable. We also study invariant means on
the dual of the Fourier algebra $A_0(K),$ the closure of $A(K)$
in the $cb$-multiplier norm. Finally, we consider generalized
translations and generalized invariant means.

Let $\ell\in\mathbb N$ and $\alpha\in (0,2\ell)$. In this article,
the authors establish
equivalent characterizations
of Besov-type spaces, Triebel-Lizorkin-type
spaces and Besov-Morrey spaces via the sequence
$\{f-B_{\ell,2^{-k}}f\}_{k}$ consisting of the difference between
$f$ and
the ball average $B_{\ell,2^{-k}}f$. These results give a way
to introduce Besov-type spaces,
Triebel-Lizorkin-type spaces and Besov-Morrey spaces with any
smoothness order
on metric measure spaces. As special cases, the authors obtain
a new characterization of Morrey-Sobolev spaces
and $Q_\alpha$ spaces with $\alpha\in(0,1)$, which are of independent
interest.

We prove a comprehensive version of the Ruelle-Perron-Frobenius
Theorem
with explicit estimates of the spectral radius of the Ruelle
transfer operator and various other
quantities related to spectral properties of this operator. The
novelty here is that the Hölder
constant of the function generating the operator appears only
polynomially, not exponentially as
in previous known estimates.

This paper is dedicated to studying the
semilinear Schrödinger equation
$$
\left\{
\begin{array}{ll}
-\triangle u+V(x)u=f(x, u), \ \ \ \ x\in {\mathbf{R}}^{N},
\\
u\in H^{1}({\mathbf{R}}^{N}),
\end{array}
\right.
$$
where $f$ is a superlinear, subcritical nonlinearity. It focuses
on the case where
$V(x)=V_0(x)+V_1(x)$, $V_0\in C(\mathbf{R}^N)$, $V_0(x)$ is 1-periodic
in each of $x_1, x_2, \ldots, x_N$ and
$\sup[\sigma(-\triangle +V_0)\cap (-\infty, 0)]\lt 0\lt \inf[\sigma(-\triangle
+V_0)\cap (0, \infty)]$,
$V_1\in C(\mathbf{R}^N)$ and $\lim_{|x|\to\infty}V_1(x)=0$. A new super-quadratic
condition is obtained,
which is weaker than some well known results.

Let $R$
be a ring and $b, c\in R$.
In this paper, we give some characterizations of the $(b,c)$-inverse,
in terms of the direct sum decomposition, the annihilator and
the invertible elements.
Moreover, elements with equal $(b,c)$-idempotents related to
their $(b, c)$-inverses are characterized, and the reverse order
rule for the $(b,c)$-inverse is considered.

In this paper, the concept of the classical $f$-divergence for
a pair of measures is extended to the mixed $f$-divergence for
multiple pairs of measures. The mixed $f$-divergence provides
a way to measure the difference between multiple pairs of (probability)
measures. Properties for the mixed $f$-divergence are established,
such as permutation invariance and symmetry in distributions.
An
Alexandrov-Fenchel type inequality and an isoperimetric inequality
for the
mixed $f$-divergence are proved.

In this paper, we construct two classes of rational function
operators by using the Poisson integrals of the function on the
whole real
axis. The convergence rates of the uniform and mean approximation
of such rational function operators on the whole real axis are
studied.

This paper generalizes the Aleksandrov problem: the Mazur-Ulam
theorem on $n$-G-quasi normed spaces. It proves that a one-$n$-distance
preserving mapping is an $n$-isometry if and only if it has the
zero-$n$-G-quasi preserving property, and two kinds of $n$-isometries
on $n$-G-quasi normed space are equivalent; we generalize the
Benz theorem to n-normed spaces with no restrictions on the dimension
of spaces.