-
Informativeness and Trust in Bayesian Persuasion
Authors:
Reema Deori,
Ankur A. Kulkarni
Abstract:
A persuasion policy successfully persuades an agent to pick a particular action only if the information is designed in a manner that convinces the agent that it is in their best interest to pick that action. Thus, it is natural to ask, what makes the agent trust the persuader's suggestion? We study a Bayesian persuasion interaction between a sender and a receiver where the sender has access to pri…
▽ More
A persuasion policy successfully persuades an agent to pick a particular action only if the information is designed in a manner that convinces the agent that it is in their best interest to pick that action. Thus, it is natural to ask, what makes the agent trust the persuader's suggestion? We study a Bayesian persuasion interaction between a sender and a receiver where the sender has access to private information and the receiver attempts to recover this information from messages sent by the sender. The sender crafts these messages in an attempt to maximize its utility which depends on the source symbol and the symbol recovered by the receiver. Our goal is to characterize the \textit{Stackelberg game value}, and the amount of true information revealed by the sender during persuasion. We find that the SGV is given by the optimal value of a \textit{linear program} on probability distributions constrained by certain \textit{trust constraints}. These constraints encode that any signal in a persuasion strategy must contain more truth than untruth and thus impose a fundamental bound on the extent of obfuscation a sender can perform. We define \textit{informativeness} of the sender as the minimum expected number of symbols truthfully revealed by the sender in any accumulation point of a sequence of $\varepsilon$-equilibrium persuasion strategies, and show that it is given by another linear program. Informativeness is a fundamental bound on the amount of information the sender must reveal to persuade a receiver. Closed form expressions for the SGV and the informativeness are presented for structured utility functions. This work generalizes our previous work where the sender and the receiver were constrained to play only deterministic strategies and a similar notion of informativeness was characterized. Comparisons between the previous and current notions are discussed.
△ Less
Submitted 25 August, 2024;
originally announced August 2024.
-
Revisiting Common Randomness, No-signaling and Information Structure in Decentralized Control
Authors:
Apurva Dhingra,
Ankur A. Kulkarni
Abstract:
This work revisits the no-signaling condition for decentralized information structures. We produce examples to show that within the no-signaling polytope exist strategies that cannot be achieved by passive common randomness but instead require agents to either share their observations with a mediator or communicate directly with each other. This poses a question mark on whether the no-signaling co…
▽ More
This work revisits the no-signaling condition for decentralized information structures. We produce examples to show that within the no-signaling polytope exist strategies that cannot be achieved by passive common randomness but instead require agents to either share their observations with a mediator or communicate directly with each other. This poses a question mark on whether the no-signaling condition truly captures the decentralized information structure in the strictest sense.
△ Less
Submitted 20 January, 2024;
originally announced February 2024.
-
Achievable Rates for Information Extraction from a Strategic Sender
Authors:
Anuj S. Vora,
Ankur A. Kulkarni
Abstract:
We consider a setting of non-cooperative communication where a receiver wants to recover randomly generated sequences of symbols that are observed by a strategic sender. The sender aims to maximize an average utility that may not align with the recovery criterion of the receiver, whereby the received signals may not be truthful. We pose this problem as a sequential game between the sender and the…
▽ More
We consider a setting of non-cooperative communication where a receiver wants to recover randomly generated sequences of symbols that are observed by a strategic sender. The sender aims to maximize an average utility that may not align with the recovery criterion of the receiver, whereby the received signals may not be truthful. We pose this problem as a sequential game between the sender and the receiver with the receiver as the leader and determine `achievable strategies' for the receiver that attain arbitrarily small probability of error for large blocklengths. We show the existence of such achievable strategies under a sufficient condition on the utility of the sender. For the case of the binary alphabet, this condition is also necessary, in the absence of which, the probability of error goes to one for all choices of strategies of the receiver. We show that for reliable recovery, the receiver chooses to correctly decode only a subset of messages received from the sender and deliberately makes an error on messages outside this subset. Due to this decoding strategy, despite a clean channel, our setting exhibits a notion of maximum rate of communication above which the probability of error may not vanish asymptotically and in certain cases, may even tend to one. For the case of the binary alphabet, the maximum rate may be strictly less than unity for certain classes of utilities.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Signalling for Electricity Demand Response: When is Truth Telling Optimal?
Authors:
Rene Aid,
Anupama Kowli,
Ankur A. Kulkarni
Abstract:
Utilities and transmission system operators (TSO) around the world implement demand response programs for reducing electricity consumption by sending information on the state of balance between supply demand to end-use consumers. We construct a Bayesian persuasion model to analyse such demand response programs. Using a simple model consisting of two time steps for contract signing and invoking, we…
▽ More
Utilities and transmission system operators (TSO) around the world implement demand response programs for reducing electricity consumption by sending information on the state of balance between supply demand to end-use consumers. We construct a Bayesian persuasion model to analyse such demand response programs. Using a simple model consisting of two time steps for contract signing and invoking, we analyse the relation between the pricing of electricity and the incentives of the TSO to garble information about the true state of the generation. We show that if the electricity is priced at its marginal cost of production, the TSO has no incentive to lie and always tells the truth. On the other hand, we provide conditions where overpricing of electricity leads the TSO to provide no information to the consumer.
△ Less
Submitted 14 July, 2023; v1 submitted 24 February, 2023;
originally announced February 2023.
-
A Scalable Bayesian Persuasion Framework for Epidemic Containment on Heterogeneous Networks
Authors:
Shraddha Pathak,
Ankur A. Kulkarni
Abstract:
During an epidemic, the information available to individuals in the society deeply influences their belief of the epidemic spread, and consequently the preventive measures they take to stay safe from the infection. In this paper, we develop a scalable framework for ascertaining the optimal information disclosure a government must make to individuals in a networked society for the purpose of epidem…
▽ More
During an epidemic, the information available to individuals in the society deeply influences their belief of the epidemic spread, and consequently the preventive measures they take to stay safe from the infection. In this paper, we develop a scalable framework for ascertaining the optimal information disclosure a government must make to individuals in a networked society for the purpose of epidemic containment. This problem of information design problem is complicated by the heterogeneous nature of the society, the positive externalities faced by individuals, and the variety in the public response to such disclosures. We use a networked public goods model to capture the underlying societal structure. Our first main result is a structural decomposition of the government's objectives into two independent components -- a component dependent on the utility function of individuals, and another dependent on properties of the underlying network. Since the network dependent term in this decomposition is unaffected by the signals sent by the government, this characterization simplifies the problem of finding the optimal information disclosure policies. We find explicit conditions, in terms of the risk aversion and prudence, under which no disclosure, full disclosure, exaggeration and downplay are the optimal policies. The structural decomposition results are also helpful in studying other forms of interventions like incentive design and network design.
△ Less
Submitted 23 July, 2022;
originally announced July 2022.
-
Information Revelation Through Signalling
Authors:
Reema Deori,
Ankur A. Kulkarni
Abstract:
This paper studies a Stackelberg game wherein a sender (leader) attempts to shape the information of a less informed receiver (follower) who in turn takes an action that determines the payoff for both players. The sender chooses signals to maximize its own utility function while the receiver aims to ascertain the value of a source that is privately known to the sender. It is well known that such s…
▽ More
This paper studies a Stackelberg game wherein a sender (leader) attempts to shape the information of a less informed receiver (follower) who in turn takes an action that determines the payoff for both players. The sender chooses signals to maximize its own utility function while the receiver aims to ascertain the value of a source that is privately known to the sender. It is well known that such sender-receiver games admit a vast number of equilibria and not all signals from the sender can be relied on as truthful. Our main contribution is an exact characterization of the minimum number of distinct source symbols that can be correctly recovered by a receiver in \textit{any} equilibrium of this game; we call this quantity the \textit{informativeness} of the sender. We show that the informativeness is given by the \textit{vertex clique cover number} of a certain graph induced by the utility function, whereby it can be computed based on the utility function alone without the need to enumerate all equilibria. We find that informativeness characterizes the existence of well-known classes of separating, pooling and semi-separating equilibria. We also compare informativeness with the amount of information obtained by the receiver when it is the leader and show that the informativeness is always greater than the latter, implying that the receiver is better off being a follower. Additionally, we also show that when the players play behavioral strategies, an equilibrium may not exist.
△ Less
Submitted 5 October, 2022; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Optimal Questionnaires for Screening of Strategic Agents
Authors:
Anuj S. Vora,
Ankur A. Kulkarni
Abstract:
During the COVID-$19$ pandemic the health authorities at airports and train stations try to screen and identify the travellers possibly exposed to the virus. However, many individuals avoid getting tested and hence may misreport their travel history. This is a challenge for the health authorities who wish to ascertain the truly susceptible cases in spite of this strategic misreporting. We investig…
▽ More
During the COVID-$19$ pandemic the health authorities at airports and train stations try to screen and identify the travellers possibly exposed to the virus. However, many individuals avoid getting tested and hence may misreport their travel history. This is a challenge for the health authorities who wish to ascertain the truly susceptible cases in spite of this strategic misreporting. We investigate the problem of questioning travellers to classify them for further testing when the travellers are strategic or are unwilling to reveal their travel histories. We show there are fundamental limits to how many travel histories the health authorities can recover.% can be correctly classified by any probing mechanism.
△ Less
Submitted 28 October, 2020;
originally announced October 2020.
-
Shannon meets Myerson: Information Extraction from a Strategic Sender
Authors:
Anuj S. Vora,
Ankur A. Kulkarni
Abstract:
We study a setting where a receiver must design a questionnaire to recover a sequence of symbols known to strategic sender, whose utility may not be incentive compatible. We allow the receiver the possibility of selecting the alternatives presented in the questionnaire, and thereby linking decisions across the components of the sequence. We show that, despite the strategic sender and the noise in…
▽ More
We study a setting where a receiver must design a questionnaire to recover a sequence of symbols known to strategic sender, whose utility may not be incentive compatible. We allow the receiver the possibility of selecting the alternatives presented in the questionnaire, and thereby linking decisions across the components of the sequence. We show that, despite the strategic sender and the noise in the channel, the receiver can recover exponentially many sequences, but also that exponentially many sequences are unrecoverable even by the best strategy. We define the growth rate of the number of recovered sequences as the information extraction capacity. A generalization of the Shannon capacity, it characterizes the optimal amount of communication resources required. We derive bounds leading to an exact evaluation of the information extraction capacity in many cases. Our results form the building blocks of a novel, noncooperative regime of communication involving a strategic sender.
△ Less
Submitted 15 September, 2022; v1 submitted 18 June, 2020;
originally announced June 2020.
-
Duopolistic platform competition for revenue and throughput
Authors:
Mansi Sood,
Ankur A. Kulkarni,
Sharayu Moharir
Abstract:
We consider two competing platforms operating in a two-sided market and offering identical services to their customers at potentially different prices. The objective of each platform is to maximize its throughput or revenue by suitably pricing its services. We assume that customers have a preference or loyalty to the platforms while the workers freelance for the two platforms. Assuming that the re…
▽ More
We consider two competing platforms operating in a two-sided market and offering identical services to their customers at potentially different prices. The objective of each platform is to maximize its throughput or revenue by suitably pricing its services. We assume that customers have a preference or loyalty to the platforms while the workers freelance for the two platforms. Assuming that the resulting interaction between the users is such that their aggregate utility is maximized, we show that for each value of the loyalty, there exists a pure strategy Nash equilibrium for both the throughput and revenue competition game and characterize it.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Strategy-Proof Spectrum Allocation among Multiple Operators for Demand Varying Wireless Networks
Authors:
Indu Yadav,
Ankur A. Kulkarni,
Abhay Karandikar
Abstract:
To address the exponentially increasing data rate demands of end users, necessitates efficient spectrum allocation among co-existing operators in licensed and unlicensed spectrum bands to cater to the temporal and spatial variations of traffic in the wireless network. In this paper, we address the spectrum allocation problem among non-cooperative operators via auctions. The classical Vickrey-Clark…
▽ More
To address the exponentially increasing data rate demands of end users, necessitates efficient spectrum allocation among co-existing operators in licensed and unlicensed spectrum bands to cater to the temporal and spatial variations of traffic in the wireless network. In this paper, we address the spectrum allocation problem among non-cooperative operators via auctions. The classical Vickrey-Clarke-Groves (VCG) approach provides the framework for a strategy-proof and social welfare maximizing auction at high computational complexity, which makes it infeasible for practical implementation. We propose sealed bid auction mechanisms for spectrum allocation which are computationally tractable and hence applicable for allocating spectrum by performing auctions in short durations as per the dynamic load variations of the network. We establish that the proposed algorithm is strategy-proof for uniform demand. Furthermore, for non-uniform demand we propose an algorithm that satisfies weak strategy-proofness. We also consider non-linear increase in the marginal valuations with demand. Simulation results are presented to exhibit the performance comparison of the proposed algorithms with VCG and other existing mechanisms.
△ Less
Submitted 20 January, 2020;
originally announced January 2020.
-
The Efficiency of Generalized Nash and Variational Equilibria
Authors:
Ankur A. Kulkarni
Abstract:
Shared-constraint games are noncooperative $N$-player games where players are coupled through a common coupling constraint. It is known that such games admit two kinds of equilibria -- generalized Nash equilibria (GNE) and variational equilibria (VE) -- with two different economic interpretations. We consider such games in the context of resource allocation, where players move simultaneously to de…
▽ More
Shared-constraint games are noncooperative $N$-player games where players are coupled through a common coupling constraint. It is known that such games admit two kinds of equilibria -- generalized Nash equilibria (GNE) and variational equilibria (VE) -- with two different economic interpretations. We consider such games in the context of resource allocation, where players move simultaneously to decide portions of the resource they can consume under a coupling constraint that the sum of the portions they demand be no more than the capacity of the resource. We clarify the worst case and best case efficiency of these kinds of equilibria over all games in a class. We find that the worst case efficiency of both solution concepts in zero and the best case efficiency is unity. Moreover, we characterize the subclass of games where all VE are efficient and show that even in this subclass but the worst case efficiency of GNE is zero. We finally discuss means by which zero worst case efficiency can be remedied.
△ Less
Submitted 2 August, 2019;
originally announced August 2019.
-
Minimax Theorems for Finite Blocklength Lossy Joint Source-Channel Coding over an AVC
Authors:
Anuj S. Vora,
Ankur A. Kulkarni
Abstract:
Motivated by applications in the security of cyber-physical systems, we pose the finite blocklength communication problem in the presence of a jammer as a zero-sum game between the encoder-decoder team and the jammer, by allowing the communicating team as well as the jammer only locally randomized strategies. The communicating team's problem is non-convex under locally randomized codes, and hence,…
▽ More
Motivated by applications in the security of cyber-physical systems, we pose the finite blocklength communication problem in the presence of a jammer as a zero-sum game between the encoder-decoder team and the jammer, by allowing the communicating team as well as the jammer only locally randomized strategies. The communicating team's problem is non-convex under locally randomized codes, and hence, in general, a minimax theorem need not hold for this game. However, we show that approximate minimax theorems hold in the sense that the minimax and maximin values of the game approach each other asymptotically. In particular, for rates strictly below a critical threshold, both the minimax and maximin values approach zero, and for rates strictly above it, they both approach unity. We then show a second order minimax theorem, i.e., for rates exactly approaching the threshold with along a specific scaling, the minimax and maximin values approach the same constant value, that is neither zero nor one. Critical to these results is our derivation of finite blocklength bounds on the minimax and maximin values of the game and our derivation of second order dispersion-based bounds.
△ Less
Submitted 11 July, 2019;
originally announced July 2019.
-
Aggregate Play and Welfare in Strategic Interactions on Networks
Authors:
Karan N. Chadha,
Ankur A. Kulkarni
Abstract:
In recent work by Bramoullé and Kranton, a model for the provision of public goods on a network was presented and relations between equilibria of such a game and properties of the network were established. This model was further extended to include games with imperfect substitutability in Bramoullé et al. The vast multiplicity of equilibria in such games along with the drastic changes in equilibri…
▽ More
In recent work by Bramoullé and Kranton, a model for the provision of public goods on a network was presented and relations between equilibria of such a game and properties of the network were established. This model was further extended to include games with imperfect substitutability in Bramoullé et al. The vast multiplicity of equilibria in such games along with the drastic changes in equilibria with small changes in network structure, makes it challenging for a system planner to estimate the maximum social welfare of such a game or to devise interventions that enhance this welfare. Our main results address this challenge by providing close approximations to the maximum social welfare and the maximum aggregate play in terms of only network characteristics such as the maximum degree and independence number. For the special case when the underlying network is a tree, we derive formulae which use only the number of nodes and their degrees. These results allow a system planner to assess aggregate outcomes and design interventions for the game, directly from the underlying graph structure, without enumerating all equilibria of the game, thereby significantly simplifying the planner's problem. A part of our results can be viewed as a logical extension of [7] where the maximum weighted aggregate effort of the model in [2] was characterized as the weighted independence number of the graph.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
Price-Coupling Games and the Generation Expansion Planning Problem
Authors:
Mathew P. Abraham,
Ankur A. Kulkarni
Abstract:
In this paper, we introduce and study a class of games called price-coupling games that arise in many scenarios, especially in the electricity industry. In a price-coupling game, there is a part of the objective function of a player which has an identical form for all players and there is coupling in the cost functions of players through a price which is determined uniformly for all players by an…
▽ More
In this paper, we introduce and study a class of games called price-coupling games that arise in many scenarios, especially in the electricity industry. In a price-coupling game, there is a part of the objective function of a player which has an identical form for all players and there is coupling in the cost functions of players through a price which is determined uniformly for all players by an independent entity called the \textit{price-determining player} (e.g. independent system operator (ISO) in an electricity market). This price appears in the objective function only in the part which is identical for all players. We study the existence of equilibria in such games under two broad categories, namely \textit{price-anticipative} and \textit{price-taking} formulations. In the price-anticipative formulation, the players anticipate the price and make their decisions while in the price-taking formulation, the players make their decisions considering the price as a given parameter. We model the price-anticipative case as a leader-follower formulation where the players (leaders) conjecture the price (follower's decision) and make their decision. The price-taking formulation is modelled as an $N+1$ player game with the additional player as the price-determining player. The existence of an equilibrium in such games are not easy mainly because of the coupled-constraint structure of the game and the non-convexity of the action set. We give conditions for the existence of equilibria in both formulations. We apply our results to analyze the existence of an equilibrium in the generation expansion planning problem using the above results.
△ Less
Submitted 7 January, 2019;
originally announced January 2019.
-
Strategy-Proof Spectrum Allocation among Multiple Operators
Authors:
Indu Yadav,
Ankur A. Kulkarni,
Abhay Karandikar
Abstract:
To address the demand of exponentially increasing end users efficient use of limited spectrum is a necessity. For this, spectrum allocation among co-existing operators in licensed and unlicensed spectrum band is required to cater to the temporal and spatial traffic variations in the wireless network. In this paper, we consider multiple operator spectrum allocation problem via auctions. The classic…
▽ More
To address the demand of exponentially increasing end users efficient use of limited spectrum is a necessity. For this, spectrum allocation among co-existing operators in licensed and unlicensed spectrum band is required to cater to the temporal and spatial traffic variations in the wireless network. In this paper, we consider multiple operator spectrum allocation problem via auctions. The classical Vickrey-Clarke-Grooves (VCG) approach provides a strategy-proof and social welfare maximizing auction at the cost of high computational complexity which makes it intractable for practical implementation. We propose a sealed bid auction for spectrum allocation, which is computationally tractable and can hence be applied as per the dynamic load variations of the network. We show that the proposed algorithm is strategy-proof. Simulation results are presented to exhibit the performance comparison of the proposed algorithm and the VCG mechanism.
△ Less
Submitted 1 December, 2018;
originally announced December 2018.
-
On Independent Cliques and Linear Complementarity Problems
Authors:
Karan N. Chadha,
Ankur A. Kulkarni
Abstract:
In recent work (Pandit and Kulkarni [Discrete Applied Mathematics, 244 (2018), pp. 155--169]), the independence number of a graph was characterized as the maximum of the $\ell_1$ norm of solutions of a Linear Complementarity Problem (\LCP) defined suitably using parameters of the graph. Solutions of this LCP have another relation, namely, that they corresponded to Nash equilibria of a public goods…
▽ More
In recent work (Pandit and Kulkarni [Discrete Applied Mathematics, 244 (2018), pp. 155--169]), the independence number of a graph was characterized as the maximum of the $\ell_1$ norm of solutions of a Linear Complementarity Problem (\LCP) defined suitably using parameters of the graph. Solutions of this LCP have another relation, namely, that they corresponded to Nash equilibria of a public goods game. Motivated by this, we consider a perturbation of this LCP and identify the combinatorial structures on the graph that correspond to the maximum $\ell_1$ norm of solutions of the new LCP. We introduce a new concept called independent clique solutions which are solutions of the LCP that are supported on independent cliques and show that for small perturbations, such solutions attain the maximum $\ell_1$ norm amongst all solutions of the new LCP.
△ Less
Submitted 24 November, 2018;
originally announced November 2018.
-
Shannon meets von Neumann: A Minimax Theorem for Channel Coding in the Presence of a Jammer
Authors:
Sharu Theresa Jose,
Ankur A. Kulkarni
Abstract:
We study the setting of channel coding over a family of channels whose state is controlled by an adversarial jammer by viewing it as a zero-sum game between a finite blocklength encoder-decoder team, and the jammer. The encoder-decoder team choose stochastic encoding and decoding strategies to minimize the average probability of error in transmission, while the jammer chooses a distribution on the…
▽ More
We study the setting of channel coding over a family of channels whose state is controlled by an adversarial jammer by viewing it as a zero-sum game between a finite blocklength encoder-decoder team, and the jammer. The encoder-decoder team choose stochastic encoding and decoding strategies to minimize the average probability of error in transmission, while the jammer chooses a distribution on the state-space to maximize this probability. The min-max value of this game is equivalent to channel coding for a compound channel -- we call this the Shannon solution of the problem. The max-min value corresponds to finding a mixed channel with the largest value of the minimum achievable probability of error. When the min-max and max-min values are equal, the problem is said to admit a saddle-point or von Neumann solution. While a Shannon solution always exists, a von Neumann solution need not, owing to inherent nonconvexity in the communicating team's problem. Despite this, we show that the min-max and max-min values become equal asymptotically in the large blocklength limit, for all but finitely many rates. We explicitly characterize this limiting value as a function of the rate and obtain tight finite blocklength bounds on the min-max and max-min value. As a corollary we get an explicit expression for the $ε$-capacity of a compound channel under stochastic codes -- the first such result, to the best of our knowledge. Our results demonstrate a deeper relation between the compound channel and mixed channel than was previously known. They also show that the conventional information-theoretic viewpoint, articulated via the Shannon solution, coincides asymptotically with the game-theoretic one articulated via the von Neumann solution.
△ Less
Submitted 18 November, 2018;
originally announced November 2018.
-
Improved Finite Blocklength Converses for Slepian-Wolf Coding via Linear Programming
Authors:
Sharu Theresa Jose,
Ankur A. Kulkarni
Abstract:
A new finite blocklength converse for the Slepian- Wolf coding problem is presented which significantly improves on the best known converse for this problem, due to Miyake and Kanaya [2]. To obtain this converse, an extension of the linear programming (LP) based framework for finite blocklength point- to-point coding problems from [3] is employed. However, a direct application of this framework de…
▽ More
A new finite blocklength converse for the Slepian- Wolf coding problem is presented which significantly improves on the best known converse for this problem, due to Miyake and Kanaya [2]. To obtain this converse, an extension of the linear programming (LP) based framework for finite blocklength point- to-point coding problems from [3] is employed. However, a direct application of this framework demands a complicated analysis for the Slepian-Wolf problem. An analytically simpler approach is presented wherein LP-based finite blocklength converses for this problem are synthesized from point-to-point lossless source coding problems with perfect side-information at the decoder. New finite blocklength metaconverses for these point-to-point problems are derived by employing the LP-based framework, and the new converse for Slepian-Wolf coding is obtained by an appropriate combination of these converses.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
Linear Programming based Converses for Finite Blocklength Lossy Joint Source-Channel Coding
Authors:
Sharu Theresa Jose,
Ankur A. Kulkarni
Abstract:
A linear programming (LP) based framework is presented for obtaining converses for finite blocklength lossy joint source-channel coding problems. The framework applies for any loss criterion, generalizes certain previously known converses, and also extends to multi-terminal settings. The finite blocklength problem is posed equivalently as a nonconvex optimization problem and using a lift-and-proje…
▽ More
A linear programming (LP) based framework is presented for obtaining converses for finite blocklength lossy joint source-channel coding problems. The framework applies for any loss criterion, generalizes certain previously known converses, and also extends to multi-terminal settings. The finite blocklength problem is posed equivalently as a nonconvex optimization problem and using a lift-and-project-like method, a close but tractable LP relaxation of this problem is derived. Lower bounds on the original problem are obtained by the construction of feasible points for the dual of the LP relaxation. A particular application of this approach leads to new converses which recover and improve on the converses of Kostina and Verdu for finite blocklength lossy joint source-channel coding and lossy source coding. For finite blocklength channel coding, the LP relaxation recovers the converse of Polyanskiy, Poor and Verdu and leads to a new improvement on the converse of Wolfowitz, showing thereby that our LP relaxation is asymptotically tight with increasing blocklengths for channel coding, lossless source coding and joint source-channel coding with the excess distortion probability as the loss criterion. Using a duality based argument, a new converse is derived for finite blocklength joint source-channel coding for a class of source-channel pairs. Employing this converse, the LP relaxation is also shown to be tight for all blocklengths for the minimization of the expected average symbol-wise Hamming distortion of a $q$-ary uniform source over a $q$-ary symmetric memoryless channel for any $q \in N$. The optimization formulation and the lift-and-project method are extended to networked settings and demonstrated by obtaining an improvement on a converse of Zhou et al. for the successive refinement problem for successively refinable source-distortion measure triplets.
△ Less
Submitted 3 May, 2017; v1 submitted 10 August, 2016;
originally announced August 2016.
-
Refinement of the Equilibrium of Public Goods Games over Networks: Efficiency and Effort of Specialized Equilibria
Authors:
Parthe Pandit,
Ankur A. Kulkarni
Abstract:
Recently Bramoulle and Kranton presented a model for the provision of public goods over a network and showed the existence of a class of Nash equilibria called specialized equilibria wherein some agents exert maximum effort while other agents free ride. We examine the efficiency, effort and cost of specialized equilibria in comparison to other equilibria. Our main results show that the welfare of…
▽ More
Recently Bramoulle and Kranton presented a model for the provision of public goods over a network and showed the existence of a class of Nash equilibria called specialized equilibria wherein some agents exert maximum effort while other agents free ride. We examine the efficiency, effort and cost of specialized equilibria in comparison to other equilibria. Our main results show that the welfare of a particular specialized equilibrium approaches the maximum welfare amongst all equilibria as the concavity of the benefit function tends to unity. For forest networks a similar result also holds as the concavity approaches zero. Moreover, without any such concavity conditions, there exists for any network a specialized equilibrium that requires the maximum weighted effort amongst all equilibria. When the network is a forest, a specialized equilibrium also incurs the minimum total cost amongst all equilibria. For well-covered forest networks we show that all welfare maximizing equilibria are specialized and all equilibria incur the same total cost. Thus we argue that specialized equilibria may be considered as a refinement of the equilibrium of the public goods game. We show several results on the structure and efficiency of equilibria that highlight the role of dependants in the network.
△ Less
Submitted 23 January, 2022; v1 submitted 7 July, 2016;
originally announced July 2016.
-
A linear complementarity based characterization of the weighted independence number and the independent domination number in graphs
Authors:
Parthe Pandit,
Ankur A. Kulkarni
Abstract:
The linear complementarity problem is a continuous optimization problem that generalizes convex quadratic programming, Nash equilibria of bimatrix games and several such problems. This paper presents a continuous optimization formulation for the weighted independence number of a graph by characterizing it as the maximum weighted $\ell_1$ norm over the solution set of a linear complementarity probl…
▽ More
The linear complementarity problem is a continuous optimization problem that generalizes convex quadratic programming, Nash equilibria of bimatrix games and several such problems. This paper presents a continuous optimization formulation for the weighted independence number of a graph by characterizing it as the maximum weighted $\ell_1$ norm over the solution set of a linear complementarity problem (LCP). The minimum $\ell_1$ norm of solutions of this LCP is a lower bound on the independent domination number of the graph. Unlike the case of the maximum $\ell_1$ norm, this lower bound is in general weak, but we show it to be tight if the graph is a forest. Using methods from the theory of LCPs, we obtain a few graph theoretic results. In particular, we provide a stronger variant of the Lovász theta of a graph. We then provide sufficient conditions for a graph to be well-covered, i.e., for all maximal independent sets to also be maximum. This condition is also shown to be necessary for well-coveredness if the graph is a forest. Finally, the reduction of the maximum independent set problem to a linear program with (linear) complementarity constraints (LPCC) shows that LPCCs are hard to approximate.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
Near-Optimality of Linear Strategies for Static Teams with `Big' Non-Gaussian Noise
Authors:
Ankur A. Kulkarni
Abstract:
We study stochastic team problems with static information structure where we assume controllers have linear information and quadratic cost but allow the noise to be from a non-Gaussian class. When the noise is Gaussian, it is well known that these problems admit linear optimal controllers. We show that for such linear-quadratic static teams with any log-concave noise, if the length of the noise or…
▽ More
We study stochastic team problems with static information structure where we assume controllers have linear information and quadratic cost but allow the noise to be from a non-Gaussian class. When the noise is Gaussian, it is well known that these problems admit linear optimal controllers. We show that for such linear-quadratic static teams with any log-concave noise, if the length of the noise or data vector becomes large compared to the size of the team and their observations, then linear strategies approach optimality for `most' problems. The quality of the approximation improves as length of the noise vector grows and the class of problems for which the approximation is asymptotically not exact approaches a set of measure zero. We show that if the optimal strategies for problems with log-concave noise converge pointwise, they do so to the (linear) optimal strategy for the problem with Gaussian noise. And we derive an asymptotically tight error bound on the difference between the optimal cost for the non-Gaussian problem and the best cost obtained under linear strategies.
△ Less
Submitted 28 December, 2018; v1 submitted 10 March, 2016;
originally announced March 2016.
-
New Results on the Existence of Open Loop Nash Equilibria in Discrete Time Dynamic Games
Authors:
Mathew P. Abraham,
Ankur A. Kulkarni
Abstract:
We address the problem of finding conditions which guarantee the existence of open-loop Nash equilibria in discrete time dynamic games (DTDGs). The classical approach to DTDGs involves analyzing the problem using optimal control theory which yields results mainly limited to linear-quadratic games. We show the existence of equilibria for a class of DTDGs where the cost function of players admits a…
▽ More
We address the problem of finding conditions which guarantee the existence of open-loop Nash equilibria in discrete time dynamic games (DTDGs). The classical approach to DTDGs involves analyzing the problem using optimal control theory which yields results mainly limited to linear-quadratic games. We show the existence of equilibria for a class of DTDGs where the cost function of players admits a quasi-potential function which leads to new results and, in some cases, a generalization of similar results from linear-quadratic games. Our results are obtained by introducing a new formulation for analysing DTDGs using the concept of a conjectured state by the players. In this formulation, the state of the game is modelled as dependent on players. Using this formulation we show that there is an optimisation problem such that the solution of this problem gives an equilibrium of the DTDG.
To extend the result for more general games, we modify the DTDG with an additional constraint of consistency of the conjectured state. Any equilibrium of the original game is also an equilibrium of this modified game with consistent conjectures.
In the modified game, we show the existence of equilibria for DTDGs where the cost function of players admits a potential function. We end with conditions under which an equilibrium of the game with consistent conjectures is an $ε$-Nash equilibria of the original game.
△ Less
Submitted 11 September, 2015;
originally announced September 2015.
-
Dimensionality Reduction of Affine Variational Inequalities Using Random Projections
Authors:
Bharat Prabhakar,
Ankur A. Kulkarni
Abstract:
We present a method for dimensionality reduction of an affine variational inequality (AVI) defined over a compact feasible region. Centered around the Johnson Lindenstrauss lemma, our method is a randomized algorithm that produces with high probability an approximate solution for the given AVI by solving a lower-dimensional AVI. The algorithm allows the lower dimension to be chosen based on the qu…
▽ More
We present a method for dimensionality reduction of an affine variational inequality (AVI) defined over a compact feasible region. Centered around the Johnson Lindenstrauss lemma, our method is a randomized algorithm that produces with high probability an approximate solution for the given AVI by solving a lower-dimensional AVI. The algorithm allows the lower dimension to be chosen based on the quality of approximation desired. The algorithm can also be used as a subroutine in an exact algorithm for generating an initial point close to the solution. The lower-dimensional AVI is obtained by appropriately projecting the original AVI on a randomly chosen subspace. The lower-dimensional AVI is solved using standard solvers and from this solution an approximate solution to the original AVI is recovered through an inexpensive process. Our numerical experiments corroborate the theoretical results and validate that the algorithm provides a good approximation at low dimensions and substantial savings in time for an exact solution.
△ Less
Submitted 8 November, 2014; v1 submitted 20 August, 2014;
originally announced August 2014.
-
An Optimizer's Approach to Stochastic Control Problems with Nonclassical Information Structures
Authors:
Ankur A. Kulkarni,
Todd P. Coleman
Abstract:
We present an optimization-based approach to stochastic control problems with nonclassical information structures. We cast these problems equivalently as optimization prob- lems on joint distributions. The resulting problems are necessarily nonconvex. Our approach to solving them is through convex relaxation. We solve the instance solved by Bansal and Basar with a particular application of this ap…
▽ More
We present an optimization-based approach to stochastic control problems with nonclassical information structures. We cast these problems equivalently as optimization prob- lems on joint distributions. The resulting problems are necessarily nonconvex. Our approach to solving them is through convex relaxation. We solve the instance solved by Bansal and Basar with a particular application of this approach that uses the data processing inequality for constructing the convex relaxation. Using certain f-divergences, we obtain a new, larger set of inverse optimal cost functions for such problems. Insights are obtained on the relation between the structure of cost functions and of convex relaxations for inverse optimal control.
△ Less
Submitted 15 September, 2013;
originally announced September 2013.
-
Approximate dynamic programming using fluid and diffusion approximations with applications to power management
Authors:
Wei Chen,
Dayu Huang,
Ankur A. Kulkarni,
Jayakrishnan Unnikrishnan,
Quanyan Zhu,
Prashant Mehta,
Sean Meyn,
Adam Wierman
Abstract:
Neuro-dynamic programming is a class of powerful techniques for approximating the solution to dynamic programming equations. In their most computationally attractive formulations, these techniques provide the approximate solution only within a prescribed finite-dimensional function class. Thus, the question that always arises is how should the function class be chosen? The goal of this paper is to…
▽ More
Neuro-dynamic programming is a class of powerful techniques for approximating the solution to dynamic programming equations. In their most computationally attractive formulations, these techniques provide the approximate solution only within a prescribed finite-dimensional function class. Thus, the question that always arises is how should the function class be chosen? The goal of this paper is to propose an approach using the solutions to associated fluid and diffusion approximations. In order to illustrate this approach, the paper focuses on an application to dynamic speed scaling for power management in computer processors.
△ Less
Submitted 9 July, 2013; v1 submitted 6 July, 2013;
originally announced July 2013.
-
Two Approaches to the Construction of Deletion Correcting Codes: Weight Partitioning and Optimal Colorings
Authors:
Daniel Cullina,
Ankur A. Kulkarni,
Negar Kiyavash
Abstract:
We consider the problem of constructing deletion correcting codes over a binary alphabet and take a graph theoretic view. An $n$-bit $s$-deletion correcting code is an independent set in a particular graph. We propose constructing such a code by taking the union of many constant Hamming weight codes. This results in codes that have additional structure. Searching for codes in constant Hamming weig…
▽ More
We consider the problem of constructing deletion correcting codes over a binary alphabet and take a graph theoretic view. An $n$-bit $s$-deletion correcting code is an independent set in a particular graph. We propose constructing such a code by taking the union of many constant Hamming weight codes. This results in codes that have additional structure. Searching for codes in constant Hamming weight induced subgraphs is computationally easier than searching the original graph. We prove a lower bound on size of a codebook constructed this way for any number of deletions and show that it is only a small factor below the corresponding lower bound on unrestricted codes. In the single deletion case, we find optimal colorings of the constant Hamming weight induced subgraphs. We show that the resulting code is asymptotically optimal. We discuss the relationship between codes and colorings and observe that the VT codes are optimal in a coloring sense. We prove a new lower bound on the chromatic number of the deletion channel graphs. Colorings of the deletion channel graphs that match this bound do not necessarily produce asymptotically optimal codes.
△ Less
Submitted 16 November, 2012;
originally announced November 2012.
-
Non-asymptotic Upper Bounds for Deletion Correcting Codes
Authors:
Ankur A. Kulkarni,
Negar Kiyavash
Abstract:
Explicit non-asymptotic upper bounds on the sizes of multiple-deletion correcting codes are presented. In particular, the largest single-deletion correcting code for $q$-ary alphabet and string length $n$ is shown to be of size at most $\frac{q^n-q}{(q-1)(n-1)}$. An improved bound on the asymptotic rate function is obtained as a corollary. Upper bounds are also derived on sizes of codes for a cons…
▽ More
Explicit non-asymptotic upper bounds on the sizes of multiple-deletion correcting codes are presented. In particular, the largest single-deletion correcting code for $q$-ary alphabet and string length $n$ is shown to be of size at most $\frac{q^n-q}{(q-1)(n-1)}$. An improved bound on the asymptotic rate function is obtained as a corollary. Upper bounds are also derived on sizes of codes for a constrained source that does not necessarily comprise of all strings of a particular length, and this idea is demonstrated by application to sets of run-length limited strings.
The problem of finding the largest deletion correcting code is modeled as a matching problem on a hypergraph. This problem is formulated as an integer linear program. The upper bound is obtained by the construction of a feasible point for the dual of the linear programming relaxation of this integer linear program.
The non-asymptotic bounds derived imply the known asymptotic bounds of Levenshtein and Tenengolts and improve on known non-asymptotic bounds. Numerical results support the conjecture that in the binary case, the Varshamov-Tenengolts codes are the largest single-deletion correcting codes.
△ Less
Submitted 13 November, 2012;
originally announced November 2012.
-
A Shared-Constraint Approach to Multi-leader Multi-follower Games
Authors:
Ankur A. Kulkarni,
Uday V. Shanbhag
Abstract:
Multi-leader multi-follower games are a class of hierarchical games in which a collection of leaders compete in a Nash game constrained by the equilibrium conditions of another Nash game amongst the followers. The resulting equilibrium problem with equilibrium constraints is complicated by nonconvex agent problems and therefore providing tractable conditions for existence of global or even local e…
▽ More
Multi-leader multi-follower games are a class of hierarchical games in which a collection of leaders compete in a Nash game constrained by the equilibrium conditions of another Nash game amongst the followers. The resulting equilibrium problem with equilibrium constraints is complicated by nonconvex agent problems and therefore providing tractable conditions for existence of global or even local equilibria for it has proved challenging. Consequently, much of the extant research on this topic is either model specific or relies on weaker notions of equilibria. We consider a modified formulation in which every leader is cognizant of the equilibrium constraints of all leaders. Equilibria of this modified game contain the equilibria, if any, of the original game. The new formulation has a constraint structure called shared constraints, and our main result shows that if the leader objectives admit a potential function, the global minimizers of the potential function over the shared constraint are equilibria of the modified formulation. We provide another existence result using fixed point theory that does not require potentiality. Additionally, local minima, B-stationary, and strong-stationary points of this minimization are shown to be local Nash equilibria, Nash B-stationary, and Nash strong-stationary points of the corresponding multi-leader multi-follower game. We demonstrate the relationship between variational equilibria associated with this modified shared-constraint game and equilibria of the original game from the standpoint of the multiplier sets and show how equilibria of the original formulation may be recovered. We note through several examples that such potential multi-leader multi-follower games capture a breadth of application problems of interest and demonstrate our findings on a multi-leader multi-follower Cournot game.
△ Less
Submitted 31 December, 2013; v1 submitted 13 June, 2012;
originally announced June 2012.