-
The isoperimetric inequality for partial sums of Toeplitz eigenvalues in the Fock space
Authors:
Fabio Nicola,
Federico Riccardi,
Paolo Tilli
Abstract:
We prove that, among all subsets $Ω\subset \mathbb{C}$ having circular symmetry and prescribed measure, the ball is the only maximizer of the sum of the first $K$ eigenvalues ($K\geq 1$) of the corresponding Toeplitz operator $T_Ω$ on the Fock space $\mathcal{F}$. As a byproduct, we prove that balls maximize any Schatten $p$-norm of $T_Ω$ for $p>1$ (and minimize the corresponding quasinorm for…
▽ More
We prove that, among all subsets $Ω\subset \mathbb{C}$ having circular symmetry and prescribed measure, the ball is the only maximizer of the sum of the first $K$ eigenvalues ($K\geq 1$) of the corresponding Toeplitz operator $T_Ω$ on the Fock space $\mathcal{F}$. As a byproduct, we prove that balls maximize any Schatten $p$-norm of $T_Ω$ for $p>1$ (and minimize the corresponding quasinorm for $p<1$), and that the second eigenvalue is maximized by a particular annulus. Moreover, we extend some of these results to general radial symbols in $L^p(\mathbb{C})$, with $p > 1$, characterizing those that maximize the sum of the first $K$ eigenvalues. We also show a symmetry breaking phenomenon for the second eigenvalue, when the assumption of circular symmetry is dropped.
△ Less
Submitted 20 June, 2025; v1 submitted 10 March, 2025;
originally announced March 2025.
-
The Wehrl-type entropy conjecture for symmetric $SU(N)$ coherent states: cases of equality and stability
Authors:
Fabio Nicola,
Federico Riccardi,
Paolo Tilli
Abstract:
Lieb and Solovej proved that, for the symmetric $SU(N)$ representations, the corresponding Wehrl-type entropy is minimized by symmetric coherent states. However, the uniqueness of the minimizers remained an open problem when $N\geq 3$. In this note we complete the proof of the Wehrl entropy conjecture for such representations, by showing that symmetric coherent states are, in fact, the only minimi…
▽ More
Lieb and Solovej proved that, for the symmetric $SU(N)$ representations, the corresponding Wehrl-type entropy is minimized by symmetric coherent states. However, the uniqueness of the minimizers remained an open problem when $N\geq 3$. In this note we complete the proof of the Wehrl entropy conjecture for such representations, by showing that symmetric coherent states are, in fact, the only minimizers. We also provide an application to the maximum concentration of holomorphic polynomials and deduce a corresponding Faber-Krahn inequality. A sharp quantitative form of the bound by Lieb and Solovej is also proved.
△ Less
Submitted 23 December, 2024; v1 submitted 14 December, 2024;
originally announced December 2024.
-
Discrete Subgraph Sampling for Interpretable Graph based Visual Question Answering
Authors:
Pascal Tilli,
Ngoc Thang Vu
Abstract:
Explainable artificial intelligence (XAI) aims to make machine learning models more transparent. While many approaches focus on generating explanations post-hoc, interpretable approaches, which generate the explanations intrinsically alongside the predictions, are relatively rare. In this work, we integrate different discrete subset sampling methods into a graph-based visual question answering sys…
▽ More
Explainable artificial intelligence (XAI) aims to make machine learning models more transparent. While many approaches focus on generating explanations post-hoc, interpretable approaches, which generate the explanations intrinsically alongside the predictions, are relatively rare. In this work, we integrate different discrete subset sampling methods into a graph-based visual question answering system to compare their effectiveness in generating interpretable explanatory subgraphs intrinsically. We evaluate the methods on the GQA dataset and show that the integrated methods effectively mitigate the performance trade-off between interpretability and answer accuracy, while also achieving strong co-occurrences between answer and question tokens. Furthermore, we conduct a human evaluation to assess the interpretability of the generated subgraphs using a comparative setting with the extended Bradley-Terry model, showing that the answer and question token co-occurrence metrics strongly correlate with human preferences. Our source code is publicly available.
△ Less
Submitted 11 December, 2024;
originally announced December 2024.
-
Explaining Caption-Image Interactions in CLIP models with Second-Order Attributions
Authors:
Lucas Möller,
Pascal Tilli,
Ngoc Thang Vu,
Sebastian Padó
Abstract:
Dual encoder architectures like CLIP models map two types of inputs into a shared embedding space and predict similarities between them. Despite their success, it is, however, not understood how these models compare their two inputs. Common first-order feature-attribution methods can only provide limited insights into dual-encoders since their predictions depend on feature-interactions rather than…
▽ More
Dual encoder architectures like CLIP models map two types of inputs into a shared embedding space and predict similarities between them. Despite their success, it is, however, not understood how these models compare their two inputs. Common first-order feature-attribution methods can only provide limited insights into dual-encoders since their predictions depend on feature-interactions rather than on individual features. In this paper, we first derive a second-order method enabling the attribution of predictions by any differentiable dual encoder onto feature-interactions between its inputs. Second, we apply our method to CLIP models and show that they learn fine-grained correspondences between parts of captions and regions in images. They match objects across input modes also account for mismatches. This visual-linguistic grounding ability, however, varies heavily between object classes and exhibits pronounced out-of-domain effects. We can identify individual errors as well as systematic failure categories including object coverage, unusual scenes and correlated contexts.
△ Less
Submitted 6 March, 2025; v1 submitted 26 August, 2024;
originally announced August 2024.
-
Intrinsic Subgraph Generation for Interpretable Graph based Visual Question Answering
Authors:
Pascal Tilli,
Ngoc Thang Vu
Abstract:
The large success of deep learning based methods in Visual Question Answering (VQA) has concurrently increased the demand for explainable methods. Most methods in Explainable Artificial Intelligence (XAI) focus on generating post-hoc explanations rather than taking an intrinsic approach, the latter characterizing an interpretable model. In this work, we introduce an interpretable approach for grap…
▽ More
The large success of deep learning based methods in Visual Question Answering (VQA) has concurrently increased the demand for explainable methods. Most methods in Explainable Artificial Intelligence (XAI) focus on generating post-hoc explanations rather than taking an intrinsic approach, the latter characterizing an interpretable model. In this work, we introduce an interpretable approach for graph-based VQA and demonstrate competitive performance on the GQA dataset. This approach bridges the gap between interpretability and performance. Our model is designed to intrinsically produce a subgraph during the question-answering process as its explanation, providing insight into the decision making. To evaluate the quality of these generated subgraphs, we compare them against established post-hoc explainability methods for graph neural networks, and perform a human evaluation. Moreover, we present quantitative metrics that correlate with the evaluations of human assessors, acting as automatic metrics for the generated explanatory subgraphs. Our implementation is available at https://github.com/DigitalPhonetics/Intrinsic-Subgraph-Generation-for-VQA.
△ Less
Submitted 27 March, 2024; v1 submitted 26 March, 2024;
originally announced March 2024.
-
Controllable Generation of Artificial Speaker Embeddings through Discovery of Principal Directions
Authors:
Florian Lux,
Pascal Tilli,
Sarina Meyer,
Ngoc Thang Vu
Abstract:
Customizing voice and speaking style in a speech synthesis system with intuitive and fine-grained controls is challenging, given that little data with appropriate labels is available. Furthermore, editing an existing human's voice also comes with ethical concerns. In this paper, we propose a method to generate artificial speaker embeddings that cannot be linked to a real human while offering intui…
▽ More
Customizing voice and speaking style in a speech synthesis system with intuitive and fine-grained controls is challenging, given that little data with appropriate labels is available. Furthermore, editing an existing human's voice also comes with ethical concerns. In this paper, we propose a method to generate artificial speaker embeddings that cannot be linked to a real human while offering intuitive and fine-grained control over the voice and speaking style of the embeddings, without requiring any labels for speaker or style. The artificial and controllable embeddings can be fed to a speech synthesis system, conditioned on embeddings of real humans during training, without sacrificing privacy during inference.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
The generalized Wehrl entropy bound in quantitative form
Authors:
Rupert L. Frank,
Fabio Nicola,
Paolo Tilli
Abstract:
Lieb and Carlen have shown that mixed states with minimal Wehrl entropy are coherent states. We prove that mixed states with almost minimal Wehrl entropy are almost coherent states. This is proved in a quantitative sense where both the norm and the exponent are optimal and the constant is explicit. We prove a similar bound for generalized Wehrl entropies. As an application, a sharp quantitative fo…
▽ More
Lieb and Carlen have shown that mixed states with minimal Wehrl entropy are coherent states. We prove that mixed states with almost minimal Wehrl entropy are almost coherent states. This is proved in a quantitative sense where both the norm and the exponent are optimal and the constant is explicit. We prove a similar bound for generalized Wehrl entropies. As an application, a sharp quantitative form of the log-Sobolev inequality for functions in the Fock space is provided.
△ Less
Submitted 1 November, 2023; v1 submitted 26 July, 2023;
originally announced July 2023.
-
Stability of the Faber-Krahn inequality for the Short-time Fourier Transform
Authors:
Jaime Gómez,
André Guerra,
João P. G. Ramos,
Paolo Tilli
Abstract:
We prove a sharp quantitative version of the Faber--Krahn inequality for the short-time Fourier transform (STFT). To do so, we consider a deficit $δ(f;Ω)$ which measures by how much the STFT of a function $f\in L^2(\mathbb R)$ fails to be optimally concentrated on an arbitrary set $Ω\subset \mathbb R^2$ of positive, finite measure. We then show that an optimal power of the deficit $δ(f;Ω)$ control…
▽ More
We prove a sharp quantitative version of the Faber--Krahn inequality for the short-time Fourier transform (STFT). To do so, we consider a deficit $δ(f;Ω)$ which measures by how much the STFT of a function $f\in L^2(\mathbb R)$ fails to be optimally concentrated on an arbitrary set $Ω\subset \mathbb R^2$ of positive, finite measure. We then show that an optimal power of the deficit $δ(f;Ω)$ controls both the $L^2$-distance of $f$ to an appropriate class of Gaussians and the distance of $Ω$ to a ball, through the Fraenkel asymmetry of $Ω$. Our proof is completely quantitative and hence all constants are explicit. We also establish suitable generalizations of this result in the higher-dimensional context.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
A monotonicity theorem for subharmonic functions on manifolds
Authors:
Aleksei Kulikov,
Fabio Nicola,
Joaquim Ortega-Cerdà,
Paolo Tilli
Abstract:
We provide a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we deduce contractivity estimates for analytic functions on the Riemann sphere, the complex plane and the Poincaré disc, with a complete description of the extremal…
▽ More
We provide a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we deduce contractivity estimates for analytic functions on the Riemann sphere, the complex plane and the Poincaré disc, with a complete description of the extremal functions, hence providing a unified and illuminating perspective of a number of results and conjectures on this subject, in particular on the Wehrl entropy conjecture by Lieb and Solovej. In this connection, we completely prove that conjecture for SU(2), by showing that the corresponding extremals are only the coherent states. Also, we show that the above (global) estimates admit a local counterpart and in all cases we characterize also the extremal subsets, among those of fixed assigned measure.
△ Less
Submitted 14 January, 2023; v1 submitted 28 December, 2022;
originally announced December 2022.
-
Anonymizing Speech with Generative Adversarial Networks to Preserve Speaker Privacy
Authors:
Sarina Meyer,
Pascal Tilli,
Pavel Denisov,
Florian Lux,
Julia Koch,
Ngoc Thang Vu
Abstract:
In order to protect the privacy of speech data, speaker anonymization aims for hiding the identity of a speaker by changing the voice in speech recordings. This typically comes with a privacy-utility trade-off between protection of individuals and usability of the data for downstream applications. One of the challenges in this context is to create non-existent voices that sound as natural as possi…
▽ More
In order to protect the privacy of speech data, speaker anonymization aims for hiding the identity of a speaker by changing the voice in speech recordings. This typically comes with a privacy-utility trade-off between protection of individuals and usability of the data for downstream applications. One of the challenges in this context is to create non-existent voices that sound as natural as possible.
In this work, we propose to tackle this issue by generating speaker embeddings using a generative adversarial network with Wasserstein distance as cost function. By incorporating these artificial embeddings into a speech-to-text-to-speech pipeline, we outperform previous approaches in terms of privacy and utility. According to standard objective metrics and human evaluation, our approach generates intelligible and content-preserving yet privacy-protecting versions of the original recordings.
△ Less
Submitted 20 October, 2022; v1 submitted 13 October, 2022;
originally announced October 2022.
-
The norm of time-frequency and wavelet localization operators
Authors:
Fabio Nicola,
Paolo Tilli
Abstract:
Time-frequency localization operators (with Gaussian window) $L_F:L^2(\mathbb{R}^d)\to L^2(\mathbb{R}^d)$, where $F$ is a weight in $\mathbb{R}^{2d}$, were introduced in signal processing by I. Daubechies in 1988, inaugurating a new, geometric, phase-space perspective. Sharp upper bounds for the norm (and the singular values) of such operators turn out to be a challenging issue with deep applicati…
▽ More
Time-frequency localization operators (with Gaussian window) $L_F:L^2(\mathbb{R}^d)\to L^2(\mathbb{R}^d)$, where $F$ is a weight in $\mathbb{R}^{2d}$, were introduced in signal processing by I. Daubechies in 1988, inaugurating a new, geometric, phase-space perspective. Sharp upper bounds for the norm (and the singular values) of such operators turn out to be a challenging issue with deep applications in signal recovery, quantum physics and the study of uncertainty principles. In this note we provide optimal upper bounds for the operator norm $\|L_F\|_{L^2\to L^2}$, assuming $F\in L^p(\mathbb{R}^{2d})$, $1<p<\infty$ or $F\in L^p(\mathbb{R}^{2d})\cap L^\infty(\mathbb{R}^{2d})$, $1\leq p<\infty$. It turns out that two regimes arise, depending on whether the quantity $\|F\|_{L^p}/\|F\|_{L^\infty}$ is less or greater than a certain critical value. In the first regime the extremal weights $F$, for which equality occurs in the estimates, are certain Gaussians, whereas in the second regime they are proved to be truncated Gaussians, degenerating in a multiple of a characteristic function of a ball for $p=1$. This phase transition through truncated Gaussians appears to be a new phenomenon in time-frequency concentration problems. For the analogous problem for wavelet localization operators -- where the Cauchy wavelet plays the role of the above Gaussian window -- a complete solution is also provided.
△ Less
Submitted 4 November, 2022; v1 submitted 18 July, 2022;
originally announced July 2022.
-
Speaker Anonymization with Phonetic Intermediate Representations
Authors:
Sarina Meyer,
Florian Lux,
Pavel Denisov,
Julia Koch,
Pascal Tilli,
Ngoc Thang Vu
Abstract:
In this work, we propose a speaker anonymization pipeline that leverages high quality automatic speech recognition and synthesis systems to generate speech conditioned on phonetic transcriptions and anonymized speaker embeddings. Using phones as the intermediate representation ensures near complete elimination of speaker identity information from the input while preserving the original phonetic co…
▽ More
In this work, we propose a speaker anonymization pipeline that leverages high quality automatic speech recognition and synthesis systems to generate speech conditioned on phonetic transcriptions and anonymized speaker embeddings. Using phones as the intermediate representation ensures near complete elimination of speaker identity information from the input while preserving the original phonetic content as much as possible. Our experimental results on LibriSpeech and VCTK corpora reveal two key findings: 1) although automatic speech recognition produces imperfect transcriptions, our neural speech synthesis system can handle such errors, making our system feasible and robust, and 2) combining speaker embeddings from different resources is beneficial and their appropriate normalization is crucial. Overall, our final best system outperforms significantly the baselines provided in the Voice Privacy Challenge 2020 in terms of privacy robustness against a lazy-informed attacker while maintaining high intelligibility and naturalness of the anonymized speech.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
A Faber-Krahn inequality for wavelet transforms
Authors:
João P. G. Ramos,
Paolo Tilli
Abstract:
For some special window functions $ψ_β \in H^2(\mathbb{C}^+),$ we prove that, over all sets $Δ\subset \mathbb{C}^+$ of fixed hyperbolic measure $ν(Δ),$ the ones over which the Wavelet transform $W_{\overline{ψ_β}}$ with window $\overline{ψ_β}$ concentrates optimally are exactly the discs with respect to the pseudohyperbolic metric of the upper half space. This answers a question raised by Abreu an…
▽ More
For some special window functions $ψ_β \in H^2(\mathbb{C}^+),$ we prove that, over all sets $Δ\subset \mathbb{C}^+$ of fixed hyperbolic measure $ν(Δ),$ the ones over which the Wavelet transform $W_{\overline{ψ_β}}$ with window $\overline{ψ_β}$ concentrates optimally are exactly the discs with respect to the pseudohyperbolic metric of the upper half space. This answers a question raised by Abreu and Dörfler.
Our techniques make use of a framework recently developed in a previous work by F. Nicola and the second author, but in the hyperbolic context induced by the dilation symmetry of the Wavelet transform. This leads us naturally to use a hyperbolic rearrangement function, as well as the hyperbolic isoperimetric inequality, in our analysis.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
Beyond Accuracy: A Consolidated Tool for Visual Question Answering Benchmarking
Authors:
Dirk Väth,
Pascal Tilli,
Ngoc Thang Vu
Abstract:
On the way towards general Visual Question Answering (VQA) systems that are able to answer arbitrary questions, the need arises for evaluation beyond single-metric leaderboards for specific datasets. To this end, we propose a browser-based benchmarking tool for researchers and challenge organizers, with an API for easy integration of new models and datasets to keep up with the fast-changing landsc…
▽ More
On the way towards general Visual Question Answering (VQA) systems that are able to answer arbitrary questions, the need arises for evaluation beyond single-metric leaderboards for specific datasets. To this end, we propose a browser-based benchmarking tool for researchers and challenge organizers, with an API for easy integration of new models and datasets to keep up with the fast-changing landscape of VQA. Our tool helps test generalization capabilities of models across multiple datasets, evaluating not just accuracy, but also performance in more realistic real-world scenarios such as robustness to input noise. Additionally, we include metrics that measure biases and uncertainty, to further explain model behavior. Interactive filtering facilitates discovery of problematic behavior, down to the data sample level. As proof of concept, we perform a case study on four models. We find that state-of-the-art VQA models are optimized for specific tasks or datasets, but fail to generalize even to other in-domain test sets, for example they cannot recognize text in images. Our metrics allow us to quantify which image and question embeddings provide most robustness to a model. All code is publicly available.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Action versus energy ground states in nonlinear Schrödinger equations
Authors:
Simone Dovetta,
Enrico Serra,
Paolo Tilli
Abstract:
We investigate the relations between normalized critical points of the nonlinear Schrödinger energy functional and critical points of the corresponding action functional on the associated Nehari manifold. Our first general result is that the ground state levels are strongly related by the following duality result: the (negative) energy ground state level is the Legendre-Fenchel transform of the ac…
▽ More
We investigate the relations between normalized critical points of the nonlinear Schrödinger energy functional and critical points of the corresponding action functional on the associated Nehari manifold. Our first general result is that the ground state levels are strongly related by the following duality result: the (negative) energy ground state level is the Legendre-Fenchel transform of the action ground state level. Furthermore, whenever an energy ground state exists at a certain frequency, then all action ground states with that frequency have the same mass and are energy ground states too. We prove that the converse is in general false and that the action ground state level may fail to be convex. Next we analyze the differentiability of the ground state action level and we provide an explicit expression involving the mass of action ground states. Finally we show that similar results hold also for local minimizers.
△ Less
Submitted 10 September, 2021; v1 submitted 19 July, 2021;
originally announced July 2021.
-
The Faber-Krahn inequality for the Short-time Fourier transform
Authors:
Fabio Nicola,
Paolo Tilli
Abstract:
In this paper we solve an open problem concerning the characterization of those measurable sets $Ω\subset \mathbb{R}^{2d}$ that, among all sets having a prescribed Lebesgue measure, can trap the largest possible energy fraction in time-frequency space, where the energy density of a generic function $f\in L^2(\mathbb{R}^d)$ is defined in terms of its Short-time Fourier transform (STFT)…
▽ More
In this paper we solve an open problem concerning the characterization of those measurable sets $Ω\subset \mathbb{R}^{2d}$ that, among all sets having a prescribed Lebesgue measure, can trap the largest possible energy fraction in time-frequency space, where the energy density of a generic function $f\in L^2(\mathbb{R}^d)$ is defined in terms of its Short-time Fourier transform (STFT) $\mathcal{V} f(x,ω)$, with Gaussian window. More precisely, given a measurable set $Ω\subset\mathbb{R}^{2d}$ having measure $s> 0$, we prove that the quantity \[ Φ_Ω=\max\Big\{\int_Ω|\mathcal{V} f(x,ω)|^2\,dxdω: f\in L^2(\mathbb{R}^d),\ \|f\|_{L^2}=1\Big\}, \] is largest possible if and only if $Ω$ is equivalent, up to a negligible set, to a ball of measure $s$, and in this case we characterize all functions $f$ that achieve equality. This result leads to a sharp uncertainty principle for the "essential support" of the STFT (when $d=1$, this can be summarized by the optimal bound $Φ_Ω\leq 1-e^{-|Ω|}$, with equality if and only if $Ω$ is a ball). Our approach, using techniques from measure theory after suitably rephrasing the problem in the Fock space, also leads to a local version of Lieb's uncertainty inequality for the STFT in $L^p$ when $p\in [2,\infty)$, as well as to $L^p$-concentration estimates when $p\in [1,\infty)$, thus proving a related conjecture. In all cases we identify the corresponding extremals.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
A minimization procedure to the existence of segregated solutions to parabolic reaction-diffusion systems
Authors:
Alessandro Audrito,
Enrico Serra,
Paolo Tilli
Abstract:
We study the existence of segregated solutions to a class of reaction-diffusion systems with strong interactions, arising in many physical applications. These special solutions are obtained as weak limits of minimizers of a family of perturbed functionals. We prove some a priori estimates through a minimization procedure which is nonstandard in the parabolic theory: our approach is purely variatio…
▽ More
We study the existence of segregated solutions to a class of reaction-diffusion systems with strong interactions, arising in many physical applications. These special solutions are obtained as weak limits of minimizers of a family of perturbed functionals. We prove some a priori estimates through a minimization procedure which is nonstandard in the parabolic theory: our approach is purely variational and all the information is encoded in the family of functionals we consider.
△ Less
Submitted 28 April, 2020;
originally announced April 2020.
-
Uniqueness and non-uniqueness of prescribed mass NLS ground states on metric graphs
Authors:
Simone Dovetta,
Enrico Serra,
Paolo Tilli
Abstract:
We consider the problem of uniqueness of ground states of prescribed mass for the Nonlinear Schrödinger Energy with power nonlinearity on noncompact metric graphs. We first establish that the Lagrange multiplier appearing in the NLS equation is constant on the set of ground states of mass $μ$, up to an at most countable set of masses. Then we apply this result to obtain uniqueness of ground states…
▽ More
We consider the problem of uniqueness of ground states of prescribed mass for the Nonlinear Schrödinger Energy with power nonlinearity on noncompact metric graphs. We first establish that the Lagrange multiplier appearing in the NLS equation is constant on the set of ground states of mass $μ$, up to an at most countable set of masses. Then we apply this result to obtain uniqueness of ground states on two specific noncompact graphs. Finally we construct a graph that admits at least two ground states with the same mass having different Lagrange multipliers. Our proofs are based on careful variational arguments and rearrangement techniques, and hold both for the subcritical range $p\in(2,6)$ and in the critical case $p = 6$.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Optimal partitioning of an interval and applications to Sturm-Liouville eigenvalues
Authors:
Paolo Tilli,
Davide Zucco
Abstract:
We study the optimal partitioning of a (possibly unbounded) interval of the real line into $n$ subintervals in order to minimize the maximum of certain set-functions, under rather general assumptions such as continuity, monotonicity, and a Radon-Nikodym property. We prove existence and uniqueness of a solution to this minimax partition problem, showing that the values of the set-functions on the i…
▽ More
We study the optimal partitioning of a (possibly unbounded) interval of the real line into $n$ subintervals in order to minimize the maximum of certain set-functions, under rather general assumptions such as continuity, monotonicity, and a Radon-Nikodym property. We prove existence and uniqueness of a solution to this minimax partition problem, showing that the values of the set-functions on the intervals of any optimal partition must coincide. We also investigate the asymptotic distribution of the optimal partitions as $n$ tends to infinity. Several examples of set-functions fit in this framework, including measures, weighted distances and eigenvalues. We recover, in particular, some classical results of Sturm-Liouville theory: the asymptotic distribution of the zeros of the eigenfunctions, the asymptotics of the eigenvalues, and the celebrated Weyl law on the asymptotics of the counting function.
△ Less
Submitted 7 May, 2019;
originally announced May 2019.
-
NLS ground states on metric trees: existence results and open questions
Authors:
Simone Dovetta,
Enrico Serra,
Paolo Tilli
Abstract:
We consider the minimization of the NLS energy on a metric tree, either rooted or unrooted, subject to a mass constraint. With respect to the same problem on other types of metric graphs, several new features appear, such as the existence of minimizers with positive energy, and the emergence of unexpected threshold phenomena. We also study the problem with a radial symmetry constraint that is in p…
▽ More
We consider the minimization of the NLS energy on a metric tree, either rooted or unrooted, subject to a mass constraint. With respect to the same problem on other types of metric graphs, several new features appear, such as the existence of minimizers with positive energy, and the emergence of unexpected threshold phenomena. We also study the problem with a radial symmetry constraint that is in principle different from the free problem due to the failure of the Pólya-Szegő inequality for radial rearrangements. A key role is played by a new Poincaré inequality with remainder.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
Spectral partitions for Sturm-Liouville problems
Authors:
Paolo Tilli,
Davide Zucco
Abstract:
We look for best partitions of the unit interval that minimize certain functionals defined in terms of the eigenvalues of Sturm-Liouville problems. Via Γ-convergence theory, we study the asymptotic distribution of the minimizers as the number of intervals of the partition tends to infinity. Then we discuss several examples that fit in our framework, such as the sum of (positive and negative) power…
▽ More
We look for best partitions of the unit interval that minimize certain functionals defined in terms of the eigenvalues of Sturm-Liouville problems. Via Γ-convergence theory, we study the asymptotic distribution of the minimizers as the number of intervals of the partition tends to infinity. Then we discuss several examples that fit in our framework, such as the sum of (positive and negative) powers of the eigenvalues and an approximation of the trace of the heat Sturm-Liouville operator.
△ Less
Submitted 18 December, 2018; v1 submitted 16 July, 2018;
originally announced July 2018.
-
Dimensional crossover with a continuum of critical exponents for NLS on doubly periodic metric graphs
Authors:
Riccardo Adami,
Simone Dovetta,
Enrico Serra,
Paolo Tilli
Abstract:
We investigate the existence of ground states for the focusing nonlinear Schroedinger equation on a prototypical doubly periodic metric graph. When the nonlinearity power is below 4, ground states exist for every value of the mass, while, for every nonlinearity power between 4 (included) and 6 (excluded), a mark of $L^2$-criticality arises, as ground states exist if and only if the mass exceeds a…
▽ More
We investigate the existence of ground states for the focusing nonlinear Schroedinger equation on a prototypical doubly periodic metric graph. When the nonlinearity power is below 4, ground states exist for every value of the mass, while, for every nonlinearity power between 4 (included) and 6 (excluded), a mark of $L^2$-criticality arises, as ground states exist if and only if the mass exceeds a threshold value that depends on the power. This phenomenon can be interpreted as a continuous transition from a two-dimensional regime, for which the only critical power is 4, to a one-dimensional behavior, in which criticality corresponds to the power 6. We show that such a dimensional crossover is rooted in the coexistence of one-dimensional and two-dimensional Sobolev inequalities, leading to a new family of Gagliardo-Nirenberg inequalities that account for this continuum of critical exponents.
△ Less
Submitted 7 May, 2018;
originally announced May 2018.
-
An existence result for dissipative nonhomogeneous hyperbolic equations via a minimization approach
Authors:
Lorenzo Tentarelli,
Paolo Tilli
Abstract:
We discuss a purely variational approach to the study of a wide class of second order nonhomogeneous dissipative hyperbolic PDEs. Precisely, we focus on the wave-like equations that present also a nonzero source term and a first-order-in-time linear term. The paper carries on the research program initiated in (Serra&Tilli'12), and developed in (Serra&Tilli'16), (Tentarelli&Tilli '18), on the De Gi…
▽ More
We discuss a purely variational approach to the study of a wide class of second order nonhomogeneous dissipative hyperbolic PDEs. Precisely, we focus on the wave-like equations that present also a nonzero source term and a first-order-in-time linear term. The paper carries on the research program initiated in (Serra&Tilli'12), and developed in (Serra&Tilli'16), (Tentarelli&Tilli '18), on the De Giorgi approach to hyperbolic equations.
△ Less
Submitted 25 October, 2018; v1 submitted 30 April, 2018;
originally announced April 2018.
-
Asymptotics of the first Laplace eigenvalue with Dirichlet regions of prescribed length
Authors:
Paolo Tilli,
Davide Zucco
Abstract:
We consider the problem of maximizing the first eigenvalue of the $p$-laplacian (possibly with non-constant coefficients) over a fixed domain $Ω$, with Dirichlet conditions along $\partialΩ$ and along a supplementary set $Σ$, which is the unknown of the optimization problem. The set $Σ$, that plays the role of a supplementary stiffening rib for a membrane $Ω$, is a compact connected set (e.g. a cu…
▽ More
We consider the problem of maximizing the first eigenvalue of the $p$-laplacian (possibly with non-constant coefficients) over a fixed domain $Ω$, with Dirichlet conditions along $\partialΩ$ and along a supplementary set $Σ$, which is the unknown of the optimization problem. The set $Σ$, that plays the role of a supplementary stiffening rib for a membrane $Ω$, is a compact connected set (e.g. a curve or a connected system of curves) that can be placed anywhere in $\overlineΩ$, and is subject to the constraint of an upper bound $L$ to its total length (one-dimensional Hausdorff measure). This upper bound prevents $Σ$ from spreading throughout $Ω$ and makes the problem well-posed. We investigate the behavior of optimal sets $Σ_L$ as $L\to\infty$ via $Γ$-convergence, and we explicitly construct certain asymptotically optimal configurations. We also study the behavior as $p\to\infty$ with $L$ fixed, finding connections with maximum-distance problems related to the principal frequency of the $\infty$-laplacian.
△ Less
Submitted 29 March, 2018;
originally announced March 2018.
-
De Giorgi's approach to hyperbolic Cauchy problems: the case of nonhomogeneous equations
Authors:
Lorenzo Tentarelli,
Paolo Tilli
Abstract:
In this paper we discuss an extension of some results obtained by E. Serra and P. Tilli, in [Serra&Tilli '12, Serra&Tilli '16], concerning an original conjecture by E. De Giorgi ([De Giorgi '96, De Giorgi '06]) on a purely minimization approach to the Cauchy problem for the defocusing nonlinear wave equation. Precisely, we show how to extend the techniques developed by Serra and Tilli for homogene…
▽ More
In this paper we discuss an extension of some results obtained by E. Serra and P. Tilli, in [Serra&Tilli '12, Serra&Tilli '16], concerning an original conjecture by E. De Giorgi ([De Giorgi '96, De Giorgi '06]) on a purely minimization approach to the Cauchy problem for the defocusing nonlinear wave equation. Precisely, we show how to extend the techniques developed by Serra and Tilli for homogeneous hyperbolic nonlinear PDEs to the nonhomogeneous case, thus proving that the idea of De Giorgi yields in fact an effective approach to investigate general hyperbolic equations.
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
Multiple positive bound states for the subcritical NLS equation on metric graphs
Authors:
Riccardo Adami,
Enrico Serra,
Paolo Tilli
Abstract:
We consider the Schroedinger equation with a subcritical focusing power nonlinearity on a noncompact metric graph, and prove that for every finite edge there exists a threshold value of the mass, beyond which there exists a positive bound state achieving its maximum on that edge only. This bound state is characterized as a minimizer of the energy functional associated to the NLS equation, with an…
▽ More
We consider the Schroedinger equation with a subcritical focusing power nonlinearity on a noncompact metric graph, and prove that for every finite edge there exists a threshold value of the mass, beyond which there exists a positive bound state achieving its maximum on that edge only. This bound state is characterized as a minimizer of the energy functional associated to the NLS equation, with an additional constraint (besides the mass prescription): this requires particular care in proving that the minimizer satisfies the Euler--Lagrange equation. As a consequence, for a sufficiently large mass every finite edge of the graph hosts at least one positive bound state that, owing to its minimality property, is orbitally stable.
△ Less
Submitted 23 June, 2017;
originally announced June 2017.
-
Nonlinear dynamics on branched structures and networks
Authors:
Riccardo Adami,
Enrico Serra,
Paolo Tilli
Abstract:
Nonlinear dynamics on graphs has rapidly become a topical issue with many physical applications, ranging from nonlinear optics to Bose-Einstein condensation. Whenever in a physical experiment a ramified structure is involved, it can prove useful to approximate such a structure by a metric graph, or network. For the Schroedinger equation it turns out that the sixth power in the nonlinear term of th…
▽ More
Nonlinear dynamics on graphs has rapidly become a topical issue with many physical applications, ranging from nonlinear optics to Bose-Einstein condensation. Whenever in a physical experiment a ramified structure is involved, it can prove useful to approximate such a structure by a metric graph, or network. For the Schroedinger equation it turns out that the sixth power in the nonlinear term of the energy is critical in the sense that below that power the constrained energy is lower bounded irrespectively of the value of the mass (subcritical case). On the other hand, if the nonlinearity power equals six, then the lower boundedness depends on the value of the mass: below a critical mass, the constrained energy is lower bounded, beyond it, it is not. For powers larger than six the constrained energy functional is never lower bounded, so that it is meaningless to speak about ground states (supercritical case). These results are the same as in the case of the nonlinear Schrodinger equation on the real line. In fact, as regards the existence of ground states, the results for systems on graphs differ, in general, from the ones for systems on the line even in the subcritical case: in the latter case, whenever the constrained energy is lower bounded there always exist ground states (the solitons, whose shape is explicitly known), whereas for graphs the existence of a ground state is not guaranteed. For the critical case, our results show a phenomenology much richer than the analogous on the line.
△ Less
Submitted 1 May, 2017;
originally announced May 2017.
-
Negative energy ground states for the $L^2$-critical NLSE on metric graphs
Authors:
Riccardo Adami,
Enrico Serra,
Paolo Tilli
Abstract:
We investigate the existence of ground states with prescribed mass for the focusing nonlinear Schrödinger equation with $L^2$-critical power nonlinearity on noncompact quantum graphs. We prove that, unlike the case of the real line, for certain classes of graphs there exist ground states with negative energy for a whole interval of masses. A key role is played by a thorough analysis of Gagliardo-N…
▽ More
We investigate the existence of ground states with prescribed mass for the focusing nonlinear Schrödinger equation with $L^2$-critical power nonlinearity on noncompact quantum graphs. We prove that, unlike the case of the real line, for certain classes of graphs there exist ground states with negative energy for a whole interval of masses. A key role is played by a thorough analysis of Gagliardo-Nirenberg inequalities and on estimates of the optimal constants. Most of the techniques are new and suited to the investigation of variational problems on metric graphs.
△ Less
Submitted 24 May, 2016;
originally announced May 2016.
-
Threshold phenomena and existence results for NLS ground states on graphs
Authors:
Riccardo Adami,
Enrico Serra,
Paolo Tilli
Abstract:
We investigate the existence of ground states of prescribed mass, for the nonlinear Schroedinger energy on a noncompact metric graph G. While in some cases the topology of G may rule out or, on the contrary, guarantee the existence of ground states of any given mass, in general also some metric properties of G, and their quantitative relation with the actual value of the prescribed mass, are relev…
▽ More
We investigate the existence of ground states of prescribed mass, for the nonlinear Schroedinger energy on a noncompact metric graph G. While in some cases the topology of G may rule out or, on the contrary, guarantee the existence of ground states of any given mass, in general also some metric properties of G, and their quantitative relation with the actual value of the prescribed mass, are relevant as concerns the existence of ground states. This may give rise to interesting phase transitions from nonexistence to existence of ground states, when a certain quantity reaches a critical threshold.
△ Less
Submitted 14 May, 2015;
originally announced May 2015.
-
Where best to place a Dirichlet condition in an anisotropic membrane?
Authors:
Paolo Tilli,
Davide Zucco
Abstract:
We study a shape optimization problem for the first eigenvalue of an elliptic operator in divergence form, with non constant coefficients, over a fixed domain $Ω$. Dirichlet conditions are imposed along $\partial Ω$ and, in addition, along a set $Σ$ of prescribed length ($1$-dimensional Hausdorff measure). We look for the best shape and position for the supplementary Dirichlet region $Σ$ in order…
▽ More
We study a shape optimization problem for the first eigenvalue of an elliptic operator in divergence form, with non constant coefficients, over a fixed domain $Ω$. Dirichlet conditions are imposed along $\partial Ω$ and, in addition, along a set $Σ$ of prescribed length ($1$-dimensional Hausdorff measure). We look for the best shape and position for the supplementary Dirichlet region $Σ$ in order to maximize the first eigenvalue. The limit distribution of the optimal sets, as their prescribed length tends to infinity, is characterized via $Γ$-convergence of suitable functionals defined over varifolds: the use of varifolds, as opposed to probability measures, allows one to keep track of the local orientation of the optimal sets (which comply with the anisotropy of the problem), and not just of their limit distribution.
△ Less
Submitted 29 June, 2015; v1 submitted 9 December, 2014;
originally announced December 2014.
-
NLS ground states on graphs
Authors:
Riccardo Adami,
Enrico Serra,
Paolo Tilli
Abstract:
We investigate the existence of ground states for the subcritical NLS energy on metric graphs. In particular, we find out a topological assumption that guarantees the nonexistence of ground states, and give an example in which the assumption is not fulfilled and ground states actually exist. In order to obtain the result, we introduce a new rearrangement technique, adapted to the graph where it ap…
▽ More
We investigate the existence of ground states for the subcritical NLS energy on metric graphs. In particular, we find out a topological assumption that guarantees the nonexistence of ground states, and give an example in which the assumption is not fulfilled and ground states actually exist. In order to obtain the result, we introduce a new rearrangement technique, adapted to the graph where it applies. Owing to such a technique, the energy level of the rearranged function is improved by conveniently mixing the symmetric and monotone rearrangement procedures.
△ Less
Submitted 16 June, 2014;
originally announced June 2014.
-
Lack of ground state for NLS on bridge-type graphs
Authors:
Riccardo Adami,
Enrico Serra,
Paolo Tilli
Abstract:
We prove the nonexistence of ground states for NLS on bridge-like graphs, i.e. graphs with two halflines and four vertices, of which two at infinity, with Kirchhoff matching conditions. By ground state we mean any minimizer of the energy functional among all functions with the same mass.
We prove the nonexistence of ground states for NLS on bridge-like graphs, i.e. graphs with two halflines and four vertices, of which two at infinity, with Kirchhoff matching conditions. By ground state we mean any minimizer of the energy functional among all functions with the same mass.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.
-
A minimization approach to hyperbolic Cauchy problems
Authors:
Enrico Serra,
Paolo Tilli
Abstract:
Developing an original idea of De Giorgi, we introduce a new and purely variational approach to the Cauchy Problem for a wide class of defocusing hyperbolic equations. The main novel feature is that the solutions are obtained as limits of functions that minimize suitable functionals in space-time (where the initial data of the Cauchy Problem serve as prescribed boundary conditions). This opens up…
▽ More
Developing an original idea of De Giorgi, we introduce a new and purely variational approach to the Cauchy Problem for a wide class of defocusing hyperbolic equations. The main novel feature is that the solutions are obtained as limits of functions that minimize suitable functionals in space-time (where the initial data of the Cauchy Problem serve as prescribed boundary conditions). This opens up the way to new connections between the hyperbolic world and that of the Calculus of Variations. Also dissipative equations can be treated. Finally, we discuss several examples of equations that fit in this framework, including nonlocal equations, in particular equations with the fractional Laplacian.
△ Less
Submitted 25 October, 2013;
originally announced October 2013.
