Searcharxiv⌕ Search

arXiv subjects

Ben Morris

Publications and source records attributed to Ben Morris.

At least 19 recordsLinked to original sources
arXiv2025

Coincident Learning for Beam-based RF Station Fault Identification Using Phase Information at the SLAC Linac Coherent Light Source

Anomalies in radio-frequency (RF) stations can result in unplanned downtime and performance degradation in linear accelerators such as SLAC's Linac Coherent Light Source (LCLS). Detecting these anomalies is challenging due to the complexity of accelerator systems, high data volume, and scarcity of labeled fault data. Prior work identified faults using beam-based detection, combining RF amplitude and beam-position monitor data. Due to the simplicity of the RF amplitude data, classical methods are sufficient to identify faults, but the recall is constrained by the low-frequency and asynchronous characteristics of the data. In this work, we leverage high-frequency, time-synchronous RF phase data to enhance anomaly detection in the LCLS accelerator. Due to the complexity of phase data, classical methods fail, and we instead train deep neural networks within the Coincident Anomaly Detection (CoAD) framework. We find that applying CoAD to phase data detects nearly three times as many anomalies as when applied to amplitude data, while achieving broader coverage across RF stations. Furthermore, the rich structure of phase data enables us to cluster anomalies into distinct physical categories. Through the integration of auxiliary system status bits, we link clusters to specific fault signatures, providing additional granularity for uncovering the root cause of faults. We also investigate interpretability via Shapley values, confirming that the learned models focus on the most informative regions of the data and providing insight for cases where the model makes mistakes. This work demonstrates that phase-based anomaly detection for RF stations improves both diagnostic coverage and root cause analysis in accelerator systems and that deep neural networks are essential for effective analysis.

physics.acc-ph↗
arXiv2024

Mixing time of the torus shuffle

We prove a theorem that reduces bounding the mixing time of a card shuffle to verifying a condition that involves only triplets of cards. Then we use it to analyze a classic model of card shuffling. In 1988, Diaconis introduced the following Markov chain. Cards are arranged in an $n$ by $n$ grid. Each step, choose a row or column, uniformly at random, and cyclically rotate it by one unit in a random direction. He conjectured that the mixing time is ${\rm O}(n^3 \log n)$. We obtain a bound that is within a poly log factor of the conjecture.

math.PR↗
arXiv2023

Mixing Time of the Overlapping Cycles Shuffle

In each step of the overlapping cycles shuffle on $n$ cards, a fair coin is flipped which determines whether the $m$th card or the $n$th card is moved to the top of the deck. Angel, Peres, and Wilson showed the following interesting fact: If $m = \lfloor \alpha n \rfloor$ where $\alpha$ is rational, then the relaxation time of a single card in the overlapping cycles shuffle is $\theta(n^2)$. However if $\alpha$ is the golden ratio, then the relaxation time of a single card is $\theta(n^\frac{3}{2})$. We show that the mixing time of the entire deck under the overlapping cycles shuffle matches these bounds up to a factor of $\log(n)^3$. That is, the mixing time of the entire deck is $O(n^2 \log(n)^3)$ if $\alpha$ is rational and $O(n^\frac{3}{2} \log(n)^3)$ if $\alpha$ is the golden ratio.

math.PR↗
arXiv2023

Format Preserving Encryption in the Bounded Retrieval Model

In the bounded retrieval model, the adversary can leak a certain amount of information from the message sender's computer (e.g., 10 percent of the hard drive). Bellare, Kane and Rogaway give an efficient symmetric encryption scheme in the bounded retrieval model. Their scheme uses a giant key (a key so large only a fraction of it can be leaked.) One property of their scheme is that the encrypted message is larger than the original message. Rogaway asked if an efficient scheme exists that does not increase the size of the message. In this paper we present such a scheme.

cs.CR↗
arXiv2023

Transience of Simple Random Walks With Linear Entropy Growth

Using the technique of evolving sets, we explore the connection between entropy growth and transience for simple random walks on connected infinite graphs with bounded degree. In particular we show that for a simple random walk starting at a vertex $x_0$, if the entropy after $n$ steps, $E_n$ is at least $Cn$ where the $C$ is independent of $x_0$, then the random walk is transient. We also give an example which demonstrates that the condition of $C$ being independent of $x_0$ is necessary.

math.PR↗
arXiv2022

A Probabilistic Proof of the nCPA to CCA Bound

We provide a new proof of Maurer, Renard, and Pietzak's result that the sum of the nCPA advantages of random permutations $P$ and $Q$ bound the CCA advantage of $P^{-1} \circ Q$. Our proof uses probability directly, as opposed to information theory, and has the advantage of providing an alternate sufficient condition of low CCA advantage. Namely, the CCA advantage of a random permutation can be bounded by its separation distance from the uniform distribution. We use this alternate condition to tighten the best known bound on the security of the swap-or-not shuffle in the special case of having fewer queries than the square root of the number of cards.

cs.CR↗
arXiv2016

The social network model on infinite graphs

Given an infinite connected regular graph $G=(V,E)$, place at each vertex Pois($\lambda$) walkers performing independent lazy simple random walks on $G$ simultaneously. When two walkers visit the same vertex at the same time they are declared to be acquainted. We show that when $G$ is vertex-transitive and amenable, for all $\lambda>0$ a.s. any pair of walkers will eventually have a path of acquaintances between them. In contrast, we show that when $G$ is non-amenable (not necessarily transitive) there is always a phase transition at some $\lambda_{c}(G)>0$. We give general bounds on $\lambda_{c}(G)$ and study the case that $G$ is the $d$-regular tree in more details. Finally, we show that in the non-amenable setup, for every $\lambda$ there exists a finite time $t_{\lambda}(G)$ such that a.s. there exists an infinite set of walkers having a path of acquaintances between them by time $t_{\lambda}(G)$.

math.PR↗
arXiv2015

Transience in growing subgraphs via evolving sets

We extend the use of random evolving sets to time-varying conductance models and utilize it to provide tight heat kernel upper bounds. It yields the transience of any uniformly lazy random walk, on Z^d, d>=3, equipped with uniformly bounded above and below, independently time-varying edge conductances, of (effectively) non-decreasing in time vertex conductances (i.e. reversing measure), thereby affirming part of [ABGK, Conj. 7.1].

math.PR↗
arXiv2014

How many queries are needed to distinguish a truncated random permutation from a random function?

An oracle chooses a function $f$ from the set of $n$ bits strings to itself, which is either a randomly chosen permutation or a randomly chosen function. When queried by an $n$-bit string $w$, the oracle computes $f(w)$, truncates the $m$ last bits, and returns only the first $n-m$ bits of $f(w)$. How many queries does a querying adversary need to submit in order to distinguish the truncated permutation from the (truncated) function? In 1998, Hall et al. showed an algorithm for determining (with high probability) whether or not $f$ is a permutation, using $O(2^{\frac{m+n}{2}})$ queries. They also showed that if $m < n/7$, a smaller number of queries will not suffice. For $m > n/7$, their method gives a weaker bound. In this note, we first show how a modification of the approximation method used by Hall et al. can solve the problem completely. It extends the result to practically any $m$, showing that $\Omega(2^{\frac{m+n}{2}})$ queries are needed to get a non-negligible distinguishing advantage. However, more surprisingly, a better bound for the distinguishing advantage can be obtained from a result of Stam published, in a different context, already in 1978. We also show that, at least in some cases, Stam's bound is tight.

cs.CR↗
arXiv2014

An Enciphering Scheme Based on a Card Shuffle

We introduce the swap-or-not shuffle and show that the technique gives rise to a new method to convert a pseudorandom function (PRF) into a pseudorandom permutation (PRP) (or, alternatively, to directly build a confusion/diffusion blockcipher). We then prove that swap-or-not has excellent quantitative security bounds, giving a Luby-Rackoff type result that ensures security (assuming an ideal round function) to a number of adversarial queries that is nearly the size of the construction's domain. Swap-or-not provides a direct solution for building a small-domain cipher and achieving format-preserving encryption, yielding the best bounds known for a practical scheme for enciphering credit-card numbers. The analysis of swap-or-not is based on the theory of mixing times of Markov chains.

cs.CR↗
arXiv2013

The mixing time of the fifteen puzzle

We show that there are universal positive constants c and C such that the mixing time T_{mix} for the fifteen puzzle in an n by n torus satisfies cn^4 log n < T_{mix} < Cn^4 log^2 n.

math.PR↗
arXiv2012

Mixing time of the Card-Cyclic-to-Random shuffle

The Card-Cyclic-to-Random shuffle on $n$ cards is defined as follows: at time $t$ remove the card with label $t$ mod $n$ and randomly reinsert it back into the deck. Pinsky introduced this shuffle and asked how many steps are needed to mix the deck. He showed $n$ steps do not suffice. Here we show that the mixing time is on the order of $Θ(n \log n)$.

math.PR↗
arXiv2012

Coalescing systems of non-Brownian particles

A well-known result of Arratia shows that one can make rigorous the notion of starting an independent Brownian motion at every point of an arbitrary closed subset of the real line and then building a set-valued process by requiring particles to coalesce when they collide. Arratia noted that the value of this process will be almost surely a locally finite set at all positive times, and a finite set almost surely if the initial value is compact: the key to both of these facts is the observation that, because of the topology of the real line and the continuity of Brownian sample paths, at the time when two particles collide one or the other of them must have already collided with each particle that was initially between them. We investigate whether such instantaneous coalescence still occurs for coalescing systems of particles where either the state space of the individual particles is not locally homeomorphic to an interval or the sample paths of the individual particles are discontinuous. We give a quite general criterion for a coalescing system of particles on a compact state space to coalesce to a finite set at all positive times almost surely and show that there is almost sure instantaneous coalescence to a locally finite set for systems of Brownian motions on the Sierpinski gasket and stable processes on the real line with stable index greater than one.

math.PR↗
arXiv2010

Linear Cover Time is Exponentially Unlikely

We show that the probability that a simple random walk covers a finite, bounded degree graph in linear time is exponentially small. More precisely, for every D and C, there exists a=a(D,C)>0 such that for any graph G, with n vertices and maximal degree D, the probability that a simple random walk, started anywhere in G, will visit every vertex of G in its first Cn steps is at most exp(-an). We conjecture that the same holds for a=a(C)>0 that does not depend on D, provided that the graph G is simple.

math.PR↗
arXiv2009

Improved mixing time bounds for the Thorp shuffle

E. Thorp introduced the following card shuffling model. Suppose the number of cards $n$ is even. Cut the deck into two equal piles. Drop the first card from the left pile or from the right pile according to the outcome of a fair coin flip. Then drop from the other pile. Continue this way until both piles are empty. We show that if $n$ is a power of 2 then the mixing time of the Thorp shuffle is $O(\log^3 n)$. Previously, the best known bound was $O(\log^4 n)$.

math.PR↗
arXiv2008

Spectral gap for the interchange process in a box

We show that the spectral gap for the interchange process (and the symmetric exclusion process) in a $d$-dimensional box of side length $L$ is asymptotic to $π^2/L^2$. This gives more evidence in favor of Aldous's conjecture that in any graph the spectral gap for the interchange process is the same as the spectral gap for a corresponding continuous-time random walk. Our proof uses a technique that is similar to that used by Handjani and Jungreis, who proved that Aldous's conjecture holds when the graph is a tree.

math.PR↗
arXiv2008

Improved mixing time bounds for the Thorp shuffle and L-reversal chain

We prove a theorem that reduces bounding the mixing time of a card shuffle to verifying a condition that involves only pairs of cards, then we use it to obtain improved bounds for two previously studied models. E. Thorp introduced the following card shuffling model in 1973. Suppose the number of cards n is even. Cut the deck into two equal piles. Drop the first card from the left pile or from the right pile according to the outcome of a fair coin flip. Then drop from the other pile. Continue this way until both piles are empty. We obtain a mixing time bound of O(log^4 n). Previously, the best known bound was O(log^{29} n) and previous proofs were only valid for n a power of 2. We also analyze the following model, called the L-reversal chain, introduced by Durrett. There are n cards arrayed in a circle. Each step, an interval of cards of length at most L is chosen uniformly at random and its order is reversed. Durrett has conjectured that the mixing time is O(max(n, n^3/L^3) log n). We obtain a bound that is within a factor O(log^2 n) of this,the first bound within a poly log factor of the conjecture.

math.PR↗