Related papers: A poset representation for stable contracts in a t…
We define a new mass transport model on a one-dimensional lattice of size $N$ with continuous masses at each site. The lattice is connected to mass reservoirs of different `chemical potentials' at the two ends. The mass transfer dynamics in…
As a common generalization of previously solved optimization problems concerning bipartite stable matchings, we describe a strongly polynomial network flow based algorithm for computing $\ell$ disjoint stable matchings with minimum total…
The goal of this paper is to prove that several variants of deciding whether a poset can be (weakly) embedded into a small Boolean lattice, or to a few consecutive levels of a Boolean lattice, are NP-complete, answering a question of Griggs…
A stochastic PDE, describing mesoscopic fluctuations in systems of weakly interacting inertial particles of finite volume, is proposed and analysed in any finite dimension $d\in\mathbb{N}$. It is a regularised and inertial version of the…
The past few years have seen a surge of work on fairness in allocation problems where items must be fairly divided among agents having individual preferences. In comparison, fairness in settings with preferences on both sides, that is,…
We study a market mechanism that sets edge prices to incentivize strategic agents to efficiently share limited network capacity. In this market, agents form coalitions, with each coalition sharing a unit capacity of a selected route and…
An instance of a strongly stable matching problem (SSMP) is an undirected bipartite graph $G=(A \cup B, E)$, with an adjacency list of each vertex being a linearly ordered list of ties, which are subsets of vertices equally good for a given…
We study the representation of systems S of linear equations over the two-element field (aka xor- or parity-constraints) via conjunctive normal forms F (boolean clause-sets). First we consider the problem of finding an "arc-consistent"…
We consider a system of two Gross-Pitaevskii (GP) equations, in the presence of an optical-lattice (OL) potential, coupled by both nonlinear and linear terms. This system describes a Bose-Einstein condensate (BEC) composed of two different…
The theory of optimal choice sets offers a well-established solution framework in social choice and game theory. In social choice theory, decision-making is typically modeled as a maximization problem. However, when preferences are cyclic…
We consider the allocation of $m$ balls (jobs) into $n$ bins (servers). In the Two-Choice process, for each of $m$ sequentially arriving balls, two randomly chosen bins are sampled and the ball is placed in the least loaded bin. It is…
We study the three-dimensional ground state vortex lattice structures of purely dipolar Bose-Einstein condensate (BEC). By using the mean-field model we obtain a stability diagram for the vortex states in purely dipolar BECs as a function…
Graded posets frequently arise throughout combinatorics, where it is natural to try to count the number of elements of a fixed rank. These counting problems are often $\#\textbf{P}$-complete, so we consider approximation algorithms for…
In order theory, partially ordered sets are only equipped with one relation which decides the entire structure/Hasse diagram of the set. In this paper, we have presented how partially ordered sets can be studied under simultaneous partially…
We propose a stable Petrov-Galerkin discretization of a kinetic Fokker-Planck equation constructed in such a way that uniform inf-sup stability can be inferred directly from the variational formulation. Inspired by well-posedness results…
The Stable Roommates problem involves matching a set of agents into pairs based on the agents' strict ordinal preference lists. The matching must be stable, meaning that no two agents strictly prefer each other to their assigned partners. A…
This work presents a high-order Arbitrary-Lagrangian-Eulerian (ALE) Discontinuous Galerkin framework for simulating multi-body Vortex-Induced Vibrations. The ALE formulation extends a Runge-Kutta Interior-Penalty nodal DG solver with…
We study the classic principal-agent model when the signal observed by the principal is chosen by the agent. We fully characterize the optimal information structure from an agent's perspective in a general moral hazard setting with limited…
We focus here on the thermodynamic properties of adsorbates formed by two-species $A+B \to \oslash$ reactions on a one-dimensional infinite lattice with heterogeneous "catalytic" properties. In our model hard-core $A$ and $B$ particles…
In two-dimensional tissues, such as developing germ layers, pair-wise forces (or active stresses) arise from the contractile activity of the cytoskeleton, with dissipation provided by the three-dimensional surroundings. We show analytically…