SearcharxivSearch

arXiv subjects

Felix Brandt

Publications and source records attributed to Felix Brandt.

At least 19 recordsLinked to original sources

Individual Fairness in Budget Aggregation

We consider the problem of aggregating $n$ individual distributions over $m$ alternatives into a collective distribution, also known as budget aggregation. Existing fairness notions in this literature typically do not guarantee fairness to individual agents. To address this, we define two versions of individual fair share guarantees. We show that when agents' utilities are derived from $\ell_t$ metrics for any $t\geq 1$, both these guarantees can be satisfied along with Pareto efficiency, and the corresponding distributions can be computed in polynomial time. On the other hand, for $\ell_1$ utilities, we prove that Pareto efficiency, strategyproofness, and a very weak fairness notion called single-minded positive share are not always compatible for $n,m \ge 3$. For smaller parameters, we provide rules that satisfy these three axioms. We also establish similar impossibility results for $\ell_2$ utilities.

cs.GT

Equilibrium Play Without Mutual Knowledge of Rationality

Equilibrium play in two-player zero-sum games is usually justified via epistemic assumptions, such as mutual knowledge of rationality and beliefs, that go far beyond the rationality of the players. We propose a justification that dispenses with these assumptions. To this end, we consider solution concepts that assign to every subgame of a given game a set of plausible actions for each player, and we impose two conditions. Rationality requires that the plausible sets are supports of undominated strategies or, equivalently, that all plausible actions are best responses to a common belief about the opponent. Inheritance requires that plausible actions remain plausible when implausible actions are discarded. In two-player games, the two conditions characterize the solution concepts that consistently select supports of Nash equilibria. Zero-sum payoffs ensure that Nash equilibria -- and hence the selection -- are generically unique. Equilibrium play thus emerges from individual rationality and the mutual understanding that plausibility judgments persist when implausible actions are discarded.

econ.TH

Stochastically forced Navier-Stokes equations interacting with an elastic structure

We prove global-in-time strong pathwise well-posedness for a stochastic fluid-structure interaction problem coupling a two-dimensional incompressible Navier-Stokes fluid to a one-dimensional damped Kirchhoff plate. The coupling is imposed on a fixed interface through continuity of velocities and balance of normal stresses, and stochastic forcing, modeled by a cylindrical Wiener process, acts on both the fluid and structure equations. We split the problem into a linear stochastic part and a nonlinear deterministic remainder. The linear stochastic problem is treated by proving that the associated fluid-structure operator admits a bounded \(\mathcal{H}^\infty\)-calculus, yielding stochastic maximal regularity. This requires a decoupling procedure for the non-diagonal operator domain, and pressure estimates via suitable lifting constructions. The deterministic remainder is solved locally by quasilinear methods, and the resulting blow-up criterion is ruled out by higher-order a priori estimates. This is the first global-in-time strong pathwise well-posedness result for a stochastically forced Navier-Stokes system interacting with a deformable elastic structure.

math.AP

Efficient and Envy-free Random Assignment Beyond Expected Utility

We consider the random assignment problem with abstract continuous and convex preferences. In particular, we admit preference relations that are not constrained by independence or transitivity. By extending the Hylland--Zeckhauser pseudo-market mechanism, we show that weakly efficient and envy-free random assignments always exist. For preferences that can be represented via skew-symmetric bilinear (SSB) utility functions -- which generalize linear expected utility functions -- we prove the existence of efficient and approximately envy-free random assignments. Efficient and envy-free random assignments exist under a mild additional assumption on preferences. These findings have notable implications for ordinal random assignment, where ordinal preferences are extended to preferences over lotteries via the pairwise comparison (PC) extension. While the probabilistic serial rule and popular random assignments frequently and significantly violate PC-efficiency and PC-envy-freeness, respectively, random assignments that satisfy both conditions do exist.

econ.TH

Consistent Probabilistic Social Choice Revisited

Brandt et al. (2016) characterized a probabilistic social choice function known as maximal lotteries within a framework based on fractional preference profiles, which abstracts away from individual voters. While this modeling assumption enables a more elegant and transparent proof, it complicates comparison with other results in the literature. The purpose of this note is to transfer their results to the standard model of social choice, where each preference profile is defined for a finite number of voters. Along the way, we prove a slightly stronger version of their main theorem that uses a weaker continuity condition and allows for real-valued (rather than only rational-valued) probabilities.

econ.TH

A fully averaged poroelastic Kirchhoff plate interacting with an incompressible, viscous fluid: analysis and numerical simulation

We study a new fully averaged poroelastic Kirchhoff plate model coupled with the flow of an incompressible, viscous fluid governed by the time-dependent Stokes equations. The fully averaged formulation offers several advantages over the classical Biot poroelastic plate model: both elastodynamic and pressure equations are posed on a codimension-one interface, the resulting numerical schemes are simpler to implement and computationally more efficient, and the fluid-structure coupling is more natural. We analyze a linearly coupled fluid-structure interaction problem with kinematic and dynamic interface conditions enforcing continuity of normal velocities, the Beavers-Joseph-Saffman slip in the tangential velocities, and balance of forces between the fluid and the poroelastic structure. We establish the existence of weak solutions using energy methods, and then prove global-in-time existence of a unique strong solution to a regularized version of the problem using sectoriality of the associated spatial operator and maximal $\mathrm{L}^p$-regularity of the resulting Cauchy problem. For data with exponential decay, we prove exponential decay of solutions. Finally, we develop a finite element method for the numerical approximation of the coupled system and show that it provides an excellent approximation of the full Biot-Stokes system in the thin-structure regime. The main advantage of this model lies in the remarkably simple implementation, as the poroelastic plate equations constitute a surface model bounding a bulk fluid domain. These results provide a rigorous analytical and computational framework for the study of coupled fluid-poroelastic structure interactions involving thin poroelastic interfaces modeled by the fully averaged Kirchhoff poroelastic plate equations.

math.AP

Analysis and numerical simulations of a landfast ice model

In this manuscript, we consider a common modeling framework for Arctic landfast ice based on the work of Lemieux et al. [27], which is designed for use in large-scale climate models. This approach extends the classical viscous-plastic sea-ice model introduced by Hibler [18], which remains the most used model for simulating large-scale sea-ice dynamics in climate science. In particular, landfast ice refers to sea-ice that is attached to the coastline or grounded and therefore exhibits nearly vanishing motion. We present a rigorous analytical and numerical study of this landfast ice model. The main analytical contributions are the local strong well-posedness, the global strong well-posedness in the absence of external forces and for initial data close to constant equilibrium solutions, and the existence of time-periodic solutions. Complementing the analysis, we perform numerical simulations that illustrate key qualitative differences between landfast ice and classical viscous-plastic sea-ice models. In particular, the simulations reveal the formation of stationary equilibrium states characterized by vanishing ice velocity. These observations are consistent with the global-in-time existence result close to equilibria established in Theorem 4.1 as well as the time-periodic result in Theorem 5.2. The combined analytical and numerical results provide new insight into the structure, stability, and long-term behavior of landfast ice dynamics.

math.AP

Majoritarian Assignment Rules

A central problem in multiagent systems is the fair assignment of objects to agents. In this paper, we initiate the analysis of classic majoritarian social choice functions in assignment. Exploiting the special structure of the assignment domain, we show a number of surprising results with no counterparts in general social choice. In particular, we establish a near one-to-one correspondence between preference profiles and majority graphs. This correspondence implies that key properties of assignments -- such as Pareto-optimality, least unpopularity, and mixed popularity -- can be determined solely by the associated majority graph. We further show that all Pareto-optimal assignments are semi-popular and belong to the top cycle. Elements of the top cycle can thus easily be found via serial dictatorships. Our main result is a complete characterization of the top cycle, which implies the top cycle can only consist of one, two, all but two, all but one, or all assignments. By contrast, we find that the uncovered set contains only very few assignments.

econ.TH

Moisture dynamics with phase changes coupled to heat-conducting, compressible fluids

It is shown that a model coupling the heat-conducting compressible Navier-Stokes equations to a micro-physics model of moisture in air is locally strongly well-posed for large data in suitable function spaces and strongly well-posed on $[0,\tau]$ for every $\tau > 0$ for small initial data. This seems to be the first result on $[0,\tau]$ for arbitrary $\tau > 0$ for a model coupling moisture dynamics to heat-conducting, compressible Navier-Stokes equations. A key feature of the micro-physics model is that it also includes phase changes of water in moist air. These phase changes are associated with large amounts of latent heat and thus result in a strong coupling to the thermodynamic equation. The well-posedness results are obtained by means of a Lagrangian approach, which allows to treat the hyperbolicity in the continuity equation. More precisely, optimal $\mathrm{L}^p$-$\mathrm{L}^q$ estimates are shown for the linearized system, leading to the local well-posedness result by a fixed point argument and suitable nonlinear estimates. For the well-posedness result on $[0,\tau]$ for arbitrary $\tau > 0$, a refined analysis of the linearized problem close to equilibria is carried out, and the roughness of the source term, induced by the phase changes, requires to establish delicate a priori bounds.

math.AP

Residual-Informed Learning of Solutions to Algebraic Loops

This paper presents a residual-informed machine learning approach for replacing algebraic loops in equation-based Modelica models with neural network surrogates. A feedforward neural network is trained using the residual (error) of the algebraic loop directly in its loss function, eliminating the need for a supervised dataset. This training strategy also resolves the issue of ambiguous solutions, allowing the surrogate to converge to a consistent solution rather than averaging multiple valid ones. Applied to the large-scale IEEE 14-Bus system, our method achieves a 60% reduction in simulation time compared to conventional simulations, while maintaining the same level of accuracy through error control mechanisms.

cs.LG

Three-dimensional Navier-Stokes-Biot coupling via a moving reticular plate interface: existence of weak solutions

We prove the existence of finite-energy weak solutions to a regularized three-dimensional fluid-structure interaction (FSI) problem involving an incompressible, viscous, Newtonian fluid and a multilayered poro(visco)elastic structure. The structure consists of a thick layer modeled by the Biot equations and a thin reticular plate with inertia and elastic energy, transparent to fluid flow. The coupling is nonlinear in the sense that it takes place on a moving interface that is not known a priori but is defined by the solution itself, making the problem a moving-boundary problem. This nonlinear free-boundary coupling, combined with the limited regularity of the Biot displacement, renders the classical weak formulation ill-defined at finite energy. To address this, we introduce a minimally invasive regularization based on a suitable extension and convolution of the Biot displacement, chosen so that the regularized problem remains consistent with the original model. We then construct approximate solutions to the regularized problem via a Lie operator-splitting scheme and derive uniform energy bounds. While these bounds ensure weak and weak* convergence, passing to the limit in the nonlinear terms requires refined compactness arguments, including variants of the Aubin-Lions lemma and tools adapted to moving non-Lipschitz interfaces. The result applies in particular to the purely elastic case (without structural damping) as well as the poroviscoelastic case. This work extends the two-dimensional analysis of Kuan-\v{C}ani\'c-Muha 2024 to the fully three-dimensional setting and, to our knowledge, provides the first existence result for a nonlinearly coupled, multilayer 3D Navier-Stokes-Biot FSI system with a permeable interface.

math.AP

Strong time-periodic solutions for a multilayered fluid-structure interaction system with nonlinear coupling

We investigate a time-periodic fully three-dimensional fluid-structure interaction system in which the Navier-Stokes equations for an incompressible viscous fluid are coupled with a multilayered elastic structure composed of a damped thin linear plate and a thick viscoelastic layer. The coupling is nonlinear, meaning that it is on a moving interface that is not known a priori, rendering the problem a moving-domain problem. We prove the existence of strong time-periodic solutions. The proof relies on a fixed point argument, combining sharp nonlinear estimates with a detailed analysis of the linearized system. The linearized problem is analyzed by employing the Arendt-Bu theorem on maximal periodic $\mathrm{L}^p$-regularity, which requires several new analytical ingredients including a refined lifting procedure, a decoupling strategy establishing $\mathcal{R}$-sectoriality of the coupled operator, a careful treatment of the thick structural layer, and a spectral analysis adapted to the multilayered setting. This provides the first strong time-periodic existence result for multilayered fluid-structure interaction systems, and the methods are expended to extend more broadly to nonlinear coupled PDEs on moving domains with periodic forcing.

math.AP

Global strong well-posedness of the CAO-problem introduced by Lions, Temam and Wang

Consider the CAO-problem introduced by Lions, Temam and Wang, which concerns a system of two fluids described by two primitive equations coupled by fully nonlinear interface conditions. They proved in their pioneering work the existence of a weak solution to the CAO-system; its uniqueness remained an open problem. In this article, it is shown that this coupled CAO-system is globally strongly well-posed for large data, even in critical Besov spaces. It is furthermore shown that, away from the boundary, the solution is even real analytic. The approach presented relies on an optimal data result for the boundary terms in the linearized system in terms of time-space Triebel-Lizorkin spaces. Boundary terms are then controlled by paraproduct methods in these spaces.

math.AP

Strong well-posedness for a stochastic fluid-rigid body system via stochastic maximal regularity

We develop a rigorous analytical framework for a coupled stochastic fluid-rigid body system in $\mathbb{R}^3$. The model describes the motion of a rigid ball immersed in an incompressible Newtonian fluid subjected to both additive noise in the fluid and body equations and transport-type noise in the fluid equation. We establish local strong well-posedness of the resulting system by combining stochastic maximal $\mathrm{L}^p$-regularity theory with a decoupling approach for the associated fluid-structure operator. A key step is to prove the boundedness of the $\mathcal{H}^\infty$-calculus for this operator. In addition, we provide blow-up criteria for the maximal existence time of solutions. To our knowledge, this is the first rigorous treatment of strong solutions of stochastic fluid-structure interactions.

math.AP

Dynamics of the general $Q$-tensor model interacting with a rigid body

In this article, the fluid-rigid body interaction problem of nematic liquid crystals described by the general Beris-Edwards $Q$-tensor model is studied. It is proved first that the total energy of this problem decreases in time. The associated mathematical problem is a quasilinear mixed-order system with moving boundary. After the transformation to a fixed domain, a monolithic approach based on the added mass operator and lifting arguments is employed to establish the maximal $L^p$-regularity of the linearized problem in an anisotropic ground space. This paves the way for the local strong well-posedness for large data and global strong well-posedness for small data of the interaction problem.

math.AP

Weak Strategyproofness in Randomized Social Choice

An important -- but very demanding -- property in collective decision-making is strategyproofness, which requires that voters cannot benefit from submitting insincere preferences. Gibbard (1977) has shown that only rather unattractive rules are strategyproof, even when allowing for randomization. However, Gibbard's theorem is based on a rather strong interpretation of strategyproofness, which deems a manipulation successful if it increases the voter's expected utility for at least one utility function consistent with his ordinal preferences. In this paper, we study weak strategyproofness, which deems a manipulation successful if it increases the voter's expected utility for all utility functions consistent with his ordinal preferences. We show how to systematically design attractive, weakly strategyproof social decision schemes (SDSs) and explore their limitations for both strict and weak preferences. In particular, for strict preferences, we show that there are weakly strategyproof SDSs that are either ex post efficient or Condorcet-consistent, while neither even-chance SDSs nor pairwise SDSs satisfy both properties and weak strategyproofness at the same time. By contrast, for the case of weak preferences, we discuss two sweeping impossibility results that preclude the existence of appealing weakly strategyproof SDSs.

cs.GT

Condorcet-Consistent Choice Among Three Candidates

A voting rule is a Condorcet extension if it returns a candidate that beats every other candidate in pairwise majority comparisons whenever one exists. Condorcet extensions have faced criticism due to their susceptibility to variable-electorate paradoxes, especially the reinforcement paradox (Young and Levenglick, 1978) and the no-show paradox (Moulin, 1988). In this paper, we investigate the susceptibility of Condorcet extensions to these paradoxes for the case of exactly three candidates. For the reinforcement paradox, we establish that it must occur for every Condorcet extension when there are at least eight voters and demonstrate that certain refinements of maximin, a voting rule originally proposed by Condorcet (1785), are immune to this paradox when there are at most seven voters. For the no-show paradox, we prove that the only homogeneous Condorcet extensions immune to it are refinements of maximin. We also provide axiomatic characterizations of maximin and two of its refinements, Nanson's rule and leximin, highlighting their suitability for three-candidate elections.

econ.TH

Well-posedness of Hibler's parabolic-hyperbolic sea ice model

This paper proves the local-in-time strong well-posedness of a parabolic-hyperbolic regularized version of Hibler's sea ice model. Hibler's model is the most frequently used sea ice model in climate science. Lagrangian coordinates are employed to handle the hyperbolic terms in the balance laws. The resulting problem is regarded as a quasilinear non-autonomous evolution equation. Maximal $\mathrm{L}^p$-regularity of the underlying linearized problem is obtained on an anisotropic ground space in order to deal with the lack of regularization in the balance laws.

math.AP