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.
By studying the theory of rational curves, we introduce a notion of rational simple connectedness for projective homogeneous spaces. As an application, we prove that over a function field of an algebraic surface over an algebraically closed field, a variety whose geometric generic fiber is a projective homogeneous space admits a rational point if and only if the elementary obstruction vanishes.
Given a compact Lie group $G$, in this paper we establish $L^{p}$-bounds for pseudo-differential operators in $L^{p}(G)$. The criteria here are given in terms of the concept of matrix symbols defined on the noncommutative analogue of the phase space $G\times \widehat{G}$, where $\widehat{G}$ is the unitary dual of $G$. We obtain two different types of $L^{p}$ bounds: first for finite regularity symbols and second for smooth symbols. The conditions for smooth symbols are formulated using $\mathscr{S}_{\unicode[STIX]{x1D70C},\unicode[STIX]{x1D6FF}}^{m}(G)$ classes which are a suitable extension of the well-known $(\unicode[STIX]{x1D70C},\unicode[STIX]{x1D6FF})$ ones on the Euclidean space. The results herein extend classical $L^{p}$ bounds established by C. Fefferman on $\mathbb{R}^{n}$. While Fefferman’s results have immediate consequences on general manifolds for $\unicode[STIX]{x1D70C}>\max \{\unicode[STIX]{x1D6FF},1-\unicode[STIX]{x1D6FF}\}$, our results do not require the condition $\unicode[STIX]{x1D70C}>1-\unicode[STIX]{x1D6FF}$. Moreover, one of our results also does not require $\unicode[STIX]{x1D70C}>\unicode[STIX]{x1D6FF}$. Examples are given for the case of $\text{SU}(2)\cong \mathbb{S}^{3}$ and vector fields/sub-Laplacian operators when operators in the classes $\mathscr{S}_{0,0}^{m}$ and $\mathscr{S}_{\frac{1}{2},0}^{m}$ naturally appear, and where conditions $\unicode[STIX]{x1D70C}>\unicode[STIX]{x1D6FF}$ and $\unicode[STIX]{x1D70C}>1-\unicode[STIX]{x1D6FF}$ fail, respectively.
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the eleventh publication in the Perspectives in Logic series, Manuel Lerman presents a systematic study of the interaction between local and global degree theory. He introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees. The intended reader will have already taken a graduate-level course in recursion theory, but this book will also be accessible to those with some background in mathematical logic and a feeling for computability. It will prove a key reference to enable readers to easily locate facts about degrees and it will direct them to further results.
We show that any $n$-dimensional Fano manifold $X$ with $\unicode[STIX]{x1D6FC}(X)=n/(n+1)$ and $n\geqslant 2$ is K-stable, where $\unicode[STIX]{x1D6FC}(X)$ is the alpha invariant of $X$ introduced by Tian. In particular, any such $X$ admits Kähler–Einstein metrics and the holomorphic automorphism group $\operatorname{Aut}(X)$ of $X$ is finite.
(Torsion in the cohomology of Kottwitz–Harris–Taylor Shimura varieties) When the level at $l$ of a Shimura variety of Kottwitz–Harris–Taylor is not maximal, its cohomology with coefficients in a $\overline{\mathbb{Z}}_{l}$-local system isn’t in general torsion free. In order to prove torsion freeness results of the cohomology, we localize at a maximal ideal $\mathfrak{m}$ of the Hecke algebra. We then prove a result of torsion freeness resting either on $\mathfrak{m}$ itself or on the Galois representation $\overline{\unicode[STIX]{x1D70C}}_{\mathfrak{m}}$ associated to it. Concerning the torsion, in a rather restricted case than Caraiani and Scholze (« On the generic part of the cohomology of compact unitary Shimura varieties », Preprint, 2015), we prove that the torsion doesn’t give new Satake parameters systems by showing that each torsion cohomology class can be raised in the free part of the cohomology of a Igusa variety.
Given a family of r-uniform hypergraphs ${\cal F}$ (or r-graphs for brevity), the Turán number ex(n,${\cal F})$ of ${\cal F}$ is the maximum number of edges in an r-graph on n vertices that does not contain any member of ${\cal F}$. A pair {u,v} is covered in a hypergraph G if some edge of G contains {u, v}. Given an r-graph F and a positive integer p ⩾ n(F), where n(F) denotes the number of vertices in F, let HFp denote the r-graph obtained as follows. Label the vertices of F as v1,. . .,vn(F). Add new vertices vn(F)+1,. . .,vp. For each pair of vertices vi, vj not covered in F, add a set Bi,j of r − 2 new vertices and the edge {vi, vj} ∪ Bi,j, where the Bi,j are pairwise disjoint over all such pairs {i, j}. We call HFp the expanded p-clique with an embedded F. For a relatively large family of F, we show that for all sufficiently large n, ex(n,HFp) = |Tr(n, p − 1)|, where Tr(n, p − 1) is the balanced complete (p − 1)-partite r-graph on n vertices. We also establish structural stability of near-extremal graphs. Our results generalize or strengthen several earlier results and provide a class of hypergraphs for which the Turán number is exactly determined (for large n).
We prove an inequality for functions on the discrete cube {0, 1}n extending the edge-isoperimetric inequality for sets. This inequality turns out to be equivalent to the following claim about random walks on the cube: subcubes maximize ‘mean first exit time’ among all subsets of the cube of the same cardinality.
We investigate the asymptotic version of the Erdős–Ko–Rado theorem for the random k-uniform hypergraph $\mathcal{H}$k(n, p). For 2⩽k(n) ⩽ n/2, let $N=\binom{n}k$ and $D=\binom{n-k}k$. We show that with probability tending to 1 as n → ∞, the largest intersecting subhypergraph of $\mathcal{H}$ has size
This lower bound on p is asymptotically best possible for k = Θ(n). For this range of k and p, we are able to show stability as well.
A different behaviour occurs when k = o(n). In this case, the lower bound on p is almost optimal. Further, for the small interval D−1 ≪ p ⩽ (n/k)1−ϵD−1, the largest intersecting subhypergraph of $\mathcal{H}$k(n, p) has size Θ(ln(pD)ND−1), provided that $k \gg \sqrt{n \ln n}$.
Together with previous work of Balogh, Bohman and Mubayi, these results settle the asymptotic size of the largest intersecting family in $\mathcal{H}$k, for essentially all values of p and k.
We introduce and study the model of simply generated non-crossing partitions, which are, roughly speaking, chosen at random according to a sequence of weights. This framework encompasses the particular case of uniform non-crossing partitions with constraints on their block sizes. Our main tool is a bijection between non-crossing partitions and plane trees, which maps such simply generated non-crossing partitions into simply generated trees so that blocks of size k are in correspondence with vertices of out-degree k. This allows us to obtain limit theorems concerning the block structure of simply generated non-crossing partitions. We apply our results in free probability by giving a simple formula relating the maximum of the support of a compactly supported probability measure on the real line in terms of its free cumulants.
In this study, we present a phase-field model that describes the process of intercalation of Li ions into a layer of an amorphous solid such as amorphous silicon (a-Si). The governing equations couple a viscous Cahn–Hilliard-Reaction model with elasticity in the framework of the Cahn–Larché system. We discuss the parameter settings and flux conditions at the free boundary that lead to the formation of phase boundaries having a sharp gradient in lithium ion concentration between the initial state of the solid layer and the intercalated region. We carry out a matched asymptotic analysis to derive the corresponding sharp-interface model that also takes into account the dynamics of triple points where the sharp interface intersects the free boundary of the Si layer. We numerically compare the interface motion predicted by the sharp-interface model with the long-time dynamics of the phase-field model.
Szemerédi's regularity lemma and its variants are some of the most powerful tools in combinatorics. In this paper, we establish several results around the regularity lemma. First, we prove that whether or not we include the condition that the desired vertex partition in the regularity lemma is equitable has a minimal effect on the number of parts of the partition. Second, we use an algorithmic version of the (weak) Frieze–Kannan regularity lemma to give a substantially faster deterministic approximation algorithm for counting subgraphs in a graph. Previously, only an exponential dependence for the running time on the error parameter was known, and we improve it to a polynomial dependence. Third, we revisit the problem of finding an algorithmic regularity lemma, giving approximation algorithms for several co-NP-complete problems. We show how to use the weak Frieze–Kannan regularity lemma to approximate the regularity of a pair of vertex subsets. We also show how to quickly find, for each ε′>ε, an ε′-regular partition with k parts if there exists an ε-regular partition with k parts. Finally, we give a simple proof of the permutation regularity lemma which improves the tower-type bound on the number of parts in the previous proofs to a single exponential bound.
In this paper we study a question related to the classical Erdős–Ko–Rado theorem, which states that any family of k-element subsets of the set [n] = {1,. . .,n} in which any two sets intersect has cardinality at most $\binom{n-1}{k-1}$.
We say that two non-empty families ${\mathcal A}, {\mathcal B}\subset \binom{[n]}{k}$ are s-cross-intersecting if, for any A ∈ ${\mathcal A}$, B ∈ ${\mathcal B}$, we have |A ∩ B| ≥ s. In this paper we determine the maximum of |${\mathcal A}$|+|${\mathcal B}$| for all n. This generalizes a result of Hilton and Milner, who determined the maximum of |${\mathcal A}$|+|${\mathcal B}$| for non-empty 1-cross-intersecting families.
Let C63 be the 3-uniform hypergraph on {1, . . ., 6} with edges 123,345,561, which can be seen as the analogue of the triangle in 3-uniform hypergraphs. For sufficiently large n divisible by 6, we show that every n-vertex 3-uniform hypergraph H with minimum codegree at least n/3 contains a C63-factor, that is, a spanning subhypergraph consisting of vertex-disjoint copies of C63. The minimum codegree condition is best possible. This improves the asymptotic result obtained by Mycroft and answers a question of Rödl and Ruciński exactly.
Let ${\mathcal C}[{\mathcal X}]$ be any class of operators on a Banach space ${\mathcal X}$, and let ${Holo}^{-1}({\mathcal C})$ denote the class of operators A for which there exists a holomorphic function f on a neighbourhood ${\mathcal N}$ of the spectrum σ(A) of A such that f is non-constant on connected components of ${\mathcal N}$ and f(A) lies in ${\mathcal C}$. Let ${{\mathcal R}[{\mathcal X}]}$ denote the class of Riesz operators in ${{\mathcal B}[{\mathcal X}]}$. This paper considers perturbation of operators $A\in\Phi_{+}({\mathcal X})\Cup\Phi_{-}({\mathcal X})$ (the class of all upper or lower [semi] Fredholm operators) by commuting operators in $B\in{Holo}^{-1}({\mathcal R}[{\mathcal X}])$. We prove (amongst other results) that if πB(B) = ∏mi = 1(B − μi) is Riesz, then there exist decompositions ${\mathcal X}=\oplus_{i=1}^m{{\mathcal X}_i}$ and $B=\oplus_{i=1}^m{B|_{{\mathcal X}_i}}=\oplus_{i=1}^m{B_i}$ such that: (i) If λ ≠ 0, then $\pi_B(A,\lambda)=\prod_{i=1}^m{(A-\lambda\mu_i)^{\alpha_i}} \in\Phi_{+}({\mathcal X})$ (resp., $\in\Phi_{-}({\mathcal X})$) if and only if $A-\lambda B_0-\lambda\mu_i\in\Phi_{+}({\mathcal X})$ (resp., $\in\Phi_{-}({\mathcal X})$), and (ii) (case λ = 0) $A\in\Phi_{+}({\mathcal X})$ (resp., $\in\Phi_{-}({\mathcal X})$) if and only if $A-B_0\in\Phi_{+}({\mathcal X})$ (resp., $\in\Phi_{-}({\mathcal X})$), where B0 = ⊕mi = 1(Bi − μi); (iii) if $\pi_B(A,\lambda)\in\Phi_{+}({\mathcal X})$ (resp., $\in\Phi_{-}({\mathcal X})$) for some λ ≠ 0, then $A-\lambda B\in\Phi_{+}({\mathcal X})$ (resp., $\in\Phi_{-}({\mathcal X})$).
We generate ray-class fields over imaginary quadratic fields in terms of Siegel–Ramachandra invariants, which are an extension of a result of Schertz. By making use of quotients of Siegel–Ramachandra invariants we also construct ray-class invariants over imaginary quadratic fields whose minimal polynomials have relatively small coefficients, from which we are able to solve certain quadratic Diophantine equations.
We consider reaction–diffusion equations under nonlinear boundary conditions where the nonlinearities are asymptotically linear at infinity and depend on a parameter. We prove that, as the parameter crosses some critical values, a resonance-type phenomenon provides solutions that bifurcate from infinity. We characterize the bifurcated branches when they are sub- or supercritical. We obtain both Landesman–Lazer-type conditions that guarantee the existence of solutions in the resonant case and an anti-maximum principle.
We classify all non-affine Hopf algebras H over an algebraically closed field k of characteristic zero that are integral domains of Gelfand–Kirillov dimension two and satisfy the condition Ext1H(k, k) ≠ 0. The affine ones were classified by the authors in 2010 (Goodearl and Zhang, J. Algebra324 (2010), 3131–3168).
Let λ be a symmetric, normal sequence space equipped with a k-symmetric, monotone norm ‖.‖λ. Also, assume that (λ, ‖.‖λ) is AK-BK. Corresponding to this sequence space λ, we study compactness of the operator ideal Kλ. We proved compactness, completeness and injectivity of the dual operator ideal Kλd. We also investigate the factorization of these operators.