Showing 1–50 of 68 results for author: Lederer, P

Committee Monotonic Proportional Representation: A New Voting Rule and Impossibility Results

Authors: Haris Aziz, Patrick Lederer, Angus Ritossa

Abstract: We study committee voting rules under ranked preferences, which map the voters' preference relations to a subset of the alternatives of predefined size. In this setting, the compatibility between proportional representation and committee monotonicity is a fundamental open problem that has been mentioned in several works. We design a new multi-winner voting rule called the Solid Coalition Refinemen… ▽ More We study committee voting rules under ranked preferences, which map the voters' preference relations to a subset of the alternatives of predefined size. In this setting, the compatibility between proportional representation and committee monotonicity is a fundamental open problem that has been mentioned in several works. We design a new multi-winner voting rule called the Solid Coalition Refinement (SCR) Rule that simultaneously satisfies committee monotonicity and Dummett's PSC as well as one of its variants called inclusion PSC. This is the first rule known to satisfy both of these properties. Moreover, we show that this is effectively the best that we can hope for as other fairness notions adapted from approval voting such as Rank-JR and Rank-PJR+ are incompatible with committee monotonicity. △ Less

Submitted 28 June, 2024; originally announced June 2024.

The Squared Kemeny Rule for Averaging Rankings

Authors: Patrick Lederer, Dominik Peters, Tomasz Wąs

Abstract: For the problem of aggregating several rankings into one ranking, Kemeny (1959) proposed two methods: the median rule which selects the ranking with the smallest total swap distance to the input rankings, and the mean rule which minimizes the squared swap distances to the input rankings. The median rule has been extensively studied since and is now known simply as Kemeny's rule. It exhibits majori… ▽ More For the problem of aggregating several rankings into one ranking, Kemeny (1959) proposed two methods: the median rule which selects the ranking with the smallest total swap distance to the input rankings, and the mean rule which minimizes the squared swap distances to the input rankings. The median rule has been extensively studied since and is now known simply as Kemeny's rule. It exhibits majoritarian properties, so for example if more than half of the input rankings are the same, then the output of the rule is the same ranking. We observe that this behavior is undesirable in many rank aggregation settings. For example, when we rank objects by different criteria (quality, price, etc.) and want to aggregate them with specified weights for the criteria, then a criterion with weight 51% should have 51% influence on the output instead of 100%. We show that the Squared Kemeny rule (i.e., the mean rule) behaves this way, by establishing a bound on the distance of the output ranking to any input rankings, as a function of their weights. Furthermore, we give an axiomatic characterization of the Squared Kemeny rule, which mirrors the existing characterization of the Kemeny rule but replaces the majoritarian Condorcet axiom by a proportionality axiom. Finally, we discuss the computation of the rule and show its behavior in a simulation study. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: 45 pages including appendix

The Metric Distortion of Randomized Social Choice Functions: C1 Maximal Lottery Rules and Simulations

Authors: Fabian Frank, Patrick Lederer

Abstract: The metric distortion of a randomized social choice function (RSCF) quantifies its worst-case approximation ratio of the optimal social cost when the voters' costs for alternatives are given by distances in a metric space. This notion has recently attracted significant attention as numerous RSCFs that aim to minimize the metric distortion have been suggested. However, such tailored voting rules us… ▽ More The metric distortion of a randomized social choice function (RSCF) quantifies its worst-case approximation ratio of the optimal social cost when the voters' costs for alternatives are given by distances in a metric space. This notion has recently attracted significant attention as numerous RSCFs that aim to minimize the metric distortion have been suggested. However, such tailored voting rules usually have little appeal other than their low metric distortion. In this paper, we will thus study the metric distortion of well-established RSCFs. In more detail, we first show that C1 maximal lottery rules, a well-known class of RSCFs, have a metric distortion of $4$ and furthermore prove that this is optimal within the class of majoritarian RSCFs (which only depend on the majority relation). As our second contribution, we perform extensive computer experiments on the metric distortion of established RSCFs to obtain insights into their average-case performance. These computer experiments are based on a new linear program for computing the metric distortion of a lottery on a given profile and reveal that some classical RSCFs perform almost as well as the currently best known RSCF with respect to the metric distortion on randomly sampled profiles. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: 8 pages, 1 figure

Refined Characterizations of Approval-based Committee Scoring Rules

Authors: Chris Dong, Patrick Lederer

Abstract: In approval-based committee (ABC) elections, the goal is to select a fixed-size subset of the candidates, a so-called committee, based on the voters' approval ballots over the candidates. One of the most popular classes of ABC voting rules are ABC scoring rules, which have recently been characterized by Lackner and Skowron (2021). However, this characterization relies on a model where the output i… ▽ More In approval-based committee (ABC) elections, the goal is to select a fixed-size subset of the candidates, a so-called committee, based on the voters' approval ballots over the candidates. One of the most popular classes of ABC voting rules are ABC scoring rules, which have recently been characterized by Lackner and Skowron (2021). However, this characterization relies on a model where the output is a ranking of committees instead of a set of winning committees and no full characterization of ABC scoring rules exists in the latter standard setting. We address this issue by characterizing two important subclasses of ABC scoring rules in the standard ABC election model, thereby both extending the result of Lackner and Skowron (2021) to the standard setting and refining it to subclasses. In more detail, by relying on a consistency axiom for variable electorates, we characterize (i) the prominent class of Thiele rules and (ii) a new class of ABC voting rules called ballot size weighted approval voting. Based on these theorems, we also infer characterizations of three well-known ABC voting rules, namely multi-winner approval voting, proportional approval voting, and satisfaction approval voting. △ Less

Submitted 4 March, 2024; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: Appears at AAAI-24

Participation Incentives in Approval-Based Committee Elections

Authors: Martin Bullinger, Chris Dong, Patrick Lederer, Clara Mehler

Abstract: In approval-based committee (ABC) voting, the goal is to choose a subset of predefined size of the candidates based on the voters' approval preferences over the candidates. While this problem has attracted significant attention in recent years, the incentives for voters to participate in an election for a given ABC voting rule have been neglected so far. This paper is thus the first to explicitly… ▽ More In approval-based committee (ABC) voting, the goal is to choose a subset of predefined size of the candidates based on the voters' approval preferences over the candidates. While this problem has attracted significant attention in recent years, the incentives for voters to participate in an election for a given ABC voting rule have been neglected so far. This paper is thus the first to explicitly study this property, typically called participation, for ABC voting rules. In particular, we show that all ABC scoring rules even satisfy group participation, whereas most sequential rules severely fail participation. We furthermore explore several escape routes to the impossibility for sequential ABC voting rules: we prove for many sequential rules that (i) they satisfy participation on laminar profiles, (ii) voters who approve none of the elected candidates cannot benefit by abstaining, and (iii) it is NP-hard for a voter to decide whether she benefits from abstaining. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: Appears at AAAI-24

Gradient-robust hybrid DG discretizations for the compressible Stokes equations

Authors: Philip L. Lederer, Christian Merdon

Abstract: This paper studies two hybrid discontinuous Galerkin (HDG) discretizations for the velocity-density formulation of the compressible Stokes equations with respect to several desired structural properties, namely provable convergence, the preservation of non-negativity and mass constraints for the density, and gradient-robustness. The later property dramatically enhances the accuracy in well-balance… ▽ More This paper studies two hybrid discontinuous Galerkin (HDG) discretizations for the velocity-density formulation of the compressible Stokes equations with respect to several desired structural properties, namely provable convergence, the preservation of non-negativity and mass constraints for the density, and gradient-robustness. The later property dramatically enhances the accuracy in well-balanced situations, such as the hydrostatic balance where the pressure gradient balances the gravity force. One of the studied schemes employs an H(div)-conforming velocity ansatz space which ensures all mentioned properties, while a fully discontinuous method is shown to satisfy all properties but the gradient-robustness. Also higher-order schemes for both variants are presented and compared in three numerical benchmark problems. The final example shows the importance also for non-hydrostatic well-balanced states for the compressible Navier-Stokes equations. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Trefftz Discontinuous Galerkin discretization for the Stokes problem

Authors: Philip L. Lederer, Christoph Lehrenfeld, Paul Stocker

Abstract: We introduce a new discretization based on the Trefftz-DG method for solving the Stokes equations. Discrete solutions of a corresponding method fulfill the Stokes equation pointwise within each element and yield element-wise divergence-free solutions. Compared to standard DG methods, a strong reduction of the degrees of freedom is achieved, especially for higher order polynomial degrees. In additi… ▽ More We introduce a new discretization based on the Trefftz-DG method for solving the Stokes equations. Discrete solutions of a corresponding method fulfill the Stokes equation pointwise within each element and yield element-wise divergence-free solutions. Compared to standard DG methods, a strong reduction of the degrees of freedom is achieved, especially for higher order polynomial degrees. In addition, in contrast to many other Trefftz-DG methods, our approach allows to easily incorporate inhomogeneous right hand sides (driving forces) by using the concept of the embedded Trefftz-DG method. On top of a detailed a priori error analysis, we further compare our approach to standard discontinuous Galerkin Stokes discretizations and present numerical examples. △ Less

Submitted 17 January, 2024; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 34 pages, 5 figures, 8 tables

MSC Class: 76D07; 76M10; 65N12; 65N22; 65N30

A discontinuous Galerkin approach for atmospheric flows with implicit condensation

Authors: Sabine Doppler, Philip L. Lederer, Joachim Schöberl, Henry von Wahl

Abstract: We present a discontinuous Galerkin method for moist atmospheric dynamics, with and without warm rain. By considering a combined density for water vapour and cloud water, we avoid the need to model and compute a source term for condensation. We recover the vapour and cloud densities by solving a pointwise non-linear problem each time step. Consequently, we enforce the requirement for the water vap… ▽ More We present a discontinuous Galerkin method for moist atmospheric dynamics, with and without warm rain. By considering a combined density for water vapour and cloud water, we avoid the need to model and compute a source term for condensation. We recover the vapour and cloud densities by solving a pointwise non-linear problem each time step. Consequently, we enforce the requirement for the water vapour not to be supersaturated implicitly. Together with an explicit time-step** scheme, the method is highly parallelisable and can utilise high-performance computing hardware. Furthermore, the discretisation works on structured and unstructured meshes in two and three spatial dimensions. We illustrate the performance of our approach using several test cases in two and three spatial dimensions. In the case of a smooth, exact solution, we illustrate the optimal higher-order convergence rates of the method. △ Less

Submitted 12 December, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Journal ref: Journal of Computational Physics, 499:112713, 2024

Strategyproof Social Decision Schemes on Super Condorcet Domains

Authors: Felix Brand, Patrick Lederer, Sascha Tausch

Abstract: One of the central economic paradigms in multi-agent systems is that agents should not be better off by acting dishonestly. In the context of collective decision-making, this axiom is known as strategyproofness and turns out to be rather prohibitive, even when allowing for randomization. In particular, Gibbard's random dictatorship theorem shows that only rather unattractive social decision scheme… ▽ More One of the central economic paradigms in multi-agent systems is that agents should not be better off by acting dishonestly. In the context of collective decision-making, this axiom is known as strategyproofness and turns out to be rather prohibitive, even when allowing for randomization. In particular, Gibbard's random dictatorship theorem shows that only rather unattractive social decision schemes (SDSs) satisfy strategyproofness on the full domain of preferences. In this paper, we obtain more positive results by investigating strategyproof SDSs on the Condorcet domain, which consists of all preference profiles that admit a Condorcet winner. In more detail, we show that, if the number of voters $n$ is odd, every strategyproof and non-imposing SDS on the Condorcet domain can be represented as a mixture of dictatorial SDSs and the Condorcet rule (which chooses the Condorcet winner with probability $1$). Moreover, we prove that the Condorcet domain is a maximal connected domain that allows for attractive strategyproof SDSs if $n$ is odd as only random dictatorships are strategyproof and non-imposing on any sufficiently connected superset of it. We also derive analogous results for even $n$ by slightly extending the Condorcet domain. Finally, we also characterize the set of group-strategyproof and non-imposing SDSs on the Condorcet domain and its supersets. These characterizations strengthen Gibbard's random dictatorship theorem and establish that the Condorcet domain is essentially a maximal domain that allows for attractive strategyproof SDSs. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Comments: Appears in Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2023

Characterizations of Sequential Valuation Rules

Authors: Chris Dong, Patrick Lederer

Abstract: Approval-based committee (ABC) voting rules elect a fixed size subset of the candidates, a so-called committee, based on the voters' approval ballots over the candidates. While these rules have recently attracted significant attention, axiomatic characterizations are largely missing so far. We address this problem by characterizing ABC voting rules within the broad and intuitive class of sequentia… ▽ More Approval-based committee (ABC) voting rules elect a fixed size subset of the candidates, a so-called committee, based on the voters' approval ballots over the candidates. While these rules have recently attracted significant attention, axiomatic characterizations are largely missing so far. We address this problem by characterizing ABC voting rules within the broad and intuitive class of sequential valuation rules. These rules compute the winning committees by sequentially adding candidates that increase the score of the chosen committee the most. In more detail, we first characterize almost the full class of sequential valuation rules based on mild standard conditions and a new axiom called consistent committee monotonicity. This axiom postulates that the winning committees of size k can be derived from those of size k-1 by only adding candidates and that these new candidates are chosen consistently. By requiring additional conditions, we derive from this result also a characterization of the prominent class of sequential Thiele rules. Finally, we refine our results to characterize three well-known ABC voting rules, namely sequential approval voting, sequential proportional approval voting, and sequential Chamberlin-Courant approval voting. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Comments: Appears in Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2023

High-order projection-based upwind method for implicit large eddy simulation

Authors: Philip L. Lederer, Xaver Mooslechner, Joachim Schöberl

Abstract: We assess the ability of three different approaches based on high-order discontinuous Galerkin methods to simulate under-resolved turbulent flows. The capabilities of the mass conserving mixed stress method as structure resolving large eddy simulation solver are examined. A comparison of a variational multiscale model to no-model or an implicit model approach is presented via numerical results. In… ▽ More We assess the ability of three different approaches based on high-order discontinuous Galerkin methods to simulate under-resolved turbulent flows. The capabilities of the mass conserving mixed stress method as structure resolving large eddy simulation solver are examined. A comparison of a variational multiscale model to no-model or an implicit model approach is presented via numerical results. In addition, we present a novel approach for turbulent modeling in wall-bounded flows. This new technique provides a more accurate representation of the actual subgrid scales in the near wall region and gives promising results for highly under-resolved flow problems. In this paper, the turbulent channel flow and periodic hill flow problem are considered as benchmarks for our simulations. △ Less

Submitted 4 January, 2023; originally announced January 2023.

Strategyproofness and Proportionality in Party-Approval Multiwinner Elections

Authors: Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer

Abstract: In party-approval multiwinner elections the goal is to allocate the seats of a fixed-size committee to parties based on the approval ballots of the voters over the parties. In particular, each voter can approve multiple parties and each party can be assigned multiple seats. Two central requirements in this setting are proportional representation and strategyproofness. Intuitively, proportional rep… ▽ More In party-approval multiwinner elections the goal is to allocate the seats of a fixed-size committee to parties based on the approval ballots of the voters over the parties. In particular, each voter can approve multiple parties and each party can be assigned multiple seats. Two central requirements in this setting are proportional representation and strategyproofness. Intuitively, proportional representation requires that every sufficiently large group of voters with similar preferences is represented in the committee. Strategyproofness demands that no voter can benefit by misreporting her true preferences. We show that these two axioms are incompatible for anonymous party-approval multiwinner voting rules, thus proving a far-reaching impossibility theorem. The proof of this result is obtained by formulating the problem in propositional logic and then letting a SAT solver show that the formula is unsatisfiable. Additionally, we demonstrate how to circumvent this impossibility by considering a weakening of strategy\-proofness which requires that only voters who do not approve any elected party cannot manipulate. While most common voting rules fail even this weak notion of strategyproofness, we characterize Chamberlin--Courant approval voting within the class of Thiele rules based on this strategyproofness notion. △ Less

Submitted 24 November, 2022; originally announced November 2022.

Comments: Appears in the 37th AAAI Conference on Artificial Intelligence (AAAI), 2023

A conforming auxiliary space preconditioner for the mass conserving mixed stress method

Authors: Lukas Kogler, Philip L. Lederer, Joachim Schöberl

Abstract: We are studying the efficient solution of the system of linear equation stemming from the mass conserving mixed stress (MCS) method discretization of the Stokes equations. To that end we perform static condensation to arrive at a system for the pressure and velocity unknowns. An auxiliary space preconditioner for the positive definite velocity block makes use of efficient and scalable solvers for… ▽ More We are studying the efficient solution of the system of linear equation stemming from the mass conserving mixed stress (MCS) method discretization of the Stokes equations. To that end we perform static condensation to arrive at a system for the pressure and velocity unknowns. An auxiliary space preconditioner for the positive definite velocity block makes use of efficient and scalable solvers for conforming Finite Element spaces of low order and is analyzed with emphasis placed on the polynomial degree of the discretization. Numerical experiments demonstrate the potential of this approach and the efficiency of the implementation. △ Less

Submitted 18 July, 2022; originally announced July 2022.

MSC Class: 65N30; 76D07; 65F08

Analysis of Weakly Symmetric Mixed Finite Elements for Elasticity

Authors: Philip L. Lederer, Rolf Stenberg

Abstract: We consider mixed finite element methods for linear elasticity where the symmetry of the stress tensor is weakly enforced. Both an a priori and a posteriori error analysis are given for several known families of methods that are uniformly valid in the incompressible limit. A posteriori estimates are derived for both the compressible and incompressible cases. The results are verified by numerical e… ▽ More We consider mixed finite element methods for linear elasticity where the symmetry of the stress tensor is weakly enforced. Both an a priori and a posteriori error analysis are given for several known families of methods that are uniformly valid in the incompressible limit. A posteriori estimates are derived for both the compressible and incompressible cases. The results are verified by numerical examples. △ Less

Submitted 31 January, 2023; v1 submitted 29 June, 2022; originally announced June 2022.

MSC Class: 65N30; 74S05; 74B05; 74G15

Mixed finite elements for Bingham flow in a pipe

Authors: Tom Gustafsson, Philip L. Lederer

Abstract: We consider mixed finite element approximations of viscous, plastic Bingham flow in a cylindrical pipe. A novel a priori and a posteriori error analysis is introduced which is based on a discrete mesh dependent norm for the normalized Lagrange multiplier. This allows proving stability for various conforming finite elements. Numerical examples are presented to support the theory and to demonstrate… ▽ More We consider mixed finite element approximations of viscous, plastic Bingham flow in a cylindrical pipe. A novel a priori and a posteriori error analysis is introduced which is based on a discrete mesh dependent norm for the normalized Lagrange multiplier. This allows proving stability for various conforming finite elements. Numerical examples are presented to support the theory and to demonstrate adaptive mesh refinement. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Hybridized Discontinuous Galerkin Methods for a Multiple Network Poroelasticity Model with Medical Applications

Authors: Johannes Kraus, Philip L. Lederer, Maria Lymbery, Kevin Osthues, Joachim Schöberl

Abstract: The quasi-static multiple network poroelastic theory (MPET) model, first introduced in the context of geomechanics, has recently found new applications in medicine. In practice, the parameters in the MPET equations can vary over several orders of magnitude which makes their stable discretization and fast solution a challenging task. Here, a new efficient parameter-robust hybridized discontinuous G… ▽ More The quasi-static multiple network poroelastic theory (MPET) model, first introduced in the context of geomechanics, has recently found new applications in medicine. In practice, the parameters in the MPET equations can vary over several orders of magnitude which makes their stable discretization and fast solution a challenging task. Here, a new efficient parameter-robust hybridized discontinuous Galerkin method, which also features fluid mass conservation, is proposed for the MPET model. Its stability analysis which is crucial for the well-posedness of the discrete problem is performed and cost-efficient fast parameter-robust preconditioners are derived. We present a series of numerical computations for a 4-network MPET model of a human brain which support the performance of the new algorithms. △ Less

Submitted 13 May, 2022; originally announced May 2022.

MSC Class: 76S05; 65M60; 74F10

Incentives in Social Decision Schemes with Pairwise Comparison Preferences

Authors: Felix Brandt, Patrick Lederer, Warut Suksompong

Abstract: Social decision schemes (SDSs) map the ordinal preferences of individual voters over multiple alternatives to a probability distribution over the alternatives. In order to study the axiomatic properties of SDSs, we lift preferences over alternatives to preferences over lotteries using the natural -- but little understood -- pairwise comparison (PC) preference extension. This extension postulates t… ▽ More Social decision schemes (SDSs) map the ordinal preferences of individual voters over multiple alternatives to a probability distribution over the alternatives. In order to study the axiomatic properties of SDSs, we lift preferences over alternatives to preferences over lotteries using the natural -- but little understood -- pairwise comparison (PC) preference extension. This extension postulates that one lottery is preferred to another if the former is more likely to return a preferred outcome. We settle three open questions raised by Brandt (2017): (i) there is no Condorcet-consistent SDS that satisfies PC-strategyproofness; (ii) there is no anonymous and neutral SDS that satisfies PC-efficiency and PC-strategyproofness; and (iii) there is no anonymous and neutral SDS that satisfies PC-efficiency and strict PC-participation. All three impossibilities require $m\geq 4$ alternatives and turn into possibilities when $m\leq 3$. We furthermore settle an open problem raised by Aziz et al. (2015) by showing that no path of PC-improvements originating from an in △ Less

Submitted 23 November, 2022; v1 submitted 26 April, 2022; originally announced April 2022.

Comments: A preliminary version appeared in the 31st International Joint Conference on Artificial Intelligence (IJCAI), 2022. The current version is significantly extended

A note on asymptotically exact a posteriori error estimates for mixed Laplace eigenvalue problems

Authors: Philip L. Lederer

Abstract: We derive optimal and asymptotically exact a posteriori error estimates for the approximation of the Laplace eigenvalue problem. To do so, we combine two results from the literature. First, we use the hypercircle techniques developed for mixed eigenvalue approximations with Raviart-Thomas Finite elements. In addition, we use the post-processings introduced for the eigenvalue and eigenfunction base… ▽ More We derive optimal and asymptotically exact a posteriori error estimates for the approximation of the Laplace eigenvalue problem. To do so, we combine two results from the literature. First, we use the hypercircle techniques developed for mixed eigenvalue approximations with Raviart-Thomas Finite elements. In addition, we use the post-processings introduced for the eigenvalue and eigenfunction based on mixed approximations with the Brezzi-Douglas-Marini Finite element. To combine these approaches, we define a novel additional local post-processing for the fluxes that appropriately modifies the divergence. Consequently, the new flux can be used to derive upper bounds and still shows good approximation properties. Numerical examples validate the theory and motivate the use of an adaptive mesh refinement. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Relaxed Notions of Condorcet-Consistency and Efficiency for Strategyproof Social Decision Schemes

Authors: Felix Brandt, Patrick Lederer, René Romen

Abstract: Social decision schemes (SDSs) map the preferences of a group of voters over some set of $m$ alternatives to a probability distribution over the alternatives. A seminal characterization of strategyproof SDSs by Gibbard implies that there are no strategyproof Condorcet extensions and that only random dictatorships satisfy ex post efficiency and strategyproofness. The latter is known as the random d… ▽ More Social decision schemes (SDSs) map the preferences of a group of voters over some set of $m$ alternatives to a probability distribution over the alternatives. A seminal characterization of strategyproof SDSs by Gibbard implies that there are no strategyproof Condorcet extensions and that only random dictatorships satisfy ex post efficiency and strategyproofness. The latter is known as the random dictatorship theorem. We relax Condorcet-consistency and ex post efficiency by introducing a lower bound on the probability of Condorcet winners and an upper bound on the probability of Pareto-dominated alternatives, respectively. We then show that the SDS that assigns probabilities proportional to Copeland scores is the only anonymous, neutral, and strategyproof SDS that can guarantee the Condorcet winner a probability of at least 2/m. Moreover, no strategyproof SDS can exceed this bound, even when drop** anonymity and neutrality. Secondly, we prove a continuous strengthening of Gibbard's random dictatorship theorem: the less probability we put on Pareto-dominated alternatives, the closer to a random dictatorship is the resulting SDS. Finally, we show that the only anonymous, neutral, and strategyproof SDSs that maximize the probability of Condorcet winners while minimizing the probability of Pareto-dominated alternatives are mixtures of the uniform random dictatorship and the randomized Copeland rule. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Comments: 18 pages, to be published in Proc. of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022)

Divergence-conforming velocity and vorticity approximations for incompressible fluids obtained with minimal facet coupling

Authors: Jay Gopalakrishnan, Lukas Kogler, Philip L. Lederer, Joachim Schöberl

Abstract: We introduce two new lowest order methods, a mixed method, and a hybrid Discontinuous Galerkin (HDG) method, for the approximation of incompressible flows. Both methods use divergence-conforming linear Brezzi-Douglas-Marini space for approximating the velocity and the lowest order Raviart-Thomas space for approximating the vorticity. Our methods are based on the physically correct viscous stress t… ▽ More We introduce two new lowest order methods, a mixed method, and a hybrid Discontinuous Galerkin (HDG) method, for the approximation of incompressible flows. Both methods use divergence-conforming linear Brezzi-Douglas-Marini space for approximating the velocity and the lowest order Raviart-Thomas space for approximating the vorticity. Our methods are based on the physically correct viscous stress tensor of the fluid, involving the symmetric gradient of velocity (rather than the gradient), provide exactly divergence-free discrete velocity solutions, and optimal error estimates that are also pressure robust. We explain how the methods are constructed using the minimal number of coupling degrees of freedom per facet. The stability analysis of both methods are based on a Korn-like inequality for vector finite elements with continuous normal component. Numerical examples illustrate the theoretical findings and offer comparisons of condition numbers between the two new methods. △ Less

Submitted 2 April, 2023; v1 submitted 30 November, 2021; originally announced December 2021.

Energy norm analysis of exactly symmetric mixed finite elements for linear elasticity

Authors: Philip L. Lederer, Rolf Stenberg

Abstract: We consider mixed finite element methods with exact symmetric stress tensors. We derive a new quasi-optimal a priori error estimate uniformly valid with respect to the compressibility. For the a posteriori error analysis we consider the Prager-Synge hypercircle principle and introduce a new estimate uniformly valid in the incompressible limit. All estimates are validated by numerical examples. We consider mixed finite element methods with exact symmetric stress tensors. We derive a new quasi-optimal a priori error estimate uniformly valid with respect to the compressibility. For the a posteriori error analysis we consider the Prager-Synge hypercircle principle and introduce a new estimate uniformly valid in the incompressible limit. All estimates are validated by numerical examples. △ Less

Submitted 23 August, 2022; v1 submitted 26 November, 2021; originally announced November 2021.

MSC Class: 65N30; 74S05; 74B05; 74G15

Characterizing the Top Cycle via Strategyproofness

Authors: Felix Brandt, Patrick Lederer

Abstract: Gibbard and Satterthwaite have shown that the only single-valued social choice functions (SCFs) that satisfy non-imposition (i.e., the function's range coincides with its codomain) and strategyproofness (i.e., voters are never better off by misrepresenting their preferences) are dictatorships. In this paper, we consider set-valued social choice correspondences (SCCs) that are strategyproof accordi… ▽ More Gibbard and Satterthwaite have shown that the only single-valued social choice functions (SCFs) that satisfy non-imposition (i.e., the function's range coincides with its codomain) and strategyproofness (i.e., voters are never better off by misrepresenting their preferences) are dictatorships. In this paper, we consider set-valued social choice correspondences (SCCs) that are strategyproof according to Fishburn's preference extension and, in particular, the top cycle, an attractive SCC that returns the maximal elements of the transitive closure of the weak majority relation. Our main theorem implies that, under mild conditions, the top cycle is the only non-imposing strategyproof SCC whose outcome only depends on the quantified pairwise comparisons between alternatives. This result effectively turns the Gibbard-Satterthwaite impossibility into a complete characterization of the top cycle by moving from SCFs to SCCs. It is obtained as a corollary of a more general characterization of strategyproof SCCs. △ Less

Submitted 19 June, 2023; v1 submitted 10 August, 2021; originally announced August 2021.

Comments: This paper is published at Theoretical Economics: https://econtheory.org/ojs/index.php/te/article/view/5120

On the Indecisiveness of Kelly-Strategyproof Social Choice Functions

Authors: Felix Brandt, Martin Bullinger, Patrick Lederer

Abstract: Social choice functions (SCFs) map the preferences of a group of agents over some set of alternatives to a non-empty subset of alternatives. The Gibbard-Satterthwaite theorem has shown that only extremely restrictive SCFs are strategyproof when there are more than two alternatives. For set-valued SCFs, or so-called social choice correspondences, the situation is less clear. There are miscellaneous… ▽ More Social choice functions (SCFs) map the preferences of a group of agents over some set of alternatives to a non-empty subset of alternatives. The Gibbard-Satterthwaite theorem has shown that only extremely restrictive SCFs are strategyproof when there are more than two alternatives. For set-valued SCFs, or so-called social choice correspondences, the situation is less clear. There are miscellaneous - mostly negative - results using a variety of strategyproofness notions and additional requirements. The simple and intuitive notion of Kelly-strategyproofness has turned out to be particularly compelling because it is weak enough to still allow for positive results. For example, the Pareto rule is strategyproof even when preferences are weak, and a number of attractive SCFs (such as the top cycle, the uncovered set, and the essential set) are strategyproof for strict preferences. In this paper, we show that, for weak preferences, only indecisive SCFs can satisfy strategyproofness. In particular, (i) every strategyproof rank-based SCF violates Pareto-optimality, (ii) every strategyproof support-based SCF (which generalize Fishburn's C2 SCFs) that satisfies Pareto-optimality returns at least one most preferred alternative of every voter, and (iii) every strategyproof non-imposing SCF returns the Condorcet loser in at least one profile. We also discuss the consequences of these results for randomized social choice. △ Less

Submitted 29 March, 2022; v1 submitted 31 January, 2021; originally announced February 2021.

Comments: Appears in: Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2021

Journal ref: Journal of Artificial Intelligence Research, 73:1093-1130 (2022)

Uniformly well-posed hybridized discontinuous Galerkin/hybrid mixed discretizations for Biot's consolidation model

Authors: Johannes Kraus, Philip L. Lederer, Maria Lymbery, Joachim Schöberl

Abstract: We consider the quasi-static Biot's consolidation model in a three-field formulation with the three unknown physical quantities of interest being the displacement $\boldsymbol{u}$ of the solid matrix, the seepage velocity $\boldsymbol{v}$ of the fluid and the pore pressure $p$. As conservation of fluid mass is a leading physical principle in poromechanics, we preserve this property using an… ▽ More We consider the quasi-static Biot's consolidation model in a three-field formulation with the three unknown physical quantities of interest being the displacement $\boldsymbol{u}$ of the solid matrix, the seepage velocity $\boldsymbol{v}$ of the fluid and the pore pressure $p$. As conservation of fluid mass is a leading physical principle in poromechanics, we preserve this property using an $\boldsymbol{H}(\operatorname{div})$-conforming ansatz for $\boldsymbol{u}$ and $\boldsymbol{v}$ together with an appropriate pressure space. This results in Stokes and Darcy stability and exact, that is, pointwise mass conservation of the discrete model. The proposed discretization technique combines a hybridized discontinuous Galerkin method for the elasticity subproblem with a mixed method for the flow subproblem, also handled by hybridization. The latter allows for a static condensation step to eliminate the seepage velocity from the system while preserving mass conservation. The system to be solved finally only contains degrees of freedom related to $\boldsymbol{u}$ and $p$ resulting from the hybridization process and thus provides, especially for higher-order approximations, a very cost-efficient family of physics-oriented space discretizations for poroelasticity problems. We present the construction of the discrete model, theoretical results related to its uniform well-posedness along with optimal error estimates and parameter-robust preconditioners as a key tool for develo** uniformly convergent iterative solvers. Finally, the cost-efficiency of the proposed approach is illustrated in a series of numerical tests for three-dimensional test cases. △ Less

Submitted 15 December, 2020; originally announced December 2020.

MSC Class: 65F10; 65N20; 65N30; 35Q35; 86Axx; 65F08; 65M12

Guaranteed upper bounds for the velocity error of pressure-robust Stokes discretisations

Authors: Philip L. Lederer, Christian Merdon

Abstract: This paper aims to improve guaranteed error control for the Stokes problem with a focus on pressure-robustness, i.e. for discretisations that compute a discrete velocity that is independent of the exact pressure. A Prager--Synge type result relates the velocity errors of divergence-free primal and perfectly equilibrated dual mixed methods for the velocity stress. The first main result of the paper… ▽ More This paper aims to improve guaranteed error control for the Stokes problem with a focus on pressure-robustness, i.e. for discretisations that compute a discrete velocity that is independent of the exact pressure. A Prager--Synge type result relates the velocity errors of divergence-free primal and perfectly equilibrated dual mixed methods for the velocity stress. The first main result of the paper is a framework with relaxed constraints on the primal and dual method. This enables to use a recently developed mass conserving mixed stress discretisation for the design of equilibrated fluxes and to obtain pressure-independent guaranteed upper bounds for any pressure-robust (not necessarily divergence-free) primal discretisation. The second main result is a provably efficient local design of the equilibrated fluxes with comparably low numerical costs. Numerical examples verify the theoretical findings and show that efficiency indices of our novel guaranteed upper bounds are close to one. △ Less

Submitted 21 June, 2021; v1 submitted 13 August, 2020; originally announced August 2020.

MSC Class: 65N15; 65N30; 76D07; 76M10

A Case Study of a Scientific Blunder. History and Philosophical Teachings

Authors: Pascal Lederer

Abstract: In 1988, in cooperation with a team of experimental physicists, a Condensed Matter theorist, X, published in Physical Review Letters a crucial experimental result dealing with a revolutionary new theory. The conclusions of the paper were proved incorrect a few months later. I discuss the various factors -- scientific, instrumental, but also psychological, sociological ones -- which led to this blu… ▽ More In 1988, in cooperation with a team of experimental physicists, a Condensed Matter theorist, X, published in Physical Review Letters a crucial experimental result dealing with a revolutionary new theory. The conclusions of the paper were proved incorrect a few months later. I discuss the various factors -- scientific, instrumental, but also psychological, sociological ones -- which led to this blunder. I believe this story sheds some light on the process of scientific discovery, explanation, falsification, confirmation, and errors. △ Less

Submitted 1 June, 2021; v1 submitted 24 July, 2020; originally announced July 2020.

Comments: The new version has 15 pages. I have changed significant

A Hellan-Herrmann-Johnson-like method for the stream function formulation of the Stokes equations in two and three space dimensions

Authors: Philip L. Lederer

Abstract: We introduce a new discretization for the stream function formulation of the incompressible Stokes equations in two and three space dimensions. The method is strongly related to the Hellan-Herrmann-Johnson method and is based on the recently discovered mass conserving mixed stress formulation [J. Gopalakrishnan, P.L. Lederer, J. Schöberl, IMA Journal of numerical Analysis, 2019] that approximates… ▽ More We introduce a new discretization for the stream function formulation of the incompressible Stokes equations in two and three space dimensions. The method is strongly related to the Hellan-Herrmann-Johnson method and is based on the recently discovered mass conserving mixed stress formulation [J. Gopalakrishnan, P.L. Lederer, J. Schöberl, IMA Journal of numerical Analysis, 2019] that approximates the velocity in an $H(\operatorname{div})$-conforming space and introduces a new stress-like variable for the approximation of the gradient of the velocity within the function space $H(\operatorname{curl}\operatorname{div})$. The properties of the (discrete) de Rham complex allows to extend this method to a stream function formulation in two and three space dimensions. We present a detailed stability analysis in the continuous and the discrete setting where the stream function $ψ$ and its approximation $ψ_h$ are elements of $H(\operatorname{curl})$ and the $H(\operatorname{curl})$-conforming Nédélec finite element space, respectively. We conclude with an error analysis revealing optimal convergence rates for the error of the discrete velocity $u_h = \operatorname{curl}(ψ_h)$ measured in a discrete $H^1$-norm. We present numerical examples to validate our findings and discuss structure-preserving properties such as pressure-robustness. △ Less

Submitted 17 May, 2020; v1 submitted 13 May, 2020; originally announced May 2020.

MSC Class: 65N12; 65N15; 65N30; 76D07; 76M10

A pressure-robust embedded discontinuous Galerkin method for the Stokes problem by reconstruction operators

Authors: Philip L. Lederer, Sander Rhebergen

Abstract: The embedded discontinuous Galerkin (EDG) finite element method for the Stokes problem results in a point-wise divergence-free approximate velocity on cells. However, the approximate velocity is not H(div)-conforming and it can be shown that this is the reason that the EDG method is not pressure-robust, i.e., the error in the velocity depends on the continuous pressure. In this paper we present a… ▽ More The embedded discontinuous Galerkin (EDG) finite element method for the Stokes problem results in a point-wise divergence-free approximate velocity on cells. However, the approximate velocity is not H(div)-conforming and it can be shown that this is the reason that the EDG method is not pressure-robust, i.e., the error in the velocity depends on the continuous pressure. In this paper we present a local reconstruction operator that maps discretely divergence-free test functions to exactly divergence-free test functions. This local reconstruction operator restores pressure-robustness by only changing the right hand side of the discretization, similar to the reconstruction operator recently introduced for the Taylor--Hood and mini elements by Lederer et al. (SIAM J. Numer. Anal., 55 (2017), pp. 1291--1314). We present an a priori error analysis of the discretization showing optimal convergence rates and pressure-robustness of the velocity error. These results are verified by numerical examples. The motivation for this research is that the resulting EDG method combines the versatility of discontinuous Galerkin methods with the computational efficiency of continuous Galerkin methods and accuracy of pressure-robust finite element methods. △ Less

Submitted 12 February, 2020; originally announced February 2020.

MSC Class: 65N12; 65N15; 65N30; 76D07; 76M10

Divergence-free tangential finite element methods for incompressible flows on surfaces

Authors: Philip L. Lederer, Christoph Lehrenfeld, Joachim Schöberl

Abstract: In this work we consider the numerical solution of incompressible flows on two-dimensional manifolds. Whereas the compatibility demands of the velocity and the pressure spaces are known from the flat case one further has to deal with the approximation of a velocity field that lies only in the tangential space of the given geometry. Abandoning $H^1$-conformity allows us to construct finite elements… ▽ More In this work we consider the numerical solution of incompressible flows on two-dimensional manifolds. Whereas the compatibility demands of the velocity and the pressure spaces are known from the flat case one further has to deal with the approximation of a velocity field that lies only in the tangential space of the given geometry. Abandoning $H^1$-conformity allows us to construct finite elements which are -- due to an application of the Piola transformation -- exactly tangential. To reintroduce continuity (in a weak sense) we make use of (hybrid) discontinuous Galerkin techniques. To further improve this approach, $H(\operatorname{div}_Γ)$-conforming finite elements can be used to obtain exactly divergence-free velocity solutions. We present several new finite element discretizations. On a number of numerical examples we examine and compare their qualitative properties and accuracy. △ Less

Submitted 19 December, 2019; v1 submitted 13 September, 2019; originally announced September 2019.

Comments: 30 pages, 16 figures, 1 table

Journal ref: International Journal for Numerical Methods in Engineering, 2020

A mass conserving mixed stress formulation for Stokes flow with weakly imposed stress symmetry

Authors: Jay Gopalakrishnan, Philip L. Lederer, Joachim Schöberl

Abstract: We introduce a new discretization of a mixed formulation of the incompressible Stokes equations that includes symmetric viscous stresses. The method is built upon a mass conserving mixed formulation that we recently studied. The improvement in this work is a new method that directly approximates the viscous fluid stress $σ$, enforcing its symmetry weakly. The finite element space in which the stre… ▽ More We introduce a new discretization of a mixed formulation of the incompressible Stokes equations that includes symmetric viscous stresses. The method is built upon a mass conserving mixed formulation that we recently studied. The improvement in this work is a new method that directly approximates the viscous fluid stress $σ$, enforcing its symmetry weakly. The finite element space in which the stress is approximated consists of matrix-valued functions having continuous "normal-tangential" components across element interfaces. Stability is achieved by adding certain matrix bubbles that were introduced earlier in the literature on finite elements for linear elasticity. Like the earlier work, the new method here approximates the fluid velocity $u$ using $H(\operatorname{div})$-conforming finite elements, thus providing exact mass conservation. Our error analysis shows optimal convergence rates for the pressure and the stress variables. An additional post processing yields an optimally convergent velocity satisfying exact mass conservation. The method is also pressure robust. △ Less

Submitted 1 March, 2019; v1 submitted 14 January, 2019; originally announced January 2019.

A mass conserving mixed stress formulation for the Stokes equations

Authors: Jay Gopalakrishnan, Philip L. Lederer, Joachim Schöberl

Abstract: We propose a new discretization of a mixed stress formulation of the Stokes equations. The velocity $u$ is approximated with $H(\operatorname{div})$-conforming finite elements providing exact mass conservation. While many standard methods use $H^1$-conforming spaces for the discrete velocity, $H(\operatorname{div})$-conformity fits the considered variational formulation in this work. A new stress-… ▽ More We propose a new discretization of a mixed stress formulation of the Stokes equations. The velocity $u$ is approximated with $H(\operatorname{div})$-conforming finite elements providing exact mass conservation. While many standard methods use $H^1$-conforming spaces for the discrete velocity, $H(\operatorname{div})$-conformity fits the considered variational formulation in this work. A new stress-like variable $σ$ equalling the gradient of the velocity is set within a new function space $H(\operatorname{curl} \operatorname{div})$. New matrix-valued finite elements having continuous "normal-tangential" components are constructed to approximate functions in $H(\operatorname{curl} \operatorname{div})$. An error analysis concludes with optimal rates of convergence for errors in $u$ (measured in a discrete $H^1$-norm), errors in $σ$ (measured in $L^2$) and the pressure $p$ (also measured in $L^2$). The exact mass conservation property is directly related to another structure-preservation property called pressure robustness, as shown by pressure-independent velocity error estimates. The computational cost measured in terms of interface degrees of freedom is comparable to old and new Stokes discretizations. △ Less

Submitted 19 June, 2018; originally announced June 2018.

Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity for incompressible flows. Part II

Authors: Philip L. Lederer, Christoph Lehrenfeld, Joachim Schöberl

Abstract: The present work is the second part of a pair of papers, considering Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity. The first part mainly dealt with presenting a robust analysis with respect to the mesh size $h$ and the introduction of a reconstruction operator to restore divergence-conformity and pressure robustness using a non conforming right hand side. The aim of this pa… ▽ More The present work is the second part of a pair of papers, considering Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity. The first part mainly dealt with presenting a robust analysis with respect to the mesh size $h$ and the introduction of a reconstruction operator to restore divergence-conformity and pressure robustness using a non conforming right hand side. The aim of this part is the presentation of a high order polynomial robust analysis for the relaxed $H(\operatorname{div})$-conforming Hybrid Discontinuous Galerkin discretization of the two dimensional Stokes problem. It is based on the recently proven polynomial robust LBB-condition for BDM elements [P. L. Lederer, J. Schöberl, IMA Journal of Numerical Analysis, 2017] and is derived by a direct approach instead of using a best approximation Céa like result. We further treat the impact of the reconstruction operator on the $hp$ analysis and present a numerical investigation considering polynomial robustness. We conclude the paper presenting an efficient operator splitting time integration scheme for the Navier--Stokes equations which is based on the methods recently presented in [C. Lehrenfeld, J. Schöberl, \emph{Comp. Meth. Appl. Mech. Eng.}, 361 (2016)] and includes the ideas of the reconstruction operator. △ Less

Submitted 17 May, 2018; originally announced May 2018.

MSC Class: 35Q30; 65N12; 65N22; 65N30

On reference solutions and the sensitivity of the 2D Kelvin-Helmholtz instability problem

Authors: Philipp W. Schroeder, Volker John, Philip L. Lederer, Christoph Lehrenfeld, Gert Lube, Joachim Schöberl

Abstract: Two-dimensional Kelvin-Helmholtz instability problems are popular examples for assessing discretizations for incompressible flows at high Reynolds number. Unfortunately, the results in the literature differ considerably. This paper presents computational studies of a Kelvin-Helmholtz instability problem with high order divergence-free finite element methods. Reference results in several quantities… ▽ More Two-dimensional Kelvin-Helmholtz instability problems are popular examples for assessing discretizations for incompressible flows at high Reynolds number. Unfortunately, the results in the literature differ considerably. This paper presents computational studies of a Kelvin-Helmholtz instability problem with high order divergence-free finite element methods. Reference results in several quantities of interest are obtained for three different Reynolds numbers up to the beginning of the final vortex pairing. A mesh-independent prediction of the final pairing is not achieved due to the sensitivity of the considered problem with respect to small perturbations. A theoretical explanation of this sensitivity to small perturbations is provided based on the theory of self-organization of 2D turbulence. Possible sources of perturbations that arise in almost any numerical simulation are discussed. △ Less

Submitted 20 November, 2018; v1 submitted 19 March, 2018; originally announced March 2018.

Comments: 24 pages, 12 figures, 2 tables

Journal ref: Comput. Math. Appl., 77(4):1010-1028, 2019

Refined a posteriori error estimation for classical and pressure-robust Stokes finite element methods

Authors: P. L. Lederer, C. Merdon, J. Schöberl

Abstract: Recent works showed that pressure-robust modifications of mixed finite element methods for the Stokes equations outperform their standard versions in many cases. This is achieved by divergence-free reconstruction operators and results in pressure independent velocity error estimates which are robust with respect to small viscosities. In this paper we develop a posteriori error control which reflec… ▽ More Recent works showed that pressure-robust modifications of mixed finite element methods for the Stokes equations outperform their standard versions in many cases. This is achieved by divergence-free reconstruction operators and results in pressure independent velocity error estimates which are robust with respect to small viscosities. In this paper we develop a posteriori error control which reflects this robustness. The main difficulty lies in the volume contribution of the standard residual-based approach that includes the $L^2$-norm of the right-hand side. However, the velocity is only steered by the divergence-free part of this source term. An efficient error estimator must approximate this divergence-free part in a proper manner, otherwise it can be dominated by the pressure error. To overcome this difficulty a novel approach is suggested that uses arguments from the stream function and vorticity formulation of the Navier--Stokes equations. The novel error estimators only take the $\mathrm{curl}$ of the right-hand side into account and so lead to provably reliable, efficient and pressure-independent upper bounds in case of a pressure-robust method in particular in pressure-dominant situations. This is also confirmed by some numerical examples with the novel pressure-robust modifications of the Taylor--Hood and mini finite element methods. △ Less

Submitted 5 December, 2017; originally announced December 2017.

MSC Class: 65N15; 65N30; 76D07; 76M10

Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity for incompressible flows. Part I

Authors: Philip L. Lederer, Christoph Lehrenfeld, Joachim Schöberl

Abstract: We propose a new discretization method for the Stokes equations. The method is an improved version of the method recently presented in [C. Lehrenfeld, J. Schöberl, Comp. Meth. Appl. Mech. Eng., 361 (2016)] which is based on an $H(\operatorname{div})$-conforming finite element space and a Hybrid Discontinuous Galerkin (HDG) formulation of the viscous forces. $H(\operatorname{div})$-conformity resul… ▽ More We propose a new discretization method for the Stokes equations. The method is an improved version of the method recently presented in [C. Lehrenfeld, J. Schöberl, Comp. Meth. Appl. Mech. Eng., 361 (2016)] which is based on an $H(\operatorname{div})$-conforming finite element space and a Hybrid Discontinuous Galerkin (HDG) formulation of the viscous forces. $H(\operatorname{div})$-conformity results in favourable properties such as pointwise divergence free solutions and pressure-robustness. However, for the approximation of the velocity with a polynomial degree $k$ it requires unknowns of degree $k$ on every facet of the mesh. In view of the superconvergence property of other HDG methods, where only unknowns of polynomial degree $k-1$ on the facets are required to obtain an accurate polynomial approximation of order $k$ (possibly after a local post-processing) this is sub-optimal. The key idea in this paper is to slightly relax the $H(\operatorname{div})$-conformity so that only unknowns of polynomial degree $k-1$ are involved for normal-continuity. This allows for optimality of the method also in the sense of superconvergent HDG methods. In order not to loose the benefits of $H(\operatorname{div})$-conformity we introduce a cheap reconstruction operator which restores pressure-robustness and pointwise divergence free solutions and suits well to the finite element space with relaxed $H(\operatorname{div})$-conformity. We present this new method, carry out a thorough $h$-version error analysis and demonstrate the performance of the method on numerical examples. △ Less

Submitted 28 March, 2018; v1 submitted 10 July, 2017; originally announced July 2017.

Comments: 27 pages, 3 figures, 1 table

MSC Class: 35Q30; 65N12; 65N22; 65N30

Polynomial robust stability analysis for $H(\textrm{div})$-conforming finite elements for the Stokes equations

Authors: Philip L. Lederer, Joachim Schöberl

Abstract: In this work we consider a discontinuous Galerkin method for the discretization of the Stokes problem. We use $H(\textrm{div})$-conforming finite elements as they provide major benefits such as exact mass conservation and pressure-independent error estimates. The main aspect of this work lies in the analysis of high order approximations. We show that the considered method is uniformly stable with… ▽ More In this work we consider a discontinuous Galerkin method for the discretization of the Stokes problem. We use $H(\textrm{div})$-conforming finite elements as they provide major benefits such as exact mass conservation and pressure-independent error estimates. The main aspect of this work lies in the analysis of high order approximations. We show that the considered method is uniformly stable with respect to the polynomial order $k$ and provides optimal error estimates $ \| \boldsymbol{u} - \boldsymbol{u}_h \|_{1_h} + \| Π^{Q_h}p-p_h \| \le c \left( h/k \right)^s \| \boldsymbol{u} \|_{s+1} $. To derive those estimates, we prove a $k$-robust LBB condition. This proof is based on a polynomial $H^2$-stable extension operator. This extension operator itself is of interest for the numerical analysis of $C^0$-continuous discontinuous Galerkin methods for $4^{th}$ order problems. △ Less

Submitted 5 December, 2016; originally announced December 2016.

Divergence-free Reconstruction Operators for Pressure-Robust Stokes Discretizations With Continuous Pressure Finite Elements

Authors: Philip L. Lederer, Alexander Linke, Christian Merdon, Joachim Schöberl

Abstract: Classical inf-sup stable mixed finite elements for the incompressible (Navier-)Stokes equations are not pressure-robust, i.e., their velocity errors depend on the continuous pressure. However, a modification only in the right hand side of a Stokes discretization is able to reestablish pressure-robustness, as shown recently for several inf-sup stable Stokes elements with discontinuous discrete pres… ▽ More Classical inf-sup stable mixed finite elements for the incompressible (Navier-)Stokes equations are not pressure-robust, i.e., their velocity errors depend on the continuous pressure. However, a modification only in the right hand side of a Stokes discretization is able to reestablish pressure-robustness, as shown recently for several inf-sup stable Stokes elements with discontinuous discrete pressures. In this contribution, this idea is extended to low and high order Taylor-Hood and mini elements, which have continuous discrete pressures. For the modification of the right hand side a velocity reconstruction operator is constructed that maps discretely divergence-free test functions to exactly divergence-free ones. The reconstruction is based on local $H(\mathrm{div})$-conforming flux equilibration on vertex patches, and fulfills certain orthogonality properties to provide consistency and optimal a-priori error estimates. Numerical examples for the incompressible Stokes and Navier-Stokes equations confirm that the new pressure-robust Taylor-Hood and mini elements converge with optimal order and outperform significantly the classical versions of those elements when the continuous pressure is comparably large. △ Less

Submitted 13 September, 2016; originally announced September 2016.

MSC Class: 65N12; 65N30; 76D07; 76D05; 76M10

Nancy Cartwright and the Logic of Quantum Mechanics

Authors: Pascal Lederer

Abstract: This paper deals with Nancy Cartwright's views on the measurement problem in Quantum Mechanics, as exposed in her book {\it{How the Laws of Physics Lie}}. She does not accept the logic of Quantum Mechanics. It is argued that her proposals, which are at variance with many facts results and epistemics of Quantum Mechanics are the result of her choice of classical logic, which leads her to propose th… ▽ More This paper deals with Nancy Cartwright's views on the measurement problem in Quantum Mechanics, as exposed in her book {\it{How the Laws of Physics Lie}}. She does not accept the logic of Quantum Mechanics. It is argued that her proposals, which are at variance with many facts results and epistemics of Quantum Mechanics are the result of her choice of classical logic, which leads her to propose the transition rate as the fundamental object of Quantum Mechanics. I argue that this is incorrect. The positions which Nancy Cartwright defends on the reduction of the wave packet do not address the fundamental issue, i.e. the duality of a world where quantum and classical objects coexist and interact. I suggest that the main problem with Nancy Cartwright's positions is her difficulty in accepting that the contradiction at the basis of Quantum Mechanics, i.e. the simultaneous corpuscular and wave-like nature of quantum objects, is a fact of nature. Recent experiments, described in this paper, shed a new light on the foundations of Quantum Mechanics and on the topic of this paper. The limits of the no-contradiction principle are discussed; modern dialectical materialism is argued to offer a useful framework for the interplay between knowledge and reality. △ Less

Submitted 28 September, 2016; v1 submitted 1 June, 2016; originally announced June 2016.

Comments: 19 pages; title and abstract changes, added section (section 7) entitled "The limits of the no-contradiction principle". New references have also been added

Higher order unfitted FEM for Stokes interface problems

Authors: Philip Lederer, Carl-Martin Pfeiler, Christoph Wintersteiger, Christoph Lehrenfeld

Abstract: We consider the discretization of a stationary Stokes interface problem in a velocity-pressure formulation. The interface is described implicitly as the zero level of a scalar function as it is common in level set based methods. Hence, the interface is not aligned with the mesh. An unfitted finite element discretization based on a Taylor-Hood velocity-pressure pair and an XFEM (or CutFEM) modifica… ▽ More We consider the discretization of a stationary Stokes interface problem in a velocity-pressure formulation. The interface is described implicitly as the zero level of a scalar function as it is common in level set based methods. Hence, the interface is not aligned with the mesh. An unfitted finite element discretization based on a Taylor-Hood velocity-pressure pair and an XFEM (or CutFEM) modification is used for the approximation of the solution. This allows for the accurate approximation of solutions which have strong or weak discontinuities across interfaces which are not aligned with the mesh. To arrive at a consistent, stable and accurate formulation we require several additional techniques. First, a Nitsche-type formulation is used to implement interface conditions in a weak sense. Secondly, we use the ghost penalty stabilization to obtain an inf-sup stable variational formulation. Finally, for the highly accurate approximation of the implicitly described geometry, we use a combination of a piecewise linear interface reconstruction and a parametric map** of the underlying mesh. We introduce the method and discuss results of numerical examples. △ Less

Submitted 13 May, 2016; originally announced May 2016.

Comments: 10 pages, 1 figure, 3 tables

The battle of High Temperature Superconductivity

Authors: Pascal Lederer

Abstract: The early development of conflicting theories about the microscopic mechanism of High Temperature Superconductivity is described. The biographical roots of this diversity are stressed, as well as its subjective/objective roots. This study of a specific case of knowledge about a specific fact of nature allows to discuss the subjective and objective roots of scientific pluralism. Relativism, the Duh… ▽ More The early development of conflicting theories about the microscopic mechanism of High Temperature Superconductivity is described. The biographical roots of this diversity are stressed, as well as its subjective/objective roots. This study of a specific case of knowledge about a specific fact of nature allows to discuss the subjective and objective roots of scientific pluralism. Relativism, the Duhem-Quine thesis on the underdetermination of theory by facts, are discussed from the stand point of the materialist view on the dialectics of knowledge and nature. Developments of dialectic materialism seem to be suggested by this study. △ Less

Submitted 2 December, 2016; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: 25 pages 1 figure. This version replaces a first one with a title mentioning "scientific pluralism". The new version has a new section entitled "The limits of the no-contradiction principle" devoted to an introduction to some basic principles of dialectic materialism

The Quantum Hall Effects: Philosophical Approach

Authors: Pascal Lederer

Abstract: The Quantum Hall Effects offer a rich variety of theoretical and experimental advances. They provide interesting insights on such topics as complementarity, gauge invariance, strong interactions, emergence of new theoretical concepts. This paper focuses on some related philosophical questions. Hacking's views on Scientific Realism, Chalmers' on Non Figurative Realism are discussed. It is argued th… ▽ More The Quantum Hall Effects offer a rich variety of theoretical and experimental advances. They provide interesting insights on such topics as complementarity, gauge invariance, strong interactions, emergence of new theoretical concepts. This paper focuses on some related philosophical questions. Hacking's views on Scientific Realism, Chalmers' on Non Figurative Realism are discussed. It is argued that the difficulties with those versions of realism may be resolved within a dialectical materialist approach. The latter is shown to provide a rational approach to the phenomena, the theory and the ontology of the Quantum Hall Effects. △ Less

Submitted 19 March, 2015; v1 submitted 17 June, 2014; originally announced June 2014.

Comments: 43 pages, 3 figures, revised version, accepted for publication in Studies in History and Philosophy of Modern Physics

Journal ref: Studies in History and Philosophy of Modern Physics, 50, (2015), 25-42

Gauge Symmetry, Spontaneous Breaking of Gauge Symmetry: Philosophical Approach

Authors: Pascal Lederer

Abstract: This paper deals with the Berry phase, and the ontology of the electromagnetic vector potential. When the state of the system is gauge symmetric, the vector potential may be interpreted as a convenient tool of a mathematical formulation, with no ontological meaning. I argue that this interpretation is in difficulty because the vector potential depends linearly on the supercurrent in the superflu… ▽ More This paper deals with the Berry phase, and the ontology of the electromagnetic vector potential. When the state of the system is gauge symmetric, the vector potential may be interpreted as a convenient tool of a mathematical formulation, with no ontological meaning. I argue that this interpretation is in difficulty because the vector potential depends linearly on the supercurrent in the superfluid state, which is a spontaneously broken gauge symmetry state, where particle number is not conserved. I suggest that when gauge symmetry is spontaneously broken, the vector potential becomes an emergent material object of nature. The revised version includes sections on scientific realism, and emergence, and new references on Noether's theorem, among others. △ Less

Submitted 7 November, 2014; v1 submitted 31 January, 2014; originally announced January 2014.

Comments: 29, no figures. The present version includes a section on scientific realism and materialism, mostly based on Hacking's views in "Representing and Intervening". It has a new section on emergence with a discussion of papers by Laughlin and Pines, Batterman, Howard, and Healey. A discussion of Pippard equation is also included

Entanglement Skyrmions in multicomponent quantum Hall systems

Authors: B. Doucot, M. O. Goerbig, P. Lederer, R. Moessner

Abstract: We discuss charged topological spin textures in quantum Hall ferromagnets in which the electrons carry a pseudospin as well as the usual spin degree of freedom, as is the case in bilayer GaAs or monolayer graphene samples. We develop a theory which treats spin and pseudospin on a manifestly equal footing, which may also be of help in visualizing the relevant spin textures. We in particular consi… ▽ More We discuss charged topological spin textures in quantum Hall ferromagnets in which the electrons carry a pseudospin as well as the usual spin degree of freedom, as is the case in bilayer GaAs or monolayer graphene samples. We develop a theory which treats spin and pseudospin on a manifestly equal footing, which may also be of help in visualizing the relevant spin textures. We in particular consider the entanglement of spin and pseudospin in the presence of realistic anisotropies. An entanglement operator is introduced which generates families of degenerate Skyrmions with differing entanglement properties. We propose a local characterization of the latter, and touch on the role entangled Skyrmions play in the nuclear relaxation time of quantum Hall ferromagnets. △ Less

Submitted 6 November, 2008; v1 submitted 2 June, 2008; originally announced June 2008.

Comments: 13 pages, 3 figures; discussion of collective skyrmion modes added; version accepted for publication in Phys. Rev. B

Journal ref: Phys. Rev. B 78, 195327 (2008)

Impurity scattering in strongly correlated metals close to the Mott transition

Authors: Pascal Lederer, Marcelo J. Rozenberg

Abstract: This work explores a simple approximation to describe isolated impurity scattering in a strongly correlated metal. The approximation combines conventional one electron scattering theory and the Dynamic Mean Field Theory to describe strong correlations in the host. It becomes exact in several limits, including those of very weak and very strong impurity potentials. Original electronic structure a… ▽ More This work explores a simple approximation to describe isolated impurity scattering in a strongly correlated metal. The approximation combines conventional one electron scattering theory and the Dynamic Mean Field Theory to describe strong correlations in the host. It becomes exact in several limits, including those of very weak and very strong impurity potentials. Original electronic structure appears at the impurity site when the impurity potential strength is moderate and the host is close to the Mott transition. Our results may provide useful guidance for interpretation of scanning tunneling microscopy experiments in strongly correlated systems. △ Less

Submitted 11 June, 2007; originally announced June 2007.

Comments: 4 figures

Charge density wave in graphene: magnetic-field-induced Peierls instability

Authors: Jean-Noël Fuchs, Pascal Lederer

Abstract: We suggest that a magnetic-field-induced Peierls instability accounts for the recent experiment of Zhang et al. in which unexpected quantum Hall plateaus were observed at high magnetic fields in graphene on a substrate. This Peierls instability leads to an out-of-plane lattice distortion resulting in a charge density wave (CDW) on sublattices A and B of the graphene honeycomb lattice. We also di… ▽ More We suggest that a magnetic-field-induced Peierls instability accounts for the recent experiment of Zhang et al. in which unexpected quantum Hall plateaus were observed at high magnetic fields in graphene on a substrate. This Peierls instability leads to an out-of-plane lattice distortion resulting in a charge density wave (CDW) on sublattices A and B of the graphene honeycomb lattice. We also discuss alternative microscopic scenarios proposed in the literature and leading to a similar CDW ground state in graphene. △ Less

Submitted 15 December, 2006; originally announced December 2006.

Comments: Proceeding of the "graphene conference" (25 September - 01 October 2006) held in Dresden

Journal ref: The European Physical Journal Special Topics 148 (2007) 151-158

Spontaneous parity breaking of graphene in the quantum Hall regime

Authors: Jean-Noël Fuchs, Pascal Lederer

Abstract: We propose that the inversion symmetry of the graphene honeycomb lattice is spontaneously broken via a magnetic field dependent Peierls distortion. This leads to valley splitting of the $n=0$ Landau level but not of the other Landau levels. Compared to quantum Hall valley ferromagnetism recently discussed in the literature, lattice distortion provides an alternative explanation to all the curren… ▽ More We propose that the inversion symmetry of the graphene honeycomb lattice is spontaneously broken via a magnetic field dependent Peierls distortion. This leads to valley splitting of the $n=0$ Landau level but not of the other Landau levels. Compared to quantum Hall valley ferromagnetism recently discussed in the literature, lattice distortion provides an alternative explanation to all the currently observed quantum Hall plateaus in graphene. △ Less

Submitted 17 November, 2006; v1 submitted 19 July, 2006; originally announced July 2006.

Comments: 4 pages, to appear in Phys. Rev. Lett

Journal ref: Physical review letters 98 (2007) 016803

Second Generation of Composite Fermions and the Self-Similarity of the Fractional Quantum Hall Effect

Authors: M. O. Goerbig, P. Lederer, C. Morais Smith

Abstract: A recently developed model of interacting composite fermions, is used to investigate different composite-fermion phases. Their interaction potential allows for the formation of both solid and new quantum-liquid phases, which are interpreted in terms of second-generation composite fermions and which may be responsible for the fractional quantum Hall states observed at unusual filling factors, suc… ▽ More A recently developed model of interacting composite fermions, is used to investigate different composite-fermion phases. Their interaction potential allows for the formation of both solid and new quantum-liquid phases, which are interpreted in terms of second-generation composite fermions and which may be responsible for the fractional quantum Hall states observed at unusual filling factors, such as nu=4/11. Projection of the composite-fermion dynamics to a single level, involved in the derivation of the Hamiltonian of interacting composite fermions, reveals the underlying self-similarity of the model. △ Less

Submitted 4 October, 2004; v1 submitted 1 September, 2004; originally announced September 2004.

Comments: 4 pages, 1 figure; to appear in "Proceedings of the 16th International Conference on High Magnetic Fields in Semiconductor Physics (SemiMag-16)", only change with respect to v1: correction in authors line, no changes in manuscript

Journal ref: Int. J. Mod. Phys. B 18, Nos. 27-29, 3549 (2004)

Quantum Phases in Partially Filled Landau Levels

Authors: M. O. Goerbig, P. Lederer, C. Morais Smith

Abstract: We compare the energies of different electron solids, such as bubble crystals with triangular and square symmetry and stripe phases, to those of correlated quantum liquids in partially filled intermediate Landau levels. Multiple transitions between these phases when varying the filling of the top-most partially filled Landau level explain the observed reentrance of the integer quantum Hall effec… ▽ More We compare the energies of different electron solids, such as bubble crystals with triangular and square symmetry and stripe phases, to those of correlated quantum liquids in partially filled intermediate Landau levels. Multiple transitions between these phases when varying the filling of the top-most partially filled Landau level explain the observed reentrance of the integer quantum Hall effect. The phase transitions are identified as first-order. This leads to a variety of measurable phenomena such as the phase coexistence between a Wigner crystal and a two-electron bubble phase in a Landau-level filling-factor range $4.15 < nu < 4.26$, which has recently been observed in transport measurements under micro-wave irradiation. △ Less

Submitted 1 September, 2004; originally announced September 2004.

Comments: 6 pages, 2 figures; to appear in "Proceedings of the 16th International Conference on High Magnetic Fields in Semiconductor Physics (SemiMag-16)"

Journal ref: Int. J. Mod. Phys. B 18, Nos. 27-29, 3557 (2004)

Spin-excitations of the quantum Hall ferromagnet of composite fermions

Authors: R. L. Doretto, M. O. Goerbig, P. Lederer, A. O. Caldeira, C. Morais Smith

Abstract: The spin-excitations of a fractional quantum Hall system are evaluated within a bosonization approach. In a first step, we generalize Murthy and Shankar's Hamiltonian theory of the fractional quantum Hall effect to the case of composite fermions with an extra discrete degree of freedom. Here, we mainly investigate the spin degrees of freedom, but the proposed formalism may be useful also in the… ▽ More The spin-excitations of a fractional quantum Hall system are evaluated within a bosonization approach. In a first step, we generalize Murthy and Shankar's Hamiltonian theory of the fractional quantum Hall effect to the case of composite fermions with an extra discrete degree of freedom. Here, we mainly investigate the spin degrees of freedom, but the proposed formalism may be useful also in the study of bilayer quantum-Hall systems, where the layer index may formally be treated as an isospin. In a second step, we apply a bosonization scheme, recently developed for the study of the two-dimensional electron gas, to the interacting composite-fermion Hamiltonian. The dispersion of the bosons, which represent quasiparticle-quasihole excitations, is analytically evaluated for fractional quantum Hall systems at ν= 1/3 and ν= 1/5. The finite width of the two-dimensional electron gas is also taken into account explicitly. In addition, we consider the interacting bosonic model and calculate the lowest-energy state for two bosons. Besides a continuum describing scattering states, we find a bound-state of two bosons. This state is interpreted as a pair excitation, which consists of a skyrmion of composite fermions and an antiskyrmion of composite fermions. The dispersion relation of the two-boson state is evaluated for ν= 1/3 and ν= 1/5. Finally, we show that our theory provides the microscopic basis for a phenomenological non-linear sigma-model for studying the skyrmion of composite fermions. △ Less

Submitted 2 September, 2005; v1 submitted 30 August, 2004; originally announced August 2004.

Comments: Revised version, 14 pages, 4 figures, accepted to Phys. Rev. B

Journal ref: Phys. Rev. B 72, 035341 (2005)

Possible Reentrance of the Fractional Quantum Hall Effect in the Lowest Landau Level

Authors: M. O. Goerbig, P. Lederer, C. Morais Smith

Abstract: In the framework of a recently developed model of interacting composite fermions, we calculate the energy of different solid and Laughlin-type liquid phases of spin-polarized composite fermions. The liquid phases have a lower energy than the competing solids around the electronic filling factors nu=4/11,6/17, and 4/19 and may thus be responsible for the fractional quantum Hall effect at nu=4/11.… ▽ More In the framework of a recently developed model of interacting composite fermions, we calculate the energy of different solid and Laughlin-type liquid phases of spin-polarized composite fermions. The liquid phases have a lower energy than the competing solids around the electronic filling factors nu=4/11,6/17, and 4/19 and may thus be responsible for the fractional quantum Hall effect at nu=4/11. The alternation between solid and liquid phases when varying the magnetic field may lead to reentrance phenomena in analogy with the observed reentrant integral quantum Hall effect. △ Less

Submitted 5 October, 2004; v1 submitted 29 February, 2004; originally announced March 2004.

Comments: 4 pages, 3 figures; revised version accepted for publication in Phys. Rev. Lett

Journal ref: Phys. Rev. Lett. 93, 216802 (2004)