Showing 1–50 of 120 results for author: Ruiz, D

Frequency response limitation of heat flux meters

Authors: I. Naveros, Christian Ghiaus, D. P. Ruíz

Abstract: Heat flux meters are used for measuring the heat flux densities going through walls, usually at quasi-steady state. The limitations of heat flux meters under dynamic conditions are well documented in the literature; nonetheless there is a theoretical limitation which is mostly not considered and should be also taken into account. Since heat transfer is a dissipative process, it would be expected t… ▽ More Heat flux meters are used for measuring the heat flux densities going through walls, usually at quasi-steady state. The limitations of heat flux meters under dynamic conditions are well documented in the literature; nonetheless there is a theoretical limitation which is mostly not considered and should be also taken into account. Since heat transfer is a dissipative process, it would be expected to obtain transfer functions which act as low pass filters. Nonetheless, this paper shows that the transfer functions modeling heat flow rate may become high pass filters, which is against the physical evidence. In order to show this theoretical limitation of the heat flux meters, the heat equation is transformed in different classes of models, from partial differential equations to transfer functions related to surface temperatures and heat flux density going through a wall. △ Less

Submitted 6 May, 2024; originally announced June 2024.

Journal ref: Building and Environment, 2017, 114, pp.233-245

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.

Comments: 48 pages, 2 figures

MSC Class: 35Q31; 35Q35; 35B32

Nontrivial solutions to the relative overdetermined torsion problem in a cylinder

Authors: Filomena Pacella, David Ruiz, Pieralberto Sicbaldi

Abstract: Given a bounded regular domain $ω\subset \mathbb{R}^{N-1}$ and the half-cylinder $Σ= ω\times (0,+\infty)$, we consider the relative overdetermined torsion problem in $Σ$, i.e. \[\left\{ \begin{array}{ll} Δ{u}+1=0 &\mbox{in $Ω$},\newline \partial_ηu = 0 &\mbox{on $\widetilde Γ_Ω$},\newline u=0 &\mbox{on $Γ_Ω$},\newline \partial_νu =c &\mbox{on $Γ_Ω$}. \end{array} \right. \] where $Ω\subset Σ$,… ▽ More Given a bounded regular domain $ω\subset \mathbb{R}^{N-1}$ and the half-cylinder $Σ= ω\times (0,+\infty)$, we consider the relative overdetermined torsion problem in $Σ$, i.e. \[\left\{ \begin{array}{ll} Δ{u}+1=0 &\mbox{in $Ω$},\newline \partial_ηu = 0 &\mbox{on $\widetilde Γ_Ω$},\newline u=0 &\mbox{on $Γ_Ω$},\newline \partial_νu =c &\mbox{on $Γ_Ω$}. \end{array} \right. \] where $Ω\subset Σ$, $Γ_Ω= \partial Ω\cap Σ$, $\widetilde Γ_Ω= \partial Ω\setminus Γ_Ω$, $ν$ is the outer unit normal vector on $Γ_Ω$ and $η$ is the outer unit normal vector on $\widetilde Γ_Ω$. We build nontrivial solutions to this problem in domains $Ω$ that are the hypograph of certain nonconstant functions $v : \overlineω \to (0, + \infty)$. Such solutions can be reflected with respect to $ω$, giving nontrivial solutions to the relative overdetermined torsion problem in a cylinder. The proof uses a local bifurcation argument which, quite remarkably, works for any generic base $ω$. △ Less

Submitted 14 April, 2024; originally announced April 2024.

Comments: 14 pages

Current-Driven Domain Wall Motion in Curved Ferrimagnetic Strips Above and Below the Angular Momentum Compensation

Authors: David Osuna Ruiz, Óscar Alejos, Víctor Raposo, Eduardo Martínez

Abstract: Current driven domain wall motion in curved Heavy Metal/Ferrimagnetic/Oxide multilayer strips is investigated using systematic micromagnetic simulations which account for spin-orbit coupling phenomena. Domain wall velocity and characteristic relaxation times are studied as functions of the geometry, curvature and width of the strip, at and out of the angular momentum compensation. Results show tha… ▽ More Current driven domain wall motion in curved Heavy Metal/Ferrimagnetic/Oxide multilayer strips is investigated using systematic micromagnetic simulations which account for spin-orbit coupling phenomena. Domain wall velocity and characteristic relaxation times are studied as functions of the geometry, curvature and width of the strip, at and out of the angular momentum compensation. Results show that domain walls can propagate faster and without a significant distortion in such strips in contrast to their ferromagnetic counterparts. Using an artificial system based on a straight strip with an equivalent current density distribution, we can discern its influence on the wall terminal velocity, as part of a more general geometrical influence due to the curved shape. Curved and narrow ferrimagnetic strips are promising candidates for designing high speed and fast response spintronic circuitry based on current-driven domain wall motion. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Journal ref: Front. Phys. 9:772264 (2021)

Geometrical design for pure current-driven domain wall nucleation and shifting

Authors: David Osuna Ruiz, Óscar Alejos, Víctor Raposo, Eduardo Martínez

Abstract: Nucleation of domain walls by current-driving a single domain wall, confined to the junction area of two symmetrical strips, is investigated using systematic micromagnetic simulations. Secondary domain walls (equivalently, bits encoded in domains) are simultaneously nucleated and driven by alternatively applying current pulses between two terminals in the structure. Simulations show that nanosecon… ▽ More Nucleation of domain walls by current-driving a single domain wall, confined to the junction area of two symmetrical strips, is investigated using systematic micromagnetic simulations. Secondary domain walls (equivalently, bits encoded in domains) are simultaneously nucleated and driven by alternatively applying current pulses between two terminals in the structure. Simulations show that nanosecond-duration current pulses nucleate and drive series of robust up/down domains even under realistic conditions. These results demonstrate a technique for sequentially nucleating and shifting domain walls without using attached external bit lines, fields or modifying the ferromagnetic strip. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 11 pages, 3 figures

Journal ref: Appl. Phys. Lett. 121, 102403 (2022)

LDPC-cat codes for low-overhead quantum computing in 2D

Authors: Diego Ruiz, Jérémie Guillaud, Anthony Leverrier, Mazyar Mirrahimi, Christophe Vuillot

Abstract: Quantum low-density parity-check (qLDPC) codes are a promising construction for drastically reducing the overhead of fault-tolerant quantum computing (FTQC) architectures. However, all of the known hardware implementations of these codes require advanced technologies, such as long-range qubit connectivity, high-weight stabilizers, or multi-layered chip layouts. An alternative approach to reduce th… ▽ More Quantum low-density parity-check (qLDPC) codes are a promising construction for drastically reducing the overhead of fault-tolerant quantum computing (FTQC) architectures. However, all of the known hardware implementations of these codes require advanced technologies, such as long-range qubit connectivity, high-weight stabilizers, or multi-layered chip layouts. An alternative approach to reduce the hardware overhead of fault-tolerance is to use bosonic cat qubits where bit-flip errors are exponentially suppressed by design. In this work, we combine both approaches and propose an architecture based on cat qubits concatenated in classical LDPC codes correcting for phase-flips. We find that employing such phase-flip LDPC codes provides two major advantages. First, the hardware implementation of the code can be realised using short-range qubit interactions in 2D and low-weight stabilizers, which makes it readily compatible with current superconducting circuit technologies. Second, we demonstrate how to implement a fault-tolerant universal set of logical gates with a second layer of cat qubits while maintaining the local connectivity. We conduct a numerical brute force optimisation of these classical codes to find the ones with the best encoding rate for algorithmically relevant code distances. We discover that some of the best codes benefit from a cellular automaton structure. This allows us to define families of codes with high encoding rates and distances. Finally, we numerically assess the performance of our codes under circuit-level noise. Assuming a physical phase-flip error probability $ε\approx 0.1\%$, our $[165+8\ell, 34+2\ell, 22]$ code family allows to encode $100$ logical qubits with a total logical error probability (including both logical phase-flip and bit-flip) per cycle and per logical qubit $ε_L \leq 10^{-8}$ on a $758$ cat qubit chip. △ Less

Submitted 6 February, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: 23 pages, 11 figures

Prescribing curvatures in the disk via conformal changes of the metric: the case of negative Gaussian curvature

Authors: Rafael López-Soriano, Francisco J. Reyes-Sánchez, David Ruiz

Abstract: This paper deals with the question of prescribing the Gaussian curvature on a disk and the geodesic curvature of its boundary by means of a conformal deformation of the metric. We restrict ourselves to a symmetric setting in which the Gaussian curvature is negative, and we are able to give general existence results. Our approach is variational, and solutions will be searched as critical points of… ▽ More This paper deals with the question of prescribing the Gaussian curvature on a disk and the geodesic curvature of its boundary by means of a conformal deformation of the metric. We restrict ourselves to a symmetric setting in which the Gaussian curvature is negative, and we are able to give general existence results. Our approach is variational, and solutions will be searched as critical points of an associated functional. The proofs use a perturbation argument via the monotonicity trick of Struwe, together with a blow-up analysis and Morse index estimates. We also give a nonexistence result that shows that, to some extent, the assumptions required for existence are necessary. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Comments: 24 pages and 3 figures

MSC Class: 35J20; 58J32; 35B44

Spin Waves in Ferrimagnets near the Angular Magnetization Compensation Temperature: A Micromagnetic Study

Authors: Luis Sánchez-Tejerina, David Osuna Ruiz, Eduardo Martínez, Luis López Díaz, Óscar Alejos

Abstract: Spin wave propagation along a ferrimagnetic strip with out-of-plane magnetization is studied by means of micromagnetic simulations. The ferrimagnetic material is considered as formed by two antiferromagnetically coupled sublattices. Two critical temperatures can be defined for such systems: that of magnetization compensation and that of angular momentum compensation, both different due to distinct… ▽ More Spin wave propagation along a ferrimagnetic strip with out-of-plane magnetization is studied by means of micromagnetic simulations. The ferrimagnetic material is considered as formed by two antiferromagnetically coupled sublattices. Two critical temperatures can be defined for such systems: that of magnetization compensation and that of angular momentum compensation, both different due to distinct Landé factors for each sub-lattice. Spin waves in the strip are excited by a spin current injected at one of its edges. The obtained dispersion diagrams show exchange-dominated forward volume spin waves. For a given excitation frequency, Néel vector describes highly eccentric orbits, the eccentricity depending on temperature, whose semi-major axis are oriented differently at distinct locations on the FiM strip. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 10 pages, 4 figures, presented at JEMS 2023

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.

Comments: 29 pages, 2 figures

MSC Class: 35N25; 35Q31; 35B32

SEPAL: Spatial Gene Expression Prediction from Local Graphs

Authors: Gabriel Mejia, Paula Cárdenas, Daniela Ruiz, Angela Castillo, Pablo Arbeláez

Abstract: Spatial transcriptomics is an emerging technology that aligns histopathology images with spatially resolved gene expression profiling. It holds the potential for understanding many diseases but faces significant bottlenecks such as specialized equipment and domain expertise. In this work, we present SEPAL, a new model for predicting genetic profiles from visual tissue appearance. Our method exploi… ▽ More Spatial transcriptomics is an emerging technology that aligns histopathology images with spatially resolved gene expression profiling. It holds the potential for understanding many diseases but faces significant bottlenecks such as specialized equipment and domain expertise. In this work, we present SEPAL, a new model for predicting genetic profiles from visual tissue appearance. Our method exploits the biological biases of the problem by directly supervising relative differences with respect to mean expression, and leverages local visual context at every coordinate to make predictions using a graph neural network. This approach closes the gap between complete locality and complete globality in current methods. In addition, we propose a novel benchmark that aims to better define the task by following current best practices in transcriptomics and restricting the prediction variables to only those with clear spatial patterns. Our extensive evaluation in two different human breast cancer datasets indicates that SEPAL outperforms previous state-of-the-art methods and other mechanisms of including spatial context. △ Less

Submitted 10 January, 2024; v1 submitted 2 September, 2023; originally announced September 2023.

Sparse estimation of parameter support sets for generalized vector autoregressions by resampling and model aggregation

Authors: Trevor D. Ruiz, Sharmodeep Bhattacharyya, Sarah C. Emerson

Abstract: The central problem we address in this work is estimation of the parameter support set S, the set of indices corresponding to nonzero parameters, in the context of a sparse parametric likelihood model for count-valued multivariate time series. We develop a computationally-intensive algorithm that performs the estimation by aggregating support sets obtained by applying the LASSO to data subsamples.… ▽ More The central problem we address in this work is estimation of the parameter support set S, the set of indices corresponding to nonzero parameters, in the context of a sparse parametric likelihood model for count-valued multivariate time series. We develop a computationally-intensive algorithm that performs the estimation by aggregating support sets obtained by applying the LASSO to data subsamples. Our approach is to identify several well-fitting candidate models and estimate S by the most frequently-used parameters, thus \textit{aggregating} candidate models rather than selecting a single candidate deemed optimal in some sense. While our method is broadly applicable to any selection problem, we focus on the generalized vector autoregressive model class, and in particular the Poisson case, due to (i) the difficulty of the support estimation problem due to complex dependence in the data, (ii) recent work applying the LASSO in this context, and (iii) interesting applications in network recovery from discrete multivariate time series. We establish benchmark methods based on the LASSO and present empirical results demonstrating the superior performance of our method. Additionally, we present an application estimating ecological interaction networks from paleoclimatology data. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Modica type estimates and curvature results for overdetermined elliptic problems

Authors: David Ruiz, Pieralberto Sicbaldi, **g Wu

Abstract: In this paper, we establish a Modica type estimate on bounded solutions to the overdetermined elliptic problem \begin{equation*} \begin{cases} Δu+f(u) =0& \mbox{in $Ω$, }\\ u>0 &\mbox{in $Ω$, } u=0 &\mbox{on $\partialΩ$, } \partial_ν u=c_0 &\mbox{on $\partialΩ$, } \end{cases} \end{equation*} where $Ω\subset\mathbb{R}^{n},n\geq 2$. As we will see, the presence of the boundary changes the… ▽ More In this paper, we establish a Modica type estimate on bounded solutions to the overdetermined elliptic problem \begin{equation*} \begin{cases} Δu+f(u) =0& \mbox{in $Ω$, }\\ u>0 &\mbox{in $Ω$, } u=0 &\mbox{on $\partialΩ$, } \partial_ν u=c_0 &\mbox{on $\partialΩ$, } \end{cases} \end{equation*} where $Ω\subset\mathbb{R}^{n},n\geq 2$. As we will see, the presence of the boundary changes the usual form of the Modica estimate for entire solutions. We will also discuss the equality case. From such estimates we will deduce information about the curvature of $\partial Ω$ under a certain condition on $c_0$ and $f$. The proof uses the maximum principle together with scaling arguments and a careful passage to the limit in the arguments by contradiction. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: 12pages

MSC Class: Mathematics Subject Classification(2020). 35N25; 35B50

DACov: A Deeper Analysis of Data Augmentation on the Computed Tomography Segmentation Problem

Authors: Bruno A. Krinski, Daniel V. Ruiz, Rayson Laroca, Eduardo Todt

Abstract: Due to the COVID-19 global pandemic, computer-assisted diagnoses of medical images have gained much attention, and robust methods of semantic segmentation of Computed Tomography (CT) images have become highly desirable. In this work, we present a deeper analysis of how data augmentation techniques improve segmentation performance on this problem. We evaluate 20 traditional augmentation techniques… ▽ More Due to the COVID-19 global pandemic, computer-assisted diagnoses of medical images have gained much attention, and robust methods of semantic segmentation of Computed Tomography (CT) images have become highly desirable. In this work, we present a deeper analysis of how data augmentation techniques improve segmentation performance on this problem. We evaluate 20 traditional augmentation techniques on five public datasets. Six different probabilities of applying each augmentation technique on an image were evaluated. We also assess a different training methodology where the training subsets are combined into a single larger set. All networks were evaluated through a 5-fold cross-validation strategy, resulting in over 4,600 experiments. We also propose a novel data augmentation technique based on Generative Adversarial Networks (GANs) to create new healthy and unhealthy lung CT images, evaluating four variations of our approach with the same six probabilities of the traditional methods. Our findings show that GAN-based techniques and spatial-level transformations are the most promising for improving the learning of deep models on this problem, with the StarGANv2 + F with a probability of 0.3 achieving the highest F-score value on the Ricord1a dataset in the unified training strategy. Our code is publicly available at https://github.com/VRI-UFPR/DACov2022 △ Less

Submitted 10 March, 2023; originally announced March 2023.

Journal ref: Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization, 2023

Performance Analysis of a Repetition Cat Code Architecture: Computing 256-bit Elliptic Curve Logarithm in 9 Hours with 126133 Cat Qubits

Authors: Élie Gouzien, Diego Ruiz, Francois-Marie Le Régent, Jérémie Guillaud, Nicolas Sangouard

Abstract: Cat qubits provide appealing building blocks for quantum computing. They exhibit a tunable noise bias yielding an exponential suppression of bit flips with the average photon number and a protection against the remaining phase errors can be ensured by a simple repetition code. We here quantify the cost of a repetition code and provide valuable guidance for the choice of a large scale architecture… ▽ More Cat qubits provide appealing building blocks for quantum computing. They exhibit a tunable noise bias yielding an exponential suppression of bit flips with the average photon number and a protection against the remaining phase errors can be ensured by a simple repetition code. We here quantify the cost of a repetition code and provide valuable guidance for the choice of a large scale architecture using cat qubits by realizing a performance analysis based on the computation of discrete logarithms on an elliptic curve with Shor's algorithm. By focusing on a 2D grid of cat qubits with neighboring connectivity, we propose to implement 2-qubit gates via lattice surgery and Toffoli gates with off-line fault-tolerant preparation of magic states through projective measurements and subsequent gate teleportations. All-to-all connectivity between logical qubits is ensured by routing qubits. Assuming a ratio between single- and two-photon losses of 1e-5 and a cycle time of 500 ns, we show concretely that such an architecture can compute a 256-bit elliptic curve logarithm in 9 h with 126133 cat qubits and on average 19 photons by cat state. We give the details of the realization of Shor's algorithm so that the proposed performance analysis can be easily reused to guide the choice of architecture for others platforms. △ Less

Submitted 4 August, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: 5+37 pages, 41 figures, 5 tables

Journal ref: Phys. Rev. Lett. 131, 040602 (2023)

Transition from acoustic plasmon to electronic sound in graphene

Authors: David Barcons Ruiz, Niels C. H. Hesp, Hanan Herzig Sheinfux, Carlos Ramos Marimón, Curdin Martin Maissen, Alessandro Principi, Reza Asgari, Takashi Taniguchi, Kenji Watanabe, Marco Polini, Rainer Hillenbrand, Iacopo Torre, Frank H. L. Koppens

Abstract: Fermi liquids respond differently to perturbations depending on whether their frequency is larger (collisionless regime) or smaller (hydrodynamic regime) than the inter-particle collision rate. This results in a different phase velocity between the collisionless zero sound and hydrodynamic first sound. We performed terahertz photocurrent nanoscopy measurements on graphene devices, with a metallic… ▽ More Fermi liquids respond differently to perturbations depending on whether their frequency is larger (collisionless regime) or smaller (hydrodynamic regime) than the inter-particle collision rate. This results in a different phase velocity between the collisionless zero sound and hydrodynamic first sound. We performed terahertz photocurrent nanoscopy measurements on graphene devices, with a metallic gate in close proximity to the sample, to probe the dispersion of propagating acoustic plasmons, the counterpart of sound modes in electronic Fermi liquids. We report the observation of a change in the plasmon phase velocity when the excitation frequency approaches the electron-electron collision rate. This first observation of the first sound mode in an electronic Fermi liquid is of fundamental interest and can enable novel terahertz emitter and detection implementations. △ Less

Submitted 18 January, 2023; originally announced January 2023.

Journal ref: Sci. Adv.9,eadi0415(2023)

Nonsymmetric sign-changing solutions to overdetermined elliptic problems in bounded domains

Authors: David Ruiz

Abstract: In 1971 J. Serrin proved that, given a smooth bounded domain $Ω\subset \mathbb{R}^N$ and $u$ a positive solution of the problem: \begin{equation*} \begin{array}{ll} -Δu = f(u) &\mbox{in $Ω$, } u =0 &\mbox{on $\partialΩ$, } \partial_ν u =\mbox{constant} &\mbox{on $\partialΩ$, } \end{array} \end{equation*} then $Ω$ is necessarily a ball and $u$ is radially symmetric. In this paper we pro… ▽ More In 1971 J. Serrin proved that, given a smooth bounded domain $Ω\subset \mathbb{R}^N$ and $u$ a positive solution of the problem: \begin{equation*} \begin{array}{ll} -Δu = f(u) &\mbox{in $Ω$, } u =0 &\mbox{on $\partialΩ$, } \partial_ν u =\mbox{constant} &\mbox{on $\partialΩ$, } \end{array} \end{equation*} then $Ω$ is necessarily a ball and $u$ is radially symmetric. In this paper we prove that the positivity of $u$ is necessary in that symmetry result. In fact we find a sign-changing solution to that problem for a $C^2$ function $f(u)$ in a bounded domain $Ω$ different from a ball. The proof uses a local bifurcation argument, based on the study of the associated linearized operator. △ Less

Submitted 20 April, 2023; v1 submitted 25 November, 2022; originally announced November 2022.

Comments: 26 pages, 1 figure. In this new version I have corrected some minor mistakes, and I thank Antonio Jesús Fernández for pointing me out. Comments are welcome

Two-photon driven Kerr quantum oscillator with multiple spectral degeneracies

Authors: Diego Ruiz, Ronan Gautier, Jérémie Guillaud, Mazyar Mirrahimi

Abstract: Kerr nonlinear oscillators driven by a two-photon process are promising systems to encode quantum information and to ensure a hardware-efficient scaling towards fault-tolerant quantum computation. In this paper, we show that an extra control parameter, the detuning of the two-photon drive with respect to the oscillator resonance, plays a crucial role in the properties of the defined qubit. At spec… ▽ More Kerr nonlinear oscillators driven by a two-photon process are promising systems to encode quantum information and to ensure a hardware-efficient scaling towards fault-tolerant quantum computation. In this paper, we show that an extra control parameter, the detuning of the two-photon drive with respect to the oscillator resonance, plays a crucial role in the properties of the defined qubit. At specific values of this detuning, we benefit from strong symmetries in the system, leading to multiple degeneracies in the spectrum of the effective confinement Hamiltonian. Overall, these degeneracies lead to a stronger suppression of bit-flip errors. We also study the combination of such Hamiltonian confinement with colored dissipation to suppress leakage outside of the bosonic code space. We show that the additional degeneracies allow us to perform fast and high-fidelity gates while preserving a strong suppression of bit-flip errors. △ Less

Submitted 3 February, 2023; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: 10 pages, 7 figures

Journal ref: Phys. Rev. A 107, 042407 (2023)

Transverse hypercrystals formed by periodically modulated phonon-polaritons

Authors: Hanan Herzig Sheinfux, Minwoo Jung, Lorenzo Orsini, Matteo Ceccanti, Aditya Mahalanabish, Daniel Martinez-Cercós, Iacopo Torre, David Barcons Ruiz, Eli Janzen, James H. Edgar, Valerio Pruneri, Gennady Shvets, Frank H. L. Koppens

Abstract: Photonic crystals and metamaterials are two overarching paradigms for manipulating light. Combining the two approaches leads to hypercrystals: hyperbolic dispersion metamaterials that undergo periodic modulation and mix photonic-crystal-like aspects with hyperbolic dispersion physics. So far, there has been limited experimental realization of hypercrystals due to various technical and design const… ▽ More Photonic crystals and metamaterials are two overarching paradigms for manipulating light. Combining the two approaches leads to hypercrystals: hyperbolic dispersion metamaterials that undergo periodic modulation and mix photonic-crystal-like aspects with hyperbolic dispersion physics. So far, there has been limited experimental realization of hypercrystals due to various technical and design constraints. Here, we create nanoscale hypercrystals with lattice constants ranging from 25 nm to 160 nm and measure their collective Bloch modes and dispersion with scattering nearfield microscopy. We demonstrate for the first time dispersion features such as negative group velocity, indicative of bandfolding, and signatures of sharp density of states peaks, expected for hypercrystals (and not for ordinary polaritonic crystals). These density peaks connect our findings to the theoretical prediction of an extremely rich hypercrystal bandstructure emerging even in geometrically simple lattices. These features make hypercrystals both fundamentally interesting, as well as of potential use to engineering nanoscale light-matter interactions. △ Less

Submitted 1 November, 2022; originally announced November 2022.

Stress-stress Correlations Reveal Force Chains in Gels

Authors: H. A. Vinutha, Fabiola Diaz Ruiz, Xiaoming Mao, Bulbul Chakraborty, Emanuela Del Gado

Abstract: We investigate the spatial correlations of microscopic stresses in soft particulate gels, using 2D and 3D numerical simulations. We use a recently developed theoretical framework predicting the analytical form of stress-stress correlations in amorphous assemblies of athermal grains that acquire rigidity under an external load. These correlations exhibit a pinch-point singularity in Fourier space l… ▽ More We investigate the spatial correlations of microscopic stresses in soft particulate gels, using 2D and 3D numerical simulations. We use a recently developed theoretical framework predicting the analytical form of stress-stress correlations in amorphous assemblies of athermal grains that acquire rigidity under an external load. These correlations exhibit a pinch-point singularity in Fourier space leading to long-range correlations and strong anisotropy in real space, which are at the origin of force-chains in granular solids. Our analysis for the model particulate gels at low particle volume fractions demonstrates that stress-stress correlations in these soft materials have characteristics very similar to those in granular solids and can be used to identify force chains. We show that the stress-stress correlations can distinguish floppy from rigid gel networks and the intensity patterns reflect changes in shear moduli and network topology, due to the emergence of rigid structures during solidification. △ Less

Submitted 28 October, 2022; originally announced October 2022.

Comments: 11 pages, 9 figures

Overdetermined elliptic problems in nontrivial contractible domains of the sphere

Authors: David Ruiz, Pieralberto Sicbaldi, **g Wu

Abstract: In this paper, we prove the existence of nontrivial contractible domains $Ω\subset\mathbb{S}^{d}$, $d\geq2$, such that the overdetermined elliptic problem \begin{equation*} \begin{cases} -\varepsilonΔ_{g} u +u-u^{p}=0 &\mbox{in $Ω$, } u>0 &\mbox{in $Ω$, } u=0 &\mbox{on $\partialΩ$, } \partial_ν u=\mbox{constant} &\mbox{on $\partialΩ$, } \end{cases} \end{equation*} admits a positive sol… ▽ More In this paper, we prove the existence of nontrivial contractible domains $Ω\subset\mathbb{S}^{d}$, $d\geq2$, such that the overdetermined elliptic problem \begin{equation*} \begin{cases} -\varepsilonΔ_{g} u +u-u^{p}=0 &\mbox{in $Ω$, } u>0 &\mbox{in $Ω$, } u=0 &\mbox{on $\partialΩ$, } \partial_ν u=\mbox{constant} &\mbox{on $\partialΩ$, } \end{cases} \end{equation*} admits a positive solution. Here $Δ_{g}$ is the Laplace-Beltrami operator in the unit sphere $\mathbb{S}^{d}$ with respect to the canonical round metric $g$, $\varepsilon>0$ is a small real parameter and $1<p<\frac{d+2}{d-2}$ ($p>1$ if $d=2$). These domains are perturbations of $\mathbb{S}^{d}\setminus D,$ where $D$ is a small geodesic ball. This shows in particular that Serrin's theorem for overdetermined problems in the Euclidean space cannot be generalized to the sphere even for contractible domains. △ Less

Submitted 7 June, 2023; v1 submitted 19 October, 2022; originally announced October 2022.

Comments: 35 pages, 1 figure

MSC Class: 35J61; 35N25

Exploring the parameter space of MagLIF implosions using similarity scaling. III. Rise-time scaling

Authors: D. E. Ruiz, P. F. Schmit, M. R. Weis, K. J. Peterson, M. K. Matzen

Abstract: Magnetized Liner Inertial Fusion (MagLIF) is a z-pinch magneto-inertial-fusion (MIF) concept studied on the Z Machine at Sandia National Laboratories. Two important metrics characterizing current delivery to a z-pinch load are the peak current and the current-rise time, which is roughly the time interval to reach peak current. It is known that, when driving a z-pinch load with a longer current-ris… ▽ More Magnetized Liner Inertial Fusion (MagLIF) is a z-pinch magneto-inertial-fusion (MIF) concept studied on the Z Machine at Sandia National Laboratories. Two important metrics characterizing current delivery to a z-pinch load are the peak current and the current-rise time, which is roughly the time interval to reach peak current. It is known that, when driving a z-pinch load with a longer current-rise time, the performance of the z-pinch decreases. However, a theory to understand and quantify this effect is still lacking. In this paper, we utilize a framework based on similarity scaling to analytically investigate the variations in performance of MagLIF loads when varying the current-rise time, or equivalently, the implosion timescale. To maintain similarity between the implosions, we provide the scaling prescriptions of the experimental input parameters defining a MagLIF load and derive the scaling laws for the stagnation conditions and for various performance metrics. We compare predictions of the theory to 2D numerical simulations using the radiation, magneto-hydrodynamic code HYDRA. For several metrics, we find acceptable agreement between the theory and simulations. Our results show that the voltage near the MagLIF load follows a weak scaling law $\smash{\varphi_{\rm load} \propto t_\varphi^{-0.12}}$ with respect to the characteristic timescale $t_\varphi$ of the voltage source, instead of the ideal $\smash{\varphi_{\rm load} \propto t_\varphi^{-1}}$ scaling. This occurs because the imploding height of the MagLIF load must increase to preserve end losses. As a consequence of the longer imploding liners, the required total laser preheat energy and delivered electric energy increase. Overall, this study may help understand the trade-offs of the MagLIF design space when considering future pulsed-power generators with shorter and longer current-rise times. △ Less

Submitted 5 January, 2023; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: 15 pages, 20 figures, submitted to Phys. Plasmas. arXiv admin note: text overlap with arXiv:2209.14911

Exploring the parameter space of MagLIF implosions using similarity scaling. II. Current scaling

Authors: D. E. Ruiz, P. F. Schmit, D. A. Yager-Elorriaga, M. R. Gomez, M. R. Weis, C. A. Jennings, A. J. Harvey-Thompson, P. F. Knapp, S. A. Slutz, D. J. Ampleford, K. Beckwith, M. K. Matzen

Abstract: Magnetized Liner Inertial Fusion (MagLIF) is a magneto-inertial-fusion (MIF) concept, which is presently being studied on the Z Pulsed Power Facility. The MagLIF platform has achieved interesting plasma conditions at stagnation and produced significant fusion yields in the laboratory. Given the relative success of MagLIF, there is a strong interest to scale the platform to higher peak currents. Ho… ▽ More Magnetized Liner Inertial Fusion (MagLIF) is a magneto-inertial-fusion (MIF) concept, which is presently being studied on the Z Pulsed Power Facility. The MagLIF platform has achieved interesting plasma conditions at stagnation and produced significant fusion yields in the laboratory. Given the relative success of MagLIF, there is a strong interest to scale the platform to higher peak currents. However, scaling MagLIF is not entirely straightforward due to the large dimensionality of the experimental input parameter space and the large number of distinct physical processes involved in MIF implosions. In this work, we propose a novel method to scale MagLIF loads to higher currents. Our method is based on similarity (or similitude) scaling and attempts to preserve much of the physics regimes already known or being studied on today's Z pulsed-power driver. By avoiding significant deviations into unexplored and/or less well-understood regimes, the risk of unexpected outcomes on future scaled-up experiments is reduced. Using arguments based on similarity scaling, we derive the scaling rules for the experimental input parameters characterizing a MagLIF load (as functions of the characteristic current driving the implosion). We then test the estimated scaling laws for various metrics measuring performance against results of 2D radiation--magneto-hydrodynamic HYDRA simulations. Agreement is found between the scaling theory and the simulation results. △ Less

Submitted 4 January, 2023; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: 19 pages, submitted to Physics of Plasmas

Exploring the parameter space of MagLIF implosions using similarity scaling. I. Theoretical framework

Authors: D. E. Ruiz, P. F. Schmit, D. A. Yager-Elorriaga, C. A. Jennings, K. Beckwith

Abstract: Magneto-inertial fusion (MIF) concepts, such as the Magnetized Liner Inertial Fusion (MagLIF) platform [M. R. Gomez et al., Phys. Rev. Lett. 113, 155003 (2014)], constitute a promising path for achieving ignition and significant fusion yields in the laboratory. The space of experimental input parameters defining a MagLIF load is highly multi-dimensional, and the implosion itself is a complex event… ▽ More Magneto-inertial fusion (MIF) concepts, such as the Magnetized Liner Inertial Fusion (MagLIF) platform [M. R. Gomez et al., Phys. Rev. Lett. 113, 155003 (2014)], constitute a promising path for achieving ignition and significant fusion yields in the laboratory. The space of experimental input parameters defining a MagLIF load is highly multi-dimensional, and the implosion itself is a complex event involving many physical processes. In the first paper of this series, we develop a simplified analytical model that identifies the main physical processes at play during a MagLIF implosion. Using non-dimensional analysis, we determine the most important dimensionless parameters characterizing MagLIF implosions and provide estimates of such parameters using typical fielded or experimentally observed quantities for MagLIF. We then show that MagLIF loads can be "incompletely" similarity scaled, meaning that the experimental input parameters of MagLIF can be varied such that many (but not all) of the dimensionless quantities are conserved. Based on similarity-scaling arguments, we can explore the parameter space of MagLIF loads and estimate the performance of the scaled loads. In the follow-up papers of this series, we test the similar scaling theory for MagLIF loads against simulations for two different scaling "vectors", which include current scaling and rise-time scaling. △ Less

Submitted 4 January, 2023; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: 24 pages, submitted to Physics of Plasmas

Engineering high quality graphene superlattices via ion milled ultra-thin etching masks

Authors: David Barcons Ruiz, Hanan Herzig Sheinfux, Rebecca Hoffmann, Iacopo Torre, Hitesh Agarwal, Roshan Krishna Kumar, Lorenzo Vistoli, Takashi Taniguchi, Kenji Watanabe, Adrian Bachtold, Frank H. L. Koppens

Abstract: Nanofabrication research pursues the miniaturization of patterned feature size. In the current state of the art, micron scale areas can be patterned with features down to ~ 30 nm pitch using electron beam lithography. Our work demonstrates a new nanofabrication technique which allows patterning periodic structures with a pitch down to 16 nm. It is based on focused ion beam milling of suspended mem… ▽ More Nanofabrication research pursues the miniaturization of patterned feature size. In the current state of the art, micron scale areas can be patterned with features down to ~ 30 nm pitch using electron beam lithography. Our work demonstrates a new nanofabrication technique which allows patterning periodic structures with a pitch down to 16 nm. It is based on focused ion beam milling of suspended membranes, with minimal proximity effects typical to electron beam lithography. The membranes are then transferred and used as hard etching masks. We benchmark our technique by engineering a superlattice potential in single layer graphene using a thin graphite patterned gate electrode. Our electronic transport characterization shows high quality superlattice properties and a rich Hofstadter butterfly spectrum. Our technique opens the path towards the realization of very short period superlattices in 2D materials, comparable to those in natural moire systems, but with the ability to control lattice symmetries and strength. This can pave the way for a versatile solid-state quantum simulator platform and the study of correlated electron phases. △ Less

Submitted 2 February, 2023; v1 submitted 28 July, 2022; originally announced July 2022.

Qualitative Properties of Singular Solutions to the Fractional Yamabe Problem

Authors: Sergio Cruz-Blázquez, Azahara DelaTorre, David Ruiz

Abstract: In this paper we are interested in the qualitative properties of the solutions to the fractional Yamabe problem in $\mathbb{R}^n$ which present an isolated singularity. In particular, we prove that the Morse index of any such solution is infinity. The proof uses a Emden Fowler type transformation, so that we can pass to a nonlocal 1D problem posed in $\mathbb{R}$. In this paper we are interested in the qualitative properties of the solutions to the fractional Yamabe problem in $\mathbb{R}^n$ which present an isolated singularity. In particular, we prove that the Morse index of any such solution is infinity. The proof uses a Emden Fowler type transformation, so that we can pass to a nonlocal 1D problem posed in $\mathbb{R}$. △ Less

Submitted 12 April, 2023; v1 submitted 20 July, 2022; originally announced July 2022.

Comments: 16 pages; several typos and misprints have been corrected, current address for S. C-B. has been added

MSC Class: 35J61; 35R11; 53C18

A Taxonomy of Schema Changes for NoSQL Databases

Authors: Alberto Hernández Chillón, Meike Klettke, Diego Sevilla Ruiz, Jesús García Molina

Abstract: Schema evolution is a crucial aspect in database management. The proposed taxonomies of schema changes have neglected the set of operations that involves relationships between entity types: aggregation and references, as well as the possible existence of structural variations for schema types, as most of NoSQL systems are schemaless. The distinction between entity types and relationship types, whi… ▽ More Schema evolution is a crucial aspect in database management. The proposed taxonomies of schema changes have neglected the set of operations that involves relationships between entity types: aggregation and references, as well as the possible existence of structural variations for schema types, as most of NoSQL systems are schemaless. The distinction between entity types and relationship types, which is typical of graph schemas, is also not taken into account in the published works. Moreover, NoSQL schema evolution poses the challenge of having different data models, and no standard specification exists for them. In this paper, a generic approach for evolving NoSQL and relational schemas is presented, which is based on the U-Schema unified data model that includes aggregation and reference relationships, and structural variations. For this data model, we introduce a taxonomy of schema changes for all the U-Schema elements, which is implemented by creating the Orion database-independent language. We will show how Orion can be used to automatically generate evolution scripts for a set of NoSQL databases, and the feasibility of each schema operation will be analyzed through the performance results obtained. The taxonomy has been formally validated by means of Alloy, and two case studies show the application of Orion. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Comments: 17 pages, 6 figures

Light In The Black: An Evaluation of Data Augmentation Techniques for COVID-19 CT's Semantic Segmentation

Authors: Bruno A. Krinski, Daniel V. Ruiz, Eduardo Todt

Abstract: With the COVID-19 global pandemic, computer-assisted diagnoses of medical images have gained much attention, and robust methods of Semantic Segmentation of Computed Tomography (CT) became highly desirable. Semantic Segmentation of CT is one of many research fields of automatic detection of COVID-19 and has been widely explored since the COVID-19 outbreak. In this work, we propose an extensive anal… ▽ More With the COVID-19 global pandemic, computer-assisted diagnoses of medical images have gained much attention, and robust methods of Semantic Segmentation of Computed Tomography (CT) became highly desirable. Semantic Segmentation of CT is one of many research fields of automatic detection of COVID-19 and has been widely explored since the COVID-19 outbreak. In this work, we propose an extensive analysis of how different data augmentation techniques improve the training of encoder-decoder neural networks on this problem. Twenty different data augmentation techniques were evaluated on five different datasets. Each dataset was validated through a five-fold cross-validation strategy, thus resulting in over 3,000 experiments. Our findings show that spatial level transformations are the most promising to improve the learning of neural networks on this problem. △ Less

Submitted 19 May, 2022; originally announced May 2022.

SkiQL: A Unified Schema Query Language

Authors: Carlos Javier Fernández Candel, Jesús Joaquín García Molina, Diego Sevilla Ruiz

Abstract: Most NoSQL systems are schema-on-read: data can be stored without first having to declare a Schema that imposes a structure. This schemaless feature offers flexibility to evolve data-intensive applications when data frequently change. However, freeing from declaring schemas does not mean their absence, but rather that they are implicit in data and code. Therefore, diagramming tools similar to thos… ▽ More Most NoSQL systems are schema-on-read: data can be stored without first having to declare a Schema that imposes a structure. This schemaless feature offers flexibility to evolve data-intensive applications when data frequently change. However, freeing from declaring schemas does not mean their absence, but rather that they are implicit in data and code. Therefore, diagramming tools similar to those available for relational systems are also needed to help developers and administrators understanding NoSQL schemas. Visualizing diagrams is not practical if schemas contain hundreds of database entities, and exploration or query facilities are then needed. In schemaless NoSQL stores, data of the same entity can be stored with different structure which can increase the difficulty of having readable diagrams. NoSQL schema management tools should therefore have three main components: schema extraction, schema visualization, and schema query. Since that there exist four main NoSQL data models, it is convenient that such tools can be built on a generic data model that provide platform-independence to query and visualize schemas. With the aim of favoring the creation of generic database tools, the authors of this paper defined the U-Schema unified data model that integrates the four main NoSQL data models and the relational model. This paper is focused on querying NoSQL and relational schemas which are represented as U-Schema models. We present the SkiQL language designed on U-Schema to achieve a platform-independent schema query service. SkiQL provides two constructs: schema-query and relationship-query. The former allows to obtain information of entity or relationship types, and the latter that of the aggregations or references (relations among types). We will show how SkiQL was evaluated by calculating well-known metrics for languages and using a survey. △ Less

Submitted 19 April, 2022; v1 submitted 13 April, 2022; originally announced April 2022.

Comments: 18 pages

Quality Control of Mass-Produced GEM Detectors for the CMS GE1/1 Muon Upgrade

Authors: M. Abbas, M. Abbrescia, H. Abdalla, A. Abdelalim, S. AbuZeid, A. Agapitos, A. Ahmad, A. Ahmed, W. Ahmed, C. Aimè, C. Aruta, I. Asghar, P. Aspell, C. Avila, J. Babbar, Y. Ban, R. Band, S. Bansal, L. Benussi, T. Beyrouthy, V. Bhatnagar, M. Bianco, S. Bianco, K. Black, L. Borgonovi , et al. (157 additional authors not shown)

Abstract: The series of upgrades to the Large Hadron Collider, culminating in the High Luminosity Large Hadron Collider, will enable a significant expansion of the physics program of the CMS experiment. However, the accelerator upgrades will also make the experimental conditions more challenging, with implications for detector operations, triggering, and data analysis. The luminosity of the proton-proton co… ▽ More The series of upgrades to the Large Hadron Collider, culminating in the High Luminosity Large Hadron Collider, will enable a significant expansion of the physics program of the CMS experiment. However, the accelerator upgrades will also make the experimental conditions more challenging, with implications for detector operations, triggering, and data analysis. The luminosity of the proton-proton collisions is expected to exceed $2-3\times10^{34}$~cm$^{-2}$s$^{-1}$ for Run 3 (starting in 2022), and it will be at least $5\times10^{34}$~cm$^{-2}$s$^{-1}$ when the High Luminosity Large Hadron Collider is completed for Run 4. These conditions will affect muon triggering, identification, and measurement, which are critical capabilities of the experiment. To address these challenges, additional muon detectors are being installed in the CMS endcaps, based on Gas Electron Multiplier technology. For this purpose, 161 large triple-Gas Electron Multiplier detectors have been constructed and tested. Installation of these devices began in 2019 with the GE1/1 station and will be followed by two additional stations, GE2/1 and ME0, to be installed in 2023 and 2026, respectively. The assembly and quality control of the GE1/1 detectors were distributed across several production sites around the world. We motivate and discuss the quality control procedures that were developed to standardize the performance of the detectors, and we present the final results of the production. Out of 161 detectors produced, 156 detectors passed all tests, and 144 detectors are now installed in the CMS experiment. The various visual inspections, gas tightness tests, intrinsic noise rate characterizations, and effective gas gain and response uniformity tests allowed the project to achieve this high success rate. △ Less

Submitted 22 March, 2022; originally announced March 2022.

Comments: 45 pages, 39 figures, submitted to Nuclear Instruments and Methods in Physics Research Section A

High quality nanocavities through multimodal confinement of hyperbolic polaritons in hexagonal boron nitride

Authors: Hanan Herzig Sheinfux, Lorenzo Orsini, Minwoo Jung, Iacopo Torre, Matteo Ceccanti, Simone Marconi, Rinu Maniyara, David Barcons Ruiz, Alexander Hötger, Ricardo Bertini, Sebastián Castilla, Niels C. H. Hesp, Eli Janzen, Alexander Holleitner, Valerio Pruneri, James H. Edgar, Gennady Shvets, Frank H. L. Koppens

Abstract: A conventional optical cavity supports modes which are confined because they are unable to leak out of the cavity. Bound state in continuum (BIC) cavities are an unconventional alternative, where light can leak out, but is confined by multimodal destructive interference. BICs are a general wave phenomenon, of particular interest to optics, but BICs and multimodal interference have never been demon… ▽ More A conventional optical cavity supports modes which are confined because they are unable to leak out of the cavity. Bound state in continuum (BIC) cavities are an unconventional alternative, where light can leak out, but is confined by multimodal destructive interference. BICs are a general wave phenomenon, of particular interest to optics, but BICs and multimodal interference have never been demonstrated at the nanoscale. Here, we demonstrate the first nanophotonic cavities based on BIC-like multimodal interference. This novel confinement mechanism for deep sub-wavelength light shows orders of magnitude improvement in several confinement metrics. Specifically, we obtain cavity volumes below 100x100x3nm^3 with quality factors about 100, with extreme cases having 23x23x3nm^3 volumes or quality factors above 400. Key to our approach, is the use of pristine crystalline hyperbolic dispersion media (HyM) which can support large momentum excitations with relatively low losses. Making a HyM cavity is complicated by the additional modes that appear in a HyM. Ordinarily, these serve as additional channels for leakage, reducing cavity performance. But, in our experiments, we find a BIC-like cavity confinement enhancement effect, which is intimately related to the ray-like nature of HyM excitations. In fact, the quality factors of our cavities exceed the maximum that is possible in the absence of higher order modes. The alliance of HyM with BICs in our work yields a radically novel way to confine light and is expected to have far reaching consequences wherever strong optical confinement is utilized, from ultra-strong light-matter interactions, to mid-IR nonlinear optics and a range of sensing applications. △ Less

Submitted 31 December, 2023; v1 submitted 17 February, 2022; originally announced February 2022.

Experimental Analysis of Oscillatory Premixed Flames in a Hele-Shaw Cell Propagating Towards a Closed End

Authors: Fernando Veiga Lopez, Daniel Martınez Ruiz, Eduardo Fernandez Tarrazo, Mario Sanchez Sanz

Abstract: An experimental study of methane, propane and dimethyl ether (DME) pre-mixed flames propagating in a quasi-two-dimensional Hele-Shaw cell placed horizontally is presented in this paper. The flames are ignited at the open end of the combustion chamber and propagate towards the closed end. Our experiments revealed two distinct propagation regimes depending on the equivalence ratio of the mixture as… ▽ More An experimental study of methane, propane and dimethyl ether (DME) pre-mixed flames propagating in a quasi-two-dimensional Hele-Shaw cell placed horizontally is presented in this paper. The flames are ignited at the open end of the combustion chamber and propagate towards the closed end. Our experiments revealed two distinct propagation regimes depending on the equivalence ratio of the mixture as a consequence of the coupling between the heat-release rate and the acoustic waves. The primary acoustic instability induces a small-amplitude, of around 8 mm, oscillatory motion across the chamber that is observed for lean propane, lean DME, and rich methane flames. Eventually, a secondary acoustic instability emerges for sufficiently rich (lean) propane and DME (methane) flames, inducing large-amplitude oscillations in the direction of propagation of the flame. The amplitude of these oscillations can be as large as 30 mm and drastically changes the outline of the flame. The front then forms pulsating finger-shaped structures that characterize the flame propagation under the secondary acoustic instability. The experimental setup allows the recording of the flame propagation from two different points of view. The top view is used to obtain accurate quantitative information about the flame propagation, while the lateral view offered a novel three dimensional perspective of the flame that gives relevant information on the transition between the two oscillatory regimes. The influence of the geometry of the Hele-Shaw cell and of the equivalence ratio on the transition between the two acoustic-instability regimes is analyzed. △ Less

Submitted 5 February, 2022; originally announced February 2022.

Journal ref: Combustion and Flame Volume 201, March 2019, Pages 1-11

Symmetry results for compactly supported steady solutions of the 2D Euler equations

Authors: David Ruiz

Abstract: In this paper we prove symmetry of compactly supported steady solutions of the 2D Euler equations. Assuming that $Ω= \{x \in \mathbb{R}^2:\ u(x) \neq 0\}$ is an annular domain, we prove that the streamlines of the flow are circular. We are also able to remove the topological condition on $Ω$ if we impose regularity and nondegeneracy assumptions on $u$ at $\partial Ω$. The proof uses that the corre… ▽ More In this paper we prove symmetry of compactly supported steady solutions of the 2D Euler equations. Assuming that $Ω= \{x \in \mathbb{R}^2:\ u(x) \neq 0\}$ is an annular domain, we prove that the streamlines of the flow are circular. We are also able to remove the topological condition on $Ω$ if we impose regularity and nondegeneracy assumptions on $u$ at $\partial Ω$. The proof uses that the corresponding stream function solves an elliptic semilinear problem $-Δφ= f(φ)$ with $\nabla φ=0$ at the boundary. One of the main difficulties in our study is that $f$ is not Lipschitz continuous near the boundary values. However, $f(φ)$ vanishes at the boundary values and then we can apply a local symmetry result of F. Brock to conclude. In the case $\partial_ν u \neq 0$ at $\partial Ω$ this argument is not possible. In this case we are able to use the moving plane scheme to show symmetry, despite the possible lack of regularity of $f$. We think that such result is interesting in its own right and will be stated and proved also for higher dimensions. The proof requires the study of maximum principles, Hopf lemma and Serrin corner lemma for elliptic linear operators with singular coefficients. △ Less

Submitted 15 April, 2023; v1 submitted 24 January, 2022; originally announced January 2022.

Comments: 22 pages, 2 figures. Comments are welcome. In this new version some minor errors have been corrected. To appear in Archive for Rational Mechanics and Analysis

Existence and nonexistence of traveling waves for the Gross-Pitaevskii equation in tori

Authors: Francisco Javier Martínez Sánchez, David Ruiz

Abstract: In this paper we consider traveling waves for the Gross-Pitaevskii equation which are T-periodic in each variable. We prove that if T is large enough, there exists a solution as a global minimizer of the corresponding action functional. In the subsonic case, we can use variational methods to prove the existence of a mountain-pass solution. Moreover, we show that for small T the problem admits only… ▽ More In this paper we consider traveling waves for the Gross-Pitaevskii equation which are T-periodic in each variable. We prove that if T is large enough, there exists a solution as a global minimizer of the corresponding action functional. In the subsonic case, we can use variational methods to prove the existence of a mountain-pass solution. Moreover, we show that for small T the problem admits only constant solutions. △ Less

Submitted 29 October, 2021; originally announced October 2021.

Comments: 12 pages, submitted for a special volume dedicated to the memory of Ireneo Peral

Theoretical estimates of the parameters of longitudinal undular bores in PMMA bars based on their measured initial speeds

Authors: C. G. Hooper, K. R. Khusnutdinova, J. M. Huntley, P. D. Ruiz

Abstract: We study the evolution of the longitudinal release wave that is generated by induced tensile fracture as it propagates through solid rectangular Polymethylmethacrylate (PMMA) bars of different constant cross section. High speed multi-point photoelasticity is used to register the strain wave. In all cases, oscillations develop at the bottom of the release wave that exhibit the qualitative features… ▽ More We study the evolution of the longitudinal release wave that is generated by induced tensile fracture as it propagates through solid rectangular Polymethylmethacrylate (PMMA) bars of different constant cross section. High speed multi-point photoelasticity is used to register the strain wave. In all cases, oscillations develop at the bottom of the release wave that exhibit the qualitative features of an undular bore. The pre-strain, post-strain, strain rate of the release wave and the cross section dimensions determine the evolution of the oscillations. From the wave speed and strain rate close to the fracture site, we estimate the strain rate of the release wave as well as the growth of the amplitude and duration of the leading oscillation away from the fracture site on using formulae derived from the simple analytical solution [1] of the linearised Gardner equation (linearised near the pre-strain level at fracture), developed in our earlier work . Our estimates are then compared to experimental data, where qualitative and good semi-quantitative agreements are established. △ Less

Submitted 22 October, 2021; originally announced October 2021.

Spark in the Dark: Evaluating Encoder-Decoder Pairs for COVID-19 CT's Semantic Segmentation

Authors: Bruno A. Krinski, Daniel V. Ruiz, Eduardo Todt

Abstract: With the COVID-19 global pandemic, computerassisted diagnoses of medical images have gained a lot of attention, and robust methods of Semantic Segmentation of Computed Tomography (CT) turned highly desirable. Semantic Segmentation of CT is one of many research fields of automatic detection of Covid-19 and was widely explored since the Covid19 outbreak. In the robotic field, Semantic Segmentation o… ▽ More With the COVID-19 global pandemic, computerassisted diagnoses of medical images have gained a lot of attention, and robust methods of Semantic Segmentation of Computed Tomography (CT) turned highly desirable. Semantic Segmentation of CT is one of many research fields of automatic detection of Covid-19 and was widely explored since the Covid19 outbreak. In the robotic field, Semantic Segmentation of organs and CTs are widely used in robots developed for surgery tasks. As new methods and new datasets are proposed quickly, it becomes apparent the necessity of providing an extensive evaluation of those methods. To provide a standardized comparison of different architectures across multiple recently proposed datasets, we propose in this paper an extensive benchmark of multiple encoders and decoders with a total of 120 architectures evaluated in five datasets, with each dataset being validated through a five-fold cross-validation strategy, totaling 3.000 experiments. To the best of our knowledge, this is the largest evaluation in number of encoders, decoders, and datasets proposed in the field of Covid-19 CT segmentation. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Comments: Paper accepted in the 18th IEEE Latin American Robotics Symposium - LARS 2021

Conformal metrics of the disk with prescribed Gaussian and geodesic curvatures

Authors: David Ruiz

Abstract: This paper is concerned with the existence of conformal metrics of the disk with prescribed Gaussian and geodesic curvatures. Being more specific, given nonnegative smooth functions $K: \overline{\mathbb{D}} \to \mathbb{R}$ and $h: \partial \mathbb{D} \to \mathbb{R}$, we consider the problem of finding a conformal metric realizing $K$ and $h$ as Gaussian and geodesic curvatures, respectively. This… ▽ More This paper is concerned with the existence of conformal metrics of the disk with prescribed Gaussian and geodesic curvatures. Being more specific, given nonnegative smooth functions $K: \overline{\mathbb{D}} \to \mathbb{R}$ and $h: \partial \mathbb{D} \to \mathbb{R}$, we consider the problem of finding a conformal metric realizing $K$ and $h$ as Gaussian and geodesic curvatures, respectively. This is the natural analogue of the classical Nirenberg problem posed on the disk. As we shall see, both curvatures play a role in the existence of solutions. Indeed we are able to give existence results under conditions that involve $K$ and $H$, where $H$ denotes the harmonic extension of $h$. The proof is based on the computation of the Leray-Schauder degree in a compact setting. △ Less

Submitted 31 August, 2021; v1 submitted 29 August, 2021; originally announced August 2021.

Comments: 23 pages

Overdetermined elliptic problems in onduloid-type domains with general nonlinearities

Authors: D. Ruiz, P. Sicbaldi, J. Wu

Abstract: In this paper, we prove the existence of nontrivial unbounded domains $Ω\subset\mathbb{R}^{n+1},n\geq1$, bifurcating from the straight cylinder $B\times\mathbb{R}$ (where $B$ is the unit ball of $\mathbb{R}^n$), such that the overdetermined elliptic problem \begin{equation*} \begin{cases} Δu +f(u)=0 &\mbox{in $Ω$, } u=0 &\mbox{on $\partialΩ$, } \partial_ν u=\mbox{constant} &\mbox{on… ▽ More In this paper, we prove the existence of nontrivial unbounded domains $Ω\subset\mathbb{R}^{n+1},n\geq1$, bifurcating from the straight cylinder $B\times\mathbb{R}$ (where $B$ is the unit ball of $\mathbb{R}^n$), such that the overdetermined elliptic problem \begin{equation*} \begin{cases} Δu +f(u)=0 &\mbox{in $Ω$, } u=0 &\mbox{on $\partialΩ$, } \partial_ν u=\mbox{constant} &\mbox{on $\partialΩ$, } \end{cases} \end{equation*} has a positive bounded solution. We will prove such result for a very general class of functions $f: [0, +\infty) \to \mathbb{R}$. Roughly speaking, we only ask that the Dirichlet problem in $B$ admits a nondegenerate solution. The proof uses a local bifurcation argument. △ Less

Submitted 23 July, 2021; originally announced July 2021.

Performance of a Triple-GEM Demonstrator in $pp$ Collisions at the CMS Detector

Authors: M. Abbas, M. Abbrescia, H. Abdalla, A. Abdelalim, S. AbuZeid, A. Agapitos, A. Ahmad, A. Ahmed, W. Ahmed, C. Aimè, C. Aruta, I. Asghar, P. Aspell, C. Avila, J. Babbar, Y. Ban, R. Band, S. Bansal, L. Benussi, V. Bhatnagar, M. Bianco, S. Bianco, K. Black, L. Borgonovi, O. Bouhali , et al. (156 additional authors not shown)

Abstract: After the Phase-2 high-luminosity upgrade to the Large Hadron Collider (LHC), the collision rate and therefore the background rate will significantly increase, particularly in the high $η$ region. To improve both the tracking and triggering of muons, the Compact Muon Solenoid (CMS) Collaboration plans to install triple-layer Gas Electron Multiplier (GEM) detectors in the CMS muon endcaps. Demonstr… ▽ More After the Phase-2 high-luminosity upgrade to the Large Hadron Collider (LHC), the collision rate and therefore the background rate will significantly increase, particularly in the high $η$ region. To improve both the tracking and triggering of muons, the Compact Muon Solenoid (CMS) Collaboration plans to install triple-layer Gas Electron Multiplier (GEM) detectors in the CMS muon endcaps. Demonstrator GEM detectors were installed in CMS during 2017 to gain operational experience and perform a preliminary investigation of detector performance. We present the results of triple-GEM detector performance studies performed in situ during normal CMS and LHC operations in 2018. The distribution of cluster size and the efficiency to reconstruct high $p_T$ muons in proton--proton collisions are presented as well as the measurement of the environmental background rate to produce hits in the GEM detector. △ Less

Submitted 22 September, 2021; v1 submitted 20 July, 2021; originally announced July 2021.

Comments: 10 pages, 5 figures

Modeling the triple-GEM detector response to background particles for the CMS Experiment

Authors: M. Abbas, M. Abbrescia, H. Abdalla, A. Abdelalim, S. AbuZeid, A. Agapitos, A. Ahmad, A. Ahmed, W. Ahmed, C. Aimè, C. Aruta, I. Asghar, P. Aspell, C. Avila, I. Azhgirey, J. Babbar, Y. Ban, R. Band, S. Bansal, L. Benussi, V. Bhatnagar, M. Bianco, S. Bianco, K. Black, L. Borgonovi , et al. (164 additional authors not shown)

Abstract: An estimate of environmental background hit rate on triple-GEM chambers is performed using Monte Carlo (MC) simulation and compared to data taken by test chambers installed in the CMS experiment (GE1/1) during Run-2 at the Large Hadron Collider (LHC). The hit rate is measured using data collected with proton-proton collisions at 13 TeV and a luminosity of 1.5$\times10^{34}$ cm$^{-2}$ s$^{-1}$. The… ▽ More An estimate of environmental background hit rate on triple-GEM chambers is performed using Monte Carlo (MC) simulation and compared to data taken by test chambers installed in the CMS experiment (GE1/1) during Run-2 at the Large Hadron Collider (LHC). The hit rate is measured using data collected with proton-proton collisions at 13 TeV and a luminosity of 1.5$\times10^{34}$ cm$^{-2}$ s$^{-1}$. The simulation framework uses a combination of the FLUKA and Geant4 packages to obtain the hit rate. FLUKA provides the radiation environment around the GE1/1 chambers, which is comprised of the particle flux with momentum direction and energy spectra ranging from $10^{-11}$ to $10^{4}$ MeV for neutrons, $10^{-3}$ to $10^{4}$ MeV for $γ$'s, $10^{-2}$ to $10^{4}$ MeV for $e^{\pm}$, and $10^{-1}$ to $10^{4}$ MeV for charged hadrons. Geant4 provides an estimate of detector response (sensitivity) based on an accurate description of detector geometry, material composition and interaction of particles with the various detector layers. The MC simulated hit rate is estimated as a function of the perpendicular distance from the beam line and agrees with data within the assigned uncertainties of 10-14.5%. This simulation framework can be used to obtain a reliable estimate of background rates expected at the High Luminosity LHC. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: 16 pages, 9 figures, 6 tables

BEyond observation: an approach for ObjectNav

Authors: Daniel V. Ruiz, Eduardo Todt

Abstract: With the rise of automation, unmanned vehicles became a hot topic both as commercial products and as a scientific research topic. It composes a multi-disciplinary field of robotics that encompasses embedded systems, control theory, path planning, Simultaneous Localization and Map** (SLAM), scene reconstruction, and pattern recognition. In this work, we present our exploratory research of how sen… ▽ More With the rise of automation, unmanned vehicles became a hot topic both as commercial products and as a scientific research topic. It composes a multi-disciplinary field of robotics that encompasses embedded systems, control theory, path planning, Simultaneous Localization and Map** (SLAM), scene reconstruction, and pattern recognition. In this work, we present our exploratory research of how sensor data fusion and state-of-the-art machine learning algorithms can perform the Embodied Artificial Intelligence (E-AI) task called Visual Semantic Navigation. This task, a.k.a Object-Goal Navigation (ObjectNav) consists of autonomous navigation using egocentric visual observations to reach an object belonging to the target semantic class without prior knowledge of the environment. Our method reached fourth place on the Habitat Challenge 2021 ObjectNav on the Minival phase and the Test-Standard Phase. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Comments: Presented at the 2th Embodied AI Workshop at CVPR 2021

A Unified Metamodel for NoSQL and Relational Databases

Authors: Carlos J. Fernández Candel, Diego Sevilla Ruiz, Jesús J. García-Molina

Abstract: The Database field is undergoing significant changes. Although relational systems are still predominant, the interest in NoSQL systems is continuously increasing. In this scenario, polyglot persistence is envisioned as the database architecture to be prevalent in the future. Multi-model database tools normally use a generic or unified metamodel to represent schemas of the data model that they su… ▽ More The Database field is undergoing significant changes. Although relational systems are still predominant, the interest in NoSQL systems is continuously increasing. In this scenario, polyglot persistence is envisioned as the database architecture to be prevalent in the future. Multi-model database tools normally use a generic or unified metamodel to represent schemas of the data model that they support. Such metamodels facilitate develo** utilities, as they can be built on a common representation. Also, the number of map**s required to migrate databases from a data model to another is reduced, and integrability is favored. In this paper, we present the U-Schema unified metamodel able to represent logical schemas for the four most popular NoSQL paradigms (columnar, document, key-value, and graph) as well as relational schemas. We will formally define the map**s between U-Schema and the data model defined for each paradigm. How these map**s have been implemented and validated will be discussed, and some applications of U-Schema will be shown. To achieve flexibility to respond to data changes, most of NoSQL systems are "schema-on-write," and the declaration of schemas is not required. Such an absence of schema declaration makes structural variability possible, i.e., stored data of the same entity type can have different structure. Moreover, data relationships supported by each data model are different. We will show how all these issues have been tackled in our approach. Our metamodel goes beyond the existing proposals by distinguishing entity types and relationship types, representing aggregation and reference relationships, and including the notion of structural variability. Our contributions also include develo** schema extraction strategies for schemaless systems of each NoSQL data model, and tackling performance and scalability in the implementation for each store. △ Less

Submitted 17 May, 2021; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: 31 pages, 18 figures

Conformal metrics with prescribed scalar and mean curvature

Authors: S. Cruz-Blázquez, A. Malchiodi, D. Ruiz

Abstract: We consider the case with boundary of the classical Kazdan-Warner problem in dimension greater or equal than three, i.e. the prescription of scalar and boundary mean curvatures via conformal deformations of the metric. We deal in particular with negative scalar curvature and boundary mean curvature of arbitrary sign, which to our knowledge has not been treated in the literature. We employ a variat… ▽ More We consider the case with boundary of the classical Kazdan-Warner problem in dimension greater or equal than three, i.e. the prescription of scalar and boundary mean curvatures via conformal deformations of the metric. We deal in particular with negative scalar curvature and boundary mean curvature of arbitrary sign, which to our knowledge has not been treated in the literature. We employ a variational approach to prove new existence results, especially in three dimensions. One of the principal issues for this problem is to obtain compactness properties, due to the fact that bubbling may occur with profiles of hyperbolic balls or horospheres, and hence one may lose either pointwise estimates on the conformal factor or the total conformal volume. We can sometimes prevent them using integral estimates, Pohozaev identities and domain-variations of different types. △ Less

Submitted 11 May, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: 42 pages

MSC Class: 35J20; 58J32; 53A30

On the triviality of flows in Alexandroff spaces

Authors: Pedro J. Chocano, Diego Mondéjar Ruiz, Manuel A. Morón, Francisco R. Ruiz del Portal

Abstract: We prove that the unique possible flow in an Alexandroff $T_0$-space is the trivial one. To motivate this result, we relate Alexandroff spaces to topological hyperspaces. We prove that the unique possible flow in an Alexandroff $T_0$-space is the trivial one. To motivate this result, we relate Alexandroff spaces to topological hyperspaces. △ Less

Submitted 25 July, 2022; v1 submitted 2 April, 2021; originally announced April 2021.

Using Side Channel Information and Artificial Intelligence for Malware Detection

Authors: Paul Maxwell, David Niblick, Daniel C. Ruiz

Abstract: Cybersecurity continues to be a difficult issue for society especially as the number of networked systems grows. Techniques to protect these systems range from rules-based to artificial intelligence-based intrusion detection systems and anti-virus tools. These systems rely upon the information contained in the network packets and download executables to function. Side channel information leaked fr… ▽ More Cybersecurity continues to be a difficult issue for society especially as the number of networked systems grows. Techniques to protect these systems range from rules-based to artificial intelligence-based intrusion detection systems and anti-virus tools. These systems rely upon the information contained in the network packets and download executables to function. Side channel information leaked from hardware has been shown to reveal secret information in systems such as encryption keys. This work demonstrates that side channel information can be used to detect malware running on a computing platform without access to the code involved. △ Less

Submitted 3 December, 2020; originally announced December 2020.

Comments: 7 pages

Journal ref: 2021 IEEE International Conference on Artificial Intelligence and Computer Applications (ICAICA)

LEAPME: Learning-based Property Matching with Embeddings

Authors: Daniel Ayala, Inma Hernández, David Ruiz, Erhard Rahm

Abstract: Data integration tasks such as the creation and extension of knowledge graphs involve the fusion of heterogeneous entities from many sources. Matching and fusion of such entities require to also match and combine their properties (attributes). However, previous schema matching approaches mostly focus on two sources only and often rely on simple similarity measurements. They thus face problems in c… ▽ More Data integration tasks such as the creation and extension of knowledge graphs involve the fusion of heterogeneous entities from many sources. Matching and fusion of such entities require to also match and combine their properties (attributes). However, previous schema matching approaches mostly focus on two sources only and often rely on simple similarity measurements. They thus face problems in challenging use cases such as the integration of heterogeneous product entities from many sources. We therefore present a new machine learning-based property matching approach called LEAPME (LEArning-based Property Matching with Embeddings) that utilizes numerous features of both property names and instance values. The approach heavily makes use of word embeddings to better utilize the domain-specific semantics of both property names and instance values. The use of supervised machine learning helps exploit the predictive power of word embeddings. Our comparative evaluation against five baselines for several multi-source datasets with real-world data shows the high effectiveness of LEAPME. We also show that our approach is even effective when training data from another domain (transfer learning) is used. △ Less

Submitted 5 October, 2020; originally announced October 2020.

MSC Class: 68U35

Interstrip Capacitances of the Readout Board used in Large Triple-GEM Detectors for the CMS Muon Upgrade

Authors: M. Abbas, M. Abbrescia, H. Abdalla, A. Abdelalim, S. AbuZeid, A. Agapitos, A. Ahmad, A. Ahmed, W. Ahmed, C. Aimè, C. Aruta, I. Asghar, P. Aspell, C. Avila, J. Babbar, Y. Ban, R. Band, S. Bansal, L. Benussi, V. Bhatnagar, M. Bianco, S. Bianco, K. Black, L. Borgonovi, O. Bouhali , et al. (156 additional authors not shown)

Abstract: We present analytical calculations, Finite Element Analysis modeling, and physical measurements of the interstrip capacitances for different potential strip geometries and dimensions of the readout boards for the GE2/1 triple-Gas Electron Multiplier detector in the CMS muon system upgrade. The main goal of the study is to find configurations that minimize the interstrip capacitances and consequent… ▽ More We present analytical calculations, Finite Element Analysis modeling, and physical measurements of the interstrip capacitances for different potential strip geometries and dimensions of the readout boards for the GE2/1 triple-Gas Electron Multiplier detector in the CMS muon system upgrade. The main goal of the study is to find configurations that minimize the interstrip capacitances and consequently maximize the signal-to-noise ratio for the detector. We find agreement at the 1.5--4.8% level between the two methods of calculations and on the average at the 17% level between calculations and measurements. A configuration with halved strip lengths and doubled strip widths results in a measured 27--29% reduction over the original configuration while leaving the total number of strips unchanged. We have now adopted this design modification for all eight module types of the GE2/1 detector and will produce the final detector with this new strip design. △ Less

Submitted 20 September, 2020; originally announced September 2020.

Comments: 22 pages, 14 figures

Journal ref: 2020 JINST 15 P12019

IDA: Improved Data Augmentation Applied to Salient Object Detection

Authors: Daniel V. Ruiz, Bruno A. Krinski, Eduardo Todt

Abstract: In this paper, we present an Improved Data Augmentation (IDA) technique focused on Salient Object Detection (SOD). Standard data augmentation techniques proposed in the literature, such as image crop**, rotation, flip**, and resizing, only generate variations of the existing examples, providing a limited generalization. Our method combines image inpainting, affine transformations, and the line… ▽ More In this paper, we present an Improved Data Augmentation (IDA) technique focused on Salient Object Detection (SOD). Standard data augmentation techniques proposed in the literature, such as image crop**, rotation, flip**, and resizing, only generate variations of the existing examples, providing a limited generalization. Our method combines image inpainting, affine transformations, and the linear combination of different generated background images with salient objects extracted from labeled data. Our proposed technique enables more precise control of the object's position and size while preserving background information. The background choice is based on an inter-image optimization, while object size follows a uniform random distribution within a specified interval, and the object position is intra-image optimal. We show that our method improves the segmentation quality when used for training state-of-the-art neural networks on several famous datasets of the SOD field. Combining our method with others surpasses traditional techniques such as horizontal-flip in 0.52% for F-measure and 1.19% for Precision. We also provide an evaluation in 7 different SOD datasets, with 9 distinct evaluation metrics and an average ranking of the evaluated methods. △ Less

Submitted 18 September, 2020; originally announced September 2020.

Comments: Accepted for presentation at SIBGRAPI 2020 - 33rd Conference on Graphics, Patterns and Images

Graded Index Confined Spin Waves in an Intermediate Domain Wall

Authors: D. Osuna Ruiz, A. P. Hibbins, F. Y. Ogrin

Abstract: We propose a mathematical model for describing propagating confined modes in domain walls of intermediate angle between domains. The proposed model is derived from the linearised Bloch equations of motion and after reasonable assumptions, in the scenario of a thick enough magnetic patch, are accounted. The model shows that there is a clear dependence of the local wavenumber of the confined spin wa… ▽ More We propose a mathematical model for describing propagating confined modes in domain walls of intermediate angle between domains. The proposed model is derived from the linearised Bloch equations of motion and after reasonable assumptions, in the scenario of a thick enough magnetic patch, are accounted. The model shows that there is a clear dependence of the local wavenumber of the confined spin wave on the local angle of the wall and excitation frequency used, which leads to the definition of a local index of refraction in the wall as a function of such angle and frequency. Therefore, the model applies to 1-D propagating modes, although it also has physical implications for 2-D scenarios where a domain wall merges with a saturated magnetic region. Micromagnetic simulations are in good agreement with the predictions of the model and also give insight on the effects of curved finite structures may have on the propagating characteristics of spin waves in domain walls. △ Less

Submitted 11 September, 2020; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 9 pages, 5 figures

Identifying meaningful clusters in malware data

Authors: Renato Cordeiro de Amorim, Carlos David Lopez Ruiz

Abstract: Finding meaningful clusters in drive-by-download malware data is a particularly difficult task. Malware data tends to contain overlap** clusters with wide variations of cardinality. This happens because there can be considerable similarity between malware samples (some are even said to belong to the same family), and these tend to appear in bursts. Clustering algorithms are usually applied to no… ▽ More Finding meaningful clusters in drive-by-download malware data is a particularly difficult task. Malware data tends to contain overlap** clusters with wide variations of cardinality. This happens because there can be considerable similarity between malware samples (some are even said to belong to the same family), and these tend to appear in bursts. Clustering algorithms are usually applied to normalised data sets. However, the process of normalisation aims at setting features with different range values to have a similar contribution to the clustering. It does not favour more meaningful features over those that are less meaningful, an effect one should perhaps expect of the data pre-processing stage. In this paper we introduce a method to deal precisely with the problem above. This is an iterative data pre-processing method capable of aiding to increase the separation between clusters. It does so by calculating the within-cluster degree of relevance of each feature, and then it uses these as a data rescaling factor. By repeating this until convergence our malware data was separated in clear clusters, leading to a higher average silhouette width. △ Less

Submitted 31 July, 2020; originally announced August 2020.

Visual Explanation for Identification of the Brain Bases for Dyslexia on fMRI Data

Authors: Laura Tomaz Da Silva, Nathalia Bianchini Esper, Duncan D. Ruiz, Felipe Meneguzzi, Augusto Buchweitz

Abstract: Brain imaging of mental health, neurodevelopmental and learning disorders has coupled with machine learning to identify patients based only on their brain activation, and ultimately identify features that generalize from smaller samples of data to larger ones. However, the success of machine learning classification algorithms on neurofunctional data has been limited to more homogeneous data sets o… ▽ More Brain imaging of mental health, neurodevelopmental and learning disorders has coupled with machine learning to identify patients based only on their brain activation, and ultimately identify features that generalize from smaller samples of data to larger ones. However, the success of machine learning classification algorithms on neurofunctional data has been limited to more homogeneous data sets of dozens of participants. More recently, larger brain imaging data sets have allowed for the application of deep learning techniques to classify brain states and clinical groups solely from neurofunctional features. Deep learning techniques provide helpful tools for classification in healthcare applications, including classification of structural 3D brain images. Recent approaches improved classification performance of larger functional brain imaging data sets, but they fail to provide diagnostic insights about the underlying conditions or provide an explanation from the neural features that informed the classification. We address this challenge by leveraging a number of network visualization techniques to show that, using such techniques in convolutional neural network layers responsible for learning high-level features, we are able to provide meaningful images for expert-backed insights into the condition being classified. Our results show not only accurate classification of developmental dyslexia from the brain imaging alone, but also provide automatic visualizations of the features involved that match contemporary neuroscientific knowledge, indicating that the visual explanations do help in unveiling the neurological bases of the disorder being classified. △ Less

Submitted 17 July, 2020; originally announced July 2020.

Comments: 19 pages, 7 Figures, submitted to Journal of Visualization