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 study the existence of fixed points for contraction multivalued
mappings in modular metric spaces endowed with a graph. The
notion of a modular metric on an arbitrary set and the corresponding
modular spaces, generalizing classical modulars over linear spaces
like Orlicz spaces, were recently introduced. This paper can
be seen as a generalization of Nadler's and Edelstein's fixed
point theorems to modular metric spaces endowed with a graph.

Let $\Gamma$ be a connection on a smooth manifold
$M$, in this paper we give some properties of $\Gamma$ by studying
the corresponding Lie algebras. In particular, we compute the
first Chevalley-Eilenberg cohomology space of the horizontal
vector fields Lie algebra on the tangent bundle of $M$, whose
the corresponding Lie derivative of $\Gamma$ is null, and of
the horizontal nullity curvature space.

The $Q_p$ spaces of holomorphic functions on
the disk, hyperbolic Riemann surfaces or complex unit ball have
been studied deeply.
Meanwhile, there are a lot of papers devoted to the $Q^\#_p$
classes of meromorphic functions on the disk or hyperbolic Riemann
surfaces. In this paper, we prove the nesting property (inclusion
relations) of $Q^\#_p$ classes on hyperbolic Riemann surfaces.
The same property for $Q_p$ spaces was also established systematically
and precisely in
earlier work
by the authors of this paper.

It is well known that the factorization properties of a domain are reflected
in the structure of its group of divisibility. The main theme of this paper
is to introduce a topological/graph-theoretic point of view to the current
understanding of factorization in integral domains. We also show that
connectedness properties in the graph and topological space give rise to a
generalization of atomicity.

Motivated by Almgren's work on the isoperimetric inequality,
we prove a sharp inequality relating the length and maximum curvature
of a closed curve in a complete, simply connected manifold of
sectional curvature at most $-1$. Moreover, if equality holds,
then the norm of the geodesic curvature is constant and the torsion
vanishes. The proof involves an application of the maximum principle
to a function defined on pairs of points.

The main aim of the present paper is to investigate various structural
properties
of hyperplanes of $c$, the Banach space of the convergent sequences.
In particular, we give an explicit formula for the projection
constants and we prove that an hyperplane of $c$ is isometric
to the whole space if and only if it is $1$-complemented. Moreover,
we obtain the classification
of those hyperplanes for which their duals are isometric to
$\ell_{1}$ and we give a complete description of the preduals
of $\ell_{1}$ under the assumption that the standard basis of
$\ell_{1}$
is weak$^{*}$-convergent.

In this paper, we consider the quasi-linear elliptic
problem
\[
\left\{
\begin{aligned}
&
-M
\left(\int_{\mathbb{R}^{N}}|x|^{-ap}|\nabla u|^{p}dx
\right){\rm
div}
\left(|x|^{-ap}|\nabla u|^{p-2}\nabla u
\right)
\\
&
\qquad=\frac{\alpha}{\alpha+\beta}H(x)|u|^{\alpha-2}u|v|^{\beta}+\lambda
h_{1}(x)|u|^{q-2}u,
\\
&
-M
\left(\int_{\mathbb{R}^{N}}|x|^{-ap}|\nabla v|^{p}dx
\right){\rm
div}
\left(|x|^{-ap}|\nabla v|^{p-2}\nabla v
\right)
\\
&
\qquad=\frac{\beta}{\alpha+\beta}H(x)|v|^{\beta-2}v|u|^{\alpha}+\mu
h_{2}(x)|v|^{q-2}v,
\\
&u(x)\gt 0,\quad v(x)\gt 0, \quad x\in \mathbb{R}^{N}
\end{aligned}
\right.
\]
where $\lambda, \mu\gt 0$, $1\lt p\lt N$,
$1\lt q\lt p\lt p(\tau+1)\lt \alpha+\beta\lt p^{*}=\frac{Np}{N-p}$, $0\leq
a\lt \frac{N-p}{p}$, $a\leq b\lt a+1$, $d=a+1-b\gt 0$, $M(s)=k+l s^{\tau}$,
$k\gt 0$, $l, \tau\geq0$ and the weight $H(x), h_{1}(x), h_{2}(x)$
are
continuous functions which change sign in $\mathbb{R}^{N}$. We
will prove that the problem has at least two positive solutions
by
using the Nehari manifold and the fibering maps associated with
the Euler functional for this problem.

A group $G$ is self dual if every
subgroup
of $G$ is isomorphic to a quotient of $G$ and every quotient
of $G$ is isomorphic to
a subgroup of $G$. It is minimal non-self dual if every
proper subgroup of $G$
is self dual but $G$ is not self dual. In this paper, the structure
of minimal non-self dual groups is determined.

We prove the non-existence of Hopf real hypersurfaces in complex
two-plane Grassmannians with harmonic curvature with respect
to the generalized Tanaka-Webster connection if they satisfy
some further conditions.

In a previous paper, we proved that $1$-d periodic fractional
Schrödinger equation with cubic nonlinearity is locally well-posed
in $H^s$ for $s\gt \frac{1-\alpha}{2}$ and globally well-posed for
$s\gt \frac{10\alpha-1}{12}$. In this paper we define an invariant
probability measure $\mu$ on $H^s$ for $s\lt \alpha-\frac{1}{2}$,
so that for any $\epsilon\gt 0$ there is a set $\Omega\subset H^s$
such that $\mu(\Omega^c)\lt \epsilon$ and the equation is globally
well-posed for initial data in $\Omega$. We see that this fills
the gap between the local well-posedness and the global well-posedness
range in almost sure sense for $\frac{1-\alpha}{2}\lt \alpha-\frac{1}{2}$,
i.e. $\alpha\gt \frac{2}{3}$ in almost sure sense.

An action of a Lie group $G$ on a smooth manifold $M$ is called
cohomogeneity one if the orbit space $M/G$ is of dimension $1$.
A Finsler metric $F$ on $M$ is called invariant if $F$ is
invariant under the action of $G$. In this paper,
we study invariant
Randers metrics on cohomogeneity one manifolds. We first give a
sufficient and necessary condition for the existence of invariant
Randers metrics on cohomogeneity one manifolds. Then we obtain
some results on invariant Killing vector fields on the
cohomogeneity one manifolds and use that to deduce some
sufficient and necessary condition for a cohomogeneity one
Randers metric to be Einstein.

We present various weighted integral inequalities for partial
derivatives acting on products and compositions of functions
which are applied to establish some new Opial-type inequalities
involving functions of several independent variables. We also
demonstrate the usefulness of our results in the field of partial
differential equations.

A magma $(M,\star)$ is a nonempty set with a binary
operation. A double magma $(M, \star, \bullet)$ is a
nonempty set with two binary operations satisfying the
interchange law,
$(w \star x) \bullet (y\star z)=(w\bullet y)\star(x \bullet
z)$. We call a double magma proper if the two operations
are distinct and commutative if the operations are commutative.
A double semigroup, first introduced by Kock,
is a double magma for which both operations are associative.
Given a non-trivial group $G$ we define a system of two magma
$(G,\star,\bullet)$ using the commutator operations $x \star
y = [x,y](=x^{-1}y^{-1}xy)$ and $x\bullet y = [y,x]$. We show
that $(G,\star,\bullet)$ is a double magma if and only if $G$
satisfies the commutator laws $[x,y;x,z]=1$ and $[w,x;y,z]^{2}=1$.
We note that the first law defines the class of 3-metabelian
groups. If both these laws hold in $G$, the double magma is proper
if and only if there exist $x_0,y_0 \in G$ for which $[x_0,y_0]^2
\not= 1$. This double magma is a double semigroup if and only
if $G$ is nilpotent of class two. We construct a specific example
of a proper double semigroup based on the dihedral group of order
16. In addition we comment on a similar construction for rings
using Lie commutators.

Let $p$ be a prime number and $F$ a field containing a root of
unity of order $p$.
We relate recent results on vanishing of triple Massey products
in the mod-$p$ Galois cohomology of $F$,
due to Hopkins, Wickelgren, Mináċ, and Tân, to classical
results in the theory of central simple algebras.
For global fields, we prove a stronger form of the vanishing
property.

We continue to investigate branching systems of directed graphs
and their connections with graph algebras. We give a sufficient
condition under which the representation induced from a branching
system of a directed graph is faithful and construct a large
class of branching systems that satisfy this condition. We finish
the paper by providing a proof of the converse of the Cuntz-Krieger
uniqueness theorem for graph algebras by means of branching systems.

In this article we prove the embedding theorem for inhomogeneous
Besov and Triebel-Lizorkin spaces on RD-spaces.
The crucial idea is to use the geometric density condition
on the measure.

We prove character sum estimates for additive Bohr subsets modulo
a prime.
These estimates are analogous to classical character sum bounds
of
Pólya-Vinogradov and Burgess. These estimates are applied to
obtain results on
recurrence mod $p$ by special elements.

In this paper, the authors characterize second-order Sobolev
spaces $W^{2,p}({\mathbb R}^n)$,
with $p\in [2,\infty)$ and $n\in\mathbb N$ or $p\in (1,2)$ and
$n\in\{1,2,3\}$, via the Lusin area
function and the Littlewood-Paley $g_\lambda^\ast$-function in
terms of ball means.

In this paper we define $VMO_\mathcal{P}$ space associated with
a family $\mathcal{P}$ of parabolic sections and show that the
dual of $VMO_\mathcal{P}$ is the Hardy space $H^1_\mathcal{P}$.
As an application, we prove that almost everywhere convergence
of a bounded sequence in $H^1_\mathcal{P}$ implies weak* convergence.

A master formula of transformation formulas for bilinear sums
of basic hypergeometric series
is proposed.
It is obtained from the author's previous results on
a transformation formula for Milne's multivariate generalization
of basic hypergeometric
series of type $A$ with different dimensions and it can be considered
as a
generalization of the Whipple-Sears transformation formula for
terminating balanced ${}_4 \phi_3$
series.
As an application of the master formula, the one variable cases
of some transformation formulas
for bilinear sums of basic hypergeometric series are given as
examples.
The bilinear transformation formulas seem to be new in the literature,
even in one variable case.

We define a refined motivic dimension for an algebraic variety
by modifying the definition of motivic dimension by Arapura.
We apply this to check and recheck the generalized Hodge conjecture
for certain varieties, such as uniruled, rationally connected
varieties and a rational surface fibration.

Suppose that $G$ is a
finite group and $H$ is a subgroup of $G$. $H$ is said to be
$s$-semipermutable in $G$ if $HG_{p}=G_{p}H$ for any Sylow
$p$-subgroup $G_{p}$ of $G$ with $(p,|H|)=1$; $H$ is said to be
$s$-quasinormally embedded in $G$ if for each prime $p$ dividing the
order of $H$, a Sylow $p$-subgroup of $H$ is also a Sylow
$p$-subgroup of some $s$-quasinormal subgroup of $G$. We fix in
every non-cyclic Sylow subgroup $P$ of $G$ some subgroup $D$
satisfying $1\lt |D|\lt |P|$ and study the structure of $G$ under the
assumption that every subgroup $H$ of $P$ with $|H|=|D|$ is either
$s$-semipermutable or $s$-quasinormally embedded in $G$.
Some recent results are generalized and unified.

There are several notions of Ricci curvature tensor
in Finsler geometry and spray geometry. One of them is defined by the
Hessian of the well-known Ricci curvature.
In this paper we will introduce a new notion of Ricci curvature
tensor and discuss its relationship with the Ricci curvature and some
non-Riemannian quantities. By this Ricci curvature tensor, we shall
have a better understanding on these non-Riemannian quantities.

This paper is concerned with the study of
the regularity for the multisublinear maximal operator. It is
proved that the multisublinear maximal operator is bounded on
first-order Sobolev spaces. Moreover, two key point-wise
inequalities for the partial derivatives of the multisublinear
maximal functions are established. As an application, the
quasi-continuity on the multisublinear maximal function is also
obtained.

Let $S_{k}(\Gamma)$ be the space of holomorphic cusp
forms of even integral weight $k$ for the full modular group
$SL(2, \mathbb{Z})$. Let
$\lambda_f(n)$, $\lambda_g(n)$, $\lambda_h(n)$ be the $n$th normalized
Fourier
coefficients of three distinct holomorphic primitive cusp forms
$f(z) \in S_{k_1}(\Gamma), g(z) \in S_{k_2}(\Gamma), h(z) \in
S_{k_3}(\Gamma)$ respectively.
In this paper we study the cancellations of sums related to arithmetic
functions, such as $\lambda_f(n)^4\lambda_g(n)^2$, $\lambda_g(n)^6$,
$\lambda_g(n)^2\lambda_h(n)^4$, and $\lambda_g(n^3)^2$ twisted
by
the arithmetic function $\lambda_f(n)$.

Anstee, Przytycki, and Rolfsen introduced the idea of rotants,
pairs of links related by a generalised form of link mutation.
We exhibit infinitely many pairs of rotants which can be distinguished
by Khovanov homology, but not by the Jones polynomial.

Parts of the Brunn-Minkowski theory can be extended to hedgehogs, which are
envelopes of families of affine hyperplanes parametrized by their Gauss map.
F. Fillastre introduced Fuchsian convex bodies, which are the
closed convex sets of Lorentz-Minkowski space that are globally invariant
under the action of a Fuchsian group. In this paper, we undertake a study of
plane Lorentzian and Fuchsian hedgehogs. In particular, we prove the
Fuchsian analogues of classical geometrical inequalities (analogues which
are reversed as compared to classical ones).

We study the restriction of the Bump-Friedberg integrals to affine
lines $\{(s+\alpha,2s),s\in\mathbb{C}\}$.
It has a simple theory, very close to that of the Asai $L$-function.
It is an integral representation of the product
$L(s+\alpha,\pi)L(2s,\Lambda^2,\pi)$ which we denote by $L^{lin}(s,\pi,\alpha)$
for this abstract, when $\pi$ is a cuspidal automorphic
representation of $GL(k,\mathbb{A})$ for
$\mathbb{A}$ the adeles of a number field. When $k$ is even, we show
that for a cuspidal automorphic representation $\pi$,
the partial $L$-function $L^{lin,S}(s,\pi,\alpha)$ has a pole
at $1/2$, if and only if $\pi$ admits a (twisted) global
period, this gives a more direct proof of a
theorem of Jacquet and Friedberg, asserting
that $\pi$ has a twisted global period if and only if $L(\alpha+1/2,\pi)\neq
0$ and $L(1,\Lambda^2,\pi)=\infty$.
When $k$ is odd, the partial $L$-function is holmorphic in a
neighbourhood of $Re(s)\geq 1/2$ when $Re(\alpha)$ is
$\geq 0$.

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]$.

In a group, a nonidentity element is called
a generalized torsion element if some product of its conjugates
equals the identity. We show that for many classical knots one
can find generalized torsion in the fundamental group of its
complement, commonly called the knot group. It follows that
such a group is not bi-orderable. Examples include all torus
knots, the (hyperbolic) knot $5_2$ and algebraic knots in the
sense of Milnor.

One can easily show that any meromorphic function
on a complex closed Riemann surface can be represented as a
composition of a birational map of this surface to $\mathbb{CP}^2$ and
a projection of the image curve from an appropriate point
$p\in \mathbb{CP}^2$ to the pencil of lines through $p$. We introduce
a natural stratification of Hurwitz spaces according to the
minimal degree of a plane curve such that a given meromorphic
function can be represented in the above way and calculate the
dimensions of these strata. We observe that they are closely
related to a family of Severi varieties studied earlier by J. Harris,
Z. Ran and I. Tyomkin.

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$.

Necessary and sufficient conditions are given for the existence
of a graph decomposition of the Kneser Graph $KG_{n,2}$ and of
the Generalized Kneser Graph $GKG_{n,3,1}$ into paths of length
three.

Let $n$ be a positive even integer, and let $F$ be a totally real
number field and $L$ be an abelian Galois extension which is totally
real or CM.
Fix a finite set $S$ of primes of $F$ containing the infinite primes
and all those which ramify in
$L$, and let $S_L$ denote the primes of $L$ lying above those in
$S$. Then $\mathcal{O}_L^S$ denotes the ring of $S_L$-integers of $L$.
Suppose that $\psi$ is a quadratic character of the Galois group of
$L$ over $F$. Under the assumption of the motivic Lichtenbaum
conjecture, we obtain a non-trivial annihilator of the motivic
cohomology group
$H_\mathcal{M}^2(\mathcal{O}_L^S,\mathbb{Z}(n))$ from the lead term of the Taylor series for the
$S$-modified Artin $L$-function $L_{L/F}^S(s,\psi)$ at $s=1-n$.

Given a measure $\bar\mu_\infty$ on a locally symmetric space $Y=\Gamma\backslash
G/K$,
obtained as a weak-{*} limit of probability measures associated
to
eigenfunctions of the ring of invariant differential operators,
we
construct a measure $\bar\mu_\infty$ on the homogeneous space $X=\Gamma\backslash
G$
which lifts $\bar\mu_\infty$ and which is invariant by a connected subgroup
$A_{1}\subset A$ of positive dimension, where $G=NAK$ is an Iwasawa
decomposition. If the functions are, in addition, eigenfunctions
of
the Hecke operators, then $\bar\mu_\infty$ is also the limit of measures
associated
to Hecke eigenfunctions on $X$. This generalizes results of the
author
with A. Venkatesh in the case where the spectral parameters
stay
away from the walls of the Weyl chamber.

This paper is concerned with the following
elliptic system of Hamiltonian type
\[
\left\{
\begin{array}{ll}
-\triangle u+V(x)u=W_{v}(x, u, v), \ \ \ \ x\in {\mathbb{R}}^{N},
\\
-\triangle v+V(x)v=W_{u}(x, u, v), \ \ \ \ x\in {\mathbb{R}}^{N},
\\
u, v\in H^{1}({\mathbb{R}}^{N}),
\end{array}
\right.
\]
where the potential $V$ is periodic and $0$ lies in a gap of
the spectrum of $-\Delta+V$, $W(x, s, t)$ is
periodic in $x$ and superlinear in $s$ and $t$ at infinity.
We develop a direct approach to find ground
state solutions of Nehari-Pankov type for the above system.
Especially, our method is applicable for the
case when
\[
W(x, u, v)=\sum_{i=1}^{k}\int_{0}^{|\alpha_iu+\beta_iv|}g_i(x,
t)t\mathrm{d}t
+\sum_{j=1}^{l}\int_{0}^{\sqrt{u^2+2b_juv+a_jv^2}}h_j(x,
t)t\mathrm{d}t,
\]
where $\alpha_i, \beta_i, a_j, b_j\in \mathbb{R}$ with $\alpha_i^2+\beta_i^2\ne
0$ and $a_j\gt b_j^2$, $g_i(x, t)$
and $h_j(x, t)$ are nondecreasing in $t\in \mathbb{R}^{+}$ for every
$x\in \mathbb{R}^N$ and $g_i(x, 0)=h_j(x, 0)=0$.

A surface $\Sigma$ endowed with a Poisson tensor
$\pi$ is known to admit
canonical integration, $\mathcal{G}(\pi)$,
which is a 4-dimensional manifold with a (symplectic) Lie groupoid
structure.
In this short note we show that if $\pi$ is not an area
form on the 2-sphere, then $\mathcal{G}(\pi)$ is diffeomorphic
to the cotangent bundle $T^*\Sigma$. This extends
results by the author and by Bonechi, Ciccoli, Staffolani, and Tarlini.

This paper presents a
theorem on universality on orthogonal polynomials/random matrices
under a weak local condition on the weight function $w$.
With a new inequality for
polynomials and with the use of fast decreasing polynomials,
it is shown that an approach of
D. S. Lubinsky is applicable. The proof works
at all points which are Lebesgue-points both
for the weight function $w$ and for $\log w$.

Assume that $R$ is a commutative Noetherian ring with non-zero
identity, $\mathfrak{a}$ is an ideal of $R$ and $X$ is an $R$--module.
In this paper, we first study the finiteness of Betti numbers
of local cohomology modules $\operatorname{H}_\mathfrak{a}^i(X)$. Then we give some
inequalities between the Betti numbers of $X$ and those of its
local cohomology modules. Finally, we present many upper bounds
for the flat dimension of $X$ in terms of the flat dimensions
of its local cohomology modules and an upper bound for the flat
dimension of $\operatorname{H}_\mathfrak{a}^i(X)$ in terms of the flat dimensions of
the modules $\operatorname{H}_\mathfrak{a}^j(X)$, $j\not= i$, and that of $X$.

Let $\eta(z)$ $(z \in \mathbb{C},\;\operatorname{Im}(z)\gt 0)$
denote the Dedekind eta function. We use a recent product-to-sum
formula in conjunction with conditions for the non-representability
of integers by certain ternary quadratic forms to give explicitly
10 eta quotients
\[
f(z):=\eta^{a(m_1)}(m_1 z)\cdots \eta^{{a(m_r)}}(m_r z)=\sum_{n=1}^{\infty}c(n)e^{2\pi
i nz},\quad z \in \mathbb{C},\;\operatorname{Im}(z)\gt 0,
\]
such that the Fourier coefficients $c(n)$ vanish for all positive
integers $n$ in each of infinitely many non-overlapping arithmetic
progressions. For example, it is shown that for $f(z)=\eta^4(z)\eta^{9}(4z)\eta^{-2}(8z)$
we have $c(n)=0$ for all $n$ in each of the arithmetic progressions
$\{16k+14\}_{k \geq 0}$, $\{64k+56\}_{k \geq 0}$, $\{256k+224\}_{k
\geq 0}$, $\{1024k+896\}_{k \geq 0}$, $\ldots$.

Under sufficiently strong assumptions about the first term in
an arithmetic progression, we prove that for any integer $a$,
there are infinitely many $n\in \mathbb N$ such that for each
prime factor $p|n$, we have $p-a|n-a$. This can be seen as a
generalization of Carmichael numbers, which are integers $n$
such that $p-1|n-1$ for every $p|n$.

We show that if $v$ is a regular semi-classical form
(linear functional), then the symmetric form $u$ defined by the
relation
$x^{2}\sigma u = -\lambda v$,
where $(\sigma f)(x)=f(x^{2})$ and the odd
moments of $u$ are $0$, is also
regular and semi-classical form for every
complex $\lambda $ except for a discrete set of numbers depending
on $v$. We give explicitly the three-term recurrence relation
and the
structure relation coefficients of the orthogonal polynomials
sequence associated with $u$ and the class of the form $u$ knowing
that of $v$. We conclude with an illustrative example.

A graph $G=(V,E)$ is $L$-colorable if for a given list
assignment $L=\{L(v):v\in V(G)\}$, there exists a proper coloring
$c$ of $G$ such that $c(v)\in L(v)$ for all $v\in V$. If $G$ is
$L$-colorable for every list assignment $L$ with $|L(v)|\geq
k$ for
all $v\in V$, then $G$ is said to be $k$-choosable. Montassier
(Inform. Process. Lett. 99 (2006) 68-71) conjectured that every
planar
graph without cycles of length 4, 5, 6, is 3-choosable. In this
paper,
we prove that every planar graph without 5-, 6- and 10-cycles,
and
without two triangles at distance less than 3 is 3-choosable.