We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save this undefined to your undefined account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your undefined account.
Find out more about saving content to .
To save this article to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We discuss the question of extending homeomorphisms between closed subsets of the Cantor cube
$D^{\tau }$
. It is established that any homeomorphism between two closed negligible subsets of
$D^{\tau }$
can be extended to an autohomeomorphism of
$D^{\tau }$
.
Motivated by Altshuler’s famous characterization of the unit vector basis of
$c_0$
or
$\ell _p$
among symmetric bases (Altshuler [1976, Israel Journal of Mathematics, 24, 39–44]), we obtain similar characterizations among democratic bases and among bidemocratic bases. We also prove a separate characterization of the unit vector basis of
$\ell _1$
.
In this paper, we prove that given a cut-and-project scheme
$(G, H, \mathcal {L})$
and a compact window
$W \subseteq H$
, the natural projection gives a bijection between the Fourier transformable measures on
$G \times H$
supported inside the strip
${\mathcal L} \cap (G \times W)$
and the Fourier transformable measures on G supported inside
${\LARGE \curlywedge }(W)$
. We provide a closed formula relating the Fourier transform of the original measure and the Fourier transform of the projection. We show that this formula can be used to re-derive some known results about Fourier analysis of measures with weak Meyer set support.
Given an open, bounded set
$\Omega $
in
$\mathbb {R}^N$
, we consider the minimization of the anisotropic Cheeger constant
$h_K(\Omega )$
with respect to the anisotropy K, under a volume constraint on the associated unit ball. In the planar case, under the assumption that K is a convex, centrally symmetric body, we prove the existence of a minimizer. Moreover, if
$\Omega $
is a ball, we show that the optimal anisotropy K is not a ball and that, among all regular polygons, the square provides the minimal value.
Let d be an integer greater than
$1$
, and let t be fixed such that
$\frac {1}{d} < t < \frac {1}{d-1}$
. We prove that for any
$n_0$
chosen sufficiently large depending on t, the d-dimensional cubes of sidelength
$n^{-t}$
for
$n \geq n_0$
can perfectly pack a cube of volume
$\sum _{n=n_0}^{\infty } \frac {1}{n^{dt}}$
. Our work improves upon a previously known result in the three-dimensional case for when
$\frac {1}{3} < t \leq \frac {4}{11} $
and
$n_0 = 1$
and builds upon recent work of Terence Tao in the two-dimensional case.
Let
$ \mathcal {B} $
be the class of analytic functions
$ f $
in the unit disk
$ \mathbb {D}=\{z\in \mathbb {C} : |z|<1\} $
such that
$ |f(z)|<1 $
for all
$ z\in \mathbb {D} $
. If
$ f\in \mathcal {B} $
of the form
$ f(z)=\sum _{n=0}^{\infty }a_nz^n $
, then
$ \sum _{n=0}^{\infty }|a_nz^n|\leq 1 $
for
$ |z|=r\leq 1/3 $
and
$ 1/3 $
cannot be improved. This inequality is called Bohr inequality and the quantity
$ 1/3 $
is called Bohr radius. If
$ f\in \mathcal {B} $
of the form
$ f(z)=\sum _{n=0}^{\infty }a_nz^n $
, then
$ |\sum _{n=0}^{N}a_nz^n|<1\;\; \mbox {for}\;\; |z|<{1}/{2} $
and the radius
$ 1/2 $
is the best possible for the class
$ \mathcal {B} $
. This inequality is called Bohr–Rogosinski inequality and the corresponding radius is called Bohr–Rogosinski radius. Let
$ \mathcal {H} $
be the class of all complex-valued harmonic functions
$ f=h+\bar {g} $
defined on the unit disk
$ \mathbb {D} $
, where
$ h $
and
$ g $
are analytic in
$ \mathbb {D} $
with the normalization
$ h(0)=h^{\prime }(0)-1=0 $
and
$ g(0)=0 $
. Let
$ \mathcal {H}_0=\{f=h+\bar {g}\in \mathcal {H} : g^{\prime }(0)=0\}. $
For
$ \alpha \geq 0 $
and
$ 0\leq \beta <1 $
, let
be a class of close-to-convex harmonic mappings in
$ \mathbb {D} $
. In this paper, we prove the sharp Bohr–Rogosinski radius for the class
$ \mathcal {W}^{0}_{\mathcal {H}}(\alpha , \beta ) $
.
A subset
${\mathcal D}$
of a domain
$\Omega \subset {\mathbb C}^d$
is determining for an analytic function
$f:\Omega \to \overline {{\mathbb D}}$
if whenever an analytic function
$g:\Omega \rightarrow \overline {{\mathbb D}}$
coincides with f on
${\mathcal D}$
, equals to f on whole
$\Omega $
. This note finds several sufficient conditions for a subset of the symmetrized bidisk to be determining. For any
$N\geq 1$
, a set consisting of
$N^2-N+1$
many points is constructed which is determining for any rational inner function with a degree constraint. We also investigate when the intersection of the symmetrized bidisk intersected with some special algebraic varieties can be determining for rational inner functions.
Let G be a simple algebraic group of adjoint type over an algebraically closed field k of bad characteristic. We show that its sheets of conjugacy classes are parametrized by G-conjugacy classes of pairs
$(M,{\mathcal O})$
where M is the identity component of the centralizer of a semisimple element in G and
${\mathcal O}$
is a rigid unipotent conjugacy class in M, in analogy with the good characteristic case.
We characterize model polynomials that are cyclic in Dirichlet-type spaces in the unit ball of
$\mathbb C^n$
, and we give a sufficient capacity condition in order to identify noncyclic vectors.
In this note, we exhibit concrete examples of characterizing slopes for the knot
$12n242$
, also known as the
$(-2,3,7)$
-pretzel knot. Although it was shown by Lackenby that every knot admits infinitely many characterizing slopes, the nonconstructive nature of the proof means that there are very few hyperbolic knots for which explicit examples of characterizing slopes are known.
Let
${\mathcal A}$
be a Banach algebra, and let
$\varphi $
be a nonzero character on
${\mathcal A}$
. For a closed ideal I of
${\mathcal A}$
with
$I\not \subseteq \ker \varphi $
such that I has a bounded approximate identity, we show that
$\operatorname {WAP}(\mathcal {A})$
, the space of weakly almost periodic functionals on
${\mathcal A}$
, admits a right (left) invariant
$\varphi $
-mean if and only if
$\operatorname {WAP}(I)$
admits a right (left) invariant
$\varphi |_I$
-mean. This generalizes a result due to Neufang for the group algebra
$L^1(G)$
as an ideal in the measure algebra
$M(G)$
, for a locally compact group G. Then we apply this result to the quantum group algebra
$L^1({\mathbb G})$
of a locally compact quantum group
${\mathbb G}$
. Finally, we study the existence of left and right invariant
$1$
-means on
$ \operatorname {WAP}(\mathcal {T}_{\triangleright }({\mathbb G}))$
.
The paper investigates the algebraic properties of weakly inverse-closed complex Banach function algebras generated by functions of bounded variation on a finite interval. It is proved that such algebras have Bass stable rank 1 and are projective-free if they do not contain nontrivial idempotents. These properties are derived from a new result on the vanishing of the second Čech cohomology group of the polynomially convex hull of a continuum of a finite linear measure described by the classical H. Alexander theorem.
In this paper, the turnpike property is established for a nonconvex optimal control problem in discrete time. The functional is defined by the notion of the ideal convergence and can be considered as an analogue of the terminal functional defined over infinite-time horizon. The turnpike property states that every optimal solution converges to some unique optimal stationary point in the sense of ideal convergence if the ideal is invariant under translations. This kind of convergence generalizes, for example, statistical convergence and convergence with respect to logarithmic density zero sets.
Granville recently asked how the Mahler measure behaves in the context of polynomial dynamics. For a polynomial
$f(z)=z^d+\cdots \in {\mathbb C}[z],\ \deg (f)\ge 2,$
we show that the Mahler measure of the iterates
$f^n$
grows geometrically fast with the degree
$d^n,$
and find the exact base of that exponential growth. This base is expressed via an integral of
$\log ^+|z|$
with respect to the invariant measure of the Julia set for the polynomial
$f.$
Moreover, we give sharp estimates for such an integral when the Julia set is connected.
We give technical conditions for a quasi-isometry of pairs to preserve a subgroup being hyperbolically embedded. We consider applications to the quasi-isometry and commensurability invariance of acylindrical hyperbolicity of finitely generated groups.
We study the ring of quasisymmetric polynomials in n anticommuting (fermionic) variables. Let
$R_n$
denote the ring of polynomials in n anticommuting variables. The main results of this paper show the following interesting facts about quasisymmetric polynomials in anticommuting variables:
(1) The quasisymmetric polynomials in
$R_n$
form a commutative subalgebra of
$R_n$
.
(2) There is a basis of the quotient of
$R_n$
by the ideal
$I_n$
generated by the quasisymmetric polynomials in
$R_n$
that is indexed by ballot sequences. The Hilbert series of the quotient is given by
We show that the singularities of the twisted Kähler–Einstein metric arising as the longtime solution of the Kähler–Ricci flow or in the collapsed limit of Ricci-flat Kähler metrics are intimately related to the holomorphic sectional curvature of reference conical geometry. This provides an alternative proof of the second-order estimate obtained by Gross, Tosatti, and Zhang (2020, Preprint, arXiv:1911.07315) with explicit constants appearing in the divisorial pole.
In the Zermelo–Fraenkel set theory with the Axiom of Choice, a forcing notion is “
$\kappa $
-distributive” if and only if it is “
$\kappa $
-sequential.” We show that without the Axiom of Choice, this equivalence fails, even if we include a weak form of the Axiom of Choice, the Principle of Dependent Choice for
$\kappa $
. Still, the equivalence may still hold along with very strong failures of the Axiom of Choice, assuming the consistency of large cardinal axioms. We also prove that although a
$\kappa $
-distributive forcing notion may violate Dependent Choice, it must preserve the Axiom of Choice for families of size
$\kappa $
. On the other hand, a
$\kappa $
-sequential can violate the Axiom of Choice for countable families. We also provide a condition of “quasiproperness” which is sufficient for the preservation of Dependent Choice, and is also necessary if the forcing notion is sequential.
We introduce a family of norms on the
$n \times n$
complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter’s positivity theorem for the complete homogeneous symmetric polynomials.
Given a weighted shift T of multiplicity two, we study the set
$\sqrt {T}$
of all square roots of T. We determine necessary and sufficient conditions on the weight sequence so that this set is non-empty. We show that when such conditions are satisfied,
$\sqrt {T}$
contains a certain special class of operators. We also obtain a complete description of all operators in
$\sqrt {T}$
.