-
Smooth nonradial stationary Euler flows on the plane with compact support
Authors:
Alberto Enciso,
Antonio J. Fernández,
David Ruiz
Abstract:
We prove the existence of nonradial classical solutions to the 2D incompressible Euler equations with compact support. More precisely, for any positive integer $k$, we construct compactly supported stationary Euler flows of class $C^k(\mathbb{R}^2)$ which are not locally radial. The proof uses a degree-theory-based bifurcation argument which hinges on three key ingredients: a novel approach to sta…
▽ More
We prove the existence of nonradial classical solutions to the 2D incompressible Euler equations with compact support. More precisely, for any positive integer $k$, we construct compactly supported stationary Euler flows of class $C^k(\mathbb{R}^2)$ which are not locally radial. The proof uses a degree-theory-based bifurcation argument which hinges on three key ingredients: a novel approach to stationary Euler flows through elliptic equations with non-autonomous nonlinearities; a set of sharp regularity estimates for the linearized operator, which involves a potential that blows up as the inverse square of the distance to the boundary of the support; and overcoming a serious problem of loss of derivatives by the introduction of anisotropic weighted functional spaces between which the linearized operator is Fredholm.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
A Schiffer-type problem for annuli with applications to stationary planar Euler flows
Authors:
Alberto Enciso,
Antonio J. Fernández,
David Ruiz,
Pieralberto Sicbaldi
Abstract:
If on a smooth bounded domain $Ω\subset\mathbb{R}^2$ there is a nonconstant Neumann eigenfunction $u$ that is locally constant on the boundary, must $Ω$ be a disk or an annulus? This question can be understood as a weaker analog of the well known Schiffer conjecture, in that the function $u$ is allowed to take a different constant value on each connected component of $\partial Ω$ yet many of the k…
▽ More
If on a smooth bounded domain $Ω\subset\mathbb{R}^2$ there is a nonconstant Neumann eigenfunction $u$ that is locally constant on the boundary, must $Ω$ be a disk or an annulus? This question can be understood as a weaker analog of the well known Schiffer conjecture, in that the function $u$ is allowed to take a different constant value on each connected component of $\partial Ω$ yet many of the known rigidity properties of the original problem are essentially preserved. Our main result provides a negative answer by constructing a family of nontrivial doubly connected domains $Ω$ with the above property. As a consequence, a certain linear combination of the indicator functions of the domains $Ω$ and of the bounded component of the complement $\mathbb{R}^2\backslash\overlineΩ$ fails to have the Pompeiu property. Furthermore, our construction implies the existence of continuous, compactly supported stationary weak solutions to the 2D incompressible Euler equations which are not locally radial.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
Small spheres with prescribed nonconstant mean curvature in Riemannian manifolds
Authors:
Alberto Enciso,
Antonio J. Fernández,
Daniel Peralta-Salas
Abstract:
Given a function $f$ on a smooth Riemannian manifold without boundary, we prove that if $p \in M$ is a non-degenerate critical point of $f$, then a neighborhood of $p$ contains a foliation by spheres with mean curvature proportional to $f$. This foliation is essentially unique. The nondegeneracy assumption can be substantially relaxed, at the expense of losing the property that the family of spher…
▽ More
Given a function $f$ on a smooth Riemannian manifold without boundary, we prove that if $p \in M$ is a non-degenerate critical point of $f$, then a neighborhood of $p$ contains a foliation by spheres with mean curvature proportional to $f$. This foliation is essentially unique. The nondegeneracy assumption can be substantially relaxed, at the expense of losing the property that the family of spheres with prescribed mean curvature defines a foliation.
△ Less
Submitted 12 February, 2024; v1 submitted 20 February, 2023;
originally announced February 2023.
-
Non-uniqueness for the nonlocal Liouville equation in $\mathbb{R}$ and applications
Authors:
Luca Battaglia,
Matteo Cozzi,
Antonio J. Fernández,
Angela Pistoia
Abstract:
We construct multiple solutions to the nonlocal Liouville equation \begin{equation} \label{eqk} \tag{L} (-Δ)^{\frac{1}{2}} u = K(x) e^u \quad \mbox{ in } \mathbb{R}. \end{equation} More precisely, for $K$ of the form $K(x) = 1+\varepsilon κ(x)$ with $\varepsilon \in (0,1)$ small and $κ\in C^{1,α}(\mathbb{R}) \cap L^{\infty}(\mathbb{R})$ for some $α> 0$, we prove existence of multiple solutions to…
▽ More
We construct multiple solutions to the nonlocal Liouville equation \begin{equation} \label{eqk} \tag{L} (-Δ)^{\frac{1}{2}} u = K(x) e^u \quad \mbox{ in } \mathbb{R}. \end{equation} More precisely, for $K$ of the form $K(x) = 1+\varepsilon κ(x)$ with $\varepsilon \in (0,1)$ small and $κ\in C^{1,α}(\mathbb{R}) \cap L^{\infty}(\mathbb{R})$ for some $α> 0$, we prove existence of multiple solutions to \eqref{eqk} bifurcating from the bubbles. These solutions provide examples of flat metrics in the half-plane with prescribed geodesic curvature $K(x)$ on its boundary. Furthermore, they imply the existence of multiple ground state soliton solutions for the Calogero-Moser derivative NLS.
△ Less
Submitted 6 April, 2023; v1 submitted 22 November, 2022;
originally announced November 2022.
-
Blowing-up solutions for a nonlocal Liouville type equation
Authors:
Matteo Cozzi,
Antonio J. Fernández
Abstract:
We consider the nonlocal Liouville type equation $$ (-Δ)^{\frac{1}{2}} u = \varepsilon κ(x) e^u, \quad u > 0, \quad \mbox{in } I, \qquad u = 0, \quad \mbox{in } \mathbb{R} \setminus I, $$ where $I$ is a union of $d \geq 2$ disjoint bounded intervals, $κ$ is a smooth bounded function with positive infimum and $\varepsilon > 0$ is a small parameter. For any integer $1 \leq m \leq d$, we construct a…
▽ More
We consider the nonlocal Liouville type equation $$ (-Δ)^{\frac{1}{2}} u = \varepsilon κ(x) e^u, \quad u > 0, \quad \mbox{in } I, \qquad u = 0, \quad \mbox{in } \mathbb{R} \setminus I, $$ where $I$ is a union of $d \geq 2$ disjoint bounded intervals, $κ$ is a smooth bounded function with positive infimum and $\varepsilon > 0$ is a small parameter. For any integer $1 \leq m \leq d$, we construct a family of solutions $(u_\varepsilon)_{\varepsilon}$ which blow up at $m$ interior distinct points of $I$ and for which $\varepsilon \int_I κe^{u_\varepsilon} \, \rightarrow 2 m π$, as $\varepsilon \to 0$. Moreover, we show that, when $d = 2$ and $m$ is suitably large, no such construction is possible.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
Deterministic KPZ-type equations with nonlocal "gradient terms"
Authors:
Boumediene Abdellaoui,
Antonio J. Fernández,
Tommaso Leonori,
Abdelbadie Younes
Abstract:
The main goal of this paper is to prove existence and non-existence results for deterministic Kardar-Parisi-Zhang type equations involving non-local "gradient terms". More precisely, let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a bounded domain with boundary $\partial Ω$ of class $C^2$. For $s \in (0,1)$, we consider problems of the form \[ \tag{KPZ} \left\{ \begin{aligned} (-Δ)^s u & = μ(x) |\math…
▽ More
The main goal of this paper is to prove existence and non-existence results for deterministic Kardar-Parisi-Zhang type equations involving non-local "gradient terms". More precisely, let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a bounded domain with boundary $\partial Ω$ of class $C^2$. For $s \in (0,1)$, we consider problems of the form \[ \tag{KPZ} \left\{ \begin{aligned} (-Δ)^s u & = μ(x) |\mathbb{D}(u)|^q + λf(x), \quad && \mbox{ in } Ω,\\ u & = 0, && \mbox{ in } \mathbb{R}^N \setminus Ω, \end{aligned} \right. \] where $q > 1$ and $λ> 0$ are real parameters, $f$ belongs to a suitable Lebesgue space, $μ$ belongs to $L^{\infty}(Ω)$ and $\mathbb{D}$ represents a nonlocal "gradient term". Depending on the size of $λ> 0$, we derive existence and non-existence results. In particular, we solve several open problems posed in [4, Section 6] and [2, Section 7].
△ Less
Submitted 7 November, 2022; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Global fractional Calderón-Zygmund type regularity
Authors:
Boumediene Abdellaoui,
Antonio J. Fernández,
Tommaso Leonori,
Abdelbadie Younes
Abstract:
We obtain a global fractional Calderón-Zygmund regularity theory for the fractional Poisson problem. More precisely, for $Ω\subset \mathbb{R}^N$, $N \geq 2$, a bounded domain with boundary $\partial Ω$ of class $C^2$, $s \in (0,1)$ and $f \in L^m(Ω)$ for some $m \geq 1$, we consider the problem…
▽ More
We obtain a global fractional Calderón-Zygmund regularity theory for the fractional Poisson problem. More precisely, for $Ω\subset \mathbb{R}^N$, $N \geq 2$, a bounded domain with boundary $\partial Ω$ of class $C^2$, $s \in (0,1)$ and $f \in L^m(Ω)$ for some $m \geq 1$, we consider the problem $$ \left. \begin{aligned} (-Δ)^s u = f \quad \mbox{in } Ω, \qquad\ u = 0 \quad \mbox{in } \mathbb{R}^N \setminus Ω, \end{aligned} \right. $$ and, according to $m$, we find the values of $s \leq t < \min\{1,2s\}$ and of $1 < p < +\infty$ such that $u \in L^{t,p}(\mathbb{R}^N)$ and such that $u \in W^{t,p}(\mathbb{R}^N)$.
△ Less
Submitted 18 April, 2023; v1 submitted 14 July, 2021;
originally announced July 2021.
-
Some non-homogeneous Gagliardo-Nirenberg inequalities and application to a biharmonic non-linear Schrödinger equation
Authors:
Antonio J. Fernández,
Louis Jeanjean,
Rainer Mandel,
Mihai Mariş
Abstract:
We study the standing waves for a fourth-order Schrödinger equation with mixed dispersion that minimize the associated energy when the $L^2-$norm (the \textit{mass}) } is kept fixed. We need some non-homogeneous Gagliardo-Nirenberg-type inequalities and we develop a method to prove such estimates that should be useful elsewhere. We prove optimal results on the existence of minimizers in the {\it m…
▽ More
We study the standing waves for a fourth-order Schrödinger equation with mixed dispersion that minimize the associated energy when the $L^2-$norm (the \textit{mass}) } is kept fixed. We need some non-homogeneous Gagliardo-Nirenberg-type inequalities and we develop a method to prove such estimates that should be useful elsewhere. We prove optimal results on the existence of minimizers in the {\it mass-subcritical } and {\it mass-critical } cases. In the { \it mass supercritical} case we show that global minimizers do not exist, and we investigate the existence of local minimizers. If the mass does not exceed some threshold $ μ_0 \in (0,+\infty)$, our results on "best" local minimizers are also optimal.
△ Less
Submitted 13 May, 2022; v1 submitted 3 October, 2020;
originally announced October 2020.
-
The nonlinear Schrödinger equation in the half-space
Authors:
Antonio J. Fernández,
Tobias Weth
Abstract:
The present paper is concerned with the half-space Dirichlet problem \begin{equation} \tag{$P_c$} \label{problem-abstract} -Δv + v = |v|^{p-1}v,\ \mbox{ in } \mathbb{R}^N_{+}, \qquad v = c,\ \mbox{ on } \partial \mathbb{R}^N_{+},\ \qquad \lim_{x_N \to \infty} v(x',x_N) = 0 \mbox{ uniformly in }x' \in \mathbb{R}^{N-1}, \end{equation} where $\mathbb{R}^N_{+} := \{\,x \in \mathbb{R}^N: x_N > 0\, \}$…
▽ More
The present paper is concerned with the half-space Dirichlet problem \begin{equation} \tag{$P_c$} \label{problem-abstract} -Δv + v = |v|^{p-1}v,\ \mbox{ in } \mathbb{R}^N_{+}, \qquad v = c,\ \mbox{ on } \partial \mathbb{R}^N_{+},\ \qquad \lim_{x_N \to \infty} v(x',x_N) = 0 \mbox{ uniformly in }x' \in \mathbb{R}^{N-1}, \end{equation} where $\mathbb{R}^N_{+} := \{\,x \in \mathbb{R}^N: x_N > 0\, \}$ for some $N \geq 1$ and $p > 1$, $c > 0$ are constants. We analyse the existence, non-existence and multiplicity of bounded positive solutions to \eqref{problem-abstract}. We prove that the existence and multiplicity of bounded positive solutions to \eqref{problem-abstract} depend in a striking way on the value of $c > 0$ and also on the dimension $N$. We find an explicit number $c_p \in (1,\sqrt{e})$, depending only on $p$, which determines the threshold between existence and non-existence. In particular, in dimensions $N \geq 2$, we prove that, for $0 < c < c_p$, problem \eqref{problem-abstract} admits infinitely many bounded positive solutions, whereas, for $c > c_p$, there are no bounded positive solutions to \eqref{problem-abstract}.
△ Less
Submitted 1 December, 2020; v1 submitted 1 August, 2020;
originally announced August 2020.
-
Some remarks on a minimization problem associated to a fourth order nonlinear Schrödinger equation
Authors:
Nabile Boussaïd,
Antonio J. Fernández,
Louis Jeanjean
Abstract:
Let $γ> 0\,$, $β> 0\,$, $α> 0$ and $0 < σN < 4$. In the present paper, we study, for $c > 0$ given, the constrained minimization problem \begin{equation*} \label{MinL2fixed} m(c):=\inf_{u\in S (c) }E(u), \end{equation*} where \begin{equation*} E (u):=\fracγ{2}\int_{\mathbb{R}^N}|Δu|^2\, dx -\fracβ{2}\int_{\mathbb{R}^N}|\nabla u|^2\, dx-\fracα{2σ+2}\int_{\mathbb{R}^N}|u|^{2σ+2}\, dx, \end{equation*…
▽ More
Let $γ> 0\,$, $β> 0\,$, $α> 0$ and $0 < σN < 4$. In the present paper, we study, for $c > 0$ given, the constrained minimization problem \begin{equation*} \label{MinL2fixed} m(c):=\inf_{u\in S (c) }E(u), \end{equation*} where \begin{equation*} E (u):=\fracγ{2}\int_{\mathbb{R}^N}|Δu|^2\, dx -\fracβ{2}\int_{\mathbb{R}^N}|\nabla u|^2\, dx-\fracα{2σ+2}\int_{\mathbb{R}^N}|u|^{2σ+2}\, dx, \end{equation*} and \begin{equation*} S(c):=\left\{u\in H^2(\mathbb{R}^N):\int_{\mathbb{R}^N}|u|^{2}\, dx=c\right\}. \end{equation*} The aim of our study is twofold. On one hand, this minimization problem is related to the existence and orbital stability of standing waves for the mixed dispersion nonlinear biharmonic Schrödinger equation \begin{equation*} i \partial_t ψ-γΔ^2 ψ- βΔψ+ α|ψ|^{2σ} ψ=0, \quad ψ(0, x)=ψ_0 (x),\quad (t, x) \in \mathbb{R} \times \mathbb{R}^N. \end{equation*} On the other hand, in most of the applications of the Concentration-Compactness principle of P.-L. Lions, the difficult part is to deal with the possible dichotomy of the minimizing sequences. The problem under consideration provides an example for which, to rule out the dichotomy is rather standard while, to rule out the vanishing, here for $c > 0$ small, is challenging. We also provide, in the limit $c \to 0$, a precise description of the behaviour of the minima. Finally, some extensions and open problems are proposed.
△ Less
Submitted 15 December, 2020; v1 submitted 29 October, 2019;
originally announced October 2019.
-
Existence and multiplicity for an elliptic problem with critical growth in the gradient and sign-changing coefficients
Authors:
Colette De Coster,
Antonio J. Fernández
Abstract:
Let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a smooth bounded domain. We consider the boundary value problem \begin{equation} \label{Plambda-Abstract-ch3} \tag{$P_λ$} -Δu = c_λ(x) u + μ|\nabla u|^2 + h(x)\,, \quad u \in H_0^1(Ω) \cap L^{\infty}(Ω)\,, \end{equation} where $c_λ$ and $h$ belong to $L^q(Ω)$ for some $q > N/2$, $μ$ belongs to $\mathbb{R} \setminus \{0\}$ and we write $c_λ$ under the for…
▽ More
Let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a smooth bounded domain. We consider the boundary value problem \begin{equation} \label{Plambda-Abstract-ch3} \tag{$P_λ$} -Δu = c_λ(x) u + μ|\nabla u|^2 + h(x)\,, \quad u \in H_0^1(Ω) \cap L^{\infty}(Ω)\,, \end{equation} where $c_λ$ and $h$ belong to $L^q(Ω)$ for some $q > N/2$, $μ$ belongs to $\mathbb{R} \setminus \{0\}$ and we write $c_λ$ under the form $c_λ:= λc_{+} - c_{-}$ with $c_{+} \gneqq 0$, $c_{-} \geq 0$, $c_{+} c_{-} \equiv 0$ and $λ\in \mathbb{R}$. Here $c_λ$ and $h$ are both allowed to change sign. As a first main result we give a necessary and sufficient condition which guarantees the existence of a unique solution to \eqref{Plambda-Abstract-ch3} when $λ\leq 0$. Then, assuming that $(P_0)$ has a solution, we prove existence and multiplicity results for $λ> 0$. Our proofs rely on a suitable change of variable of type $v = F(u)$ and the combination of variational methods with lower and upper solution techniques.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Ground/space, passive/active remote sensing observations coupled with particle dispersion modelling to understand the inter-continental transport of wildfire smoke plumes
Authors:
M. Sicard,
M. J. Granados-Munoz,
L. Alados-Arboledas,
R. Barragan,
A. E. Bedoya-Velasquez,
J. A. Benavent-Oltra,
D. Bortoli,
A. Comeron,
C. Cordoba-Jabonero,
M. J. Costa,
A. del Aguila,
A. J. Fernandez,
J. L. Guerrero-Rascado,
O. Jorba,
F. Molero,
C. Munoz-Porcar,
P. Ortiz-Amezcua,
N. Papagiannopoulos,
M. Potes,
M. Pujadas,
F. Rocadenbosch,
A. Rodriguez-Gomez,
R. Roman,
R. Salgado,
V. Salgueiro
, et al. (2 additional authors not shown)
Abstract:
During the 2017 record-breaking burning season in Canada / United States, intense wild fires raged during the first week of September in the Pacific northwestern region (British Columbia, Alberta, Washington, Oregon, Idaho, Montana and northern California) burning mostly temperate coniferous forests. The heavy loads of smoke particles emitted in the atmosphere reached the Iberian Peninsula (IP) a…
▽ More
During the 2017 record-breaking burning season in Canada / United States, intense wild fires raged during the first week of September in the Pacific northwestern region (British Columbia, Alberta, Washington, Oregon, Idaho, Montana and northern California) burning mostly temperate coniferous forests. The heavy loads of smoke particles emitted in the atmosphere reached the Iberian Peninsula (IP) a few days later on 7 and 8 September. Satellite imagery allows to identify two main smoke clouds emitted during two different periods that were injected and transported in the atmosphere at several altitude levels. Columnar properties on 7 and 8 September at two Aerosol Robotic Network (AERONET) mid-altitude, background sites in northern and southern Spain are: aerosol optical depth (AOD) at 440 nm up to 0.62, Angstrom exponent of 1.6-1.7, large dominance of small particles (fine mode fraction > 0.88), low absorption AOD at 440 nm (<0.008) and large single scattering albedo at 440 nm (>0.98). Profiles from the Cloud-Aerosol Lidar with Orthogonal Polarization (CALIOP) show the presence of smoke particles in the stratosphere during the transport, whereas the smoke is only observed in the troposphere at its arrival over the IP. Portuguese and Spanish ground lidar stations from the European Aerosol Research Lidar Network / Aerosols, Clouds, and Trace gases Research InfraStructure Network (EARLINET/ACTRIS) and the Micro-Pulse Lidar NETwork (MPLNET) reveal smoke plumes with different properties: particle depolarization ratio and color ratio, respectively, of 0.05 and 2.5 in the mid troposphere (5-9 km) and of 0.10 and 3.0 in the upper troposphere (10-13 km). In the mid troposphere the particle depolarization ratio does not seem time-dependent during the transport whereas the color ratio seems to increase (larger particles sediment first).
△ Less
Submitted 23 July, 2019;
originally announced July 2019.
-
Nonlinear fractional Laplacian problems with nonlocal "gradient terms"
Authors:
Boumediene Abdellaoui,
Antonio J. Fernández
Abstract:
Let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a smooth bounded domain. For $s \in (1/2,1)$, we consider a problem of the form \[ \left\{\begin{aligned} (-Δ)^s u & = μ(x)\, \mathbb{D}_s^{2}(u) + λf(x)\,, & \quad \mbox{in} Ω,\\ u & = 0\,, & \quad \mbox{in} \mathbb{R}^N \setminus Ω, \end{aligned} \right. \] where $λ> 0$ is a real parameter, $f$ belongs to a suitable Lebesgue space,…
▽ More
Let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a smooth bounded domain. For $s \in (1/2,1)$, we consider a problem of the form \[ \left\{\begin{aligned} (-Δ)^s u & = μ(x)\, \mathbb{D}_s^{2}(u) + λf(x)\,, & \quad \mbox{in} Ω,\\ u & = 0\,, & \quad \mbox{in} \mathbb{R}^N \setminus Ω, \end{aligned} \right. \] where $λ> 0$ is a real parameter, $f$ belongs to a suitable Lebesgue space, $μ\in L^{\infty}(Ω)$ and $\mathbb{D}_s^2$ is a nonlocal "gradient square" term given by \[ \mathbb{D}_s^2 (u) = \frac{a_{N,s}}{2}\mbox{p.v.} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^2}{|x-y|^{N+2s}} dy \,. \] Depending on the real parameter $λ> 0$, we derive existence and non-existence results. The proof of our existence result relies on sharp Calderón-Zygmund type regularity results for the fractional Poisson equation with low integrability data. We also obtain existence results for related problems involving different nonlocal diffusion terms.
△ Less
Submitted 2 December, 2018;
originally announced December 2018.
-
A priori bounds and multiplicity of solutions for an indefinite elliptic problem with critical growth in the gradient
Authors:
Colette De Coster,
Antonio J. Fernández,
Louis Jeanjean
Abstract:
Let $Ω\subset \mathbb R^N$, $N \geq 2$, be a smooth bounded domain. We consider a boundary value problem of the form $$-Δu = c_λ(x) u + μ(x) |\nabla u|^2 + h(x), \quad u \in H^1_0(Ω)\cap L^{\infty}(Ω)$$ where $c_λ$ depends on a parameter $λ\in \mathbb R$, the coefficients $c_λ$ and $h$ belong to $L^q(Ω)$ with $q>N/2$ and $μ\in L^{\infty}(Ω)$. Under suitable assumptions, but without imposing a sign…
▽ More
Let $Ω\subset \mathbb R^N$, $N \geq 2$, be a smooth bounded domain. We consider a boundary value problem of the form $$-Δu = c_λ(x) u + μ(x) |\nabla u|^2 + h(x), \quad u \in H^1_0(Ω)\cap L^{\infty}(Ω)$$ where $c_λ$ depends on a parameter $λ\in \mathbb R$, the coefficients $c_λ$ and $h$ belong to $L^q(Ω)$ with $q>N/2$ and $μ\in L^{\infty}(Ω)$. Under suitable assumptions, but without imposing a sign condition on any of these coefficients, we obtain an a priori upper bound on the solutions. Our proof relies on a new boundary weak Harnack inequality. This inequality, which is of independent interest, is established in the general framework of the $p$-Laplacian. With this a priori bound at hand, we show the existence and multiplicity of solutions.
△ Less
Submitted 1 November, 2018; v1 submitted 7 March, 2018;
originally announced March 2018.
-
Existence and Multiplicity for elliptic p-Laplacian problems with critical growth in the gradient
Authors:
Colette De Coster,
Antonio J. Fernández
Abstract:
We consider the boundary value problem $-Δ_p u = λc(x) |u|^{p-2}u + μ(x) |\grad u|^p + h(x)$, $u \in W^{1,p}_0(Ω) \cap L^{\infty}(Ω)$, where $Ω\subset \mathbb R^N$, $N \geq 2$, is a bounded domain with smooth boundary. We assume $c$, $h \in L^q(Ω)$ for some $q > \max\{N/p,1\}$ with $c \gneqq 0$ and $μ\in L^{\infty}(Ω)$. We prove existence and uniqueness results in the coercive case $ λ\leq 0$ and…
▽ More
We consider the boundary value problem $-Δ_p u = λc(x) |u|^{p-2}u + μ(x) |\grad u|^p + h(x)$, $u \in W^{1,p}_0(Ω) \cap L^{\infty}(Ω)$, where $Ω\subset \mathbb R^N$, $N \geq 2$, is a bounded domain with smooth boundary. We assume $c$, $h \in L^q(Ω)$ for some $q > \max\{N/p,1\}$ with $c \gneqq 0$ and $μ\in L^{\infty}(Ω)$. We prove existence and uniqueness results in the coercive case $ λ\leq 0$ and existence and multiplicity results in the non-coercive case $ λ>0$. Also, considering stronger assumptions on the coefficients, we clarify the structure of the set of solutions in the non-coercive case.
△ Less
Submitted 12 January, 2018;
originally announced January 2018.
-
A low-mass dark matter search using ionization signals in XENON100
Authors:
XENON100 Collaboration,
E. Aprile,
J. Aalbers,
F. Agostini,
M. Alfonsi,
F. D. Amaro,
M. Anthony,
F. Arneodo,
P. Barrow,
L. Baudis,
B. Bauermeister,
M. L. Benabderrahmane,
T. Berger,
P. A. Breur,
A. Brown,
E. Brown S. Bruenner,
G. Bruno,
R. Budnik,
A. Buss,
L. Bütikofer,
J. M. R. Cardoso,
M. Cervantes,
D. Cichon,
D. Coderre,
A. P. Colijn
, et al. (86 additional authors not shown)
Abstract:
We perform a low-mass dark matter search using an exposure of 30\,kg$\times$yr with the XENON100 detector. By drop** the requirement of a scintillation signal and using only the ionization signal to determine the interaction energy, we lowered the energy threshold for detection to 0.7\,keV for nuclear recoils. No dark matter detection can be claimed because a complete background model cannot be…
▽ More
We perform a low-mass dark matter search using an exposure of 30\,kg$\times$yr with the XENON100 detector. By drop** the requirement of a scintillation signal and using only the ionization signal to determine the interaction energy, we lowered the energy threshold for detection to 0.7\,keV for nuclear recoils. No dark matter detection can be claimed because a complete background model cannot be constructed without a primary scintillation signal. Instead, we compute an upper limit on the WIMP-nucleon scattering cross section under the assumption that every event passing our selection criteria could be a signal event. Using an energy interval from 0.7\,keV to 9.1\,keV, we derive a limit on the spin-independent WIMP-nucleon cross section that excludes WIMPs with a mass of 6\,GeV/$c^2$ above $1.4 \times 10^{-41}$\,cm$^2$ at 90\% confidence level.
△ Less
Submitted 19 December, 2016; v1 submitted 20 May, 2016;
originally announced May 2016.
-
Physics reach of the XENON1T dark matter experiment
Authors:
The XENON collaboration,
E. Aprile,
J. Aalbers,
F. Agostini,
M. Alfonsi,
F. D. Amaro,
M. Anthony,
L. Arazi,
F. Arneodo,
C. Balan,
P. Barrow,
L. Baudis,
B. Bauermeister,
T. Berger,
P. Breur,
A. Breskin,
A. Brown,
E. Brown,
S. Bruenner,
G. Bruno,
R. Budnik,
L. Bütikofer,
J. M. R. Cardoso,
M. Cervantes,
D. Cichon
, et al. (91 additional authors not shown)
Abstract:
The XENON1T experiment is currently in the commissioning phase at the Laboratori Nazionali del Gran Sasso, Italy. In this article we study the experiment's expected sensitivity to the spin-independent WIMP-nucleon interaction cross section, based on Monte Carlo predictions of the electronic and nuclear recoil backgrounds.
The total electronic recoil background in $1$ tonne fiducial volume and (…
▽ More
The XENON1T experiment is currently in the commissioning phase at the Laboratori Nazionali del Gran Sasso, Italy. In this article we study the experiment's expected sensitivity to the spin-independent WIMP-nucleon interaction cross section, based on Monte Carlo predictions of the electronic and nuclear recoil backgrounds.
The total electronic recoil background in $1$ tonne fiducial volume and ($1$, $12$) keV electronic recoil equivalent energy region, before applying any selection to discriminate between electronic and nuclear recoils, is $(1.80 \pm 0.15) \cdot 10^{-4}$ ($\rm{kg} \cdot day \cdot keV)^{-1}$, mainly due to the decay of $^{222}\rm{Rn}$ daughters inside the xenon target. The nuclear recoil background in the corresponding nuclear recoil equivalent energy region ($4$, $50$) keV, is composed of $(0.6 \pm 0.1)$ ($\rm{t} \cdot y)^{-1}$ from radiogenic neutrons, $(1.8 \pm 0.3) \cdot 10^{-2}$ ($\rm{t} \cdot y)^{-1}$ from coherent scattering of neutrinos, and less than $0.01$ ($\rm{t} \cdot y)^{-1}$ from muon-induced neutrons.
The sensitivity of XENON1T is calculated with the Profile Likelihood Ratio method, after converting the deposited energy of electronic and nuclear recoils into the scintillation and ionization signals seen in the detector. We take into account the systematic uncertainties on the photon and electron emission model, and on the estimation of the backgrounds, treated as nuisance parameters. The main contribution comes from the relative scintillation efficiency $\mathcal{L}_\mathrm{eff}$, which affects both the signal from WIMPs and the nuclear recoil backgrounds. After a $2$ y measurement in $1$ t fiducial volume, the sensitivity reaches a minimum cross section of $1.6 \cdot 10^{-47}$ cm$^2$ at m$_χ$=$50$ GeV/$c^2$.
△ Less
Submitted 15 April, 2016; v1 submitted 23 December, 2015;
originally announced December 2015.
-
Exclusion of Leptophilic Dark Matter Models using XENON100 Electronic Recoil Data
Authors:
The XENON Collaboration,
E. Aprile,
F. Agostini,
M. Alfonsi,
L. Arazi,
K. Arisaka,
F. Arneodo,
M. Auger,
C. Balan,
P. Barrow,
L. Baudis,
B. Bauermeister,
A. Behrens,
A. Brown,
E. Brown,
S. Bruenner,
G. Bruno,
R. Budnik,
L. Buetikofer,
J. M. R. Cardoso,
M. Cervantes,
D. Coderre,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau
, et al. (76 additional authors not shown)
Abstract:
Laboratory experiments searching for galactic dark matter particles scattering off nuclei have so far not been able to establish a discovery. We use data from the XENON100 experiment to search for dark matter interacting with electrons. With no evidence for a signal above the low background of our experiment, we exclude a variety of representative dark matter models that would induce electronic re…
▽ More
Laboratory experiments searching for galactic dark matter particles scattering off nuclei have so far not been able to establish a discovery. We use data from the XENON100 experiment to search for dark matter interacting with electrons. With no evidence for a signal above the low background of our experiment, we exclude a variety of representative dark matter models that would induce electronic recoils. For axial-vector couplings to electrons, we exclude cross-sections above 6x10^(-35) cm^2 for particle masses of m_chi = 2 GeV/c^2. Independent of the dark matter halo, we exclude leptophilic models as explanation for the long-standing DAMA/LIBRA signal, such as couplings to electrons through axial-vector interactions at a 4.4 sigma confidence level, mirror dark matter at 3.6 sigma, and luminous dark matter at 4.6 sigma.
△ Less
Submitted 28 July, 2015;
originally announced July 2015.
-
Lowering the radioactivity of the photomultiplier tubes for the XENON1T dark matter experiment
Authors:
E. Aprile,
F. Agostini,
M. Alfonsi,
L. Arazi,
K. Arisaka,
F. Arneodo,
M. Auger,
C. Balan,
P. Barrow,
L. Baudis,
B. Bauermeister,
A. Behrens,
P. Beltrame,
A. Brown,
E. Brown,
S. Bruenner,
G. Bruno,
R. Budnik,
L. Buetikofer,
J. M. R. Cardoso,
D. Coderre,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau,
M. P. Decowksi
, et al. (73 additional authors not shown)
Abstract:
The low-background, VUV-sensitive 3-inch diameter photomultiplier tube R11410 has been developed by Hamamatsu for dark matter direct detection experiments using liquid xenon as the target material. We present the results from the joint effort between the XENON collaboration and the Hamamatsu company to produce a highly radio-pure photosensor (version R11410-21) for the XENON1T dark matter experime…
▽ More
The low-background, VUV-sensitive 3-inch diameter photomultiplier tube R11410 has been developed by Hamamatsu for dark matter direct detection experiments using liquid xenon as the target material. We present the results from the joint effort between the XENON collaboration and the Hamamatsu company to produce a highly radio-pure photosensor (version R11410-21) for the XENON1T dark matter experiment. After introducing the photosensor and its components, we show the methods and results of the radioactive contamination measurements of the individual materials employed in the photomultiplier production. We then discuss the adopted strategies to reduce the radioactivity of the various PMT versions. Finally, we detail the results from screening 216 tubes with ultra-low background germanium detectors, as well as their implications for the expected electronic and nuclear recoil background of the XENON1T experiment.
△ Less
Submitted 26 March, 2015;
originally announced March 2015.
-
Measurements of proportional scintillation and electron multiplication in liquid xenon using thin wires
Authors:
E. Aprile,
H. Contreras,
L. W. Goetzke,
A. J. Melgarejo Fernandez,
M. Messina,
J. Naganoma,
G. Plante,
A. Rizzo,
P. Shagin,
R. Wall
Abstract:
Proportional scintillation in liquid xenon has a promising application in the field of direct dark matter detection, potentially allowing for simpler, more sensitive detectors. However, knowledge of the basic properties of the phenomenon as well as guidelines for its practical use are currently limited. We report here on measurements of proportional scintillation light emitted in liquid xenon arou…
▽ More
Proportional scintillation in liquid xenon has a promising application in the field of direct dark matter detection, potentially allowing for simpler, more sensitive detectors. However, knowledge of the basic properties of the phenomenon as well as guidelines for its practical use are currently limited. We report here on measurements of proportional scintillation light emitted in liquid xenon around thin wires. The maximum proportional scintillation gain of $287^{+97}_{-75}$ photons per drift electron was obtained using 10 $μ$m diameter gold plated tungsten wire. The thresholds for electron multiplication and proportional scintillation are measured as $725^{+48}_{-139}$ and $412^{+10}_{-133}$ kV/cm, respectively. The threshold for proportional scintillation is in good agreement with a previously published result, while the electron multiplication threshold represents a novel measurement. A complete set of parameters for the practical use of the electron multiplication and proportional scintillation processes in liquid xenon was also obtained for the first time.
△ Less
Submitted 10 November, 2014; v1 submitted 26 August, 2014;
originally announced August 2014.
-
Conceptual design and simulation of a water Cherenkov muon veto for the XENON1T experiment
Authors:
E. Aprile,
F. Agostini,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
M. Auger,
C. Balan,
P. Barrow,
L. Baudis,
B. Bauermeister,
A. Behrens,
P. Beltrame,
K. Bokeloh,
A. Breskin,
A. Brown,
E. Brown,
S. Bruenner,
G. Bruno,
R. Budnik,
J. M. R. Cardoso,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau,
M. P. Decowski,
E. Duchovni
, et al. (66 additional authors not shown)
Abstract:
XENON is a dark matter direct detection project, consisting of a time projection chamber (TPC) filled with liquid xenon as detection medium. The construction of the next generation detector, XENON1T, is presently taking place at the Laboratori Nazionali del Gran Sasso (LNGS) in Italy. It aims at a sensitivity to spin-independent cross sections of $2 \cdot 10^{-47} ~ \mathrm{cm}^{\mathrm{2}}$ for W…
▽ More
XENON is a dark matter direct detection project, consisting of a time projection chamber (TPC) filled with liquid xenon as detection medium. The construction of the next generation detector, XENON1T, is presently taking place at the Laboratori Nazionali del Gran Sasso (LNGS) in Italy. It aims at a sensitivity to spin-independent cross sections of $2 \cdot 10^{-47} ~ \mathrm{cm}^{\mathrm{2}}$ for WIMP masses around 50 GeV/c$^{2}$, which requires a background reduction by two orders of magnitude compared to XENON100, the current generation detector. An active system that is able to tag muons and muon-induced backgrounds is critical for this goal. A water Cherenkov detector of $\sim$10 m height and diameter has been therefore developed, equipped with 8 inch photomultipliers and cladded by a reflective foil. We present the design and optimization study for this detector, which has been carried out with a series of Monte Carlo simulations. The muon veto will reach very high detection efficiencies for muons ($>99.5%$) and showers of secondary particles from muon interactions in the rock ($>70%$). Similar efficiencies will be obtained for XENONnT, the upgrade of XENON1T, which will later improve the WIMP sensitivity by another order of magnitude. With the Cherenkov water shield studied here, the background from muon-induced neutrons in XENON1T is negligible.
△ Less
Submitted 25 February, 2015; v1 submitted 9 June, 2014;
originally announced June 2014.
-
First Axion Results from the XENON100 Experiment
Authors:
The XENON100 Collaboration,
E. Aprile,
F. Agostini,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
M. Auger,
C. Balan,
P. Barrow,
L. Baudis,
B. Bauermeister,
A. Behrens,
P. Beltrame,
K. Bokeloh,
A. Brown,
E. Brown,
S. Bruenner,
G. Bruno,
R. Budnik,
J. M. R. Cardoso,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau,
M. P. Decowski,
E. Duchovni
, et al. (65 additional authors not shown)
Abstract:
We present the first results of searches for axions and axion-like-particles with the XENON100 experiment. The axion-electron coupling constant, $g_{Ae}$, has been probed by exploiting the axio-electric effect in liquid xenon. A profile likelihood analysis of 224.6 live days $\times$ 34 kg exposure has shown no evidence for a signal. By rejecting $g_{Ae}$, larger than $7.7 \times 10^{-12}$ (90\% C…
▽ More
We present the first results of searches for axions and axion-like-particles with the XENON100 experiment. The axion-electron coupling constant, $g_{Ae}$, has been probed by exploiting the axio-electric effect in liquid xenon. A profile likelihood analysis of 224.6 live days $\times$ 34 kg exposure has shown no evidence for a signal. By rejecting $g_{Ae}$, larger than $7.7 \times 10^{-12}$ (90\% CL) in the solar axion search, we set the best limit to date on this coupling. In the frame of the DFSZ and KSVZ models, we exclude QCD axions heavier than 0.3 eV/c$^2$ and 80 eV/c$^2$, respectively. For axion-like-particles, under the assumption that they constitute the whole abundance of dark matter in our galaxy, we constrain $g_{Ae}$, to be lower than $1 \times 10^{-12}$ (90\% CL) for mass range from 1 to 40 keV/c$^2$, and set the best limit to date as well.
△ Less
Submitted 22 December, 2016; v1 submitted 5 April, 2014;
originally announced April 2014.
-
Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms
Authors:
José Enrique Gallardo,
Carlos Cotta,
Antonio José Fernández
Abstract:
A weighted constraint satisfaction problem (WCSP) is a constraint satisfaction problem in which preferences among solutions can be expressed. Bucket elimination is a complete technique commonly used to solve this kind of constraint satisfaction problem. When the memory required to apply bucket elimination is too high, a heuristic method based on it (denominated mini-buckets) can be used to calcula…
▽ More
A weighted constraint satisfaction problem (WCSP) is a constraint satisfaction problem in which preferences among solutions can be expressed. Bucket elimination is a complete technique commonly used to solve this kind of constraint satisfaction problem. When the memory required to apply bucket elimination is too high, a heuristic method based on it (denominated mini-buckets) can be used to calculate bounds for the optimal solution. Nevertheless, the curse of dimensionality makes these techniques impractical on large scale problems. In response to this situation, we present a memetic algorithm for WCSPs in which bucket elimination is used as a mechanism for recombining solutions, providing the best possible child from the parental set. Subsequently, a multi-level model in which this exact/metaheuristic hybrid is further hybridized with branch-and-bound techniques and mini-buckets is studied. As a case study, we have applied these algorithms to the resolution of the maximum density still life problem, a hard constraint optimization problem based on Conways game of life. The resulting algorithm consistently finds optimal patterns for up to date solved instances in less time than current approaches. Moreover, it is shown that this proposal provides new best known solutions for very large instances.
△ Less
Submitted 15 January, 2014;
originally announced January 2014.
-
Observation and applications of single-electron charge signals in the XENON100 experiment
Authors:
E. Aprile,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
C. Balan,
L. Baudis,
B. Bauermeister,
A. Behrens,
P. Beltrame,
K. Bokeloh,
A. Brown,
E. Brown,
S. Bruenner,
G. Bruno,
R. Budnik,
J. M. R. Cardoso,
W. -T. Chen,
B. Choi,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau,
M. P. Decowski,
E. Duchovni,
S. Fattori,
A. D. Ferella
, et al. (55 additional authors not shown)
Abstract:
The XENON100 dark matter experiment uses liquid xenon in a time projection chamber (TPC) to measure xenon nuclear recoils resulting from the scattering of dark matter Weakly Interacting Massive Particles (WIMPs). In this paper, we report the observation of single-electron charge signals which are not related to WIMP interactions. These signals, which show the excellent sensitivity of the detector…
▽ More
The XENON100 dark matter experiment uses liquid xenon in a time projection chamber (TPC) to measure xenon nuclear recoils resulting from the scattering of dark matter Weakly Interacting Massive Particles (WIMPs). In this paper, we report the observation of single-electron charge signals which are not related to WIMP interactions. These signals, which show the excellent sensitivity of the detector to small charge signals, are explained as being due to the photoionization of impurities in the liquid xenon and of the metal components inside the TPC. They are used as a unique calibration source to characterize the detector. We explain how we can infer crucial parameters for the XENON100 experiment: the secondary-scintillation gain, the extraction yield from the liquid to the gas phase and the electron drift velocity.
△ Less
Submitted 28 January, 2014; v1 submitted 5 November, 2013;
originally announced November 2013.
-
The neutron background of the XENON100 dark matter experiment
Authors:
E. Aprile,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
C. Balan,
L. Baudis,
B. Bauermeister,
A. Behrens,
P. Beltrame,
K. Bokeloh,
A. Brown,
E. Brown,
G. Bruno,
R. Budnik,
J. M. R. Cardoso,
W. -T. Chen,
B. Choi,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau,
M. P. Decowski,
E. Duchovni,
S. Fattori,
A. D. Ferella,
W. Fulgione
, et al. (52 additional authors not shown)
Abstract:
The XENON100 experiment, installed underground at the Laboratori Nazionali del Gran Sasso (LNGS), aims to directly detect dark matter in the form of Weakly Interacting Massive Particles (WIMPs) via their elastic scattering off xenon nuclei. This paper presents a study on the nuclear recoil background of the experiment, taking into account neutron backgrounds from ($α$,n) and spontaneous fission re…
▽ More
The XENON100 experiment, installed underground at the Laboratori Nazionali del Gran Sasso (LNGS), aims to directly detect dark matter in the form of Weakly Interacting Massive Particles (WIMPs) via their elastic scattering off xenon nuclei. This paper presents a study on the nuclear recoil background of the experiment, taking into account neutron backgrounds from ($α$,n) and spontaneous fission reactions due to natural radioactivity in the detector and shield materials, as well as muon-induced neutrons. Based on Monte Carlo simulations and using measured radioactive contaminations of all detector components, we predict the nuclear recoil backgrounds for the WIMP search results published by the XENON100 experiment in 2011 and 2012, 0.11$^{+0.08}_{-0.04}$ events and 0.17$^{+0.12}_{-0.07}$ events, respectively, and conclude that they do not limit the sensitivity of the experiment.
△ Less
Submitted 2 September, 2013; v1 submitted 10 June, 2013;
originally announced June 2013.
-
Response of the XENON100 Dark Matter Detector to Nuclear Recoils
Authors:
The XENON100 Collaboration,
E. Aprile,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
C. Balan,
L. Baudis,
B. Bauermeister,
A. Behrens,
P. Beltrame,
K. Bokeloh,
A. Brown,
E. Brown,
S. Bruenner,
G. Bruno,
R. Budnik,
J. M. R. Cardoso,
W. -T. Chen,
B. Choi,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau,
M. P. Decowski,
E. Duchovni,
S. Fattori
, et al. (58 additional authors not shown)
Abstract:
Results from the nuclear recoil calibration of the XENON100 dark matter detector installed underground at the Laboratori Nazionali del Gran Sasso (LNGS), Italy are presented. Data from measurements with an external 241AmBe neutron source are compared with a detailed Monte Carlo simulation which is used to extract the energy dependent charge-yield Qy and relative scintillation efficiency Leff. A ve…
▽ More
Results from the nuclear recoil calibration of the XENON100 dark matter detector installed underground at the Laboratori Nazionali del Gran Sasso (LNGS), Italy are presented. Data from measurements with an external 241AmBe neutron source are compared with a detailed Monte Carlo simulation which is used to extract the energy dependent charge-yield Qy and relative scintillation efficiency Leff. A very good level of absolute spectral matching is achieved in both observable signal channels - scintillation S1 and ionization S2 - along with agreement in the 2-dimensional particle discrimination space. The results confirm the validity of the derived signal acceptance in earlier reported dark matter searches of the XENON100 experiment.
△ Less
Submitted 18 July, 2013; v1 submitted 4 April, 2013;
originally announced April 2013.
-
Limits on spin-dependent WIMP-nucleon cross sections from 225 live days of XENON100 data
Authors:
XENON100 collaboration,
E. Aprile,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
C. Balan,
L. Baudis,
B. Bauermeister,
A. Behrens,
P. Beltrame,
K. Bokeloh,
A. Brown,
E. Brown,
G. Bruno,
R. Budnik,
J. M. R. Cardoso,
W. -T. Chen,
B. Choi,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau,
M. P. Decowski,
E. Duchovni,
S. Fattori,
A. D. Ferella
, et al. (53 additional authors not shown)
Abstract:
We present new experimental constraints on the elastic, spin-dependent WIMP-nucleon cross section using recent data from the XENON100 experiment, operated in the Laboratori Nazionali del Gran Sasso in Italy. An analysis of 224.6 live days x 34 kg of exposure acquired during 2011 and 2012 revealed no excess signal due to axial-vector WIMP interactions with 129-Xe and 131-Xe nuclei. This leads to th…
▽ More
We present new experimental constraints on the elastic, spin-dependent WIMP-nucleon cross section using recent data from the XENON100 experiment, operated in the Laboratori Nazionali del Gran Sasso in Italy. An analysis of 224.6 live days x 34 kg of exposure acquired during 2011 and 2012 revealed no excess signal due to axial-vector WIMP interactions with 129-Xe and 131-Xe nuclei. This leads to the most stringent upper limits on WIMP-neutron cross sections for WIMP masses above 6 GeV, with a minimum cross section of 3.5 x 10^{-40} cm^2 at a WIMP mass of 45 GeV, at 90% confidence level.
△ Less
Submitted 29 January, 2013; v1 submitted 28 January, 2013;
originally announced January 2013.
-
The distributed Slow Control System of the XENON100 Experiment
Authors:
E. Aprile,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
C. Balan,
L. Baudis,
A. Behrens,
P. Beltrame,
K. Bokeloh,
E. Brown,
G. M. Bruno,
R. Budnik,
M. Le Calloch,
J. M. Cardoso,
W. -T. Chen,
B. Choi,
H. Contreras,
J. -P. Cussonneau,
M. P. Decowski,
E. Duchovni,
S. Fattori,
A. D. Ferella,
W. Fulgione,
F. Gao,
M. Garbini
, et al. (50 additional authors not shown)
Abstract:
The XENON100 experiment, in operation at the Laboratori Nazionali del Gran Sasso (LNGS) in Italy, was designed to search for evidence of dark matter interactions inside a volume of liquid xenon using a dual-phase time projection chamber. This paper describes the Slow Control System (SCS) of the experiment with emphasis on the distributed architecture as well as on its modular and expandable nature…
▽ More
The XENON100 experiment, in operation at the Laboratori Nazionali del Gran Sasso (LNGS) in Italy, was designed to search for evidence of dark matter interactions inside a volume of liquid xenon using a dual-phase time projection chamber. This paper describes the Slow Control System (SCS) of the experiment with emphasis on the distributed architecture as well as on its modular and expandable nature. The system software was designed according to the rules of Object-Oriented Programming and coded in Java, thus promoting code reusability and maximum flexibility during commissioning of the experiment. The SCS has been continuously monitoring the XENON100 detector since mid 2008, remotely recording hundreds of parameters on a few dozen instruments in real time, and setting emergency alarms for the most important variables.
△ Less
Submitted 5 November, 2012;
originally announced November 2012.
-
Measurement of the Scintillation Yield of Low-Energy Electrons in Liquid Xenon
Authors:
E. Aprile,
R. Budnik,
B. Choi,
H. A. Contreras,
K. -L. Giboni,
L. W. Goetzke,
J. E. Koglin,
R. F. Lang,
K. E. Lim,
A. J. Melgarejo Fernandez,
R. Persiani,
G. Plante,
A. Rizzo
Abstract:
We have measured the energy dependence of the liquid xenon (LXe) scintillation yield of electrons with energy between 2.1 and 120.2keV, using the Compton coincidence technique. A LXe scintillation detector with a very high light detection efficiency was irradiated with 137Cs γ rays and the energy of the Compton-scattered γ rays was measured with a high-purity germanium (HPGe) detector placed at di…
▽ More
We have measured the energy dependence of the liquid xenon (LXe) scintillation yield of electrons with energy between 2.1 and 120.2keV, using the Compton coincidence technique. A LXe scintillation detector with a very high light detection efficiency was irradiated with 137Cs γ rays and the energy of the Compton-scattered γ rays was measured with a high-purity germanium (HPGe) detector placed at different scattering angles. The excellent energy resolution of the HPGe detector allows the selection of events with Compton electrons of known energy in the LXe detector. We find that the scintillation yield initially increases as the electron energy decreases from 120 keV to about 60keV but then decreases by about 30% from 60keV to 2keV. The measured scintillation yield was also measured with conversion electrons from the 32.1 keV and 9.4 keV transitions of the 83mKr isomer, used as an internal calibration source. We find that the scintillation yield of the 32.1 keV transition is compatible with that obtained from the Compton coincidence measurement. On the other hand, the yield for the 9.4keV transition is much higher than that measured for a Compton electron of the same energy. We interpret the enhancement in the scintillation yield as due to the enhanced recombination rate in the presence of Xe ions left from the 32.1 keV transition, which precedes the 9.4 keV one by 220 ns, on average.
△ Less
Submitted 17 September, 2012;
originally announced September 2012.
-
Comment on "On the subtleties of searching for dark matter with liquid xenon detectors"
Authors:
The XENON Collaboration,
E. Aprile,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
C. Balan,
L. Baudis,
B. Bauermeister,
A. Behrens,
P. Beltrame,
K. Bokeloh,
E. Brown,
G. Bruno,
R. Budnik,
J. M. R. Cardoso,
W. -T. Chen,
B. Choi,
D. Cline,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau,
M. P. Decowski,
E. Duchovni,
S. Fattori,
A. D. Ferella
, et al. (52 additional authors not shown)
Abstract:
In a recent manuscript (arXiv:1208.5046) Peter Sorensen claims that XENON100's upper limits on spin-independent WIMP-nucleon cross sections for WIMP masses below 10 GeV "may be understated by one order of magnitude or more". Having performed a similar, though more detailed analysis prior to the submission of our new result (arXiv:1207.5988), we do not confirm these findings. We point out the ratio…
▽ More
In a recent manuscript (arXiv:1208.5046) Peter Sorensen claims that XENON100's upper limits on spin-independent WIMP-nucleon cross sections for WIMP masses below 10 GeV "may be understated by one order of magnitude or more". Having performed a similar, though more detailed analysis prior to the submission of our new result (arXiv:1207.5988), we do not confirm these findings. We point out the rationale for not considering the described effect in our final analysis and list several potential problems with his study.
△ Less
Submitted 28 August, 2012;
originally announced August 2012.
-
Dark Matter Results from 225 Live Days of XENON100 Data
Authors:
XENON100 Collaboration,
E. Aprile,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
C. Balan,
L. Baudis,
B. Bauermeister,
A. Behrens,
P. Beltrame,
K. Bokeloh,
E. Brown,
G. Bruno,
R. Budnik,
J. M. R. Cardoso,
W. -T. Chen,
B. Choi,
D. Cline,
A. P. Colijn,
H. Contreras,
J. P. Cussonneau,
M. P. Decowski,
E. Duchovni,
S. Fattori,
A. D. Ferella
, et al. (53 additional authors not shown)
Abstract:
We report on a search for particle dark matter with the XENON100 experiment, operated at the Laboratori Nazionali del Gran Sasso (LNGS) for 13 months during 2011 and 2012. XENON100 features an ultra-low electromagnetic background of (5.3 \pm 0.6) \times 10^-3 events (kg day keVee)^-1 in the energy region of interest. A blind analysis of 224.6 live days \times 34 kg exposure has yielded no evidence…
▽ More
We report on a search for particle dark matter with the XENON100 experiment, operated at the Laboratori Nazionali del Gran Sasso (LNGS) for 13 months during 2011 and 2012. XENON100 features an ultra-low electromagnetic background of (5.3 \pm 0.6) \times 10^-3 events (kg day keVee)^-1 in the energy region of interest. A blind analysis of 224.6 live days \times 34 kg exposure has yielded no evidence for dark matter interactions. The two candidate events observed in the pre-defined nuclear recoil energy range of 6.6-30.5 keVnr are consistent with the background expectation of (1.0 \pm 0.2) events. A Profile Likelihood analysis using a 6.6-43.3 keVnr energy range sets the most stringent limit on the spin-independent elastic WIMP-nucleon scattering cross section for WIMP masses above 8 GeV/c^2, with a minimum of 2 \times 10^-45 cm^2 at 55 GeV/c^2 and 90% confidence level.
△ Less
Submitted 20 March, 2013; v1 submitted 25 July, 2012;
originally announced July 2012.
-
Measurement of the Quantum Efficiency of Hamamatsu R8520 Photomultipliers at Liquid Xenon Temperature
Authors:
E. Aprile,
M. Beck,
K. Bokeloh,
R. Budnik,
B. Choi,
H. A. Contreras,
K. -L. Giboni,
L. W. Goetzke,
R. F. Lang,
K. E. Lim,
A. J. Melgarejo Fernandez,
G. Plante,
A. Rizzo,
P. Shagin,
C. Weinheimer
Abstract:
Vacuum ultraviolet light sensitive photomultiplier tubes directly coupled to liquid xenon are being used to efficiently detect the 178 nm scintillation light in a variety of liquid xenon based particle detectors. Good knowledge of the performance of these photomultipliers under cryogenic conditions is needed to properly characterize these detectors. Here, we report on measurements of the quantum e…
▽ More
Vacuum ultraviolet light sensitive photomultiplier tubes directly coupled to liquid xenon are being used to efficiently detect the 178 nm scintillation light in a variety of liquid xenon based particle detectors. Good knowledge of the performance of these photomultipliers under cryogenic conditions is needed to properly characterize these detectors. Here, we report on measurements of the quantum efficiency of Hamamatsu R8520 photomultipliers, used in the XENON Dark Matter Experiments. The quantum efficiency measurements at room temperature agree with the values provided by Hamamatsu. At low temperatures, between 160K and 170K, the quantum efficiency increases by $\sim5-11$% relative to the room temperature values.
△ Less
Submitted 23 July, 2012;
originally announced July 2012.
-
Analysis of the XENON100 Dark Matter Search Data
Authors:
The XENON100 Collaboration,
E. Aprile,
M. Alfonsi,
K. Arisaka,
F. Arneodo,
C. Balan,
L. Baudis,
A. Behrens,
P. Beltrame,
K. Bokeloh,
E. Brown,
G. Bruno,
R. Budnik,
J. M. R. Cardoso,
W. -T. Chen,
B. Choi,
D. B. Cline,
H. Contreras,
J. P. Cussonneau,
M. P. Decowski,
E. Duchovni,
S. Fattori,
A. D. Ferella,
W. Fulgione,
F. Gao
, et al. (49 additional authors not shown)
Abstract:
The XENON100 experiment, situated in the Laboratori Nazionali del Gran Sasso, aims at the direct detection of dark matter in the form of weakly interacting massive particles (WIMPs), based on their interactions with xenon nuclei in an ultra low background dual-phase time projection chamber. This paper describes the general methods developed for the analysis of the XENON100 data. These methods have…
▽ More
The XENON100 experiment, situated in the Laboratori Nazionali del Gran Sasso, aims at the direct detection of dark matter in the form of weakly interacting massive particles (WIMPs), based on their interactions with xenon nuclei in an ultra low background dual-phase time projection chamber. This paper describes the general methods developed for the analysis of the XENON100 data. These methods have been used in the 100.9 and 224.6 live days science runs from which results on spin-independent elastic, spin-dependent elastic and inelastic WIMP-nucleon cross-sections have already been reported.
△ Less
Submitted 14 October, 2013; v1 submitted 14 July, 2012;
originally announced July 2012.
-
The XENON100 Dark Matter Experiment
Authors:
XENON100 Collaboration,
E. Aprile,
K. Arisaka,
F. Arneodo,
A. Askin,
L. Baudis,
A. Behrens,
E. Brown,
J. M. R. Cardoso,
B. Choi,
D. Cline,
S. Fattori,
A. D. Ferella,
K. L. Giboni,
A. Kish,
C. W. Lam,
R. F. Lang,
K. E. Lim,
J. A. M. Lopes,
T. Marrodan Undagoitia,
Y. Mei,
A. J. Melgarejo Fernandez,
K. Ni,
U. Oberlack,
S. E. A. Orrigo
, et al. (11 additional authors not shown)
Abstract:
The XENON100 dark matter experiment uses liquid xenon (LXe) in a time projection chamber (TPC) to search for Xe nuclear recoils resulting from the scattering of dark matter Weakly Interacting Massive Particles (WIMPs). In this paper we present a detailed description of the detector design and present performance results, as established during the commissioning phase and during the first science ru…
▽ More
The XENON100 dark matter experiment uses liquid xenon (LXe) in a time projection chamber (TPC) to search for Xe nuclear recoils resulting from the scattering of dark matter Weakly Interacting Massive Particles (WIMPs). In this paper we present a detailed description of the detector design and present performance results, as established during the commissioning phase and during the first science runs.
The active target of XENON100 contains 62 kg of LXe, surrounded by an LXe veto of 99 kg, both instrumented with photomultiplier tubes (PMTs) operating inside the liquid or in Xe gas. The LXe target and veto are contained in a low-radioactivity stainless steel vessel, embedded in a passive radiation shield. The experiment is installed underground at the Laboratori Nazionali del Gran Sasso (LNGS), Italy and has recently published results from a 100 live-days dark matter search. The ultimate design goal of XENON100 is to achieve a spin-independent WIMP-nucleon scattering cross section sensitivity of σ= 2x10^-45 cm^2 for a 100 GeV/c^2 WIMP.
△ Less
Submitted 8 February, 2012; v1 submitted 11 July, 2011;
originally announced July 2011.
-
Implications on Inelastic Dark Matter from 100 Live Days of XENON100 Data
Authors:
XENON100 Collaboration,
E. Aprile,
K. Arisaka,
F. Arneodo,
A. Askin,
L. Baudis,
A. Behrens,
K. Bokeloh,
E. Brown,
T. Bruch,
G. Bruno,
J. M. R. Cardoso,
W. -T. Chen,
B. Choi,
D. Cline,
E. Duchovni,
S. Fattori,
A. D. Ferella,
F. Gao,
K. -L. Giboni,
E. Gross,
A. Kish,
C. W. Lam,
J. Lamblin,
R. F. Lang
, et al. (30 additional authors not shown)
Abstract:
The XENON100 experiment has recently completed a dark matter run with 100.9 live-days of data, taken from January to June 2010. Events in a 48kg fiducial volume in the energy range between 8.4 and 44.6 keVnr have been analyzed. A total of three events have been found in the predefined signal region, compatible with the background prediction of (1.8 \pm 0.6) events. Based on this analysis we presen…
▽ More
The XENON100 experiment has recently completed a dark matter run with 100.9 live-days of data, taken from January to June 2010. Events in a 48kg fiducial volume in the energy range between 8.4 and 44.6 keVnr have been analyzed. A total of three events have been found in the predefined signal region, compatible with the background prediction of (1.8 \pm 0.6) events. Based on this analysis we present limits on the WIMP-nucleon cross section for inelastic dark matter. With the present data we are able to rule out the explanation for the observed DAMA/LIBRA modulation as being due to inelastic dark matter scattering off iodine at a 90% confidence level.
△ Less
Submitted 9 September, 2011; v1 submitted 15 April, 2011;
originally announced April 2011.
-
New Measurement of the Scintillation Efficiency of Low-Energy Nuclear Recoils in Liquid Xenon
Authors:
G. Plante,
E. Aprile,
R. Budnik,
B. Choi,
K. -L. Giboni,
L. W. Goetzke,
R. F. Lang,
K. E. Lim,
A. J. Melgarejo Fernandez
Abstract:
Particle detectors that use liquid xenon (LXe) as detection medium are among the leading technologies in the search for dark matter weakly interacting massive particles (WIMPs). A key enabling element has been the low-energy detection threshold for recoiling nuclei produced by the interaction of WIMPs in LXe targets. In these detectors, the nuclear recoil energy scale is based on the LXe scintilla…
▽ More
Particle detectors that use liquid xenon (LXe) as detection medium are among the leading technologies in the search for dark matter weakly interacting massive particles (WIMPs). A key enabling element has been the low-energy detection threshold for recoiling nuclei produced by the interaction of WIMPs in LXe targets. In these detectors, the nuclear recoil energy scale is based on the LXe scintillation signal and thus requires knowledge of the relative scintillation efficiency of nuclear recoils, Leff. The uncertainty in Leff at low energies is the largest systematic uncertainty in the reported results from LXe WIMP searches at low masses. In the context of the XENON Dark Matter project, a new LXe scintillation detector has been designed and built specifically for the measurement of Leff at low energies, with an emphasis on maximizing the scintillation light detection efficiency to obtain the lowest possible energy threshold. We report new measurements of Leff at low energies performed with this detector. Our results suggest a Leff which slowly decreases with energy, from 0.144 +/- 0.009 at 15 keV down to 0.088 +0.014 -0.015 at 3 keV.
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
-
Dark Matter Results from 100 Live Days of XENON100 Data
Authors:
XENON100 Collaboration,
E. Aprile,
K. Arisaka,
F. Arneodo,
A. Askin,
L. Baudis,
A. Behrens,
K. Bokeloh,
E. Brown,
T. Bruch,
G. Bruno,
J. M. R. Cardoso,
W. -T. Chen,
B. Choi,
D. Cline,
E. Duchovni,
S. Fattori,
A. D. Ferella,
F. Gao,
K. -L. Giboni,
E. Gross,
A. Kish,
C. W. Lam,
J. Lamblin,
R. F. Lang
, et al. (30 additional authors not shown)
Abstract:
We present results from the direct search for dark matter with the XENON100 detector, installed underground at the Laboratori Nazionali del Gran Sasso of INFN, Italy. XENON100 is a two-phase time projection chamber with a 62 kg liquid xenon target. Interaction vertex reconstruction in three dimensions with millimeter precision allows to select only the innermost 48 kg as ultra-low background fiduc…
▽ More
We present results from the direct search for dark matter with the XENON100 detector, installed underground at the Laboratori Nazionali del Gran Sasso of INFN, Italy. XENON100 is a two-phase time projection chamber with a 62 kg liquid xenon target. Interaction vertex reconstruction in three dimensions with millimeter precision allows to select only the innermost 48 kg as ultra-low background fiducial target. In 100.9 live days of data, acquired between January and June 2010, no evidence for dark matter is found. Three candidate events were observed in a pre-defined signal region with an expected background of 1.8 +/- 0.6 events. This leads to the most stringent limit on dark matter interactions today, excluding spin-independent elastic WIMP-nucleon scattering cross-sections above 7.0x10^-45 cm^2 for a WIMP mass of 50 GeV/c^2 at 90% confidence level.
△ Less
Submitted 7 September, 2011; v1 submitted 13 April, 2011;
originally announced April 2011.
-
Material screening and selection for XENON100
Authors:
XENON100 Collaboration,
E. Aprile,
K. Arisaka,
F. Arneodo,
A. Askin,
L. Baudis,
A. Behrens,
K. Bokeloh,
E. Brown,
J. M. R. Cardoso,
B. Choi,
D. Cline,
S. Fattori,
A. D. Ferella,
K. L. Giboni,
A. Kish,
C. W. Lam,
J. Lamblin,
R. F. Lang,
K. E. Lim,
J. A. M. Lopes,
T. Marrodan Undagoitia,
Y. Mei,
A. J. Melgarejo Fernandez,
K. Ni
, et al. (16 additional authors not shown)
Abstract:
Results of the extensive radioactivity screening campaign to identify materials for the construction of XENON100 are reported. This Dark Matter search experiment is operated underground at Laboratori Nazionali del Gran Sasso (LNGS), Italy. Several ultra sensitive High Purity Germanium detectors (HPGe) have been used for gamma ray spectrometry. Mass spectrometry has been applied for a few low mass…
▽ More
Results of the extensive radioactivity screening campaign to identify materials for the construction of XENON100 are reported. This Dark Matter search experiment is operated underground at Laboratori Nazionali del Gran Sasso (LNGS), Italy. Several ultra sensitive High Purity Germanium detectors (HPGe) have been used for gamma ray spectrometry. Mass spectrometry has been applied for a few low mass plastic samples. Detailed tables with the radioactive contaminations of all screened samples are presented, together with the implications for XENON100.
△ Less
Submitted 22 June, 2011; v1 submitted 30 March, 2011;
originally announced March 2011.
-
Likelihood Approach to the First Dark Matter Results from XENON100
Authors:
XENON100 Collaboration,
E. Aprile,
K. Arisaka,
F. Arneodo,
A. Askin,
L. Baudis,
A. Behrens,
K. Bokeloh,
E. Brown,
T. Bruch,
J. M. R. Cardoso,
B. Choi,
D. Cline,
E. Duchovni,
S. Fattori,
A. D. Ferella,
K. -L. Giboni,
E. Gross,
A. Kish,
C. W. Lam,
J. Lamblin,
R. F. Lang,
K. E. Lim,
S. Lindemann,
M. Lindner
, et al. (21 additional authors not shown)
Abstract:
Many experiments that aim at the direct detection of Dark Matter are able to distinguish a dominant background from the expected feeble signals, based on some measured discrimination parameter. We develop a statistical model for such experiments using the Profile Likelihood ratio as a test statistic in a frequentist approach. We take data from calibrations as control measurements for signal and ba…
▽ More
Many experiments that aim at the direct detection of Dark Matter are able to distinguish a dominant background from the expected feeble signals, based on some measured discrimination parameter. We develop a statistical model for such experiments using the Profile Likelihood ratio as a test statistic in a frequentist approach. We take data from calibrations as control measurements for signal and background, and the method allows the inclusion of data from Monte Carlo simulations. Systematic detector uncertainties, such as uncertainties in the energy scale, as well as astrophysical uncertainties, are included in the model. The statistical model can be used to either set an exclusion limit or to make a discovery claim, and the results are derived with a proper treatment of statistical and systematic uncertainties. We apply the model to the first data release of the XENON100 experiment, which allows to extract additional information from the data, and place stronger limits on the spin-independent elastic WIMP-nucleon scattering cross-section. In particular, we derive a single limit, including all relevant systematic uncertainties, with a minimum of 2.4x10^-44 cm^2 for WIMPs with a mass of 50 GeV/c^2.
△ Less
Submitted 7 September, 2011; v1 submitted 1 March, 2011;
originally announced March 2011.
-
Study of the electromagnetic background in the XENON100 experiment
Authors:
XENON100 Collaboration,
E. Aprile,
K. Arisaka,
F. Arneodo,
A. Askin,
L. Baudis,
A. Behrens,
K. Bokeloh,
E. Brown,
J. M. R. Cardoso,
B. Choi,
D. Cline,
S. Fattori,
A. D. Ferella,
K. -L. Giboni,
A. Kish,
C. W. Lam,
J. Lamblin,
R. F. Lang,
K. E. Lim,
Q. Lin,
S. Lindemann,
M. Lindner,
J. A. M. Lopes,
K. Lung
, et al. (20 additional authors not shown)
Abstract:
The XENON100 experiment, located at the Laboratori Nazionali del Gran Sasso (LNGS), aims to directly detect dark matter in the form of Weakly Interacting Massive Particles (WIMPs) via their elastic scattering off xenon nuclei. We present a comprehensive study of the predicted electronic recoil background coming from radioactive decays inside the detector and shield materials, and intrinsic contami…
▽ More
The XENON100 experiment, located at the Laboratori Nazionali del Gran Sasso (LNGS), aims to directly detect dark matter in the form of Weakly Interacting Massive Particles (WIMPs) via their elastic scattering off xenon nuclei. We present a comprehensive study of the predicted electronic recoil background coming from radioactive decays inside the detector and shield materials, and intrinsic contamination. Based on GEANT4 Monte Carlo simulations using a detailed geometry together with the measured radioactivity of all detector components, we predict an electronic recoil background in the WIMP-search energy range (0-100 keV) in the 30 kg fiducial mass of less than 10e-2 events/(kg-day-keV), consistent with the experiment's design goal. The predicted background spectrum is in very good agreement with the data taken during the commissioning of the detector, in Fall 2009.
△ Less
Submitted 21 February, 2013; v1 submitted 20 January, 2011;
originally announced January 2011.
-
First Dark Matter Results from the XENON100 Experiment
Authors:
The XENON100 Collaboration,
E. Aprile,
K. Arisaka,
F. Arneodo,
A. Askin,
L. Baudis,
A. Behrens,
E. Brown,
J. M. R. Cardoso,
B. Choi,
D. B. Cline,
S. Fattori,
A. D. Ferella,
K. -L. Giboni,
K. Hugenberg,
A. Kish,
C. W. Lam,
J. Lamblin,
R. F. Lang,
K. E. Lim,
J. A. M. Lopes,
T. Marrodán Undagoitia,
Y. Mei,
A. J. Melgarejo Fernandez,
K. Ni
, et al. (14 additional authors not shown)
Abstract:
The XENON100 experiment, in operation at the Laboratori Nazionali del Gran Sasso in Italy, is designed to search for dark matter WIMPs scattering off 62 kg of liquid xenon in an ultra-low background dual-phase time projection chamber. In this letter, we present first dark matter results from the analysis of 11.17 live days of non-blind data, acquired in October and November 2009. In the selected f…
▽ More
The XENON100 experiment, in operation at the Laboratori Nazionali del Gran Sasso in Italy, is designed to search for dark matter WIMPs scattering off 62 kg of liquid xenon in an ultra-low background dual-phase time projection chamber. In this letter, we present first dark matter results from the analysis of 11.17 live days of non-blind data, acquired in October and November 2009. In the selected fiducial target of 40 kg, and within the pre-defined signal region, we observe no events and hence exclude spin-independent WIMP-nucleon elastic scattering cross-sections above 3.4 x 10^-44 cm^2 for 55 GeV/c^2 WIMPs at 90% confidence level. Below 20 GeV/c^2, this result constrains the interpretation of the CoGeNT and DAMA signals as being due to spin-independent, elastic, light mass WIMP interactions.
△ Less
Submitted 1 March, 2011; v1 submitted 3 May, 2010;
originally announced May 2010.
-
On the Cooperation of the Constraint Domains H, R and FD in CFLP
Authors:
S. Estévez-Martín,
T. Hortalá-González,
Rodríguez-Artalejo,
R. del Vado-Vírseda,
F. Sáenz-Pérez,
A. J. Fernández
Abstract:
This paper presents a computational model for the cooperation of constraint domains and an implementation for a particular case of practical importance. The computational model supports declarative programming with lazy and possibly higher-order functions, predicates, and the cooperation of different constraint domains equipped with their respective solvers, relying on a so-called Constraint Fun…
▽ More
This paper presents a computational model for the cooperation of constraint domains and an implementation for a particular case of practical importance. The computational model supports declarative programming with lazy and possibly higher-order functions, predicates, and the cooperation of different constraint domains equipped with their respective solvers, relying on a so-called Constraint Functional Logic Programming (CFLP) scheme. The implementation has been developed on top of the CFLP system TOY, supporting the cooperation of the three domains H, R and FD, which supply equality and disequality constraints over symbolic terms, arithmetic constraints over the real numbers, and finite domain constraints over the integers, respectively. The computational model has been proved sound and complete w.r.t. the declarative semantics provided by the $CFLP$ scheme, while the implemented system has been tested with a set of benchmarks and shown to behave quite efficiently in comparison to the closest related approach we are aware of.
To appear in Theory and Practice of Logic Programming (TPLP)
△ Less
Submitted 14 April, 2009;
originally announced April 2009.
-
Finding Still Lifes with Memetic/Exact Hybrid Algorithms
Authors:
Jose E. Gallardo,
Carlos Cotta,
Antonio J. Fernandez
Abstract:
The maximum density still life problem (MDSLP) is a hard constraint optimization problem based on Conway's game of life. It is a prime example of weighted constrained optimization problem that has been recently tackled in the constraint-programming community. Bucket elimination (BE) is a complete technique commonly used to solve this kind of constraint satisfaction problem. When the memory requi…
▽ More
The maximum density still life problem (MDSLP) is a hard constraint optimization problem based on Conway's game of life. It is a prime example of weighted constrained optimization problem that has been recently tackled in the constraint-programming community. Bucket elimination (BE) is a complete technique commonly used to solve this kind of constraint satisfaction problem. When the memory required to apply BE is too high, a heuristic method based on it (denominated mini-buckets) can be used to calculate bounds for the optimal solution. Nevertheless, the curse of dimensionality makes these techniques unpractical for large size problems. In response to this situation, we present a memetic algorithm for the MDSLP in which BE is used as a mechanism for recombining solutions, providing the best possible child from the parental set. Subsequently, a multi-level model in which this exact/metaheuristic hybrid is further hybridized with branch-and-bound techniques and mini-buckets is studied. Extensive experimental results analyze the performance of these models and multi-parent recombination. The resulting algorithm consistently finds optimal patterns for up to date solved instances in less time than current approaches. Moreover, it is shown that this proposal provides new best known solutions for very large instances.
△ Less
Submitted 22 December, 2008;
originally announced December 2008.
-
Constraint Functional Logic Programming over Finite Domains
Authors:
Antonio J. Fernandez,
Teresa Hortala-Gonzalez,
Fernando Saenz-Perez,
Rafael del Vado-Virseda
Abstract:
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD)) with a lazy functional logic programming language which seamlessly embodies finite domain (FD) constraints. This proposal increases the expressiveness and power of constraint logic programming over finite domains (CLP(FD)) by combining functional and relational notation, curried expre…
▽ More
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD)) with a lazy functional logic programming language which seamlessly embodies finite domain (FD) constraints. This proposal increases the expressiveness and power of constraint logic programming over finite domains (CLP(FD)) by combining functional and relational notation, curried expressions, higher-order functions, patterns, partial applications, non-determinism, lazy evaluation, logical variables, types, domain variables, constraint composition, and finite domain constraints.
We describe the syntax of the language, its type discipline, and its declarative and operational semantics. We also describe TOY(FD), an implementation for CFLPFD(FD), and a comparison of our approach with respect to CLP(FD) from a programming point of view, showing the new features we introduce. And, finally, we show a performance analysis which demonstrates that our implementation is competitive with respect to existing CLP(FD) systems and that clearly outperforms the closer approach to CFLP(FD).
△ Less
Submitted 16 January, 2006;
originally announced January 2006.
-
Branching: the Essence of Constraint Solving
Authors:
Antonio J. Fernandez,
Patricia M. Hill
Abstract:
This paper focuses on the branching process for solving any constraint satisfaction problem (CSP). A parametrised schema is proposed that (with suitable instantiations of the parameters) can solve CSP's on both finite and infinite domains. The paper presents a formal specification of the schema and a statement of a number of interesting properties that, subject to certain conditions, are satisfi…
▽ More
This paper focuses on the branching process for solving any constraint satisfaction problem (CSP). A parametrised schema is proposed that (with suitable instantiations of the parameters) can solve CSP's on both finite and infinite domains. The paper presents a formal specification of the schema and a statement of a number of interesting properties that, subject to certain conditions, are satisfied by any instances of the schema.
It is also shown that the operational procedures of many constraint systems including cooperative systems) satisfy these conditions.
Moreover, the schema is also used to solve the same CSP in different ways by means of different instantiations of its parameters.
△ Less
Submitted 24 September, 2001;
originally announced September 2001.