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.
We study Cayley graphs of abelian groups from the perspective of quantum symmetries. We develop a general strategy for determining the quantum automorphism groups of such graphs. Applying this procedure, we find the quantum symmetries of the halved cube graph, the folded cube graph, and the Hamming graphs.
For a finite group $G$ of not prime power order, Oliver showed that the obstruction for a finite CW-complex $F$ to be the fixed point set of a contractible finite $G$-CW-complex is determined by the Euler characteristic $\chi (F)$. (He also has similar results for compact Lie group actions.) We show that the analogous problem for $F$ to be the fixed point set of a finite $G$-CW-complex of some given homotopy type is still determined by the Euler characteristic. Using trace maps on $K_0$ [2, 7, 18], we also see that there are interesting roles for the fundamental group and the component structure of the fixed point set.
We axiomatise the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalised automorphic sheaf is proposed which includes sheaves of (meromorphic) sections of automorphic vector bundles with prescribed vanishing and pole orders along strata in the compactification, and their quotients. These include, for instance, sheaves of Jacobi forms and weakly holomorphic modular forms. Using this machinery, we give a short and purely algebraic proof of the proportionality theorem of Hirzebruch and Mumford.
We prove topological regularity results for isoperimetric sets in PI spaces having a suitable deformation property, which prescribes a control on the increment of the perimeter of sets under perturbations with balls. More precisely, we prove that isoperimetric sets are open, satisfy boundary density estimates and, under a uniform lower bound on the volumes of unit balls, are bounded. Our results apply, in particular, to the class of possibly collapsed $\mathrm {RCD}(K,N)$ spaces. As a consequence, the rigidity in the isoperimetric inequality on possibly collapsed $\mathrm {RCD}(0,N)$ spaces with Euclidean volume growth holds without the additional assumption on the boundedness of isoperimetric sets. Our strategy is of interest even in the Euclidean setting, as it simplifies some classical arguments.
We prove some results on weakly almost square Banach spaces and their relatives. On the one hand, we discuss weak almost squareness in the setting of Banach function spaces. More precisely, let $(\Omega,\Sigma)$ be a measurable space, let E be a Banach lattice and let $\nu:\Sigma \to E^+$ be a non-atomic countably additive measure having relatively norm compact range. Then the space $L_1(\nu)$ is weakly almost square. This result applies to some abstract Cesàro function spaces. Similar arguments show that the Lebesgue–Bochner space $L_1(\mu,Y)$ is weakly almost square for any Banach space Y and for any non-atomic finite measure µ. On the other hand, we make some progress on the open question of whether there exists a locally almost square Banach space, which fails the diameter two property. In this line, we prove that if X is any Banach space containing a complemented isomorphic copy of c0, then for every $0 \lt \varepsilon \lt 1$, there exists an equivalent norm $|\cdot|$ on X satisfying the following: (i) every slice of the unit ball $B_{(X,|\cdot|)}$ has diameter 2; (ii) $B_{(X,|\cdot|)}$ contains non-empty relatively weakly open subsets of arbitrarily small diameter and (iii) $(X,|\cdot|)$ is (r, s)-SQ for all $0 \lt r,s \lt \frac{1-\varepsilon}{1+\varepsilon}$.
This paper is concerned with a nonlocal reaction–diffusion system with double free boundaries and two time delays. The free boundary problem describes the evolution of faecally–orally transmitted diseases. We first show the well-posedness of global solution, and then establish the monotonicity and asymptotic property of basic reproduction number for the epidemic model without delays, which is defined by spectral radius of the next infection operator. By introducing the generalized principal eigenvalue defined in general domain, we obtain an upper bound of the limit value of basic reproduction number. We discuss the spreading and vanishing phenomena in terms of the basic production number. By employing the perturbed approximation method and monotone iteration method, we establish the existence, uniqueness and monotonicity of solution to semi-wave problem. When spreading occurs, we determine the asymptotic spreading speeds of free boundaries by constructing suitable upper and lower solutions from the semi-wave solutions. Moreover, spreading speeds for partially degenerate diffusion case are provided in a similar way.
Let $f\;:\; M\rightarrow \mathbb{C}P^{2}$ be an isometric immersion of a compact surface in the complex projective plane $\mathbb{C}P^{2}$. In this paper, we consider the Helfrich-type functional $\mathcal{H}_{\lambda _{1},\lambda _{2}}(f)=\int _{M}(|H|^{2}+\lambda _{1}+\lambda _{2} C^{2})\textrm{d} M$, where $\lambda _{1}, \lambda _{2}\in \mathbb{R}$ with $\lambda _{1}\geqslant 0$, $H$ and $C$ are respectively the mean curvature vector and the Kähler function of $M$ in $\mathbb{C}P^{2}$. The critical surfaces of $\mathcal{H}_{\lambda _{1},\lambda _{2}}(f)$ are called Helfrich surfaces. We compute the first variation of $\mathcal{H}_{\lambda _{1},\lambda _{2}}(f)$ and classify the homogeneous Helfrich tori in $\mathbb{C}P^{2}$. Moreover, we study the Helfrich energy of the homogeneous tori and show the lower bound of the Helfrich energy for such tori.
We show that the Hilbert bimodule associated with a compact topological graph can be recovered from the $C^*$-algebraic triple consisting of the Toeplitz algebra of the graph, its gauge action and the commutative subalgebra of functions on the vertex space of the graph. We discuss connections with work of Davidson–Katsoulis and of Davidson–Roydor on local conjugacy of topological graphs and isomorphism of their tensor algebras. In particular, we give a direct proof that a compact topological graph can be recovered up to local conjugacy from its Hilbert bimodule, and present an example of nonisomorphic locally conjugate compact topological graphs with isomorphic Hilbert bimodules. We also give an elementary proof that for compact topological graphs with totally disconnected vertex space the notions of local conjugacy, Hilbert bimodule isomorphism, isomorphism of $C^*$-algebraic triples, and isomorphism all coincide.
A set of vertices in a graph is a Hamiltonian subset if it induces a subgraph containing a Hamiltonian cycle. Kim, Liu, Sharifzadeh, and Staden proved that for large $d$, among all graphs with minimum degree $d$, $K_{d+1}$ minimises the number of Hamiltonian subsets. We prove a near optimal lower bound that takes also the order and the structure of a graph into account. For many natural graph classes, it provides a much better bound than the extremal one ($\approx 2^{d+1}$). Among others, our bound implies that an $n$-vertex $C_4$-free graph with minimum degree $d$ contains at least $n2^{d^{2-o(1)}}$ Hamiltonian subsets.
Let $\mathcal{F}$ be an intersecting family. A $(k-1)$-set $E$ is called a unique shadow if it is contained in exactly one member of $\mathcal{F}$. Let ${\mathcal{A}}=\{A\in \binom{[n]}{k}\colon |A\cap \{1,2,3\}|\geq 2\}$. In the present paper, we show that for $n\geq 28k$, $\mathcal{A}$ is the unique family attaining the maximum size among all intersecting families without unique shadow. Several other results of a similar flavour are established as well.
We prove that the second page of the Mayer–Vietoris spectral sequence, with respect to anti-star covers, can be identified with another homological invariant of simplicial complexes: the $0$-degree überhomology. Consequently, we obtain a combinatorial interpretation of the second page of the Mayer–Vietoris spectral sequence in this context. This interpretation is then used to extend the computations of bold homology, which categorifies the connected domination polynomial at $-1$.
We prove that for nonlinear elastic energies with strong enough energetic control of the outer distortion of admissible deformations, almost everywhere global invertibility as constraint can be obtained in the $\Gamma$-limit of the elastic energy with an added nonlocal self-repulsion term with asymptocially vanishing coefficient. The self-repulsion term considered here formally coincides with a Sobolev–Slobodeckiĭ seminorm of the inverse deformation. Variants near the boundary or on the surface of the domain are also studied.
In a 4-manifold, the composition of a Riemannian Einstein metric with an almost paracomplex structure that is isometric and parallel defines a neutral metric that is conformally flat and scalar flat. In this paper, we study hypersurfaces that are null with respect to this neutral metric, and in particular we study their geometric properties with respect to the Einstein metric. Firstly, we show that all totally geodesic null hypersurfaces are scalar flat and their existence implies that the Einstein metric in the ambient manifold must be Ricci-flat. Then, we find a necessary condition for the existence of null hypersurface with equal nontrivial principal curvatures, and finally, we give a necessary condition on the ambient scalar curvature, for the existence of null (non-minimal) hypersurfaces that are of constant mean curvature.
We prove that for every tree $T$ of radius $h$, there is an integer $c$ such that every $T$-minor-free graph is contained in $H\boxtimes K_c$ for some graph $H$ with pathwidth at most $2h-1$. This is a qualitative strengthening of the Excluded Tree Minor Theorem of Robertson and Seymour (GM I). We show that radius is the right parameter to consider in this setting, and $2h-1$ is the best possible bound.
We show that the energy–momentum equations arising from inner variations whose Lagrangian satisfies a generic symmetry condition are ill-posed. This is done by proving that there exists a subclass of Lipschitz solutions that are also solutions to a differential inclusion into the orthogonal group and in particular these solutions can be nowhere $C^1$. We prove that these solutions are not stationary points if the Lagrangian $W$ is $C^1$ and strictly rank-one convex. In view of the Lipschitz regularity result of Iwaniec, Kovalev and Onninen for solution of the energy–momentum equation in dimension 2, we give a sufficient condition for the non-existence of a partial $C^1$ -regularity result even under the condition that the mappings satisfy a positive Jacobian determinant condition. Finally, we consider a number of well-known functionals studied in non-linear elasticity and geometric function theory and show that these do not satisfy this obstruction to partial regularity.
We consider a parabolic-parabolic chemotaxis system with singular chemotactic sensitivity and source functions, which is originally introduced by Short et al to model the spatio-temporal behaviour of urban criminal activities with the particular value of the chemotactic sensitivity parameter $\chi =2$. The available analytical findings for this urban crime model including $\chi =2$ are restricted either to one-dimensional setting, or to initial data and source functions with appropriate smallness, or to initial data and source functions with some radial symmetry. In the present work, our first result asserts that for any $\chi \gt 0$ the initial-boundary value problem of this urban crime model possesses a global generalised solution in the two-dimensional setting, without imposing any small or radial conditions on initial data and source functions. Our second result presents the asymptotic behaviour of such solution, under some additional assumptions on source functions.
For decreasing sequences $\{t_{n}\}_{n=1}^{\infty }$ converging to zero and initial data $f\in H^s(\mathbb {R}^N)$, $N\geq 2$, we consider the almost everywhere convergence problem for sequences of Schrödinger means ${\rm e}^{it_{n}\Delta }f$, which was proposed by Sjölin, and was open until recently. In this paper, we prove that if $\{t_n\}_{n=1}^{\infty }$ belongs to Lorentz space ${\ell }^{r,\infty }(\mathbb {N})$, then the a.e. convergence results hold for $s>\min \{\frac {r}{\frac {N+1}{N}r+1},\,\frac {N}{2(N+1)}\}$. Inspired by the work of Lucà-Rogers, we construct a counterexample to show that our a.e. convergence results are sharp (up to endpoints). Our results imply that when $0< r<\frac {N}{N+1}$, there is a gain over the a.e. convergence result from Du-Guth-Li and Du-Zhang, but not when $r\geq \frac {N}{N+1}$, even though we are in the discrete case. Our approach can also be applied to get the a.e. convergence results for the fractional Schrödinger means and nonelliptic Schrödinger means.
This book is an attempt to emulate the classroom learning experience. It seems appropriate in a world where online education has become par for the course and the student does not always have access to a teacher who can help fill in the blanks. As a result, the book is thorough (sometimes to a fault) and somewhat more conversational than most others of its ilk.
The classroom is a place where one often engages in free-wheeling discussions that cut across disciplines. The subject of Functional Analysis, which lies at the confluence of modern analysis, algebra and topology, seems well-placed to transfer such discussions to the written word. It seamlessly mixes ideas from these different subjects, is widely applicable, and is therefore appealing to a broad spectrum of people. My hope is to present an introduction to the subject that is useful to everyone, regardless of their tastes.
The book is intended to be used for a year-long course in Functional Analysis aimed at Master's or Ph.D. students. After a short review in Chapter 1, Chapters 2–6 constitute the core of the subject. Here, one proves the Hahn-Banach theorems, the consequences of the Baire Category theorem, and the Banach-Alaoglu and Krein-Milman Theorems. Barring a few specialized topics, these chapters may be taught in a single semester.
The second half of the book (Chapter 7–10) is a little more advanced, and is meant to be taught in the second semester as an introduction to the theory of Operator Algebras. Ostensibly, the goal is to prove the Spectral Theorem for Normal Operators on a Hilbert space. However, I have chosen to take the scenic route, introducing as much operator algebra theory as I can given the time constraints. Perhaps the most egregious detour is in Chapter 9, where one encounters a proof of the Riesz-Markov-Kakutani theorem (due to Garling) that uses C*-algebra theory. I hope that such discussions will encourage students to look further into this fascinating subject.
A word on the exercises: there are plenty of them at the end of each chapter. Many are there to complement the results proved in the text, while others are there to allow students to practice using these results.