Search arXiv⌕ Search

arXiv · 2610.05580

A Primal-Dual Approach to Randomized Online Bidding with Tail Constraints

Abstract

Controlling tail risk in randomized algorithms has received increasing attention. A recently introduced approach is to impose tail constraints that limit the probability of poor outcomes. We study the randomized online bidding problem under such tail constraints. When the tail constraints require zero probability of exceeding the prescribed thresholds, we determine the optimal expected competitive ratio. For general tail constraints that allow positive exceedance probabilities, we derive a parameter-dependent upper bound on the optimal expected competitive ratio. This work builds on the Master's thesis of Royce Kraakman, which initiated our study of tail constraints for online bidding. The optimality result established in the present paper, in particular the matching lower bound for pure tail constraints, was obtained subsequently and is not contained in the thesis. After becoming aware of independent related work by Basiak et al. on pure tail constraints, we decided to make this preliminary version publicly available while the manuscript is still under development. Some material from the thesis has not yet been incorporated into the present version.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Royce Kraakman, Bob Krekelberg, Alison Hsiang-Hsuan Liu, Fu-Hong Liu. 2026-10-04. A Primal-Dual Approach to Randomized Online Bidding with Tail Constraints. https://arxiv.org/abs/2610.05580

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Boolean encoding of the Most Permissive semantics for Boolean networks

Boolean networks are widely used to model biological regulatory networks and study their dynamics. Classical semantics, such as the asynchronous semantics, do not always accurately capture transient or asymptotic behaviors observed in quantitative models. To address this limitation, the Most Permissive semantics was introduced by Paulevé et al., extending Boolean dynamics with intermediate activity levels that allow components to transiently activate or inhibit their targets during transitions. In this work, we provide a Boolean encoding of the Most Permissive semantics: each component of the original network is represented by a triplet of Boolean variables, and we derive the extended logical function governing the resulting network. We prove that the asynchronous dynamics of the encoded network exactly reproduces the attainability properties of the original network under Most Permissive semantics. This encoding is implemented as a modifier within the bioLQM framework, making it directly compatible with existing tools such as GINsim. To address scalability limitations, we further extend the tool to support partial unfolding, restricted to a user-defined subset of components.

cs.DM↗

Analyzing Network Robustness via Residual Closeness

Networks are inherently vulnerable to vertex failures, making the analysis of their structural robustness a fundamental problem in graph theory. In this study, we investigate the closeness and vertex residual closeness of graphs, with a particular focus on the middle graph representations of certain special graph classes, which provide a richer structural framework for analysis. We derive exact expressions for the closeness values of these middle graphs and determine their residual closeness under vertex failures. By utilizing results obtained from specific graph families, we establish several general bounds for broader graph classes. Furthermore, by exploiting the relationship between the closeness of a graph, its line graphs and middle graphs, we obtain new results that relate these three structures. In addition, we present a computational procedure for evaluating closeness and vertex residual closeness in middle graphs, together with numerical verification of selected theoretical results and an analysis of its computational complexity.

cs.DM↗

The Two-Dimensional Majority Rule is P-Complete

We prove that prediction for the synchronous two-dimensional majority rule is $\mathrm{P}$-complete under logspace many-one reductions, resolving a problem open for almost three decades. In 1997, Moore established $\mathrm{P}$-completeness in dimension three and higher and conjectured that the two-dimensional case admits an efficient parallel algorithm. We consider an $n\times n$ torus on which each cell follows the majority of its four nearest neighbors and retains its current state in a tie. Given an explicitly specified initial configuration and a time $T$, prediction asks whether a designated cell is in state $+1$ at time $T$. The central challenge is to make independent information streams cross in the plane under a homogeneous, monotone, diffusive local rule. We overcome this obstacle through a temporal encoding of Boolean values: both values generate activity, but are distinguished by signal arrival times. This encoding yields a crossover that preserves both values and composes with wires, duplication, and AND and OR gates to simulate arbitrary monotone Boolean circuits. Thus a local rule that favors agreement can nevertheless transport, combine, and cross independent information in two dimensions. We also prove $\mathrm{P}$-completeness for deciding whether a designated cell ever reaches $+1$, without a prescribed time horizon. The prediction result extends to every uniform symmetric signed majority rule on the same neighborhood, including the minority rule.

cs.DM↗