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.
A Short Proof of Paouris' Inequality Adamczak, Radosław; Latała, Rafał; Litvak, Alexander E.; Oleszkiewicz, Krzysztof; Pajor, Alain; Tomczak-Jaegermann, Nicole Published: 2012-08-25
We give a short proof of a result of G.~Paouris on
the tail behaviour of the Euclidean norm $|X|$ of an isotropic
log-concave random vector $X\in\mathbb{R}^n,$
stating that for every $t\geq 1$,
\[\mathbb{P} \big( |X|\geq ct\sqrt n\big)\leq \exp(-t\sqrt n).\]
More precisely we show that for any log-concave random vector $X$
and any $p\geq 1$,
\[(\mathbb{E}|X|^p)^{1/p}\sim \mathbb{E} |X|+\sup_{z\in
S^{n-1}}(\mathbb{E} |\langle
z,X\rangle|^p)^{1/p}.\]
Let $G$ be a graph. The minimum number of colors needed to color the edges of
$G$ is called the chromatic index of $G$ and is denoted by $\chi'(G)$.
It is well-known that $\Delta(G) \leq \chi'(G) \leq \Delta(G)+1$, for any
graph $G$, where $\Delta(G)$ denotes the maximum degree of $G$. A graph $G$ is said to be
Class $1$ if $\chi'(G) = \Delta(G)$ and Class $2$ if
$\chi'(G) = \Delta(G) + 1$. Also, $G_\Delta$ is the induced subgraph on all vertices of degree $\Delta(G)$.
Let $f:V(G)\rightarrow \mathbb{N}$ be a function.
An $f$-coloring of a graph $G$ is a coloring of the edges
of $E(G)$ such that each color appears at each vertex $v\in V(G)$ at
most $f (v)$ times. The minimum number of colors needed
to $f$-color $G$ is called the $f$-chromatic index of $G$ and
is denoted by $\chi'_{f}(G)$. It was shown that for every graph $G$, $\Delta_{f}(G)\le \chi'_{f}(G)\le \Delta_{f}(G)+1$, where $\Delta_{f}(G)=\max_{v\in V(G)} \big\lceil \frac{d_G(v)}{f(v)}\big\rceil$. A graph $G$ is said to be $f$-Class $1$ if $\chi'_{f}(G)=\Delta_{f}(G)$, and $f$-Class $2$, otherwise. Also, $G_{\Delta_f}$ is the induced subgraph of $G$ on $\{v\in V(G):\,\frac{d_G(v)}{f(v)}=\Delta_{f}(G)\}$.
Hilton and Zhao showed that if $G_{\Delta}$ has maximum degree two and $G$ is Class $2$, then $G$ is critical, $G_{\Delta}$ is a disjoint union of cycles and $\delta(G)=\Delta(G)-1$, where $\delta(G)$ denotes the minimum degree of $G$, respectively. In this paper, we generalize this theorem to $f$-coloring of graphs. Also, we determine the $f$-chromatic index of a connected graph $G$ with $|G_{\Delta_f}|\le 4$.
We study the behavior of the eigenvalues of a sublaplacian $\Delta_b$ on a compact strictly pseudoconvex CR manifold $M$, as functions on the set
${\mathcal P}_+$ of positively oriented contact forms on $M$ by endowing ${\mathcal P}_+$ with a natural metric topology.
To every subnormal $m$-variable weighted shift $S$ (with bounded
positive weights) corresponds a positive Reinhardt measure $\mu$
supported on a compact Reinhardt subset of $\mathbb C^m$. We show that, for
$m \geq 2$, the dimensions of the $1$-st cohomology vector spaces
associated with the Koszul complexes of $S$ and its dual ${\tilde S}$
are different if a certain radial function happens to be integrable
with respect to $\mu$ (which is indeed the case with many classical
examples). In particular, $S$ cannot in that case be similar to
${\tilde S}$. We next prove that, for $m \geq 2$, a Fredholm subnormal
$m$-variable weighted shift $S$ cannot be similar to its dual.
We introduce and study some new function spaces on Riemann
surfaces. For certain parameter values these spaces coincide with
the classical Dirichlet space, BMOA or the recently
defined $Q_p$ space. We establish inclusion relations that
generalize earlier known inclusions between the above-mentioned
spaces.
We give a characterization of hypercyclic abelian group
$\mathcal{G}$ of affine maps on $\mathbb{C}^{n}$. If $\mathcal{G}$
is finitely generated, this characterization is explicit. We prove
in particular
that no abelian group generated by $n$ affine maps on $\mathbb{C}^{n}$ has a dense orbit.
In this paper, we study rational approximations for certain algebraic power series over a finite field.
We obtain results for irrational elements of strictly positive degree
satisfying an equation of the type
\begin{equation}
\alpha=\displaystyle\frac{A\alpha^{q}+B}{C\alpha^{q}}
\end{equation}
where $(A, B, C)\in
(\mathbb{F}_{q}[X])^{2}\times\mathbb{F}_{q}^{\star}[X]$.
In particular,
we will give, under some conditions on the polynomials $A$, $B$
and $C$, well approximated elements satisfying this equation.
We introduce and investigate the notion of envelope dimension of
commutative rings and modules over them. In particular, we show that
the envelope dimension of a ring, $R$, is equal to that of the
$R$-module $R^{(\mathbb{N})}$. Also we prove that the Krull dimension of a
ring is no more than its envelope dimension and characterize
Noetherian rings for which these two dimensions are equal. Moreover we
generalize and study the concept of simplified radical formula for
modules, which
we defined in an earlier paper.
Let $(R,{\frak m})$ be a non-zero commutative Noetherian local ring
(with identity), $M$ be a non-zero finitely generated $R$-module. In
this paper for any ${\frak p}\in {\rm Spec}(R)$ we show that
$
\operatorname{{\rm injdim_{_{R_{\frak p}}}}}
H^{i-\dim(R/{\frak p})}_{{\frak p}R_{\frak p}}(M_{\frak p})$ and
${\rm fd}_{R_{\p}} H^{i-\dim(R/{\frak p})}_{{\frak p}R_{\frak
p}}(M_{\frak p})$ are bounded from above by $
\operatorname{{\rm injdim_{_{R}}}}
H^i_{\frak
m}(M)$ and
$ {\rm fd}_R H^i_{\frak m}(M)$ respectively, for all integers $i\geq \dim(R/{\frak p})$.
For any finite Galois extension $K$ of $\mathbb Q$
and any conjugacy class $C$ in $\operatorname {Gal}(K/\mathbb Q)$,
we show that there exist infinitely many Carmichael numbers
composed solely of primes for which the associated class of Frobenius
automorphisms is $C$. This result implies that for every natural
number $n$ there are infinitely many Carmichael numbers of the form
$a^2+nb^2$ with $a,b\in\mathbb Z $.
It is a well-known fact, that the greatest ambit for
a topological group $G$ is the Samuel compactification of $G$ with
respect to the right uniformity on $G.$ We apply the original
description by Samuel from 1948 to give a simple computation of the
universal minimal flow for groups of automorphisms of uncountable
structures using Fraïssé theory and Ramsey theory. This work
generalizes some of the known results about countable structures.
Let $b\gt 1$ be an integer. We prove that for almost all $n$, the sum of the
digits in base $b$ of the numerator of the Bernoulli number $B_{2n}$
exceeds $c\log n$, where $c:=c(b)\gt 0$ is some constant depending on
$b$.
Given an integer $n \geq 3$,
a metrizable compact topological $n$-manifold $X$ with boundary,
and a finite positive Borel measure $\mu$ on $X$,
we prove that for the typical homeomorphism $f : X \to X$,
it is true that for $\mu$-almost every point $x$ in $X$ the restriction of
$f$ (respectively of $f^{-1}$) to the omega limit set $\omega(f,x)$
(respectively to the alpha limit set $\alpha(f,x)$) is topologically
conjugate to the universal odometer.
Some subadditivity inequalities for matrices and concave functions also hold for Hilbert space operators, but (unfortunately!) with an additional $\varepsilon$ term. It seems not possible to erase this residual term. However, in case of compact operators we show that the $\varepsilon$ term is unnecessary. Further, these inequalities are strict in a certain sense when some natural assumptions are satisfied. The discussion also stresses on matrices and their compressions and several open questions or conjectures are considered, both in the matrix and operator settings.
An improved estimate is provided for the number of $\mathbb{F}_q$-rational points
on a geometrically irreducible, projective, cubic hypersurface that is
not equal to a cone.
For Banach spaces $X$ and $Y$, we show that if $X^\ast$ and $Y$ are
weakly sequentially complete and every weakly compact operator from
$X$ to $Y$ is compact then the space of all compact operators from $X$
to $Y$ is weakly sequentially complete. The converse is also true if,
in addition, either $X^\ast$ or $Y$ has the bounded compact
approximation property.
The unitary extension principle (UEP) by Ron and Shen yields a
sufficient condition for the construction of Parseval wavelet frames with
multiple generators. In this paper we characterize the UEP-type wavelet systems that
can be extended to a Parseval wavelet frame by adding just one UEP-type wavelet
system. We derive a condition that is necessary for the extension of a UEP-type
wavelet system to any Parseval wavelet frame with any number of generators, and
prove that this condition is also sufficient to ensure that an extension
with just two generators is possible.
In this work we introduce a class of discrete groups containing
subgroups of abstract translations and dilations, respectively. A
variety of wavelet systems can appear as $\pi(\Gamma)\psi$, where $\pi$ is
a unitary representation of a wavelet group and $\Gamma$ is the abstract
pseudo-lattice $\Gamma$. We prove a condition in order that a Parseval
frame $\pi(\Gamma)\psi$ can be dilated to an orthonormal basis of the
form $\tau(\Gamma)\Psi$ where $\tau$ is a super-representation of
$\pi$. For a subclass of groups that includes the case where the
translation subgroup is Heisenberg, we show that this condition
always holds, and we cite familiar examples as applications.
Let ${\mathcal X}$ be a locally compact metric space and let
${\mathcal A}$ be any of the Lipschitz algebras
${\operatorname{Lip}_{\alpha}{\mathcal X}}$, ${\operatorname{lip}_{\alpha}{\mathcal X}}$ or
${\operatorname{lip}_{\alpha}^0{\mathcal X}}$. In this paper, we show, as a
consequence of rather more general results on Banach algebras,
that ${\mathcal A}$ is $C$-character amenable if and only if
${\mathcal X}$ is uniformly discrete.
Let $H^2(\Omega)$ be the Hardy space on a strictly pseudoconvex domain $\Omega \subset
\mathbb{C}^n$,
and let $A \subset L^\infty(\partial \Omega)$ denote the subalgebra of all $L^\infty$-functions $f$
with compact Hankel operator $H_f$. Given any closed subalgebra $B \subset A$ containing $C(\partial \Omega)$,
we describe the first Hochschild cohomology group of the
corresponding Toeplitz algebra $\mathcal(B) \subset B(H^2(\Omega))$.
In particular, we show that every derivation on $\mathcal{T}(A)$ is inner. These results are new even for $n=1$,
where it follows that every derivation on $\mathcal{T}(H^\infty+C)$ is inner, while there are non-inner
derivations on $\mathcal{T}(H^\infty+C(\partial \mathbb{B}_n))$ over
the unit ball $\mathbb{B}_n$ in dimension $n\gt 1$.
We prove a necessary and sufficient condition on the list of
nonzero integers $u_1,\dots,u_k$, $k \geq 2$, under which a monic
polynomial $f \in \mathbb{Z}[x]$ is expressible by a linear form
$u_1f_1+\dots+u_kf_k$ in monic polynomials $f_1,\dots,f_k \in
\mathbb{Z}[x]$. This condition is independent of $f$. We also show that if
this condition holds, then the monic polynomials $f_1,\dots,f_k$
can be chosen to be irreducible in $\mathbb{Z}[x]$.
In this paper we study the notion of equivariant forms introduced in
the authors' previous works. In particular, we completely classify all the
equivariant forms for a subgroup of
$\operatorname{SL}_2(\mathbb{Z})$
by means of the cross-ratio, the weight
2 modular forms, the quasimodular forms, as well as differential forms
of a Riemann surface and sections of a canonical line bundle.
Let $X$ be a compact metric space. A lower bound for the radius of
comparison of the C*-algebra $\operatorname{C}(X)$ is given in terms of
$\operatorname{dim}_{\mathbb{Q}} X$, where $\operatorname{dim}_{\mathbb{Q}} X $ is
the cohomological dimension with rational coefficients. If
$\operatorname{dim}_{\mathbb{Q}} X =\operatorname{dim} X=d$, then the
radius of comparison of the C*-algebra $\operatorname{C}(X)$ is $\max\{0, (d-1)/2-1\}$ if $d$ is odd, and must be either $d/2-1$ or $d/2-2$ if $d$ is even (the possibility of $d/2-1$ does occur, but we do not know if the possibility of $d/2-2$ also can occur).
Let $A$ be a Banach algebra and $\pi \colon A \longrightarrow \mathscr L(H)$
be a continuous representation of $A$ on a separable Hilbert space $H$
with $\dim H =\frak m$. Let $\pi_{ij}$ be the coordinate functions of
$\pi$ with respect to an orthonormal basis and suppose that for each
$1\le j \le \frak m$, $C_j=\sum_{i=1}^{\frak m}
\|\pi_{ij}\|_{A^*}\lt \infty$ and $\sup_j C_j\lt \infty$. Under these
conditions, we call an element $\overline\Phi \in l^\infty (\frak m , A^{**})$
left $\pi$-invariant if $a\cdot \overline\Phi ={}^t\pi (a) \overline\Phi$ for all
$a\in A$. In this paper we prove a link between the existence
of left $\pi$-invariant elements and the vanishing of certain
Hochschild cohomology groups of $A$. Our results extend an earlier
result by Lau on $F$-algebras and recent results of Kaniuth-Lau-Pym
and the second named author in the special case that $\pi \colon A
\longrightarrow \mathbf C$ is a non-zero character on $A$.
e prove that, given any covering of any infinite-dimensional Hilbert space $H$ by countably many closed balls, some point exists in $H$ which belongs to infinitely many balls. We do that by characterizing isomorphically polyhedral separable Banach spaces as those whose unit sphere admits a point-finite covering by the union of countably many slices of the unit ball.
In the paper, we characterize Jordan $*$-derivations of a $2$-torsion
free, finite-dimensional semiprime algebra $R$ with involution $*$. To
be precise, we prove the theorem: Let $deltacolon R o R$ be a Jordan
$*$-derivation. Then there exists a $*$-algebra decomposition
$R=Uoplus V$ such that both $U$ and $V$ are invariant under
$delta$. Moreover, $*$ is the identity map of $U$ and $delta,|_U$ is a
derivation, and the Jordan $*$-derivation $delta,|_V$ is inner.
We also prove the theorem: Let $R$ be a noncommutative, centrally
closed prime algebra with involution $*$, $operatorname{char},R
e 2$,
and let $delta$ be a nonzero Jordan $*$-derivation of $R$. If $delta$ is
an elementary operator of $R$, then $operatorname{dim}_CRlt infty$ and
$delta$ is inner.
In this paper, the dimension function of a self-affine generalized scaling set associated with an $n\times n$ integral expansive dilation $A$ is studied. More specifically, we consider the dimension function of an $A$-dilation generalized scaling set $K$ assuming that $K$ is a self-affine tile satisfying $BK = (K+d_1) \cup (K+d_2)$, where $B=A^t$, $A$ is an $n\times n$ integral expansive matrix with $\lvert \det A\rvert=2$, and $d_1,d_2\in\mathbb{R}^n$. We show that the dimension function of $K$ must be constant if either $n=1$ or $2$ or one of the digits is $0$, and that it is bounded by $2\lvert K\rvert$ for any $n$.
We prove that every braiding over a unitary fusion category is
unitary and every unitary braided fusion category admits a unique
unitary ribbon structure.
For $S\subseteq\mathbb R^n$ a set
$C\subseteq S$ is an $m$-clique if the convex hull of no $m$-element subset of
$C$ is contained in $S$.
We show that there is essentially just one way to construct
a closed set $S\subseteq\mathbb R^2$ without an uncountable
$3$-clique that is not the union of countably many convex sets.
In particular, all such sets have the same convexity number;
that is, they
require the same number of convex subsets to cover them.
The main result follows from an analysis of the convex structure of closed
sets in $\mathbb R^2$ without uncountable 3-cliques in terms of
clopen, $P_4$-free graphs on Polish spaces.
In a paper from 1976, Berg, Christensen and Ressel prove that the
closure of the cone of sums of squares $\sum
\mathbb{R}[\underline{X}]^2$ in the polynomial ring
$\mathbb{R}[\underline{X}] := \mathbb{R}[X_1,\dots,X_n]$ in the
topology induced by the $\ell_1$-norm is equal to
$\operatorname{Pos}([-1,1]^n)$, the cone consisting of all polynomials
which are non-negative on the hypercube $[-1,1]^n$. The result is
deduced as a corollary of a general result, established in the same
paper, which is valid for any commutative semigroup.
In later work, Berg and Maserick and Berg, Christensen and Ressel
establish an even more general result, for a commutative semigroup
with involution, for the closure of the cone of sums of squares of
symmetric elements in the weighted $\ell_1$-seminorm topology
associated to an absolute value.
In the present paper we give a new proof of these results which is
based on Jacobi's representation theorem from 2001. At the same time,
we use Jacobi's representation theorem to extend these results from
sums of squares to sums of $2d$-powers, proving, in particular, that
for any integer $d\ge 1$, the closure of the cone of sums of
$2d$-powers $\sum \mathbb{R}[\underline{X}]^{2d}$ in
$\mathbb{R}[\underline{X}]$ in the topology induced by the
$\ell_1$-norm is equal to $\operatorname{Pos}([-1,1]^n)$.
Dimension groups (not countable) that are also real ordered vector
spaces can be obtained as direct limits (over directed sets) of
simplicial real vector spaces (finite dimensional vector spaces with
the coordinatewise ordering), but the directed set is not as
interesting as one would like, i.e., it is not true that a
countable-dimensional real vector space that has interpolation can be
represented as such a direct limit over the a countable directed
set. It turns out this is the case when the group is additionally
simple, and it is shown that the latter have an ordered tensor product
decomposition. In the Appendix, we provide a huge class of polynomial
rings that, with a pointwise ordering, are shown to satisfy
interpolation, extending a result outlined by Fuchs.
Ziegler's Indecomposability Criterion is used to prove that a totally
transcendental, i.e., $\Sigma$-pure injective, indecomposable left
module over a left noetherian ring is a directed union of finitely
generated indecomposable modules. The same criterion is also used to
give a sufficient condition for a pure injective indecomposable module
${_R}U$ to have an indecomposable local dual $U_R^{\sharp}.$
In this paper we give a lower bound
with respect to block length
for the trace of non-elliptic conjugacy classes
of the Hecke groups.
One consequence of our bound
is that there are finitely many
conjugacy classes of a given trace in any Hecke group.
We show that another consequence of our bound
is that
class numbers are finite for
related hyperbolic \( \mathbb{Z}[\lambda] \)-binary quadratic forms.
We give canonical class representatives
and calculate class numbers
for some classes of hyperbolic \( \mathbb{Z}[\lambda] \)-binary quadratic forms.
The Mahler measure of a nonzero $n$-variable polynomial $P$ is the integral of
$\log|P|$ on the unit $n$-torus. A result of Boyd and Lawton says that
the Mahler measure of a multivariate polynomial is the limit of Mahler
measures of univariate polynomials. We prove the analogous
result for different extensions of Mahler measure such as generalized
Mahler measure (integrating the maximum of $\log|P|$ for possibly
different $P$'s),
multiple Mahler measure (involving products of $\log|P|$ for possibly
different $P$'s), and higher Mahler measure (involving $\log^k|P|$).
Nontrivial pairs of zero-divisors in group rings are
introduced and discussed. A problem on the existence of nontrivial
pairs of zero-divisors in group rings of free Burnside groups of odd
exponent $n \gg 1$ is solved in the affirmative. Nontrivial pairs of
zero-divisors are also found in group rings of free products of groups
with torsion.
We show that a regular locally compact quantum group $\mathbb{G}$ is discrete
if and only if $\mathcal{L}^{\infty}(\mathbb{G})$ contains non-zero compact operators on
$\mathcal{L}^{2}(\mathbb{G})$.
As a corollary we classify all discrete quantum groups among
regular locally compact quantum groups $\mathbb{G}$ where
$\mathcal{L}^{1}(\mathbb{G})$ has the Radon--Nikodym property.
ny homogeneous,
metric $ANR$-continuum is a $V^n_G$-continuum provided $\dim_GX=n\geq
1$ and $\check{H}^n(X;G)\neq 0$, where $G$ is a principal ideal
domain.
This implies that any homogeneous $n$-dimensional metric $ANR$-continuum is a $V^n$-continuum in the sense of Alexandroff.
We also prove that any finite-dimensional homogeneous metric continuum
$X$, satisfying $\check{H}^n(X;G)\neq 0$ for some group $G$ and $n\geq
1$, cannot be separated by
a compactum $K$ with $\check{H}^{n-1}(K;G)=0$ and $\dim_G K\leq
n-1$. This provides a partial answer to a question of
Kallipoliti-Papasoglu
whether any two-dimensional homogeneous Peano continuum cannot be separated by arcs.
We consider semicrossed products of the disk algebra with respect to
endomorphisms defined by finite Blaschke products. We characterize the Jacobson radical
of these operator algebras. Furthermore, in the case the finite Blaschke product is elliptic,
we show that the semicrossed product contains no nonzero quasinilpotent
elements. However, if the finite Blaschke product is hyperbolic or parabolic with positive hyperbolic step,
the Jacobson radical is nonzero and a proper subset of the set of quasinilpotent elements.
In this paper we study uniqueness of entire functions
sharing a non-zero finite value with linear differential polynomials
and address a result of W. Wang and P. Li.
Let $\Gamma_1$ and $\Gamma_2$ be Bieberbach groups contained in the
full isometry group $G$ of $\mathbb{R}^n$.
We prove that if the compact flat manifolds $\Gamma_1\backslash\mathbb{R}^n$ and
$\Gamma_2\backslash\mathbb{R}^n$ are strongly isospectral then the Bieberbach groups
$\Gamma_1$ and $\Gamma_2$ are representation equivalent, that is, the
right regular representations $L^2(\Gamma_1\backslash G)$ and
$L^2(\Gamma_2\backslash G)$ are unitarily equivalent.
If $A$ is a $\sigma$-unital $C^*$-algebra and $a$ is a strictly positive element of $A$ then for every compact subset $K$ of the complete
regularization $\mathrm{Glimm}(A)$ of $\mathrm{Prim}(A)$ there exists
$\alpha \gt 0$ such that $K\subset \{G\in \mathrm{Glimm}(A) \mid \Vert a + G\Vert \geq
\alpha\}$. This extends
a result of J. Dauns
to all $\sigma$-unital $C^*$-algebras. However, there are a $C^*$-algebra $A$
and a compact subset of $\mathrm{Glimm}(A)$ that is not contained in any set of the form $\{G\in \mathrm{Glimm}(A) \mid \Vert a + G\Vert \geq
\alpha\}$, $a\in A$ and $\alpha \gt 0$.
We verify
our earlier conjecture
and use it to prove that the
semisimple parts of the rational Jordan-Kac-Vinberg decompositions of
a rational vector all lie in a single rational orbit.
Let $X, Y$ be metric spaces and $E, F$ be Banach spaces. Suppose that
both $X,Y$ are realcompact, or both $E,F$ are realcompact.
The zero set of a vector-valued function $f$ is denoted by $z(f)$.
A linear bijection $T$ between local or generalized Lipschitz vector-valued function spaces
is said to preserve zero-set containments or nonvanishing functions
if
\[z(f)\subseteq z(g)\quad\Longleftrightarrow\quad z(Tf)\subseteq z(Tg),\]
or
\[z(f) = \emptyset\quad \Longleftrightarrow\quad z(Tf)=\emptyset,\]
respectively.
Every zero-set containment preserver, and every nonvanishing function preserver when
$\dim E =\dim F\lt +\infty$, is a weighted composition operator
$(Tf)(y)=J_y(f(\tau(y)))$.
We show that the map $\tau\colon Y\to X$ is a locally (little) Lipschitz homeomorphism.
Let $R$ be a semiprime ring with center
$Z(R)$. For $x,y\in R$, we denote by $[x,y]=xy-yx$ the commutator of
$x$ and $y$. If $\sigma$ is a non-identity automorphism of $R$ such
that
$$
\Big[\big[\dots\big[[\sigma(x^{n_0}),x^{n_1}],x^{n_2}\big],\dots\big],x^{n_k}\Big]=0
$$
for all $x \in R$, where $n_{0},n_{1},n_{2},\dots,n_{k}$ are fixed
positive integers, then there exists a map $\mu\colon R\rightarrow Z(R)$
such that $\sigma(x)=x+\mu(x)$ for all $x\in R$. In particular, when
$R$ is a prime ring, $R$ is commutative.
We give a partial answer to a conjecture of Dostanić on the
determination of the norm of a class of integral operators induced
by the weighted Bergman projection in the upper half plane.
Let $a_1, \cdots, a_9$ be non-zero integers and $n$ any integer. Suppose
that $a_1+\cdots+a_9 \equiv n( \textrm{mod}\,2)$ and $(a_i, a_j)=1$ for $1 \leq i \lt j \leq 9$.
In this paper we prove that (i) if $a_j$ are not all of the same sign, then the above cubic
equation has prime solutions satisfying
$p_j \ll |n|^{1/3}+\textrm{max}\{|a_j|\}^{14+\varepsilon};$
and (ii) if all $a_j$ are positive and $n \gg \textrm{max}\{|a_j|\}^{43+\varepsilon}$, then the cubic
equation $a_1p_1^3+\cdots +a_9p_9^3=n$ is soluble in primes $p_j$.
This result is the extension of the linear and quadratic relative problems.
We give a simple proof of the value of the resultant of two Chebyshev polynomials
(of the first or the second kind),
values lately obtained by D. P. Jacobs, M. O. Rayes and V. Trevisan.
In this article, via the classical complex interpolation method
and some interpolation methods traced to Gagliardo,
the authors obtain an interpolation theorem for
Morrey spaces on quasi-metric measure spaces, which generalizes
some known results on ${\mathbb R}^n$.
We give an upper bound for the number elliptic Carmichael numbers $n \le x$
that have recently been introduced by J. H. Silverman in the case of an elliptic curve without complex multiplication (non CM). We also discuss
several possible ways for further improvements.
This paper gives a new upper bound for the essential dimension and the
essential 2-dimension of the split simply connected group of type
$E_7$ over a field of characteristic not 2 or 3. In particular,
$\operatorname{ed}(E_7) \leq 29$, and $\operatorname{ed}(E_7;2) \leq 27$.
For an $N$-step self-avoiding walk on the hypercubic lattice ${\bf Z}^d$,
we prove that the mean-square end-to-end distance is at least
$N^{4/(3d)}$ times a constant.
This implies that the associated critical exponent $\nu$ is
at least $2/(3d)$, assuming that $\nu$ exists.
We prove that for simple complex finite dimensional
Lie algebras, affine Kac-Moody Lie algebras, the
Virasoro algebra and the Heisenberg-Virasoro algebra,
simple highest weight modules are characterized
by the property that all positive root elements
act on these modules locally nilpotently. We
also show that this is not the case for higher rank
Virasoro and for Heisenberg algebras.
We establish asymptotics and uniqueness (up
to translation) of travelling waves for delayed 2D lattice equations
with non-monotone birth functions. First, with the help of
Ikehara's Theorem, the a priori asymptotic behavior of
travelling wave is exactly derived. Then, based on the obtained
asymptotic behavior, the uniqueness of the traveling waves is
proved. These results complement earlier results in the literature.
In this paper, we study Camina triples. Camina triples are a
generalization of Camina pairs. Camina pairs were first introduced
in 1978 by A .R. Camina.
Camina's work
was inspired by the study of Frobenius groups. We
show that if $(G,N,M)$ is a Camina triple, then either $G/N$ is a
$p$-group, or $M$ is abelian, or $M$ has a non-trivial nilpotent or
Frobenius quotient.
Given a group automorphism $\phi:\Gamma\longrightarrow \Gamma$, one has
an action of $\Gamma$ on itself by $\phi$-twisted conjugacy, namely, $g.x=gx\phi(g^{-1})$.
The orbits of this action are called $\phi$-twisted conjugacy classes. One says
that $\Gamma$ has the $R_\infty$-property if there are infinitely many $\phi$-twisted conjugacy
classes for every automorphism $\phi$ of $\Gamma$. In this paper we
show that $\operatorname{SL}(n,\mathbb{Z})$ and its
congruence subgroups have the $R_\infty$-property. Further we show that
any (countable) abelian extension of $\Gamma$ has the $R_\infty$-property where $\Gamma$ is a torsion
free non-elementary hyperbolic group, or $\operatorname{SL}(n,\mathbb{Z}),
\operatorname{Sp}(2n,\mathbb{Z})$ or a principal congruence
subgroup of $\operatorname{SL}(n,\mathbb{Z})$ or the fundamental group of a complete Riemannian
manifold of constant negative curvature.
Let $T$ be a contraction on a complex, separable, infinite dimensional
Hilbert space and let $\sigma \left( T\right) $ (resp. $\sigma _{e}\left(
T\right) )$ be its spectrum (resp. essential spectrum). We assume that $T$
is an essentially isometric operator, that is $I_{H}-T^{\ast }T$ is compact.
We show that if $D\diagdown \sigma \left( T\right) \neq \emptyset ,$ then
for every $f$ from the disc-algebra,
\begin{equation*}
\sigma _{e}\left( f\left( T\right) \right) =f\left( \sigma _{e}\left(
T\right) \right) ,
\end{equation*}
where $D$ is the open unit disc. In addition, if $T$ lies in the class
$ C_{0\cdot }\cup C_{\cdot 0},$ then
\begin{equation*}
\sigma _{e}\left( f\left( T\right) \right) =f\left( \sigma \left( T\right)
\cap \Gamma \right) ,
\end{equation*}
where $\Gamma $ is the unit circle. Some related problems are also discussed.
We prove weak-type $(1,1)$ estimates for compositions of maximal
operators with singular integrals. Our main object of interest is the
operator $\Delta^*\Psi$ where $\Delta^*$ is Bourgain's maximal
multiplier operator and $\Psi$ is the sum of several modulated
singular integrals; here our method yields a significantly improved
bound for the $L^q$ operator norm when $1 \lt q \lt 2.$ We also consider
associated variation-norm estimates.
In a multiplication module, prime submodules have the property, if a prime
submodule contains a finite intersection of submodules then one of the
submodules is contained in the prime submodule. In this paper, we generalize
this property to infinite intersection of submodules and call such prime
submodules strongly prime submodule. A multiplication module in which every
prime submodule is strongly prime will be called strongly 0-dimensional
module. It is also an extension of strongly 0-dimensional rings. After
this we investigate properties of strongly 0-dimensional modules and give
relations of von Neumann regular modules, Q-modules and strongly
0-dimensional modules.
In this paper we characterize $K$-contact semi-Riemannian manifolds
and Sasakian semi-Riemannian manifolds in terms of
curvature. Moreover, we show that any conformally flat $K$-contact
semi-Riemannian manifold is Sasakian and of constant sectional
curvature $\kappa=\varepsilon$, where $\varepsilon =\pm 1$ denotes
the causal character of the Reeb vector field. Finally, we give some
results about the curvature of a $K$-contact Lorentzian manifold.
We identify the quantum limits of scattering states
for the modular surface. This is obtained through the study of quantum
measures of non-holomorphic Eisenstein series away from the critical
line. We provide a range of stability for the quantum unique
ergodicity theorem of Luo and Sarnak.
This paper provides an erratum to Y. N. Petridis,
N. Raulf, and M. S. Risager, ``Quantum Limits
of Eisenstein Series and Scattering States.'' Canad. Math. Bull., published
online 2012-02-03, http://dx.doi.org/10.4153/CMB-2011-200-2.
Let $1 \lt p_1 \leq p_2 \leq p_3 \leq \dots$ be an infinite sequence
$\mathcal{P}$ of real numbers for which $p_i \to \infty$, and associate to
this sequence the Beurling zeta function $\zeta_{\mathcal{P}}(s):=
\prod_{i=1}^{\infty}(1-p_i^{-s})^{-1}$. Suppose that for some constant
$A\gt 0$, we have
$\zeta_{\mathcal{P}}(s) \sim A/(s-1)$, as $s\downarrow 1$. We prove that
$\mathcal{P}$ satisfies an analogue of a classical theorem of Mertens:
$\prod_{p_i \leq x}(1-1/p_i)^{-1} \sim A \e^{\gamma} \log{x}$, as
$x\to\infty$.
Here $\e = 2.71828\ldots$ is the base of the natural logarithm and
$\gamma = 0.57721\ldots$ is the usual Euler--Mascheroni constant. This
strengthens a recent theorem of Olofsson.
We prove that if $f:\mathbb{R}^{N}\rightarrow \overline{\mathbb{R}}$ is
quasiconvex and $U\subset \mathbb{R}^{N}$ is open in the density topology, then
$\sup_{U}f=\operatorname{ess\,sup}_{U}f,$ while
$\inf_{U}f=\operatorname{ess\,inf}_{U}f$
if and only if the equality holds when $U=\mathbb{R}^{N}.$ The first (second)
property is typical of lsc (usc) functions and, even when $U$ is an ordinary
open subset, there seems to be no record that they both hold for all
quasiconvex functions.
This property ensures that the pointwise extrema of $f$ on any nonempty
density open subset can be arbitrarily closely approximated by values of $f$
achieved on ``large'' subsets, which may be of relevance in a variety of
issues. To support this claim, we use it to characterize the common points
of continuity, or approximate continuity, of two quasiconvex functions that
coincide away from a set of measure zero.
In this paper we obtain a characterization for all bipartite
zero-divisor graphs of commutative rings $R$ with $1$, such that
$R$ is finite or $|Nil(R)|\neq2$.
Randers metrics are a special class of Finsler metrics. Every Randers
metric can be expressed in terms of a Riemannian metric and a vector
field via Zermelo navigation.
In this paper, we show that a Randers metric has constant scalar
curvature if the Riemannian metric has constant scalar curvature and
the vector field is homothetic.
In this paper, we study the spread of virus/worm in computer
networks with a view to addressing cyber security problems. Epidemic
models have been applied extensively to model the propagation of
computer viruses, which characterize the fact that infected machines
may spread malware to other hosts connected to the network. In our
framework, the dynamics of hosts evolves according to a modified
inhomogeneous Susceptible-Infectious-Susceptible (SIS) epidemic
model with time-varying transmission rate and recovery rate. The
infection of computers is subject to direct attack as well as
propagation among hosts. Based on optimal control theory, optimal
attack strategies are provided by minimizing the cost (equivalently
maximizing the profit) of the attacker. We present a threshold
function of the fraction of infectious hosts, which captures the
dynamically evolving strategies of the attacker and reflects the
persistence of virus spreading. Moreover, our results indicate that
if the infectivity of a computer worm is low and the computers are
installed with antivirus software with high reliability, the
intensity of attacks incurred will likely be low. This agrees with
our intuition.
We obtain an asymptotic formula for the number
of square-free integers in $N$ consecutive values
of polynomials on average over integral
polynomials of degree at most $k$ and of
height at most $H$, where $H \ge N^{k-1+\varepsilon}$
for some fixed $\varepsilon\gt 0$.
Individual results of this kind for polynomials of degree $k \gt 3$,
due to A. Granville (1998),
are only known under the $ABC$-conjecture.
In this short note we introduce a notion called ``quantum injectivity''
of locally compact quantum groups, and prove that it is equivalent
to amenability of the dual. Particularly, this provides a new characterization
of amenability of locally compact groups.
In this paper, we give a different proof of the fact that the odd dimensional
quantum spheres are groupoid $C^{*}$-algebras. We show that the $C^{*}$-algebra
$C(S_{q}^{2\ell+1})$ is generated by an inverse semigroup $T$ of partial
isometries. We show that the groupoid $\mathcal{G}_{tight}$ associated with the
inverse semigroup $T$ by Exel is exactly the same as the groupoid
considered by Sheu.
We show that any exceptional non-trivial Dehn surgery on a twist knot, except the trefoil,
yields a $3$-manifold whose fundamental group is left-orderable.
This is a generalization of a result of Clay, Lidman and Watson, and
also gives a new supporting evidence for a conjecture of Boyer, Gordon and Watson.
We provide a novel proof of the existence
of regulator indecomposables in the cycle group $CH^2(X,1)$,
where $X$ is a sufficiently general product of two elliptic
curves. In particular, the nature of our proof provides an illustration of
Beilinson rigidity.
Let $F$ be a local non-archimedean field of characteristic zero. We
prove that a representation of $GL(n,F)$ obtained from irreducible
parabolic induction of supercuspidal representations is distinguished
by an orthogonal group only if the inducing data is distinguished by
appropriate orthogonal groups. As a corollary, we get that an
irreducible representation induced from supercuspidals that is
distinguished by an orthogonal group is metic.
We prove that a connected, countable dense homogeneous space is
$n$-homogeneous for every $n$, and strongly 2-homogeneous provided it
is locally connected. We also present an example of a connected and
countable dense homogeneous space which is not strongly
2-homogeneous. This answers Problem 136 of Watson in the Open Problems
in Topology Book in the negative.
Using the Dadarlat isomorphism, we give a characterization for the
Kasparov product of $C^*$-algebra extensions. A certain relation
between $KK(A, \mathcal q(B))$ and $KK(A, \mathcal q(\mathcal k B))$ is also considered when
$B$ is not stable and it is proved that $KK(A, \mathcal q(B))$ and
$KK(A, \mathcal q(\mathcal k B))$ are not isomorphic in general.
We provide an explicit formula for the generalized cyclic shuffle map for cylindrical modules.
Using this formula we give a combinatorial proof of the generalized
cyclic Eilenberg-Zilber theorem.
We provide an explicit formula for the generalized cyclic shuffle map for cylindrical modules.
Using this formula we give a combinatorial proof of the generalized
cyclic Eilenberg-Zilber theorem.