To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@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.
The notion of an atomic operator between spaces of measurable functions was introduced in 2002 in a paper by Drakhlin, Ponosov and Stepanov in order to provide a reasonable generalization of local operators useful for applications. It has been shown that, roughly speaking, atomic operators amount to compositions of local operators with shifts. A natural problem is then when a continuous-in-measure atomic operator can be represented as a composition of a Nemytskiiˇ (composition) operator generated by a Carathéodory function, and a shift operator. In this paper we will show that the answer to this question is inherently related to the possibility of extending an atomic operator with continuity from a space of functions measurable with respect to some $\sigma$-algebra to a larger space of functions measurable with respect to a larger $\sigma$-algebra, as well as to the possibility of extending any $\sigma$-homomorphism from a smaller-measure algebra to a $\sigma$-homomorphism on a larger-measure algebra. We characterize precisely the condition on the respective $\sigma$-algebras which provides such possibilities and induces the positive answer to the above representation problem.
Let $X$ be a Banach space and let $Y$ be a closed subspace of a Banach space $Z$. The following theorem is proved. Assume that $X^*$ or $Z^*$ has the approximation property. If there exists a bounded linear extension operator from $Y^*$ to $Z^*$, then any bounded linear operator $T:X\rightarrow Y$ is nuclear whenever $T$ is nuclear from $X$ to $Z$. The particular case of the theorem with $Z=Y^{**}$ is due to Grothendieck and Oja and Reinov. Numerous applications are presented. For instance, it is shown that a bounded linear operator $T$ from an arbitrary Banach space $X$ to an $\mathcal{L}_\infty$-space $Y$ is nuclear whenever $T$ is nuclear from $X$ to some Banach space $Z$ containing $Y$ as a subspace.
We construct a Bousfield–Kan (unstable Adams) spectral sequence based on an arbitrary (and not necessarily connective) ring spectrum $E$ with unit and which is related to the homotopy groups of a certain unstable $E$ completion $X_E^{\wedge}$ of a space $X$. For $E$ an $\mathbb{S}$-algebra this completion agrees with that of the first author and Thompson. We also establish in detail the Hopf algebra structure of the unstable cooperations (the coalgebraic module) $E_*(\underline{E}_*)$ for an arbitrary Landweber exact spectrum $E$, extending work of the second author with Hopkins and with Turner and giving basis-free descriptions of the modules of primitives and indecomposables. Taken together, these results enable us to give a simple description of the $E_2$-page of the $E$-theory Bousfield–Kan spectral sequence when $E$ is any Landweber exact ring spectrum with unit. This extends work of the first author and others and gives a tractable unstable Adams spectral sequence based on a $v_n$-periodic theory for all $n$.
Given a subset $S$ of an abelian group $G$ and an integer $k\geq 1$, the $k$-deck of $S$ is the function that assigns to every $T\subseteq G$ with at most $k$ elements the number of elements $g\in G$ with $g+T\subseteq S$. The reconstruction problem for an abelian group $G$ asks for the minimal value of $k$ such that every subset $S$ of $G$ is determined, up to translation, by its $k$-deck. This minimal value is the set-reconstruction number$r_{\rm set}(G)$ of $G$; the corresponding value for multisets is the reconstruction number$r(G)$.
Previous work had given bounds for the set-reconstruction number of cyclic groups: Alon, Caro, Krasikov and Roditty [1] showed that $r_{\rm set}({\mathbb{Z}}_n)<\log_2n$ and Radcliffe and Scott [15] that $r_{\rm set}({\mathbb{Z}}_n)<9\frac{\ln n}{\ln\ln n}$. We give a precise evaluation of $r(G)$ for all abelian groups $G$ and deduce that $r_{\rm set}({\mathbb{Z}}_n)\leq 6$.
Let $G$ be a finite graph with maximum degree at most $d$. Then, for every partition of $V(G)$ into classes of size $3d-1$, there exists a proper colouring of $G$ with $3d-1$ colours in which each class receives all $3d-1$ colours.
Let $F\,{=}\,\{H_1,\ldots,H_k\}$ be a family of graphs. A graph $G$ is called totally$F$-decomposable if for every linear combination of the form $\alpha_1 e(H_1) \,{+}\,{\cdots}\,{+}\,\alpha_k e(H_k) \,{=}\, e(G)$ where each $\alpha_i$ is a nonnegative integer, there is a colouring of the edges of $G$ with $\alpha_1\,{+}\,{\cdots}\,{+}\,\alpha_k$ colours such that exactly $\alpha_i$ colour classes induce each a copy of $H_i$, for $i\,{=}\,1,\ldots,k$. We prove that if $F$ is any fixed nontrivial family of trees then $\log n/n$ is a sharp threshold function for the property that the random graph $G(n,p)$ is totally $F$-decomposable. In particular, if $H$ is a tree with more than one edge, then $\log n/n$ is a sharp threshold function for the property that $G(n,p)$ contains $\lfloor e(G)/e(H) \rfloor$ edge-disjoint copies of $H$.
Let $C$ be a code of length $n$ over an alphabet of $q$ letters. A codeword $y$ is called a descendant of a set of $t$ codewords $\{x^1,\dots,x^t\}$ if $y_i \in \{x^1_i,\dots,x^t_i\}$ for all $i=1,\dots,n$. A code is said to have the Identifiable Parent Property of order $t$ if, for any word of length $n$ that is a descendant of at most $t$ codewords (parents), it is possible to identify at least one of them. Let $f_t(n,q)$ be the maximum possible cardinality of such a code. We prove that for any $t,n,q$, $(c_1(t)q)^{\frac{n}{s(t)}} < f_t(n,q) < c_2(t)q^{\lceil{\frac{n}{s(t)}}\rceil}$ where $s(t) = \lfloor(\frac{t}{2}+1)^2 \rfloor -1$ and $c_1(t),c_2(t)$ are some functions of $t$. We also show some bounds and constructions for $f_3(5,q)$, $f_3(6,q)$, and $f_t(n,q)$ when $n < s(t)$.
This note presents two results on real zeros of chromatic polynomials. The first result states that if $G$ is a graph containing a $q$-tree as a spanning subgraph, then the chromatic polynomial $P(G,\lambda)$ of $G$ has no non-integer zeros in the interval $(0,q)$. Sokal conjectured that for any graph $G$ and any real $\lambda>\Delta(G)$, $P(G,\lambda)>0$. Our second result confirms that it is true if $\Delta(G)\ge \lfloor n/3\rfloor -1$, where $n$ is the order of $G$.
Two infinite 0–1 sequences are called compatible when it is possible to cast out $0\,$s from both in such a way that they become complementary to each other. Answering a question of Peter Winkler, we show that if the two 0–1 sequences are random i.i.d. and independent from each other, with probability $p$ of $1\,$s, then if $p$ is sufficiently small they are compatible with positive probability. The question is equivalent to a certain dependent percolation with a power-law behaviour: the probability that the origin is blocked at distance $n$ but not closer decreases only polynomially fast and not, as usual, exponentially.
A signing of a graph $G=(V,E)$ is a function $s:E \rightarrow \{-1,1\}$. A signing defines a graph $\widehat{G}$, called a {\em 2-lift of $G$}, with vertex set $V(G)\times\{-1,1\}$. The vertices $(u,x)$ and $(v,y)$ are adjacent iff $(u,v) \in E(G)$, and $x \cdot y = s(u,v)$. The corresponding signed adjacency matrix$A_{G,s}$ is a symmetric $\{-1,0,1\}$-matrix, with $(A_{G,s})_{u,v} = s(u,v)$ if $(u,v) \in E$, and $0$ otherwise.
A set of points in the plane is called a domain if it is open and connected. A set of points is called a region if it is the union of a domain with some, none, or all its boundary points.
By a lattice of fundamental regions in the plane we understand a sequence of congruent regions α1, α1… that satisfies the following conditions:
Every point P of the plane belongs to one and only one region αi;
Every αi; can be superposed on α0 by a motion ti that superposes on every αnan αs, that is, by a motion that takes the whole lattice onto itself.
The set of motions {ti} such that α0 = tiαi is a discrete subgroup of the
group of motions. Such groups are called crystallographic groups. There are seventeen classes of nonisomorphic crystallographic groups, but for any given group there are infinitely many possible fundamental regions. It is not our purpose to present details on these groups, which are explored, for instance, in the books of Coxeter [127] and Guggenheimer [254]. Figures 8.1 to 8.5 are examples of lattices whose fundamental regions are squares, parallelograms, hexagons, or figures of more complicated shape.
Let D0 be a figure in the plane, that is, a set of points, which can be a region bounded by a finite number of closed curves without double points, a set of rectifiable curves, a finite number of points, etc. Suppose that D0 is contained in the fundamental region α1 of a given lattice.