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
Robert Brignall, Department of Mathematics University of Bristol Bristol, BS8 1UJ England
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
We survey the known results about simple permutations. In particular, we present a number of recent enumerative and structural results pertaining to simple permutations, and show how simple permutations play an important role in the study of permutation classes. We demonstrate how classes containing only finitely many simple permutations satisfy a number of special properties relating to enumeration, partial well-order and the property of being finitely based.
Introduction
An interval of a permutation π corresponds to a set of contiguous indices I = [a, b] such that the set of values π(I) = {π(i) : i ∈ I} is also contiguous. Every permutation of length n has intervals of lengths 0, 1 and n. If a permutation π has no other intervals, then π is said to be simple. For example, the permutation π = 28146357 is not simple as witnessed by the non-trivial interval 4635 (= π(4)π(5)π(6)π(7)), while σ = 51742683 is simple.
While intervals of permutations have applications in biomathematics, particularly to genetic algorithms and the matching of gene sequences (see Corteel, Louchard, and Pemantle for extensive references), simple permutations form the “building blocks” of permutation classes and have thus received intensive study in recent years. We will see in Section 3 the various ways in which simplicity plays a role in the study of permutation classes, but we begin this short survey by introducing the substitution decomposition in Subsection 1.1, and thence by reviewing the structural and enumerative results of simple permutations themselves in Section 2.
By
Torey Burton, Department of Mathematics East Tennessee State University Johnson City, TN 37614 USA,
Anant P. Godbole, Department of Mathematics East Tennessee State University Johnson City, TN 37614 USA,
Brett M. Kindle, Department of Mathematics East Tennessee State University Johnson City, TN 37614 USA
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
By
Alexander Burstein, Department of Mathematics Howard University Washington, DC 20059 USA,
Niklas Eriksen, Department of Mathematical Sciences Göteborg University and Chalmers University of Technology SE-412 96 Göteborg, Sweden
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
The Permutation Patterns 2007 conference was held 11–15 June 2007 at the University of St Andrews. This was the fifth Permutation Patterns conference; the previous conferences were held at Otago University (Dundein, New Zealand), Malaspina College (Vancouver Island, British Columbia), the University of Florida (Gainesville, Florida), and Reykjavík University (Reykjavík, Iceland). The organizing committee was comprised of Miklós Bóna, Lynn Hynd, Steve Linton, Nik Ruškuc, Einar Steingrímsson, Vincent Vatter, and Julian West. A half-day excursion was taken to Falls of Bruar, Blair Athol Castle and The Queen's View on Loch Tummel.
There were two invited talks:
Mike Atkinson (Otago University, Dunedin, New Zealand), “Simple permutations and wreath-closed pattern classes”.
Martin Klazar (Charles University, Prague, Czech Republic), “Polynomial counting”.
There were 35 participants, 23 talks, and a problem session (the problems from which are included at the end of these proceedings). All the main strands of research in permutation patterns were represented, and we hope this is reflected by the articles of these proceedings, especially the eight surveys at the beginning. The conference was supported by the EPSRC and Edinburgh Mathematical Society.
By
Michael Albert, Department of Computer Science University of Otago Dunedin New, Zealand,
Steve Linton, School of Computer Science University of St Andrews St Andrews, Fife, Scotland,
Nik Ruškuc, School of Mathematics and Statistics University of St Andrews St Andrews, Fife, Scotland
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
By
Miklós Bóna, Department of Mathematics University of Florida Gainesville, FL 32611 USA
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
We review how the monotone pattern compares to other patterns in terms of enumerative results on pattern avoiding permutations. We consider three natural definitions of pattern avoidance, give an overview of classic and recent formulas, and provide some new results related to limiting distributions.
Introduction
Monotone subsequences in a permutation p = p1p2 … pn have been the subject of vigorous research for over sixty years. In this paper, we will review three different lines of work. In all of them, we will consider increasing subsequences of a permutation of length n that have a fixed length k. This is in contrast to another line of work, started by Ulam more than sixty years ago, in which the distribution of the longest increasing subsequence of a random permutation has been studied. That direction of research has recently reached a high point in the article of Baik, Deift, and Johansson.
The three directions we consider are distinguished by their definition of monotone subsequences. We can simply require that k entries of a permutation increase from left to right, or we can in addition require that these k entries be in consecutive positions, or we can even require that they be consecutive integers and be in consecutive positions.
By
Lara Pudwell, Department of Mathematics and Computer Science Valparaiso University Valparaiso, IN 46383 USA
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
The enumeration of permutation classes has been accomplished with a variety of techniques. One wide-reaching method is that of enumeration schemes, introduced by Zeilberger and extended by Vatter. In this paper we further extend the method of enumeration schemes to words avoiding permutation patterns. The process of finding enumeration schemes is programmable and allows for the automatic enumeration of many classes of pattern-avoiding words.
Background
The enumeration of permutation classes has been accomplished by many beautiful techniques. One natural extension of permutation classes is pattern-avoiding words. Our concern in this paper is not attractive methods for counting individual classes, but rather developing a systematic technique for enumerating many classes of words. Four main techniques with wide success exist for the systematic enumeration of permutation classes. These are generating trees, insertion encoding, substitution decomposition, and enumeration schemes. In this paper we adapt the method of enumeration schemes, first introduced for permutations by Zeilberger and extended by Vatter to the case of enumerating pattern-restricted words.
Definition 1.1. Let [k]n denote the set of words of length n in the alphabet {1, …, k}, and let w ∈ [k]n, w = w1 … wn. The reduction of w, denoted by red(w), is the unique word of length n obtained by replacing the ith smallest entries of w with i, for each i.
By
Alexander Burstein, Department of Mathematics, Howard University, Washington, DC 20059, USA,
Isaiah Lankham, Department of Mathematics, Simpson University, Redding, CA 96003, USA
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
By
Anthony Mendes, Department of Mathematics Cal Poly State University San Luis Obispo, CA 93407,
Jeffrey B. Remmel, Department of Mathematics University of California, San Diego La Jolla, CA 92093,
Amanda Riehl, Department of Mathematics University of Wisconsin Eau Claire, Eau Claire, WI 54702
Edited by
Steve Linton, University of St Andrews, Scotland,Nik Ruškuc, University of St Andrews, Scotland,Vincent Vatter, Dartmouth College, New Hampshire
A mechanism is a mathematical structure that models institutions through which economic activity is guided and coordinated. There are many such institutions; markets are the most familiar ones. Lawmakers, administrators and officers of private companies create institutions in order to achieve desired goals. They seek to do so in ways that economize on the resources needed to operate the institutions, and that provide incentives that induce the required behaviors. This book presents systematic procedures for designing mechanisms that achieve specified performance, and economize on the resources required to operate the mechanism. The systematic design procedures are algorithms for designing informationally efficient mechanisms. Most of the book deals with these procedures of design. When there are finitely many environments to be dealt with, and there is a Nash-implementing mechanism, our algorithms can be used to make that mechanism into an informationally efficient one. Informationally efficient dominant strategy implementation is also studied.
We show that the number of halving sets of a set of n points in ℝ4 is O(n4−1/18), improving the previous bound of [10] with a simpler (albeit similar) proof.
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.
Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.
Let X be the random variable that counts the number of triangles in the binomial random graph G(n, p). We show that for some positive constant c, the probability that X deviates from its expectation by at least λVar(X)1/2 is at most e−cλ2, provided p = o(1), λ = ω() and λ ≤ (n3p3 + n4p5)1/6.
Consider a finite irreducible Markov chain on state space S with transition matrix M and stationary distribution π. Let R be the diagonal matrix of return times, Rii = 1/πi. Given distributions σ, τ and k ∈ S, the exit frequency xk(σ, τ) denotes the expected number of times a random walk exits state k before an optimal stopping rule from σ to τ halts the walk. For a target distribution τ, we define Xτ as the n × n matrix given by (Xτ)ij = xj(i, τ), where i also denotes the singleton distribution on state i.
The dual Markov chain with transition matrix = RM⊤R−1 is called the reverse chain. We prove that Markov chain duality extends to matrices of exit frequencies. Specifically, for each target distribution τ, we associate a unique dual distribution τ*. Let denote the matrix of exit frequencies from singletons to τ* on the reverse chain. We show that , where b is a non-negative constant vector (depending on τ). We explore this exit frequency duality and further illuminate the relationship between stopping rules on the original chain and reverse chain.
Consider a randomly oriented graph G = (V, E) and let a, s and b be three distinct vertices in V. We study the correlation between the events {a → s} and {s → b}. We show that, counter-intuitively, when G is the complete graph Kn, n ≥ 5, then the correlation is positive. (It is negative for n = 3 and zero for n = 4.) We briefly discuss and pose problems for the same question on other graphs.
Algorithmic Aspects of Graph Connectivity is the first comprehensive book on this central notion in graph and network theory, emphasizing its algorithmic aspects. Because of its wide applications in the fields of communication, transportation, and production, graph connectivity has made tremendous algorithmic progress under the influence of the theory of complexity and algorithms in modern computer science. The book contains various definitions of connectivity, including edge-connectivity and vertex-connectivity, and their ramifications, as well as related topics such as flows and cuts. The authors thoroughly discuss new concepts and algorithms that allow for quicker and more efficient computing, such as maximum adjacency ordering of vertices. Covering both basic definitions and advanced topics, this book can be used as a textbook in graduate courses in mathematical sciences, such as discrete mathematics, combinatorics, and operations research, and as a reference book for specialists in discrete mathematics and its applications.