arXiv ScienceSearch

arXiv subjects

Felix Brandt

Publications and source records attributed to Felix Brandt.

At least 19 recordsLinked to original sources

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 widely used model for simulating large-scale sea-ice dynamics. In particular, landfast ice refers to sea-ice that is attached to the coastline or grounded and therefore exhibits nearly vanishing motion. The model considered in this manuscript augments Hibler's viscous-plastic sea-ice model by tensile strength and a threshold-dependent basal stress. We present a rigorous analytical and numerical study of this landfast ice model. The 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. The limiting case $k_{\mathrm{t}} \equiv 1$ is treated separately, since the pressure coupling then vanishes and a new smallness condition on the stress regularization parameter is required. For the system without scalar diffusion, we establish local strong well-posedness through a Lagrangian formulation and anisotropic maximal $\mathrm{L}^p$-regularity. Finally, we perform numerical simulations that illustrate key qualitative differences between landfast ice and classical viscous-plastic sea-ice models. 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 and 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

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

Consistent Probabilistic Social Choice

Two fundamental axioms in social choice theory are consistency with respect to a variable electorate and consistency with respect to components of similar alternatives. In the context of traditional non-probabilistic social choice, these axioms are incompatible with each other. We show that in the context of probabilistic social choice, these axioms uniquely characterize a function proposed by Fishburn (Rev. Econ. Stud., 51(4), 683--692, 1984). Fishburn's function returns so-called maximal lotteries, i.e., lotteries that correspond to optimal mixed strategies of the underlying plurality game. Maximal lotteries are guaranteed to exist due to von Neumann's Minimax Theorem, are almost always unique, and can be efficiently computed using linear programming.

cs.GT

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

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

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

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

Optimal Budget Aggregation with Star-Shaped Preference Domains

We study the problem of aggregating distributions, such as budget proposals, into a collective distribution. An ideal aggregation mechanism would be Pareto efficient, strategyproof, and fair. Most previous work assumes that agents evaluate budgets according to the $\ell_1$ distance to their ideal budget. We investigate and compare different models from the larger class of star-shaped utility functions - a multi-dimensional generalization of single-peaked preferences. For the case of two alternatives, we extend existing results by proving that under very general assumptions, the uniform phantom mechanism is the only strategyproof mechanism that satisfies proportionality - a minimal notion of fairness introduced by Freeman et al. (2021). Moving to the case of more than two alternatives, we establish sweeping impossibilities for $\ell_1$ and $\ell_\infty$ disutilities: no mechanism satisfies efficiency, strategyproofness, and proportionality. We then propose a new kind of star-shaped utilities based on evaluating budgets by the ratios of shares between a given budget and an ideal budget. For these utilities, efficiency, strategyproofness, and fairness become compatible. In particular, we prove that the mechanism that maximizes the Nash product of individual utilities is characterized by group-strategyproofness and a core-based fairness condition.

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,τ]$ for every $τ> 0$ for small initial data. This seems to be the first result on $[0,τ]$ for arbitrary $τ> 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,τ]$ for arbitrary $τ> 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

Interaction of geophysical flows with sea ice dynamics

This article establishes local strong well-posedness and global strong well-posedness close to constant equilibria of a model coupling the primitive equations of ocean and atmospheric dynamics with Hibler's viscous-plastic sea ice model. In order to treat the coupling conditions, an approach involving the hydrostatic Dirichlet and Dirichlet-to-Neumann operator is developed. Mapping properties of the latter operators are investigated for the first time and are of central importance for showing that the operator associated with the linearized coupled system admits a bounded $\mathcal{H}^\infty$-calculus on suitable $\mathrm{L}^q$-spaces. Quasilinear methods allow then to obtain the strong well-posedeness results described above.

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

Coordinating Charitable Donations with Leontief Preferences

We consider the problem of funding public goods that are complementary in nature. Examples include charities handling different needs (e.g., protecting animals vs. providing healthcare), charitable donations to different individuals, or municipal units handling different issues (e.g., security vs. transportation). We model these complementarities by assuming Leontief preferences; that is, each donor seeks to maximize an individually weighted minimum of all contributions across the charities. Decentralized funding may be inefficient due to a lack of coordination among the donors; centralized funding may be undesirable as it ignores the preferences of individual donors. We present a mechanism that combines the advantages of both methods. The mechanism efficiently distributes each donor's contribution so that no subset of donors has an incentive to redistribute their donations. Moreover, it is group-strategyproof, satisfies desirable monotonicity properties, maximizes Nash welfare, returns a unique Lindahl equilibrium, and can be implemented via natural best-response spending dynamics.

econ.TH

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

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-Čanić-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