Researcher profile

Daron Anderson

Daron Anderson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
3topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Lazy Lagrangians with Predictions for Online Learning

We consider the general problem of online convex optimization with time-varying additive constraints in the presence of predictions for the next cost and constraint functions. A novel primal-dual algorithm is designed by combining a Follow-The-Regularized-Leader iteration with prediction-adaptive dynamic steps. The algorithm achieves $\mathcal O(T^{\frac{3-β}{4}})$ regret and $\mathcal O(T^{\frac{1+β}{2}})$ constraint violation bounds that are tunable via parameter $β\!\in\![1/2,1)$ and have constant factors that shrink with the predictions quality, achieving eventually $\mathcal O(1)$ regret for perfect predictions. Our work extends the FTRL framework for this constrained OCO setting and outperforms the respective state-of-the-art greedy-based solutions, without imposing conditions on the quality of predictions, the cost functions or the geometry of constraints, beyond convexity.

preprint2022arXiv

Lazy Online Gradient Descent is Universal on Polytopes

We prove the familiar Lazy Online Gradient Descent algorithm is universal on polytope domains. That means it gets $O(1)$ pseudo-regret against i.i.d opponents, while simultaneously achieving the well-known $O(\sqrt N)$ worst-case regret bound. For comparison the bulk of the literature focuses on variants of the Hedge (exponential weights) algorithm on the simplex. These can in principle be lifted to general polytopes; however the process is computationally unfeasible for many important classes where the number of vertices grows quickly with the dimension. The lifting procedure also ignores any Euclidean bounds on the cost vectors, and can create extra factors of dimension in the pseudo-regret bound. Gradient Descent is simpler than the handful of purpose-built algorithms for polytopes in the literature, and works in a broader setting. In particular existing algorithms assume the optimiser is unique, while our bound allows for several optimal vertices.

preprint2020arXiv

Continuum Without Non-Block Points

For any composant $E \subset \mathbb H^*$ and corresponding near-coherence class $\mathscr E \subset ω^*$ we prove the following are equivalent : (1) $E$ properly contains a dense semicontinuum. (2) Each countable subset of $E$ is contained in a dense proper semicontinuum of $E$. (3) Each countable subset of $E$ is disjoint from some dense proper semicontinuum of $E$. (4) $\mathscr E $ has a minimal element in the finite-to-one monotone order of ultrafilters. (5) $\mathscr E $ has a $Q$-point. A consequence is that NCF is equivalent to $\mathbb H^*$ containing no proper dense semicontinuum and no non-block points. This gives an axiom-contingent answer to a question of the author. Thus every known continuum has either a proper dense semicontinuum at every point or at no points. We examine the structure of indecomposable continua for which this fails, and deduce they contain a maximum semicontinuum with dense interior.

preprint2020arXiv

The Shore Point Existence Problem is Equivalent to the Non-Block Point Existence Problem

We prove the three propositions are equivalent: $(a)$ Every Hausdorff continuum has two or more shore points. $(b)$ Every Hausdorff continuum has two or more non-block points. $(c)$ Every Hausdorff continuum is coastal at each point. Thus it is consistent that all three properties fail. We also give the following characterisation of shore points: The point $p$ of the continuum $X$ is a shore point if and only if there is a net of subcontinua in $\{K \in C(X): K \subset κ(p) - p\}$ tending to $X$ in the Vietoris topology. This contrasts with the standard characterisation which only demands the net elements be contained in $X-p$. In addition we prove every point of an indecomposable continuum is a shore point.