[figure]skip=-6mm,singlelinecheck=off \AtAppendix \AtAppendix \AtAppendix \AtAppendix
Quantum algorithm for large-scale market equilibrium computation
Abstract
Classical algorithms for market equilibrium computation such as proportional response dynamics face scalability issues with Internet-based applications such as auctions, recommender systems, and fair division, despite having an almost linear runtime in terms of the product of buyers and goods. In this work, we provide the first quantum algorithm for market equilibrium computation with sub-linear performance. Our algorithm provides a polynomial runtime speedup in terms of the product of the number of buyers and goods while reaching the same optimization objective value as the classical algorithm. Numerical simulations of a system with 16384 buyers and goods support our theoretical results that our quantum algorithm provides a significant speedup.
1 Introduction
The balance of supply and demand is a fundamental and well-known law that determines the price of goods in a market. In a market with a set of buyers and goods, the competitive equilibrium [1, 2] determines the optimal price and allocation of goods such that the supply equals the demand in the given market. The computation of the competitive equilibrium is known as the market equilibrium computation problem, whose unique solution was shown to exist under a general model of the economics in the seminal work of Arrow and Debreu [3]. The relevance of such problems in algorithmic game theory [4, 5] is substantiated by the first welfare theorem, which implies that the competitive equilibria are Pareto-efficient [6], where no allocation is available that makes one agent better without making another one worse. In competitive equilibrium from equal income (CEEI) scenarios, such equilibria are further known to by envy-free [7, 8], where no agent would prefer an allocation received by another agent over their own.
The market equilibrium computation problem has, in recent years, been extended to various large-scale Internet-based markets [9], including auction markets [10], fair item allocation/fair division [11, 12, 13], scheduling problems [14] and recommender systems [15]. Such developments call for the need to further develop algorithmic theories for markets and the computation of market equilibria.
We focus on a particular type of market known as the Fisher market [16, 17], where there is a set of buyers interested in buying infinitely-divisible goods, and where each buyer has their monetary budget that has no intrinsic value apart from being used to purchase goods. We mainly consider Fisher markets with linear utilities, where the total utility gained by purchasing goods is strictly linear to the value and proportion of the goods obtained.
While combinatorial algorithms that can obtain exact and approximate solutions to such solutions have been discovered [18, 19, 20, 21], these algorithms tend to scale poorly against the growing number of buyers and goods. One can otherwise formulate the market equilibrium computation problem as an optimization problem that maximizes a convex objective function known as the Eisenberg-Gale (EG) convex program [22, 23]. Such optimization algorithms can produce approximate solutions much faster than that of combinatorial algorithms. One such example that is commonly used for the market equilibrium problem is the proportional response (PR) dynamics [24, 25]. The PR dynamics is an iterative algorithm that converges with a rate of where is the number of iterations. Each iteration of the PR dynamics has a cost of from proportionally updating individual bids that a buyer should make for different goods.
Given the high number of buyers and goods that can exist in Internet-based markets, the problem of further algorithmic speedups to the computation continues to be an active field of research. Gao and Kroer [26] discovered that by using projected gradient descent instead of PR dynamics, the market equilibrium can be found with linear convergence. Apart from the number of iterations, attempts to reduce the cost per iteration, such as using clustering to reduce the problem size [15], have also been made. However, it is not yet clear whether these methods can provide advantages beyond a constant-factor speedup.
In this work, we consider a Fisher market with buyers and goods, where the objective is to find an approximate market equilibrium whose EG objective function is within an additive error of the optimal EG objective value. We provide a method to reduce the cost per iteration by utilizing quantum norm estimation and quantum inner product estimation [27, 28] and provide the first quantum algorithm to achieve sublinear performance in terms of the product of the buyers and goods in market equilibrium computation. To arrive at the quantum algorithm, we show an alternate version of the PR dynamics with erroneous updates, which we term the faulty proportional response (FPR) dynamics. We then provide a quantum algorithm that provides a quadratic speedup in terms of the smaller dimension between buyers and goods, as well as less memory consumption, albeit being QRAM instead of classical RAM. We summarize our results in Table 1.
Algorithm | Iterations | Runtime | Memory | Result Prep. |
---|---|---|---|---|
PR dynamics [24] | NA, in RAM | |||
Quantum alg. |
2 Preliminaries
Notations.
Let . We use to represent element-wise multiplication, as well as for bit-wise XOR operation and for tensor products. For vectors , we denote a vector’s norm by . Let indicate the space of square matrices of size over . We denote the -th row vector of by and the -th column vector of by . We further define as , and the -unit simplex as , i.e. . For sets of numbers, we add the subscript to indicate a constraint on positivity for elements in the set. We use to denote a binary encoding of a real number up to arbitrary precision into a quantum state, and to denote a multi-qubit zero state whose number of qubits can be inferred from the context. Lastly, we use to omit polylogarithmic factors in asymptotic runtime/memory analysis.
Quantum computation.
Quantum algorithms are shown to be able to provide asymptotic speedups over classical counterparts [29, 30, 31] by utilizing characteristics of quantum mechanics such as superposition to access data all at once. In this work, the main quantum speedup stems from the fast computation of norms and inner products [27, 28], which is in turn powered by a technique known as quantum amplitude estimation (QAE) [32]. Classical approximation algorithms that use Monte Carlo methods for probability estimation up to precision have runtime due to the concentration of precision being correlated to the variance. On the other hand, QAE can achieve the same precision by reading input at once in superposition and repeatedly amplifying the precision of our estimation, which takes runtime and provides a quadratic speedup. Many subtle improvements to the QAE algorithm have since been made after its discovery, such as simplifying subroutines [33, 34, 35], restoring the initial state [36, 37] and compensating for bias [38].
Theorem 2.1 (Quantum amplitude estimation; Theorem 2, [39]).
Let . We are given one copy of a quantum state as input, as well as a unitary transformation , and a unitary transformation for some projector . There exists a quantum algorithm that outputs , an estimate of , such that
with probability at least , using applications of and each.
In this paper, we use QAE to estimate norms and inner products of vectors up to a multiplicative error in runtime with probability , invoking a quadratic speedup in both the dimension and the error rate. We defer the formulation and details to Appendix A.
Apart from quantum subroutines that provide speedups, we also require the usage of arithmetic operations such as addition, subtraction, multiplication, and division on quantum computers. We assume the arithmetic model, which would allow us to ignore issues arising from the fixed point representation of numbers111If the fixed point representation with an additive error of is considered, the additional multiplicative cost required for operations is then . Considering , the additional cost is , which are polylogarithmic factors that we already omit in this paper.. We further assume that we have access to quantum arithmetic circuits [40, 41] that can perform such arithmetic operations in gates, and that by using such circuits, computation of the -th power of a number, where , can be achieved in gates, using methods like binary exponentiation [42]. We note that quantum arithmetic circuits can be used to execute the same operation on multiple numbers in parallel if the numbers are held in superposition.
Lastly, we need to access the input matrices and intermediate vectors as a superposition of encoded quantum states. Such quantum access to the classical data in memory can be achieved by quantum random access memory (QRAM)222Our memory unit can be more precisely termed QRACM [43, 44] or QROM [45] as opposed to QRAQM [43, 44] or QRAG [46], whose memory registers store quantum states instead of classical numbers. However, both are more commonly and jointly referred to as QRAM in literature. as follows. We refer the reader to [44] for a survey on QRAM.
Fisher market equilibrium.
In the Fisher market model [16, 17], we are given a market of infinitely divisible goods to be divided among buyers. Without loss of generality, we assume a unit supply for each good. Each buyer has a budget of that has no intrinsic value apart from being used to purchase goods where, again without loss of generality, we assume . Each buyer also has a utility function that maps an allocation of portions of items to a utility value. We can then define the allocation matrix such that is the portion of item allocated to buyer , where is the bundle of products allocated to buyer . In this paper, we consider linear utility functions such that , where is the value for a unit of item for buyer .
Given the Fisher market, we want to compute its competitive equilibrium, which consists of the price vector for each item and allocation matrix such that each buyer exhausts their entire budget to acquire a bundle of items that maximizes each of their utility .
The market equilibrium of Fisher markets can be captured by solving the Eisenberg-Gale (EG) convex program [22, 23]. The program is derived from maximizing the budget-weighted geometric mean of the buyers’ utilities, which satisfies natural properties such as invariance of the optimal solution to rescaling and splitting [49]. Using the on the geometric mean, the EG program is as follows:
(2.1) |
Such convex programs (maximization of a concave function subject to constraints) can be solved by interior point methods [50], but may not scale to large markets. We discuss this further in Section 6.
For the linear Fisher market, an alternative convex program that obtains the same market equilibrium was shown by Shmyrev [51]. Supposing that each buyer submits a bid for item such that the sum of the bid of the buyer matches their budget such that each buyer is allocated of item , we have the following convex program:
(2.2) |
As the allocation matrix and price vector can be directly computed from and be used to compute the bid matrix, the bid matrix can be used as a direct representation of the market equilibrium itself, and hence, is the output of the algorithms we discuss in our paper.
Proportional response dynamics.
The proportional response (PR) dynamics is an iterative algorithm [24, 25, 52] that obtains the Fisher market equilibrium computation by updating the bids submitted by buyer for item . For each time step, the elements of the price vector are computed by summing the bids for item such that . The allocation is then obtained by taking . The buyers then update the bids such that the new bid is proportional to the utility gained in the current time step such that . It was shown by Birnbaum et al. [53] that the PR dynamics is equivalent to mirror descent [54, 55] to a Bregman divergence [56] of the Shmyrev convex program.
For ease of discussion, we write the objective function of the EG and Shmyrev convex programs as functions of the bid matrix , obtaining the EG objective function and Shmyrev objective function . We denote the optimal bid , where .
The convergence bounds of the PR dynamics regarding the EG and Shmyrev objective functions for linear Fisher markets were found as follows:
Theorem 2.2 (Convergence of PR dynamics; [53]).
Considering a linear Fisher market, for as iteratively defined by the proportional response dynamics where , we have
(2.3) |
An alternate end-to-end proof of the convergence of both convex programs that varies from Birnbaum et al. [53]’s approach and centered around the EG function can be found in Appendix B, elements of which we use in the proof of later sections. Two notable results that we prove and utilize are: 1) , and 2) the telescoping sum of the difference of the KL divergence of the optimal bid and the iterating bids can be lower bounded by the difference of the current EG objective function and the optimal EG function.
3 Faulty proportional response dynamics
Before moving on to our quantum algorithm, we propose the faulty proportional response (FPR) dynamics, which computes an erroneous update to compute a sequence of bids , which still retains a convergence guarantee, serving as a counterpart to Theorem 2.2. We first define a faulty update we use for the FPR dynamics:
Definition 2 (Faulty proportional response update).
Let and . Given such that where . Further, given such that where . A faulty proportional response update of the bids from timestep to is then expressed as follows:
Note that provides an estimation to the price , does not provide an estimation to the exact utility , but , which replaces in the computation of with .
The convergence bounds of the FPR dynamics regarding the EG objective function for linear Fisher markets were found as follows:
Theorem 3.1 (Convergence of the FPR dynamics).
Considering a linear Fisher market, for as iteratively defined by the faulty proportional response dynamics where , we have
when and .
A high-level idea of the proof follows from the telescoping sum trick to upper bound the EG objective functions with KL divergence from our proof of PR dynamics but with the consideration of error. We show an end-to-end proof of the convergence of the EG objective function in Appendix C.
Notice that in the FPR dynamics, we do not enforce the monotonicity of the iterations, but instead simply take the minimum value over all iterations. The error terms and in the FPR dynamics are only upper bounded such that the total sum of objective values over iterations (plus the original iteration) can be upper bounded by plus an accumulated error over iterations also within . If we enforce the monotonicity of the iterations to take the last iteration, the error would require precision and would produce a algorithmic dependency instead of .
However, given the formulation of a faulty update, a problem that comes into question is whether the computation of the exact value of the function is supported, as we do not compute in the process of updating. Without computation of , one can not be sure which iteration of is the minimum. However, we use the computed value of as an estimator for the function . The following result is then obtained.
Theorem 3.2.
Considering a linear Fisher market, for as iteratively defined by the faulty proportional response dynamics where . Let . Then
when and .
The proof of this theorem can similarly be found in Appendix C, which has the same proof idea as Theorem 3.1 apart from some slight differences in error handling.
4 Quantum algorithm
We present our quantum algorithm for solving linear Fisher market equilibrium computation based on the FPR dynamics. Our quantum algorithm does not aim to provide speedups in terms of the number of iterations but provides speedups on the iteration cost of the PR dynamics algorithm. Our algorithm, while reducing the runtime in terms of the number of buyers or goods , increases runtime in terms of the number of iterations but as the is logarithmically dependent on , there is an overall quadratic speedup provided in the smaller of the two dimensions.
In this section, we further assume that . We note that the multiplicative scaling of does not affect the bid matrix generated in the FPR dynamics as errors are multiplicative. Hence if the values are larger than , we scale down the values by dividing the queried by a number that is larger than .
To compute the market equilibrium for the Fisher market by the FPR dynamics in the quantum setting, we require the data input of both the budget vector and the value matrix . We assume quantum query access to the budget and vector and value matrix by the index is readily given to us as part of the problem input without having to load classical data into a quantum system. That is, given an index state and ancilla quantum registers we can store the value of the budget and value according to the index in the ancilla register. Note that these operations can be performed in superposition, such that .
We do not explicitly state how the data input of the budget and value entries are generated; they could be extracted from entries of a matrix already preloaded in QRAM, or generated/reconstructed from a low-rank approximation of the matrix [15], which takes cost to access -rank approximations using quantum arithmetic circuits, but with much lower memory consumption333With low-rank approximations, the loading of classical data into QRAM would only take runtime.. We note that the low-rank approximation assumption of the value matrix has not yet been utilized to produce reductions in resource consumption in classical methods as the PR dynamics and other methods to compute market equilibrium [26] require all entries of the full value matrix.
Storing the results of the computed bids in QRAM would require a cost of which would remove all possibility of potential speedups. The same applies to the allocation matrix . Hence, every time we require the usage of oder , we compute them on-the-fly as follows:
(4.1) |
Given quantum access to the values of and , one can encode the values of and into a quantum state in superposition via quantum arithmetic circuits in runtime of . The quantum access and cost as they are obtained from QRAM, and the operation of taking the -th power of the budget and value cost by binary exponentiation [42].
The remaining steps are to compute the price vector and utility vector in each iteration. Each entry is the estimation of the norm of and each entry is the estimation of the inner product between and , which can both be obtained using amplitude estimation. and can then be iteratively updated by multiplying by the values of and each iteration. The full algorithm is shown in Algorithm 1.
Theorem 4.1 (Quantum algorithm for faulty proportional response dynamics).
Let , , and . Given quantum access to and , and access to QRAM, with success probability , Algorithm 1 produces values stored in QRAM such that query access to the values of can be constructed, where
with runtime and QRAM space. To provide query access to , an cost of is incurred from accessing and in QRAM.
Proof.
Per union bound [57], we find that the total success probability is at least . Note that the output of Algorithm 1 of bestPiP and bestPiNu corresponds to the values of and that can be used to construct per Equation 4.1. This gives us the guarantee of convergence shown in Theorem 3.2.
Moving to the runtime analysis, the quantum norm estimation subroutine takes for iterations, while quantum inner product estimation takes for iterations, resulting in a runtime of . For uses of QRAM, the construction on Lines 5 and 9, is a one-time cost of and , respectively, with a total runtime of . The classical computation of the EG value in Line 11 costs . We note that the quantum norm and inner product estimation subroutine is the main bottleneck of the algorithm, and hence the total runtime is then .
For the memory complexity, for the -th iteration, we require 6 vectors in QRAM: the current iteration and , the best iteration bestPiP and bestPiNu and the previous iteration and , in case we need to update bestPiP and bestPiNu. Note that to update the best iteration, we simply reroute the register of the previous iteration to being the best iteration. There is no need to copy data or reconstruct a new QRAM as the data from the previous iteration is no longer needed in the next iteration. Therefore, the memory is for storing the 6 vectors. ∎
5 Numerical simulations
We simulate the market equilibrium computation under PR dynamics and our quantum algorithm. To showcase the effects of quantum speedups, we fixed the number of queries to all bid matrices and observed the reduction of the objective value over the number of queries.
As an actual simulation of amplitude estimation using quantum gates over multiple qubits is costly, we directly compute the probability vector of for that one would obtain by amplitude estimation [32] for a target value ,
(5.1) |
where , and is the number of times that call the unitaries and in QAE (see Theorem 2.1), and is linearly correlated to the runtime We then sample the output according to the computed probabilities to obtain an estimator .
For our experiments, we generate data the input data where the value is sampled from a uniform distribution with range and a normal distribution , where we resample values that fall outside the range of . For the budget , we either sample from the same distribution as the value matrix or set the same budget for all buyers to simulate competitive equilibrium from equal income (CEEI) applications. Our simulation includes buyers, goods, and iterate for iterations for the PR dynamics. For the quantum algorithm, note that the queries per iteration would be reduced by if we use an actual quantum computer, hence increasing the number of iterations to fix the number of queries. For amplitude estimation, we run for iterations and set . As the classical algorithms are deterministic, we rerun our quantum algorithm over times with the same sample of and to observe the variance of convergence progress. Experimental results are shown in Figure 1(a). Details on implementation and further experimental setup are found in Appendix D.
From the plots of Figure 1, we note that the results fit our theoretical results in that the quantum algorithm converges much faster than that of the PR dynamics [24]. Further, we also compare against the convergence of projected gradient descent, which supports empirical results by Gao and Kroer [26] that in the regime of mid-level accuracy and low iterations, PR dynamics-related algorithms, both classical and quantum, converge faster than projected gradient descent.
6 Discussion
Quasi-linear utilities.
For the bulk of our paper, we focus on the setting of linear utilities for Fisher markets. However, applications of market equilibrium computation in large-scale Fisher markets involve mostly quasi-linear utilities [9]. An approach for using PR dynamics for quasi-linear utilities proposed by Gao and Kroer [26]444There is another method proposed by Cheung et al. [58], which we find difficult to convert to quantum due to its use of thresholding, which would cause problems with faulty updates from the FPR dynamics. includes the usage of slack variables that represent the buyers’ leftover budgets. The PR updates are then modified as follows:
(6.1) |
Further, PR dynamics for quasi-linear utilities exhibit a convergence rate of . Using the methods discussed in previous sections, the quasi-linear version of PR dynamics can then be readily adapted to its quantum version by employing the same techniques of computing and storing in QRAM the values of and in conjunction with on-the-fly computation of , and .
Constant number of buyers.
Notice that our quantum algorithm provides a quadratic speedup on the smaller value in regards to the number of buyers and number of goods . Therefore given extreme cases where the number of buyers , our algorithm does not provide a speedup. However, in such cases, quantum speedups may still be obtained simply by removing the amplitude estimation step for estimating the price for each item and replacing it with using quantum arithmetic circuits to compute the exact sum. We use a total of qubits to compute the values of separately on the -th set of qubits, and only conduct amplitude estimation when estimating the utility value for each buyer. Given that in this setting, , the total runtime would then be , gaining a quadratic speedup over the number of goods .
Dequantization.
Given the work in recent years towards the development of quantum-inspired classical algorithms [59, 60, 61, 62] that achieve similar performances as quantum algorithms using sampling-based techniques, a natural question that arises is whether our algorithm can be “de-quantized”. The main speedup in our algorithm stems from the usage of estimation of norms and inner products. While the use of sampling techniques can indeed provide inner product estimations, they retain the same dependency instead of the dependency of QAE. Hence, our algorithm performance may be hard to replicate in classical settings.
On the other hand, while it has been suggested that the computation of market equilibrium may benefit from low-rank approximations [15], methods of using such properties to accelerate the computation of gradients have not been proposed, given that the update of the PR dynamics rely on element-wise multiplication of matrices instead matrix multiplication. This would suggest that using sampling techniques to accelerate updates would be similarly difficult.
Potential and limitations for further quantum speedups.
Our quantum algorithm shares similarities to other quantum algorithms that are based on the multiplicative weight update (MWU) method [63, 64]. Such methods have found success in obtaining quantum speedups for LPs [65] and SDPs [66, 67, 68, 69], which have been extended to applications such as zero-sum games [65, 70], quadratic binary optimization [71], and financial applications [28, 72]. Apart from the MWU-esque PR dynamics, various other methods for computing market equilibrium have also been proposed. Can quantum speedups obtained from these methods exceed those of our quantum algorithm?
Tracing back to the roots of the EG convex program [22, 23] and Shmyrev convex program [51], it is well known that such programs can be solved in polynomial time with interior-point methods (IPM) [50]. However, as IPMs require using linear solvers as subroutines, and as there is no guarantee of well-conditioned systems, the quantum linear systems solver [73, 74] may not provide significant speedup. Therefore, it may be unlikely that quantum IPMs [75] can provide significant speedups.
First-order methods such as the Frank-Wolfe (FW) algorithm [76] and projected gradient descent (PGD) have also been discussed as candidates for solving market equilibrium [26], with PGD achieving linear convergence classically. While PGD obtains a superior asymptotic convergence rate in terms of the error compared to PR dynamics, as our quantum speedups stem from faster computations of results within a single iteration, it may be harder to find such speedups for PGD as there has been no evidence for quantum speedups in projections onto a simplex [77, 78] as required.
On the other hand, the FW algorithm has been shown to provide quantum speedups for regression [79, 80]. However, convergence results of FW [81, 82] show that , where can be shown to be by computing relevant values. The number of iterations required for convergence to additive error is then as compared to of PR dynamics. This matches the results of Gao and Kroer [26], which show that FW has slow convergence empirically for market equilibrium computation. Prior no-go results suggest that quantum algorithms cannot provide speedups for the number of iterations when is independent of the problem dimension [83, 84]. Assuming no quantum speedups in the number of iterations, given the upper bound in the FW algorithm, the quantum algorithm based on FW can potentially have a higher dependency on than the classical PR dynamics.
Lastly, we ask whether random sampling of buyers or goods can provide further speedups. Classical results in first-order updates for randomly sampled buyers and goods [85] indicate that the number of iterations would increase multiplicatively by and , respectively, such that the total runtime cost of the algorithms remain at . Assuming no quantum speedups on the number of iterations, further quantum speedups by incorporating sampling may be difficult.
Acknowledgments and Disclosure of Funding
The authors thank Gregory Kang Ruey Lau for discussions. This work is supported by the National Research Foundation, Singapore, and A*STAR under its CQT Bridging Grant and its Quantum Engineering Programme under grant NRF2021-QEP2-02-P05.
References
- Arrow [1951] K. J. Arrow, An extension of the basic theorems of classical welfare economics, in Proceedings of the Second Berkeley Symposium on Mathematical Statistics and Probability, Berkeley Symp. on Math. Statist. and Prob (University of California Press, Berkeley, California, USA, 1951) pp. 507–532.
- Debreu [1951] G. Debreu, The coefficient of resource utilization, Econometrica 19, 273 (1951).
- Arrow and Debreu [1954] K. J. Arrow and G. Debreu, Existence of an equilibrium for a competitive economy, Econometrica 22, 265 (1954).
- Vazirani [2007] V. V. Vazirani, Combinatorial algorithms for market equilibria, in Algorithmic Game Theory, edited by N. Nisan, T. Roughgarden, E. Tardos, and V. V. Vazirani (Cambridge University Press, 2007) p. 103–134.
- Codenotti and Varadarajan [2007] B. Codenotti and K. Varadarajan, Computation of market equilibria by convex programming, in Algorithmic Game Theory, edited by N. Nisan, T. Roughgarden, E. Tardos, and V. V. Vazirani (Cambridge University Press, 2007) p. 135–158.
- Mas-Colell et al. [1995] A. Mas-Colell, M. D. Whinston, and J. R. Green, Equilibrium and its basic welfare properties, in Microeconomic theory (Oxford Univ. Press, 1995) Chap. 16.
- Foley [1967] D. K. Foley, Resource allocation and the public sector, Ph.D. thesis, Yale University (1967).
- Varian [1974] H. R. Varian, Equity, envy, and efficiency, Journal of Economic Theory 9, 63–91 (1974).
- Kroer and Stier-Moses [2021] C. Kroer and N. E. Stier-Moses, Market equilibrium models in large-scale internet markets, in Springer Series in Supply Chain Management (Springer International Publishing, 2021) p. 147–189.
- Conitzer et al. [2022] V. Conitzer, C. Kroer, D. Panigrahi, O. Schrijvers, N. E. Stier-Moses, E. Sodomka, and C. A. Wilkens, Pacing equilibrium in first price auction markets, Management Science 68, 8515–8535 (2022).
- Othman et al. [2010] A. Othman, T. Sandholm, and E. Budish, Finding approximate competitive equilibria: efficient and fair course allocation, in Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1 - Volume 1, AAMAS ’10 (International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2010) p. 873–880.
- Budish et al. [2017] E. Budish, G. P. Cachon, J. B. Kessler, and A. Othman, Course match: A large-scale implementation of approximate competitive equilibrium from equal incomes for combinatorial allocation, Operations Research 65, 314–336 (2017).
- Babaioff et al. [2019] M. Babaioff, N. Nisan, and I. Talgam-Cohen, Fair allocation through competitive equilibrium from generic incomes, in Proceedings of the Conference on Fairness, Accountability, and Transparency, FAT* ’19 (Association for Computing Machinery, New York, NY, USA, 2019) p. 180.
- Im et al. [2017] S. Im, J. Kulkarni, and K. Munagala, Competitive algorithms from competitive equilibria: Non-clairvoyant scheduling under polyhedral constraints, J. ACM 65 (2017).
- Kroer et al. [2022] C. Kroer, A. Peysakhovich, E. Sodomka, and N. E. Stier-Moses, Computing large market equilibria using abstractions, Operations Research 70, 329–351 (2022).
- Fisher [1891] I. Fisher, Mathematical investigations in the theory of value and prices, Ph.D. thesis, Yale University (1891).
- Brainard and Scarf [2005] W. C. Brainard and H. E. Scarf, How to compute equilibrium prices in 1891, The American Journal of Economics and Sociology 64, 57–83 (2005).
- Scarf [1967] H. E. Scarf, The core of an person game, Econometrica 35, 50 (1967).
- Devanur et al. [2008] N. R. Devanur, C. H. Papadimitriou, A. Saberi, and V. V. Vazirani, Market equilibrium via a primal-dual algorithm for a convex program, J. ACM 55 (2008).
- Orlin [2010] J. B. Orlin, Improved algorithms for computing Fisher’s market clearing prices, in Proceedings of the Forty-Second ACM Symposium on Theory of Computing, STOC ’10 (Association for Computing Machinery, New York, NY, USA, 2010) p. 291–300.
- Végh [2012] L. A. Végh, Strongly polynomial algorithm for a class of minimum-cost flow problems with separable convex objectives, in Proceedings of the Forty-Fourth Annual ACM Symposium on Theory of Computing, STOC ’12 (Association for Computing Machinery, New York, NY, USA, 2012) p. 27–40.
- Eisenberg and Gale [1959] E. Eisenberg and D. Gale, Consensus of subjective probabilities: The pari-mutuel method, The Annals of Mathematical Statistics 30, 165–168 (1959).
- Eisenberg [1961] E. Eisenberg, Aggregation of utility functions, Management Science 7, 337–350 (1961).
- Wu and Zhang [2007] F. Wu and L. Zhang, Proportional response dynamics leads to market equilibrium, in Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computing, STOC ’07 (Association for Computing Machinery, New York, NY, USA, 2007) p. 354–363.
- Zhang [2011] L. Zhang, Proportional response dynamics in the Fisher market, Theoretical Computer Science 412, 2691–2698 (2011).
- Gao and Kroer [2020] Y. Gao and C. Kroer, First-order methods for large-scale market equilibrium computation, in Advances in Neural Information Processing Systems, Vol. 33, edited by H. Larochelle, M. Ranzato, R. Hadsell, M. Balcan, and H. Lin (Curran Associates, Inc., 2020) pp. 21738–21750.
- Li et al. [2019] T. Li, S. Chakrabarti, and X. Wu, Sublinear quantum algorithms for training linear and kernel-based classifiers, in Proceedings of the 36th International Conference on Machine Learning, Proceedings of Machine Learning Research, Vol. 97, edited by K. Chaudhuri and R. Salakhutdinov (PMLR, 2019) pp. 3815–3824.
- Rebentrost et al. [2021] P. Rebentrost, Y. Hamoudi, M. Ray, X. Wang, S. Yang, and M. Santha, Quantum algorithms for hedging and the learning of Ising models, Phys. Rev. A 103, 012418 (2021).
- Montanaro [2016] A. Montanaro, Quantum algorithms: an overview, npj Quantum Information 2 (2016).
- Dalzell et al. [2023] A. M. Dalzell, S. McArdle, M. Berta, P. Bienias, C.-F. Chen, A. Gilyén, C. T. Hann, M. J. Kastoryano, E. T. Khabiboulline, A. Kubica, G. Salton, S. Wang, and F. G. S. L. Brandão, Quantum algorithms: A survey of applications and end-to-end complexities (2023), arXiv:2310.03011 [quant-ph] .
- Abbas et al. [2023] A. Abbas, A. Ambainis, B. Augustino, A. Baertschi, H. Buhrman, C. Coffrin, G. Cortiana, V. Dunjko, D. Egger, B. Elmegreen, N. Franco, F. Fratini, B. Fuller, J. Gacon, C. Gonciulea, S. Gribling, S. Gupta, S. Hadfield, R. Heese, G. Kircher, T. Kleinert, T. Koch, G. Korpas, S. Lenk, J. Marecek, V. Markov, G. Mazzola, S. Mensa, N. Mohseni, G. Nannicini, C. O’Meara, E. Peña Tapia, S. Pokutta, M. Proissl, P. Rebentrost, E. Sahin, B. Symons, S. Tornow, V. Valls, S. Woerner, M. Wolf-Bauwens, J. Yard, S. Yarkoni, D. Zechiel, S. Zhuk, and C. Zoufal, Quantum Optimization: Potential, Challenges, and the Path Forward, Tech. Rep. (Office of Scientific and Technical Information (OSTI), 2023).
- Brassard et al. [2002] G. Brassard, P. Høyer, M. Mosca, and A. Tapp, Quantum amplitude amplification and estimation, in Quantum computation and information, Contemporary Mathematics, Vol. 305 (American Mathematical Society, Providence, RI, USA, 2002) pp. 53–74.
- Suzuki et al. [2020] Y. Suzuki, S. Uno, R. Raymond, T. Tanaka, T. Onodera, and N. Yamamoto, Amplitude estimation without phase estimation, Quantum Information Processing 19 (2020).
- Grinko et al. [2021] D. Grinko, J. Gacon, C. Zoufal, and S. Woerner, Iterative quantum amplitude estimation, npj Quantum Information 7 (2021).
- Nakaji [2020] K. Nakaji, Faster amplitude estimation, Quantum Information and Computation 20, 1109–1123 (2020).
- Harrow and Wei [2020] A. W. Harrow and A. Y. Wei, Adaptive quantum simulated annealing for Bayesian inference and estimating partition functions, in Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ’20 (Society for Industrial and Applied Mathematics, USA, 2020) p. 193–212.
- Rall and Fuller [2023] P. Rall and B. Fuller, Amplitude estimation from quantum signal processing, Quantum 7, 937 (2023).
- Cornelissen and Hamoudi [2023] A. Cornelissen and Y. Hamoudi, A sublinear-time quantum algorithm for approximating partition functions, in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) (Society for Industrial and Applied Mathematics, 2023) pp. 1245–1264.
- Montanaro [2015] A. Montanaro, Quantum speedup of Monte Carlo methods, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471, 20150301 (2015).
- Vedral et al. [1996] V. Vedral, A. Barenco, and A. Ekert, Quantum networks for elementary arithmetic operations, Phys. Rev. A 54, 147–153 (1996).
- Takahashi [2009] Y. Takahashi, Quantum arithmetic circuits: A survey, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E92-A, 1276–1283 (2009).
- Montgomery [1987] P. L. Montgomery, Speeding the Pollard and elliptic curve methods of factorization, Mathematics of Computation 48, 243–264 (1987).
- Kuperberg [2013] G. Kuperberg, Another subexponential-time quantum algorithm for the dihedral hidden subgroup problem, in 8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 22 (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2013) pp. 20–34.
- Jaques and Rattew [2023] S. Jaques and A. G. Rattew, QRAM: A survey and critique (2023), arXiv:2305.10310 [quant-ph] .
- Babbush et al. [2018] R. Babbush, C. Gidney, D. W. Berry, N. Wiebe, J. McClean, A. Paler, A. Fowler, and H. Neven, Encoding electronic spectra in quantum circuits with linear t complexity, Phys. Rev. X 8, 041015 (2018).
- Ambainis [2007] A. Ambainis, Quantum walk algorithm for element distinctness, SIAM Journal on Computing 37, 210–239 (2007).
- Giovannetti et al. [2008a] V. Giovannetti, S. Lloyd, and L. Maccone, Quantum random access memory, Phys. Rev. Lett. 100, 160501 (2008a).
- Giovannetti et al. [2008b] V. Giovannetti, S. Lloyd, and L. Maccone, Architectures for a quantum random access memory, Phys. Rev. A 78, 052310 (2008b).
- Jain and Vazirani [2010] K. Jain and V. V. Vazirani, Eisenberg–gale markets: Algorithms and game-theoretic properties, Games and Economic Behavior 70, 84–106 (2010).
- Boyd and Vandenberghe [2004] S. Boyd and L. Vandenberghe, Interior-point methods, in Convex Optimization (Cambridge University Press, 2004) p. 561–630.
- Shmyrev [2009] V. I. Shmyrev, An algorithm for finding equilibrium in the linear exchange model with fixed budgets, Journal of Applied and Industrial Mathematics 3, 505–518 (2009).
- Levin et al. [2008] D. Levin, K. LaCurts, N. Spring, and B. Bhattacharjee, Bittorrent is an auction: Analyzing and improving bittorrent’s incentives, SIGCOMM Comput. Commun. Rev. 38, 243–254 (2008).
- Birnbaum et al. [2011] B. Birnbaum, N. R. Devanur, and L. Xiao, Distributed algorithms via gradient descent for Fisher markets, in Proceedings of the 12th ACM Conference on Electronic Commerce, EC ’11 (Association for Computing Machinery, New York, NY, USA, 2011) p. 127–136.
- Nemirovsky and Yudin [1983] A. S. Nemirovsky and D. B. Yudin, Problem complexity and method efficiency in optimization (Wiley, 1983).
- Beck and Teboulle [2003] A. Beck and M. Teboulle, Mirror descent and nonlinear projected subgradient methods for convex optimization, Operations Research Letters 31, 167–175 (2003).
- Bregman [1967] L. Bregman, The relaxation method of finding the common point of convex sets and its application to the solution of problems in convex programming, USSR Computational Mathematics and Mathematical Physics 7, 200–217 (1967).
- Boole [1847] G. Boole, The Mathematical Analysis of Logic (Cambridge University Press, 1847).
- Cheung et al. [2021] Y. K. Cheung, S. Leonardos, and G. Piliouras, Learning in markets: Greed leads to chaos but following the price is right, in Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21, edited by Z.-H. Zhou (International Joint Conferences on Artificial Intelligence Organization, 2021) pp. 111–117.
- Tang [2019] E. Tang, A quantum-inspired classical algorithm for recommendation systems, in Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019 (Association for Computing Machinery, New York, NY, USA, 2019) p. 217–228.
- Arrazola et al. [2020] J. M. Arrazola, A. Delgado, B. R. Bardhan, and S. Lloyd, Quantum-inspired algorithms in practice, Quantum 4, 307 (2020).
- Tang [2021] E. Tang, Quantum principal component analysis only achieves an exponential speedup because of its state preparation assumptions, Phys. Rev. Lett. 127, 060503 (2021).
- Chia et al. [2022] N.-H. Chia, A. P. Gilyén, T. Li, H.-H. Lin, E. Tang, and C. Wang, Sampling-based sublinear low-rank matrix arithmetic framework for dequantizing quantum machine learning, J. ACM 69 (2022).
- Arora et al. [2005] S. Arora, E. Hazan, and S. Kale, Fast algorithms for approximate semidefinite programming using the multiplicative weights update method, in 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS’05) (2005) pp. 339–348.
- Arora et al. [2012] S. Arora, E. Hazan, and S. Kale, The multiplicative weights update method: a meta-algorithm and applications, Theory of Computing 8, 121–164 (2012).
- van Apeldoorn and Gilyén [2019] J. van Apeldoorn and A. Gilyén, Quantum algorithms for zero-sum games (2019), arXiv:1904.03180 [quant-ph] .
- Brandão and Svore [2017] F. G. S. L. Brandão and K. M. Svore, Quantum speed-ups for solving semidefinite programs, in 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) (IEEE Computer Society, Los Alamitos, CA, USA, 2017) pp. 415–426.
- Brandão et al. [2019] F. G. S. L. Brandão, A. Kalev, T. Li, C. Y.-Y. Lin, K. M. Svore, and X. Wu, Quantum sdp solvers: Large speed-ups, optimality, and applications to quantum learning, in 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 132, edited by C. Baier, I. Chatzigiannakis, P. Flocchini, and S. Leonardi (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2019) pp. 27:1–27:14.
- van Apeldoorn and Gilyén [2019] J. van Apeldoorn and A. Gilyén, Improvements in quantum sdp-solving with applications, in 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 132, edited by C. Baier, I. Chatzigiannakis, P. Flocchini, and S. Leonardi (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2019) pp. 99:1–99:15.
- van Apeldoorn et al. [2020] J. van Apeldoorn, A. Gilyén, S. Gribling, and R. de Wolf, Quantum SDP-Solvers: Better upper and lower bounds, Quantum 4, 230 (2020).
- Jain et al. [2022] R. Jain, G. Piliouras, and R. Sim, Matrix multiplicative weights updates in quantum zero-sum games: Conservation laws & recurrence, in Advances in Neural Information Processing Systems, Vol. 35, edited by S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho, and A. Oh (Curran Associates, Inc., 2022) pp. 4123–4135.
- G.S L. Brandão et al. [2022] F. G.S L. Brandão, R. Kueng, and D. Stilck França, Faster quantum and classical SDP approximations for quadratic binary optimization, Quantum 6, 625 (2022).
- Lim and Rebentrost [2024] D. Lim and P. Rebentrost, A quantum online portfolio optimization algorithm, Quantum Information Processing 23 (2024).
- Harrow et al. [2009] A. W. Harrow, A. Hassidim, and S. Lloyd, Quantum algorithm for linear systems of equations, Phys. Rev. Lett. 103, 150502 (2009).
- Childs et al. [2017] A. M. Childs, R. Kothari, and R. D. Somma, Quantum algorithm for systems of linear equations with exponentially improved dependence on precision, SIAM Journal on Computing 46, 1920–1950 (2017).
- Kerenidis and Prakash [2020] I. Kerenidis and A. Prakash, A quantum interior point method for LPs and SDPs, ACM Transactions on Quantum Computing 1 (2020).
- Frank and Wolfe [1956] M. Frank and P. Wolfe, An algorithm for quadratic programming, Naval Research Logistics Quarterly 3, 95–110 (1956).
- Duchi et al. [2008] J. Duchi, S. Shalev-Shwartz, Y. Singer, and T. Chandra, Efficient projections onto the -ball for learning in high dimensions, in Proceedings of the 25th International Conference on Machine Learning, ICML ’08 (Association for Computing Machinery, New York, NY, USA, 2008) p. 272–279.
- Condat [2015] L. Condat, Fast projection onto the simplex and the ball, Mathematical Programming 158, 575–585 (2015).
- Du et al. [2022] Y. Du, M.-H. Hsieh, T. Liu, S. You, and D. Tao, Quantum differentially private sparse regression learning, IEEE Transactions on Information Theory 68, 5217–5233 (2022).
- Chen and de Wolf [2023] Y. Chen and R. de Wolf, Quantum algorithms and lower bounds for linear regression with norm constraints, in 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 261, edited by K. Etessami, U. Feige, and G. Puppis (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2023) pp. 38:1–38:21.
- Clarkson [2010] K. L. Clarkson, Coresets, sparse greedy approximation, and the Frank-Wolfe algorithm, ACM Trans. Algorithms 6 (2010).
- Jaggi [2013] M. Jaggi, Revisiting Frank-Wolfe: Projection-free sparse convex optimization, in Proceedings of the 30th International Conference on Machine Learning, Proceedings of Machine Learning Research, Vol. 28, edited by S. Dasgupta and D. McAllester (PMLR, Atlanta, Georgia, USA, 2013) pp. 427–435.
- Garg et al. [2021a] A. Garg, R. Kothari, P. Netrapalli, and S. Sherif, No quantum speedup over gradient descent for non-smooth convex optimization, in 12th Innovations in Theoretical Computer Science Conference (ITCS 2021), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 185, edited by J. R. Lee (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021) pp. 53:1–53:20.
- Garg et al. [2021b] A. Garg, R. Kothari, P. Netrapalli, and S. Sherif, Near-optimal lower bounds for convex optimization for all orders of smoothness, in Advances in Neural Information Processing Systems, Vol. 34, edited by M. Ranzato, A. Beygelzimer, Y. Dauphin, P. Liang, and J. W. Vaughan (Curran Associates, Inc., 2021) pp. 29874–29884.
- Nan et al. [2023] T. Nan, Y. Gao, and C. Kroer, Fast and interpretable dynamics for Fisher markets via block-coordinate updates, Proceedings of the AAAI Conference on Artificial Intelligence 37, 5832–5840 (2023).
- Jerrum et al. [1986] M. R. Jerrum, L. G. Valiant, and V. V. Vazirani, Random generation of combinatorial structures from a uniform distribution, Theoretical Computer Science 43, 169–188 (1986).
- Durr and Høyer [1996] C. Durr and P. Høyer, A quantum algorithm for finding the minimum (1996), arXiv:quant-ph/9607014 [quant-ph] .
- Paszke et al. [2019] A. Paszke, S. Gross, F. Massa, A. Lerer, J. Bradbury, G. Chanan, T. Killeen, Z. Lin, N. Gimelshein, L. Antiga, A. Desmaison, A. Kopf, E. Yang, Z. DeVito, M. Raison, A. Tejani, S. Chilamkurthy, B. Steiner, L. Fang, J. Bai, and S. Chintala, PyTorch: An imperative style, high-performance deep learning library, in Advances in Neural Information Processing Systems, Vol. 32, edited by H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox, and R. Garnett (Curran Associates, Inc., 2019).
Appendix A Quantum subroutines
In this section, we show prior results that obtain norms and inner products with quadratic speedups with amplitude estimation.
Lemma A.1 (Quantum state preparation and norm estimation; Lemma 5, [28]).
Let . We are given quantum query access to non-zero vector , with .
-
1.
There exists a quantum circuit that prepares the state with two queries and gates.
-
2.
Let and . There exists a quantum algorithm that provides an estimate of the -norm such that , with probability at least . The algorithm requires queries and quantum gates.
Proof.
We reiterate the proof of Lemma 5 in [28] for the convenience of the reader.
-
1.
First, using Hadamard gates, prepare the state . Then, by quantum query access to , obtain . By controlled rotation gates, we can then obtain . By another quantum query access to , we can uncompute the intermediate registers and obtain .
-
2.
First observe that that with projector and , one can obtain . Setting , we obtain an estimate
(A.1) with probability at least . Using the powering lemma [86], we can boost the success probability to by taking the median of runs of the QAE algorithm.
∎
Remark A.1.1.
Note that Lemma A.1 has the requirement that . For cases where this is not the case, we can use a maximum finding algorithm to divide all entries by the largest value. Such can be achieved by the following quantum minimum/maximum finding algorithm in runtime, which we introduce below. Recall that division takes runtime with quantum arithmetic circuits.
Lemma A.2 (Quantum minimum finding; Theorem 1, [87]).
Let . Given quantum query access to non-zero vector , we can find the minimum with success probability with queries and quantum gates.
Corollary A.2.1 (Quantum maximum finding).
Let . Given quantum query access to non-zero vector , we can find the maximum with success probability with queries and quantum gates.
Below we present a quantum inner product estimation algorithm simplified from Lemma 6 of [28].
Lemma A.3 (Quantum inner product estimation with relative accuracy).
Let , and . We are given quantum query access to two vectors . An estimate for the inner product can be provided such that with success probability . This estimate is obtained with queries and quantum gates.
Proof.
Using quantum arithmetic circuits, we can obtain , i.e., , by the following:
(A.2) |
Using quantum maximum finding in Corollary A.2.1 to find up to probability , we can then obtain . Lastly, using Lemma A.1, we can obtain such that up to probability . Using a union bound [57], we find the total success probability of the entire process is . ∎
Appendix B Convergence guarantees for the PR dynamics
We show the convergence guarantee of the proportional response (PR) dynamics in regards to the Eisenberg-Gale convex program by Zhang [25] and improved upon by Birnbaum et al. [53], and the convergence in regards to the Shmyrev convex program, first shown also by Birnbaum et al. [53]. Recall that the negative target function from the Eisenberg-Gale convex program is
(B.1) |
and the negative target function from the Shmyrev convex program is
(B.2) |
We first set up the following convex set:
(B.3) |
To show convergence of the PR dynamics, we first need the following inequalities:
Lemma B.1.
Let . Then .
Proof.
By KKT optimality constraints of the Eisenberg-Gale convex program, we see that
(B.4) |
which we use to show that .
(B.5) | ||||
(B.6) | ||||
(B.7) |
∎
Lemma B.2 (Lemma 19, [53]).
Proof.
We reiterate the proof of Lemma 19 in [53] for the convenience of the reader. By convexity of , we see
(B.8) | ||||
(B.9) | ||||
(B.10) | ||||
(B.11) |
∎
Lemma B.3.
Let . Then
Proof.
Let . By concavity of :
(B.12) | ||||
(B.13) | ||||
(B.14) | ||||
(B.15) | ||||
(B.16) | ||||
(B.17) |
∎
From the above two lemmas, we gain the monotonically decreasing properties of iteratively updating via the PR dynamics on the negative target functions of the Eisenberg-Gale and Shmyrev convex programs:
Lemma B.4.
.
Corollary B.4.1 (Lemma 5, [53]).
.
We now use the following lemmas to construct an end-to-end proof of the convergence of the PR dynamics. In a slight abuse of notation, we adapt the definition of KL divergence to matrices such that for , let . The following can then be shown:
Lemma B.5.
.
Proof.
Similar by the proof of Theorem 3 of [25], we first lower bound as follows:
(B.18) | ||||
(B.19) | ||||
(B.20) | ||||
(B.21) | ||||
(B.22) | ||||
(B.23) | ||||
(B.24) |
where the second-to-last equality is by Lemma B.1 and the inequality is by the positivity of KL divergence. Taking the telescoping sum of , we see that
(B.25) |
Hence, we obtain . ∎
Proposition B.6.
.
Corollary B.6.1 (Lemma 3, [53]).
.
Proof.
Apply Lemma B.3 to Proposition B.6. ∎
Lastly, we can upper bound the value in terms of dimensions and given that each buyer initially divides the budget equally between all items such that .
Proof.
Evaluating , we have
(B.27) |
∎
Plugging Lemma B.7 into Proposition B.6 and Corollary B.6.1, we obtain the convergence guarantee of Theorem 2.2.
Appendix C Convergence guarantees for the FPR dynamics
In this section, we prove the convergence guarantee of the faulty proportional response (FPR) dynamics. We first examine the immediate effects of allowing erroneous estimations of and in the FPR dynamics. Let . Note that as the normalization step of constructing is erroneous. By the construction of by the FPR dynamics,
(C.1) |
we can find that
(C.2) |
where we can obtain the following inequality by definition of :
(C.3) |
By summing , we find that
(C.4) |
We now prove Theorem 3.1.
See 3.1
Proof.
Similar to the proof of Lemma B.5, we first lower bound , where we use as follows:
(C.5) | ||||
(C.6) | ||||
(C.7) | ||||
(C.8) |
We now lower bound the second and third terms from the above individually as follows. Starting with the second term,
(C.9) | ||||
(C.10) | ||||
(C.11) | ||||
(C.12) |
Moving on the the third term,
(C.13) | ||||
(C.14) | ||||
(C.15) | ||||
(C.16) | ||||
(C.17) | ||||
(C.18) |
Hence, in total, we find that
(C.19) |
Taking the telescoping sum of , we see that
(C.20) |
Taking the upper bound of , we obtain
(C.21) | ||||
(C.24) | ||||
(C.25) | ||||
(C.26) | ||||
(C.27) |
Hence, we obtain . Instead of , we plug in to obtain
(C.28) |
With a simple observation that
(C.29) |
we find
(C.30) |
To upper bound , we use the result of Lemma 13 of [53] and Theorem 7 of [26] as follows:
(C.31) |
where the last inequality is due to .
Then by setting and , we obtain
(C.32) |
∎
Next, we prove Theorem 3.2.
See 3.2
Proof.
We slightly modify the proof of Theorem 3.1, and note that by Equation C.8 and Equation C.12, we have
(C.33) |
Taking the telescoping sum and the upper bound from Equation C.27, we obtain
(C.34) |
where we can note
(C.35) |
Let . Then by Equation C.18, we have the following:
(C.36) |
Then we can obtain
(C.37) |
Lastly by setting and , we obtain
(C.38) |
∎
Appendix D Experimental and implementation details
Our experiments are conducted on a single NVIDIA P100 GPU and written with the PyTorch library [88]. The optimal objective value is approximately computed by taking the results of the -th iteration of the PR dynamics.
For the projected gradient descent (PGD) algorithm, our implementation is unlike Gao and Kroer [26], whose task is based on the CEEI scenario where agents are given a unit of fake money and whose end goal is only the allocation. We require information on both the allocation and price , hence our algorithm output should be the bids . Therefore, instead of formulating the problem after the EG objective function, we mirror555Pun intended. the PR dynamics in its equivalence to mirror descent [53] on the Shmyrev objective function and perform PGD on the latter (see Algorithm 2).
We formulate the Shmyrev objective function into the following form to obtain convergence guarantees and the step size:
(D.1) |
where . Considering a flattened vector of the bids , we note that if
(D.2) |
then . Then by Theorem 3 of [26], by setting a learning rate of , where , we get linear convergence. Note that . Gao and Kroer [26] further provide a line search procedure to set the constant multiplier in the learning rate as well as provide sharper convergence guarantees, but as we only run for iterations, we do not perform the line search and fix the learning rate to the initial learning rate that Gao and Kroer [26] use in their empirical studies, which is .
For amplitude estimation, we set . We scale down by the constant factor of to save memory consumption on the GPU, as we simulate amplitude estimation by computing the full probability distribution over . We compensate for the loss in accuracy of the estimation by employing the median-of-means estimator [54], where we take the median of estimators constructed from the mean of samples from the amplitude estimation subroutine. We also assume that the maximum finding algorithm is always successful in our algorithm.