Searcharxiv⌕ Search

arXiv subjects

Haifeng Xu

Publications and source records attributed to Haifeng Xu.

At least 109 records · Page 6Linked to original sources

The Intrinsic Robustness of Stochastic Bandits to Strategic Manipulation

Motivated by economic applications such as recommender systems, we study the behavior of stochastic bandits algorithms under \emph{strategic behavior} conducted by rational actors, i.e., the arms. Each arm is a \emph{self-interested} strategic player who can modify its own reward whenever pulled, subject to a cross-period budget constraint, in order to maximize its own expected number of times of being pulled. We analyze the robustness of three popular bandit algorithms: UCB, $\varepsilon$-Greedy, and Thompson Sampling. We prove that all three algorithms achieve a regret upper bound $\mathcal{O}(\max \{ B, K\ln T\})$ where $B$ is the total budget across arms, $K$ is the total number of arms and $T$ is length of the time horizon. This regret guarantee holds under \emph{arbitrary adaptive} manipulation strategy of arms. Our second set of main results shows that this regret bound is \emph{tight} -- in fact for UCB it is tight even when we restrict the arms' manipulation strategies to form a \emph{Nash equilibrium}. The lower bound makes use of a simple manipulation strategy, the same for all three algorithms, yielding a bound of $Ω(\max \{ B, K\ln T\})$. Our results illustrate the robustness of classic bandits algorithms against strategic manipulations as long as $B=o(T)$.

cs.LG↗

The Power of Signaling and its Intrinsic Connection to the Price of Anarchy

A basic lesson from game theory is that strategic behavior often renders the equilibrium outcome inefficient. The recent literature of information design -- a.k.a. signaling or persuasion -- looks to improve equilibria by providing carefully-tuned information to players in order to influence their actions. Most previous studies have focused on the question of designing optimal signaling schemes. This work departs from previous research by considering a descriptive question and looks to quantitatively characterize the power of signaling (PoS), i.e., how much a signaling designer can improve her objective of the equilibrium outcome. We consider four signaling schemes with increasing power: full information, optimal public signaling, optimal private signaling and optimal ex-ante private signaling. Our main result is a clean and tight characterization of the additional power each signaling scheme has over its immediate predecessor above in the broad classes of cost-minimization and payoff-maximization games where: (1) all players minimize non-negative cost functions or maximize non-negative payoff functions; (2) the signaling designer (naturally) optimizes the sum of players' utilities. We prove that the additional power of signaling -- defined as the worst-case ratio between the equilibrium objectives of two consecutive signaling schemes in the above list -- is bounded precisely by the well-studied notion of the price of anarchy of the corresponding games. Moreover, we show that all these bounds are tight.

cs.GT↗

Computing Equilibria of Prediction Markets via Persuasion

We study the computation of equilibria in prediction markets in perhaps the most fundamental special case with two players and three trading opportunities. To do so, we show equivalence of prediction market equilibria with those of a simpler signaling game with commitment introduced by Kong and Schoenebeck (2018). We then extend their results by giving computationally efficient algorithms for additional parameter regimes. Our approach leverages a new connection between prediction markets and Bayesian persuasion, which also reveals interesting conceptual insights.

cs.GT↗

Collapsing Bandits and Their Application to Public Health Interventions

We propose and study Collpasing Bandits, a new restless multi-armed bandit (RMAB) setting in which each arm follows a binary-state Markovian process with a special structure: when an arm is played, the state is fully observed, thus "collapsing" any uncertainty, but when an arm is passive, no observation is made, thus allowing uncertainty to evolve. The goal is to keep as many arms in the "good" state as possible by planning a limited budget of actions per round. Such Collapsing Bandits are natural models for many healthcare domains in which workers must simultaneously monitor patients and deliver interventions in a way that maximizes the health of their patient cohort. Our main contributions are as follows: (i) Building on the Whittle index technique for RMABs, we derive conditions under which the Collapsing Bandits problem is indexable. Our derivation hinges on novel conditions that characterize when the optimal policies may take the form of either "forward" or "reverse" threshold policies. (ii) We exploit the optimality of threshold policies to build fast algorithms for computing the Whittle index, including a closed-form. (iii) We evaluate our algorithm on several data distributions including data from a real-world healthcare task in which a worker must monitor and deliver interventions to maximize their patients' adherence to tuberculosis medication. Our algorithm achieves a 3-order-of-magnitude speedup compared to state-of-the-art RMAB techniques while achieving similar performance.

cs.LG↗

Selling Information Through Consulting

We consider a monopoly information holder selling information to a budget-constrained decision maker, who may benefit from the seller's information. The decision maker has a utility function that depends on his action and an uncertain state of the world. The seller and the buyer each observe a private signal regarding the state of the world, which may be correlated with each other. The seller's goal is to sell her private information to the buyer and extract maximum possible revenue, subject to the buyer's budget constraints. We consider three different settings with increasing generality, i.e., the seller's signal and the buyer's signal can be independent, correlated, or follow a general distribution accessed through a black-box sampling oracle. For each setting, we design information selling mechanisms which are both optimal and simple in the sense that they can be naturally interpreted, have succinct representations, and can be efficiently computed. Notably, though the optimal mechanism exhibits slightly increasing complexity as the setting becomes more general, all our mechanisms share the same format of acting as a consultant who recommends the best action to the buyer but uses different and carefully designed payment rules for different settings. Each of our optimal mechanisms can be easily computed by solving a single polynomial-size linear program. This significantly simplifies exponential-size LPs solved by the Ellipsoid method in the previous work, which computes the optimal mechanisms in the same setting but without budget limit. Such simplification is enabled by our new characterizations of the optimal mechanism in the (more realistic) budget-constrained setting.

cs.GT↗

To Warn or Not to Warn: Online Signaling in Audit Games

Routine operational use of sensitive data is often governed by law and regulation. For instance, in the medical domain, there are various statues at the state and federal level that dictate who is permitted to work with patients' records and under what conditions. To screen for potential privacy breaches, logging systems are usually deployed to trigger alerts whenever suspicious access is detected. However, such mechanisms are often inefficient because 1) the vast majority of triggered alerts are false positives, 2) small budgets make it unlikely that a real attack will be detected, and 3) attackers can behave strategically, such that traditional auditing mechanisms cannot easily catch them. To improve efficiency, information systems may invoke signaling, so that whenever a suspicious access request occurs, the system can, in real time, warn the user that the access may be audited. Then, at the close of a finite period, a selected subset of suspicious accesses are audited. This gives rise to an online problem in which one needs to determine 1) whether a warning should be triggered and 2) the likelihood that the data request event will be audited. In this paper, we formalize this auditing problem as a Signaling Audit Game (SAG), in which we model the interactions between an auditor and an attacker in the context of signaling and the usability cost is represented as a factor of the auditor's payoff. We study the properties of its Stackelberg equilibria and develop a scalable approach to compute its solution. We show that a strategic presentation of warnings adds value in that SAGs realize significantly higher utility for the auditor than systems without signaling. We illustrate the value of the proposed auditing model and the consistency of its advantages over existing baseline methods.

cs.CR↗

On the Tractability of Public Persuasion with No Externalities

Persuasion studies how a principal can influence agents' decisions via strategic information revelation --- often described as a signaling scheme --- in order to yield the most desirable equilibrium outcome. Recently, there has been a large body of algorithmic study of designing optimal public signaling schemes, a.k.a., public persuasion, which however is rifle with computational intractability results. In this paper, we design efficient and tight algorithms for public persuasion, and focus on a fundamental multi-agent persuasion model with no inter-agent externalities and binary actions introduced by Arieli and Babichenko. En route, we develop new algorithmic techniques which may be of independent interests. First, we prove that optimal public persuasion is fixed parameter tractable. Our main result here relies on an interesting connection to a basic question in combinatorial geometry: how many cells can $n$ hyperplanes divide $R^d$ into? We use this connection to show a new characterization of public persuasion, which then enables efficient algorithm design. Second, we relax agent incentives and show that optimal public persuasion admits a bi-criteria PTAS for monotone submodular objectives and this approximation is tight. To prove this result, we establish an intriguing "noise stability" property of submodular functions which strictly generalizes the key result of Cheraghchi et al., originally motivated by applications of learning submodular functions and differential privacy. Finally, motivated by automated persuasion implemented as software, we consider relaxing the equilibrium concept of the model to coarse correlated equilibrium. Here we use a sophisticated primal-dual analysis to establish the polynomial-time equivalence between optimal public persuasion and the combinatorial problem of directly maximizing the sender's objective minus any linear function.

cs.GT↗

Targeting and Signaling in Ad Auctions

Modern ad auctions allow advertisers to target more specific segments of the user population. Unfortunately, this is not always in the best interest of the ad platform. In this paper, we examine the following basic question in the context of second-price ad auctions: how should an ad platform optimally reveal information about the ad opportunity to the advertisers in order to maximize revenue? We consider a model in which bidders' valuations depend on a random state of the ad opportunity. Different from previous work, we focus on a more practical, and challenging, situation where the space of possible realizations of ad opportunities is extremely large. We thus focus on developing algorithms whose running time is independent of the number of ad opportunity realizations. We examine the auctioneer's algorithmic question of designing the optimal signaling scheme. When the auctioneer is restricted to send a public signal to all bidders, we focus on a well-motivated Bayesian valuation setting in which the auctioneer and bidders both have private information, and present two main results: 1. we exhibit a characterization result regarding approximately optimal schemes and prove that any constant-approximate public signaling scheme must use exponentially many signals; 2. we present a "simple" public signaling scheme that serves as a constant approximation under mild assumptions. We then initiate an exploration on the power of being able to send different signals privately to different bidders. Here we examine a basic setting where the auctioneer knows bidders' valuations, and exhibit a polynomial-time private scheme that extracts almost full surplus even in the worst Bayes Nash equilibrium. This illustrates the surprising power of private signaling schemes in extracting revenue.

cs.GT↗

Quantum dynamics of atomic Rydberg excitation in strong laser fields

Neutral atoms have been observed to survive intense laser pulses in high Rydberg states with surprisingly large probability. Only with this Rydberg-state excitation (RSE) included is the picture of intense-laser-atom interaction complete. Various mechanisms have been proposed to explain the underlying physics. However, neither one can explain all the features observed in experiments and in time-dependent Schrödinger equation (TDSE) simulations. Here we propose a fully quantum-mechanical model based on the strong-field approximation (SFA). It well reproduces the intensity dependence of RSE obtained by the TDSE, which exhibits a series of modulated peaks. They are due to recapture of the liberated electron and the fact that the pertinent probability strongly depends on the position and the parity of the Rydberg state. We also present measurements of RSE in xenon at 800 nm, which display the peak structure consistent with the calculations.

physics.atom-ph↗

Imitative Follower Deception in Stackelberg Games

Information uncertainty is one of the major challenges facing applications of game theory. In the context of Stackelberg games, various approaches have been proposed to deal with the leader's incomplete knowledge about the follower's payoffs, typically by gathering information from the leader's interaction with the follower. Unfortunately, these approaches rely crucially on the assumption that the follower will not strategically exploit this information asymmetry, i.e., the follower behaves truthfully during the interaction according to their actual payoffs. As we show in this paper, the follower may have strong incentives to deceitfully imitate the behavior of a different follower type and, in doing this, benefit significantly from inducing the leader into choosing a highly suboptimal strategy. This raises a fundamental question: how to design a leader strategy in the presence of a deceitful follower? To answer this question, we put forward a basic model of Stackelberg games with (imitative) follower deception and show that the leader is indeed able to reduce the loss due to follower deception with carefully designed policies. We then provide a systematic study of the problem of computing the optimal leader policy and draw a relatively complete picture of the complexity landscape; essentially matching positive and negative complexity results are provided for natural variants of the model. Our intractability results are in sharp contrast to the situation with no deception, where the leader's optimal strategy can be computed in polynomial time, and thus illustrate the intrinsic difficulty of handling follower deception. Through simulations we also examine the benefit of considering follower deception in randomly generated games.

cs.GT↗

Human Spermbots for Cancer-Relevant Drug Delivery

Cellular micromotors are attractive for locally delivering high concentrations of drug and targeting hard-to-reach disease sites such as cervical cancer and early ovarian cancer lesions by non-invasive means. Spermatozoa are highly efficient micromotors perfectly adapted to traveling up the female reproductive system. Indeed, bovine sperm-based micromotors have recently been reported as a potential candidate for the drug delivery toward gynecological cancers of clinical unmet need. However, due to major differences in the molecular make-up of bovine and human sperm, a key translational bottleneck for bringing this technology closer to the clinic is to transfer this concept to human sperm. Here, we successfully load human sperm with a chemotherapeutic drug and perform treatment of relevant 3D cervical cancer and patient-representative 3D ovarian cancer cell cultures, resulting in strong anti-cancer effects. Additionally, we show the subcellular localization of the chemotherapeutic drug within human sperm heads and assess drug effects on sperm motility and viability over time. Finally, we demonstrate guidance and release of human drug-loaded sperm onto cancer cell cultures by using streamlined microcap designs capable of simultaneously carrying multiple human sperm towards controlled drug dosing by transporting known numbers of sperm loaded with defined amounts of chemotherapeutic drug.

q-bio.CB↗

Mitigating the Curse of Correlation in Security Games by Entropy Maximization

In Stackelberg security games, a defender seeks to randomly allocate limited security resources to protect critical targets from an attack. In this paper, we study a fundamental, yet underexplored, phenomenon in security games, which we term the \emph{Curse of Correlation} (CoC). Specifically, we observe that there are inevitable correlations among the protection status of different targets. Such correlation is a crucial concern, especially in \emph{spatio-temporal} domains like conservation area patrolling, where attackers can surveil patrollers at certain areas and then infer their patrolling routes using such correlations. To mitigate this issue, we propose to design entropy-maximizing defending strategies for spatio-temporal security games, which frequently suffer from CoC. We prove that the problem is \#P-hard in general. However, it admits efficient algorithms in well-motivated special settings. Our experiments show significant advantages of max-entropy algorithms over previous algorithms. A scalable implementation of our algorithm is currently under pre-deployment testing for integration into FAMS software to improve the scheduling of US federal air marshals.

cs.GT↗

An equation about sum of primes with digital sum constraints

We know that any prime number of form $4s+1$ can be written as a sum of two perfect square numbers. As a consequence of Goldbach's weak conjecture, any number great than $10$ can be represented as a sum of four primes. We are motivated to consider an equation with some constraints about digital sum for the four primes. And we conclude that the square root of the digital sum of the four primes will greater than $4$ and will not be a multiple of $3$ if the equation has solutions. In the proof, we give the method of determining whether a number is a perfect square.

math.NT↗

An alternative proof of the Dirichlet prime number theorem

Dirichlet's theorem on arithmetic progressions called as Dirichlet prime number theorem is a classical result in number theory. Atle Selberg\cite{Selberg} gave an elementary proof of this theorem. In this article we give an alternative proof of it based on a previous result of us. Also we get an estimation of the prime counting function in the special cases.

math.NT↗

Algorithmic Persuasion with No Externalities

We study the algorithmics of information structure design -- a.k.a. persuasion or signaling -- in a fundamental special case introduced by Arieli and Babichenko: multiple agents, binary actions, and no inter-agent externalities. Unlike prior work on this model, we allow many states of nature. We assume that the principal's objective is a monotone set function, and study the problem both in the public signal and private signal models, drawing a sharp contrast between the two in terms of both efficacy and computational complexity. When private signals are allowed, our results are largely positive and quite general. First, we show polynomial-time equivalence between optimal signaling and the problem of maximizing the objective function plus an additive function. This yields an efficient implementation of the optimal scheme when the objective is supermodular or anonymous. Second, we exhibit a (1-1/e)-approximation of the optimal private signaling scheme, modulo an additive loss of $ε$, when the objective function is submodular. These two results simplify, unify, and generalize results of [Arieli and Babichenko, 2016] and [Babichenko and Barman, 2016], extending them from a binary state of nature to many states (modulo the additive loss in the latter result). Third, we consider the binary-state case with a submodular objective, and simplify and slightly strengthen the result of [Babichenko and Barman, 2016] to obtain a (1-1/e)-approximation via an explicitly constructed scheme. When only a public signal is allowed, our results are negative. First, we show that it is NP-hard to approximate the optimal public scheme, within any constant factor, even when the objective is additive. Second, we show that the optimal private scheme can outperform the optimal public scheme, in terms of maximizing the sender's objective, by a polynomial factor.

cs.GT↗

Sperm-hybrid micromotor for drug delivery in the female reproductive tract

A sperm-driven micromotor is presented as cargo-delivery system for the treatment of gynecological cancers. This particular hybrid micromotor is appealing to treat diseases in the female reproductive tract, the physiological environment that sperm cells are naturally adapted to swim in. Here, the single sperm cell serves as an active drug carrier and as driving force, taking advantage of its swimming capability, while a laser-printed microstructure coated with a nanometric layer of iron is used to guide and release the sperm in the desired area by an external magnet and structurally imposed mechanical actuation, respectively. The printed tubular microstructure features four arms which release the drug-loaded sperm cell in situ when they bend upon pushing against a tumor spheroid, resulting in the drug delivery, which occurs when the sperm squeezes through the cancer cells and fuses with cell membrane. Sperms also offer higher drug encapsulation capability and carrying stability compared to other nano and microcarriers, minimizing toxic effects and unwanted drug accumulation. Moreover, sperms neither express pathogenic proteins nor proliferate to form undesirable colonies, unlike other cells or microorganisms do, making this bio-hybrid system a unique and biocompatible cargo delivery platform for various biomedical applications, especially in gynecological healthcare.

physics.med-ph↗

The Mysteries of Security Games: Equilibrium Computation Becomes Combinatorial Algorithm Design

The security game is a basic model for resource allocation in adversarial environments. Here there are two players, a defender and an attacker. The defender wants to allocate her limited resources to defend critical targets and the attacker seeks his most favorable target to attack. In the past decade, there has been a surge of research interest in analyzing and solving security games that are motivated by applications from various domains. This paper examines security games from a theoretical perspective and provides a unified view of various security game models. In particular, each security game can be characterized by a set system $E$ which consists of the defender's pure strategies, The defender's best response problem can be viewed as a combinatorial optimization problem over $E$. Our framework captures most of the basic security game models in the literature, including all the deployed systems, The set system $E$ arising from various domains encodes standard combinatorial problems like bipartite matching, maximum coverage, min-cost flow, packing problems, etc. Our main result shows that equilibrium computation in security games is essentially a combinatorial problem. In particular, we prove that, for any set system $E$, the following problems can be reduced to each other in polynomial time: (0) combinatorial optimization over $E$, (1) computing the minimax equilibrium for zero-sum security games over $E$, (2) computing the strong Stackelberg equilibrium for security games over $E$, (3) computing the best or worst (for the defender) Nash equilibrium for security games over $E$. Here, by "games over $E$" we mean the class of security games with arbitrary payoff structures, but a fixed set $E$ of defender pure strategies. This shows that the complexity of a security game is essentially determined by the set system $E$.

cs.GT↗

Algorithmic Bayesian Persuasion

Persuasion, defined as the act of exploiting an informational advantage in order to effect the decisions of others, is ubiquitous. Indeed, persuasive communication has been estimated to account for almost a third of all economic activity in the US. This paper examines persuasion through a computational lens, focusing on what is perhaps the most basic and fundamental model in this space: the celebrated Bayesian persuasion model of Kamenica and Gentzkow. Here there are two players, a sender and a receiver. The receiver must take one of a number of actions with a-priori unknown payoff, and the sender has access to additional information regarding the payoffs. The sender can commit to revealing a noisy signal regarding the realization of the payoffs of various actions, and would like to do so as to maximize her own payoff assuming a perfectly rational receiver. We examine the sender's optimization task in three of the most natural input models for this problem, and essentially pin down its computational complexity in each. When the payoff distributions of the different actions are i.i.d. and given explicitly, we exhibit a polynomial-time (exact) algorithm, and a "simple" $(1-1/e)$-approximation algorithm. Our optimal scheme for the i.i.d. setting involves an analogy to auction theory, and makes use of Border's characterization of the space of reduced-forms for single-item auctions. When action payoffs are independent but non-identical with marginal distributions given explicitly, we show that it is #P-hard to compute the optimal expected sender utility. Finally, we consider a general (possibly correlated) joint distribution of action payoffs presented by a black box sampling oracle, and exhibit a fully polynomial-time approximation scheme (FPTAS) with a bi-criteria guarantee. We show that this result is the best possible in the black-box model for information-theoretic reasons.

cs.GT↗