-
Asymmetric and trial-dependent modeling: the contribution of LIA to SdSV Challenge Task 2
Authors:
Pierre-Michel Bousquet,
Mickael Rouvier
Abstract:
The SdSv challenge Task 2 provided an opportunity to assess efficiency and robustness of modern text-independent speaker verification systems. But it also made it possible to test new approaches, capable of taking into account the main issues of this challenge (duration, language, ...). This paper describes the contributions of our laboratory to the speaker recognition field. These contributions h…
▽ More
The SdSv challenge Task 2 provided an opportunity to assess efficiency and robustness of modern text-independent speaker verification systems. But it also made it possible to test new approaches, capable of taking into account the main issues of this challenge (duration, language, ...). This paper describes the contributions of our laboratory to the speaker recognition field. These contributions highlight two other challenges in addition to short-duration and language: the mismatch between enrollment and test data and the one between subsets of the evaluation trial dataset. The proposed approaches experimentally show their relevance and efficiency on the SdSv evaluation, and could be of interest in many real-life applications.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Jeffreys divergence-based regularization of neural network output distribution applied to speaker recognition
Authors:
Pierre-Michel Bousquet,
Mickael Rouvier
Abstract:
A new loss function for speaker recognition with deep neural network is proposed, based on Jeffreys Divergence. Adding this divergence to the cross-entropy loss function allows to maximize the target value of the output distribution while smoothing the non-target values. This objective function provides highly discriminative features. Beyond this effect, we propose a theoretical justification of i…
▽ More
A new loss function for speaker recognition with deep neural network is proposed, based on Jeffreys Divergence. Adding this divergence to the cross-entropy loss function allows to maximize the target value of the output distribution while smoothing the non-target values. This objective function provides highly discriminative features. Beyond this effect, we propose a theoretical justification of its effectiveness and try to understand how this loss function affects the model, in particular the impact on dataset types (i.e. in-domain or out-of-domain w.r.t the training corpus). Our experiments show that Jeffreys loss consistently outperforms the state-of-the-art for speaker recognition, especially on out-of-domain data, and helps limit false alarms.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Planetary Exploration Horizon 2061 Report, Chapter 4: From planetary exploration goals to technology requirements
Authors:
Jérémie Lasue,
Pierre Bousquet,
Michel Blanc,
Nicolas André,
Pierre Beck,
Gilles Berger,
Scott Bolton,
Emma Bunce,
Baptiste Chide,
Bernard Foing,
Heidi Hammel,
Emmanuel Lellouch,
Lea Griton,
Ralph Mcnutt,
Sylvestre Maurice,
Olivier Mousis,
Merav Opher,
Christophe Sotin,
Dave Senske,
Linda Spilker,
Pierre Vernazza,
Qiugang Zong
Abstract:
This chapter reviews for each province and destination of the Solar System the representative space missions that will have to be designed and implemented by 2061 to address the six key science questions about the diversity, origins, workings and habitability of planetary systems (described in chapter 1) and to perform the critical observations that have been described in chapters 3 and partly 2.…
▽ More
This chapter reviews for each province and destination of the Solar System the representative space missions that will have to be designed and implemented by 2061 to address the six key science questions about the diversity, origins, workings and habitability of planetary systems (described in chapter 1) and to perform the critical observations that have been described in chapters 3 and partly 2. It derives from this set of future representative missions, some of which will have to be flown during the 2041-2061 period, the critical technologies and supporting infrastructures that will be needed to fly these challenging missions, thus laying the foundation for the description of technologies and infrastructures for the future of planetary exploration that is given in chapters 5 and 6, respectively.
△ Less
Submitted 24 November, 2022;
originally announced November 2022.
-
Singular orthotropic functionals with nonstandard growth conditions
Authors:
Pierre Bousquet,
Lorenzo Brasco,
Chiara Leone
Abstract:
We pursue the study of a model convex functional with orthotropic structure and nonstandard growth conditions, this time focusing on the sub-quadratic case. We prove that bounded local minimizers are locally Lipschitz. No restriction on the ratio between the highest and the lowest growth rates are needed. The result holds also in presence of a non-autonomous lower order term, under sharp integrabi…
▽ More
We pursue the study of a model convex functional with orthotropic structure and nonstandard growth conditions, this time focusing on the sub-quadratic case. We prove that bounded local minimizers are locally Lipschitz. No restriction on the ratio between the highest and the lowest growth rates are needed. The result holds also in presence of a non-autonomous lower order term, under sharp integrability assumptions. Finally, we prove higher differentiability of bounded local minimizers, as well.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
I4U System Description for NIST SRE'20 CTS Challenge
Authors:
Kong Aik Lee,
Tomi Kinnunen,
Daniele Colibro,
Claudio Vair,
Andreas Nautsch,
Hanwu Sun,
Liang He,
Tianyu Liang,
Qiongqiong Wang,
Mickael Rouvier,
Pierre-Michel Bousquet,
Rohan Kumar Das,
Ignacio Viñals Bailo,
Meng Liu,
Héctor Deldago,
Xuechen Liu,
Md Sahidullah,
Sandro Cumani,
Boning Zhang,
Koji Okabe,
Hitoshi Yamamoto,
Ruijie Tao,
Haizhou Li,
Alfonso Ortega Giménez,
Longbiao Wang
, et al. (1 additional authors not shown)
Abstract:
This manuscript describes the I4U submission to the 2020 NIST Speaker Recognition Evaluation (SRE'20) Conversational Telephone Speech (CTS) Challenge. The I4U's submission was resulted from active collaboration among researchers across eight research teams - I$^2$R (Singapore), UEF (Finland), VALPT (Italy, Spain), NEC (Japan), THUEE (China), LIA (France), NUS (Singapore), INRIA (France) and TJU (C…
▽ More
This manuscript describes the I4U submission to the 2020 NIST Speaker Recognition Evaluation (SRE'20) Conversational Telephone Speech (CTS) Challenge. The I4U's submission was resulted from active collaboration among researchers across eight research teams - I$^2$R (Singapore), UEF (Finland), VALPT (Italy, Spain), NEC (Japan), THUEE (China), LIA (France), NUS (Singapore), INRIA (France) and TJU (China). The submission was based on the fusion of top performing sub-systems and sub-fusion systems contributed by individual teams. Efforts have been spent on the use of common development and validation sets, submission schedule and milestone, minimizing inconsistency in trial list and score file format across sites.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
A bridge between features and evidence for binary attribute-driven perfect privacy
Authors:
Paul-Gauthier Noé,
Andreas Nautsch,
Driss Matrouf,
Pierre-Michel Bousquet,
Jean-François Bonastre
Abstract:
Attribute-driven privacy aims to conceal a single user's attribute, contrary to anonymisation that tries to hide the full identity of the user in some data. When the attribute to protect from malicious inferences is binary, perfect privacy requires the log-likelihood-ratio to be zero resulting in no strength-of-evidence. This work presents an approach based on normalizing flow that maps a feature…
▽ More
Attribute-driven privacy aims to conceal a single user's attribute, contrary to anonymisation that tries to hide the full identity of the user in some data. When the attribute to protect from malicious inferences is binary, perfect privacy requires the log-likelihood-ratio to be zero resulting in no strength-of-evidence. This work presents an approach based on normalizing flow that maps a feature vector into a latent space where the evidence, related to the binary attribute, and an independent residual are disentangled. It can be seen as a non-linear discriminant analysis where the map** is invertible allowing generation by map** the latent variable back to the original space. This framework allows to manipulate the log-likelihood-ratio of the data and therefore allows to set it to zero for privacy. We show the applicability of the approach on an attribute-driven privacy task where the sex information is removed from speaker embeddings. Results on VoxCeleb2 dataset show the efficiency of the method that outperforms in terms of privacy and utility our previous experiments based on adversarial disentanglement.
△ Less
Submitted 23 January, 2022; v1 submitted 12 October, 2021;
originally announced October 2021.
-
Studying squeeze-and-excitation used in CNN for speaker verification
Authors:
Mickael Rouvier,
Pierre-Michel Bousquet
Abstract:
In speaker verification, the extraction of voice representations is mainly based on the Residual Neural Network (ResNet) architecture. ResNet is built upon convolution layers which learn filters to capture local spatial patterns along all the input, then generate feature maps that jointly encode the spatial and channel information. Unfortunately, all feature maps in a convolution layer are learnt…
▽ More
In speaker verification, the extraction of voice representations is mainly based on the Residual Neural Network (ResNet) architecture. ResNet is built upon convolution layers which learn filters to capture local spatial patterns along all the input, then generate feature maps that jointly encode the spatial and channel information. Unfortunately, all feature maps in a convolution layer are learnt independently (the convolution layer does not exploit the dependencies between feature maps) and locally. This problem has first been tackled in image processing. A channel attention mechanism, called squeeze-and-excitation (SE), has recently been proposed in convolution layers and applied to speaker verification. This mechanism re-weights the information extracted across features maps. In this paper, we first propose an original qualitative study about the influence and the role of the SE mechanism applied to the speaker verification task at different stages of the ResNet, and then evaluate several SE architectures. We finally propose to improve the SE approach with a new pool- ing variant based on the concatenation of mean- and standard- deviation-pooling. Results showed that applying SE only on the first stages of the ResNet allows to better capture speaker information for the verification task, and that significant discrimination gains on Voxceleb1-E, Voxceleb1-H and SITW evaluation tasks have been noted using the proposed pooling variant.
△ Less
Submitted 13 September, 2021;
originally announced September 2021.
-
Study on the temporal pooling used in deep neural networks for speaker verification
Authors:
Mickael Rouvier,
Pierre-Michel Bousquet,
Jarod Duret
Abstract:
The x-vector architecture has recently achieved state-of-the-art results on the speaker verification task. This architecture incorporates a central layer, referred to as temporal pooling, which stacks statistical parameters of the acoustic frame distribution. This work proposes to highlight the significant effect of the temporal pooling content on the training dynamics and task performance. An eva…
▽ More
The x-vector architecture has recently achieved state-of-the-art results on the speaker verification task. This architecture incorporates a central layer, referred to as temporal pooling, which stacks statistical parameters of the acoustic frame distribution. This work proposes to highlight the significant effect of the temporal pooling content on the training dynamics and task performance. An evaluation with different pooling layers is conducted, that is, including different statistical measures of central tendency. Notably, 3rd and 4th moment-based statistics (skewness and kurtosis) are also tested to complete the usual mean and standard-deviation parameters. Our experiments show the influence of the pooling layer content in terms of speaker verification performance, but also for several classification tasks (speaker, channel or text related), and allow to better reveal the presence of external information to the speaker identity depending on the layer content.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Gradient estimates for an orthotropic nonlinear diffusion equation
Authors:
Pierre Bousquet,
Lorenzo Brasco,
Chiara Leone,
Anna Verde
Abstract:
We consider a quasilinear degenerate parabolic equation driven by the orthotropic $p-$Laplacian. We prove that local weak solutions are locally Lipschitz continuous in the spatial variable, uniformly in time.
We consider a quasilinear degenerate parabolic equation driven by the orthotropic $p-$Laplacian. We prove that local weak solutions are locally Lipschitz continuous in the spatial variable, uniformly in time.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
I4U Submission to NIST SRE 2018: Leveraging from a Decade of Shared Experiences
Authors:
Kong Aik Lee,
Ville Hautamaki,
Tomi Kinnunen,
Hitoshi Yamamoto,
Koji Okabe,
Ville Vestman,
**g Huang,
Guohong Ding,
Hanwu Sun,
Anthony Larcher,
Rohan Kumar Das,
Haizhou Li,
Mickael Rouvier,
Pierre-Michel Bousquet,
Wei Rao,
Qing Wang,
Chunlei Zhang,
Fahimeh Bahmaninezhad,
Hector Delgado,
Jose Patino,
Qiongqiong Wang,
Ling Guo,
Takafumi Koshinaka,
Jiacen Zhang,
Koichi Shinoda
, et al. (21 additional authors not shown)
Abstract:
The I4U consortium was established to facilitate a joint entry to NIST speaker recognition evaluations (SRE). The latest edition of such joint submission was in SRE 2018, in which the I4U submission was among the best-performing systems. SRE'18 also marks the 10-year anniversary of I4U consortium into NIST SRE series of evaluation. The primary objective of the current paper is to summarize the res…
▽ More
The I4U consortium was established to facilitate a joint entry to NIST speaker recognition evaluations (SRE). The latest edition of such joint submission was in SRE 2018, in which the I4U submission was among the best-performing systems. SRE'18 also marks the 10-year anniversary of I4U consortium into NIST SRE series of evaluation. The primary objective of the current paper is to summarize the results and lessons learned based on the twelve sub-systems and their fusion submitted to SRE'18. It is also our intention to present a shared view on the advancements, progresses, and major paradigm shifts that we have witnessed as an SRE participant in the past decade from SRE'08 to SRE'18. In this regard, we have seen, among others, a paradigm shift from supervector representation to deep speaker embedding, and a switch of research challenge from channel compensation to domain adaptation.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
The equation div$u$+$\langle a, u \rangle=f$
Authors:
Pierre Bousquet,
Gyula Csató
Abstract:
We study the solutions $u$ to the equation $$ \begin{cases} \operatorname{div} u + \langle a , u \rangle = f & \textrm{ in } Ω,\\ u=0 & \textrm{ on } \partial Ω, \end{cases} $$ where $a$ and $f$ are given. We significantly improve the existence results of [Csató and Dacorogna, A Dirichlet problem involving the divergence operator, \textit{Ann. Inst. H. Poincaré Anal. Non Linéaire}, 33 (2016), 829-…
▽ More
We study the solutions $u$ to the equation $$ \begin{cases} \operatorname{div} u + \langle a , u \rangle = f & \textrm{ in } Ω,\\ u=0 & \textrm{ on } \partial Ω, \end{cases} $$ where $a$ and $f$ are given. We significantly improve the existence results of [Csató and Dacorogna, A Dirichlet problem involving the divergence operator, \textit{Ann. Inst. H. Poincaré Anal. Non Linéaire}, 33 (2016), 829--848], where this equation has been considered for the first time. In particular, we prove the existence of a solution under essentially sharp regularity assumptions on the coefficients. The condition that we require on the vector field $a$ is necessary and sufficient. Finally, our results cover the whole scales of Sobolev and Hölder spaces.
△ Less
Submitted 17 January, 2019;
originally announced January 2019.
-
Lipschitz regularity for orthotropic functionals with nonstandard growth conditions
Authors:
Pierre Bousquet,
Lorenzo Brasco
Abstract:
We consider a model convex functional with orthotropic structure and super-quadratic nonstandard growth conditions. We prove that bounded local minimizers are locally Lipschitz, with no restrictions on the ratio between the highest and the lowest growth rate.
We consider a model convex functional with orthotropic structure and super-quadratic nonstandard growth conditions. We prove that bounded local minimizers are locally Lipschitz, with no restrictions on the ratio between the highest and the lowest growth rate.
△ Less
Submitted 9 October, 2018;
originally announced October 2018.
-
Approximation in higher-order Sobolev spaces and Hodge systems
Authors:
Pierre Bousquet,
Emmanuel Russ,
Yi Wang,
Po-Lam Yung
Abstract:
Let $d\geq 2$ be an integer, $1\leq l\leq d-1$ and $\varphi$ be a differential $l$-form on ${\mathbb R}^d$ with $\dot{W}^{1,d}$ coefficients. It was proved by Bourgain and Brezis (\cite[Theorem 5]{MR2293957}) that there exists a differential $l$-form $ψ$ on ${\mathbb R}^d$ with coefficients in $L^{\infty}\cap \dot{W}^{1,d}$ such that $d\varphi=dψ$. Bourgain and Brezis also asked whether this resul…
▽ More
Let $d\geq 2$ be an integer, $1\leq l\leq d-1$ and $\varphi$ be a differential $l$-form on ${\mathbb R}^d$ with $\dot{W}^{1,d}$ coefficients. It was proved by Bourgain and Brezis (\cite[Theorem 5]{MR2293957}) that there exists a differential $l$-form $ψ$ on ${\mathbb R}^d$ with coefficients in $L^{\infty}\cap \dot{W}^{1,d}$ such that $d\varphi=dψ$. Bourgain and Brezis also asked whether this result can be extended to differential forms with coefficients in the fractional Sobolev space $\dot{W}^{s,p}$ with $sp=d$. We give a positive answer to this question, in the more general context of Triebel-Lizorkin spaces, provided that $d-κ\leq l\leq d-1$, where $κ$ is the largest positive integer such that $κ<\min(p,d)$. The proof relies on an approximation result for functions in $\dot{W}^{s,p}$ by functions in $\dot{W}^{s,p}\cap L^{\infty}$, even though $\dot{W}^{s,p}$ does not embed into $L^{\infty}$ in this critical case.
△ Less
Submitted 27 August, 2018; v1 submitted 6 September, 2017;
originally announced September 2017.
-
On the Lipschitz character of orthotropic $p-$harmonic functions
Authors:
Pierre Bousquet,
Lorenzo Brasco,
Chiara Leone,
Anna Verde
Abstract:
We prove that local weak solutions of the orthotropic $p-$harmonic equation are locally Lipschitz, for every $p\ge 2$ and in every dimension. More generally, the result holds true for more degenerate equations with orthotropic structure, with right-hand sides in suitable Sobolev spaces.
We prove that local weak solutions of the orthotropic $p-$harmonic equation are locally Lipschitz, for every $p\ge 2$ and in every dimension. More generally, the result holds true for more degenerate equations with orthotropic structure, with right-hand sides in suitable Sobolev spaces.
△ Less
Submitted 7 February, 2018; v1 submitted 31 August, 2017;
originally announced August 2017.
-
Weak approximation by bounded Sobolev maps with values into complete manifolds
Authors:
Pierre Bousquet,
Augusto C. Ponce,
Jean Van Schaftingen
Abstract:
We have recently introduced the trimming property for a complete Riemannian manifold $N^{n}$ as a necessary and sufficient condition for bounded maps to be strongly dense in $W^{1, p}(B^m; N^{n})$ when $p \in \{1, \dotsc, m\}$. We prove in this note that even under a weaker notion of approximation, namely the weak sequential convergence, the trimming property remains necessary for the approximatio…
▽ More
We have recently introduced the trimming property for a complete Riemannian manifold $N^{n}$ as a necessary and sufficient condition for bounded maps to be strongly dense in $W^{1, p}(B^m; N^{n})$ when $p \in \{1, \dotsc, m\}$. We prove in this note that even under a weaker notion of approximation, namely the weak sequential convergence, the trimming property remains necessary for the approximation in terms of bounded maps. The argument involves the construction of a Sobolev map having infinitely many analytical singularities going to infinity.
△ Less
Submitted 26 January, 2017;
originally announced January 2017.
-
LIA system description for NIST SRE 2016
Authors:
Mickael Rouvier,
Pierre-Michel Bousquet,
Moez Ajili,
Waad Ben Kheder,
Driss Matrouf,
Jean-François Bonastre
Abstract:
This paper describes the LIA speaker recognition system developed for the Speaker Recognition Evaluation (SRE) campaign. Eight sub-systems are developed, all based on a state-of-the-art approach: i-vector/PLDA which represents the mainstream technique in text-independent speaker recognition. These sub-systems differ: on the acoustic feature extraction front-end (MFCC, PLP), at the i-vector extract…
▽ More
This paper describes the LIA speaker recognition system developed for the Speaker Recognition Evaluation (SRE) campaign. Eight sub-systems are developed, all based on a state-of-the-art approach: i-vector/PLDA which represents the mainstream technique in text-independent speaker recognition. These sub-systems differ: on the acoustic feature extraction front-end (MFCC, PLP), at the i-vector extraction stage (UBM, DNN or two-feats posteriors) and finally on the data-shifting (IDVC, mean-shifting). The submitted system is a fusion at the score-level of these eight sub-systems.
△ Less
Submitted 15 December, 2016;
originally announced December 2016.
-
$C^1$ regularity of orthotropic $p-$harmonic functions in the plane
Authors:
Pierre Bousquet,
Lorenzo Brasco
Abstract:
We prove that local weak solutions of the orthotropic $p-$harmonic equation in $\mathbb{R}^2$ are $C^1$ functions.
We prove that local weak solutions of the orthotropic $p-$harmonic equation in $\mathbb{R}^2$ are $C^1$ functions.
△ Less
Submitted 18 July, 2016;
originally announced July 2016.
-
Global Lipschitz continuity for minima of degenerate problems
Authors:
Pierre Bousquet,
Lorenzo Brasco
Abstract:
We consider the problem of minimizing the Lagrangian $\int [F(\nabla u)+f\,u]$ among functions on $Ω\subset\mathbb{R}^N$ with given boundary datum $\varphi$. We prove Lipschitz regularity up to the boundary for solutions of this problem, provided $Ω$ is convex and $\varphi$ satisfies the bounded slope condition. The convex function $F$ is required to satisfy a qualified form of uniform convexity {…
▽ More
We consider the problem of minimizing the Lagrangian $\int [F(\nabla u)+f\,u]$ among functions on $Ω\subset\mathbb{R}^N$ with given boundary datum $\varphi$. We prove Lipschitz regularity up to the boundary for solutions of this problem, provided $Ω$ is convex and $\varphi$ satisfies the bounded slope condition. The convex function $F$ is required to satisfy a qualified form of uniform convexity {\it only outside a ball} and no growth assumptions are made.
△ Less
Submitted 23 April, 2015;
originally announced April 2015.
-
Density of bounded maps in Sobolev spaces into complete manifolds
Authors:
Pierre Bousquet,
Augusto C. Ponce,
Jean Van Schaftingen
Abstract:
Given a complete noncompact Riemannian manifold $N^n$, we investigate whether the set of bounded Sobolev maps $(W^{1, p} \cap L^\infty) (Q^m; N^n)$ on the cube $Q^m$ is strongly dense in the Sobolev space $W^{1, p} (Q^m; N^n)$ for $1 \le p \le m$. The density always holds when $p$ is not an integer. When $p$ is an integer, the density can fail, and we prove that a quantitative trimming property is…
▽ More
Given a complete noncompact Riemannian manifold $N^n$, we investigate whether the set of bounded Sobolev maps $(W^{1, p} \cap L^\infty) (Q^m; N^n)$ on the cube $Q^m$ is strongly dense in the Sobolev space $W^{1, p} (Q^m; N^n)$ for $1 \le p \le m$. The density always holds when $p$ is not an integer. When $p$ is an integer, the density can fail, and we prove that a quantitative trimming property is equivalent with the density. This new condition is ensured for example by a uniform Lipschitz geometry of $N^n$. As a byproduct, we give necessary and sufficient conditions for the strong density of the set of smooth maps $C^\infty (\overline{Q^m}; N^n)$ in $W^{1, p} (Q^m; N^n)$.
△ Less
Submitted 8 May, 2017; v1 submitted 28 January, 2015;
originally announced January 2015.
-
Lipschitz regularity for local minimizers of some widely degenerate problems
Authors:
Pierre Bousquet,
Lorenzo Brasco,
Vesa Julin
Abstract:
We consider local minimizers of the functional \[ \sum_{i=1}^N \int (|u_{x_i}|-δ_i)^p_+\, dx+\int f\, u\, dx, \] where $δ_1,\dots,δ_N\ge 0$ and $(\,\cdot\,)_+$ stands for the positive part. Under suitable assumptions on $f$, we prove that local minimizers are Lipschitz continuous functions if $N=2$ and $p\ge 2$, or if $N\ge 2$ and $p\ge 4$.
We consider local minimizers of the functional \[ \sum_{i=1}^N \int (|u_{x_i}|-δ_i)^p_+\, dx+\int f\, u\, dx, \] where $δ_1,\dots,δ_N\ge 0$ and $(\,\cdot\,)_+$ stands for the positive part. Under suitable assumptions on $f$, we prove that local minimizers are Lipschitz continuous functions if $N=2$ and $p\ge 2$, or if $N\ge 2$ and $p\ge 4$.
△ Less
Submitted 7 September, 2014;
originally announced September 2014.
-
Strong approximation of fractional Sobolev maps
Authors:
Pierre Bousquet,
Augusto C. Ponce,
Jean Van Schaftingen
Abstract:
Brezis and Mironescu have announced several years ago that for a compact manifold $N^n \subset \mathbb{R}^ν$ and for real numbers $0 < s < 1$ and $1 \le p < \infty$ the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{s, p}(Q^m; N^n)$ when the homotopy group $π_{\lfloor sp \rfloor}(N^n)$ of…
▽ More
Brezis and Mironescu have announced several years ago that for a compact manifold $N^n \subset \mathbb{R}^ν$ and for real numbers $0 < s < 1$ and $1 \le p < \infty$ the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{s, p}(Q^m; N^n)$ when the homotopy group $π_{\lfloor sp \rfloor}(N^n)$ of order $\lfloor sp \rfloor$ is trivial. The proof of this beautiful result is long and rather involved. Under the additional assumption that $N^n$ is $\lfloor sp \rfloor$ simply connected, we give a shorter proof of their result. Our proof for $sp \ge 1$ is based on the existence of a retraction of $\mathbb{R}^ν$ onto $N^n$ except for a small subset in the complement of $N^n$ and on the Gagliardo-Nirenberg interpolation inequality for maps in $W^{1, q} \cap L^\infty$. In contrast, the case $sp < 1$ relies on the density of step functions on cubes in $W^{s, p}$.
△ Less
Submitted 22 October, 2013;
originally announced October 2013.
-
Hardy-Sobolev inequalities for vector fields and canceling linear differential operators
Authors:
Pierre Bousquet,
Jean Van Schaftingen
Abstract:
Given a homogeneous k-th order differential operator $A (D)$ on $\mathbb{R}^n$ between two finite dimensional spaces, we establish the Hardy inequality $$\int_{\mathbb{R}^n} \frac{\lvert D^{k-1}u\rvert}{\lvert x \rvert} \,\mathrm{d} x \leq C \int_{\mathbb{R}^n} \lvert A(D)u\rvert $$ and the Sobolev inequality…
▽ More
Given a homogeneous k-th order differential operator $A (D)$ on $\mathbb{R}^n$ between two finite dimensional spaces, we establish the Hardy inequality $$\int_{\mathbb{R}^n} \frac{\lvert D^{k-1}u\rvert}{\lvert x \rvert} \,\mathrm{d} x \leq C \int_{\mathbb{R}^n} \lvert A(D)u\rvert $$ and the Sobolev inequality $$\lVert D^{k-n} u\rVert_{L^{\infty}(\mathbb{R}^n)}\leq C \int_{\mathbb{R}^n} \lvert A(D)u\rvert $$ when $A(D)$ is elliptic and satisfies a recently introduced cancellation property. We also study the necessity of these two conditions.
△ Less
Submitted 10 April, 2019; v1 submitted 18 May, 2013;
originally announced May 2013.
-
Excluding cycles with a fixed number of chords
Authors:
Pierre Aboulker 'and' Nicolas Bousquet
Abstract:
Trotignon and Vuskovic completely characterized graphs that do not contain cycles with exactly one chord. In particular, they show that such a graph G has chromatic number at most max(3,w(G)). We generalize this result to the class of graphs that do not contain cycles with exactly two chords and the class of graphs that do not contain cycles with exactly three chords. More precisely we prove that…
▽ More
Trotignon and Vuskovic completely characterized graphs that do not contain cycles with exactly one chord. In particular, they show that such a graph G has chromatic number at most max(3,w(G)). We generalize this result to the class of graphs that do not contain cycles with exactly two chords and the class of graphs that do not contain cycles with exactly three chords. More precisely we prove that graphs with no cycle with exactly two chords have chromatic number at most 6. And a graph G with no cycle with exactly three chords have chromatic number at most max(96,w(G)+1).
△ Less
Submitted 5 April, 2013;
originally announced April 2013.
-
Density of smooth maps for fractional Sobolev spaces $W^{s, p}$ into $\ell$ simply connected manifolds when $s \ge 1$
Authors:
Pierre Bousquet,
Augusto C. Ponce,
Jean Van Schaftingen
Abstract:
Given a compact manifold $N^n \subset \mathbb{R}^ν$, $s \ge 1$ and $1 \le p < \infty$, we prove that the class of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s, p}(Q^m; N^n)$ when $N^n$ is $\lfloor sp \rfloor$ simply connected. For $sp$ integer, we prove weak density of smooth maps with values into $N^n$ when $N^n$ is $sp - 1$ simply connect…
▽ More
Given a compact manifold $N^n \subset \mathbb{R}^ν$, $s \ge 1$ and $1 \le p < \infty$, we prove that the class of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s, p}(Q^m; N^n)$ when $N^n$ is $\lfloor sp \rfloor$ simply connected. For $sp$ integer, we prove weak density of smooth maps with values into $N^n$ when $N^n$ is $sp - 1$ simply connected. The proofs are based on the existence of a retraction of $\mathbb{R}^ν$ onto $N^n$ except for a small subset of $N^n$ and on a pointwise estimate of fractional derivatives of composition of maps in $W^{s, p} \cap W^{1, sp}$.
△ Less
Submitted 27 February, 2014; v1 submitted 9 October, 2012;
originally announced October 2012.
-
Strong density for higher order Sobolev spaces into compact manifolds
Authors:
Pierre Bousquet,
Augusto Ponce,
Jean Van Schaftingen
Abstract:
Given a compact manifold $N^n$, an integer $k \in \mathbb{N}_*$ and an exponent $1 \le p < \infty$, we prove that the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{k, p}(Q^m; N^n)$ when the homotopy group $π_{\lfloor kp \rfloor}(N^n)$ of order $\lfloor kp \rfloor$ is trivial. We also pro…
▽ More
Given a compact manifold $N^n$, an integer $k \in \mathbb{N}_*$ and an exponent $1 \le p < \infty$, we prove that the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{k, p}(Q^m; N^n)$ when the homotopy group $π_{\lfloor kp \rfloor}(N^n)$ of order $\lfloor kp \rfloor$ is trivial. We also prove the density of maps that are smooth except for a set of dimension $m - \lfloor kp \rfloor - 1$, without any restriction on the homotopy group of $N^n$
△ Less
Submitted 14 April, 2015; v1 submitted 16 March, 2012;
originally announced March 2012.