Showing 1–50 of 82 results for author: Baez, M

An Analytic Solution to the 3D CSC Dubins Path Problem

Authors: Victor M. Baez, Nikhil Navkar, Aaron T. Becker

Abstract: We present an analytic solution to the 3D Dubins path problem for paths composed of an initial circular arc, a straight component, and a final circular arc. These are commonly called CSC paths. By modeling the start and goal configurations of the path as the base frame and final frame of an RRPRR manipulator, we treat this as an inverse kinematics problem. The kinematic features of the 3D Dubins p… ▽ More We present an analytic solution to the 3D Dubins path problem for paths composed of an initial circular arc, a straight component, and a final circular arc. These are commonly called CSC paths. By modeling the start and goal configurations of the path as the base frame and final frame of an RRPRR manipulator, we treat this as an inverse kinematics problem. The kinematic features of the 3D Dubins path are built into the constraints of our manipulator model. Furthermore, we show that the number of solutions is not constant, with up to seven valid CSC path solutions even in non-singular regions. An implementation of solution is available at https://github.com/aabecker/dubins3D. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 7 pages, 8 figures, presented at IEEE ICRA https://2024.ieee-icra.org/ 2024 IEEE International Conference on Robotics and Automation in PACIFICO Yokohama May 13th to 17th, 2024

MSC Class: 70B15

Navigating the phase diagram of quantum many-body systems in phase space

Authors: Khadija El Hawary, Mohamed Azzouz, Morad El Baz, Sebastian Deffner, Bartłomiej Gardas, Zakaria Mzaouali

Abstract: We demonstrate the unique capabilities of the Wigner function, particularly in its positive and negative parts, for exploring the phase diagram of the spin$-(\frac{1}{2\!}-\!\frac{1}{2})$ and spin$-(\frac{1}{2}\!-\!1)$ Ising-Heisenberg chains. We highlight the advantages and limitations of the phase space approach in comparison with the entanglement concurrence in detecting phase boundaries. We es… ▽ More We demonstrate the unique capabilities of the Wigner function, particularly in its positive and negative parts, for exploring the phase diagram of the spin$-(\frac{1}{2\!}-\!\frac{1}{2})$ and spin$-(\frac{1}{2}\!-\!1)$ Ising-Heisenberg chains. We highlight the advantages and limitations of the phase space approach in comparison with the entanglement concurrence in detecting phase boundaries. We establish that the equal angle slice approximation in the phase space is an effective method for capturing the essential features of the phase diagram, but falls short in accurately assessing the negativity of the Wigner function for the homogeneous spin$-(\frac{1}{2}\!-\!\frac{1}{2})$ Ising-Heisenberg chain. In contrast, we find for the inhomogeneous spin$-(\frac{1}{2}\!-\!1)$ chain that an integral over the entire phase space is necessary to accurately capture the phase diagram of the system. This distinction underscores the sensitivity of phase space methods to the homogeneity of the quantum system under consideration. △ Less

Submitted 4 May, 2024; originally announced May 2024.

Comments: 15 pages, 6 figures

ALMA Observations of Molecular Line Emission from High-excitation Bipolar Planetary Nebulae

Authors: Paula Moraga Baez, Joel H. Kastner, Jesse Bublitz, Javier Alcolea, Miguel Santander-Garcia, Thierry Forveille, Pierre Hily-Blant, Bruce Balick, Rodolfo Montez Jr., Caroline Gieser

Abstract: We present early results from our program of ALMA Band 6 (1.3mm) molecular line map** of a sample of nearby, well-studied examples of high-excitation, bipolar/pinched-waist and molecule-rich planetary nebulae (Hubble 5 and NGC 2440, 2818, 2899, 6302, and 6445). We have mapped these planetary nebulae (PNe) in isotopologues of CO as well as various molecular line tracers of high-energy irradiation… ▽ More We present early results from our program of ALMA Band 6 (1.3mm) molecular line map** of a sample of nearby, well-studied examples of high-excitation, bipolar/pinched-waist and molecule-rich planetary nebulae (Hubble 5 and NGC 2440, 2818, 2899, 6302, and 6445). We have mapped these planetary nebulae (PNe) in isotopologues of CO as well as various molecular line tracers of high-energy irradiation, such as HCN, CN, HNC, and HCO+, with the complementary goals of establishing nebular kinematics as well as the zones of UV-heated and X-ray-ionized molecular gas within each nebula. The resulting high-resolution ALMA molecular emission-line maps reveal the regions of high-excitation bipolar PNe in which molecular gas, presumably ejected during asymptotic giant branch stages of the PN progenitor stars, survives and evolves chemically. We present a summary of molecular species detected to date in the sample nebulae, and we use example results for one PN (NGC 6455) to demonstrate the power of the ALMA data in revealing the structures, kinematics, and compositions of the equatorial molecular tori that are a common feature of the sample objects. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: 6 pages, 4 figures, accepted for IAU Proceedings Series (IAUS 384)

Minimum-Time Planar Paths with up to Two Constant Acceleration Inputs and $L_2$ Velocity and Acceleration Constraints

Authors: Victor M. Baez, Haoran Zhao, Nihal Abdurahiman, Nikhil V. Navkar, Aaron T. Becker

Abstract: Given starting and ending positions and velocities, $L_2$ bounds on the acceleration and velocity, and the restriction to no more than two constant control inputs, this paper provides routines to compute the minimal-time path. Closed form solutions are provided for reaching a position in minimum time with and without a velocity bound, and for stop** at the goal position. A numeric solver is us… ▽ More Given starting and ending positions and velocities, $L_2$ bounds on the acceleration and velocity, and the restriction to no more than two constant control inputs, this paper provides routines to compute the minimal-time path. Closed form solutions are provided for reaching a position in minimum time with and without a velocity bound, and for stop** at the goal position. A numeric solver is used to reach a goal position and velocity with no more than two constant control inputs. If a cruising phase at the terminal velocity is needed, this requires solving a non-linear equation with a single parameter. Code is provided on GitHub at https://github.com/RoboticSwarmControl/MinTimeL2pathsConstraints. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 8 pages, 8 figures, accepted for presentation at ACC 2024, https://acc2024.a2c2.org/

The Molecular Exoskeleton of the Ring-like Planetary Nebula NGC 3132

Authors: Joel H. Kastner, David Wilner, Paula Moraga Baez, Jesse Bublitz, Orsola De Marco, Raghvendra Sahai, Al Wootten

Abstract: We present Submillimeter Array (SMA) map** of $^{12}$CO $J=2\rightarrow 1$, $^{13}$CO $J=2\rightarrow 1$, and CN $N=2\rightarrow 1$ emission from the Ring-like planetary nebula (PN) NGC 3132, one of the subjects of JWST Early Release Observation (ERO) near-infrared imaging. The $\sim$5$''$ resolution SMA data demonstrate that the Southern Ring's main, bright, molecule-rich ring is indeed an expa… ▽ More We present Submillimeter Array (SMA) map** of $^{12}$CO $J=2\rightarrow 1$, $^{13}$CO $J=2\rightarrow 1$, and CN $N=2\rightarrow 1$ emission from the Ring-like planetary nebula (PN) NGC 3132, one of the subjects of JWST Early Release Observation (ERO) near-infrared imaging. The $\sim$5$''$ resolution SMA data demonstrate that the Southern Ring's main, bright, molecule-rich ring is indeed an expanding ring, as opposed to a limb-brightened shell, in terms of its intrinsic (physical) structure. This suggests that NGC 3132 is a bipolar nebula viewed more or less pole-on (inclination $\sim$15--30$^\circ$). The SMA data furthermore reveal that the nebula harbors a second expanding molecular ring that is aligned almost orthogonally to the main, bright molecular ring. We propose that this two-ring structure is the remnant of an ellipsoidal molecular envelope of ejecta that terminated the progenitor star's asymptotic giant branch evolution and was subsequently disrupted by a series of misaligned fast, collimated outflows or jets resulting from interactions between the progenitor and one or more companions. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 20 pages, 12 figures; accepted by The Astrophysical Journal

Epsilon Calculus Provides Shorter Cut-Free Proofs

Authors: Matthias Baaz, Anela Lolic

Abstract: In this paper we show that cut-free derivations in the epsilon format of sequent calculus provide for a non-elementary speed-up w.r.t. cut-free proofs in usual sequent calculi in first-order language. In this paper we show that cut-free derivations in the epsilon format of sequent calculus provide for a non-elementary speed-up w.r.t. cut-free proofs in usual sequent calculi in first-order language. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Fast Posterior Probability Sampling with Normalizing Flows and Its Applicability in Bayesian analysis in Particle Physics

Authors: Mathias El Baz, Federico Sánchez

Abstract: In this study, we use Rational-Quadratic Neural Spline Flows, a sophisticated parametrization of Normalizing Flows, for inferring posterior probability distributions in scenarios where direct evaluation of the likelihood is challenging at inference time. We exemplify this approach using the T2K near detector as a working example, focusing on learning the posterior probability distribution of neutr… ▽ More In this study, we use Rational-Quadratic Neural Spline Flows, a sophisticated parametrization of Normalizing Flows, for inferring posterior probability distributions in scenarios where direct evaluation of the likelihood is challenging at inference time. We exemplify this approach using the T2K near detector as a working example, focusing on learning the posterior probability distribution of neutrino flux binned in neutrino energy. The predictions of the trained model are conditioned at inference time by the momentum and angle of the outgoing muons released after neutrino-nuclei interaction. This conditioning allows for the generation of personalized posterior distributions, tailored to the muon observables, all without necessitating a full retraining of the model for each new dataset. The performances of the model are studied for different shapes of the posterior distributions. △ Less

Submitted 25 January, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: This article was published in Physical Review D

A Simulation of the Photoionization of H- Together with the Subsequent Tracking of the Liberated Electrons

Authors: R. Thurman-Keup, M. El Baz, V. Scarpine

Abstract: The Proton Improvement Plan - II (PIP-II) is a new linear accelerator (LINAC) complex being built at Fermilab. It is based on superconducting radiofrequency cavities and will accelerate H- ions to 800 MeV kinetic energy before injection into the existing Booster ring. Measurements of the profile of the beam along the LINAC must be done by non-intercepting methods due to the superconducting cavitie… ▽ More The Proton Improvement Plan - II (PIP-II) is a new linear accelerator (LINAC) complex being built at Fermilab. It is based on superconducting radiofrequency cavities and will accelerate H- ions to 800 MeV kinetic energy before injection into the existing Booster ring. Measurements of the profile of the beam along the LINAC must be done by non-intercepting methods due to the superconducting cavities. The method chosen is photoionization of a small number of H- by a focused infrared laser, aka laserwire. The number of ionized electrons is measured as a function of laser position within the H- beam. To aid in the design of the collection mechanism, a simulation was written in MATLAB with input from the commercial electromagnetic simulation, CST. This simulation calculates the number and positions of the liberated electrons and tracks them through the magnetic collection and H- beam fields to the collection point. Results from this simulation for various points along the LINAC will be shown. △ Less

Submitted 4 October, 2023; originally announced October 2023.

Comments: 12th international beam instrumentation conference

Report number: FERMILAB-CONF-23-466-AD

IoT-Based Water Quality Assessment System for Industrial Waste WaterHealthcare Perspective

Authors: Abdur Rab Dhruba, Kazi Nabiul Alam, Md. Shakib Khan, Sananda Saha, Mohammad Monirujjaman Khan, Mohammed Baz, Mehedi Masud, Mohammed A. AlZain

Abstract: The environment, especially water, gets polluted due to industrialization and urbanization. Pollution due to industrialization and urbanization has harmful effects on both the environment and the lives on Earth. This polluted water can cause food poisoning, diarrhea, short-term gastrointestinal problems, respiratory diseases, skin problems, and other serious health complications. In a develo** c… ▽ More The environment, especially water, gets polluted due to industrialization and urbanization. Pollution due to industrialization and urbanization has harmful effects on both the environment and the lives on Earth. This polluted water can cause food poisoning, diarrhea, short-term gastrointestinal problems, respiratory diseases, skin problems, and other serious health complications. In a develo** country like Bangladesh, where ready-made garments sector is one of the major sources of the total Gross Domestic Product (GDP), most of the wastes released from the garment factories are dumped into the nearest rivers or canals. Hence, the quality of the water of these bodies become very incompatible for the living beings, and so, it has become one of the major threats to the environment and human health. In addition, the amount of fish in the rivers and canals in Bangladesh is decreasing day by day as a result of water pollution. Therefore, to save fish and other water animals and the environment, we need to monitor the quality of the water and find out the reasons for the pollution. Real-time monitoring of the quality of water is vital for controlling water pollution. Most of the approaches for controlling water pollution are mainly biological and lab-based, which takes a lot of time and resources. To address this issue, we developed an Internet of Things (IoT)-based real-time water quality monitoring system, integrated with a mobile application. The proposed system in this research measures some of the most important indexes of water, including the potential of hydrogen (pH), total dissolved solids (TDS), and turbidity, and temperature of water. The proposed system results will be very helpful in saving the environment, and thus, improving the health of living creatures on Earth. △ Less

Submitted 26 March, 2023; originally announced April 2023.

NGC 6302: The Tempestuous Life of a Butterfly

Authors: Bruce Balick, Lars Borchert, Joel H. Kastner, Adam Frank, Eric Blackman, Jason Nordhaus, Paula Moraga Baez

Abstract: NGC 6302 (The ''Butterfly Nebula'') is an extremely energetic bipolar nebula whose central star is among the most massive, hottest, and presumably rapidly evolving of all central stars of planetary nebulae. Our proper-motion study of NGC 6302, based on excellent HST WFC3 images spanning 11 yr, has uncovered at least four different pairs of expanding internal lobes that were ejected at various time… ▽ More NGC 6302 (The ''Butterfly Nebula'') is an extremely energetic bipolar nebula whose central star is among the most massive, hottest, and presumably rapidly evolving of all central stars of planetary nebulae. Our proper-motion study of NGC 6302, based on excellent HST WFC3 images spanning 11 yr, has uncovered at least four different pairs of expanding internal lobes that were ejected at various times over the past two millennia at speeds ranging from 10 to 600 km s^-1. In addition, we find a pair of off-axis flows in constant motion at 760 +/- 100 km s^-1 within which bright [Fe II] feathers are conspicuous. Combining our results with those previously published, we find that the ensemble of flows has an ionized mass > 0.1 M_sun. The kinetic energy of the ensemble, 10^46 - 10^48 ergs, lies at the upper end of gravity-powered processes such as stellar mergers or mass accretion and is too large to be explained by stellar radiation pressure or convective ejections. The structure and dynamics of the Butterfly Nebula suggests that its central engine has had a remarkable history, and the highly unusual patterns of growth within its wings challenge our current understanding of late stellar mass ejection. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Comments: 17 pages, 3 figures, 1 table

Walking Down the Road to Independent Mobility: An Adaptive Route Training System for the Cognitively Impaired

Authors: Konstantin Rink, Tristan Gruschka, Patrick Palsbröker, Marcos Baez, Dominic Becking, Udo Seelmeyer, Gudrun Dobslaw, Patricia Stolz

Abstract: In this paper we describe the design and development of a route training system for individuals with cognitive impairments (CIs) living in residential care facilities. Learning to move autonomously in public spaces is a fundamental skill for people with CI, who face several challenges to independently and safely move around. Yet, exploring opportunities for route training support, especially in re… ▽ More In this paper we describe the design and development of a route training system for individuals with cognitive impairments (CIs) living in residential care facilities. Learning to move autonomously in public spaces is a fundamental skill for people with CI, who face several challenges to independently and safely move around. Yet, exploring opportunities for route training support, especially in residential settings, has received very little attention. To explore these opportunities, we followed a design and development process based on inclusive design practices that considered the organisational context and aimed at involving people with CI in the software design. To ensure our solution addressed the identified needs and abilities of this heterogeneous population, we further framed the route training definition as a design process that is enacted by the system, making the trainer and user co-creators of a personalised training. In this paper we report on the needs and challenges for mobility training in residential settings, introduce the design and formative evaluation of the route training system, to conclude with reflections and considerations on our methodological approach. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: This is a post-peer-review, pre-copyedit version of an article accepted to the "Software Engineering in Society" (SEIS) track of the 45th Internationl Conference on Software Engineering, ICSE 2023

The messy death of a multiple star system and the resulting planetary nebula as observed by JWST

Authors: Orsola De Marco, Muhammad Akashi, Stavros Akras, Javier Alcolea, Isabel Aleman, Philippe Amram, Bruce Balick, Elvire De Beck, Eric G. Blackman, Henri M. J. Boffin, Panos Boumis, Jesse Bublitz, Beatrice Bucciarelli, Valentin Bujarrabal, Jan Cami, Nicholas Chornay, You-Hua Chu, Romano L. M. Corradi, Adam Frank, Guillermo Garcia-Segura, D. A. Garcia-Hernandez, Jorge Garcia-Rojas, Veronica Gomez-Llanos, Denise R. Goncalves, Martin A. Guerrero , et al. (44 additional authors not shown)

Abstract: Planetary nebulae (PNe), the ejected envelopes of red giant stars, provide us with a history of the last, mass-losing phases of 90 percent of stars initially more massive than the Sun. Here, we analyse James Webb Space Telescope (JWST) Early Release Observation (ERO) images of the PN NGC3132. A structured, extended H2 halo surrounding an ionised central bubble is imprinted with spiral structures,… ▽ More Planetary nebulae (PNe), the ejected envelopes of red giant stars, provide us with a history of the last, mass-losing phases of 90 percent of stars initially more massive than the Sun. Here, we analyse James Webb Space Telescope (JWST) Early Release Observation (ERO) images of the PN NGC3132. A structured, extended H2 halo surrounding an ionised central bubble is imprinted with spiral structures, likely shaped by a low-mass companion orbiting the central star at 40-60 AU. The images also reveal a mid-IR excess at the central star interpreted as a dusty disk, indicative of an interaction with another, closer companion. Including the previously known, A-type visual companion, the progenitor of the NGC3132 PN must have been at least a stellar quartet. The JWST images allow us to generate a model of the illumination, ionisation and hydrodynamics of the molecular halo, demonstrating the power of JWST to investigate complex stellar outflows. Further, new measurements of the A-type visual companion allow us to derive the value for the mass of the progenitor of a central star to date with excellent precision: 2.86+/-0.06 Mo. These results serve as path finders for future JWST observations of PNe providing unique insight into fundamental astrophysical processes including colliding winds, and binary star interactions, with implications for supernovae and gravitational wave systems. △ Less

Submitted 6 January, 2023; originally announced January 2023.

Comments: 32 pages, 5 figures for the main article. 12 pages 8 figures for the supplementary material

Journal ref: Nature Astronomy, 2022, Vol. 6, p. 1421

Long Distance Entanglement and High-Dimensional Quantum Teleportation in The Fermi-Hubbard Model

Authors: Sanaa Abaach, Zakaria Mzaouali, Morad El Baz

Abstract: The long distance entanglement in finite size open Fermi-Hubbard chains, together with the end-to-end quantum teleportation are investigated. We show the peculiarity of the ground state of the Fermi-Hubbard model to support maximum long distance entanglement, which allows it to operate as a quantum resource for high fidelity long distance quantum teleportation. We determine the physical properties… ▽ More The long distance entanglement in finite size open Fermi-Hubbard chains, together with the end-to-end quantum teleportation are investigated. We show the peculiarity of the ground state of the Fermi-Hubbard model to support maximum long distance entanglement, which allows it to operate as a quantum resource for high fidelity long distance quantum teleportation. We determine the physical properties and conditions for creating scalable long distance entanglement and analyze its stability under the effect of the Coulomb interaction and the hop** amplitude. Furthermore, we show that the choice of the measurement basis in the protocol can drastically affect the fidelity of quantum teleportation and we argue that perfect information transfer can be attained by choosing an adequate basis reflecting the salient properties of the quantum channel, i.e. Hubbard projective measurements. △ Less

Submitted 31 October, 2022; originally announced October 2022.

Comments: 12 pages, 5 figures

Engineered second-order nonlinearity in silicon nitride

Authors: Yi Zhang, Juniyali Nauriyal, Meiting Song, Marissa Granados Baez, Xiaotong He, Timothy MacDonald, Jaime Cardenas

Abstract: The lack of a bulk second-order nonlinearity (\c{hi}(2)) in silicon nitride (Si3N4) keeps this low-loss, CMOS-compatible platform from key active functions such as Pockels electro-optic (EO) modulation and efficient second harmonic generation (SHG). We demonstrate a successful induction of \c{hi}(2) in Si3N4 through electrical poling with an externally-applied field to align the Si-N bonds. This a… ▽ More The lack of a bulk second-order nonlinearity (\c{hi}(2)) in silicon nitride (Si3N4) keeps this low-loss, CMOS-compatible platform from key active functions such as Pockels electro-optic (EO) modulation and efficient second harmonic generation (SHG). We demonstrate a successful induction of \c{hi}(2) in Si3N4 through electrical poling with an externally-applied field to align the Si-N bonds. This alignment breaks the centrosymmetry of Si3N4, and enables the bulk \c{hi}(2). The sample is heated to over 500°C to facilitate the poling. The comparison between the EO responses of poled and non-poled Si3N4, measured using a Si3N4 micro-ring modulator, shows at least a 25X enhancement in the r33 EO component. The maximum \c{hi}(2) we obtain through poling is 0.24pm/V. We observe a remarkable improvement in the speed of the measured EO responses from 3GHz to 15GHz (3dB bandwidth) after the poling, which confirms the \c{hi}(2) nature of the EO response induced by poling. This work paves the way for high-speed active functions on the Si3N4 platform. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 9 pages, 4 figures. This work is accepted at Frontier in Optics + Laser Science (FiOLS) 2022 (FW7E.2)

General Classification of Entanglement Using Machine Learning

Authors: F. El Ayachi, M. El Baz

Abstract: A classification of multipartite entanglement in qubit systems is introduced for pure and mixed states. The classification is based on the robustness of the said entanglement against partial trace operation. Then we use current machine learning and deep learning techniques to automatically classify a random state of two, three and four qubits without the need to compute the amount of the different… ▽ More A classification of multipartite entanglement in qubit systems is introduced for pure and mixed states. The classification is based on the robustness of the said entanglement against partial trace operation. Then we use current machine learning and deep learning techniques to automatically classify a random state of two, three and four qubits without the need to compute the amount of the different types of entanglement in each run; rather this is done only in the learning process. The technique shows high, near perfect, accuracy in the case of pure states. As expected, this accuracy drops, more or less, when dealing with mixed states and when increasing the number of parties involved. △ Less

Submitted 14 October, 2022; originally announced October 2022.

Panchromatic HST/WFC3 Imaging Studies of Young, Rapidly Evolving Planetary Nebulae. II. NGC 7027

Authors: Paula Moraga Baez, Joel H. Kastner, Bruce Balick, Rodolfo Montez Jr., Jesse Bublitz

Abstract: The iconic planetary nebula (PN) NGC 7027 is bright, nearby (D ~ 1 kpc), highly ionized, intricately structured, and well observed. This nebula is hence an ideal case study for understanding PN sha** and evolution processes. Accordingly, we have conducted a comprehensive imaging survey of NGC 7027 comprised of twelve HST Wide Field Camera 3 images in narrow-band and continuum filters spanning th… ▽ More The iconic planetary nebula (PN) NGC 7027 is bright, nearby (D ~ 1 kpc), highly ionized, intricately structured, and well observed. This nebula is hence an ideal case study for understanding PN sha** and evolution processes. Accordingly, we have conducted a comprehensive imaging survey of NGC 7027 comprised of twelve HST Wide Field Camera 3 images in narrow-band and continuum filters spanning the wavelength range 0.243--1.67 microns. The resulting panchromatic image suite reveals the spatial distributions of emission lines covering low-ionization species such as singly ionized Fe, N, and Si, through H recombination lines, to more highly ionized O and Ne. These images, combined with available X-ray and radio data, provide the most extensive view of the structure of NGC 7027 obtained to date. Among other findings, we have traced the ionization structure and dust extinction within the nebula in sub-arcsecond detail; uncovered multipolar structures actively driven by collimated winds that protrude through and beyond the PN's bright inner core; compared the ionization patterns in the WFC3 images to X-ray and radio images of its interior hot gas and to its molecular outflows; pinpointed the loci of thin, shocked interfaces deep inside the nebula; and more precisely characterized the central star. We use these results to describe the recent history of this young and rapidly evolving PN in terms of a series of sha** events. This evolutionary sequence involves both thermal and ram pressures, and is far more complex than predicted by extant models of UV photoionization or winds from a single central progenitor star, thereby highlighting the likely influence of an unseen binary companion. △ Less

Submitted 29 November, 2022; v1 submitted 4 October, 2022; originally announced October 2022.

Comments: ApJ, in press; 26 pages, 13 figures, 2 tables

Mirrors-light-atoms entanglement in ring optomechanical cavity

Authors: Oumayma El Bir, Morad El Baz

Abstract: The present paper illustrates the realization of an atom-optomechanical system where an atomic ensemble is confined in a ring optomechanical cavity consisting of a fixed mirror and two movable ones. An analysis of the dynamics and the linearization of the equations allows to derive the multimode covariance matrix. Under realistic experimental conditions, we numerically simulate the steady-state bi… ▽ More The present paper illustrates the realization of an atom-optomechanical system where an atomic ensemble is confined in a ring optomechanical cavity consisting of a fixed mirror and two movable ones. An analysis of the dynamics and the linearization of the equations allows to derive the multimode covariance matrix. Under realistic experimental conditions, we numerically simulate the steady-state bipartite and tripartite continuous variable entanglement using the logarithmic negativity, and analyze the shared entanglement in the multimode system. The introduction of the atomic medium allows to obtain a larger plateau for the entanglement and make more resilient to the temperature decohering effects. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Comments: 24 pages, 6 figures, submitted to Applied physics B

Phenomenological inflationary model in Supersymmetric Quantum Cosmology

Authors: N. E. Martínez-Pérez, C. Ramírez, V. M. Vázquez Báez

Abstract: We consider the effective evolution of a phenomenological model from FLRW supersymmetric quantum cosmology with a scalar field. The scalar field acts as a clock and inflaton. We examine a family of simple superpotentials that produce an inflation whose virtual effect on inhomogeneous fluctuations shows very good agreement with PLANCK observational evidence for the tensor-to-scalar ratio and the sc… ▽ More We consider the effective evolution of a phenomenological model from FLRW supersymmetric quantum cosmology with a scalar field. The scalar field acts as a clock and inflaton. We examine a family of simple superpotentials that produce an inflation whose virtual effect on inhomogeneous fluctuations shows very good agreement with PLANCK observational evidence for the tensor-to-scalar ratio and the scalar spectral index. △ Less

Submitted 8 August, 2022; originally announced August 2022.

Comments: 14 pages, 6 figures. arXiv admin note: text overlap with arXiv:2104.12914

Journal ref: Universe 2021, Vol. 8, 414

Mutually Unbiased Bases In 3 and 4 Dimensions Semi-quantum Key Distribution Protocol

Authors: Hasnaa Hajji, Morad El Baz

Abstract: Semi-quantum key distribution is traditionally based on two-level quantum systems. In this paper, an unconditional security of a semi quantum key distribution protocol based on higher-dimensional systems using various mutually unbiased bases is presented. We first consider the three dimensional case using three and four mutually unbiased bases and derive a lower bound for the key rate as a functio… ▽ More Semi-quantum key distribution is traditionally based on two-level quantum systems. In this paper, an unconditional security of a semi quantum key distribution protocol based on higher-dimensional systems using various mutually unbiased bases is presented. We first consider the three dimensional case using three and four mutually unbiased bases and derive a lower bound for the key rate as a function of the quantum channel's noise. We then generalize the result to a semi-quantum key distribution protocol that employs different number of mutually unbiased bases for four-dimensional states. It is found that basing the semi-quantum key distribution protocol on higher-dimensional mutually unbiased bases can increase the tolerable threshold of the noise and the maximum achievable value of the secret key rate. △ Less

Submitted 6 August, 2022; originally announced August 2022.

Comments: 13 pages, 4 figures

Journal ref: Physics Letters A 426 (2022) 127884

Long range entanglement in quantum dot systems under the Fermi-Hubbard approach

Authors: Sanaa Abaach, Mustapha Faqir, Morad EL Baz

Abstract: In the present paper we are interested in analyzing the pairwise entanglement in quantum dots, as ququart systems, naturally described by the Fermi-Hubbard model. Using the lower bound of concurrence we show the effect of the Coulomb interaction on the pairwise entanglement and creating entanglement within the pairs. Specifically, it is shown that the range of entanglement can be extended to the t… ▽ More In the present paper we are interested in analyzing the pairwise entanglement in quantum dots, as ququart systems, naturally described by the Fermi-Hubbard model. Using the lower bound of concurrence we show the effect of the Coulomb interaction on the pairwise entanglement and creating entanglement within the pairs. Specifically, it is shown that the range of entanglement can be extended to the third neighboring site for a system size of $L=4$, while for $L>4$ the range could be created and extended to the third neighboring site by means of the Coulomb interaction. A rigorous description of the pairs is given in terms of a local half filled state associated to each pair with an electron number $N=2$ and a spin $S=0$. A thorough study of this state provides a proper explanation related to the pairwise entanglement, namely its amount and its behavior under the effect of the Coulomb interaction as well as the system's size. △ Less

Submitted 14 April, 2022; originally announced April 2022.

Pairwise quantum correlations in four-level quantum dot systems

Authors: Sanaa Abaach, Mustapha Faqir, Morad El Baz

Abstract: In this paper we assume quantum dots can be assimilated to Fermi Hubbard sites when the Coulomb interaction between electrons is higher compared to their tunneling. The study of pairwise entanglement in a small size array of quantum dots allows to model each pair as a quadrit-quadrit system (4 $\times$ 4 mixed state) instead of the more common and simplistic approach of describing it in quantum in… ▽ More In this paper we assume quantum dots can be assimilated to Fermi Hubbard sites when the Coulomb interaction between electrons is higher compared to their tunneling. The study of pairwise entanglement in a small size array of quantum dots allows to model each pair as a quadrit-quadrit system (4 $\times$ 4 mixed state) instead of the more common and simplistic approach of describing it in quantum information as a qubit-qubit system. We study the effect of Coulomb interaction and temperature on pairwise entanglement as well as on quantum coherence and total correlations. The crucial results of this study are that entanglement resists better the increase in temperature when the Coulomb interaction is stronger. Moreover, we successfully explain the behavior of these correlations in terms of the energy spectrum, namely the ground state degeneracy and the state energy difference. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Crowdsourcing Diverse Paraphrases for Training Task-oriented Bots

Authors: Jorge Ramírez, Auday Berro, Marcos Baez, Boualem Benatallah, Fabio Casati

Abstract: A prominent approach to build datasets for training task-oriented bots is crowd-based paraphrasing. Current approaches, however, assume the crowd would naturally provide diverse paraphrases or focus only on lexical diversity. In this WiP we addressed an overlooked aspect of diversity, introducing an approach for guiding the crowdsourcing process towards paraphrases that are syntactically diverse. A prominent approach to build datasets for training task-oriented bots is crowd-based paraphrasing. Current approaches, however, assume the crowd would naturally provide diverse paraphrases or focus only on lexical diversity. In this WiP we addressed an overlooked aspect of diversity, introducing an approach for guiding the crowdsourcing process towards paraphrases that are syntactically diverse. △ Less

Submitted 20 September, 2021; originally announced September 2021.

Comments: HCOMP 2021 Works-in-progress & Demonstrations

On the state of reporting in crowdsourcing experiments and a checklist to aid current practices

Authors: Jorge Ramírez, Burcu Sayin, Marcos Baez, Fabio Casati, Luca Cernuzzi, Boualem Benatallah, Gianluca Demartini

Abstract: Crowdsourcing is being increasingly adopted as a platform to run studies with human subjects. Running a crowdsourcing experiment involves several choices and strategies to successfully port an experimental design into an otherwise uncontrolled research environment, e.g., sampling crowd workers, map** experimental conditions to micro-tasks, or ensure quality contributions. While several guideline… ▽ More Crowdsourcing is being increasingly adopted as a platform to run studies with human subjects. Running a crowdsourcing experiment involves several choices and strategies to successfully port an experimental design into an otherwise uncontrolled research environment, e.g., sampling crowd workers, map** experimental conditions to micro-tasks, or ensure quality contributions. While several guidelines inform researchers in these choices, guidance of how and what to report from crowdsourcing experiments has been largely overlooked. If under-reported, implementation choices constitute variability sources that can affect the experiment's reproducibility and prevent a fair assessment of research outcomes. In this paper, we examine the current state of reporting of crowdsourcing experiments and offer guidance to address associated reporting issues. We start by identifying sensible implementation choices, relying on existing literature and interviews with experts, to then extensively analyze the reporting of 171 crowdsourcing experiments. Informed by this process, we propose a checklist for reporting crowdsourcing experiments. △ Less

Submitted 9 September, 2021; v1 submitted 28 July, 2021; originally announced July 2021.

Comments: Accepted to CSCW 2021

On the negativity of the Wigner function as a measure of entanglement under quantum polarization converter devices

Authors: Mustapha Ziane, Morad El Baz

Abstract: We study the behaviour of the Negativity of Wigner Function (NWF) as a measure of entanglement in non-Gaussian states under quantum polarisation converter devices. We analyze comparatively this quantity with other measures of entanglement in a system prepared in a superposition of two-mode coherent states. We show that the (WF) can be identified as a quantifier of non-Gaussian entanglement. We study the behaviour of the Negativity of Wigner Function (NWF) as a measure of entanglement in non-Gaussian states under quantum polarisation converter devices. We analyze comparatively this quantity with other measures of entanglement in a system prepared in a superposition of two-mode coherent states. We show that the (WF) can be identified as a quantifier of non-Gaussian entanglement. △ Less

Submitted 22 January, 2021; originally announced January 2021.

Work statistics and symmetry breaking in an excited state quantum phase transition

Authors: Zakaria Mzaouali, Ricardo Puebla, John Goold, Morad El Baz, Steve Campbell

Abstract: We examine how the presence of an excited state quantum phase transition manifests in the dynamics of a many-body system subject to a sudden quench. Focusing on the Lipkin-Meshkov-Glick model initialized in the ground state of the ferromagnetic phase, we demonstrate that the work probability distribution displays non-Gaussian behavior for quenches in the vicinity of the excited state critical poin… ▽ More We examine how the presence of an excited state quantum phase transition manifests in the dynamics of a many-body system subject to a sudden quench. Focusing on the Lipkin-Meshkov-Glick model initialized in the ground state of the ferromagnetic phase, we demonstrate that the work probability distribution displays non-Gaussian behavior for quenches in the vicinity of the excited state critical point. Furthermore, we show that the entropy of the diagonal ensemble is highly susceptible to critical regions, making it a robust and practical indicator of the associated spectral characteristics. We assess the role that symmetry breaking has on the ensuing dynamics, highlighting that its effect is only present for quenches beyond the critical point. Finally, we show that similar features persist when the system is initialized in an excited state and briefly explore the behavior for initial states in the paramagnetic phase. △ Less

Submitted 29 March, 2021; v1 submitted 13 January, 2021; originally announced January 2021.

Comments: 8 pages, 6 figures. Minor revision and references updated

Journal ref: Phys. Rev. E 103, 032145 (2021)

Qutrit-based semi-quantum key distribution protocol

Authors: Hasnaa Hajji, Morad El Baz

Abstract: This article provides the unconditional security of a semi quantum key distribution (SQKD) protocol based on 3-dimensional quantum states. By deriving a lower bound for the key rate, in the asymptotic scenario, as a function of the quantum channel's noise, we find that this protocol has improved secret key rate with much more tolerance for noise compared to the previous 2-dimensional SQKD protocol… ▽ More This article provides the unconditional security of a semi quantum key distribution (SQKD) protocol based on 3-dimensional quantum states. By deriving a lower bound for the key rate, in the asymptotic scenario, as a function of the quantum channel's noise, we find that this protocol has improved secret key rate with much more tolerance for noise compared to the previous 2-dimensional SQKD protocol. Our results highlight that, similar to the fully quantum key distribution protocol, increasing the dimension of the system can increase the noise tolerance in the semi-quantum key distribution, as well. △ Less

Submitted 7 January, 2021; originally announced January 2021.

Comments: 16 pages, 4 figures

Journal ref: Quantum Information Processing 20, 4 (2021)

On how Cognitive Computing will plan your next Systematic Review

Authors: Maisie Badami, Marcos Baez, Shayan Zamanirad, Wei Kang

Abstract: Systematic literature reviews (SLRs) are at the heart of evidence-based research, setting the foundation for future research and practice. However, producing good quality timely contributions is a challenging and highly cognitive endeavor, which has lately motivated the exploration of automation and support in the SLR process. In this paper we address an often overlooked phase in this process, tha… ▽ More Systematic literature reviews (SLRs) are at the heart of evidence-based research, setting the foundation for future research and practice. However, producing good quality timely contributions is a challenging and highly cognitive endeavor, which has lately motivated the exploration of automation and support in the SLR process. In this paper we address an often overlooked phase in this process, that of planning literature reviews, and explore under the lenses of cognitive process augmentation how to overcome its most salient challenges. In doing so, we report on the insights from 24 SLR authors on planning practices, its challenges as well as feedback on support strategies inspired by recent advances in cognitive computing. We frame our findings under the cognitive augmentation framework, and report on a prototype implementation and evaluation focusing on further informing the technical feasibility. △ Less

Submitted 15 December, 2020; originally announced December 2020.

Bringing Cognitive Augmentation to Web Browsing Accessibility

Authors: Alessandro Pina, Marcos Baez, Florian Daniel

Abstract: In this paper we explore the opportunities brought by cognitive augmentation to provide a more natural and accessible web browsing experience. We explore these opportunities through \textit{conversational web browsing}, an emerging interaction paradigm for the Web that enables blind and visually impaired users (BVIP), as well as regular users, to access the contents and features of websites throug… ▽ More In this paper we explore the opportunities brought by cognitive augmentation to provide a more natural and accessible web browsing experience. We explore these opportunities through \textit{conversational web browsing}, an emerging interaction paradigm for the Web that enables blind and visually impaired users (BVIP), as well as regular users, to access the contents and features of websites through conversational agents. Informed by the literature, our previous work and prototy** exercises, we derive a conceptual framework for supporting BVIP conversational web browsing needs, to then focus on the challenges of automatically providing this support, describing our early work and prototype that leverage heuristics that consider structural and content features only. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Chatbots as conversational healthcare services

Authors: Mlađan Jovanović, Marcos Baez, Fabio Casati

Abstract: Chatbots are emerging as a promising platform for accessing and delivering healthcare services. The evidence is in the growing number of publicly available chatbots aiming at taking an active role in the provision of prevention, diagnosis, and treatment services. This article takes a closer look at how these emerging chatbots address design aspects relevant to healthcare service provision, emphasi… ▽ More Chatbots are emerging as a promising platform for accessing and delivering healthcare services. The evidence is in the growing number of publicly available chatbots aiming at taking an active role in the provision of prevention, diagnosis, and treatment services. This article takes a closer look at how these emerging chatbots address design aspects relevant to healthcare service provision, emphasizing the Human-AI interaction aspects and the transparency in AI automation and decision making. △ Less

Submitted 8 November, 2020; originally announced November 2020.

On the impact of predicate complexity in crowdsourced classification tasks

Authors: Jorge Ramírez, Marcos Baez, Fabio Casati, Luca Cernuzzi, Boualem Benatallah, Ekaterina A. Taran, Veronika A. Malanina

Abstract: This paper explores and offers guidance on a specific and relevant problem in task design for crowdsourcing: how to formulate a complex question used to classify a set of items. In micro-task markets, classification is still among the most popular tasks. We situate our work in the context of information retrieval and multi-predicate classification, i.e., classifying a set of items based on a set o… ▽ More This paper explores and offers guidance on a specific and relevant problem in task design for crowdsourcing: how to formulate a complex question used to classify a set of items. In micro-task markets, classification is still among the most popular tasks. We situate our work in the context of information retrieval and multi-predicate classification, i.e., classifying a set of items based on a set of conditions. Our experiments cover a wide range of tasks and domains, and also consider crowd workers alone and in tandem with machine learning classifiers. We provide empirical evidence into how the resulting classification performance is affected by different predicate formulation strategies, emphasizing the importance of predicate formulation as a task design dimension in crowdsourcing. △ Less

Submitted 17 November, 2020; v1 submitted 5 November, 2020; originally announced November 2020.

Challenges and strategies for running controlled crowdsourcing experiments

Authors: Jorge Ramírez, Marcos Baez, Fabio Casati, Luca Cernuzzi, Boualem Benatallah

Abstract: This paper reports on the challenges and lessons we learned while running controlled experiments in crowdsourcing platforms. Crowdsourcing is becoming an attractive technique to engage a diverse and large pool of subjects in experimental research, allowing researchers to achieve levels of scale and completion times that would otherwise not be feasible in lab settings. However, the scale and flexib… ▽ More This paper reports on the challenges and lessons we learned while running controlled experiments in crowdsourcing platforms. Crowdsourcing is becoming an attractive technique to engage a diverse and large pool of subjects in experimental research, allowing researchers to achieve levels of scale and completion times that would otherwise not be feasible in lab settings. However, the scale and flexibility comes at the cost of multiple and sometimes unknown sources of bias and confounding factors that arise from technical limitations of crowdsourcing platforms and from the challenges of running controlled experiments in the "wild". In this paper, we take our experience in running systematic evaluations of task design as a motivating example to explore, describe, and quantify the potential impact of running uncontrolled crowdsourcing experiments and derive possible co** strategies. Among the challenges identified, we can mention sampling bias, controlling the assignment of subjects to experimental conditions, learning effects, and reliability of crowdsourcing results. According to our empirical studies, the impact of potential biases and confounding factors can amount to a 38\% loss in the utility of the data collected in uncontrolled settings; and it can significantly change the outcome of experiments. These issues ultimately inspired us to implement CrowdHub, a system that sits on top of major crowdsourcing platforms and allows researchers and practitioners to run controlled crowdsourcing projects. △ Less

Submitted 5 November, 2020; originally announced November 2020.

Chatbot integration in few patterns

Authors: Marcos Baez, Florian Daniel, Fabio Casati, Boualem Benatallah

Abstract: Chatbots are software agents that are able to interact with humans in natural language. Their intuitive interaction paradigm is expected to significantly reshape the software landscape of tomorrow, while already today chatbots are invading a multitude of scenarios and contexts. This article takes a developer's perspective, identifies a set of architectural patterns that capture different chatbot i… ▽ More Chatbots are software agents that are able to interact with humans in natural language. Their intuitive interaction paradigm is expected to significantly reshape the software landscape of tomorrow, while already today chatbots are invading a multitude of scenarios and contexts. This article takes a developer's perspective, identifies a set of architectural patterns that capture different chatbot integration scenarios, and reviews state-of-the-art development aids. △ Less

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

Comments: prior version was an incomplete early draft; current version includes changes in references, appropriate acknowledgement; and minor revisions

Automatic Generation of Chatbots for Conversational Web Browsing

Authors: Pietro Chittò, Marcos Baez, Florian Daniel, Boualem Benatallah

Abstract: In this paper, we describe the foundations for generating a chatbot out of a website equipped with simple, bot-specific HTML annotations. The approach is part of what we call conversational web browsing, i.e., a dialog-based, natural language interaction with websites. The goal is to enable users to use content and functionality accessible through rendered UIs by "talking to websites" instead of b… ▽ More In this paper, we describe the foundations for generating a chatbot out of a website equipped with simple, bot-specific HTML annotations. The approach is part of what we call conversational web browsing, i.e., a dialog-based, natural language interaction with websites. The goal is to enable users to use content and functionality accessible through rendered UIs by "talking to websites" instead of by operating the graphical UI using keyboard and mouse. The chatbot mediates between the user and the website, operates its graphical UI on behalf of the user, and informs the user about the state of interaction. We describe the conceptual vocabulary and annotation format, the supporting conversational middleware and techniques, and the implementation of a demo able to deliver conversational web browsing experiences through Amazon Alexa. △ Less

Submitted 21 October, 2020; v1 submitted 19 August, 2020; originally announced August 2020.

Comments: typos corrected, metadata fixed

Quantum correlations under the effect of a thermal environment in a triangular optomechanical cavity

Authors: Oumayma El Bir, Morad El Baz

Abstract: We quantify the stationary correlations between the optical mode and the relative mechanical mode of a ring cavity composed of a fixed mirror and two movable ones in a triangular design. The bipartite covariance matrix, is used to evaluate the logarithmic negativity as a measure of entanglement, the Gaussian quantum discord as a measure of total quantum correlations and the mutual information as a… ▽ More We quantify the stationary correlations between the optical mode and the relative mechanical mode of a ring cavity composed of a fixed mirror and two movable ones in a triangular design. The bipartite covariance matrix, is used to evaluate the logarithmic negativity as a measure of entanglement, the Gaussian quantum discord as a measure of total quantum correlations and the mutual information as a measure of the overall correlations. The behaviour of these quantities with respect to the environment's temperature as well as other parameters such as the laser pum** power and mass of the movable mirrors is discussed. △ Less

Submitted 5 April, 2020; originally announced April 2020.

Comments: 15 pages, 7 figures

Quantum Correlations Dynamics In Two Coupled Semiconductor InAs Quantum Dots

Authors: H. Ait Mansour, F-Z. Siyouri, M. Faqir, M. El Baz

Abstract: We investigate the dynamics of quantum discord and concurrence between two excitonic qubits placed inside two coupled semiconductor quantum dots independently interacting with dephasing reservoirs. We explore their behavior against the dimensionless time and the temperature in both Markovian and non-Markovian environments. Moreover, we analyze the external electric field effects and the Förster in… ▽ More We investigate the dynamics of quantum discord and concurrence between two excitonic qubits placed inside two coupled semiconductor quantum dots independently interacting with dephasing reservoirs. We explore their behavior against the dimensionless time and the temperature in both Markovian and non-Markovian environments. Moreover, we analyze the external electric field effects and the Förster interaction effects on these correlations. We show that, although the quantum correlations amount is strongly influenced by the variation of the electric field and the Förster interaction, their non-Markovian behavior is still preserved under the variation of these two parameters. Furthermore, we show that for large values of temperature and dimensionless time, unlike concurrence which vanishes, nonzero discord can still be observed. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: 15 pages, 12 figures

First-Order Interpolation Derived from Propositional Interpolation

Authors: Matthias Baaz, Anela Lolic

Abstract: This paper develops a general methodology to connect propositional and first-order interpolation. In fact, the existence of suitable skolemizations and of Herbrand expansions together with a propositional interpolant suffice to construct a first-order interpolant. This methodology is realized for lattice-based finitely-valued logics, the top element representing true. It is shown that interpolatio… ▽ More This paper develops a general methodology to connect propositional and first-order interpolation. In fact, the existence of suitable skolemizations and of Herbrand expansions together with a propositional interpolant suffice to construct a first-order interpolant. This methodology is realized for lattice-based finitely-valued logics, the top element representing true. It is shown that interpolation is decidable for these logics. △ Less

Submitted 13 February, 2020; originally announced February 2020.

Dynamical structure factors of dynamical quantum simulators

Authors: Maria Laura Baez, Marcel Goihl, Jonas Haferkamp, Juani Bermejo-Vega, Marek Gluza, Jens Eisert

Abstract: The dynamical structure factor is one of the experimental quantities crucial in scrutinizing the validity of the microscopic description of strongly correlated systems. However, despite its long-standing importance, it is exceedingly difficult in generic cases to numerically calculate it, ensuring that the necessary approximations involved yield a correct result. Acknowledging this practical diffi… ▽ More The dynamical structure factor is one of the experimental quantities crucial in scrutinizing the validity of the microscopic description of strongly correlated systems. However, despite its long-standing importance, it is exceedingly difficult in generic cases to numerically calculate it, ensuring that the necessary approximations involved yield a correct result. Acknowledging this practical difficulty, we discuss in what way results on the hardness of classically tracking time evolution under local Hamiltonians are precisely inherited by dynamical structure factors; and hence offer in the same way the potential computational capabilities that dynamical quantum simulators do: We argue that practically accessible variants of the dynamical structure factors are BQP-hard for general local Hamiltonians. Complementing these conceptual insights, we improve upon a novel, readily available, measurement setup allowing for the determination of the dynamical structure factor in different architectures, including arrays of ultra-cold atoms, trapped ions, Rydberg atoms, and superconducting qubits. Our results suggest that quantum simulations employing near-term noisy intermediate scale quantum devices should allow for the observation of features of dynamical structure factors of correlated quantum matter in the presence of experimental imperfections, for larger system sizes than what is achievable by classical simulation. △ Less

Submitted 7 April, 2020; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: Main text: 13 pages, 8 figures. Appendix: 5 pages, 9 figures

Journal ref: PNAS 117, 26123-26134 (2020)

$\mathbb{Z}_2$ vortices in the ground states of classical Kitaev-Heisenberg models

Authors: Eddie Seabrook, Maria Laura Baez, Johannes Reuther

Abstract: The classical nearest neighbor Kitaev-Heisenberg model on the triangular lattice is known to host $\mathbb{Z}_2$ spin-vortices forming a crystalline superstructure in the ground state. The $\mathbb{Z}_2$ vortices in this system can be understood as distortions of the local $120^\circ$ Néel parent order of the Heisenberg-only Hamiltonian. Here, we explore possibilities of stabilizing further types… ▽ More The classical nearest neighbor Kitaev-Heisenberg model on the triangular lattice is known to host $\mathbb{Z}_2$ spin-vortices forming a crystalline superstructure in the ground state. The $\mathbb{Z}_2$ vortices in this system can be understood as distortions of the local $120^\circ$ Néel parent order of the Heisenberg-only Hamiltonian. Here, we explore possibilities of stabilizing further types of $\mathbb{Z}_2$ vortex phases in Kitaev-Heisenberg models including those which rely on more complicated types of non-collinear parent orders such as tetrahedral states. We perform extensive scans through large classes of Kitaev-Heisenberg models on different lattices employing a two-step methodology which first involves a mean-field analysis followed by a stochastic iterative minimization approach. When allowing for longer-range Kitaev couplings we identify several new $\mathbb{Z}_2$ vortex phases such as a state based on the $120^\circ$ Néel order on the triangular lattice which shows a coexistence of different $\mathbb{Z}_2$ vortex types. Furthermore, perturbing the tetrahedral order on the triangular lattice with a suitable combination of first and second neighbor Kitaev interactions we find that a kagome-like superstructure of $\mathbb{Z}_2$ vortices may be stabilized where vortices feature a counter-rotating winding of spins on different sublattices. This last phase may also be extended to honeycomb lattices where it is related to cubic types of parent orders. In total, this analysis shows that $\mathbb{Z}_2$ vortex phases appear in much wider contexts than the $120^\circ$ Néel ordered systems previously studied. △ Less

Submitted 6 November, 2019; originally announced November 2019.

Comments: 13 pages, 8 figures

CrowdHub: Extending crowdsourcing platforms for the controlled evaluation of tasks designs

Authors: Jorge Ramírez, Simone Degiacomi, Davide Zanella, Marcos Baez, Fabio Casati, Boualem Benatallah

Abstract: We present CrowdHub, a tool for running systematic evaluations of task designs on top of crowdsourcing platforms. The goal is to support the evaluation process, avoiding potential experimental biases that, according to our empirical studies, can amount to 38% loss in the utility of the collected dataset in uncontrolled settings. Using CrowdHub, researchers can map their experimental design and aut… ▽ More We present CrowdHub, a tool for running systematic evaluations of task designs on top of crowdsourcing platforms. The goal is to support the evaluation process, avoiding potential experimental biases that, according to our empirical studies, can amount to 38% loss in the utility of the collected dataset in uncontrolled settings. Using CrowdHub, researchers can map their experimental design and automate the complex process of managing task execution over time while controlling for returning workers and crowd demographics, thus reducing bias, increasing utility of collected data, and making more efficient use of a limited pool of subjects. △ Less

Submitted 10 September, 2019; v1 submitted 6 September, 2019; originally announced September 2019.

Understanding the Impact of Text Highlighting in Crowdsourcing Tasks

Authors: Jorge Ramírez, Marcos Baez, Fabio Casati, Boualem Benatallah

Abstract: Text classification is one of the most common goals of machine learning (ML) projects, and also one of the most frequent human intelligence tasks in crowdsourcing platforms. ML has mixed success in such tasks depending on the nature of the problem, while crowd-based classification has proven to be surprisingly effective, but can be expensive. Recently, hybrid text classification algorithms, combin… ▽ More Text classification is one of the most common goals of machine learning (ML) projects, and also one of the most frequent human intelligence tasks in crowdsourcing platforms. ML has mixed success in such tasks depending on the nature of the problem, while crowd-based classification has proven to be surprisingly effective, but can be expensive. Recently, hybrid text classification algorithms, combining human computation and machine learning, have been proposed to improve accuracy and reduce costs. One way to do so is to have ML highlight or emphasize portions of text that it believes to be more relevant to the decision. Humans can then rely only on this text or read the entire text if the highlighted information is insufficient. In this paper, we investigate if and under what conditions highlighting selected parts of the text can (or cannot) improve classification cost and/or accuracy, and in general how it affects the process and outcome of the human intelligence tasks. We study this through a series of crowdsourcing experiments running over different datasets and with task designs imposing different cognitive demands. Our findings suggest that highlighting is effective in reducing classification effort but does not improve accuracy - and in fact, low-quality highlighting can decrease it. △ Less

Submitted 6 September, 2019; originally announced September 2019.

Effective Finite-Valued Approximations of General Propositional Logics

Authors: Matthias Baaz, Richard Zach

Abstract: Propositional logics in general, considered as a set of sentences, can be undecidable even if they have "nice" representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple - at worst NP. Moreover, finite-valued… ▽ More Propositional logics in general, considered as a set of sentences, can be undecidable even if they have "nice" representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple - at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can be approximated by finite-valued logics. It is shown that the minimal $m$-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. △ Less

Submitted 3 August, 2019; originally announced August 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:math/0203204

MSC Class: 03B50

Journal ref: Avron, Arnon; Dershowitz, Nachum; Rabinovich, Alexander (Eds.). Pillars of Computer Science. LNCS 4800. Berlin: Springer, 2008. 107-129

Epsilon Theorems in Intermediate Logics

Authors: Matthias Baaz, Richard Zach

Abstract: Any intermediate propositional logic (i.e., a logic including intuitionistic logic and contained in classical logic) can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert's $\varepsilon$-calculus. The first and second $\varepsilon$-theorems for classical logic establish conservativity of the $\varepsilon$-calculus over its… ▽ More Any intermediate propositional logic (i.e., a logic including intuitionistic logic and contained in classical logic) can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert's $\varepsilon$-calculus. The first and second $\varepsilon$-theorems for classical logic establish conservativity of the $\varepsilon$-calculus over its classical base logic. It is well known that the second $\varepsilon$-theorem fails for the intuitionistic $\varepsilon$-calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon$- and $τ$-formulas and using the translation of quantifiers into $\varepsilon$- and $τ$-terms to intermediate logics. It is shown that conservativity over the propositional base logic also holds for such intermediate $\varepsilonτ$-calculi. The "extended" first $\varepsilon$-theorem holds if the base logic is finite-valued Gödel-Dummett logic, fails otherwise, but holds for certain provable formulas in infinite-valued Gödel logic. The second $\varepsilon$-theorem also holds for finite-valued first-order Gödel logics. The methods used to prove the extended first $\varepsilon$-theorem for infinite-valued Gödel logic suggest applications to theories of arithmetic. △ Less

Submitted 30 November, 2021; v1 submitted 9 July, 2019; originally announced July 2019.

MSC Class: 03F05; 03B20; 03B55

Combining Crowd and Machines for Multi-predicate Item Screening

Authors: Evgeny Krivosheev, Fabio Casati, Marcos Baez, Boualem Benatallah

Abstract: This paper discusses how crowd and machine classifiers can be efficiently combined to screen items that satisfy a set of predicates. We show that this is a recurring problem in many domains, present machine-human (hybrid) algorithms that screen items efficiently and estimate the gain over human-only or machine-only screening in terms of performance and cost. We further show how, given a new classi… ▽ More This paper discusses how crowd and machine classifiers can be efficiently combined to screen items that satisfy a set of predicates. We show that this is a recurring problem in many domains, present machine-human (hybrid) algorithms that screen items efficiently and estimate the gain over human-only or machine-only screening in terms of performance and cost. We further show how, given a new classification problem and a set of classifiers of unknown accuracy for the problem at hand, we can identify how to manage the cost-accuracy trade off by progressively determining if we should spend budget to obtain test data (to assess the accuracy of the given classifiers), or to train an ensemble of classifiers, or whether we should leverage the existing machine classifiers with the crowd, and in this case how to efficiently combine them based on their estimated characteristics to obtain the classification. We demonstrate that the techniques we propose obtain significant cost/accuracy improvements with respect to the leading classification algorithms. △ Less

Submitted 1 April, 2019; originally announced April 2019.

Comments: Please cite the CSCW2018 version of this paper:@article{krivosheev2018combining, title={Combining Crowd and Machines for Multi-predicate Item Screening}, author={Krivosheev, Evgeny and Casati, Fabio and Baez, Marcos and Benatallah, Boualem}, journal={Proceedings of the ACM on Human-Computer Interaction}, volume={2}, number={CSCW}, pages={97}, year={2018}, publisher={ACM} }

Minimal models of $α$-Li$_2$IrO$_3$: On the range of the interactions, ground state properties, and magnetization processes

Authors: Maria Laura Baez

Abstract: In recent years, a lot of effort has been devoted to the quest for experimental realizations of Kitaev interactions in spin systems. Recently, many materials have been synthesized which seem to realize extended Kitaev models, where Kitaev interactions are supplemented by Heisenberg and other bond dependent terms. The crystal and electronic structure of these materials renders the determination of… ▽ More In recent years, a lot of effort has been devoted to the quest for experimental realizations of Kitaev interactions in spin systems. Recently, many materials have been synthesized which seem to realize extended Kitaev models, where Kitaev interactions are supplemented by Heisenberg and other bond dependent terms. The crystal and electronic structure of these materials renders the determination of a minimal model a non trivial pursuit. In this work, we will concentrate on one of these particular materials, $α$-Li$_2$IrO$_3$, for which various minimal models have been proposed. Employing large scale Monte Carlo simulations we show how the number of prospective models can be reduced. We study in detail six models with different range of the interactions, and show how only two of those reproduce the most recent experimental results for this material. We obtain two possible minimal models, one of them with nearest neighbour interactions, while the other includes interactions up to third neighbours. Furthermore, we show that strong bond anisotropies and further neighbour interactions are crucial to stabilize the tilted counterotating spirals found in $α$-Li$_2$IrO$_3$. We further clarify the picture, and distinguish these two models by studying the magnetization processes. We predict the magnetization behaviour of these models, and propose future experimental directions. △ Less

Submitted 5 March, 2019; originally announced March 2019.

Comments: Main text: 14 pages, 16 figures

Journal ref: Phys. Rev. B 99, 184436 (2019)

Discrete and generalized phase space techniques in critical quantum spin chains

Authors: Zakaria Mzaouali, Steve Campbell, Morad El Baz

Abstract: We apply the Wigner function formalism from quantum optics via two approaches, Wootters' discrete Wigner function and the generalized Wigner function, to detect quantum phase transitions in critical spin-$\tfrac{1}{2}$ systems. We develop a general formula relating the phase space techniques and the thermodynamical quantities of spin models, which we apply to single, bipartite and multi-partite sy… ▽ More We apply the Wigner function formalism from quantum optics via two approaches, Wootters' discrete Wigner function and the generalized Wigner function, to detect quantum phase transitions in critical spin-$\tfrac{1}{2}$ systems. We develop a general formula relating the phase space techniques and the thermodynamical quantities of spin models, which we apply to single, bipartite and multi-partite systems governed by the $XY$ and the $XXZ$ models. Our approach allows us to introduce a novel way to represent, detect, and distinguish first-, second- and infinite-order quantum phase transitions. Furthermore, we show that the factorization phenomena of the $XY$ model is only directly detectable by quantities based on the square root of the bipartite reduced density matrix. We establish that phase space techniques provide a simple, experimentally promising tool in the study of many-body systems and we discuss their relation with measures of quantum correlations and quantum coherence. △ Less

Submitted 21 August, 2019; v1 submitted 26 January, 2019; originally announced January 2019.

Comments: v2: title change and analysis substantially revised and expanded

Journal ref: Physics Letters A 383 (2019) 125932

Technologies for promoting social participation in later life

Authors: Marcos Baez, Radoslaw Nielek, Fabio Casati, Adam Wierzbicki

Abstract: Social participation is known to bring great benefits to the health and well-being of people as they age. From being in contact with others to engaging in group activities, kee** socially active can help slow down the effects of age-related declines, reduce risks of loneliness and social isolation and even mortality in old age. There are unfortunately a variety of barriers that make it difficult… ▽ More Social participation is known to bring great benefits to the health and well-being of people as they age. From being in contact with others to engaging in group activities, kee** socially active can help slow down the effects of age-related declines, reduce risks of loneliness and social isolation and even mortality in old age. There are unfortunately a variety of barriers that make it difficult for older adults to engage in social activities in a regular basis. In this chapter, we give an overview of the challenges to social participation and discuss how technology can help overcome these barriers and promote participation in social activities. We examine two particular research threads and designs, exploring ways in which technology can support co-located and virtual participation: i) an application that motivates the virtual participation in group training programs, and ii) a location-based game that supports co-located intergenerational ICT training classes. We discuss the effectiveness and limitations of various design choices in the two use cases and outline the lessons learned △ Less

Submitted 14 January, 2019; originally announced January 2019.

Long range quantum coherence, quantum & classical correlations in Heisenberg XX chain

Authors: Zakaria Mzaouali, Morad El Baz

Abstract: A comparative study of pairwise quantum coherence, quantum and classical correlations is addressed for non-nearest spin pairs of the 1D Heisenberg spin-$\frac{1}{2}$ XX chain. Following the Jordan-Wigner map**, we diagonalise the hamiltonian of the chain and we check this procedure numerically as well. Using the "Pauli basis expansion" formalism we get the pairwise quantities studied in this wor… ▽ More A comparative study of pairwise quantum coherence, quantum and classical correlations is addressed for non-nearest spin pairs of the 1D Heisenberg spin-$\frac{1}{2}$ XX chain. Following the Jordan-Wigner map**, we diagonalise the hamiltonian of the chain and we check this procedure numerically as well. Using the "Pauli basis expansion" formalism we get the pairwise quantities studied in this work at any distance. We then, show the role of quantum correlations in revealing quantum phase transitions, the robustness of quantum discord to the temperature and the dominance of quantum correlations over their classical counterpart in the magnetic and thermal interval in quantum spin chains. We conclude the paper by shedding light from a resource-driven point of view on the new born quantity "quantum coherence" where we discuss its role in detecting quantum phase transitions being a long-range quantity, and how it outclasses the usual quantum correlations measures in the robustness against the temperature, which indicates potential uses in the framework of quantum information processing. △ Less

Submitted 4 January, 2019; originally announced January 2019.

Comments: 14 pages, 9 figures

Journal ref: Physica A: Statistical Mechanics and its Applications 518 (2019), 119-130

Design Challenges for Reconnecting in Later Life: A Qualitative Study

Authors: Francisco Ibarra, Grzegorz Kowalik, Marcos Baez, Radosław Nielek, Norma Lau, Luca Cernuzzi, Fabio Casati

Abstract: Friendships and social interactions are renown contributors to wellbeing. As such, kee** a healthy amount of relationships becomes very important as people age and the size of their social network tends to decrease. In this paper, we take a step back and explore reconnection -- find out about or re-contact old friends, an emerging topic due to the increased use of computer-mediated technology by… ▽ More Friendships and social interactions are renown contributors to wellbeing. As such, kee** a healthy amount of relationships becomes very important as people age and the size of their social network tends to decrease. In this paper, we take a step back and explore reconnection -- find out about or re-contact old friends, an emerging topic due to the increased use of computer-mediated technology by older adults to maintain friendships and form new ones. We report on our findings from semi-structured interviews with 28 individuals from Costa Rica and Poland. The interviews aimed to explore whether there is a wish to reconnect, and the challenges encountered by older adults to reconnect. We contribute with design considerations for tools allow- ing older adults to reconnect, discussing opportunities for technology. △ Less

Submitted 31 May, 2018; originally announced June 2018.

ACM Class: H.5.m

Designing for Co-located and Virtual Social Interactions in Residential Care

Authors: Francisco Ibarra, Marcos Baez, Francesca Fiore, Fabio Casati

Abstract: In this paper we explore the feasibility and design challenges in supporting co-located and virtual social interactions in residential care by building on the practice of reminiscence. Motivated by the challenges of social interaction in this context, we first explore the feasibility of a reminiscence-based social interaction tool designed to stimulate conversation in residential care with differe… ▽ More In this paper we explore the feasibility and design challenges in supporting co-located and virtual social interactions in residential care by building on the practice of reminiscence. Motivated by the challenges of social interaction in this context, we first explore the feasibility of a reminiscence-based social interaction tool designed to stimulate conversation in residential care with different stakeholders. Then, we explore the design challenges in supporting an assisting role in co-located reminiscence sessions, by running pilot studies with a technology probe. Our findings point to the feasibility of the tool and the willingness of stakeholders to contribute in the process, although with some skepticism about virtual interactions. The reminiscence sessions showed that compromises are needed when designing for both story collection and conversation stimulation, evidencing specific design areas where further exploration is needed. △ Less

Submitted 31 May, 2018; originally announced June 2018.

ACM Class: H.5.m

CrowdRev: A platform for Crowd-based Screening of Literature Reviews

Authors: Jorge Ramirez, Evgeny Krivosheev, Marcos Baez, Fabio Casati, Boualem Benatallah

Abstract: In this paper and demo we present a crowd and crowd+AI based system, called CrowdRev, supporting the screening phase of literature reviews and achieving the same quality as author classification at a fraction of the cost, and near-instantly. CrowdRev makes it easy for authors to leverage the crowd, and ensures that no money is wasted even in the face of difficult papers or criteria: if the system… ▽ More In this paper and demo we present a crowd and crowd+AI based system, called CrowdRev, supporting the screening phase of literature reviews and achieving the same quality as author classification at a fraction of the cost, and near-instantly. CrowdRev makes it easy for authors to leverage the crowd, and ensures that no money is wasted even in the face of difficult papers or criteria: if the system detects that the task is too hard for the crowd, it just gives up trying (for that paper, or for that criteria, or altogether), without wasting money and never compromising on quality. △ Less

Submitted 31 May, 2018; originally announced May 2018.