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.
This book is one of the products of the joint work of the authors over the last 15 years. We first met at the IWOTA and MTNS conferences in Japan in 1991. At the time one of us knew very little English and the other's Russian was limited to da and net. Fortunately, our mutual friend and colleague Israel Gohberg was able and ready to act as an interpreter, and tentative arrangements were made for the first author to visit the second at the Weizmann Institute. These visits were repeated each year for three or more months, and a research program that focused on direct and inverse problems for canonical systems of integral and differential equations was initiated. This program made extensive use of the existing theory of J-contractive and J-inner mvf's (matrix valued functions) as well as requiring new developments. This monograph is a comprehensive introduction to that theory, and a number of its applications. Much of it is either new, or not conveniently accessible. A second volume on canonical systems of integral and differential equations is planned.
The authors gratefully acknowledge and thank: Victor Katsnelson for supplying helpful remarks and a number of references; Ruby Musrie, Diana Mandelik, Linda Alman and Terry Debesh for typing assorted sections; Clare Lendrem for her careful copy editing of a not so final draft; the administration of South Ukranian Pedagogical University for authorizing extended leaves of absence to enable the first author to visit the second and finally, and most importantly, the Minerva Foundation, the Israel Science Foundation, the Arthur and Rochelle Belfer Institute of Mathematics and Computer Science, and the Visiting Professorship program at the Weizmann Institute for the financial support that made these visits possible and enabled the authors to work together under ideal conditions.
Suppose that n > (log k)ck, where c is a fixed positive constant. We prove that, no matter how the edges of Kn are coloured with k colours, there is a copy of K4 whose edges receive at most two colours. This improves the previous best bound of kc′k, where c′ is a fixed positive constant, which follows from results on classical Ramsey numbers.
Starting from a sequence regarded as a walk through some set of values, we consider the associated loop-erased walk as a sequence of directed edges, with an edge from i to j if the loop-erased walk makes a step from i to j. We introduce a colouring of these edges by painting edges with a fixed colour as long as the walk does not loop back on itself, then switching to a new colour whenever a loop is erased, with each new colour distinct from all previous colours. The pattern of colours along the edges of the loop-erased walk then displays stretches of consecutive steps of the walk left untouched by the loop-erasure process. Assuming that the underlying sequence generating the loop-erased walk is a sequence of independent random variables, each uniform on [N] := {1, 2, . . ., N}, we condition the walk to start at N and stop the walk when it first reaches the subset [k], for some 1 ≤ k ≤ N − 1. We relate the distribution of the random length of this loop-erased walk to the distribution of the length of the first loop of the walk, via Cayley's enumerations of trees, and via Wilson's algorithm. For fixed N and k, and i = 1, 2, . . ., let Bi denote the events that the loop-erased walk from N to [k] has i + 1 or more edges, and the ith and (i + 1)th of these edges are coloured differently. We show that, given that the loop-erased random walk has j edges for some 1 ≤ j ≤ N − k, the events Bi for 1 ≤ i ≤ j − 1 are independent, with the probability of Bi equal to 1/(k + i + 1). This determines the distribution of the sequence of random lengths of differently coloured segments of the loop-erased walk, and yields asymptotic descriptions of these random lengths as N → ∞.
A set of integers is called a B2[g] set if every integer m has at most g representations of the form m = a + a′, with a ≤ a′ and a, a′ ∈ . We obtain a new lower bound for F(g, n), the largest cardinality of a B2[g] set in {1,. . .,n}. More precisely, we prove that infn→∞ where ϵg → 0 when g → ∞. We show a connection between this problem and another one discussed by Schinzel and Schmidt, which can be considered its continuous version.
We study the asymptotic distribution of the displacements in hashing with coalesced chains, for both late-insertion and early-insertion. Asymptotic formulas for means and variances follow. The method uses Poissonization and some stochastic calculus.
Gerards and Seymour (see [10], p. 115) conjectured that if a graph has no odd complete minor of order l, then it is (l − 1)-colourable. This is an analogue of the well-known conjecture of Hadwiger, and in fact, this would immediately imply Hadwiger's conjecture. The current best-known bound for the chromatic number of graphs with no odd complete minor of order l is by the recent result by Geelen, Gerards, Reed, Seymour and Vetta [8], and by Kawarabayashi [12] later, independently. But it seems very hard to improve this bound since this would also improve the current best-known bound for the chromatic number of graphs with no complete minor of order l.
Motivated by this problem, in this note we show that there exists an absolute constant f(k) such that any graph G with no odd complete minor of order k admits a vertex partition V1, . . ., V496k such that each component in the subgraph induced on Vi (i ≥ 1) has at most f(k) vertices. When f(k) = 1, this is a colouring of G. Hence this is a relaxation of colouring in a sense, and this is the first result in this direction for the odd Hadwiger's conjecture.
Our proof is based on a recent decomposition theorem due to Geelen, Gerards, Reed, Seymour and Vetta [8], together with a connectivity result that forces a huge complete bipartite minor in large graphs by Böhme, Kawarabayashi, Maharry and Mohar [3].
Sokal in 2001 proved that the complex zeros of the chromatic polynomial PG(q) of any graph G lie in the disc |q| < 7.963907Δ, where Δ is the maximum degree of G. This result answered a question posed by Brenti, Royle and Wagner in 1994 and hence proved a conjecture proposed by Biggs, Damerell and Sands in 1972. Borgs gave a short proof of Sokal's result. Fernández and Procacci recently improved Sokal's result to |q| < 6.91Δ. In this paper, we shall show that all real zeros of PG(q) are in the interval [0,5.664Δ). For the special case that Δ = 3, all real zeros of PG(q) are in the interval [0,4.765Δ).
A graph construction game is a Maker–Breaker game. Maker and Breaker take turns in choosing previously unoccupied edges of the complete graph KN. Maker's aim is to claim a copy of a given target graph G while Breaker's aim is to prevent Maker from doing so. In this paper we show that if G is a d-degenerate graph on n vertices and N > d1122d+9n, then Maker can claim a copy of G in at most d1122d+7n rounds. We also discuss a lower bound on the number of rounds Maker needs to win, and the gap between these bounds.
Let ai,bi, i = 0, 1, 2, . . . be drawn uniformly and independently from the unit interval, and let t be a fixed real number. Let a site (i, j) ∈ be open if ai + bj ≤ t, and closed otherwise. We obtain a simple, exact expression for the probability Θ(t) that there is an infinite path (oriented or not) of open sites, containing the origin. Θ(t) is continuous and has continuous first derivative except at the critical point (t=1), near which it has critical exponent (3 − )/2.
Let G denote a finite abelian group of order n and Davenport constant D, and put m = n + D − 1. Let x = (x1,. . .,xm) ∈ Gm. Gao's theorem states that there is a reordering (xj1, . . ., xjm) of x such that
Let w = (x1, . . ., wm) ∈ ℤm. As a corollary of the main result, we show that there are reorderings (xj1, . . ., xjm) of x and (wk1, . . ., wkm) of w, such thatwhere xj1 is the most repeated value in x. For w = (1, . . ., 1), this result reduces to Gao's theorem.
We consider Glauber dynamics on finite spin systems. The mixing time of Glauber dynamics can be bounded in terms of the influences of sites on each other. We consider three parameters bounding these influences: α, the total influence on a site, as studied by Dobrushin; α′, the total influence of a site, as studied by Dobrushin and Shlosman; and α″, the total influence of a site in any given context, which is related to the path-coupling method of Bubley and Dyer. It is known that if any of these parameters is less than 1 then random-update Glauber dynamics (in which a randomly chosen site is updated at each step) is rapidly mixing. It is also known that the Dobrushin condition α < 1 implies that systematic-scan Glauber dynamics (in which sites are updated in a deterministic order) is rapidly mixing. This paper studies two related issues, primarily in the context of systematic scan: (1) the relationship between the parameters α, α′ and α″, and (2) the relationship between proofs of rapid mixing using Dobrushin uniqueness (which typically use analysis techniques) and proofs of rapid mixing using path coupling. We use matrix balancing to show that the Dobrushin–Shlosman condition α′ < 1 implies rapid mixing of systematic scan. An interesting question is whether the rapid mixing results for scan can be extended to the α = 1 or α′ = 1 case. We give positive results for the rapid mixing of systematic scan for certain α = 1 cases. As an application, we show rapid mixing of systematic scan (for any scan order) for heat-bath Glauber dynamics for proper q-colourings of a degree-Δ graph G when q ≥ 2Δ.
We extend Penrose's peeling model for the asymptotic behaviour of solutions to the scalar wave equation at null infinity on asymptotically flat backgrounds, which is well understood for flat space-time, to Schwarzschild and the asymptotically simple space-times of Corvino–Schoen/Chrusciel–Delay. We combine conformal techniques and vector field methods: a naive adaptation of the ‘Morawetz vector field’ to a conformal rescaling of the Schwarzschild metric yields a complete scattering theory on Corvino–Schoen/Chrusciel–Delay space-times. A good classification of solutions that peel arises from the use of a null vector field that is transverse to null infinity to raise the regularity in the estimates. We obtain a new characterization of solutions admitting a peeling at a given order that is valid for both Schwarzschild and Minkowski space-times. On flat space-time, this allows larger classes of solutions than the characterizations used since Penrose's work. Our results establish the validity of the peeling model at all orders for the scalar wave equation on the Schwarzschild metric and on the corresponding Corvino–Schoen/Chrusciel–Delay space-times.
For the arithmetic study of varieties over finite fields powerful cohomological methods are available which in particular shed much light on the nature of the corresponding zeta functions. For algebraic schemes over spec ℤ and in particular for the Riemann zeta function no cohomology theory has yet been developed that could serve similar purposes. For a long time it had even been a mystery how the formalism of such a theory could look like. This was clarified in [D1]. However until now the conjectured cohomology has not been constructed.
There is a simple class of dynamical systems on foliated manifolds whose reduced leafwise cohomology has several of the expected structural properties of the desired cohomology for algebraic schemes. In this analogy, the case where the foliation has a dense leaf corresponds to the case where the algebraic scheme is flat over spec ℤ e.g. to spec ℤ itself. In this situation the foliation cohomology which in general is infinite dimensional is not of a topological but instead of a very analytic nature. This can also be seen from its description in terms of global differential forms which are harmonic along the leaves. An optimistic guess would be that for arithmetic schemes χ there exist foliated dynamical systems X whose reduced leafwise cohomology gives the desired cohomology of χ. If χ is an elliptic curve over a finite field this is indeed the case with X a generalized solenoid, not a manifold, [D3].
We illustrate this philosophy by comparing the “explicit formulas” in analytic number theory to a transversal index theorem.
By
Roger E. Howe, Department of Mathematics, Yale University,
Eng-Chye Tan, Department of Mathematics, National University of Singapore,
Jeb F. Willenbring, Department of Mathematical Sciences, University of Wisconsin at Milwaukee
Edited by
Katrin Tent, Universität Bielefeld, Germany
ABSTRACT We study branching laws for a classical group G and a symmetric subgroup H. Our approach is by introducing the branching algebra, the algebra of covariants for H in the regular functions on the natural torus bundle over the flag manifold for G. We give concrete descriptions of certain subalgebras of the branching algebra using classical invariant theory. In this context, it turns out that the ten classes of classical symmetric pairs (G, H) are associated in pairs, (G, H) and (H′, G′).
Our results may be regarded as a further development of classical invariant theory as described by Weyl [64], and extended previously in [14]. They show that the framework of classical invariant theory is flexible enough to encompass a wide variety of calculations that have been carried out by other methods over a period of several decades. This framework is capable of further development, and in some ways can provide a more precise picture than has been developed in previous work.
Introduction
The Classical Groups.
Hermann Weyl's book, The Classical Groups [64], has influenced many researchers in invariant theory and related fields in the decades since it was written. Written as an updating of “classical” invariant theory, it has itself acquired the patina of a classic. The books [11] and [55] and the references in them give an idea of the extent of the influence. The current authors freely confess to being among those on whom Weyl has had major impact.