Nash-Bargaining-Based Models for Matching Markets: One-Sided and Two-Sided; Fisher and Arrow-Debreu

This paper addresses two deficiencies of models in the area of matching-based market design. The first arises from the recent realization that the most prominent solution that uses cardinal utilities, namely the Hylland-Zeckhauser (HZ) mechanism [Hylland and Zeckhauser, 1979], is intractable; computation of even an approximate equilibrium is PPAD-complete [Vazirani and Yannakakis, 2021; Chen et al., 2021]. The second is the extreme paucity of models that use cardinal utilities, in sharp contrast with general equilibrium theory. Our paper addresses both these issues by proposing Nash-bargaining-based matching market models. Since the Nash bargaining solution is captured by a convex program, efficiency follow; in addition, it possesses a number of desirable game-theoretic properties. Our approach yields a rich collection of models: for one-sided as well as two-sided markets, for Fisher as well as Arrow-Debreu settings, and for a wide range of utility functions, all the way from linear to Leontief. We also give very fast implementations for these models which solve large instances, with n = 2000, in one hour on a PC, even for a two-sided matching market. A number of new ideas were needed, beyond the standard methods, to obtain these implementations

A survey of computational aerodynamics in the United States

Programs in theoretical and computational aerodynamics in the United States are described. Those aspects of programs that relate to aeronautics are detailed. The role of analysis at various levels of sophistication is discussed as well as the inverse solution techniques that are of primary importance in design methodology. The research is divided into the broad categories of application for boundary layer flow, Navier-Stokes turbulence modeling, internal flows, two-dimensional configurations, subsonic and supersonic aircraft, transonic aircraft, and the space shuttle. A survey of representative work in each area is presented

Integration of continuous-time dynamics in a spiking neural network simulator

Contemporary modeling approaches to the dynamics of neural networks consider two main classes of models: biologically grounded spiking neurons and functionally inspired rate-based units. The unified simulation framework presented here supports the combination of the two for multi-scale modeling approaches, the quantitative validation of mean-field approaches by spiking network simulations, and an increase in reliability by usage of the same simulation code and the same network model specifications for both model classes. While most efficient spiking simulations rely on the communication of discrete events, rate models require time-continuous interactions between neurons. Exploiting the conceptual similarity to the inclusion of gap junctions in spiking network simulations, we arrive at a reference implementation of instantaneous and delayed interactions between rate-based models in a spiking network simulator. The separation of rate dynamics from the general connection and communication infrastructure ensures flexibility of the framework. We further demonstrate the broad applicability of the framework by considering various examples from the literature ranging from random networks to neural field models. The study provides the prerequisite for interactions between rate-based and spiking models in a joint simulation

A new formulation of the European day-ahead electricity market problem and its algorithmic consequences

A new formulation of the optimization problem implementing European market rules for non- convex day-ahead electricity markets is presented, that avoids the use of complementarity constraints to express market equilibrium conditions, and also avoids the introduction of auxiliary binary variables to linearise these constraints. Instead, we rely on strong duality theory for linear or convex quadratic optimization problems to recover equilibrium constraints imposed by most of European power exchanges facing indivisible orders. When only so-called stepwise preference curves are considered to describe continuous bids, the new formulation allows to take full advantage of state-of-the-art solvers, and in most cases, an optimal solution together with market clearing prices can be computed for large-scale instances without any further algorithmic work. The new formulation also suggests a very competitive Benders-like decomposition procedure, which helps to handle the case of interpolated preference curves that yield quadratic primal and dual objective functions, and consequently a dense quadratic constraint. This procedure essentially consists in strengthening classical Benders cuts locally. Computational experiments on real data kindly provided by main European power exchanges (Apx-Endex, Belpex and Epex spot) show that in the linear case, both approaches are very efficient, while for quadratic instances, only the decomposition procedure is tractable and shows very good results. Finally, when most orders are block orders, and instances are combinatorially very hard, the new MILP approach is substantially more efficient