-
An Efficient Method for Computing Expected Value of Sample Information for Survival Data from an Ongoing Trial
Authors:
Mathyn Vervaart,
Mark Strong,
Karl P. Claxton,
Nicky J. Welton,
Torbjørn Wisløff,
Eline Aas
Abstract:
The European Medicines Agency has in recent years allowed licensing of new pharmaceuticals at an earlier stage in the clinical trial process. When trial evidence is obtained at an early stage, the events of interest, such as disease progression or death, may have only been observed in a small proportion of patients. Health care authorities therefore must decide on the adoption of new technologies…
▽ More
The European Medicines Agency has in recent years allowed licensing of new pharmaceuticals at an earlier stage in the clinical trial process. When trial evidence is obtained at an early stage, the events of interest, such as disease progression or death, may have only been observed in a small proportion of patients. Health care authorities therefore must decide on the adoption of new technologies based on less mature evidence than previously, resulting in greater uncertainty about clinical- and cost-effectiveness. When a trial is ongoing at the point of decision making, there may be value in continuing the trial in order to collect additional data before making an adoption decision. This can be quantified by the Expected Value of Sample Information (EVSI). However, no guidance exists on how to compute the EVSI for survival data from an ongoing trial, nor on how to account for uncertainty about the choice of survival model in the EVSI calculations. In this article, we describe algorithms for computing the EVSI of extending a trial's follow-up, both where a single known survival model is assumed, and where we are uncertain about the true survival model. We compare a nested Markov Chain Monte Carlo procedure with a non-parametric regression-based method in two synthetic case studies, and find close agreement between the two methods. The regression-based method is fast and straightforward to implement, and scales easily to include any number of candidate survival models in the model uncertainty case. EVSI for ongoing trials can help decision makers determine whether early patient access to a new technology can be justified on the basis of the current evidence or whether more mature evidence is needed.
△ Less
Submitted 25 March, 2021; v1 submitted 24 March, 2021;
originally announced March 2021.
-
Limiting directions for random walks in classical affine Weyl groups
Authors:
Erik Aas,
Arvind Ayyer,
Svante Linusson,
Samu Potka
Abstract:
Let $W$ be a finite Weyl group and $\widetilde W$ the corresponding affine Weyl group. A random element of $\widetilde W$ can be obtained as a reduced random walk on the alcoves of $\widetilde W$. By a theorem of Lam (Ann. Prob. 2015), such a walk almost surely approaches one of $|W|$ many directions. We compute these directions when $W$ is $B_n$, $C_n$ and $D_n$ and the random walk is weighted by…
▽ More
Let $W$ be a finite Weyl group and $\widetilde W$ the corresponding affine Weyl group. A random element of $\widetilde W$ can be obtained as a reduced random walk on the alcoves of $\widetilde W$. By a theorem of Lam (Ann. Prob. 2015), such a walk almost surely approaches one of $|W|$ many directions. We compute these directions when $W$ is $B_n$, $C_n$ and $D_n$ and the random walk is weighted by Kac and dual Kac labels. This settles Lam's questions for types $B$ and $C$ in the affirmative and for type $D$ in the negative. The main tool is a combinatorial two row model for a totally asymmetric simple exclusion process called the $D^*$-TASEP, with four parameters. By specializing the parameters in different ways, we obtain TASEPs for each of the Weyl groups mentioned above. Computing certain correlations in these TASEPs gives the desired limiting directions.
△ Less
Submitted 7 December, 2021; v1 submitted 28 April, 2020;
originally announced April 2020.
-
The exact phase diagram for a semipermeable TASEP with nonlocal boundary jumps
Authors:
Erik Aas,
Arvind Ayyer,
Svante Linusson,
Samu Potka
Abstract:
We consider a finite one-dimensional totally asymmetric simple exclusion process (TASEP) with four types of particles, $\{1,0,\bar{1},*\}$, in contact with reservoirs. Particles of species $0$ can neither enter nor exit the lattice, and those of species $*$ are constrained to lie at the first and last site. Particles of species $1$ enter from the left reservoir into either the first or second site…
▽ More
We consider a finite one-dimensional totally asymmetric simple exclusion process (TASEP) with four types of particles, $\{1,0,\bar{1},*\}$, in contact with reservoirs. Particles of species $0$ can neither enter nor exit the lattice, and those of species $*$ are constrained to lie at the first and last site. Particles of species $1$ enter from the left reservoir into either the first or second site, move rightwards, and leave from either the last or penultimate site. Conversely, particles of species $\bar{1}$ enter from the right reservoir into either the last or penultimate site, move leftwards, and leave from either the first or last site. This dynamics is motivated by a natural random walk on the Weyl group of type D. We compute the exact nonequilibrium steady state distribution using a matrix ansatz building on earlier work of Arita. We then give explicit formulas for the nonequilibrium partition function as well as densities and currents of all species in the steady state, and derive the phase diagram.
△ Less
Submitted 9 August, 2019; v1 submitted 5 February, 2019;
originally announced February 2019.
-
Multiline queues with spectral parameters
Authors:
Erik Aas,
Darij Grinberg,
Travis Scrimshaw
Abstract:
Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spec…
▽ More
Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spectral weight of a word, which gives a proof of a conjecture of the first author and Linusson.
△ Less
Submitted 28 December, 2019; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Continuous Multi-line Queues and TASEP
Authors:
Erik Aas,
Svante Linusson
Abstract:
In this paper, we study a distribution of labeled particles on a continuous ring. It arises in three different ways, all related to the multi-type TASEP on a ring. We prove formulas for the probability density function for some permutations and give conjectures for a larger class. We give a complete conjecture for the probability of two particles i, j being next to each other on the cycle, for whi…
▽ More
In this paper, we study a distribution of labeled particles on a continuous ring. It arises in three different ways, all related to the multi-type TASEP on a ring. We prove formulas for the probability density function for some permutations and give conjectures for a larger class. We give a complete conjecture for the probability of two particles i, j being next to each other on the cycle, for which we prove some cases. We also find that two natural events associated to the process have exactly the same probability expressed as a Vandermonde determinant. It is unclear whether this is just a coincidence or a consequence of a deeper connection.
△ Less
Submitted 25 March, 2017; v1 submitted 19 January, 2015;
originally announced January 2015.
-
TASEP in any Weyl Group
Authors:
Erik Aas
Abstract:
We investigate a Markov chain defined by Thomas Lam, which generalizes the multi-type TASEP on a ring to any Weyl group. For groups of type C we define an analogue of the multiline queues of Ferrari and Martin (which compute the stationary distribution for the classical TASEP). While our construction does not suffice for finding the stationary distribution, the construction gives the stationary di…
▽ More
We investigate a Markov chain defined by Thomas Lam, which generalizes the multi-type TASEP on a ring to any Weyl group. For groups of type C we define an analogue of the multiline queues of Ferrari and Martin (which compute the stationary distribution for the classical TASEP). While our construction does not suffice for finding the stationary distribution, the construction gives the stationary distribution of a certain projection of Lam's chain. Also, our approach is incremental, in the sense that the construction appears to fit into a pattern of 'conjugation matrices', which remains to be fully worked out. Finally, we prove a theorem for the classical TASEP which fits into the picture of viewing TASEP in a permutation-free way.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
The Double Eulerian Polynomial and Inversion Tables
Authors:
Erik Aas
Abstract:
We show that the pair (des, ides) of statistics on the set of permu- tations has the same distribution as the pair (asc, row) of statistics on the set of inversion tables, proving a conjecture of Visontai. The common generating function of these pairs is the double Eulerian polynomial.
We show that the pair (des, ides) of statistics on the set of permu- tations has the same distribution as the pair (asc, row) of statistics on the set of inversion tables, proving a conjecture of Visontai. The common generating function of these pairs is the double Eulerian polynomial.
△ Less
Submitted 22 January, 2014;
originally announced January 2014.
-
A product formula for the TASEP on a ring
Authors:
Erik Aas,
Jonas Sjöstrand
Abstract:
For a random permutation sampled from the stationary distribution of the TASEP on a ring, we show that, conditioned on the event that the first entries are strictly larger than the last entries, the order of the first entries is independent of the order of the last entries. The proof uses multi-line queues as defined by Ferrari and Martin, and the theorem has an enumerative combinatorial interpret…
▽ More
For a random permutation sampled from the stationary distribution of the TASEP on a ring, we show that, conditioned on the event that the first entries are strictly larger than the last entries, the order of the first entries is independent of the order of the last entries. The proof uses multi-line queues as defined by Ferrari and Martin, and the theorem has an enumerative combinatorial interpretation in that setting.
Finally, we present a conjecture for the case where the small and large entries are not separated.
△ Less
Submitted 9 December, 2013;
originally announced December 2013.
-
Stationary probability of the identity for the TASEP on a ring
Authors:
Erik Aas
Abstract:
Consider the following Markov chain on permutations of length $n$. At each time step we choose a random position. If the letter at that position is smaller than the letter immediately to the left (cyclically) then these letters swap positions. Otherwise nothing happens, corresponding to a loop in the Markov chain. This is the circular TASEP. We compute the average proportion of time the chain spen…
▽ More
Consider the following Markov chain on permutations of length $n$. At each time step we choose a random position. If the letter at that position is smaller than the letter immediately to the left (cyclically) then these letters swap positions. Otherwise nothing happens, corresponding to a loop in the Markov chain. This is the circular TASEP. We compute the average proportion of time the chain spends at the identity permutation (and, in greater generality, at sorted words). This answers a conjecture by Thomas Lam.
△ Less
Submitted 27 December, 2012;
originally announced December 2012.
-
Limit points of the iterative scaling procedure
Authors:
Erik Aas
Abstract:
The iterative scaling procedure (ISP) is an algorithm which computes a sequence of matrices, starting from some given matrix. The objective is to find a matrix 'proportional' to the given matrix, having given row and column sums. In many cases, for example if the initial matrix is strictly positive, the sequence is convergent. In the general case, it is known that the sequence has at most two limi…
▽ More
The iterative scaling procedure (ISP) is an algorithm which computes a sequence of matrices, starting from some given matrix. The objective is to find a matrix 'proportional' to the given matrix, having given row and column sums. In many cases, for example if the initial matrix is strictly positive, the sequence is convergent. In the general case, it is known that the sequence has at most two limit points. When these are distinct, convergence can be slow. We give an efficient algorithm which finds these limit points, invoking the ISP only on instances for which the procedure is convergent.
△ Less
Submitted 23 July, 2012;
originally announced July 2012.
-
Path correlations in a randomly oriented complete bipartite graph
Authors:
Erik Aas
Abstract:
In a randomly oriented graph containing vertices $x$ and $y$, denote by $\{x\to y\}$ the event that there is a directed path from $x$ to $y$. We study the correlation between the events $\{x\to y\}$ and $\{y\to z\}$ for a (large) oriented complete bipartite graph with orientation chosen uniformly at random. We classify the cases of positive and negative correlation respectively in terms of the rel…
▽ More
In a randomly oriented graph containing vertices $x$ and $y$, denote by $\{x\to y\}$ the event that there is a directed path from $x$ to $y$. We study the correlation between the events $\{x\to y\}$ and $\{y\to z\}$ for a (large) oriented complete bipartite graph with orientation chosen uniformly at random. We classify the cases of positive and negative correlation respectively in terms of the relative proportions of the sizes of the color classes of the graph.
△ Less
Submitted 8 February, 2011;
originally announced February 2011.