-
Ungar Games on the Young-Fibonacci and the Shifted Staircase Lattices
Authors:
Yunseo Choi,
Katelyn Gan
Abstract:
In 2023, Defant and Li introduced the Ungar move, which sends an element $v$ of a finite meet-semilattice $L$ to the meet of some subset of the elements covered by $v$. More recently, Defant, Kravitz, and Williams introduced the Ungar game on $L$, in which two players take turns making Ungar moves starting from an element of $L$ until the player that cannot make a nontrivial Ungar move loses. In t…
▽ More
In 2023, Defant and Li introduced the Ungar move, which sends an element $v$ of a finite meet-semilattice $L$ to the meet of some subset of the elements covered by $v$. More recently, Defant, Kravitz, and Williams introduced the Ungar game on $L$, in which two players take turns making Ungar moves starting from an element of $L$ until the player that cannot make a nontrivial Ungar move loses. In this note, we settle two conjectures by Defant, Kravitz, and Williams on the Ungar games on the Young-Fibonacci lattice and the lattices of the order ideals of shifted staircases.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
On the set partitions that require maximum sorts through the $aba-$avoiding stack
Authors:
Yunseo Choi,
Katelyn Gan,
Andrew Li,
Tiffany Zhu
Abstract:
Recently, Xia introduced a deterministic variation $φ_σ$ of Defant and Kravitz's stack-sorting maps for set partitions and showed that any set partition $p$ is sorted by $φ^{N(p)}_{aba}$, where $N(p)$ is the number of distinct alphabets in $p$. Xia then asked which set partitions $p$ are not sorted by $φ_{aba}^{N(p)-1}$. In this note, we prove that the minimal length of a set partition $p$ that is…
▽ More
Recently, Xia introduced a deterministic variation $φ_σ$ of Defant and Kravitz's stack-sorting maps for set partitions and showed that any set partition $p$ is sorted by $φ^{N(p)}_{aba}$, where $N(p)$ is the number of distinct alphabets in $p$. Xia then asked which set partitions $p$ are not sorted by $φ_{aba}^{N(p)-1}$. In this note, we prove that the minimal length of a set partition $p$ that is not sorted by $φ_{aba}^{N(p)-1}$ is $2N(p)$. Then we show that there is only one set partition of length $2N(p)$ and ${{N(p) + 1} \choose 2} + 2{N(p) \choose 2}$ set partitions of length $2N(p)+1$ that are not sorted by $φ_{aba}^{N(p)-1}$.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Online Uniform Allocation:Randomized Learning-Augmented Approximation Algorithms with Application to Digital Health
Authors:
Xueqing Liu,
Kyra Gan,
Esmaeil Keyvanshokooh,
Susan Murphy
Abstract:
Motivated by applications in digital health, this work studies the novel problem of online uniform allocation (OUA), where the goal is to distribute a budget uniformly across unknown decision times. In the OUA problem, the algorithm is given a budget $b$ and a time horizon $T$, and an adversary then chooses a value $τ^* \in [b,T]$, which is revealed to the algorithm online. At each decision time…
▽ More
Motivated by applications in digital health, this work studies the novel problem of online uniform allocation (OUA), where the goal is to distribute a budget uniformly across unknown decision times. In the OUA problem, the algorithm is given a budget $b$ and a time horizon $T$, and an adversary then chooses a value $τ^* \in [b,T]$, which is revealed to the algorithm online. At each decision time $i \in [τ^*]$, the algorithm must determine a probability that maximizes the budget spent throughout the horizon, respecting budget constraint $b$, while achieving as uniform a distribution as possible over $τ^*$. We present the first randomized algorithm designed for this problem and subsequently extend it to incorporate learning augmentation. We provide worst-case approximation guarantees for both algorithms, and illustrate the utility of the algorithms through both synthetic experiments and a real-world case study involving the HeartSteps mobile application. Our numerical results show strong empirical average performance of our proposed randomized algorithms against previously proposed heuristic solutions.
△ Less
Submitted 22 May, 2024; v1 submitted 2 February, 2024;
originally announced February 2024.
-
Anytime-valid inference in N-of-1 trials
Authors:
Ivana Malenica,
Yongyi Guo,
Kyra Gan,
Stefan Konigorski
Abstract:
App-based N-of-1 trials offer a scalable experimental design for assessing the effects of health interventions at an individual level. Their practical success depends on the strong motivation of participants, which, in turn, translates into high adherence and reduced loss to follow-up. One way to maintain participant engagement is by sharing their interim results. Continuously testing hypotheses d…
▽ More
App-based N-of-1 trials offer a scalable experimental design for assessing the effects of health interventions at an individual level. Their practical success depends on the strong motivation of participants, which, in turn, translates into high adherence and reduced loss to follow-up. One way to maintain participant engagement is by sharing their interim results. Continuously testing hypotheses during a trial, known as "peeking", can also lead to shorter, lower-risk trials by detecting strong effects early. Nevertheless, traditionally, results are only presented upon the trial's conclusion. In this work, we introduce a potential outcomes framework that permits interim peeking of the results and enables statistically valid inferences to be drawn at any point during N-of-1 trials. Our work builds on the growing literature on valid confidence sequences, which enables anytime-valid inference with uniform type-1 error guarantees over time. We propose several causal estimands for treatment effects applicable in an N-of-1 trial and demonstrate, through empirical evaluation, that the proposed approach results in valid confidence sequences over time. We anticipate that incorporating anytime-valid inference into clinical trials can significantly enhance trial participation and empower participants.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
On a conjecture on pattern-avoiding machines
Authors:
Christopher Bao,
Giulio Cerbai,
Yunseo Choi,
Katelyn Gan,
Owen Zhang
Abstract:
Let $s$ be West's stack-sorting map, and let $s_{T}$ be the generalized stack-sorting map, where instead of being required to increase, the stack avoids subpermutations that are order-isomorphic to any permutation in the set $T$. In 2020, Cerbai, Claesson, and Ferrari introduced the $σ$-machine $s \circ s_σ$ as a generalization of West's $2$-stack-sorting-map $s \circ s$. As a further generalizati…
▽ More
Let $s$ be West's stack-sorting map, and let $s_{T}$ be the generalized stack-sorting map, where instead of being required to increase, the stack avoids subpermutations that are order-isomorphic to any permutation in the set $T$. In 2020, Cerbai, Claesson, and Ferrari introduced the $σ$-machine $s \circ s_σ$ as a generalization of West's $2$-stack-sorting-map $s \circ s$. As a further generalization, in 2021, Baril, Cerbai, Khalil, and Vajnovski introduced the $(σ, τ)$-machine $s \circ s_{σ, τ}$ and enumerated $|\Sort_{n}(σ,τ)|$ -- the number of permutations in $S_n$ that are mapped to the identity by the $(σ, τ)$-machine -- for six pairs of length $3$ permutations $(σ, τ)$. In this work, we settle a conjecture by Baril, Cerbai, Khalil, and Vajnovski on the only remaining pair of length $3$ patterns $(σ, τ) = (132, 321)$ for which $|\Sort_{n}(σ, τ)|$ appears in the OEIS. In addition, we enumerate $|\Sort_n(123, 321)|$, which does not appear in the OEIS, but has a simple closed form.
△ Less
Submitted 12 September, 2023; v1 submitted 18 August, 2023;
originally announced August 2023.
-
Contextual Bandits with Budgeted Information Reveal
Authors:
Kyra Gan,
Esmaeil Keyvanshokooh,
Xueqing Liu,
Susan Murphy
Abstract:
Contextual bandit algorithms are commonly used in digital health to recommend personalized treatments. However, to ensure the effectiveness of the treatments, patients are often requested to take actions that have no immediate benefit to them, which we refer to as pro-treatment actions. In practice, clinicians have a limited budget to encourage patients to take these actions and collect additional…
▽ More
Contextual bandit algorithms are commonly used in digital health to recommend personalized treatments. However, to ensure the effectiveness of the treatments, patients are often requested to take actions that have no immediate benefit to them, which we refer to as pro-treatment actions. In practice, clinicians have a limited budget to encourage patients to take these actions and collect additional information. We introduce a novel optimization and learning algorithm to address this problem. This algorithm effectively combines the strengths of two algorithmic approaches in a seamless manner, including 1) an online primal-dual algorithm for deciding the optimal timing to reach out to patients, and 2) a contextual bandit learning algorithm to deliver personalized treatment to the patient. We prove that this algorithm admits a sub-linear regret bound. We illustrate the usefulness of this algorithm on both synthetic and real-world data.
△ Less
Submitted 13 March, 2024; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Combinatorial Fock spaces and quantum symmetric pairs
Authors:
Michael Ehrig,
Kaixuan Gan
Abstract:
The natural representation of the quantized affine algebra of type A can be defined via the deformed Fock space by Misra and Miwa. This relates the classes of Weyl modules for a type A quantum group at a root of unity to the action of the quantized affine algebra as the rank tends towards infinity. In this paper we investigate the situation outside of type A. In classical types, we construct embed…
▽ More
The natural representation of the quantized affine algebra of type A can be defined via the deformed Fock space by Misra and Miwa. This relates the classes of Weyl modules for a type A quantum group at a root of unity to the action of the quantized affine algebra as the rank tends towards infinity. In this paper we investigate the situation outside of type A. In classical types, we construct embeddings of the Grothendieck group of finite dimensional modules for the corresponding quatum group at a root of unity into Fock spaces of different charges and define an action of an affine quantum symmetric pair that plays the role of the quantized affine algebra. We describe how the action is related to the linkage principal for quantum groups at a root of unity and tensor product multiplicities.
△ Less
Submitted 9 January, 2023;
originally announced January 2023.
-
Causal Inference With Selectively Deconfounded Data
Authors:
Kyra Gan,
Andrew A. Li,
Zachary C. Lipton,
Sridhar Tayur
Abstract:
Given only data generated by a standard confounding graph with unobserved confounder, the Average Treatment Effect (ATE) is not identifiable. To estimate the ATE, a practitioner must then either (a) collect deconfounded data;(b) run a clinical trial; or (c) elucidate further properties of the causal graph that might render the ATE identifiable. In this paper, we consider the benefit of incorporati…
▽ More
Given only data generated by a standard confounding graph with unobserved confounder, the Average Treatment Effect (ATE) is not identifiable. To estimate the ATE, a practitioner must then either (a) collect deconfounded data;(b) run a clinical trial; or (c) elucidate further properties of the causal graph that might render the ATE identifiable. In this paper, we consider the benefit of incorporating a large confounded observational dataset (confounder unobserved) alongside a small deconfounded observational dataset (confounder revealed) when estimating the ATE. Our theoretical results suggest that the inclusion of confounded data can significantly reduce the quantity of deconfounded data required to estimate the ATE to within a desired accuracy level. Moreover, in some cases -- say, genetics -- we could imagine retrospectively selecting samples to deconfound. We demonstrate that by actively selecting these samples based upon the (already observed) treatment and outcome, we can reduce sample complexity further. Our theoretical and empirical results establish that the worst-case relative performance of our approach (vs. a natural benchmark) is bounded while our best-case gains are unbounded. Finally, we demonstrate the benefits of selective deconfounding using a large real-world dataset related to genetic mutation in cancer.
△ Less
Submitted 6 March, 2021; v1 submitted 25 February, 2020;
originally announced February 2020.