-
Bifurcation of critical sets and relaxation oscillations in singular fast-slow systems
Authors:
Karl Nyman,
Peter Ashwin,
Peter Ditlevsen
Abstract:
Fast-slow dynamical systems have subsystems that evolve on vastly different timescales, and bifurcations in such systems can arise due to changes in any or all subsystems. We classify bifurcations of the critical set (the equilibria of the fast subsystem) and associated fast dynamics, parametrized by the slow variables. Using a distinguished parameter approach we are able to classify bifurcations…
▽ More
Fast-slow dynamical systems have subsystems that evolve on vastly different timescales, and bifurcations in such systems can arise due to changes in any or all subsystems. We classify bifurcations of the critical set (the equilibria of the fast subsystem) and associated fast dynamics, parametrized by the slow variables. Using a distinguished parameter approach we are able to classify bifurcations for one fast and one slow variable. Some of these bifurcations are associated with the critical set losing manifold structure. We also conjecture a list of generic bifurcations of the critical set for one fast and two slow variables. We further consider how the bifurcations of the critical set can be associated with generic bifurcations of attracting relaxation oscillations under an appropriate singular notion of equivalence.
△ Less
Submitted 18 September, 2019; v1 submitted 25 February, 2019;
originally announced February 2019.
-
The Middle Pleistocene Transition by frequency locking and slow ramping of internal period
Authors:
Karl H. M. Nyman,
Peter D. Ditlevsen
Abstract:
The increase in glacial cycle length from approximately $41$ to on average $100$ thousand years around $1$ million years ago, called the Middle Pleistocene Transition (MPT), lacks a conclusive explanation. We describe a dynamical mechanism which we call Ramping with Frequency Locking (RFL), that explains the transition by an interaction between the internal period of a self-sustained oscillator an…
▽ More
The increase in glacial cycle length from approximately $41$ to on average $100$ thousand years around $1$ million years ago, called the Middle Pleistocene Transition (MPT), lacks a conclusive explanation. We describe a dynamical mechanism which we call Ramping with Frequency Locking (RFL), that explains the transition by an interaction between the internal period of a self-sustained oscillator and forcing that contains periodic components. This mechanism naturally explains the abrupt increase in cycle length from approximately $40$ to $80$ thousand years observed in proxy data, unlike some previously proposed mechanisms for the MPT. A rapid increase in durations can be produced by a rapid change in an external parameter, but this assumes rather than explains the abruptness. In contrast, models relying on frequency locking can produce a rapid change in durations assuming only a slow change in an external parameter. We propose a scheme for detecting RFL in complex, computationally expensive models, and motivate the search for climate variables that can gradually increase the internal period of the glacial cycles.
△ Less
Submitted 6 January, 2019;
originally announced January 2019.
-
Algebraic Voting Theory & Representations of $S_m \wr S_n$
Authors:
Hélène Barcelo,
Megan Bernstein,
Sarah Bockting-Conrad,
Erin McNicholas,
Kathryn Nyman,
Shira Viel
Abstract:
We consider the problem of selecting an $n$-member committee made up of one of $m$ candidates from each of $n$ distinct departments. Using an algebraic approach, we analyze positional voting procedures, including the Borda count, as $\mathbb{Q}S_m \wr S_n$-module homomorphisms. In particular, we decompose the spaces of voter preferences and election results into simple $\mathbb{Q}S_m \wr S_n$-subm…
▽ More
We consider the problem of selecting an $n$-member committee made up of one of $m$ candidates from each of $n$ distinct departments. Using an algebraic approach, we analyze positional voting procedures, including the Borda count, as $\mathbb{Q}S_m \wr S_n$-module homomorphisms. In particular, we decompose the spaces of voter preferences and election results into simple $\mathbb{Q}S_m \wr S_n$-submodules and apply Schur's Lemma to determine the structure of the information lost in the voting process. We conclude with a voting paradox result, showing that for sufficiently different weighting vectors, applying the associated positional voting procedures to the same set of votes can yield arbitrarily different election outcomes.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
Fair division with multiple pieces
Authors:
Kathryn Nyman,
Francis Edward Su,
Shira Zerbib
Abstract:
Given a set of $p$ players we consider problems concerning envy-free allocation of collections of $k$ pieces from a given set of goods or chores. We show that if $p\le n$ and each player can choose $k$ pieces out of $n$ pieces of a cake, then there exist a division of the cake and an allocation of the pieces where at least $\frac{p}{2(k^2-k+1)}$ players get their desired $k$ pieces each. We furthe…
▽ More
Given a set of $p$ players we consider problems concerning envy-free allocation of collections of $k$ pieces from a given set of goods or chores. We show that if $p\le n$ and each player can choose $k$ pieces out of $n$ pieces of a cake, then there exist a division of the cake and an allocation of the pieces where at least $\frac{p}{2(k^2-k+1)}$ players get their desired $k$ pieces each. We further show that if $p\le k(n-1)+1$ and each player can choose $k$ pieces, one from each of $k$ cakes that are divided into $n$ pieces each, then there exist a division of the cakes and allocation of the pieces where at least $\frac{p}{2k(k-1)}$ players get their desired $k$ pieces. Finally we prove that if $p\ge k(n-1)+1$ and each player can choose one shift in each of $k$ days that are partitioned into $n$ shifts each, then, given that the salaries of the players are fixed, there exist $n(1+\ln k)$ players covering all the shifts, and moreover, if $k=2$ then $n$ players suffice. Our proofs combine topological methods and theorems of Füredi, Lovász and Gallai from hypergraph theory.
△ Less
Submitted 25 October, 2017;
originally announced October 2017.
-
Discrete Envy-free Division of Necklaces and Maps
Authors:
Roberto Barrera,
Kathryn Nyman,
Amanda Ruiz,
Francis Edward Su,
Yan X. Zhang
Abstract:
We study the discrete variation of the classical cake-cutting problem where n players divide a 1-dimensional cake with exactly (n-1) cuts, replacing the continuous, infinitely divisible "cake" with a necklace of discrete, indivisible "beads." We focus specifically on envy-free divisions, exploring different constraints on player-preferences. We show we usually cannot guarantee an envy-free divisio…
▽ More
We study the discrete variation of the classical cake-cutting problem where n players divide a 1-dimensional cake with exactly (n-1) cuts, replacing the continuous, infinitely divisible "cake" with a necklace of discrete, indivisible "beads." We focus specifically on envy-free divisions, exploring different constraints on player-preferences. We show we usually cannot guarantee an envy-free division and consider situations where we can obtain an envy-free division for relatively small. We also prove a 2-dimensional result with a grid of indivisible objects. This may be viewed as a way to divide a state with indivisible districts among a set of constituents, producing somewhat gerrymandered regions that form an envy-free division of the state.
△ Less
Submitted 12 October, 2017; v1 submitted 7 October, 2015;
originally announced October 2015.
-
Double-interval societies
Authors:
Maria Klawe,
Kathryn L. Nyman,
Jacob N. Scott,
Francis Edward Su
Abstract:
Consider a society of voters, each of whom specify an approval set over a linear political spectrum. We examine double-interval societies, in which each person's approval set is represented by two disjoint closed intervals, and study this situation where the approval sets are pairwise-intersecting: every pair of voters has a point in the intersection of their approval sets. The approval ratio for…
▽ More
Consider a society of voters, each of whom specify an approval set over a linear political spectrum. We examine double-interval societies, in which each person's approval set is represented by two disjoint closed intervals, and study this situation where the approval sets are pairwise-intersecting: every pair of voters has a point in the intersection of their approval sets. The approval ratio for a society is, loosely speaking, the popularity of the most popular position on the spectrum. We study the question: what is the minimal guaranteed approval ratio for such a society? We provide a lower bound for the approval ratio, and examine a family of societies that have rather low approval ratios. These societies arise from double-n strings: arrangements of n symbols in which each symbol appears exactly twice.
△ Less
Submitted 18 July, 2013;
originally announced July 2013.
-
Properties of Generalized Derangement Graphs
Authors:
Hannah Jackson,
Kathryn Nyman,
Les Reid
Abstract:
A permutation sigma in Sn is a k-derangement if for any subset X = {a1, . . ., ak} \subseteq [n], {sigma(a1), . . ., sigma(ak)} is not equal to X. One can form the k-derangement graph on the set of permutations of Sn by connecting two permutations sigma and tau if sigma(tau)^-1 is a k-derangement. We characterize when such a graph is connected or Eulerian. For n an odd prime power, we determine th…
▽ More
A permutation sigma in Sn is a k-derangement if for any subset X = {a1, . . ., ak} \subseteq [n], {sigma(a1), . . ., sigma(ak)} is not equal to X. One can form the k-derangement graph on the set of permutations of Sn by connecting two permutations sigma and tau if sigma(tau)^-1 is a k-derangement. We characterize when such a graph is connected or Eulerian. For n an odd prime power, we determine the independence, clique and chromatic number of the 2-derangement graph.
△ Less
Submitted 27 June, 2011;
originally announced June 2011.
-
Weighted pebbling numbers on graphs
Authors:
Stephanie Jones,
Joshua D. Laison,
Cameron McLeman,
Kathryn Nyman
Abstract:
We expand the theory of pebbling to graphs with weighted edges. In a weighted pebbling game, one player distributes a set amount of weight on the edges of a graph and his opponent chooses a target vertex and places a configuration of pebbles on the vertices. Player one wins if, through a series of pebbling moves, he can move at least one pebble to the target. A pebbling move of p pebbles across an…
▽ More
We expand the theory of pebbling to graphs with weighted edges. In a weighted pebbling game, one player distributes a set amount of weight on the edges of a graph and his opponent chooses a target vertex and places a configuration of pebbles on the vertices. Player one wins if, through a series of pebbling moves, he can move at least one pebble to the target. A pebbling move of p pebbles across an edge with weight w leaves the floor of pw pebbles on the next vertex. We find the weighted pebbling numbers of stars, graphs with at least 2|V|-1 edges, and trees with given targets. We give an explicit formula for the minimum total weight required on the edges of a length-2 path, solvable with p pebbles and exhibit a graph which requires an edge with weight 1/3 in order to achieve its weighted pebbling number.
△ Less
Submitted 8 June, 2011;
originally announced June 2011.
-
Two-player envy-free multi-cake division
Authors:
John Cloutier,
Kathryn L. Nyman,
Francis Edward Su
Abstract:
We introduce a generalized cake-cutting problem in which we seek to divide multiple cakes so that two players may get their most-preferred piece selections: a choice of one piece from each cake, allowing for the possibility of linked preferences over the cakes. For two players, we show that disjoint envy-free piece selections may not exist for two cakes cut into two pieces each, and they may not…
▽ More
We introduce a generalized cake-cutting problem in which we seek to divide multiple cakes so that two players may get their most-preferred piece selections: a choice of one piece from each cake, allowing for the possibility of linked preferences over the cakes. For two players, we show that disjoint envy-free piece selections may not exist for two cakes cut into two pieces each, and they may not exist for three cakes cut into three pieces each. However, there do exist such divisions for two cakes cut into three pieces each, and for three cakes cut into four pieces each. The resulting allocations of pieces to players are Pareto-optimal with respect to the division. We use a generalization of Sperner's lemma on the polytope of divisions to locate solutions to our generalized cake-cutting problem.
△ Less
Submitted 1 September, 2009;
originally announced September 2009.
-
Two-batch liar games on a general bounded channel
Authors:
Robert B. Ellis,
Kathryn L. Nyman
Abstract:
We consider an extension of the 2-person Rényi-Ulam liar game in which lies are governed by a channel $C$, a set of allowable lie strings of maximum length $k$. Carole selects $x\in[n]$, and Paul makes $t$-ary queries to uniquely determine $x$. In each of $q$ rounds, Paul weakly partitions $[n]=A_0\cup >... \cup A_{t-1}$ and asks for $a$ such that $x\in A_a$. Carole responds with some $b$, and i…
▽ More
We consider an extension of the 2-person Rényi-Ulam liar game in which lies are governed by a channel $C$, a set of allowable lie strings of maximum length $k$. Carole selects $x\in[n]$, and Paul makes $t$-ary queries to uniquely determine $x$. In each of $q$ rounds, Paul weakly partitions $[n]=A_0\cup >... \cup A_{t-1}$ and asks for $a$ such that $x\in A_a$. Carole responds with some $b$, and if $a\neq b$, then $x$ accumulates a lie $(a,b)$. Carole's string of lies for $x$ must be in the channel $C$. Paul wins if he determines $x$ within $q$ rounds. We further restrict Paul to ask his questions in two off-line batches. We show that for a range of sizes of the second batch, the maximum size of the search space $[n]$ for which Paul can guarantee finding the distinguished element is $\sim t^{q+k}/(E_k(C)\binom{q}{k})$ as $q\to\infty$, where $E_k(C)$ is the number of lie strings in $C$ of maximum length $k$. This generalizes previous work of Dumitriu and Spencer, and of Ahlswede, Cicalese, and Deppe. We extend Paul's strategy to solve also the pathological liar variant, in a unified manner which gives the existence of asymptotically perfect two-batch adaptive codes for the channel $C$.
△ Less
Submitted 27 March, 2009;
originally announced March 2009.
-
Relations on Generalized Degree Sequences
Authors:
Caroline J. Klivans,
Kathryn L. Nyman,
Bridget E. Tenner
Abstract:
We study degree sequences for simplicial posets and polyhedral complexes, generalizing the well-studied graphical degree sequences. Here we extend the more common generalization of vertex-to-facet degree sequences by considering arbitrary face-to-flag degree sequences. In particular, these may be viewed as natural refinements of the flag f-vector of the poset. We investigate properties and relat…
▽ More
We study degree sequences for simplicial posets and polyhedral complexes, generalizing the well-studied graphical degree sequences. Here we extend the more common generalization of vertex-to-facet degree sequences by considering arbitrary face-to-flag degree sequences. In particular, these may be viewed as natural refinements of the flag f-vector of the poset. We investigate properties and relations of these generalized degree sequences, proving linear relations between flag degree sequences in terms of the composition of rank jumps of the flag. As a corollary, we recover an f-vector inequality on simplicial posets first shown by Stanley.
△ Less
Submitted 23 January, 2009; v1 submitted 24 June, 2008;
originally announced June 2008.
-
Annihilators of permutation modules
Authors:
Stephen Doty,
Kathryn Nyman
Abstract:
Permutation modules are fundamental in the representation theory of symmetric groups $\Sym_n$ and their corresponding Iwahori--Hecke algebras $\He = \He(\Sym_n)$. We find an explicit combinatorial basis for the annihilator of a permutation module in the "integral" case -- showing that it is a cell ideal in G.E. Murphy's cell structure of $\He$. The same result holds whenever $\He$ is semisimple,…
▽ More
Permutation modules are fundamental in the representation theory of symmetric groups $\Sym_n$ and their corresponding Iwahori--Hecke algebras $\He = \He(\Sym_n)$. We find an explicit combinatorial basis for the annihilator of a permutation module in the "integral" case -- showing that it is a cell ideal in G.E. Murphy's cell structure of $\He$. The same result holds whenever $\He$ is semisimple, but may fail in the non-semisimple case.
△ Less
Submitted 30 June, 2009; v1 submitted 20 November, 2007;
originally announced November 2007.
-
New results on the peak algebra
Authors:
Marcelo Aguiar,
Kathryn Nyman,
Rosa Orellana
Abstract:
The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n-1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of this algebra. We discuss two peak analogs of the first Eulerian idempotent and constr…
▽ More
The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n-1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of this algebra. We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements.
We use these bases to describe the Jacobson radical of the peak algebra and to characterize the elements of this algebra in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals such that the ideal at the bottom of the chain is the linear span of sums of permutations with a common set of interior peaks and the ideal at the top is the whole algebra. We extend the above results to these ideals, generalizing results of Schocker (the case of the bottom ideal).
△ Less
Submitted 21 June, 2004;
originally announced June 2004.
-
Inequalities for the h- and flag h-vectors of geometric lattices
Authors:
Kathryn Nyman,
Ed Swartz
Abstract:
We prove that the order complex of a geometric lattice has a convex ear decomposition. As a consequence, if D(L) is the order complex of a rank (r+1) geometric lattice L, then for all i \leq r/2 the h-vector of D(L) satisfies h(i-1) \leq h(i) and h(i) \leq h(r-i).
We also obtain several inequalities for the flag h-vector of D(L) by analyzing the weak Bruhat order of the symmetric group. As an…
▽ More
We prove that the order complex of a geometric lattice has a convex ear decomposition. As a consequence, if D(L) is the order complex of a rank (r+1) geometric lattice L, then for all i \leq r/2 the h-vector of D(L) satisfies h(i-1) \leq h(i) and h(i) \leq h(r-i).
We also obtain several inequalities for the flag h-vector of D(L) by analyzing the weak Bruhat order of the symmetric group. As an application, we obtain a zonotopal cd-analogue of the Dowling-Wilson characterization of geometric lattices which minimize Whitney numbers of the second kind. In addition, we are able to give a combinatorial flag h-vector proof of h(i-1) \leq h(i) when i \leq (2/7)(r + 5/2).
△ Less
Submitted 18 February, 2005; v1 submitted 27 May, 2004;
originally announced May 2004.
-
The peak algebra and the descent algebras of types B and D
Authors:
Marcelo Aguiar,
Nantel Bergeron,
Kathryn Nyman
Abstract:
We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that this algebra is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The peak algebra contains a…
▽ More
We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that this algebra is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The peak algebra contains a two sided ideal which is defined in terms of interior peaks. This object was introduced in previous work by Nyman; we find that it is the image of certain ideals of the descent algebras of types B and D introduced in previous work of N. Bergeron et al. We derive an exact sequence involving the peak ideal and the peak algebras of degrees $n$ and $n-2$. We obtain this and many other properties of the peak algebra and its peak ideal by first establishing analogous results for signed permutations and then forgetting the signs. In particular, we construct two new commutative semisimple subalgebras of the descent algebra by grouping permutations according to their number of peaks or interior peaks. We discuss the Hopf algebraic structures that exist on the direct sums of these spaces over $n\geq 0$ and explain the connection with previous work of Stembridge; we also obtain new properties of his descents-to-peaks map and construct a type B analog.
△ Less
Submitted 2 May, 2003; v1 submitted 22 February, 2003;
originally announced February 2003.
