-
Envy-free cake cutting: A polynomial number of queries with high probability
Authors:
Guillaume Chèze
Abstract:
In this article we propose a probabilistic framework in order to study the fair division of a divisible good, e.g., a cake, between n players. Our framework follows the same idea than the ''Full independence model'' used in the study of fair division of indivisible goods. We show that, in this framework, there exists an envy-free division algorithm satisfying the following probability estimate:…
▽ More
In this article we propose a probabilistic framework in order to study the fair division of a divisible good, e.g., a cake, between n players. Our framework follows the same idea than the ''Full independence model'' used in the study of fair division of indivisible goods. We show that, in this framework, there exists an envy-free division algorithm satisfying the following probability estimate:$$\mathbb{P}\big( C(μ_1, \ldots,μ_n) \geq n^{7+b}\big) = \mathcal{O}\Big(n^{-\frac{b-1}{3}+1+o(1)}\Big),$$where $μ_1,\ldots, μ_n$ correspond to the preferences of the $n$ players,$C(μ_1, \ldots,μ_n)$ is the number of queries used by the algorithm and $b>4$. In particular, this gives$$\lim_{n \rightarrow + \infty}\mathbb{P}\big( C(μ_1, \ldots,μ_n) \geq n^{12}\big) = 0.$$ It must be noticed that nowadays few things are known about the complexity of envy-free division algorithms. Indeed, Procaccia has given a lower bound in $Ω(n^2)$ and Aziz and Mackenzie have given an upper bound in $n^{n^{n^{n^{n^{n}}}}}$. As our estimate means that we have $C(μ_1, \ldots, μ_n)<n^{12}$ with a high probability, this gives a new insight on the complexity of envy-free cake cutting algorithms. Our result follows from a study of Webb's algorithm and a theorem of Tao and Vu about the smallest singular value of a random matrix.
△ Less
Submitted 24 August, 2021; v1 submitted 5 May, 2020;
originally announced May 2020.
-
Cake cutting: Explicit examples for impossibility results
Authors:
Guillaume Chèze
Abstract:
In this article we suggest a model of computation for the cake cutting problem. In this model the mediator can ask the same queries as in the Robertson-Webb model but he or she can only perform algebraic operations as in the Blum-Shub-Smale model. All existing algorithms described in the Robertson-Webb model can be described in this new model.We show that in this model there exist explicit couples…
▽ More
In this article we suggest a model of computation for the cake cutting problem. In this model the mediator can ask the same queries as in the Robertson-Webb model but he or she can only perform algebraic operations as in the Blum-Shub-Smale model. All existing algorithms described in the Robertson-Webb model can be described in this new model.We show that in this model there exist explicit couples of measures for which no algorithm outputs an equitable fair division with connected parts.We also show that there exist explicit set of measures for which no algorithm in this model outputs a fair division which maximizes the utilitarian social welfare function.The main tool of our approach is Galois theory.
△ Less
Submitted 28 June, 2019;
originally announced July 2019.
-
How to share a cake with a secret agent
Authors:
Guillaume Chèze
Abstract:
In this note we study a problem of fair division in the absence of full information. We give an algorithm which solves the following problem: n $\ge$ 2 persons want to cut a cake into n shares so that each person will get at least 1/n of the cake for his or her own measure, furthermore the preferences of one person are secret. How can we construct such shares? Our algorithm is a slight modificatio…
▽ More
In this note we study a problem of fair division in the absence of full information. We give an algorithm which solves the following problem: n $\ge$ 2 persons want to cut a cake into n shares so that each person will get at least 1/n of the cake for his or her own measure, furthermore the preferences of one person are secret. How can we construct such shares? Our algorithm is a slight modification of the Even-Paz algorithm and allows to give a connected part to each agent. Moreover, the number of cuts used during the algorithm is optimal: O (n log(n)) .
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
Don't cry to be the first!Symmetric fair division exist
Authors:
Guillaume Chèze
Abstract:
In this article we study a cake cutting problem. More precisely, we study symmetric fair division algorithms, that is to say we study algorithms where the order of the players do not influence the value obtained by each player. In the first part of the article, we give a symmetric and envy-free fair division algorithm. More precisely, we show how to get a symmetric and envy-free fair division algo…
▽ More
In this article we study a cake cutting problem. More precisely, we study symmetric fair division algorithms, that is to say we study algorithms where the order of the players do not influence the value obtained by each player. In the first part of the article, we give a symmetric and envy-free fair division algorithm. More precisely, we show how to get a symmetric and envy-free fair division algorithm from an envy-free division algorithm. In the second part, we give a proportional and symmetric fair division algorithm with a complexity in O(n 3) in the Robertson-Webb model of complexity. This algorithm is based on Kuhn's algorithm. Furthermore, our study has led us to introduce a new notion: aristotelian fair division. This notion is an interpretation of Aristotle's principle: give equal shares to equal people. We conclude this article with a discussion and some questions about the Robertson-Webb model of computation.
△ Less
Submitted 11 October, 2019; v1 submitted 11 April, 2018;
originally announced April 2018.
-
Symbolic Computations of First Integrals for Polynomial Vector Fields
Authors:
Guillaume Chèze,
Thierry Combot
Abstract:
In this article we show how to generalize to the Darbouxian, Liouvillian and Riccati case the extactic curve introduced by J. Pereira. With this approach, we get new algorithms for computing, if it exists, a rational, Darbouxian, Liouvillian or Riccati first integral with bounded degree of a polynomial planar vector field. We give probabilistic and deterministic algorithms. The arithmetic complex…
▽ More
In this article we show how to generalize to the Darbouxian, Liouvillian and Riccati case the extactic curve introduced by J. Pereira. With this approach, we get new algorithms for computing, if it exists, a rational, Darbouxian, Liouvillian or Riccati first integral with bounded degree of a polynomial planar vector field. We give probabilistic and deterministic algorithms. The arithmetic complexity of our probabilistic algorithm is in $\tilde{\mathcal{O}}(N^{ω+1})$, where $N$ is the bound on the degree of a representation of the first integral and $ω\in [2;3]$ is the exponent of linear algebra. This result improves previous algorithms. Our algorithms have been implemented in Maple and are available on authors' websites. In the last section, we give some examples showing the efficiency of these algorithms.
△ Less
Submitted 19 December, 2018; v1 submitted 23 October, 2017;
originally announced October 2017.
-
How to cut a cake with a gram matrix
Authors:
Guillaume Chèze,
Luca Amodei
Abstract:
In this article we study the problem of fair division. In particular we study a notion introduced by J. Barbanel that generalizes super envy-free fair division. We give a new proof of his result. Our approach allows us to give an explicit bound for this kind of fair division. Furthermore, we also give a theoretical answer to an open problem posed by Barbanel in 1996. Roughly speaking, this questio…
▽ More
In this article we study the problem of fair division. In particular we study a notion introduced by J. Barbanel that generalizes super envy-free fair division. We give a new proof of his result. Our approach allows us to give an explicit bound for this kind of fair division. Furthermore, we also give a theoretical answer to an open problem posed by Barbanel in 1996. Roughly speaking, this question is: how can we decide if there exists a fair division satisfying some inequalities constraints? Furthermore, when all the measures are given with piecewise constant density functions then we show how to construct effectively such a fair division.
△ Less
Submitted 7 July, 2017;
originally announced July 2017.
-
Existence of a simple and equitable fair division: a short proof
Authors:
Guillaume Chèze
Abstract:
In this note we study how to share a good between n players in a simple and equitable way. We give a short proof for the existence of such fair divisions.
In this note we study how to share a good between n players in a simple and equitable way. We give a short proof for the existence of such fair divisions.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
Topological aggregation, the twin paradox and the no show paradox
Authors:
Guillaume Chèze
Abstract:
Consider the framework of topological aggregation introduced by Chichilnisky (1980). We prove that in this framework the Twin Paradox and the No Show Paradox cannot be avoided. Anonymity and unanimity are not needed to obtain these results.
Consider the framework of topological aggregation introduced by Chichilnisky (1980). We prove that in this framework the Twin Paradox and the No Show Paradox cannot be avoided. Anonymity and unanimity are not needed to obtain these results.
△ Less
Submitted 26 August, 2016;
originally announced August 2016.
-
Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields
Authors:
Alin Bostan,
Guillaume Chèze,
Thomas Cluzeau,
Jacques-Arthur Weil
Abstract:
We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach is inspired by an idea of Ferragut and Giacomini. We improve upon their work by proving that rational first integrals can be computed via systems of linear equations instead of systems of quadratic equations. This leads to a probabilistic algorithm with arithmetic…
▽ More
We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach is inspired by an idea of Ferragut and Giacomini. We improve upon their work by proving that rational first integrals can be computed via systems of linear equations instead of systems of quadratic equations. This leads to a probabilistic algorithm with arithmetic complexity $\bigOsoft(N^{2 ω})$ and to a deterministic algorithm solving the problem in $\bigOsoft(d^2N^{2 ω+1})$ arithmetic operations, where $N$ denotes the given bound for the degree of the rational first integral, and where $d \leq N$ is the degree of the vector field, and $ω$ the exponent of linear algebra. We also provide a fast heuristic variant which computes a rational first integral, or fails, in $\bigOsoft(N^{ω+2})$ arithmetic operations. By comparison, the best previous algorithm uses at least $d^{ω+1}\, N^{4ω+4}$ arithmetic operations. We then show how to apply a similar method to the computation of Darboux polynomials. The algorithms are implemented in a Maple package which is available to interested readers with examples showing its efficiency.
△ Less
Submitted 10 October, 2013;
originally announced October 2013.
-
A recombination algorithm for the decomposition of multivariate rational functions
Authors:
Guillaume Chèze
Abstract:
In this paper we show how we can compute in a deterministic way the decomposition of a multivariate rational function with a recombination strategy. The key point of our recombination strategy is the used of Darboux polynomials. We study the complexity of this strategy and we show that this method improves the previous ones. In appendix, we explain how the strategy proposed recently by J. Berthomi…
▽ More
In this paper we show how we can compute in a deterministic way the decomposition of a multivariate rational function with a recombination strategy. The key point of our recombination strategy is the used of Darboux polynomials. We study the complexity of this strategy and we show that this method improves the previous ones. In appendix, we explain how the strategy proposed recently by J. Berthomieu and G. Lecerf for the sparse factorization can be used in the decomposition setting. Then we deduce a decomposition algorithm in the sparse bivariate case and we give its complexity
△ Less
Submitted 3 November, 2010;
originally announced November 2010.
-
Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time
Authors:
Guillaume Chèze
Abstract:
In this paper we study planar polynomial differential systems of this form: dX/dt=A(X, Y), dY/dt= B(X, Y), where A,B belongs to Z[X, Y], degA \leq d, degB \leq d, and the height of A and B is smaller than H. A lot of properties of planar polynomial differential systems are related to irreducible Darboux polynomials of the corresponding derivation: D =A(X, Y)dX + B(X, Y)dY . Darboux polynomials are…
▽ More
In this paper we study planar polynomial differential systems of this form: dX/dt=A(X, Y), dY/dt= B(X, Y), where A,B belongs to Z[X, Y], degA \leq d, degB \leq d, and the height of A and B is smaller than H. A lot of properties of planar polynomial differential systems are related to irreducible Darboux polynomials of the corresponding derivation: D =A(X, Y)dX + B(X, Y)dY . Darboux polynomials are usually computed with the method of undetermined coefficients. With this method we have to solve a polynomial system. We show that this approach can give rise to the computation of an exponential number of reducible Darboux polynomials. Here we show that the Lagutinskii-Pereira's algorithm computes irreducible Darboux polynomials with degree smaller than N, with a polynomial number, relatively to d, log(H) and N, binary operations. We also give a polynomial-time method to compute, if it exists, a rational first integral with bounded degree.
△ Less
Submitted 15 September, 2010;
originally announced September 2010.
-
Nearly Optimal Algorithms for the Decomposition of Multivariate Rational Functions and the Extended Lüroth's Theorem
Authors:
Guillaume Chèze
Abstract:
The extended Lüroth's Theorem says that if the transcendence degree of $\KK(\mathsf{f}_1,\dots,\mathsf{f}_m)/\KK$ is 1 then there exists $f \in \KK(\underline{X})$ such that $\KK(\mathsf{f}_1,\dots,\mathsf{f}_m)$ is equal to $\KK(f)$. In this paper we show how to compute $f$ with a probabilistic algorithm. We also describe a probabilistic and a deterministic algorithm for the decomposition of mult…
▽ More
The extended Lüroth's Theorem says that if the transcendence degree of $\KK(\mathsf{f}_1,\dots,\mathsf{f}_m)/\KK$ is 1 then there exists $f \in \KK(\underline{X})$ such that $\KK(\mathsf{f}_1,\dots,\mathsf{f}_m)$ is equal to $\KK(f)$. In this paper we show how to compute $f$ with a probabilistic algorithm. We also describe a probabilistic and a deterministic algorithm for the decomposition of multivariate rational functions. The probabilistic algorithms proposed in this paper are softly optimal when $n$ is fixed and $d$ tends to infinity. We also give an indecomposability test based on gcd computations and Newton's polytope. In the last section, we show that we get a polynomial time algorithm, with a minor modification in the exponential time decomposition algorithm proposed by Gutierez-Rubio-Sevilla in 2001.
△ Less
Submitted 29 April, 2010;
originally announced April 2010.
-
Noether's forms for the study of non-composite rational functions and their spectrum
Authors:
Laurent Busé,
Guillaume Chèze,
Salah Najib
Abstract:
In this paper, the spectrum and the decomposability of a multivariate rational function are studied by means of the effective Noether's irreducibility theorem given by Ruppert. With this approach, some new effective results are obtained. In particular, we show that the reduction modulo p of the spectrum of a given integer multivariate rational function r coincides with the spectrum of the reduct…
▽ More
In this paper, the spectrum and the decomposability of a multivariate rational function are studied by means of the effective Noether's irreducibility theorem given by Ruppert. With this approach, some new effective results are obtained. In particular, we show that the reduction modulo p of the spectrum of a given integer multivariate rational function r coincides with the spectrum of the reduction of r modulo p for p a prime integer greater or equal to an explicit bound. This bound is given in terms of the degree, the height and the number of variables of r. With the same strategy, we also study the decomposability of r modulo p. Some similar explicit results are also provided for the case of polynomials with coefficients in a polynomial ring.
△ Less
Submitted 16 June, 2009;
originally announced June 2009.
-
On the total order of reducibility of a pencil of algebraic plane curves
Authors:
Laurent Busé,
Guillaume Chèze
Abstract:
In this paper, the problem of bounding the number of reducible curves in a pencil of algebraic plane curves is addressed. Unlike most of the previous related works, each reducible curve of the pencil is here counted with its appropriate multiplicity. It is proved that this number of reducible curves, counted with multiplicity, is bounded by d^2-1 where d is the degree of the pencil. Then, a sharpe…
▽ More
In this paper, the problem of bounding the number of reducible curves in a pencil of algebraic plane curves is addressed. Unlike most of the previous related works, each reducible curve of the pencil is here counted with its appropriate multiplicity. It is proved that this number of reducible curves, counted with multiplicity, is bounded by d^2-1 where d is the degree of the pencil. Then, a sharper bound is given by taking into account the Newton's polygon of the pencil.
△ Less
Submitted 17 August, 2011; v1 submitted 26 December, 2008;
originally announced December 2008.