-
Well-posedness of Hibler's parabolic-hyperbolic sea ice model
Authors:
Felix Brandt
Abstract:
This paper proves the local-in-time strong well-posedness of a parabolic-hyperbolic regularized version of Hibler's sea ice model. The latter model is the most frequently used sea ice model in climate science. Lagrangian coordinates are employed to handle the hyperbolic terms in the balance laws. The resulting problem is regarded as a quasilinear non-autonomous evolution equation. Maximal…
▽ More
This paper proves the local-in-time strong well-posedness of a parabolic-hyperbolic regularized version of Hibler's sea ice model. The latter model is the most frequently used sea ice model in climate science. Lagrangian coordinates are employed to handle the hyperbolic terms in the balance laws. The resulting problem is regarded as a quasilinear non-autonomous evolution equation. Maximal $\mathrm{L}^p$-regularity of the underlying linearized problem is obtained on an anisotropic ground space in order to deal with the lack of regularization in the balance laws.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Optimal Budget Aggregation with Single-Peaked Preferences
Authors:
Felix Brandt,
Matthias Greger,
Erel Segal-Halevi,
Warut Suksompong
Abstract:
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 funct…
▽ More
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 swee** 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.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Quantization of Einstein-Cartan theory in the first order form
Authors:
F. T. Brandt,
J. Frenkel,
S. Martins-Filho,
D. G. C. McKeon
Abstract:
We consider the Einstein-Cartan theory with the tetrad $e_μ^{a}$ and spin connection $ω_{μab}$ taken as being independent fields. Diffeomorphism invariance and local Lorentz invariance result in there being two distinct gauge transformations in this approach, and consequently two ghost fields arise when employing the usual Faddeev-Popov quantization procedure. Our choice of gauge fixing retains th…
▽ More
We consider the Einstein-Cartan theory with the tetrad $e_μ^{a}$ and spin connection $ω_{μab}$ taken as being independent fields. Diffeomorphism invariance and local Lorentz invariance result in there being two distinct gauge transformations in this approach, and consequently two ghost fields arise when employing the usual Faddeev-Popov quantization procedure. Our choice of gauge fixing retains the gauge invariances of the background field. We show that the gauge algebra is closed even in the presence of torsion, and the resulting BRST invariance can be found for the effective action. We also derive the Slavnov-Taylor identities, which reflect the BRST symmetries of this theory.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Field redefinition invariant Lagrange multiplier formalism with gauge symmetries
Authors:
D. G. C. McKeon,
F. T. Brandt,
S. Martins-Filho
Abstract:
It has been shown that by using a Lagrange multiplier field to ensure that the classical equations of motion are satisfied, radiative effects beyond one-loop order are eliminated. It has also been shown that through the contribution of some additional ghost fields, the effective action becomes form invariant under a redefinition of field variables, and furthermore, the usual one-loop results coinc…
▽ More
It has been shown that by using a Lagrange multiplier field to ensure that the classical equations of motion are satisfied, radiative effects beyond one-loop order are eliminated. It has also been shown that through the contribution of some additional ghost fields, the effective action becomes form invariant under a redefinition of field variables, and furthermore, the usual one-loop results coincide with the quantum corrections obtained from this effective action. In this paper, we consider the consequences of a gauge invariance being present in the classical action. The resulting gauge transformations for the Lagrange multiplier field as well as for the additional ghost fields are found. These gauge transformations result in a set of Faddeev-Popov ghost fields arising in the effective action. If the gauge algebra is closed, we find the Becci-Rouet-Stora-Tyutin (BRST) transformations that leave the effective action invariant.
△ Less
Submitted 14 April, 2024; v1 submitted 20 January, 2024;
originally announced January 2024.
-
Interaction of liquid crystals with a rigid body
Authors:
Tim Binz,
Felix Brandt,
Matthias Hieber,
Arnab Roy
Abstract:
This article investigates the interaction of nematic liquid crystals modeled by a simplified Ericksen-Leslie model with a rigid body. It is shown that this problem is locally strongly well-posed, and that it also admits a unique, global strong solution for initial data close to constant equilibria. The proof of the global strong solution relies on a new splitting method for the director in a mean…
▽ More
This article investigates the interaction of nematic liquid crystals modeled by a simplified Ericksen-Leslie model with a rigid body. It is shown that this problem is locally strongly well-posed, and that it also admits a unique, global strong solution for initial data close to constant equilibria. The proof of the global strong solution relies on a new splitting method for the director in a mean value zero and average part.
△ Less
Submitted 24 May, 2024; v1 submitted 26 October, 2023;
originally announced October 2023.
-
Nonlinear theory remedies the lack of invertibility in time periodic fluid flows
Authors:
Felix Brandt,
Matthias Hieber,
Arnab Roy
Abstract:
This paper provides a framework to strong time periodic solutions of quasilinear evolution equations. The novelty of this approach is that zero is allowed to be a spectral value of the underlying linearized operator. This approach is then applied to time periodic problems associated to the Navier-Stokes equations, generalized Newtonian fluids, quasilinear reaction-diffusion systems as well as to m…
▽ More
This paper provides a framework to strong time periodic solutions of quasilinear evolution equations. The novelty of this approach is that zero is allowed to be a spectral value of the underlying linearized operator. This approach is then applied to time periodic problems associated to the Navier-Stokes equations, generalized Newtonian fluids, quasilinear reaction-diffusion systems as well as to magneto-hydrodynamics.
△ Less
Submitted 1 November, 2023; v1 submitted 24 October, 2023;
originally announced October 2023.
-
The Banks Set and the Bipartisan Set May be Disjoint
Authors:
Felix Brandt,
Florian Grundbacher
Abstract:
Tournament solutions play an important role within social choice theory and the mathematical social sciences at large. We construct a tournament of order 36 for which the Banks set and the bipartisan set are disjoint. This implies that refinements of the Banks set, such as the minimal extending set and the tournament equilibrium set, can also be disjoint from the bipartisan set.
Tournament solutions play an important role within social choice theory and the mathematical social sciences at large. We construct a tournament of order 36 for which the Banks set and the bipartisan set are disjoint. This implies that refinements of the Banks set, such as the minimal extending set and the tournament equilibrium set, can also be disjoint from the bipartisan set.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
A Robust Characterization of Nash Equilibrium
Authors:
Florian Brandl,
Felix Brandt
Abstract:
We characterize Nash equilibrium by postulating coherent behavior across varying games. Nash equilibrium is the only solution concept that satisfies the following axioms: (i) strictly dominant actions are played with positive probability, (ii) if a strategy profile is played in two games, it is also played in every convex combination of these games, and (iii) players can shift probability arbitrar…
▽ More
We characterize Nash equilibrium by postulating coherent behavior across varying games. Nash equilibrium is the only solution concept that satisfies the following axioms: (i) strictly dominant actions are played with positive probability, (ii) if a strategy profile is played in two games, it is also played in every convex combination of these games, and (iii) players can shift probability arbitrarily between two indistinguishable actions, and deleting one of these actions has no effect. Our theorem implies that every equilibrium refinement violates at least one of these axioms. Moreover, every solution concept that approximately satisfies these axioms returns approximate Nash equilibria, even in natural subclasses of games, such as two-player zero-sum games, potential games, and graphical games.
△ Less
Submitted 28 June, 2024; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Balanced Donor Coordination
Authors:
Felix Brandt,
Matthias Greger,
Erel Segal-Halevi,
Warut Suksompong
Abstract:
Charity is typically done either by individual donors, who donate money to the charities that they support, or by centralized organizations such as governments or municipalities, which collect the individual contributions and distribute them among a set of charities. On the one hand, individual charity respects the will of the donors but may be inefficient due to a lack of coordination. On the oth…
▽ More
Charity is typically done either by individual donors, who donate money to the charities that they support, or by centralized organizations such as governments or municipalities, which collect the individual contributions and distribute them among a set of charities. On the one hand, individual charity respects the will of the donors but may be inefficient due to a lack of coordination. On the other hand, centralized charity is potentially more efficient but may ignore the will of individual donors. We present a mechanism that combines the advantages of both methods by distributing the contribution of each donor in an efficient way such that no subset of donors has an incentive to redistribute their donations. Assuming Leontief utilities (i.e., each donor is interested in maximizing an individually weighted minimum of all contributions across the charities), our mechanism is group-strategyproof, preference-monotonic, contribution-monotonic, maximizes Nash welfare, and can be computed using convex programming.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Thermal quantum gravity in a general background gauge
Authors:
F. T. Brandt,
J. Frenkel,
D. G. C. McKeon,
G. S. S. Sakoda
Abstract:
We calculate in a general background gauge, to one-loop order, the leading logarithmic contribution from the graviton self-energy at finite temperature $T$, extending a previous analysis done at $T=0$. The result, which has a transverse structure, is applied to evaluate the leading quantum correction of the gravitational vacuum polarization to the Newtonian potential. An analytic expression valid…
▽ More
We calculate in a general background gauge, to one-loop order, the leading logarithmic contribution from the graviton self-energy at finite temperature $T$, extending a previous analysis done at $T=0$. The result, which has a transverse structure, is applied to evaluate the leading quantum correction of the gravitational vacuum polarization to the Newtonian potential. An analytic expression valid at all temperatures is obtained, which generalizes the result obtained earlier at $T=0$. One finds that the magnitude of this quantum correction decreases as the temperature rises.
△ Less
Submitted 28 April, 2023; v1 submitted 31 March, 2023;
originally announced April 2023.
-
Towards a Characterization of Random Serial Dictatorship
Authors:
Felix Brandt,
Matthias Greger,
René Romen
Abstract:
Random serial dictatorship (RSD) is a randomized assignment rule that - given a set of $n$ agents with strict preferences over $n$ houses - satisfies equal treatment of equals, ex post efficiency, and strategyproofness. For $n \le 3$, Bogomolnaia and Moulin (2001) have shown that RSD is characterized by these axioms. Extending this characterization to arbitrary $n$ is a long-standing open problem.…
▽ More
Random serial dictatorship (RSD) is a randomized assignment rule that - given a set of $n$ agents with strict preferences over $n$ houses - satisfies equal treatment of equals, ex post efficiency, and strategyproofness. For $n \le 3$, Bogomolnaia and Moulin (2001) have shown that RSD is characterized by these axioms. Extending this characterization to arbitrary $n$ is a long-standing open problem. By weakening ex post efficiency and strategyproofness, we reduce the question of whether RSD is characterized by these axioms for fixed $n$ to determining whether a matrix has rank $n^2 n!^n$. We provide computer-generated counterexamples to show that two other approaches for proving the characterization (using deterministic extreme points or restricted domains of preferences) are inadequate.
△ Less
Submitted 11 July, 2024; v1 submitted 21 March, 2023;
originally announced March 2023.
-
Loop corrections in a solvable UV-finite model and its effective field theory
Authors:
F. T. Brandt,
J. Frenkel,
D. G. C. McKeon,
G. S. S. Sakoda
Abstract:
We examine some features of the non-renormalizability induced through the use of low-energy effective Lagrangians in loop diagrams, in the context of a scalar model which is ultraviolet finite and partially soluble. In this framework, one can directly demonstrate the mechanism leading to the non-renormalizability of the effective theory. This behavior is generated by approximations that are applic…
▽ More
We examine some features of the non-renormalizability induced through the use of low-energy effective Lagrangians in loop diagrams, in the context of a scalar model which is ultraviolet finite and partially soluble. In this framework, one can directly demonstrate the mechanism leading to the non-renormalizability of the effective theory. This behavior is generated by approximations that are applicable at low energies but are generally inappropriate for evaluating loop diagrams that contain virtual high-energy particles. However, it is explicitly shown that one can match the results obtained in the renormalized effective theory with those found in the full theory at low energy. We argue that the infrared sectors of these theories are inherently similar, independently of the matching procedure. A closed-form expression is obtained, to leading order in the energy expansion, for the complete effective Lagrangian at all orders in perturbation theory. The model may be useful to clarify certain aspects of realistic, but more complex, effective field theories.
△ Less
Submitted 21 February, 2023;
originally announced February 2023.
-
Field redefinition invariant Lagrange multiplier formalism
Authors:
F. T. Brandt,
S. Martins-Filho
Abstract:
In this paper, we propose a field redefinition invariant Lagrange multiplier (LM) formalism in which new ghost-like fields, analogous to Lee-Yang ghosts, are introduced. These ghost fields are required to restore the field redefinition invariance of the standard path integral of the LM theory and, at the same time, to cancel the additional contributions due to the LM fields. We argue that the extr…
▽ More
In this paper, we propose a field redefinition invariant Lagrange multiplier (LM) formalism in which new ghost-like fields, analogous to Lee-Yang ghosts, are introduced. These ghost fields are required to restore the field redefinition invariance of the standard path integral of the LM theory and, at the same time, to cancel the additional contributions due to the LM fields. We argue that the extra degrees of freedom in the standard LM formalism, coming from the LM fields, should cancel against the degrees of freedom of the ghost fields. Hence, in the field redefinition invariant formalism the doubling of degrees of freedom, associated with the LM fields, is absent.
△ Less
Submitted 20 April, 2023; v1 submitted 11 December, 2022;
originally announced December 2022.
-
Reaching Individually Stable Coalition Structures
Authors:
Felix Brandt,
Martin Bullinger,
Anaëlle Wilczynski
Abstract:
The formal study of coalition formation in multi-agent systems is typically realized in the framework of hedonic games, which originate from economic theory. The main focus of this branch of research has been on the existence and the computational complexity of deciding the existence of coalition structures that satisfy various stability criteria. The actual process of forming coalitions based on…
▽ More
The formal study of coalition formation in multi-agent systems is typically realized in the framework of hedonic games, which originate from economic theory. The main focus of this branch of research has been on the existence and the computational complexity of deciding the existence of coalition structures that satisfy various stability criteria. The actual process of forming coalitions based on individual behavior has received little attention. In this paper, we study the convergence of simple dynamics leading to stable partitions in a variety of established classes of hedonic games including anonymous, dichotomous, fractional, and hedonic diversity games. The dynamics we consider is based on individual stability: an agent will join another coalition if she is better off and no member of the welcoming coalition is worse off.
Our results are threefold. First, we identify conditions for the (fast) convergence of our dynamics. To this end, we develop new techniques based on the simultaneous usage of multiple intertwined potential functions and establish a reduction uncovering a close relationship between anonymous hedonic games and hedonic diversity games. Second, we provide elaborate counterexamples determining tight boundaries for the existence of individually stable partitions. Third, we study the computational complexity of problems related to the coalition formation dynamics. In particular, we settle open problems suggested by Bogomolnaia and Jackson (2002), Brandl et al. (2005), and Boehmer and Elkind (2020).
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Rigorous analysis of the interaction problem of sea ice with a rigid body
Authors:
Tim Binz,
Felix Brandt,
Matthias Hieber
Abstract:
Consider the set of equations modeling the motion of a rigid body enclosed in sea ice. Using Hibler's viscous-plastic model for describing sea ice, it is shown by a certain decoupling approach that this system admits a unique, local strong solution within the $\mathrm{L}^p$-setting.
Consider the set of equations modeling the motion of a rigid body enclosed in sea ice. Using Hibler's viscous-plastic model for describing sea ice, it is shown by a certain decoupling approach that this system admits a unique, local strong solution within the $\mathrm{L}^p$-setting.
△ Less
Submitted 25 April, 2023; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Interaction of the primitive equations with sea ice dynamics
Authors:
Tim Binz,
Felix Brandt,
Matthias Hieber
Abstract:
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. Map** properties of t…
▽ More
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. Map** 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.
△ Less
Submitted 28 May, 2024; v1 submitted 27 September, 2022;
originally announced September 2022.
-
Time periodic solutions to Hibler's sea ice model
Authors:
Felix Brandt,
Matthias Hieber
Abstract:
It is shown that the viscous-plastic Hibler sea ice model admits a unique, strong $T$-time periodic solution provided the given $T$-periodic forcing functions are small in suitable norms. This is in particular true for time periodic wind forces and time periodic ice growth rates.
It is shown that the viscous-plastic Hibler sea ice model admits a unique, strong $T$-time periodic solution provided the given $T$-periodic forcing functions are small in suitable norms. This is in particular true for time periodic wind forces and time periodic ice growth rates.
△ Less
Submitted 25 April, 2023; v1 submitted 25 September, 2022;
originally announced September 2022.
-
Quantum gravity in a general background gauge
Authors:
F. T. Brandt,
J. Frenkel,
D. G. C. McKeon
Abstract:
We deduce, in a general background gauge, the counter-term Lagrangian for pure quantum gravity to one-loop order. As an application, we evaluate the leading quantum correction to the classical gravitational potential, generated by the vacuum polarization. We find that, in specific background gauges, this yields the complete result for the one-loop quantum corrections to the Newtonian potential. Th…
▽ More
We deduce, in a general background gauge, the counter-term Lagrangian for pure quantum gravity to one-loop order. As an application, we evaluate the leading quantum correction to the classical gravitational potential, generated by the vacuum polarization. We find that, in specific background gauges, this yields the complete result for the one-loop quantum corrections to the Newtonian potential. This approach is also applied to calculate the $\ln(T)$ contributions in quantum gravity at high-temperature.
△ Less
Submitted 6 September, 2022; v1 submitted 27 August, 2022;
originally announced August 2022.
-
4D supersymmetric gauge theories of spacetime translations
Authors:
Friedemann Brandt
Abstract:
The paper addresses the question whether in four spacetime dimensions, besides standard supergravity theories, field theories exist whose symmetries include local spacetime translations and supersymmetries generated by transformations whose commutators contain infinitesimal local spacetime translations. It is shown that, up to local field redefinitions, there is a unique class of such supersymmetr…
▽ More
The paper addresses the question whether in four spacetime dimensions, besides standard supergravity theories, field theories exist whose symmetries include local spacetime translations and supersymmetries generated by transformations whose commutators contain infinitesimal local spacetime translations. It is shown that, up to local field redefinitions, there is a unique class of such supersymmetric field theories satisfying specified prerequisites which particularly concern the field content of the theories. The theories of this class have global supersymmetry and are similar to globally supersymmetric Yang-Mills theories.
△ Less
Submitted 9 October, 2023; v1 submitted 4 August, 2022;
originally announced August 2022.
-
Feynman diagrams in terms of on-shell propagators
Authors:
F. T. Brandt,
J. Frenkel,
D. G. C. McKeon
Abstract:
It is shown that the usual expression for a Feynman diagram in terms of the Feynman propagator $Δ_F(x-y)$ can be replaced by an equivalent expression involving the positive-energy on-shell propagator $Δ^+(x-y)$, supplemented by appropriate functions associated with time-ordering. When this alternate way of expressing a Feynman diagram is Fourier transformed into momentum space, the momentum associ…
▽ More
It is shown that the usual expression for a Feynman diagram in terms of the Feynman propagator $Δ_F(x-y)$ can be replaced by an equivalent expression involving the positive-energy on-shell propagator $Δ^+(x-y)$, supplemented by appropriate functions associated with time-ordering. When this alternate way of expressing a Feynman diagram is Fourier transformed into momentum space, the momentum associated with each function $Δ^+(x-y)$ is on-shell, and is only conserved at each vertex if an energy is attributed to the contributions of the time-ordering functions. The resulting expression is analogous to what Kadyshevsky had obtained by deriving an alternate expansion for the $S$--matrix. A detailed explanation of how this alternate expansion is derived is given, and it is shown how it provides a straightforward way of determining the imaginary part of a Feynman diagram, which makes it useful when using unitarity methods for computing a Feynman diagram. By considering a number of specific Feynman diagrams in self-interacting scalar models and in QED, we show how this alternate approach can be related to the old perturbation theory and can simplify direct calculations of Feynman diagrams.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
On the analytically-improved running coupling in QCD
Authors:
F. T. Brandt,
J. Frenkel,
D. G. C. McKeon,
G. S. S. Sakoda
Abstract:
We examine, in the `t Hooft renormalization scheme, the analytic running coupling $\barα_t(Q^2)$ in QCD, using the two-loop $β$-function with positive expansion parameters $β_0$ and $β_1$. An exact integral representation is derived for this causal coupling, which is fully expressed in terms of the imaginary part of the Lambert function $W$. This integral form manifestly accounts for the universal…
▽ More
We examine, in the `t Hooft renormalization scheme, the analytic running coupling $\barα_t(Q^2)$ in QCD, using the two-loop $β$-function with positive expansion parameters $β_0$ and $β_1$. An exact integral representation is derived for this causal coupling, which is fully expressed in terms of the imaginary part of the Lambert function $W$. This integral form manifestly accounts for the universal value of the infrared limit $\barα_t(Q^2=0)= 4 π/β_0$.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
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.
-
On Locally Rationalizable Social Choice Functions
Authors:
Felix Brandt,
Chris Dong
Abstract:
We consider a notion of rationalizability, where the rationalizing relation may depend on the set of feasible alternatives. More precisely, we say that a choice function is locally rationalizable if it is rationalized by a family of rationalizing relations such that a strict preference between two alternatives in some feasible set is preserved when removing other alternatives. Tyson (2008) has sho…
▽ More
We consider a notion of rationalizability, where the rationalizing relation may depend on the set of feasible alternatives. More precisely, we say that a choice function is locally rationalizable if it is rationalized by a family of rationalizing relations such that a strict preference between two alternatives in some feasible set is preserved when removing other alternatives. Tyson (2008) has shown that a choice function is locally rationalizable if and only if it satisfies Sen's $γ$. We expand the theory of local rationalizability by proposing a natural strengthening of $γ$ that precisely characterizes local rationalizability via PIP-transitive relations and by introducing the $γ$-hull of a choice function as its finest coarsening that satisfies $γ$. Local rationalizability permits a unified perspective on social choice functions that satisfy $γ$, including classic ones such as the top cycle and the uncovered set as well as new ones such as two-stage majoritarian choice and split cycle. We give simple axiomatic characterizations of some of these using local rationalizability and propose systematic procedures to define social choice functions that satisfy $γ$.
△ Less
Submitted 4 March, 2024; v1 submitted 11 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.
-
Comment on "A Candidate for a Supergravity Anomaly"
Authors:
Friedemann Brandt
Abstract:
In a recent paper (arXiv:2110.06213v1) it was argued that in 4D supergravity a previously unknown candidate anomaly exists. In the present paper it is pointed out that the existence of such a candidate would contradict results available in the literature, and it is substantiated that there is no candidate anomaly of the asserted form.
In a recent paper (arXiv:2110.06213v1) it was argued that in 4D supergravity a previously unknown candidate anomaly exists. In the present paper it is pointed out that the existence of such a candidate would contradict results available in the literature, and it is substantiated that there is no candidate anomaly of the asserted form.
△ Less
Submitted 14 December, 2021;
originally announced December 2021.
-
Forward scattering amplitudes in the imaginary time formalism
Authors:
F. T. Brandt,
J. Frenkel,
S. Martins-Filho,
D. G. C. McKeon,
G. S. S. Sakoda
Abstract:
We study, in the imaginary time formalism, the relation between loops and on-shell forward scattering tree amplitudes in thermal field theories. This allows for an efficient evaluation, at all temperatures, of Green's functions with causal retarded boundary conditions. We present an application of this relation in quantum gravity coupled to scalar matter fields. We show that at one or two loops, i…
▽ More
We study, in the imaginary time formalism, the relation between loops and on-shell forward scattering tree amplitudes in thermal field theories. This allows for an efficient evaluation, at all temperatures, of Green's functions with causal retarded boundary conditions. We present an application of this relation in quantum gravity coupled to scalar matter fields. We show that at one or two loops, involving planar diagrams, the 1PI retarded thermal Green's functions may respectively be expressed in terms of connected forward scattering tree amplitudes of one or two on-shell particles.
△ Less
Submitted 14 December, 2021; v1 submitted 14 October, 2021;
originally announced October 2021.
-
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.
-
Thermal gauge theories with Lagrange multiplier fields
Authors:
F. T. Brandt,
J. Frenkel,
S. Martins-Filho,
D. G. C. McKeon,
G. S. S. Sakoda
Abstract:
We study the Yang-Mills theory and quantum gravity at finite temperature, in the presence of Lagrange multiplier fields. These restrict the path integrals to field configurations which obey the classical equations of motion. This has the effect of doubling the usual one--loop thermal contributions and of suppressing all radiative corrections at higher loop order. Such theories are renormalizable a…
▽ More
We study the Yang-Mills theory and quantum gravity at finite temperature, in the presence of Lagrange multiplier fields. These restrict the path integrals to field configurations which obey the classical equations of motion. This has the effect of doubling the usual one--loop thermal contributions and of suppressing all radiative corrections at higher loop order. Such theories are renormalizable at all temperatures. Some consequences of this result in quantum gravity are briefly examined.
△ Less
Submitted 14 December, 2021; v1 submitted 1 May, 2021;
originally announced May 2021.
-
TetraPackNet: Four-Corner-Based Object Detection in Logistics Use-Cases
Authors:
Laura Dörr,
Felix Brandt,
Alexander Naumann,
Martin Pouls
Abstract:
While common image object detection tasks focus on bounding boxes or segmentation masks as object representations, we consider the problem of finding objects based on four arbitrary vertices. We propose a novel model, named TetraPackNet, to tackle this problem. TetraPackNet is based on CornerNet and uses similar algorithms and ideas. It is designated for applications requiring high-accuracy detect…
▽ More
While common image object detection tasks focus on bounding boxes or segmentation masks as object representations, we consider the problem of finding objects based on four arbitrary vertices. We propose a novel model, named TetraPackNet, to tackle this problem. TetraPackNet is based on CornerNet and uses similar algorithms and ideas. It is designated for applications requiring high-accuracy detection of regularly shaped objects, which is the case in the logistics use-case of packaging structure recognition. We evaluate our model on our specific real-world dataset for this use-case. Baselined against a previous solution, consisting of a Mask R-CNN model and suitable post-processing steps, TetraPackNet achieves superior results (9% higher in accuracy) in the sub-task of four-corner based transport unit side detection.
△ Less
Submitted 23 June, 2021; v1 submitted 19 April, 2021;
originally announced April 2021.
-
Rigorous Analysis and Dynamics of Hibler's sea ice model
Authors:
Felix Brandt,
Karoline Disser,
Robert Haller-Dintelmann,
Matthias Hieber
Abstract:
This article develops for the first time a rigorous analysis of Hibler's model of sea ice dynamics. Identifying Hibler's ice stress as a quasilinear second order operator and regarding Hibler's model as a quasilinear evolution equation, it is shown that Hibler's coupled sea ice model, i.e., the model coupling velocity, thickness and compactness of sea ice, is locally strongly well-posed within the…
▽ More
This article develops for the first time a rigorous analysis of Hibler's model of sea ice dynamics. Identifying Hibler's ice stress as a quasilinear second order operator and regarding Hibler's model as a quasilinear evolution equation, it is shown that Hibler's coupled sea ice model, i.e., the model coupling velocity, thickness and compactness of sea ice, is locally strongly well-posed within the $L_q$-setting and also globally strongly well-posed for initial data close to constant equilibria.
△ Less
Submitted 3 April, 2021;
originally announced April 2021.
-
A Natural Adaptive Process for Collective Decision-Making
Authors:
Florian Brandl,
Felix Brandt
Abstract:
Consider an urn filled with balls, each labeled with one of several possible collective decisions. Now, let a random voter draw two balls from the urn and pick her more preferred as the collective decision. Relabel the losing ball with the collective decision, put both balls back into the urn, and repeat. Once in a while, relabel a randomly drawn ball with a random collective decision. We prove th…
▽ More
Consider an urn filled with balls, each labeled with one of several possible collective decisions. Now, let a random voter draw two balls from the urn and pick her more preferred as the collective decision. Relabel the losing ball with the collective decision, put both balls back into the urn, and repeat. Once in a while, relabel a randomly drawn ball with a random collective decision. We prove that the empirical distribution of collective decisions produced by this process approximates a maximal lottery, a celebrated probabilistic voting rule proposed by Peter C. Fishburn (Rev. Econ. Stud., 51(4), 1984). In fact, the probability that the collective decision in round $n$ is made according to a maximal lottery increases exponentially in $n$. The proposed procedure is more flexible than traditional voting rules and bears strong similarities to natural processes studied in biology, physics, and chemistry as well as algorithms proposed in machine learning.
△ Less
Submitted 27 March, 2024; v1 submitted 26 March, 2021;
originally announced March 2021.
-
Restricting loop expansions in gauge theories coupled to matter
Authors:
F. T. Brandt,
J. Frenkel,
S. Martins-Filho,
D. G. C. McKeon
Abstract:
Quantizing any model in which a Lagrange multiplier (LM) field is used to restrict field configurations to those that satisfy the classical equations of motion, leads to at most one-loop radiative corrections. This approach can be used with both the Yang-Mills (YM) and Einstein-Hilbert (EH) action; the resulting theory is both renormalizable and unitary, has a positive energy spectrum and has no n…
▽ More
Quantizing any model in which a Lagrange multiplier (LM) field is used to restrict field configurations to those that satisfy the classical equations of motion, leads to at most one-loop radiative corrections. This approach can be used with both the Yang-Mills (YM) and Einstein-Hilbert (EH) action; the resulting theory is both renormalizable and unitary, has a positive energy spectrum and has no negative norm states contributing to physical processes. Although this approach cannot be consistently used with scalar fields alone, scalar fields can be coupled to gauge fields so that loop effects in the gauge sector are restricted to one-loop order in a way that satisfies the usual criterion for a consistent quantum field theory. The tree-level diagrams are those of the classical theory in which the metric couples to the energy-momentum tensor.
△ Less
Submitted 1 November, 2021; v1 submitted 4 February, 2021;
originally announced February 2021.
-
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.
-
Properties of an alternative off-shell formulation of 4D supergravity
Authors:
Friedemann Brandt
Abstract:
This article elaborates on an off-shell formulation of D=4, N=1 supergravity whose auxiliary fields comprise an antisymmetric tensor field without gauge degrees of freedom. In particular, the relation to new minimal supergravity, a supercovariant tensor calculus and the construction of invariant actions including matter fields are discussed.
This article elaborates on an off-shell formulation of D=4, N=1 supergravity whose auxiliary fields comprise an antisymmetric tensor field without gauge degrees of freedom. In particular, the relation to new minimal supergravity, a supercovariant tensor calculus and the construction of invariant actions including matter fields are discussed.
△ Less
Submitted 9 April, 2021; v1 submitted 14 January, 2021;
originally announced January 2021.
-
An Image Processing Pipeline for Automated Packaging Structure Recognition
Authors:
Laura Dörr,
Felix Brandt,
Martin Pouls,
Alexander Naumann
Abstract:
Dispatching and receiving logistics goods, as well as transportation itself, involve a high amount of manual efforts. The transported goods, including their packaging and labeling, need to be double-checked, verified or recognized at many supply chain network points. These processes hold automation potentials, which we aim to exploit using computer vision techniques. More precisely, we propose a c…
▽ More
Dispatching and receiving logistics goods, as well as transportation itself, involve a high amount of manual efforts. The transported goods, including their packaging and labeling, need to be double-checked, verified or recognized at many supply chain network points. These processes hold automation potentials, which we aim to exploit using computer vision techniques. More precisely, we propose a cognitive system for the fully automated recognition of packaging structures for standardized logistics shipments based on single RGB images. Our contribution contains descriptions of a suitable system design and its evaluation on relevant real-world data. Further, we discuss our algorithmic choices.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
On Restricting First Order Form of Gauge Theories to One-Loop Order
Authors:
F. T. Brandt,
J. Frenkel,
S. Martins-Filho,
D. G. C. McKeon
Abstract:
The first order form of the Yang-Mills and Einstein-Hilbert actions are quantized, and it is shown how Green's functions computed using the first and the second order form of these theories are related. Next we show how by use of Lagrange multiplier fields (LM), radiative effects beyond one-loop order can be eliminated. This allows one to compute Green's functions exactly without loss of unitarity…
▽ More
The first order form of the Yang-Mills and Einstein-Hilbert actions are quantized, and it is shown how Green's functions computed using the first and the second order form of these theories are related. Next we show how by use of Lagrange multiplier fields (LM), radiative effects beyond one-loop order can be eliminated. This allows one to compute Green's functions exactly without loss of unitarity. The consequences of this restriction on radiative effects are examined for the Yang-Mills and Einstein-Hilbert actions. In these two gauge theories, we find that the quantized theory is both renormalizable and unitary once the LM field is used to eliminate effects beyond one-loop order.
△ Less
Submitted 9 March, 2021; v1 submitted 20 September, 2020;
originally announced September 2020.
-
Fully-Automated Packaging Structure Recognition in Logistics Environments
Authors:
Laura Dörr,
Felix Brandt,
Martin Pouls,
Alexander Naumann
Abstract:
Within a logistics supply chain, a large variety of transported goods need to be handled, recognized and checked at many different network points. Often, huge manual effort is involved in recognizing or verifying packet identity or packaging structure, for instance to check the delivery for completeness. We propose a method for complete automation of packaging structure recognition: Based on a sin…
▽ More
Within a logistics supply chain, a large variety of transported goods need to be handled, recognized and checked at many different network points. Often, huge manual effort is involved in recognizing or verifying packet identity or packaging structure, for instance to check the delivery for completeness. We propose a method for complete automation of packaging structure recognition: Based on a single image, one or multiple transport units are localized and, for each of these transport units, the characteristics, the total number and the arrangement of its packaging units is recognized. Our algorithm is based on deep learning models, more precisely convolutional neural networks for instance segmentation in images, as well as computer vision methods and heuristic components. We use a custom data set of realistic logistics images for training and evaluation of our method. We show that the solution is capable of correctly recognizing the packaging structure in approximately 85% of our test cases, and even more (91%) when focusing on most common package types.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Structural identities in the first order formulation of quantum gravity
Authors:
F. T. Brandt,
J. Frenkel,
S. Martins-Filho,
D. G. C. McKeon
Abstract:
We study the self-consistency of the first order formulation of quantum gravity, which may be attained by introducing, apart from the graviton field, another auxiliary quantum field. By comparing the forms of the generating functional $Z$ before and after integrating out the additional field, we derive a set of structural identities which must be satisfied by the Green's functions at all orders. T…
▽ More
We study the self-consistency of the first order formulation of quantum gravity, which may be attained by introducing, apart from the graviton field, another auxiliary quantum field. By comparing the forms of the generating functional $Z$ before and after integrating out the additional field, we derive a set of structural identities which must be satisfied by the Green's functions at all orders. These are distinct from the usual Ward identities, being necessary for the self-consistency of the first order formalism. They relate the Green's functions involving the additional quantum field to those containing a certain composite graviton field, which corresponds to its classical value. Thereby, the structural identities lead to a simple interpretation of the auxiliary field.
△ Less
Submitted 11 July, 2020; v1 submitted 9 July, 2020;
originally announced July 2020.
-
Funding Public Projects: A Case for the Nash Product Rule
Authors:
Florian Brandl,
Felix Brandt,
Matthias Greger,
Dominik Peters,
Christian Stricker,
Warut Suksompong
Abstract:
We study a mechanism design problem where a community of agents wishes to fund public projects via voluntary monetary contributions by the community members. This serves as a model for public expenditure without an exogenously available budget, such as participatory budgeting or voluntary tax programs, as well as donor coordination when interpreting charities as public projects and donations as co…
▽ More
We study a mechanism design problem where a community of agents wishes to fund public projects via voluntary monetary contributions by the community members. This serves as a model for public expenditure without an exogenously available budget, such as participatory budgeting or voluntary tax programs, as well as donor coordination when interpreting charities as public projects and donations as contributions. Our aim is to identify a mutually beneficial distribution of the individual contributions. In the preference aggregation problem that we study, agents report linear utility functions over projects together with the amount of their contributions, and the mechanism determines a socially optimal distribution of the money. We identify a specific mechanism -- the Nash product rule -- which picks the distribution that maximizes the product of the agents' utilities. This rule is Pareto efficient, and we prove that it satisfies attractive incentive properties: it spends each agent's contribution only on projects the agent finds acceptable, and agents are strongly incentivized to participate.
△ Less
Submitted 11 October, 2021; v1 submitted 16 May, 2020;
originally announced May 2020.
-
On the Structure of Stable Tournament Solutions
Authors:
Felix Brandt,
Markus Brill,
Hans Georg Seedig,
Warut Suksompong
Abstract:
A fundamental property of choice functions is stability, which, loosely speaking, prescribes that choice sets are invariant under adding and removing unchosen alternatives. We provide several structural insights that improve our understanding of stable choice functions. In particular, (i) we show that every stable choice function is generated by a unique simple choice function, which never exclude…
▽ More
A fundamental property of choice functions is stability, which, loosely speaking, prescribes that choice sets are invariant under adding and removing unchosen alternatives. We provide several structural insights that improve our understanding of stable choice functions. In particular, (i) we show that every stable choice function is generated by a unique simple choice function, which never excludes more than one alternative, (ii) we completely characterize which simple choice functions give rise to stable choice functions, and (iii) we prove a strong relationship between stability and a new property of tournament solutions called local reversal symmetry. Based on these findings, we provide the first concrete tournament---consisting of 24 alternatives---in which the tournament equilibrium set fails to be stable. Furthermore, we prove that there is no more discriminating stable tournament solution than the bipartisan set and that the bipartisan set is the unique most discriminating tournament solution which satisfies standard properties proposed in the literature.
△ Less
Submitted 3 April, 2020;
originally announced April 2020.
-
Consistency Conditions for the First-Order Formulation of Yang-Mills Theory
Authors:
F T Brandt,
J Frenkel,
S Martins-Filho,
D G C McKeon
Abstract:
We examine the self-consistency of the first-order formulation of the Yang-Mills theory. By comparing the generating functional $Z$ before and after integrating out the additional field $F^a_{μν}$, we derive a set of structural identities that must be satisfied by the Green's functions at all orders. These identities, which hold in any dimension, are distinct from the usual Ward identities and are…
▽ More
We examine the self-consistency of the first-order formulation of the Yang-Mills theory. By comparing the generating functional $Z$ before and after integrating out the additional field $F^a_{μν}$, we derive a set of structural identities that must be satisfied by the Green's functions at all orders. These identities, which hold in any dimension, are distinct from the usual Ward identities and are necessary for the internal consistency of the first-order formalism. They relate the Green's functions involving the fields $F^a_{μν}$, to Green's functions in the second-order formulation which contain the gluon strength tensor $f^a_{μν}$. In particular, such identities may provide a simple physical interpretation of the additional field $F^a_{μν}$.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
Consistent interactions of Curtright fields
Authors:
Friedemann Brandt
Abstract:
Consistent self-interactions of Curtright fields (Lorentz tensors with (2,1) Young diagram index symmetry) are constructed in dimensions 5 and 7. Most of them modify the gauge transformations of the free theory but the commutator algebra of the deformed gauge transformations remains Abelian in all cases. All of these interactions contain terms cubic in the Curtright fields with four or five deriva…
▽ More
Consistent self-interactions of Curtright fields (Lorentz tensors with (2,1) Young diagram index symmetry) are constructed in dimensions 5 and 7. Most of them modify the gauge transformations of the free theory but the commutator algebra of the deformed gauge transformations remains Abelian in all cases. All of these interactions contain terms cubic in the Curtright fields with four or five derivatives, which are reminiscent of Yang-Mills, Chapline-Manton, Freedman-Townsend and Chern-Simons interactions, respectively.
△ Less
Submitted 3 June, 2020; v1 submitted 11 March, 2020;
originally announced March 2020.
-
High-dimensional quantum gates using full-field spatial modes of photons
Authors:
Florian Brandt,
Markus Hiekkamäki,
Frédéric Bouchard,
Marcus Huber,
Robert Fickler
Abstract:
Unitary transformations are the fundamental building blocks of gates and operations in quantum information processing allowing the complete manipulation of quantum systems in a coherent manner. In the case of photons, optical elements that can perform unitary transformations are readily available only for some degrees of freedom, e.g. wave plates for polarisation. However for high-dimensional stat…
▽ More
Unitary transformations are the fundamental building blocks of gates and operations in quantum information processing allowing the complete manipulation of quantum systems in a coherent manner. In the case of photons, optical elements that can perform unitary transformations are readily available only for some degrees of freedom, e.g. wave plates for polarisation. However for high-dimensional states encoded in the transverse spatial modes of light, performing arbitrary unitary transformations remains a challenging task for both theoretical proposals and actual implementations. Following the idea of multi-plane light conversion, we show that it is possible to perform a broad variety of unitary operations when the number of phase modulation planes is comparable to the number of modes. More importantly, we experimentally implement several high-dimensional quantum gates for up to 5-dimensional states encoded in the full-field mode structure of photons. In particular, we realise cyclic and quantum Fourier transformations, known as Pauli $\hat{X}$-gates and Hadamard $\hat{H}$-gates, respectively, with an average visibility of more than 90%. In addition, we demonstrate near-perfect "unitarity" by means of quantum process tomography unveiling a process purity of 99%. Lastly, we demonstrate the benefit of the two independent spatial degrees of freedom, i.e. azimuthal and radial, and implement a two-qubit controlled-NOT quantum operation on a single photon. Thus, our demonstrations open up new paths to implement high-dimensional quantum operations, which can be applied to various tasks in quantum communication, computation and sensing schemes.
△ Less
Submitted 5 August, 2019; v1 submitted 30 July, 2019;
originally announced July 2019.
-
Overcoming Noise in Entanglement Distribution
Authors:
Sebastian Ecker,
Frédéric Bouchard,
Lukas Bulla,
Florian Brandt,
Oskar Kohout,
Fabian Steinlechner,
Robert Fickler,
Mehul Malik,
Yelena Guryanova,
Rupert Ursin,
Marcus Huber
Abstract:
Noise can be considered the natural enemy of quantum information. An often implied benefit of high-dimensional entanglement is its increased resilience to noise. However, manifesting this potential in an experimentally meaningful fashion is challenging and has never been done before. In infinite dimensional spaces, discretisation is inevitable and renders the effective dimension of quantum states…
▽ More
Noise can be considered the natural enemy of quantum information. An often implied benefit of high-dimensional entanglement is its increased resilience to noise. However, manifesting this potential in an experimentally meaningful fashion is challenging and has never been done before. In infinite dimensional spaces, discretisation is inevitable and renders the effective dimension of quantum states a tunable parameter. Owing to advances in experimental techniques and theoretical tools, we demonstrate an increased resistance to noise by identifying two pathways to exploit high-dimensional entangled states. Our study is based on two separate experiments utilising canonical spatio-temporal properties of entangled photon pairs. Following these different pathways to noise resilience, we are able to certify entanglement in the photonic orbital-angular-momentum and energy-time degrees of freedom up to noise conditions corresponding to a noise fraction of 72 % and 92 % respectively. Our work paves the way towards practical quantum communication systems that are able to surpass current noise and distance limitations, while not compromising on potential device-independence.
△ Less
Submitted 3 December, 2019; v1 submitted 2 April, 2019;
originally announced April 2019.
-
Use of Lagrange multiplier fields to eliminate multiloop corrections
Authors:
F. T. Brandt,
J. Frenkel,
D. G. C. McKeon,
G. S. S. Sakoda
Abstract:
The problem of eliminating divergences arising in quantum gravity is generally addressed by modifying the classical Einstein-Hilbert action. These modifications might involve the introduction of local supersymmetry, the addition of terms that are higher-order in the curvature to the action, or invoking compactification of superstring theory from ten to four dimensions. An alternative to these appr…
▽ More
The problem of eliminating divergences arising in quantum gravity is generally addressed by modifying the classical Einstein-Hilbert action. These modifications might involve the introduction of local supersymmetry, the addition of terms that are higher-order in the curvature to the action, or invoking compactification of superstring theory from ten to four dimensions. An alternative to these approaches is to introduce a Lagrange multiplier field that restricts the path integral to field configurations that satisfy the classical equations of motion; this has the effect of doubling the usual one-loop contributions and of eliminating all effects beyond one loop. We show how this reduction of loop contributions occurs and find the gauge invariances present when such a Lagrange multiplier is introduced into the Yang-Mills and Einstein-Hilbert actions. Moreover, we quantize using the path integral, discuss the renormalization, and then show how Becchi-Rouet-Stora-Tyutin (BRST) invariance can be used to both demonstrate that unitarity is retained and to find BRST relations between Greens functions. In the Appendices, we show how the background field quantization can be implemented, consider the use of a Lagrange multiplier field to restrict higher-order contributions in supersymmetric theories, and derive the BRST equations satisfied by the generating functional.
△ Less
Submitted 14 December, 2021; v1 submitted 29 January, 2019;
originally announced January 2019.
-
On Restricting to One Loop Order the Radiative Effects in Quantum Gravity
Authors:
F. T. Brandt,
J. Frenkel,
D. G. C. McKeon
Abstract:
The dimensionful nature of the coupling in the Einstein-Hilbert action in four dimensions implies that the theory is non-renormalizable; explicit calculation shows that beginning at two loop order, divergences arise that cannot be removed by renormalization without introducing new terms in the classical action. It has been shown that, by use of a Lagrange multiplier field to ensure that the classi…
▽ More
The dimensionful nature of the coupling in the Einstein-Hilbert action in four dimensions implies that the theory is non-renormalizable; explicit calculation shows that beginning at two loop order, divergences arise that cannot be removed by renormalization without introducing new terms in the classical action. It has been shown that, by use of a Lagrange multiplier field to ensure that the classical equation of motion is satisfied in the path integral, radiative effects can be restricted to one loop order. We show that by use of such Lagrange multiplier fields, the Einstein-Hilbert action can be quantized without the occurrence of non-renormalizable divergences. We then apply this mechanism to a model in which there is in addition to the Einstein-Hilbert action, a fully covariant action for a self-interacting scalar field coupled to the metric. It proves possible to restrict loop diagrams involving internal lines involving the metric to one-loop order; diagrams in which the scalar field propagates occur at arbitrary high order in the loop expansion. This model also can be shown to be renormalizable. Incorporating spinor and vector fields in the same way as scalar fields is feasible, and so a fully covariant Standard Model with a dynamical metric field can also be shown to be renormalizable
△ Less
Submitted 28 June, 2019; v1 submitted 24 October, 2018;
originally announced October 2018.
-
First order formulation of the Yang-Mills theory in a background field
Authors:
F. T. Brandt,
J. Frenkel,
D. G. C. McKeon
Abstract:
The background gauge renormalization of the first order formulation of the Yang-Mills theory is studied by using the BRST identities. Together with the background symmetry, these identities allow for an iterative proof of renormalizability to all orders in perturbation theory. However, due to the fact that certain improper diagrams which violate the BRST symmetry should be removed, the renormaliza…
▽ More
The background gauge renormalization of the first order formulation of the Yang-Mills theory is studied by using the BRST identities. Together with the background symmetry, these identities allow for an iterative proof of renormalizability to all orders in perturbation theory. However, due to the fact that certain improper diagrams which violate the BRST symmetry should be removed, the renormalizability must be deduced indirectly. The recursive method involves rescalings and mixings of the fields, which lead to a renormalized effective action for the background field theory.
△ Less
Submitted 15 August, 2019; v1 submitted 24 October, 2018;
originally announced October 2018.
-
Renormalization of six-dimensional Yang-Mills theory in a background gauge field
Authors:
F. T. Brandt,
J. Frenkel,
D. G. C. McKeon
Abstract:
Using the background field method, we study in a general covariant gauge the renormalization of the 6-dimensional Yang-Mills theory. This requires background gauge invariant counterterms, some of which do not vanish on shell. Such counterterms occur, even off-shell, with gauge-independent coefficients. The analysis is done at one loop order and the extension to higher orders is discussed by means…
▽ More
Using the background field method, we study in a general covariant gauge the renormalization of the 6-dimensional Yang-Mills theory. This requires background gauge invariant counterterms, some of which do not vanish on shell. Such counterterms occur, even off-shell, with gauge-independent coefficients. The analysis is done at one loop order and the extension to higher orders is discussed by means of the BRST identities. We examine the behaviour of the beta function, which implies that this theory is not asymptotically free.
△ Less
Submitted 14 December, 2018; v1 submitted 24 October, 2018;
originally announced October 2018.
-
Measuring azimuthal and radial modes of photons
Authors:
Frédéric Bouchard,
Natalia Herrera Valencia,
Florian Brandt,
Robert Fickler,
Marcus Huber,
Mehul Malik
Abstract:
With the emergence of the field of quantum communications, the appropriate choice of photonic degrees of freedom used for encoding information is of paramount importance. Highly precise techniques for measuring the polarisation, frequency, and arrival time of a photon have been developed. However, the transverse spatial degree of freedom still lacks a measurement scheme that allows the reconstruct…
▽ More
With the emergence of the field of quantum communications, the appropriate choice of photonic degrees of freedom used for encoding information is of paramount importance. Highly precise techniques for measuring the polarisation, frequency, and arrival time of a photon have been developed. However, the transverse spatial degree of freedom still lacks a measurement scheme that allows the reconstruction of its full transverse structure with a simple implementation and a high level of accuracy. Here we show a method to measure the azimuthal and radial modes of Laguerre-Gaussian beams with a greater than 99% accuracy, using a single phase screen. We compare our technique with previous commonly used methods and demonstrate the significant improvements it presents for quantum key distribution and state tomography of high-dimensional quantum states of light. Moreover, our technique can be readily extended to any arbitrary family of spatial modes, such as mutually unbiased bases, Hermite-Gauss, and Ince-Gauss. Our scheme will significantly enhance existing quantum and classical communication protocols that use the spatial structure of light, as well as enable fundamental experiments on spatial-mode entanglement to reach their full potential.
△ Less
Submitted 10 August, 2018;
originally announced August 2018.
-
Renormalisation of a diagonal formulation of first order Yang-Mills theory
Authors:
F T Brandt,
J Frenkel,
D G C McKeon
Abstract:
We study the BRST renormalization of an alternative formulation of the Yang-Mills theory, where the matrix-propagator of the gluon and the complementary fields is diagonal. This procedure involves scalings as well as non-linear mixings of the fields and sources. We show, in the Landau gauge, that the BRST identities implement a recursive proof of renormalizability to all orders.
We study the BRST renormalization of an alternative formulation of the Yang-Mills theory, where the matrix-propagator of the gluon and the complementary fields is diagonal. This procedure involves scalings as well as non-linear mixings of the fields and sources. We show, in the Landau gauge, that the BRST identities implement a recursive proof of renormalizability to all orders.
△ Less
Submitted 31 July, 2018; v1 submitted 25 July, 2018;
originally announced July 2018.