-
Balanced assignments of periodic tasks
Authors:
Héloïse Gachet,
Frédéric Meunier
Abstract:
This work deals with a problem of assigning periodic tasks to employees in such a way that each employee performs each task with the same frequency in the long term. The motivation comes from a collaboration with the SNCF, the main French railway company. An almost complete solution is provided under the form of a necessary and sufficient condition that can be checked in polynomial time. A complem…
▽ More
This work deals with a problem of assigning periodic tasks to employees in such a way that each employee performs each task with the same frequency in the long term. The motivation comes from a collaboration with the SNCF, the main French railway company. An almost complete solution is provided under the form of a necessary and sufficient condition that can be checked in polynomial time. A complementary discussion about possible extensions is also proposed.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Quasi-kernels in split graphs
Authors:
Hélène Langlois,
Frédéric Meunier,
Romeo Rizzi,
Stéphane Vialette,
Yacong Zhou
Abstract:
In a digraph, a quasi-kernel is a subset of vertices that is independent and such that the shortest path from every vertex to this subset is of length at most two. The ``small quasi-kernel conjecture,'' proposed by Erdős and Székely in 1976, postulates that every sink-free digraph has a quasi-kernel whose size is within a fraction of the total number of vertices. The conjecture is even more precis…
▽ More
In a digraph, a quasi-kernel is a subset of vertices that is independent and such that the shortest path from every vertex to this subset is of length at most two. The ``small quasi-kernel conjecture,'' proposed by Erdős and Székely in 1976, postulates that every sink-free digraph has a quasi-kernel whose size is within a fraction of the total number of vertices. The conjecture is even more precise with a $1/2$ ratio, but even with larger ratio, this property is known to hold only for few classes of graphs. The focus here is on small quasi-kernels in split graphs. This family of graphs has played a special role in the study of the conjecture since it was used to disprove a strengthening that postulated the existence of two disjoint quasi-kernels. The paper proves that every sink-free split digraph $D$ has a quasi-kernel of size at most $\frac{2}{3}|V(D)|$, and even of size at most two when the graph is an orientation of a complete split graph. It is also shown that computing a quasi-kernel of minimal size in a split digraph is W[2]-hard.
△ Less
Submitted 26 February, 2024; v1 submitted 24 December, 2023;
originally announced December 2023.
-
Box complexes: at the crossroad of graph theory and topology
Authors:
Hamid Reza Daneshpajouh,
Frédéric Meunier
Abstract:
Various simplicial complexes can be associated with a graph. Box complexes form an important families of such simplicial complexes and are especially useful for providing lower bounds on the chromatic number of the graph via some of their topological properties. They provide thus a fascinating topic mixing topology and discrete mathematics. This paper is intended to provide an up-do-date survey on…
▽ More
Various simplicial complexes can be associated with a graph. Box complexes form an important families of such simplicial complexes and are especially useful for providing lower bounds on the chromatic number of the graph via some of their topological properties. They provide thus a fascinating topic mixing topology and discrete mathematics. This paper is intended to provide an up-do-date survey on box complexes. It is based on classical results and recent findings from the literature, but also establishes new results improving our current understanding of the topic, and identifies several challenging open questions.
△ Less
Submitted 4 January, 2024; v1 submitted 1 July, 2023;
originally announced July 2023.
-
Maximal workload, minimal workload, maximal workload difference: optimizing all criteria at once
Authors:
Sébastien Dechamps,
Frédéric Meunier
Abstract:
In a simple model of assigning workers to tasks, every solution that minimizes the load difference between the most loaded worker and the least loaded one actually minimizes the maximal load and maximizes the minimal load. This can be seen as a consequence of standard results of optimization over polymatroids. We show that similar phenomena still occur in close models, simple to state, and that do…
▽ More
In a simple model of assigning workers to tasks, every solution that minimizes the load difference between the most loaded worker and the least loaded one actually minimizes the maximal load and maximizes the minimal load. This can be seen as a consequence of standard results of optimization over polymatroids. We show that similar phenomena still occur in close models, simple to state, and that do not enjoy any polymatroid structure.
△ Less
Submitted 30 June, 2023; v1 submitted 18 May, 2023;
originally announced May 2023.
-
On the continuity assumption of "Finite Adaptability in Multistage Linear Optimization'' by Bertsimas and Caramanis
Authors:
Safia Kedad-Sidhoum,
Anton Medvedev,
Frédéric Meunier
Abstract:
Two-stage robust optimization is a fundamental paradigm for modeling and solving optimization problems with uncertain parameters. A now classical method within this paradigm is finite-adaptability, introduced by Bertsimas and Caramanis (IEEE Transactions on Automatic Control, 2010). In this note, we point out that the continuity assumption they stated to ensure the convergence of the method is not…
▽ More
Two-stage robust optimization is a fundamental paradigm for modeling and solving optimization problems with uncertain parameters. A now classical method within this paradigm is finite-adaptability, introduced by Bertsimas and Caramanis (IEEE Transactions on Automatic Control, 2010). In this note, we point out that the continuity assumption they stated to ensure the convergence of the method is not correct, and we propose an alternative assumption for which we prove the desired convergence.
△ Less
Submitted 17 May, 2024; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Linear lexicographic optimization and preferential bidding system
Authors:
Nour ElHouda Tellache,
Frédéric Meunier,
Axel Parmentier
Abstract:
Some airlines use the preferential bidding system to construct the schedules of their pilots. In this system, the pilots bid on the different activities and the schedules that lexicographically maximize the scores of the pilots according to their seniority are selected. A sequential approach to solve this maximization problem is natural: the problem is first solved with the bids of the most senior…
▽ More
Some airlines use the preferential bidding system to construct the schedules of their pilots. In this system, the pilots bid on the different activities and the schedules that lexicographically maximize the scores of the pilots according to their seniority are selected. A sequential approach to solve this maximization problem is natural: the problem is first solved with the bids of the most senior pilot; then it is solved with those of the second most senior without decreasing the score of the most senior, and so on. The literature admits that the structure of the problem somehow imposes such an approach. The problem can be modeled as an integer linear lexicographic program. We propose a new exact method, which relies on column generation for solving its continuous relaxation. To design this column generation, we prove that bounded linear lexicographic programs admit "primal-dual" feasible bases and we show how to compute such bases efficiently. Another contribution on which our exact method relies consists in the extension of standard tools for resource-constrained longest path problems to their lexicographic versions. This is useful in our context since the generation of new columns is modeled as a lexicographic resource-constrained longest path problem. Numerical experiments show that this new method is already able to solve industrial instances provided by Air France, with up to 150 pilots. By adding a last ingredient in the resolution of the longest path problems, which exploits the specificity of the preferential bidding system, the method achieves for these instances computational times that are compatible with operational constraints.
△ Less
Submitted 4 November, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
Algorithmic aspects of quasi-kernels
Authors:
Hélène Langlois,
Frédéric Meunier,
Romeo Rizzi,
Stéphane Vialette
Abstract:
In a digraph, a quasi-kernel is a subset of vertices that is independent and such that every vertex can reach some vertex in that set via a directed path of length at most two. Whereas Chvátal and Lovász proved in 1974 that every digraph has a quasi-kernel, very little is known so far about the complexity of finding small quasi-kernels. In 1976 Erdős and Székely conjectured that every sink-free di…
▽ More
In a digraph, a quasi-kernel is a subset of vertices that is independent and such that every vertex can reach some vertex in that set via a directed path of length at most two. Whereas Chvátal and Lovász proved in 1974 that every digraph has a quasi-kernel, very little is known so far about the complexity of finding small quasi-kernels. In 1976 Erdős and Székely conjectured that every sink-free digraph $D = (V, A)$ has a quasi-kernel of size at most $|V|/2$. Obviously, if $D$ has two disjoint quasi-kernels then it has a quasi-kernel of size at most $|V|/2$, and in 2001 Gutin, Koh, Tay and Yeo conjectured that every sink-free digraph has two disjoint quasi-kernels. Yet, they constructed in 2004 a counterexample, thereby disproving this stronger conjecture. We shall show that, not only sink-free digraphs occasionally fail to contain two disjoint quasi-kernels, but it is computationally hard to distinguish those that do from those that do not. We also prove that the problem of computing a small quasi-kernel is polynomial time solvable for orientations of trees but is computationally hard in most other cases (and in particular for restricted acyclic digraphs).
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
Envy-free division of multi-layered cakes
Authors:
Ayumi Igarashi,
Frédéric Meunier
Abstract:
We study the problem of dividing a multi-layered cake under non-overlap** constraints. This problem, recently proposed by Hosseini et al. (IJCAI, 2020), captures several natural scenarios such as the allocation of multiple facilities over time where each agent can utilize at most one facility simultaneously, and the allocation of tasks over time where each agent can perform at most one task simu…
▽ More
We study the problem of dividing a multi-layered cake under non-overlap** constraints. This problem, recently proposed by Hosseini et al. (IJCAI, 2020), captures several natural scenarios such as the allocation of multiple facilities over time where each agent can utilize at most one facility simultaneously, and the allocation of tasks over time where each agent can perform at most one task simultaneously. We establish the existence of an envy-free multi-division that is both non-overlap** and contiguous within each layer when the number of agents is a prime power and the number of layers is at most the number of agents, providing a positive partial answer to an open question by Hosseini et al. To achieve this, we employ a new approach based on a general fixed point theorem, originally proven by Volovikov (1996), and recently applied by Jojić, Panina, and Živaljević (2020) to the envy-free division problem of a cake. We further design a fully polynomial-time approximation scheme (FPTAS) to find an approximate envy-free solution that is both non-overlap** and contiguous for a two-layered cake division among three agents with monotone preferences. More generally, we establish all the results for divisions among groups of almost the same size. When there are three groups and one layer, our FPTAS is actually able to deal with groups of any predetermined sizes, still under the monotone preference assumptions. For three groups, this provides thus an algorithmic version of a recent theorem by Segal-Halevi and Suksompong (2021). A classical lemma from topology ensures that every self-map of a simplex map** each facet to itself is surjective. This lemma has often been used in economics theory and our algorithm can be interpreted as an FPTAS counterpart of its two-dimensional version.
△ Less
Submitted 20 December, 2022; v1 submitted 4 June, 2021;
originally announced June 2021.
-
$O_n$ is an $n$-MCFL
Authors:
Kilian Gebhardt,
Frédéric Meunier,
Sylvain Salvati
Abstract:
Commutative properties in formal languages pose problems at the frontier of computer science, computational linguistics and computational group theory. A prominent problem of this kind is the position of the language $O_n$, the language that contains the same number of letters $a_i$ and $\bar a_i$ with $1\leq i\leq n$, in the known classes of formal languages. It has recently been shown that…
▽ More
Commutative properties in formal languages pose problems at the frontier of computer science, computational linguistics and computational group theory. A prominent problem of this kind is the position of the language $O_n$, the language that contains the same number of letters $a_i$ and $\bar a_i$ with $1\leq i\leq n$, in the known classes of formal languages. It has recently been shown that $O_n$ is a Multiple Context-Free Language (MCFL). However the more precise conjecture of Nederhof that $O_n$ is an MCFL of dimension $n$ was left open. We present two proofs of this conjecture, both relying on tools from algebraic topology. On our way, we prove a variant of the necklace splitting theorem.
△ Less
Submitted 22 December, 2020;
originally announced December 2020.
-
Tropical complementarity problems and Nash equilibria
Authors:
Xavier Allamigeon,
Stéphane Gaubert,
Frédéric Meunier
Abstract:
Linear complementarity programming is a generalization of linear programming which encompasses the computation of Nash equilibria for bimatrix games. While the latter problem is PPAD-complete, we show that the tropical analogue of the complementarity problem associated with Nash equilibria can be solved in polynomial time. Moreover, we prove that the Lemke--Howson algorithm carries over the tropic…
▽ More
Linear complementarity programming is a generalization of linear programming which encompasses the computation of Nash equilibria for bimatrix games. While the latter problem is PPAD-complete, we show that the tropical analogue of the complementarity problem associated with Nash equilibria can be solved in polynomial time. Moreover, we prove that the Lemke--Howson algorithm carries over the tropical setting and performs a linear number of pivots in the worst case. A consequence of this result is a new class of (classical) bimatrix games for which Nash equilibria computation can be done in polynomial time.
△ Less
Submitted 4 November, 2022; v1 submitted 9 December, 2020;
originally announced December 2020.
-
Colorings of complements of line graphs
Authors:
Hamid Reza Daneshpajouh,
Frédéric Meunier,
Guilhem Mizrahi
Abstract:
Our purpose is to show that complements of line graphs enjoy nice coloring properties. We show that for all graphs in this class the local and usual chromatic numbers are equal. We also prove a sufficient condition for the chromatic number to be equal to a natural upper bound. A consequence of this latter condition is a complete characterization of all induced subgraphs of the Kneser graph…
▽ More
Our purpose is to show that complements of line graphs enjoy nice coloring properties. We show that for all graphs in this class the local and usual chromatic numbers are equal. We also prove a sufficient condition for the chromatic number to be equal to a natural upper bound. A consequence of this latter condition is a complete characterization of all induced subgraphs of the Kneser graph $\operatorname{KG}(n,2)$ that have a chromatic number equal to its chromatic number, namely $n-2$. In addition to the upper bound, a lower bound is provided by Dol'nikov's theorem, a classical result of the topological method in graph theory. We prove the $\operatorname{NP}$-hardness of deciding the equality between the chromatic number and any of these bounds.
The topological method is especially suitable for the study of coloring properties of complements of line graphs of hypergraphs. Nevertheless, all proofs in this paper are elementary and we also provide a short discussion on the ability for the topological methods to cover some of our results.
△ Less
Submitted 6 April, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Topological bounds for graph representations over any field
Authors:
Meysam Alishahi,
Frédéric Meunier
Abstract:
Haviv ({\em European Journal of Combinatorics}, 2019) has recently proved that some topological lower bounds on the chromatic number of graphs are also lower bounds on their orthogonality dimension over $\mathbb{R}$. We show that this holds actually for all known topological lower bounds and all fields. We also improve the topological bound he obtained for the minrank parameter over $\mathbb{R}$ -…
▽ More
Haviv ({\em European Journal of Combinatorics}, 2019) has recently proved that some topological lower bounds on the chromatic number of graphs are also lower bounds on their orthogonality dimension over $\mathbb{R}$. We show that this holds actually for all known topological lower bounds and all fields. We also improve the topological bound he obtained for the minrank parameter over $\mathbb{R}$ -- an important graph invariant from coding theory -- and show that this bound is actually valid for all fields as well. The notion of independent representation over a matroid is introduced and used in a general theorem having these results as corollaries. Related complexity results are also discussed.
△ Less
Submitted 11 October, 2019; v1 submitted 15 September, 2019;
originally announced September 2019.
-
Different versions of the nerve theorem and rainbow simplices
Authors:
Frédéric Meunier,
Luis Montejano
Abstract:
Given a simplicial complex and a collection of subcomplexes covering it, the nerve theorem, a fundamental tool in topological combinatorics, guarantees a certain connectivity of the simplicial complex when connectivity conditions on the intersection of the subcomplexes are satisfied. We show that it is possible to extend this theorem by replacing some of these connectivity conditions on the inters…
▽ More
Given a simplicial complex and a collection of subcomplexes covering it, the nerve theorem, a fundamental tool in topological combinatorics, guarantees a certain connectivity of the simplicial complex when connectivity conditions on the intersection of the subcomplexes are satisfied. We show that it is possible to extend this theorem by replacing some of these connectivity conditions on the intersection of the subcomplexes by connectivity conditions on their union. While this is interesting for its own sake, we use this extension to generalize in various ways the Meshulam lemma, a powerful homological version of the Sperner lemma. We also prove a generalization of the Meshulam lemma that is somehow reminiscent of the polytopal generalization of the Sperner lemma by De Loera, Peterson, and Su. For this latter result, we use a different approach and we do not know whether there is a way to get it via a nerve theorem of some kind.
△ Less
Submitted 29 July, 2019; v1 submitted 3 July, 2018;
originally announced July 2018.
-
Envy-free cake division without assuming the players prefer nonempty pieces
Authors:
Frédéric Meunier,
Shira Zerbib
Abstract:
Consider $n$ players having preferences over the connected pieces of a cake, identified with the interval $[0,1]$. A classical theorem, found independently by Stromquist and by Woodall in 1980, ensures that, under mild conditions, it is possible to divide the cake into $n$ connected pieces and assign these pieces to the players in an envy-free manner, i.e, such that no player strictly prefers a pi…
▽ More
Consider $n$ players having preferences over the connected pieces of a cake, identified with the interval $[0,1]$. A classical theorem, found independently by Stromquist and by Woodall in 1980, ensures that, under mild conditions, it is possible to divide the cake into $n$ connected pieces and assign these pieces to the players in an envy-free manner, i.e, such that no player strictly prefers a piece that has not been assigned to her. One of these conditions, considered as crucial, is that no player is happy with an empty piece. We prove that, even if this condition is not satisfied, it is still possible to get such a division when $n$ is a prime number or is equal to $4$. When $n$ is at most $3$, this has been previously proved by Erel Segal-Halevi, who conjectured that the result holds for any $n$. The main step in our proof is a new combinatorial lemma in topology, close to a conjecture by Segal-Halevi and which is reminiscent of the celebrated Sperner lemma: instead of restricting the labels that can appear on each face of the simplex, the lemma considers labelings that enjoy a certain symmetry on the boundary.
△ Less
Submitted 15 January, 2019; v1 submitted 2 April, 2018;
originally announced April 2018.
-
Tverberg theorems over discrete sets of points
Authors:
Jesús A. De Loera,
Thomas A. Hogan,
Frédéric Meunier,
Nabil Mustafa
Abstract:
This paper discusses Tverberg-type theorems with coordinate constraints (i.e., versions of these theorems where all points lie within a subset $S \subset \mathbb{R}^d$ and the intersection of convex hulls is required to have a non-empty intersection with $S$). We determine the $m$-Tverberg number, when $m \geq 3$, of any discrete subset $S$ of $\mathbb{R}^2$ (a generalization of an unpublished res…
▽ More
This paper discusses Tverberg-type theorems with coordinate constraints (i.e., versions of these theorems where all points lie within a subset $S \subset \mathbb{R}^d$ and the intersection of convex hulls is required to have a non-empty intersection with $S$). We determine the $m$-Tverberg number, when $m \geq 3$, of any discrete subset $S$ of $\mathbb{R}^2$ (a generalization of an unpublished result of J.-P. Doignon). We also present improvements on the upper bounds for the Tverberg numbers of $\mathbb{Z}^3$ and $\mathbb{Z}^j \times \mathbb{R}^k$ and an integer version of the well-known positive-fraction selection lemma of J. Pach.
△ Less
Submitted 29 January, 2019; v1 submitted 5 March, 2018;
originally announced March 2018.
-
Perfect graphs with polynomially computable kernels
Authors:
Adèle Pass-Lanneau,
Ayumi Igarashi,
Frédéric Meunier
Abstract:
In a directed graph, a kernel is a subset of vertices that is both stable and absorbing. Not all digraphs have a kernel, but a theorem due to Boros and Gurvich guarantees the existence of a kernel in every clique-acyclic orientation of a perfect graph. However, an open question is the complexity status of the computation of a kernel in such a digraph. Our main contribution is to prove new polynomi…
▽ More
In a directed graph, a kernel is a subset of vertices that is both stable and absorbing. Not all digraphs have a kernel, but a theorem due to Boros and Gurvich guarantees the existence of a kernel in every clique-acyclic orientation of a perfect graph. However, an open question is the complexity status of the computation of a kernel in such a digraph. Our main contribution is to prove new polynomiality results for subfamilies of perfect graphs, among which are claw-free perfect graphs and chordal graphs. Our results are based on the design of kernel computation methods with respect to two graph operations: clique-cutset decomposition and augmentation of flat edges. We also prove that deciding the existence of a kernel - and computing it if it exists - is polynomial in every orientation of a chordal or a circular-arc graph, even not clique-acyclic.
△ Less
Submitted 7 January, 2018;
originally announced January 2018.
-
Multilabeled versions of Sperner's and Fan's lemmas and applications
Authors:
Frédéric Meunier,
Francis Edward Su
Abstract:
We propose a general technique related to the polytopal Sperner lemma for proving old and new multilabeled versions of Sperner's lemma. A notable application of this technique yields a cake-cutting theorem where the number of players and the number of pieces can be independently chosen. We also prove multilabeled versions of Fan's lemma, a combinatorial analogue of the Borsuk-Ulam theorem, and exh…
▽ More
We propose a general technique related to the polytopal Sperner lemma for proving old and new multilabeled versions of Sperner's lemma. A notable application of this technique yields a cake-cutting theorem where the number of players and the number of pieces can be independently chosen. We also prove multilabeled versions of Fan's lemma, a combinatorial analogue of the Borsuk-Ulam theorem, and exhibit applications to fair division and graph coloring.
△ Less
Submitted 9 May, 2019; v1 submitted 6 January, 2018;
originally announced January 2018.
-
Aircraft routing and crew pairing: updated algorithms at Air France
Authors:
Axel Parmentier,
Frédéric Meunier
Abstract:
Aircraft routing and crew pairing problems aims at building the sequences of flight legs operated respectively by airplanes and by crews of an airline. Given their impact on airlines operating costs, both have been extensively studied for decades. Our goal is to provide reliable and easy to maintain frameworks for both problems at Air France. We propose simple approaches to deal with Air France cu…
▽ More
Aircraft routing and crew pairing problems aims at building the sequences of flight legs operated respectively by airplanes and by crews of an airline. Given their impact on airlines operating costs, both have been extensively studied for decades. Our goal is to provide reliable and easy to maintain frameworks for both problems at Air France. We propose simple approaches to deal with Air France current setting. For routing, we introduce a compact MIP formulation that can be solved by current MIP solvers in at most a few minutes even on Air France largest instances. Regarding crew pairing, we provide a standard methodology to model the column generation pricing subproblem within a new resource constrained shortest path framework recently introduced by the first author. This new framework, which can be used as a black-box, leverages on bounds on paths' resource to discard partial solutions and speed-up the resolution. The resulting approach enables to solve to optimality Air France largest instances. Recent literature has focused on integrating aircraft routing and crew pairing problems. As a side result, we have been able to solve to near optimality large industrial instances of the integrated problem by combining the aforementioned algorithms within a simple cut generating method.
△ Less
Submitted 9 October, 2019; v1 submitted 21 June, 2017;
originally announced June 2017.
-
The discrete yet ubiquitous theorems of Carathéodory, Helly, Sperner, Tucker, and Tverberg
Authors:
Jesus A. De Loera,
Xavier Goaoc,
Frédéric Meunier,
Nabil Mustafa
Abstract:
We discuss five discrete results: the lemmas of Sperner and Tucker from combinatorial topology and the theorems of Carathéodory, Helly, and Tverberg from combinatorial geometry. We explore their connections and emphasize their broad impact in application areas such as game theory, graph theory, mathematical optimization, computational geometry, etc.
We discuss five discrete results: the lemmas of Sperner and Tucker from combinatorial topology and the theorems of Carathéodory, Helly, and Tverberg from combinatorial geometry. We explore their connections and emphasize their broad impact in application areas such as game theory, graph theory, mathematical optimization, computational geometry, etc.
△ Less
Submitted 8 October, 2018; v1 submitted 16 June, 2017;
originally announced June 2017.
-
Minimizing the waiting time for a one-way shuttle service
Authors:
Laurent Daudet,
Frédéric Meunier
Abstract:
Consider a terminal in which users arrive continuously over a finite period of time at a variable rate known in advance. A fleet of shuttles has to carry the users over a fixed trip. What is the shuttle schedule that minimizes their waiting time? This is the question addressed in the present paper. We propose efficient algorithms for several variations of this question with proven performance guar…
▽ More
Consider a terminal in which users arrive continuously over a finite period of time at a variable rate known in advance. A fleet of shuttles has to carry the users over a fixed trip. What is the shuttle schedule that minimizes their waiting time? This is the question addressed in the present paper. We propose efficient algorithms for several variations of this question with proven performance guarantees. The techniques used are of various types (convex optimization, shortest paths,...). The paper ends with numerical experiments showing that most of our algorithms behave also well in practice.
△ Less
Submitted 6 June, 2017;
originally announced June 2017.
-
Fair splitting of colored paths
Authors:
Meysam Alishahi,
Frédéric Meunier
Abstract:
This paper deals with two problems about splitting fairly a path with colored vertices, where "fairly" means that each part contains almost the same amount of vertices in each color. Our first result states that it is possible to remove one vertex per color from a path with colored vertices so that the remaining vertices can be fairly split into two independent sets of the path. It implies in part…
▽ More
This paper deals with two problems about splitting fairly a path with colored vertices, where "fairly" means that each part contains almost the same amount of vertices in each color. Our first result states that it is possible to remove one vertex per color from a path with colored vertices so that the remaining vertices can be fairly split into two independent sets of the path. It implies in particular a conjecture of Ron Aharoni and coauthors. The proof uses the octahedral Tucker lemma. Our second result is the proof of a particular case of a conjecture of D{ö}m{ö}t{ö}r P{á}lv{ö}lgyi about fair splittings of necklaces for which one can decide which thieves are advantaged. The proof is based on a rounding technique introduced by Noga Alon and coauthors to prove the discrete splitting necklace theorem from the continuous one.
△ Less
Submitted 6 June, 2017; v1 submitted 10 April, 2017;
originally announced April 2017.
-
Achieving rental harmony with a secretive roommate
Authors:
Florian Frick,
Kelsey Houston-Edwards,
Frédéric Meunier
Abstract:
Given the subjective preferences of n roommates in an n-bedroom apartment, one can use Sperner's lemma to find a division of the rent such that each roommate is content with a distinct room. At the given price distribution, no roommate has a strictly stronger preference for a different room. We give a new elementary proof that the subjective preferences of only n-1 of the roommates actually suffic…
▽ More
Given the subjective preferences of n roommates in an n-bedroom apartment, one can use Sperner's lemma to find a division of the rent such that each roommate is content with a distinct room. At the given price distribution, no roommate has a strictly stronger preference for a different room. We give a new elementary proof that the subjective preferences of only n-1 of the roommates actually suffice to achieve this envy-free rent division. Our proof, in particular, yields an algorithm to find such a fair division of rent. The techniques also give generalizations of Sperner's lemma including a new proof of a conjecture of the third author.
△ Less
Submitted 10 May, 2017; v1 submitted 23 February, 2017;
originally announced February 2017.
-
A business dinner problem
Authors:
Alejandra Estanislao,
Frédéric Meunier
Abstract:
We are given suppliers and customers, and a set of tables. Every evening of the forthcoming days, there will be a dinner. Each customer must eat with each supplier exactly once, but two suppliers may meet at most once at a table. The number of customers and the number of suppliers who can sit together at a table are bounded above by fixed parameters. What is the minimum number of evenings to be sc…
▽ More
We are given suppliers and customers, and a set of tables. Every evening of the forthcoming days, there will be a dinner. Each customer must eat with each supplier exactly once, but two suppliers may meet at most once at a table. The number of customers and the number of suppliers who can sit together at a table are bounded above by fixed parameters. What is the minimum number of evenings to be scheduled in order to reach this objective? This question was submitted by a firm to the Junior company of a French engineering school some years ago. Lower and upper bounds are given in this paper, as well as proven optimal solutions with closed-form expressions for some cases.
△ Less
Submitted 23 December, 2020; v1 submitted 30 September, 2016;
originally announced October 2016.
-
The Rainbow at the End of the Line --- A PPAD Formulation of the Colorful Carathéodory Theorem with Applications
Authors:
Frédéric Meunier,
Wolfgang Mulzer,
Pauline Sarrabezolles,
Yannik Stein
Abstract:
Let $C_1,...,C_{d+1}$ be $d+1$ point sets in $\mathbb{R}^d$, each containing the origin in its convex hull. A subset $C$ of $\bigcup_{i=1}^{d+1} C_i$ is called a colorful choice (or rainbow) for $C_1, \dots, C_{d+1}$, if it contains exactly one point from each set $C_i$. The colorful Carathéodory theorem states that there always exists a colorful choice for $C_1,\dots,C_{d+1}$ that has the origin…
▽ More
Let $C_1,...,C_{d+1}$ be $d+1$ point sets in $\mathbb{R}^d$, each containing the origin in its convex hull. A subset $C$ of $\bigcup_{i=1}^{d+1} C_i$ is called a colorful choice (or rainbow) for $C_1, \dots, C_{d+1}$, if it contains exactly one point from each set $C_i$. The colorful Carathéodory theorem states that there always exists a colorful choice for $C_1,\dots,C_{d+1}$ that has the origin in its convex hull. This theorem is very general and can be used to prove several other existence theorems in high-dimensional discrete geometry, such as the centerpoint theorem or Tverberg's theorem. The colorful Carathéodory problem (CCP) is the computational problem of finding such a colorful choice. Despite several efforts in the past, the computational complexity of CCP in arbitrary dimension is still open.
We show that CCP lies in the intersection of the complexity classes PPAD and PLS. This makes it one of the few geometric problems in PPAD and PLS that are not known to be solvable in polynomial time. Moreover, it implies that the problem of computing centerpoints, computing Tverberg partitions, and computing points with large simplicial depth is contained in $\text{PPAD} \cap \text{PLS}$. This is the first nontrivial upper bound on the complexity of these problems. Finally, we show that our PPAD formulation leads to a polynomial-time algorithm for a special case of CCP in which we have only two color classes $C_1$ and $C_2$ in $d$ dimensions, each with the origin in its convex hull, and we would like to find a set with half the points from each color class that contains the origin in its convex hull.
△ Less
Submitted 5 August, 2016;
originally announced August 2016.
-
Strengthening topological colorful results for graphs
Authors:
Meysam Alishahi,
Hossein Hajiabolhassan,
Frédéric Meunier
Abstract:
Various results ensure the existence of large complete bipartite graphs in properly colored graphs when some condition related to a topological lower bound on the chromatic number is satisfied. We generalize three theorems of this kind, respectively due to Simonyi and Tardos (Combinatorica, 2006), Simonyi, Tardif, and Zsbán (The Electronic Journal of Combinatorics, 2013), and Chen (Journal of Comb…
▽ More
Various results ensure the existence of large complete bipartite graphs in properly colored graphs when some condition related to a topological lower bound on the chromatic number is satisfied. We generalize three theorems of this kind, respectively due to Simonyi and Tardos (Combinatorica, 2006), Simonyi, Tardif, and Zsbán (The Electronic Journal of Combinatorics, 2013), and Chen (Journal of Combinatorial Theory, Series A, 2011). As a consequence of the generalization of Chen's theorem, we get new families of graphs whose chromatic number equals their circular chromatic number and that satisfy Hedetniemi's conjecture for the circular chromatic number.
△ Less
Submitted 1 April, 2017; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Computing solutions of the multiclass network equilibrium problem with affine cost functions
Authors:
Frédéric Meunier,
Thomas Pradeau
Abstract:
We consider a nonatomic congestion game on a graph, with several classes of players. Each player wants to go from its origin vertex to its destination vertex at the minimum cost and all players of a given class share the same characteristics: cost functions on each arc, and origin-destination pair. Under some mild conditions, it is known that a Nash equilibrium exists, but the computation of an eq…
▽ More
We consider a nonatomic congestion game on a graph, with several classes of players. Each player wants to go from its origin vertex to its destination vertex at the minimum cost and all players of a given class share the same characteristics: cost functions on each arc, and origin-destination pair. Under some mild conditions, it is known that a Nash equilibrium exists, but the computation of an equilibrium in the multiclass case is an open problem for general functions. We consider the specific case where the cost functions are affine. We show that this problem is polynomially solvable when the number of vertices and the number of classes are fixed. In particular, it shows that the parallel-link case with a fixed number of classes is polynomially solvable. On a more practical side, we propose an extension of Lemke's algorithm able to solve this problem.
△ Less
Submitted 19 December, 2014;
originally announced December 2014.
-
Hedetniemi's conjecture for Kneser hypergraphs
Authors:
Hossein Hajiabolhassan,
Frédéric Meunier
Abstract:
One of the most famous conjecture in graph theory is Hedetniemi's conjecture stating that the chromatic number of the categorical product of graphs is the minimum of their chromatic numbers. Using a suitable extension of the definition of the categorical product, Zhu proposed in 1992 a similar conjecture for hypergraphs. We prove that Zhu's conjecture is true for the usual Kneser hypergraphs of sa…
▽ More
One of the most famous conjecture in graph theory is Hedetniemi's conjecture stating that the chromatic number of the categorical product of graphs is the minimum of their chromatic numbers. Using a suitable extension of the definition of the categorical product, Zhu proposed in 1992 a similar conjecture for hypergraphs. We prove that Zhu's conjecture is true for the usual Kneser hypergraphs of same rank. It provides to the best of our knowledge the first non-trivial and explicit family of hypergraphs with rank larger than two satisfying this conjecture (the rank two case being Hedetniemi's conjecture). We actually prove a more general result providing a lower bound on the chromatic number of the categorical product of any Kneser hypergraphs as soon as they all have same rank. We derive from it new families of graphs satisfying Hedetniemi's conjecture. The proof of the lower bound relies on the $Z_p$-Tucker lemma.
△ Less
Submitted 11 October, 2014;
originally announced October 2014.
-
Colorful linear programming, Nash equilibrium, and pivots
Authors:
Frédéric Meunier,
Pauline Sarrabezolles
Abstract:
The colorful Carathéodory theorem, proved by Bárány in 1982, states that given d+1 sets of points S_1,...,S_{d+1} in R^d, with each S_i containing 0 in its convex hull, there exists a subset T of the union of the S_i's containing 0 in its convex hull and such that T contains at most one point from each S_i. An intriguing question -- still open -- is whether such a set T, whose existence is ensured…
▽ More
The colorful Carathéodory theorem, proved by Bárány in 1982, states that given d+1 sets of points S_1,...,S_{d+1} in R^d, with each S_i containing 0 in its convex hull, there exists a subset T of the union of the S_i's containing 0 in its convex hull and such that T contains at most one point from each S_i. An intriguing question -- still open -- is whether such a set T, whose existence is ensured, can be found in polynomial time. In 1997, Bárány and Onn defined colorful linear programming as algorithmic questions related to the colorful Carathéodory theorem. The question we just mentioned comes under colorful linear programming.
The traditional applications of colorful linear programming lie in discrete geometry. In this paper, we study its relations with other areas, such as game theory, operations research, and combinatorics. Regarding game theory, we prove that computing a Nash equilibrium in a bimatrix game is a colorful linear programming problem. We also formulate an optimization problem for colorful linear programming and show that as for usual linear programming, deciding and optimizing are computationally equivalent. We discuss then a colorful version of Dantzig's diet problem. We also propose a variant of the Bárány algorithm, which is an algorithm computing a set T whose existence is ensured by the colorful Carathéodory theorem. Our algorithm makes a clear connection with the simplex algorithm and we discuss its computational efficiency. Related complexity and combinatorial results are also provided.
△ Less
Submitted 30 September, 2016; v1 submitted 11 September, 2014;
originally announced September 2014.
-
Stochastic Shortest Paths and Risk Measures
Authors:
Axel Parmentier,
Frédéric Meunier
Abstract:
We consider three shortest path problems in directed graphs with random arc lengths. For the first and the second problems, a risk measure is involved. While the first problem consists in finding a path minimizing this risk measure, the second one consists in finding a path minimizing a deterministic cost, while satisfying a constraint on the risk measure. We propose algorithms solving these probl…
▽ More
We consider three shortest path problems in directed graphs with random arc lengths. For the first and the second problems, a risk measure is involved. While the first problem consists in finding a path minimizing this risk measure, the second one consists in finding a path minimizing a deterministic cost, while satisfying a constraint on the risk measure. We propose algorithms solving these problems for a wide range of risk measures, which includes among several others the $CVaR$ and the probability of being late. Their performances are evaluated through experiments. One of the key elements in these algorithms is the use of stochastic lower bounds that allow to discard partial solutions. Good stochastic lower bounds are provided by the so-called Stochastic Ontime Arrival Problem. This latter problem is the third one studied in this paper and we propose a new and very efficient algorithm solving it. Complementary discussions on the complexity of the problems are also provided.
△ Less
Submitted 26 September, 2014; v1 submitted 1 August, 2014;
originally announced August 2014.
-
Colorful hypergraphs in Kneser hypergraphs
Authors:
Frédéric Meunier
Abstract:
Using a $Z_q$-generalization of a theorem of Ky Fan, we extend to Kneser hypergraphs a theorem of Simonyi and Tardos that ensures the existence of multicolored complete bipartite graphs in any proper coloring of a Kneser graph. It allows to derive a lower bound for the local chromatic number of Kneser hypergraphs (using a natural definition of what can be the local chromatic number of a hypergraph…
▽ More
Using a $Z_q$-generalization of a theorem of Ky Fan, we extend to Kneser hypergraphs a theorem of Simonyi and Tardos that ensures the existence of multicolored complete bipartite graphs in any proper coloring of a Kneser graph. It allows to derive a lower bound for the local chromatic number of Kneser hypergraphs (using a natural definition of what can be the local chromatic number of a hypergraph).
△ Less
Submitted 5 June, 2013;
originally announced June 2013.
-
A combinatorial approach to colourful simplicial depth
Authors:
Antoine Deza,
Frédéric Meunier,
Pauline Sarrabezolles
Abstract:
The colourful simplicial depth conjecture states that any point in the convex hull of each of d+1 sets, or colours, of d+1 points in general position in R^d is contained in at least d^2+1 simplices with one vertex from each set. We verify the conjecture in dimension 4 and strengthen the known lower bounds in higher dimensions. These results are obtained using a combinatorial generalization of colo…
▽ More
The colourful simplicial depth conjecture states that any point in the convex hull of each of d+1 sets, or colours, of d+1 points in general position in R^d is contained in at least d^2+1 simplices with one vertex from each set. We verify the conjecture in dimension 4 and strengthen the known lower bounds in higher dimensions. These results are obtained using a combinatorial generalization of colourful point configurations called octahedral systems. We present properties of octahedral systems generalizing earlier results on colourful point configurations and exhibit an octahedral system which can not arise from a colourful point configuration. The number of octahedral systems is also given.
△ Less
Submitted 16 March, 2013; v1 submitted 19 December, 2012;
originally announced December 2012.
-
The uniqueness property for networks with several origin-destination pairs
Authors:
Frédéric Meunier,
Thomas Pradeau
Abstract:
We consider congestion games on networks with nonatomic users and user-specific costs. We are interested in the uniqueness property defined by Milchtaich [Milchtaich, I. 2005. Topological conditions for uniqueness of equilibrium in networks. Math. Oper. Res. 30 225-244] as the uniqueness of equilibrium flows for all assignments of strictly increasing cost functions. He settled the case with two-te…
▽ More
We consider congestion games on networks with nonatomic users and user-specific costs. We are interested in the uniqueness property defined by Milchtaich [Milchtaich, I. 2005. Topological conditions for uniqueness of equilibrium in networks. Math. Oper. Res. 30 225-244] as the uniqueness of equilibrium flows for all assignments of strictly increasing cost functions. He settled the case with two-terminal networks. As a corollary of his result, it is possible to prove that some other networks have the uniqueness property as well by adding common fictitious origin and destination.
In the present work, we find a necessary condition for networks with several origin-destination pairs to have the uniqueness property in terms of excluded minors or subgraphs. As a key result, we characterize completely bidirectional rings for which the uniqueness property holds: it holds precisely for nine networks and those obtained from them by elementary operations. For other bidirectional rings, we exhibit affine cost functions yielding to two distinct equilibrium flows. Related results are also proven. For instance, we characterize networks having the uniqueness property for any choice of origin-destination pairs.
△ Less
Submitted 15 October, 2013; v1 submitted 22 June, 2012;
originally announced June 2012.
-
A further generalization of the colourful Carathéodory theorem
Authors:
Frédéric Meunier,
Antoine Deza
Abstract:
Given $d+1$ sets, or colours, $S_1, S_2,...,S_{d+1}$ of points in $\mathbb{R}^d$, a {\em colourful} set is a set $S\subseteq\bigcup_i S_i$ such that $|S\cap S_i|\leq 1$ for $i=1,...,d+1$. The convex hull of a colourful set $S$ is called a {\em colourful simplex}. Bárány's colourful Carathéodory theorem asserts that if the origin 0 is contained in the convex hull of $S_i$ for $i=1,...,d+1$, then th…
▽ More
Given $d+1$ sets, or colours, $S_1, S_2,...,S_{d+1}$ of points in $\mathbb{R}^d$, a {\em colourful} set is a set $S\subseteq\bigcup_i S_i$ such that $|S\cap S_i|\leq 1$ for $i=1,...,d+1$. The convex hull of a colourful set $S$ is called a {\em colourful simplex}. Bárány's colourful Carathéodory theorem asserts that if the origin 0 is contained in the convex hull of $S_i$ for $i=1,...,d+1$, then there exists a colourful simplex containing 0. The sufficient condition for the existence of a colourful simplex containing 0 was generalized to 0 being contained in the convex hull of $S_i\cup S_j$ for $1\leq i< j \leq d+1$ by Arocha et al. and by Holmsen et al. We further generalize the sufficient condition and obtain new colourful Carathéodory theorems. We also give an algorithm to find a colourful simplex containing 0 under the generalized condition. In the plane an alternative, and more general, proof using graphs is given. In addition, we observe that any condition implying the existence of a colourful simplex containing 0 actually implies the existence of $\min_i|S_i|$ such simplices.
△ Less
Submitted 6 March, 2014; v1 submitted 18 July, 2011;
originally announced July 2011.
-
The chromatic number of almost stable Kneser hypergraphs
Authors:
Frédéric Meunier
Abstract:
Let $V(n,k,s)$ be the set of $k$-subsets $S$ of $[n]$ such that for all $i,j\in S$, we have $|i-j|\geq s$ We define almost $s$-stable Kneser hypergraph $KG^r{{[n]}\choose k}_{s{\tiny{\textup{-stab}}}}^{\displaystyle\sim}$ to be the $r$-uniform hypergraph whose vertex set is $V(n,k,s)$ and whose edges are the $r$-uples of disjoint elements of $V(n,k,s)$.
With the help of a $Z_p$-Tucker lemma, w…
▽ More
Let $V(n,k,s)$ be the set of $k$-subsets $S$ of $[n]$ such that for all $i,j\in S$, we have $|i-j|\geq s$ We define almost $s$-stable Kneser hypergraph $KG^r{{[n]}\choose k}_{s{\tiny{\textup{-stab}}}}^{\displaystyle\sim}$ to be the $r$-uniform hypergraph whose vertex set is $V(n,k,s)$ and whose edges are the $r$-uples of disjoint elements of $V(n,k,s)$.
With the help of a $Z_p$-Tucker lemma, we prove that, for $p$ prime and for any $n\geq kp$, the chromatic number of almost 2-stable Kneser hypergraphs $KG^p {{[n]}\choose k}_{2{\tiny{\textup{-stab}}}}^{\displaystyle\sim}$ is equal to the chromatic number of the usual Kneser hypergraphs $KG^p{{[n]}\choose k}$, namely that it is equal to $\lceil\frac{n-(k-1)p}{p-1}\rceil.$
Defining $μ(r)$ to be the number of prime divisors of $r$, counted with multiplicities, this result implies that the chromatic number of almost $2^{μ(r)}$-stable Kneser hypergraphs $KG^r{{[n]}\choose k}_{2^{μ(r)}{\tiny{\textup{-stab}}}}^{\displaystyle\sim}$ is equal to the chromatic number of the usual Kneser hypergraphs $KG^r{{[n]}\choose k}$ for any $n\geq kr$, namely that it is equal to $\lceil\frac{n-(k-1)r}{r-1}\rceil.$
△ Less
Submitted 23 December, 2009;
originally announced December 2009.
-
Completely symmetric configurations for sigma-games on grid graphs
Authors:
Mathieu Florence,
Frédéric Meunier
Abstract:
The paper deals with sigma-games on grid graphs (in dimension 2 and more) and conditions under which any completely symmetric configuration of lit vertices can be reached -- in particular the completely lit configuration -- when starting with the all-unlit configuration. The answer is complete in dimension 2. In dimension greater than or equal to 3, the answer is complete for the sigma^+ -game,…
▽ More
The paper deals with sigma-games on grid graphs (in dimension 2 and more) and conditions under which any completely symmetric configuration of lit vertices can be reached -- in particular the completely lit configuration -- when starting with the all-unlit configuration. The answer is complete in dimension 2. In dimension greater than or equal to 3, the answer is complete for the sigma^+ -game, and for the sigma^- -game if at least one of the sizes is even. The case sigma^-, dimension greater than or equal to 3 and all sizes odd remains open.
△ Less
Submitted 3 March, 2009; v1 submitted 2 March, 2009;
originally announced March 2009.
-
Directed paths on a tree: coloring, multicut and kernel
Authors:
Olivier Durand de Gévigney,
Frédéric Meunier,
Christian Popa,
Julien Reygner,
Ayrin Romero
Abstract:
In the present paper, we study algorithmic questions for the arc-intersection graph of directed paths on a tree. Such graphs are known to be perfect (proved by Monma and Wei in 1986). We present faster algorithms than all previously known algorithms for solving the minimum coloring and the minimum clique cover problems. They both run in $O(np)$ time, where $n$ is the number of vertices of the tr…
▽ More
In the present paper, we study algorithmic questions for the arc-intersection graph of directed paths on a tree. Such graphs are known to be perfect (proved by Monma and Wei in 1986). We present faster algorithms than all previously known algorithms for solving the minimum coloring and the minimum clique cover problems. They both run in $O(np)$ time, where $n$ is the number of vertices of the tree and $p$ the number of paths. Another result is a polynomial algorithm computing a kernel in the intersection graph, when its edges are oriented in a clique-acyclic way. Indeed, such a kernel exists for any perfect graph by a theorem of Boros and Gurvich. Such algorithms computing kernels are known only for few classes of perfect graphs.
△ Less
Submitted 6 February, 2009;
originally announced February 2009.
-
Dynamic assignment: there is an equilibrium !
Authors:
Frédéric Meunier,
Nicolas Wagner
Abstract:
Given a network with a continuum of users at some origins, suppose that the users wish to reach specific destinations, but that they are not indifferent to the time needed to reach their destination. They may have several possibilities (of routes or deparure time), but their choices modify the travel times on the network. Hence, each user faces the following problem: given a pattern of travel ti…
▽ More
Given a network with a continuum of users at some origins, suppose that the users wish to reach specific destinations, but that they are not indifferent to the time needed to reach their destination. They may have several possibilities (of routes or deparure time), but their choices modify the travel times on the network. Hence, each user faces the following problem: given a pattern of travel times for the different possible routes that reach the destination, find a shortest path. The situation in a context of perfect information is a so-called Nash equilibrium, and the question whether there is such an equilibrium and of finding it if it exists is the so-called equilibrium assignment problem. It arises for various kind of networks, such as computers, communication or transportation network. When each user occupies permanently the whole route from the origin to its destination, we call it the static assignment problem, which has been extensively studied with pioneers works by Wardrop or Beckmann. A less studied, but more realistic, and maybe more difficult, problem is when the time needed to reach an arc is taken into account. We speak then of a dynamic assignment problem. Several models have been proposed. For some of them, the existence of an equilibrium has been proved, but always under some technical assumptions or in a very special case (a network with one arc for the case when the users may chose their departure time). The present paper proposes a compact model, with minimal and natural assumptions. For this model, we prove that there is always an equilibrium. To our knowledge, this imply all previous results about existence of an equilibrium for the dynamic assignment problem.
△ Less
Submitted 14 October, 2008;
originally announced October 2008.
-
Polytopal complexes: maps, chain complexes and... necklaces
Authors:
Frédéric Meunier
Abstract:
The notion of polytopal map between two polytopal complexes is defined. Surprisingly, this definition is quite simple and extends naturally those of simplicial and cubical maps. It is then possible to define an induced chain map between the associated chain complexes. Finally, we use this new tool to give the first combinatorial proof of the splitting necklace theorem of Alon. The paper ends wit…
▽ More
The notion of polytopal map between two polytopal complexes is defined. Surprisingly, this definition is quite simple and extends naturally those of simplicial and cubical maps. It is then possible to define an induced chain map between the associated chain complexes. Finally, we use this new tool to give the first combinatorial proof of the splitting necklace theorem of Alon. The paper ends with open questions, such as the existence of Sperner's lemma for a polytopal complex or the existence of a cubical approximation theorem.
△ Less
Submitted 2 July, 2008; v1 submitted 9 June, 2008;
originally announced June 2008.
-
Carathéodory, Helly and the others in the max-plus world
Authors:
Stéphane Gaubert,
Frédéric Meunier
Abstract:
Carathéodory's, Helly's and Radon's theorems are three basic results in discrete geometry. Their max-plus counterparts have been proved by various authors. In this paper, more advanced results in discrete geometry are shown to have also their max-plus counterparts: namely, the colorful Carathéodory theorem and the Tverberg theorem. A conjecture connected to the Tverberg theorem -- Sierksma's con…
▽ More
Carathéodory's, Helly's and Radon's theorems are three basic results in discrete geometry. Their max-plus counterparts have been proved by various authors. In this paper, more advanced results in discrete geometry are shown to have also their max-plus counterparts: namely, the colorful Carathéodory theorem and the Tverberg theorem. A conjecture connected to the Tverberg theorem -- Sierksma's conjecture --, although still open for the usual convexity, is shown to be true in the max-plus settings.
△ Less
Submitted 8 April, 2008;
originally announced April 2008.
-
Large Momentum bounds from Flow Equations
Authors:
Christoph Kopper,
Frederic Meunier
Abstract:
We analyse the large momentum behaviour of 4-dimensional massive euclidean Phi-4-theory using the flow equations of Wilson's renormalization group. The flow equations give access to a simple inductive proof of perturbative renormalizability. By sharpening the induction hypothesis we prove new and, as it seems, close to optimal bounds on the large momentum behaviour of the correlation functions.…
▽ More
We analyse the large momentum behaviour of 4-dimensional massive euclidean Phi-4-theory using the flow equations of Wilson's renormalization group. The flow equations give access to a simple inductive proof of perturbative renormalizability. By sharpening the induction hypothesis we prove new and, as it seems, close to optimal bounds on the large momentum behaviour of the correlation functions. The bounds are related to what is generally called Weinberg's theorem.
△ Less
Submitted 13 October, 2001;
originally announced October 2001.