-
Generic Complex Polynomial Vector Fields with Real Coefficients
Authors:
Jonathan Godin,
Christiane Rousseau
Abstract:
The paper studies the complex 1-dimensional polynomial vector fields with real coefficients under topological orbital equivalence preserving the separatrices of the pole at infinity. The number of generic strata is determined, and a complete parametrization of these strata is given in terms of a modulus formed by a combinatorial and an analytic part. The bifurcation diagram is described for the de…
▽ More
The paper studies the complex 1-dimensional polynomial vector fields with real coefficients under topological orbital equivalence preserving the separatrices of the pole at infinity. The number of generic strata is determined, and a complete parametrization of these strata is given in terms of a modulus formed by a combinatorial and an analytic part. The bifurcation diagram is described for the degree 4. A realization theorem is proved for any generic modulus.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
On List Coloring with Separation of the Complete Graph and Set System Intersections
Authors:
Jean-Christophe Godin,
Rémi Grisot,
Olivier Togni
Abstract:
We consider the following list coloring with separation problem: Given a graph $G$ and integers $a,b$, find the largest integer $c$ such that for any list assignment $L$ of $G$ with $|L(v)|= a$ for any vertex $v$ and $|L(u)\cap L(v)|\le c$ for any edge $uv$ of $G$, there exists an assignment $\varphi$ of sets of integers to the vertices of $G$ such that $\varphi(u)\subset L(u)$ and…
▽ More
We consider the following list coloring with separation problem: Given a graph $G$ and integers $a,b$, find the largest integer $c$ such that for any list assignment $L$ of $G$ with $|L(v)|= a$ for any vertex $v$ and $|L(u)\cap L(v)|\le c$ for any edge $uv$ of $G$, there exists an assignment $\varphi$ of sets of integers to the vertices of $G$ such that $\varphi(u)\subset L(u)$ and $|\varphi(v)|=b$ for any vertex $u$ and $\varphi(u)\cap \varphi(v)=\emptyset$ for any edge $uv$. Such a value of $c$ is called the separation number of $(G,a,b)$. Using a special partition of a set of lists for which we obtain an improved version of Poincaré's crible, we determine the separation number of the complete graph $K_n$ for some values of $a,b$ and $n$, and prove bounds for the remaining values.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Deletion-Compliance in the Absence of Privacy
Authors:
Jonathan Godin,
Philippe Lamontagne
Abstract:
Garg, Goldwasser and Vasudevan (Eurocrypt 2020) invented the notion of deletion-compliance to formally model the "right to be forgotten", a concept that confers individuals more control over their digital data. A requirement of deletion-compliance is strong privacy for the deletion requesters since no outside observer must be able to tell if deleted data was ever present in the first place. Natura…
▽ More
Garg, Goldwasser and Vasudevan (Eurocrypt 2020) invented the notion of deletion-compliance to formally model the "right to be forgotten", a concept that confers individuals more control over their digital data. A requirement of deletion-compliance is strong privacy for the deletion requesters since no outside observer must be able to tell if deleted data was ever present in the first place. Naturally, many real world systems where information can flow across users are automatically ruled out.
The main thesis of this paper is that deletion-compliance is a standalone notion, distinct from privacy. We present an alternative definition that meaningfully captures deletion-compliance without any privacy implications. This allows broader class of data collectors to demonstrate compliance to deletion requests and to be paired with various notions of privacy. Our new definition has several appealing properties:
- It is implied by the stronger definition of Garg et al. under natural conditions, and is equivalent when we add a privacy requirement.
- It is naturally composable with minimal assumptions.
- Its requirements are met by data structure implementations that do not reveal the order of operations, a concept known as history-independence.
Along the way, we discuss the many challenges that remain in providing a universal definition of compliance to the "right to be forgotten."
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Analytic Classification of Generic Unfoldings of Antiholomorphic Parabolic Fixed Points of Codimension 1
Authors:
Jonathan Godin,
Christiane Rousseau
Abstract:
We classify generic unfoldings of germs of antiholomorphic diffeomorphisms with a parabolic point of codimension 1 (i.e. a double fixed point) under conjugacy. These generic unfolding depend on one real parameter. The classification is done by assigning to each such germ a weak and a strong modulus, which are unfoldings of the modulus assigned to the antiholomorphic parabolic point. The weak and t…
▽ More
We classify generic unfoldings of germs of antiholomorphic diffeomorphisms with a parabolic point of codimension 1 (i.e. a double fixed point) under conjugacy. These generic unfolding depend on one real parameter. The classification is done by assigning to each such germ a weak and a strong modulus, which are unfoldings of the modulus assigned to the antiholomorphic parabolic point. The weak and the strong moduli are unfoldings of the Écalle-Voronin modulus of the second iterate of the germ which is a real unfolding of a holomorphic parabolic point. A preparation of the unfolding allows to identify one real analytic canonical parameter and any conjugacy between two prepared generic unfoldings preserves the canonical parameter. We also solve the realisation problem by giving necessary and sufficient conditions for a strong modulus to be realized. This is done simultaneously with solving the probem of the existence of an antiholomorphic square root to a germ of generic analytic unfolding of a holomorphic parabolic germ. As a second application we establish the condition for the existence of a real analytic invariant curve.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
Choosability with Separation of Cycles and Outerplanar Graphs
Authors:
Jean-Christophe Godin,
Olivier Togni
Abstract:
We consider the following list coloring with separation problem of graphs: Given a graph $G$ and integers $a,b$, find the largest integer $c$ such that for any list assignment $L$ of $G$ with $|L(v)|\le a$ for any vertex $v$ and $|L(u)\cap L(v)|\le c$ for any edge $uv$ of $G$, there exists an assignment $\varphi$ of sets of integers to the vertices of $G$ such that $\varphi(u)\subset L(u)$ and…
▽ More
We consider the following list coloring with separation problem of graphs: Given a graph $G$ and integers $a,b$, find the largest integer $c$ such that for any list assignment $L$ of $G$ with $|L(v)|\le a$ for any vertex $v$ and $|L(u)\cap L(v)|\le c$ for any edge $uv$ of $G$, there exists an assignment $\varphi$ of sets of integers to the vertices of $G$ such that $\varphi(u)\subset L(u)$ and $|\varphi(v)|=b$ for any vertex $v$ and $\varphi(u)\cap \varphi(v)=\emptyset$ for any edge $uv$. Such a value of $c$ is called the separation number of $(G,a,b)$. We also study the variant called the free-separation number which is defined analogously but assuming that one arbitrary vertex is precolored. We determine the separation number and free-separation number of the cycle and derive from them the free-separation number of a cactus. We also present a lower bound for the separation and free-separation numbers of outerplanar graphs of girth $g\ge 5$.
△ Less
Submitted 1 September, 2020;
originally announced September 2020.
-
Laboratory investigations of Lunar ice imaging in permanently shadowed regions using reflected starlight
Authors:
Paul J. Godin,
Jacob L. Kloos,
Alex Seguin,
John E. Moores
Abstract:
A proof of concept for a frost detection imager using reflected starlight is presented; the limitations of this technique are explored experimentally. An ice-covered lunar surface is simulated inside a vacuum chamber, which is then illuminated with a lamp containing UV and visible output to simulate the wavelengths of the background starfield. The simulated lunar surface is imaged with a camera ut…
▽ More
A proof of concept for a frost detection imager using reflected starlight is presented; the limitations of this technique are explored experimentally. An ice-covered lunar surface is simulated inside a vacuum chamber, which is then illuminated with a lamp containing UV and visible output to simulate the wavelengths of the background starfield. The simulated lunar surface is imaged with a camera utilizing a UV and visible filter pairing. At Lyman-alpha wavelengths, ice has low reflectivity, and on average appears darker than the regolith in the UV image. In visible wavelengths, this behaviour is reversed, with ice appearing brighter than regolith. UV/VIS image ratioing is subsequently performed in order to discern frost from the lunar regolith simulant in order to demonstrate the capability of this technology for locating the presence of ice on the lunar surface. When the two images are ratioed, the signal to noise ratio to distinguish ice from regolith improves by 36%. In cases where the presence of shadows and specular reflection make distinguishing ice from regolith in either a single UV or visible image difficult, ratioing the images makes the distinction clear.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
Analytic Classification of Germs of Parabolic Antoholomorphic Diffeomorphisms of Codimension k
Authors:
Jonathan Godin,
Christiane Rousseau
Abstract:
We investigate the local dynamics of antiholomorphic diffeomorphisms around a parabolic fixed point. We first give a normal form. Then we give a complete classification including a modulus space for antiholomorphic germs with a parabolic fixed point under analytic conjugacy. We then study some geometric applications: existence of real analytic invariant curve, existence of holomorphic and antiholo…
▽ More
We investigate the local dynamics of antiholomorphic diffeomorphisms around a parabolic fixed point. We first give a normal form. Then we give a complete classification including a modulus space for antiholomorphic germs with a parabolic fixed point under analytic conjugacy. We then study some geometric applications: existence of real analytic invariant curve, existence of holomorphic and antiholomorphic roots of holomorphic and antiholomorphic parabolic germs, commuting holomorphic and antiholomorphic parabolic germs.
△ Less
Submitted 17 January, 2020;
originally announced January 2020.
-
New reducible configurations for graph multicoloring with application to the experimental resolution of McDiarmid-Reed's Conjecture (extended version)
Authors:
Jean-Christophe Godin,
Olivier Togni
Abstract:
A $(a,b)$-coloring of a graph $G$ associates to each vertex a $b$-subset of a set of $a$ colors in such a way that the color-sets of adjacent vertices are disjoint. We define general reduction tools for $(a,b)$-coloring of graphs for $2\le a/b\le 3$. In particular, using necessary and sufficient conditions for the existence of a $(a,b)$-coloring of a path with prescribed color-sets on its end-vert…
▽ More
A $(a,b)$-coloring of a graph $G$ associates to each vertex a $b$-subset of a set of $a$ colors in such a way that the color-sets of adjacent vertices are disjoint. We define general reduction tools for $(a,b)$-coloring of graphs for $2\le a/b\le 3$. In particular, using necessary and sufficient conditions for the existence of a $(a,b)$-coloring of a path with prescribed color-sets on its end-vertices, more complex $(a,b)$-colorability reductions are presented. The utility of these tools is exemplified on finite triangle-free induced subgraphs of the triangular lattice for which McDiarmid-Reed's conjecture asserts that they are all $(9,4)$-colorable. Computations on millions of such graphs generated randomly show that our tools allow to find a $(9,4)$-coloring for each of them except for one specific regular shape of graphs (that can be $(9,4)$-colored by an easy ad-hoc process). We thus obtain computational evidence towards the conjecture of McDiarmid\&Reed.
△ Less
Submitted 5 October, 2023; v1 submitted 5 December, 2018;
originally announced December 2018.
-
Free choosability of the cycle
Authors:
Yves Aubry,
Jean-Christophe Godin,
Olivier Togni
Abstract:
A graph $G$ is free $(a,b)$-choosable if for any vertex $v$ with $b$ colors assigned and for any list of colors of size $a$ associated with each vertex $u\ne v$, the coloring can be completed by choosing for $u$ a subset of $b$ colors such that adjacent vertices are colored with disjoint color sets. In this note, a necessary and sufficient condition for a cycle to be free $(a,b)$-choosable is give…
▽ More
A graph $G$ is free $(a,b)$-choosable if for any vertex $v$ with $b$ colors assigned and for any list of colors of size $a$ associated with each vertex $u\ne v$, the coloring can be completed by choosing for $u$ a subset of $b$ colors such that adjacent vertices are colored with disjoint color sets. In this note, a necessary and sufficient condition for a cycle to be free $(a,b)$-choosable is given. As a corollary, some choosability results are derived for graphs in which cycles are connected by a tree structure.
△ Less
Submitted 10 March, 2014;
originally announced March 2014.
-
Vectorial solutions to list multicoloring problems on graphs
Authors:
Yves Aubry,
Jean-Christophe Godin,
Olivier Togni
Abstract:
For a graph $G$ with a given list assignment $L$ on the vertices, we give an algebraical description of the set of all weights $w$ such that $G$ is $(L,w)$-colorable, called permissible weights. Moreover, for a graph $G$ with a given list $L$ and a given permissible weight $w$, we describe the set of all $(L,w)$-colorings of $G$. By the way, we solve the {\sl channel assignment problem}. Furthermo…
▽ More
For a graph $G$ with a given list assignment $L$ on the vertices, we give an algebraical description of the set of all weights $w$ such that $G$ is $(L,w)$-colorable, called permissible weights. Moreover, for a graph $G$ with a given list $L$ and a given permissible weight $w$, we describe the set of all $(L,w)$-colorings of $G$. By the way, we solve the {\sl channel assignment problem}. Furthermore, we describe the set of solutions to the {\sl on call problem}: when $w$ is not a permissible weight, we find all the nearest permissible weights $w'$. Finally, we give a solution to the non-recoloring problem kee** a given subcoloring.
△ Less
Submitted 22 February, 2012;
originally announced February 2012.
-
Every triangle-free induced subgraph of the triangular lattice is $(5m,2m)$-choosable
Authors:
Yves Aubry,
Jean-Christophe Godin,
Olivier Togni
Abstract:
A graph $G$ is $(a,b)$-choosable if for any color list of size $a$ associated with each vertex, one can choose a subset of $b$ colors such that adjacent vertices are colored with disjoint color sets. This paper proves that for any integer $m\ge 1$, every finite triangle-free induced subgraph of the triangular lattice is $(5m,2m)$-choosable.
A graph $G$ is $(a,b)$-choosable if for any color list of size $a$ associated with each vertex, one can choose a subset of $b$ colors such that adjacent vertices are colored with disjoint color sets. This paper proves that for any integer $m\ge 1$, every finite triangle-free induced subgraph of the triangular lattice is $(5m,2m)$-choosable.
△ Less
Submitted 12 October, 2011;
originally announced October 2011.
-
Choosability of a weighted path and free-choosability of a cycle
Authors:
Yves Aubry,
Jean-Christophe Godin,
Olivier Togni
Abstract:
A graph $G$ with a list of colors $L(v)$ and weight $w(v)$ for each vertex $v$ is $(L,w)$-colorable if one can choose a subset of $w(v)$ colors from $L(v)$ for each vertex $v$, such that adjacent vertices receive disjoint color sets. In this paper, we give necessary and sufficient conditions for a weighted path to be $(L,w)$-colorable for some list assignments $L$. Furthermore, we solve the proble…
▽ More
A graph $G$ with a list of colors $L(v)$ and weight $w(v)$ for each vertex $v$ is $(L,w)$-colorable if one can choose a subset of $w(v)$ colors from $L(v)$ for each vertex $v$, such that adjacent vertices receive disjoint color sets. In this paper, we give necessary and sufficient conditions for a weighted path to be $(L,w)$-colorable for some list assignments $L$. Furthermore, we solve the problem of the free-choosability of a cycle.
△ Less
Submitted 16 May, 2011; v1 submitted 31 May, 2010;
originally announced May 2010.
-
Charge, density and electron temperature in a molecular ultracold plasma
Authors:
C. J. Rennick,
J. P. Morrison,
J. Ortega-Arroyo,
P. J. Godin,
N. Saquet,
E. R. Grant
Abstract:
A Rydberg gas of NO entrained in a supersonic molecular beam releases electrons as it evolves to form an ultracold plasma. The size of this signal, compared with that extracted by the subsequent application of a pulsed electric field, determines the absolute magnitude of the plasma charge. This information, combined with the number density of ions, supports a simple thermochemical model that exp…
▽ More
A Rydberg gas of NO entrained in a supersonic molecular beam releases electrons as it evolves to form an ultracold plasma. The size of this signal, compared with that extracted by the subsequent application of a pulsed electric field, determines the absolute magnitude of the plasma charge. This information, combined with the number density of ions, supports a simple thermochemical model that explains the evolution of the plasma to an ultracold electron temperature.
△ Less
Submitted 5 April, 2010; v1 submitted 2 November, 2009;
originally announced November 2009.