-
Monotonicity of Equilibria in Nonatomic Congestion Games
Authors:
Roberto Cominetti,
Valerio Dose,
Marco Scarsini
Abstract:
This paper studies the monotonicity of equilibrium costs and equilibrium loads in nonatomic congestion games, in response to variations of the demands. The main goal is to identify conditions under which a paradoxical non-monotone behavior can be excluded. In contrast to routing games with a single commodity, where the network topology is the sole determinant factor for monotonicity, for general c…
▽ More
This paper studies the monotonicity of equilibrium costs and equilibrium loads in nonatomic congestion games, in response to variations of the demands. The main goal is to identify conditions under which a paradoxical non-monotone behavior can be excluded. In contrast to routing games with a single commodity, where the network topology is the sole determinant factor for monotonicity, for general congestion games with multiple commodities the structure of the strategy sets plays a crucial role.
We frame our study in the general setting of congestion games, with a special focus on singleton congestion games, for which we establish the monotonicity of equilibrium loads with respect to every demand. We then provide conditions for comonotonicity of the equilibrium loads, i.e., we investigate when they jointly increase or decrease after variations of the demands. We finally extend our study from singleton congestion games to the larger class of constrained series-parallel congestion games, whose structure is reminiscent of the concept of a series-parallel network.
△ Less
Submitted 7 January, 2024; v1 submitted 1 August, 2023;
originally announced August 2023.
-
The interdependence between hospital choice and waiting time -- with a case study in urban China
Authors:
Joris van de Klundert,
Roberto Cominetti,
Yun Liu,
Qingxia Kong
Abstract:
Hospital choice models often employ random utility theory and include waiting time as a choice determinant. When applied to evaluate health system improvement interventions, these models disregard that hospital choice in turn is a determinant of waiting time. We present a novel, general model capturing the endogeneous relationship between waiting time and hospital choice, including the choice to o…
▽ More
Hospital choice models often employ random utility theory and include waiting time as a choice determinant. When applied to evaluate health system improvement interventions, these models disregard that hospital choice in turn is a determinant of waiting time. We present a novel, general model capturing the endogeneous relationship between waiting time and hospital choice, including the choice to opt out, and characterize the unique equilibrium solution of the resulting convex problem. We apply the general model in a case study on the urban Chinese health system, specifying that patient choice follows a multinomial logit (MNL) model and waiting times are determined by M/M/1 queues. The results reveal that analyses which solely rely on MNL models overestimate the effectiveness of present policy interventions and that this effectiveness is limited. We explore alternative, more effective, improvement interventions.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Phase Transitions of the Price-of-Anarchy Function in Multi-Commodity Routing Games
Authors:
Roberto Cominetti,
Valerio Dose,
Marco Scarsini
Abstract:
We consider the behavior of the price of anarchy and equilibrium flows in nonatomic multi-commodity routing games as a function of the traffic demand. We analyze their smoothness with a special attention to specific values of the demand at which the support of the Wardrop equilibrium exhibits a phase transition with an abrupt change in the set of optimal routes. Typically, when such a phase transi…
▽ More
We consider the behavior of the price of anarchy and equilibrium flows in nonatomic multi-commodity routing games as a function of the traffic demand. We analyze their smoothness with a special attention to specific values of the demand at which the support of the Wardrop equilibrium exhibits a phase transition with an abrupt change in the set of optimal routes. Typically, when such a phase transition occurs, the price of anarchy function has a breakpoint, \ie is not differentiable. We prove that, if the demand varies proportionally across all commodities, then, at a breakpoint, the largest left or right derivatives of the price of anarchy and of the social cost at equilibrium, are associated with the smaller equilibrium support. This proves -- under the assumption of proportional demand -- a conjecture of O'Hare et al. (2016), who observed this behavior in simulations. We also provide counterexamples showing that this monotonicity of the one-sided derivatives may fail when the demand does not vary proportionally, even if it moves along a straight line not passing through the origin.
△ Less
Submitted 7 February, 2024; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Stochastic fixed-point iterations for nonexpansive maps: Convergence and error bounds
Authors:
Mario Bravo,
Roberto Cominetti
Abstract:
We study a stochastically perturbed version of the well-known Krasnoselski--Mann iteration for computing fixed points of nonexpansive maps in finite dimensional normed spaces. We discuss sufficient conditions on the stochastic noise and stepsizes that guarantee almost sure convergence of the iterates towards a fixed point, and derive non-asymptotic error bounds and convergence rates for the fixed-…
▽ More
We study a stochastically perturbed version of the well-known Krasnoselski--Mann iteration for computing fixed points of nonexpansive maps in finite dimensional normed spaces. We discuss sufficient conditions on the stochastic noise and stepsizes that guarantee almost sure convergence of the iterates towards a fixed point, and derive non-asymptotic error bounds and convergence rates for the fixed-point residuals. Our main results concern the case of a martingale difference noise with variances that can possibly grow unbounded. This supports an application to reinforcement learning for average reward Markov decision processes, for which we establish convergence and asymptotic rates. We also analyze in depth the case where the noise has uniformly bounded variance, obtaining error bounds with explicit computable constants.
△ Less
Submitted 31 March, 2023; v1 submitted 8 August, 2022;
originally announced August 2022.
-
Long term behavior of dynamic equilibria in fluid queuing networks
Authors:
Roberto Cominetti,
José Correa,
Neil Olver
Abstract:
A fluid queuing network constitutes one of the simplest models in which to study flow dynamics over a network. In this model we have a single source-sink pair and each link has a per-time-unit capacity and a transit time. A dynamic equilibrium (or equilibrium flow over time) is a flow pattern over time such that no flow particle has incentives to unilaterally change its path. Although the model ha…
▽ More
A fluid queuing network constitutes one of the simplest models in which to study flow dynamics over a network. In this model we have a single source-sink pair and each link has a per-time-unit capacity and a transit time. A dynamic equilibrium (or equilibrium flow over time) is a flow pattern over time such that no flow particle has incentives to unilaterally change its path. Although the model has been around for almost fifty years, only recently results regarding existence and characterization of equilibria have been obtained. In particular the long term behavior remains poorly understood. Our main result in this paper is to show that, under a natural (and obviously necessary) condition on the queuing capacity, a dynamic equilibrium reaches a steady state (after which queue lengths remain constant) in finite time. Previously, it was not even known that queue lengths would remain bounded. The proof is based on the analysis of a rather non-obvious potential function that turns out to be monotone along the evolution of the equilibrium. Furthermore, we show that the steady state is characterized as an optimal solution of a certain linear program. When this program has a unique solution, which occurs generically, the long term behavior is completely predictable. On the contrary, if the linear program has multiple solutions the steady state is more difficult to identify as it depends on the whole temporal evolution of the equilibrium.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Optimal error bounds for nonexpansive fixed-point iterations in normed spaces
Authors:
Juan Pablo Contreras,
Roberto Cominetti
Abstract:
This paper investigates optimal error bounds and convergence rates for general Mann iterations for computing fixed-points of non-expansive maps. We look for iterations that achieve the smallest fixed-point residual after $n$ steps, by minimizing a worst-case bound $\|x^n-Tx^n\|\le R_n$ derived from a nested family of optimal transport problems. We prove that this bound is tight so that minimizing…
▽ More
This paper investigates optimal error bounds and convergence rates for general Mann iterations for computing fixed-points of non-expansive maps. We look for iterations that achieve the smallest fixed-point residual after $n$ steps, by minimizing a worst-case bound $\|x^n-Tx^n\|\le R_n$ derived from a nested family of optimal transport problems. We prove that this bound is tight so that minimizing $R_n$ yields optimal iterations. Inspired from numerical results we identify iterations that attain the rate $R_n=O(1/n)$, which we also show to be the best possible. In particular, we prove that the classical Halpern iteration achieves this optimal rate for several alternative stepsizes, and we determine analytically the optimal stepsizes that attain the smallest worst-case residuals at every step $n$, with a tight bound $R_n\approx\frac{4}{n+4}$. We also determine the optimal Halpern stepsizes for affine non-expansive maps, for which we get exactly $R_n=\frac{1}{n+1}$. Finally, we show that the best rate for the classical Krasnosel'skiĭ-Mann iteration is $Ω(1/\sqrt{n})$, and present numerical evidence suggesting that even extended variants cannot reach a faster rate.
△ Less
Submitted 12 May, 2022; v1 submitted 24 August, 2021;
originally announced August 2021.
-
Universal bounds for fixed point iterations via optimal transport metrics
Authors:
Mario Bravo,
Thierry Champion,
Roberto Cominetti
Abstract:
We present a self-contained analysis of a particular family of metrics over the set of non-negative integers. We show that these metrics, which are defined through a nested sequence of optimal transport problems, provide tight estimates for general Krasnosel'skii-Mann fixed point iterations for non-expansive maps. We also describe some of their very special properties, including their monotonicity…
▽ More
We present a self-contained analysis of a particular family of metrics over the set of non-negative integers. We show that these metrics, which are defined through a nested sequence of optimal transport problems, provide tight estimates for general Krasnosel'skii-Mann fixed point iterations for non-expansive maps. We also describe some of their very special properties, including their monotonicity and the so-called "convex quadrangle inequality" that yields a greedy algorithm to compute them efficiently.
△ Less
Submitted 20 April, 2022; v1 submitted 31 July, 2021;
originally announced August 2021.
-
Approximation and Convergence of Large Atomic Congestion Games
Authors:
Roberto Cominetti,
Marco Scarsini,
Marc Schröder,
Nicolás Stier-Moses
Abstract:
We consider the question of whether, and in what sense, Wardrop equilibria provide a good approximation for Nash equilibria in atomic unsplittable congestion games with a large number of small players. We examine two different definitions of small players. In the first setting, we consider games where each player's weight is small. We prove that when the number of players goes to infinity and thei…
▽ More
We consider the question of whether, and in what sense, Wardrop equilibria provide a good approximation for Nash equilibria in atomic unsplittable congestion games with a large number of small players. We examine two different definitions of small players. In the first setting, we consider games where each player's weight is small. We prove that when the number of players goes to infinity and their weights to zero, the random flows in all (mixed) Nash equilibria for the finite games converge in distribution to the set of Wardrop equilibria of the corresponding nonatomic limit game. In the second setting, we consider an increasing number of players with a unit weight that participate in the game with a decreasingly small probability. In this case, the Nash equilibrium flows converge in total variation towards Poisson random variables whose expected values are Wardrop equilibria of a different nonatomic game with suitably-defined costs. The latter can be viewed as symmetric equilibria in a Poisson game in the sense of Myerson, establishing a plausible connection between the Wardrop model for routing games and the stochastic fluctuations observed in real traffic. In both settings we provide explicit approximation bounds, and we study the convergence of the price of anarchy. Beyond the case of congestion games, we prove a general result on the convergence of large games with random players towards Poisson games.
△ Less
Submitted 30 April, 2022; v1 submitted 8 January, 2020;
originally announced January 2020.
-
The Price of Anarchy in Routing Games as a Function of the Demand
Authors:
Roberto Cominetti,
Valerio Dose,
Marco Scarsini
Abstract:
The price of anarchy has become a standard measure of the efficiency of equilibria in games. Most of the literature in this area has focused on establishing worst-case bounds for specific classes of games, such as routing games or more general congestion games. Recently, the price of anarchy in routing games has been studied as a function of the traffic demand, providing asymptotic results in ligh…
▽ More
The price of anarchy has become a standard measure of the efficiency of equilibria in games. Most of the literature in this area has focused on establishing worst-case bounds for specific classes of games, such as routing games or more general congestion games. Recently, the price of anarchy in routing games has been studied as a function of the traffic demand, providing asymptotic results in light and heavy traffic. The aim of this paper is to study the price of anarchy in nonatomic routing games in the intermediate region of the demand. To achieve this goal, we begin by establishing some smoothness properties of Wardrop equilibria and social optima for general smooth costs. In the case of affine costs we show that the equilibrium is piecewise linear, with break points at the demand levels at which the set of active paths changes. We prove that the number of such break points is finite, although it can be exponential in the size of the network. Exploiting a scaling law between the equilibrium and the social optimum, we derive a similar behavior for the optimal flows. We then prove that in any interval between break points the price of anarchy is smooth and it is either monotone (decreasing or increasing) over the full interval, or it decreases up to a certain minimum point in the interior of the interval and increases afterwards. We deduce that for affine costs the maximum of the price of anarchy can only occur at the break points. For general costs we provide counterexamples showing that the set of break points is not always finite.
△ Less
Submitted 20 April, 2021; v1 submitted 23 July, 2019;
originally announced July 2019.
-
Ordinary and Prophet Planning under Uncertainty in Bernoulli Congestion Games
Authors:
Roberto Cominetti,
Marco Scarsini,
Marc Schröder,
Nicolás Stier-Moses
Abstract:
We consider an atomic congestion game in which each player $i$ participates in the game with an exogenous and known probability $p_{i}\in(0,1]$, independently of everybody else, or stays out and incurs no cost. We compute the parameterized Price of Anarchy (PoA) to characterize the impact of demand uncertainty on the efficiency of selfish behavior, considering two different notions of a social pla…
▽ More
We consider an atomic congestion game in which each player $i$ participates in the game with an exogenous and known probability $p_{i}\in(0,1]$, independently of everybody else, or stays out and incurs no cost. We compute the parameterized Price of Anarchy (PoA) to characterize the impact of demand uncertainty on the efficiency of selfish behavior, considering two different notions of a social planner. A prophet planner knows the realization of the random participation in the game; the ordinary planner does not. As a consequence, a prophet planner can compute an adaptive social optimum that selects different solutions depending on the players that turn out to be active, whereas an ordinary planner faces the same uncertainty as the players and can only minimize the expected social cost according to the player participation distribution. For both type of planners we obtain tight bounds for the PoA, by solving suitable optimization problems parameterized by the maximum participation probability $q=\max_{i} p_{i}$. In the case of affine costs, we find an analytic expression for the corresponding bounds.
△ Less
Submitted 10 August, 2024; v1 submitted 8 March, 2019;
originally announced March 2019.
-
The Buck-Passing Game
Authors:
Roberto Cominetti,
Matteo Quattropani,
Marco Scarsini
Abstract:
We consider a game in which players are the vertices of a directed graph. Initially, Nature chooses one player according to some fixed distribution and gives her a buck, which represents the request to perform a chore. After completing the task, the player passes the buck to one of her out-neighbors in the graph. The procedure is repeated indefinitely and each player's cost is the asymptotic expec…
▽ More
We consider a game in which players are the vertices of a directed graph. Initially, Nature chooses one player according to some fixed distribution and gives her a buck, which represents the request to perform a chore. After completing the task, the player passes the buck to one of her out-neighbors in the graph. The procedure is repeated indefinitely and each player's cost is the asymptotic expected frequency of times that she receives the buck. We consider a deterministic and a stochastic version of the game depending on how players select the neighbor to pass the buck. In both cases we prove the existence of pure equilibria that do not depend on the initial distribution; this is achieved by showing the existence of a generalized ordinal potential. We then use the price of anarchy and price of stability to measure fairness of these equilibria. We also study a buck-holding variant of the game in which players want to maximize the frequency of times they hold the buck, which includes the PageRank game as a special case.
△ Less
Submitted 14 December, 2020; v1 submitted 9 August, 2018;
originally announced August 2018.
-
On the stability of an adaptive learning dynamics in traffic games
Authors:
Miguel A. Dumett,
Roberto Cominetti
Abstract:
This paper investigates the dynamic stability of an adaptive learning procedure in a traffic game. Using the Routh-Hurwitz criterion we study the stability of the rest points of the corresponding mean field dynamics. In the special case with two routes and two players we provide a full description of the number and nature of these rest points as well as the global asymptotic behavior of the dynami…
▽ More
This paper investigates the dynamic stability of an adaptive learning procedure in a traffic game. Using the Routh-Hurwitz criterion we study the stability of the rest points of the corresponding mean field dynamics. In the special case with two routes and two players we provide a full description of the number and nature of these rest points as well as the global asymptotic behavior of the dynamics. Depending on the parameters of the model, we find that there are either one, two or three equilibria and we show that in all cases the mean field trajectories converge towards a rest point for almost all initial conditions.
△ Less
Submitted 3 July, 2018;
originally announced July 2018.
-
A counterexample to De Pierro's conjecture on the convergence of under-relaxed cyclic projections
Authors:
Roberto Cominetti,
Vera Roshchina,
Andrew Williamson
Abstract:
The convex feasibility problem consists in finding a point in the intersection of a finite family of closed convex sets. When the intersection is empty, a best compromise is to search for a point that minimizes the sum of the squared distances to the sets. In 2001, de Pierro conjectured that the limit cycles generated by the $\varepsilon$-under-relaxed cyclic projection method converge when…
▽ More
The convex feasibility problem consists in finding a point in the intersection of a finite family of closed convex sets. When the intersection is empty, a best compromise is to search for a point that minimizes the sum of the squared distances to the sets. In 2001, de Pierro conjectured that the limit cycles generated by the $\varepsilon$-under-relaxed cyclic projection method converge when $\varepsilon\downarrow 0$ towards a least squares solution. While the conjecture has been confirmed under fairly general conditions, we show that it is false in general by constructing a system of three compact convex sets in $\mathbb{R}^3$ for which the $\varepsilon$-under-relaxed cycles do not converge.
△ Less
Submitted 6 May, 2018; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Rates of convergence for inexact Krasnosel'skii-Mann iterations in Banach spaces
Authors:
Mario Bravo,
Roberto Cominetti,
Matías Pavez-Signé
Abstract:
We study the convergence of an inexact version of the classical Krasnosel'skii-Mann iteration for computing fixed points of nonexpansive maps. Our main result establishes a new metric bound for the fixed-point residuals, from which we derive their rate of convergence as well as the convergence of the iterates towards a fixed point. The results are applied to three variants of the basic iteration:…
▽ More
We study the convergence of an inexact version of the classical Krasnosel'skii-Mann iteration for computing fixed points of nonexpansive maps. Our main result establishes a new metric bound for the fixed-point residuals, from which we derive their rate of convergence as well as the convergence of the iterates towards a fixed point. The results are applied to three variants of the basic iteration: infeasible iterations with approximate projections, the Ishikawa iteration, and diagonal Krasnosels'kii-Mann schemes. The results are also extended to continuous time in order to study the asymptotics of nonautonomous evolution equations governed by nonexpansive operators.
△ Less
Submitted 1 June, 2017; v1 submitted 25 May, 2017;
originally announced May 2017.
-
When is selfish routing bad? The price of anarchy in light and heavy traffic
Authors:
Riccardo Colini-Baldeschi,
Roberto Cominetti,
Panayotis Mertikopoulos,
Marco Scarsini
Abstract:
This paper examines the behavior of the price of anarchy as a function of the traffic inflow in nonatomic congestion games with multiple origin-destination (O/D) pairs. Empirical studies in real-world networks show that the price of anarchy is close to 1 in both light and heavy traffic, thus raising the question: can these observations be justified theoretically? We first show that this is not alw…
▽ More
This paper examines the behavior of the price of anarchy as a function of the traffic inflow in nonatomic congestion games with multiple origin-destination (O/D) pairs. Empirical studies in real-world networks show that the price of anarchy is close to 1 in both light and heavy traffic, thus raising the question: can these observations be justified theoretically? We first show that this is not always the case: the price of anarchy may remain a positive distance away from 1 for all values of the traffic inflow, even in simple three-link networks with a single O/D pair and smooth, convex costs. On the other hand, for a large class of cost functions (including all polynomials), the price of anarchy does converge to 1 in both heavy and light traffic, irrespective of the network topology and the number of O/D pairs in the network. We also examine the rate of convergence of the price of anarchy, and we show that it follows a power law whose degree can be computed explicitly when the network's cost functions are polynomials.
△ Less
Submitted 10 April, 2018; v1 submitted 2 March, 2017;
originally announced March 2017.
-
Sharp convergence rates for averaged nonexpansive maps
Authors:
Mario Bravo,
Roberto Cominetti
Abstract:
We establish sharp estimates for the convergence rate of the Kranosel'skiǐ-Mann fixed point iteration in general normed spaces, and we use them to show that the asymptotic regularity bound recently proved in [11] (Israel Journal of Mathematics 199(2), 757-772, 2014) with constant $1/\sqrtπ$ is sharp and cannot be improved. To this end we consider the recursive bounds introduced in [3] (Proceedings…
▽ More
We establish sharp estimates for the convergence rate of the Kranosel'skiǐ-Mann fixed point iteration in general normed spaces, and we use them to show that the asymptotic regularity bound recently proved in [11] (Israel Journal of Mathematics 199(2), 757-772, 2014) with constant $1/\sqrtπ$ is sharp and cannot be improved. To this end we consider the recursive bounds introduced in [3] (Proceedings of the 2nd International Conference on Fixed Point Theory and Applications, World Scientific Press, London, 27-66, 1992) which we reinterpret in terms of a nested family of optimal transport problems. We show that these bounds are tight by building a nonexpansive map $T:[0,1]^{\mathbb N}\to[0,1]^{\mathbb N}$ that attains them with equality, settling the main conjecture in [3]. The recursive bounds are in turn reinterpreted as absorption probabilities for an underlying Markov chain which is used to establish the tightness of the constant $1/\sqrtπ$.
△ Less
Submitted 27 January, 2017; v1 submitted 16 June, 2016;
originally announced June 2016.
-
On the Price of Anarchy of Highly Congested Nonatomic Network Games
Authors:
Riccardo Colini-Baldeschi,
Roberto Cominetti,
Marco Scarsini
Abstract:
We consider nonatomic network games with one source and one destination. We examine the asymptotic behavior of the price of anarchy as the inflow increases. In accordance with some empirical observations, we show that, under suitable conditions, the price of anarchy is asymptotic to one. We show with some counterexamples that this is not always the case. The counterexamples occur in very simple pa…
▽ More
We consider nonatomic network games with one source and one destination. We examine the asymptotic behavior of the price of anarchy as the inflow increases. In accordance with some empirical observations, we show that, under suitable conditions, the price of anarchy is asymptotic to one. We show with some counterexamples that this is not always the case. The counterexamples occur in very simple parallel graphs.
△ Less
Submitted 10 May, 2016;
originally announced May 2016.
-
Dynamic Equilibria in Fluid Queuing Networks
Authors:
Roberto Cominetti,
José R. Correa,
Omar Larré
Abstract:
This paper continues the study of equilibria for flows over time in the fluid queueing model recently considered by Koch and Skutella [10]. We provide a constructive proof for the existence and uniqueness of equilibria in the case of a single origin-destination with piecewise constant inflow rates, through a detailed analysis of the static flows obtained as derivatives of a dynamic equilibrium. We…
▽ More
This paper continues the study of equilibria for flows over time in the fluid queueing model recently considered by Koch and Skutella [10]. We provide a constructive proof for the existence and uniqueness of equilibria in the case of a single origin-destination with piecewise constant inflow rates, through a detailed analysis of the static flows obtained as derivatives of a dynamic equilibrium. We also give a nonconstructive existence proof of equilibria when the inflow rates belong to $L^p$ including the extension to multiple origin-destinations.
△ Less
Submitted 27 January, 2014;
originally announced January 2014.
-
Additive consistency of risk measures and its application to risk-averse routing in networks
Authors:
Roberto Cominetti,
Alfredo Torrico
Abstract:
This paper investigates the use of risk measures and theories of choice for modeling risk-averse route choice and traffic network equilibrium with random travel times. We interpret the postulates of these theories in the context of routing, and we identify additive consistency as a plausible and relevant condition that allows to reduce risk-averse route choice to a standard shortest path problem.…
▽ More
This paper investigates the use of risk measures and theories of choice for modeling risk-averse route choice and traffic network equilibrium with random travel times. We interpret the postulates of these theories in the context of routing, and we identify additive consistency as a plausible and relevant condition that allows to reduce risk-averse route choice to a standard shortest path problem. Within the classical theories of choice under risk, we show that the only preferences that satisfy this consistency property are the ones induced by the entropic risk measures.
△ Less
Submitted 15 December, 2013;
originally announced December 2013.
-
Asymptotic behavior of compositions of under-relaxed nonexpansive operators
Authors:
J. -B. Baillon,
P. L. Combettes,
R. Cominetti
Abstract:
In general there exists no relationship between the fixed point sets of the composition and of the average of a family of nonexpansive operators in Hilbert spaces. In this paper, we establish an asymptotic principle connecting the cycles generated by under-relaxed compositions of nonexpansive operators to the fixed points of the average of these operators. In the special case when the operators ar…
▽ More
In general there exists no relationship between the fixed point sets of the composition and of the average of a family of nonexpansive operators in Hilbert spaces. In this paper, we establish an asymptotic principle connecting the cycles generated by under-relaxed compositions of nonexpansive operators to the fixed points of the average of these operators. In the special case when the operators are projectors onto closed convex sets, we prove a conjecture by De Pierro which has so far been established only for projections onto affine subspaces.
△ Less
Submitted 26 April, 2013;
originally announced April 2013.
-
On the rate of convergence of Krasnoselski-Mann iterations and their connection with sums of Bernoullis
Authors:
Roberto Cominetti,
José A. Soto,
José Vaisman
Abstract:
In this paper we establish an estimate for the rate of convergence of the Krasnosel'skiǐ-Mann iteration for computing fixed points of non-expansive maps. Our main result settles the Baillon-Bruck conjecture [3] on the asymptotic regularity of this iteration. The proof proceeds by establishing a connection between these iterates and a stochastic process involving sums of non-homogeneous Bernoulli t…
▽ More
In this paper we establish an estimate for the rate of convergence of the Krasnosel'skiǐ-Mann iteration for computing fixed points of non-expansive maps. Our main result settles the Baillon-Bruck conjecture [3] on the asymptotic regularity of this iteration. The proof proceeds by establishing a connection between these iterates and a stochastic process involving sums of non-homogeneous Bernoulli trials. We also exploit a new Hoeffding-type inequality to majorize the expected value of a convex function of these sums using Poisson distributions.
△ Less
Submitted 29 November, 2012; v1 submitted 19 June, 2012;
originally announced June 2012.
-
Network Congestion Control with Markovian Multipath Routing
Authors:
Roberto Cominetti,
Cristobal Guzman
Abstract:
In this paper we consider an integrated model for TCP/IP protocols with multipath routing. The model combines a Network Utility Maximization for rate control based on end-to-end queuing delays, with a Markovian Traffic Equilibrium for routing based on total expected delays. We prove the existence of a unique equilibrium state which is characterized as the solution of an unconstrained strictly conv…
▽ More
In this paper we consider an integrated model for TCP/IP protocols with multipath routing. The model combines a Network Utility Maximization for rate control based on end-to-end queuing delays, with a Markovian Traffic Equilibrium for routing based on total expected delays. We prove the existence of a unique equilibrium state which is characterized as the solution of an unconstrained strictly convex program. A distributed algorithm for solving this optimization problem is proposed, with a brief discussion of how it can be implemented by adapting the current Internet protocols.
△ Less
Submitted 2 January, 2014; v1 submitted 14 July, 2011;
originally announced July 2011.
-
There is no variational characterization of the cycles in the method of periodic projections
Authors:
J. -B. Baillon,
P. L. Combettes,
R. Cominetti
Abstract:
The method of periodic projections consists in iterating projections onto $m$ closed convex subsets of a Hilbert space according to a periodic sweeping strategy. In the presence of $m\geq 3$ sets, a long-standing question going back to the 1960s is whether the limit cycles obtained by such a process can be characterized as the minimizers of a certain functional. In this paper we answer this questi…
▽ More
The method of periodic projections consists in iterating projections onto $m$ closed convex subsets of a Hilbert space according to a periodic sweeping strategy. In the presence of $m\geq 3$ sets, a long-standing question going back to the 1960s is whether the limit cycles obtained by such a process can be characterized as the minimizers of a certain functional. In this paper we answer this question in the negative. Projection algorithms that minimize smooth convex functions over a product of convex sets are also discussed.
△ Less
Submitted 7 February, 2011;
originally announced February 2011.
-
A sharp uniform bound for the distribution of sums of Bernoulli trials
Authors:
Jean-Bernard Baillon,
Roberto Cominetti,
José Vaisman
Abstract:
In this note we establish a uniform bound for the distribution of a sum $S_n=X_1+\cdots+X_n$ of independent non-homogeneous Bernoulli trials. Specifically, we prove that $σ_n \mathbb{P}(S_n\!=\!j)\leqη$ where $σ_n$ denotes the standard deviation of $S_n$ and $η$ is a universal constant. We compute the best possible constant $η\sim 0.4688$ and we show that the bound also holds for limits of sums an…
▽ More
In this note we establish a uniform bound for the distribution of a sum $S_n=X_1+\cdots+X_n$ of independent non-homogeneous Bernoulli trials. Specifically, we prove that $σ_n \mathbb{P}(S_n\!=\!j)\leqη$ where $σ_n$ denotes the standard deviation of $S_n$ and $η$ is a universal constant. We compute the best possible constant $η\sim 0.4688$ and we show that the bound also holds for limits of sums and differences of Bernoullis, including the Poisson laws which constitute the worst case and attain the bound. We also investigate the optimal bounds for $n$ and $j$ fixed. An application to estimate the rate of convergence of Mann's fixed point iterations is presented.
△ Less
Submitted 28 November, 2013; v1 submitted 13 June, 2008;
originally announced June 2008.