title: Multiobjective Direct Policy Search Using Physically Based Operating Rules in Multireservoir Systems

abstract: This study explores the ways to introduce physical interpretability into the process of optimizing operating rules for multireservoir systems with multiple objectives. Prior studies applied the concept of direct policy search (DPS), in which the release policy is expressed as a set of parameterized functions (e.g., neural networks) that are optimized by simulating the performance of different parameter value combinations over a testing period. The problem with this approach is that the operators generally avoid adopting such artificial black-box functions for the direct real-time control of their systems, preferring simpler tools with a clear connection to the system physics. This study addresses this mismatch by replacing the black-box functions in DPS with physically based parameterized operating rules, for example by directly using target levels in dams as decision variables. This leads to results that are physically interpretable and may be more acceptable to operators. The methodology proposed in this work is applied to a network of five reservoirs and four power plants in the Nechi catchment in Colombia, with four interests involved: average energy generation, firm energy generation, flood hazard, and flow regime alteration. The release policy is expressed depending on only 12 parameters, which significantly reduces the computational complexity compared to existing approaches of multiobjective DPS. The resulting four-dimensional Pareto-approximate set offers a variety of operational strategies from which operators may choose one that corresponds best to their preferences. For demonstration purposes, one particular optimized policy is selected and its parameter values are analyzed to illustrate how the physically based operating rules can be directly interpreted by the operators.


title: Search for muon catalyzed $d^3He$ fusion

abstract: This report presents the results of an experiment aimed at observation of the muon catalyzed $^3\!He\;d$ fusion reaction $^3\!He + \mu\;d\to^3\!He\;\mu\;d\to^4\!He(3.66MeV)+p(14.64MeV)+\mu$ which might occur after a negative muon stop in the $D_2+^3\!He$ gas mixture. The basic element of the experimental setup is a Time Projection Chamber (TPC) which can detect the incoming muons and the products of the fusion reaction. The TPC operated with the $D_2 + ^3\~He (5%)$ gas mixture at $31K$ temperature. About $10^8$ $^3\!He\;\mu\;d$ molecules were produced with only 2 registered candidates for the muon catalyzed $^3\!He\;d$ fusion with the expected background $N_{bg}=2.2\pm 0.3$ events. This gives an upper limit for the probability of the fusion decay of the $^3\!He\;\mu\;d$ molecule $P_{F}(^3\!He\;\mu\;d)\leq 1.1\cdot 10^{-7}$ at 90% C.L. Also presented are the measured formation rate of the $^3\!He\;\mu\;d$ molecule $\lambda_{d3He}=192(3)\cdot 10^6 s^{-1}$ and the probability of the fast muon transfer from the excited to the ground state of the $\mu\;d$ atom $q_{1S}=0.80(3)$.


Unitary recordings in freely-moving pulse weakly electric fish suggest spike timing encoding of electrosensory signals


title: Invariants of links and 3-manifolds from graph configurations

abstract: In this self-contained book, following Edward Witten, Maxim Kontsevich, Greg Kuperberg and Dylan Thurston, we define an invariant Z of framed links in rational homology 3-spheres, and we study its properties. The invariant Z, which is often called the perturbative expansion of the Chern-Simons theory, is valued in a graded space generated by Jacobi diagrams. It counts embeddings of this kind of unitrivalent graphs in the ambient manifold, in a sense that is explained in the book, using integrals over configuration spaces, or, in a dual way, algebraic intersections in the same configuration spaces. When the ambient manifold is the standard 3-sphere, the invariant Z is a universal Vassiliev link invariant studied by many authors including Guadagnini, Martellini and Mintchev, Bar-Natan, Bott and Taubes, Altsch\"uler and Freidel, Thurston and Poirier... This book contains a more flexible definition of this invariant. We extend Z to a functor on a category of framed tangles in rational homology cylinders and we describe the behaviour of this functor under various operations including some cabling operations. We also compute iterated derivatives of our extended invariant with respect to the discrete derivatives associated to the main theories of finite type invariants. Together with recent results of Massuyeau and Moussard, our computations imply that the restriction of Z to rational homology 3-spheres (equipped with empty links) contains the same information as the Le-Murakami-Ohtsuki LMO invariant for these manifolds. They also imply that the degree one part of Z is the Casson-Walker invariant.


title: Technical Background for "A Precision Medicine Approach to Develop and Internally Validate Optimal Exercise and Weight Loss Treatments for Overweight and Obese Adults with Knee Osteoarthritis"

abstract: We provide additional statistical background for the methodology developed in the clinical analysis of knee osteoarthritis in "A Precision Medicine Approach to Develop and Internally Validate Optimal Exercise and Weight Loss Treatments for Overweight and Obese Adults with Knee Osteoarthritis" (Jiang et al. 2020). Jiang et al. 2020 proposed a pipeline to learn optimal treatment rules with precision medicine models and compared them with zero-order models with a Z-test. The model performance was based on value functions, a scalar that predicts the future reward of each decision rule. The jackknife (i.e., leave-one-out cross validation) method was applied to estimate the value function and its variance of several outcomes in IDEA. IDEA is a randomized clinical trial studying three interventions (exercise (E), dietary weight loss (D), and D+E) on overweight and obese participants with knee osteoarthritis. In this report, we expand the discussion and justification with additional statistical background. We elaborate more on the background of precision medicine, the derivation of the jackknife estimator of value function and its estimated variance, the consistency property of jackknife estimator, as well as additional simulation results that reflect more of the performance of jackknife estimators. We recommend reading Jiang et al. 2020 for clinical application and interpretation of the optimal ITR of knee osteoarthritis as well as the overall understanding of the pipeline and recommend using this article to understand the underlying statistical derivation and methodology.


title: Star subgradient projection for solving quasi-convex feasibility problems

abstract: In this work we consider an iterative method for solving the quasi-convex feasibility problem. We firstly introduce the so-called star subgradient projection operator and present some useful properties. We subsequently obtain a convergence result of the considered method by using properties of the introduced nonlinear operator.


title: Topological carnival: electrically-powered motions of toron crystallites in chiral liquid crystals

abstract: Malleability of metals is an example of how dynamics of defects like dislocations induced by external stresses alters material properties and enables technological applications. However, these defects move merely to comply with the mechanical forces applied on macroscopic scales whereas the molecular and atomic building blocks behave like rigid particles. Here we demonstrate how motions of crystallites and defects between them can arise within the soft matter medium in an oscillating electric field applied to a chiral liquid crystal with polycrystalline quasi-hexagonal arrangements of self-assembled topological solitons called "torons". Periodic oscillations of electric field applied perpendicular to the plane of hexagonal lattices prompt repetitive shear-like deformations of the solitons, which synchronize the electrically-powered self-shearing directions. The temporal evolution of deformations upon turning voltage on and off is not invariant upon reversal of time, prompting lateral translations of the crystallites of torons within quasi-hexagonal periodically deformed lattices. We probe how these motions depend on voltage and frequency of oscillating field applied in an experimental geometry resembling that of liquid crystal displays. We study the inter-relations between synchronized deformations of the soft solitonic particles and their arrays and the ensuing dynamics and giant number fluctuations mediated by motions of crystallites, 5-7 defects pairs and grain boundaries in the orderly organizations of solitons. We discuss how our findings may lead to technological and fundamental science applications of dynamic self-assemblies of topologically protected but highly deformable particle-like solitons.


title: Cosmic-ray interactions with the Sun using the FLUKA code

abstract: The interactions of cosmic rays with the solar atmosphere produce secondary particle which can reach the Earth. In this work we present a comprehensive calculation of the yields of secondary particles as gamma-rays, electrons, positrons, neutrons and neutrinos performed with the FLUKA code. We also estimate the intensity at the Sun and the fluxes at the Earth of these secondary particles by folding their yields with the intensities of cosmic rays impinging on the solar surface. The results are sensitive on the assumptions on the magnetic field nearby the Sun and to the cosmic-ray transport in the magnetic field in the inner solar system.


title: Investigation upon the performance of piezoelectric energy harvester with elastic extensions

abstract: Piezoelectric vibration energy harvesters have attracted much attention due to its potential to replace currently popular batteries and to provide an sustainable power sources. Many researchers have proposed ways to increase the performance of piezoelectric energy harvesters like bandwidth, working frequency and output performance. Here in this contribution, we propose the method of using elastic extensions to tune the performance of a piezoelectric energy harvester. Mathematical model of the proposed device is derived and analyzed. Numerical simulations are done to investigate the influences of the derived parameters, like length ratio \lambda_l , bending stiffness ratio \lambda_B , and line density ratio \lambda_m . Results show that the elastic extension does change the motion of the proposed device and help tune the performance of piezoelectric energy harvesters.


title: Sub-barrier cavitation regime in liquid helium

abstract: In this paper, on the basis of the model Schr\"odinger equation, we consider the tunneling mechanism of cavitation in liquid helium and obtain threshold values of negative pressure as a function of temperature for 3He and 4He. The results of calculating the surface tension coefficients for flat and curved interfaces, obtained in the approximation of the Lenard-Jones interaction potential, are presented. It is shown that the temperature dependence of the critical pressure at which cavitation begins is stepwise in nature. The obtained critical pressure values are in satisfactory agreement with the experimental data.


title: On the anti-cancer effect of cold atmospheric plasma and the possible role of catalase-dependent apoptotic pathways

abstract: Cold atmospheric plasma (CAP) is a promising new agent for (selective) cancer treatment, but the underlying cause of the anti-cancer effect of CAP is not well understood yet. Among different theories and observations, one theory in particular has been postulated in great detail and consists of a very complex network of reactions that are claimed to account for the anti-cancer effect of CAP. Here, the key concept is a reactivation of two specific apoptotic cell signaling pathways through catalase inactivation caused by CAP. Thus, it is postulated that the anti-cancer effect of CAP is due to its ability to inactivate catalase, either directly or indirectly. A theoretical investigation of the proposed theory, especially the role of catalase inactivation, can contribute to the understanding of the underlying cause of the anti-cancer effect of CAP. In the present study, we develop a mathematical model to analyze the proposed catalase-dependent anti-cancer effect of CAP. Our results show that a catalase-dependent reactivation of the two apoptotic pathways of interest is unlikely to contribute to the observed anti-cancer effect of CAP. Thus, we believe that other theories of the underlying cause should be considered and evaluated to gain knowledge about the principles of CAP-induced cancer cell death.


title: Frame-based overlapping speech detection using Convolutional Neural Networks

abstract: Naturalistic speech recordings usually contain speech signals from multiple speakers. This phenomenon can degrade the performance of speech technologies due to the complexity of tracing and recognizing individual speakers. In this study, we investigate the detection of overlapping speech on segments as short as 25 ms using Convolutional Neural Networks. We evaluate the detection performance using different spectral features, and show that pyknogram features outperforms other commonly used speech features. The proposed system can predict overlapping speech with an accuracy of 84\% and Fscore of 88\% on a dataset of mixed speech generated based on the GRID dataset.


title: Autonomous discovery of battery electrolytes with robotic experimentation and machine-learning

abstract: Innovations in batteries take years to formulate and commercialize, requiring extensive experimentation during the design and optimization phases. We approached the design and selection of a battery electrolyte through a black-box optimization algorithm directly integrated into a robotic test-stand. We report here the discovery of a novel battery electrolyte by this experiment completely guided by the machine-learning software without human intervention. Motivated by the recent trend toward super-concentrated aqueous electrolytes for high-performance batteries, we utilize Dragonfly - a Bayesian machine-learning software package - to search mixtures of commonly used lithium and sodium salts for super-concentrated aqueous electrolytes with wide electrochemical stability windows. Dragonfly autonomously managed the robotic test-stand, recommending electrolyte designs to test and receiving experimental feedback in real time. In 40 hours of continuous experimentation over a four-dimensional design space with millions of potential candidates, Dragonfly discovered a novel, mixed-anion aqueous sodium electrolyte with a wider electrochemical stability window than state-of-the-art sodium electrolyte. A human-guided design process may have missed this optimal electrolyte. This result demonstrates the possibility of integrating robotics with machine-learning to rapidly and autonomously discover novel battery materials.


title: Hydrogel Leclanche Cell: Construction and Characterization

abstract: A liquid-to-gel based Leclanch\'e cell has been designed, constructed, and characterized for use in implantable medical devices and other applications where battery access is limited. This well-established chemistry will provide reliable electrochemical potential over a wide range of applications and the novel construction provides a solution for the re-charging of electrodes in hard to access areas such as an internal pacemaker. The traditional Leclanch\'e cell comprised of zinc (anode) and manganese dioxide (cathode), conductive carbon powder (acetylene black or graphite), and aqueous electrolyte hydrogel (NH4Cl and ZnCl2) has been suspended in an agar hydrogel to simplify construction while maintaining electrochemical performance. Agar hydrogel, saturated with electrolyte, serves as the cell support and separator allowing for the discharged battery suspension to be easily replaced once exhausted.


title: The Universal Exponentiable Arrow

abstract: We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is the image of the universal exponentiable arrow by an essentially unique functor.


title: Predicted response of an atom to a short burst of electro-magnetic radiation

abstract: In this work we present a hypothesis that spectral response of atoms or molecules to a pulse of electromagnetic radiation with fast rising or falling fronts would contain a unique emission line that is located approximately near the frequency of the natural oscillations of optical electron. The emission of this "pinging" spectral line would exist during the time that is determined by the time of radiative energy loss by the optical electron. The amplitude of the "pinging" spectral line would be higher for the pulses with faster raising or falling fronts. The simulations using our previously developed model confirmed existence of the "pinging" spectral response. If experimentally confirmed, this work could lead to a new high sensitivity and high signal to noise ratio stand-off detection techniques, a new type of LIDAR, and to other yet unknown applications.


title: Ultrasonic identification technique in recycling of lithium ion batteries

abstract: The recycling of lithium ion batteries has been mentioned as one of the near-future waste management necessities. In order for recycling to be economically viable, straightforward and cost effective techniques need to be developed to separate the individual materials in a composite electrode. Ultrasonic separation might be such a technique, provided that lithium ion battery microparticles respond predictably to a sound field. Lithium ion battery cathodes contain hydrophobic carbon. Owing to the incompressibility of a solid, the thin gaseous layer surrounding these hydrophobic particles must oscillate asymmetrically, when subjected to ultrasound. Consequently, the harmonic content of the ultrasound signal radiated from hydrophobic microparticles must be higher than that from hydrophilic microparticles with the same size. The question of whether the harmonic signal response generated by physical hydrophobic microparticles present in lithium ion battery cathodes is higher than the harmonic response of other component materials in the cathode is the focus of this paper. The scattering response of cathode materials subjected to 1-MHz ultrasound was measured and compared. The cathode materials C65, PVDF, and NMC respond differently to 1-MHz ultrasound. The superharmonic response of C65 has been attributed to asymmetric oscillations owing to its hydrophobicity. In addition, C65 hydrophobic microparticles might be suitable candidates for harmonic imaging.


title: On the domain of moduli fields

abstract: The concept of the moduli space allows for a simple, universally applicable description of the low-energy dynamics of topological solitons. This description is remarkably insensitive to the properties of the underlying theory, whose details only manifest themselves via the moduli space metric. This article presents a generalization of this concept, which allows to transfer its most intriguing features to configurations of any energy captured by the theory giving rise to the soliton, given that these are localized sufficiently close to the soliton's center. The resulting theory is capable of describing all dynamics within its range of applicability by just one family of fields, with all the information about the underlying theory entering via a finite number of background functions, which can be linked to physical properties of the present soliton.


title: Tony Skyrme and the Origins of Skyrmions

abstract: I first discuss the main motivations for Tony Skyrme's highly original program (1958-62) of making fermionic nucleons out of bosonic pion fields, as described in his Cosener's House talk in 1984. These include a dislike of point-like elementary particles, which he blamed for infinite renormalization, and a preference for extended objects distinguished by what we would now call topological quantum numbers. In this he was strongly influenced by William Thomson (Lord Kelvin), who was so impressed by Helmholtz's proof of the conservation of circulation ("Wirbelbewegung") in fluid vortices that he developed an entire theory of atoms as knotted vortices in the ether fluid. Skyrme liked mechanical models, as did Kelvin, and he grew up fascinated by the ingenuity of Kelvin's machine for predicting tides, an example of which stood in his grandfather's house. This seems to have been connected to his strong preference for bosonic fields, which have a classical limit, over fermionic fields which do not. I then sketch the progress of Skyrme's ideas in the series of six papers in the years 1958-62, which passed largely unnoticed at the time. I emphasize his remarkable intuition that the kink solution of the classical Sine-Gordon equation would be a fermion when quantized, and the novelty of his identification of the Skyrmion winding number with baryon number in the three-dimensional case. I end by briefly describing how Skyrme's work was dramatically related to QCD in 1983-4.

categories: physics.hist-ph cond-mat.other hep-ph nucl-th


title: Behavior Associations in Lone-Actor Terrorists

abstract: Terrorist attacks carried out by individuals or single cells have significantly accelerated over the last 20 years. This type of terrorism, defined as lone-actor (LA) terrorism, stands as one of the greatest security threats of our time. Research on LA behavior and characteristics has emerged and accelerated over the last decade. While these studies have produced valuable information on demographics, behavior, classifications, and warning signs, the relationship among these characters are yet to be addressed. Moreover, the means of radicalization and attacking have changed over decades. This study first identifies 25 binary behavioral characteristics of LAs and analyzes 192 LAs recorded on three different databases. Next, the classification is carried out according to first ideology, then to incident scene behavior via a virtual attacker-defender game, and, finally, according to the clusters obtained from the data. In addition, within each class, statistically significant associations and temporal relations are extracted using the A-priori algorithm. These associations would be instrumental in identifying the attacker type and intervene at the right time. The results indicate that while pre-9/11 LAs were mostly radicalized by the people in their environment, post-9/11 LAs are more diverse. Furthermore, the association chains for different LA types present unique characteristic pathways to violence and after-attack behavior.


title: Subradiance and superradiance-to-subradiance transition in dilute atomic clouds

abstract: We experimentally study subradiance in a dilute cloud of ultracold rubidium (Rb) atoms where $n \lambda_a^3 \approx 10^{-2}$ ($n$: atomic density, $\lambda_a$ excitation wavelength) and the on-resonance optical depth of the cloud is of order unity. We show that in the strong excitation regime, the subradiant time-scales depend on the excitation fraction of the cloud; i.e., to the intensity of the excitation pulse. In this regime, the decay dynamics are highly complicated and there is not a single decay time-constant. Instead, the decay time constant varies during the dynamics. Specifically, we were able to observe signatures of superradiant-to-subradiant transition; i. e., initially the decay rate is faster than independent decay (superradiant emission), while at later times it transitions to slower (subradiant emission). We also discuss a theoretical model whose numerical results are in good agreement with the experiments.


title: Near real-time map building with multi-class image set labelling and classification of road conditions using convolutional neural networks

abstract: Weather is an important factor affecting transportation and road safety. In this paper, we leverage state-of-the-art convolutional neural networks in labelling images taken by street and highway cameras located across across North America. Road camera snapshots were used in experiments with multiple deep learning frameworks to classify images by road condition. The training data for these experiments used images labelled as dry, wet, snow/ice, poor, and offline. The experiments tested different configurations of six convolutional neural networks (VGG-16, ResNet50, Xception, InceptionResNetV2, EfficientNet-B0 and EfficientNet-B4) to assess their suitability to this problem. The precision, accuracy, and recall were measured for each framework configuration. In addition, the training sets were varied both in overall size and by size of individual classes. The final training set included 47,000 images labelled using the five aforementioned classes. The EfficientNet-B4 framework was found to be most suitable to this problem, achieving validation accuracy of 90.6%, although EfficientNet-B0 achieved an accuracy of 90.3% with half the execution time. It was observed that VGG-16 with transfer learning proved to be very useful for data acquisition and pseudo-labelling with limited hardware resources, throughout this project. The EfficientNet-B4 framework was then placed into a real-time production environment, where images could be classified in real-time on an ongoing basis. The classified images were then used to construct a map showing real-time road conditions at various camera locations across North America. The choice of these frameworks and our analysis take into account unique requirements of real-time map building functions. A detailed analysis of the process of semi-automated dataset labelling using these frameworks is also presented in this paper.


title: Entropy in the non-Fermi-liquid regime of the doped $2d$ Hubbard model

abstract: We study thermodynamic properties of the doped Hubbard model on the square lattice in the regime of strong charge and spin fluctuations at low temperatures near the metal-to-insulator crossover and obtain results with controlled accuracy using the diagrammatic Monte Carlo method directly in the thermodynamic limit. The behavior of the entropy reveals a non-Fermi-liquid state at sufficiently high interactions near half-filling: a maximum in the entropy at non-zero doping develops as the coupling strength is increased, along with an inflection point, evidencing a metal to non-Fermi-liquid crossover. The specific heat exhibits additional distinctive features of a non-Fermi-liquid state. Measurements of the entropy can therefore be used as a probe of the state of the system in quantum simulation experiments with ultracold atoms in optical lattices.


title: Bulk properties and multi-particle correlations in large and small systems

abstract: Charged particle production is calculated in a hybrid framework consisting of the IP-Glasma initial state, MUSIC viscous relativistic fluid dynamics, and the UrQMD microscopic hadronic cascade. Using one set of parameters, we compute observables for a large variety of collision systems. We compare to experimental data in p+p, p+Pb, Xe+Xe, Au+Au and Pb+Pb collisions at various energies, and make predictions for potential O+O runs at RHIC and LHC.


title: Manipulating Deformable Objects by Interleaving Prediction, Planning, and Control

abstract: We present a framework for deformable object manipulation that interleaves planning and control, enabling complex manipulation tasks without relying on high-fidelity modeling or simulation. The key question we address is when should we use planning and when should we use control to achieve the task? Planners are designed to find paths through complex configuration spaces, but for highly underactuated systems, such as deformable objects, achieving a specific configuration is very difficult even with high-fidelity models. Conversely, controllers can be designed to achieve specific configurations, but they can be trapped in undesirable local minima due to obstacles. Our approach consists of three components: (1) A global motion planner to generate gross motion of the deformable object; (2) A local controller for refinement of the configuration of the deformable object; and (3) A novel deadlock prediction algorithm to determine when to use planning versus control. By separating planning from control we are able to use different representations of the deformable object, reducing overall complexity and enabling efficient computation of motion. We provide a detailed proof of probabilistic completeness for our planner, which is valid despite the fact that our system is underactuated and we do not have a steering function. We then demonstrate that our framework is able to successfully perform several manipulation tasks with rope and cloth in simulation which cannot be performed using either our controller or planner alone. These experiments suggest that our planner can generate paths efficiently, taking under a second on average to find a feasible path in three out of four scenarios. We also show that our framework is effective on a 16 DoF physical robot, where reachability and dual-arm constraints make the planning more difficult.


title: Attosecond synchronization of extreme ultraviolet high harmonics from crystals

abstract: The interaction of strong near-infrared (NIR) laser pulses with wide-bandgap dielectrics produces high harmonics in the extreme ultraviolet (XUV) wavelength range. These observations have opened up the possibility of attosecond metrology in solids, which would benefit from a precise measurement of the emission times of individual harmonics with respect to the NIR laser field. Here we show that, when high-harmonics are detected from the input surface of a magnesium oxide crystal, a bichromatic probing of the XUV emission shows a clear synchronization largely consistent with a semiclassical model of electron-hole recollisions in bulk solids. On the other hand, the bichromatic spectrogram of harmonics originating from the exit surface of the 200 $\mu$m-thick crystal is strongly modified, indicating the influence of laser field distortions during propagation. Our tracking of sub-cycle electron and hole re-collisions at XUV energies is relevant to the development of solid-state sources of attosecond pulses.


title: Compressed Sensing with 1D Total Variation: Breaking Sample Complexity Barriers via Non-Uniform Recovery

abstract: This paper investigates total variation minimization in one spatial dimension for the recovery of gradient-sparse signals from undersampled Gaussian measurements. Recently established bounds for the required sampling rate state that uniform recovery of all $s$-gradient-sparse signals in $\mathbb{R}^n$ is only possible with $m \gtrsim \sqrt{s n} \cdot \text{PolyLog}(n)$ measurements. Such a condition is especially prohibitive for high-dimensional problems, where $s$ is much smaller than $n$. However, previous empirical findings seem to indicate that this sampling rate does not reflect the typical behavior of total variation minimization. The present work provides a rigorous analysis that breaks the $\sqrt{s n}$-bottleneck for a large class of "natural" signals. The main result shows that non-uniform recovery succeeds with high probability for $m \gtrsim s \cdot \text{PolyLog}(n)$ measurements if the jump discontinuities of the signal vector are sufficiently well separated. In particular, this guarantee allows for signals arising from a discretization of piecewise constant functions defined on an interval. The key ingredient of the proof is a novel upper bound for the associated conic Gaussian mean width, which is based on a signal-dependent, non-dyadic Haar wavelet transform. Furthermore, a natural extension to stable and robust recovery is addressed.


title: Optimal Design of Multi-Layer Fog Collectors

abstract: The growing concerns over desertification have spurred research into technologies aimed at acquiring water from non-traditional sources such as dew, fog, and water vapor. Some of the most promising developments have focused on improving designs to collect water from fog. However, the absence of a shared framework to predict, measure and compare the water collection efficiencies of new prototypes is becoming a major obstacle to progress in the field. We address this problem by providing a general theory to design efficient fog collectors as well as a concrete experimental protocol to furnish our theory with all the necessary parameters to quantify the effective water collection efficiency. We show in particular that multi-layer collectors are required for high fog collection efficiency and that all efficient designs are found within a narrow range of mesh porosity. We support our conclusions with measurements on simple multi-layer harp collectors.


title: Ten Social Dimensions of Conversations and Relationships

abstract: Decades of social science research identified ten fundamental dimensions that provide the conceptual building blocks to describe the nature of human relationships. Yet, it is not clear to what extent these concepts are expressed in everyday language and what role they have in shaping observable dynamics of social interactions. After annotating conversational text through crowdsourcing, we trained NLP tools to detect the presence of these types of interaction from conversations, and applied them to 160M messages written by geo-referenced Reddit users, 290k emails from the Enron corpus and 300k lines of dialogue from movie scripts. We show that social dimensions can be predicted purely from conversations with an AUC up to 0.98, and that the combination of the predicted dimensions suggests both the types of relationships people entertain (conflict vs. support) and the types of real-world communities (wealthy vs. deprived) they shape.


title: The Effects of Gender Signals and Performance in Online Product Reviews

abstract: This work quantifies the effects of signaling and performing gender on the success of reviews written on the popular amazon shopping platform. Highly rated reviews play an important role in e-commerce since they are prominently displayed below products. Differences in how gender-signaling and gender-performing review authors are received can lead to important biases in what content and perspectives are represented among top reviews. To investigate this, we extract signals of author gender from user names, distinguishing reviews where the author's likely gender can be inferred. Using reviews authored by these gender-signaling authors, we train a deep-learning classifier to quantify the gendered writing style or gendered performance of reviews written by authors who do not send clear gender signals via their user name. We contrast the effects of gender signaling and performance on review success using matching experiments. While we find no general trend that gendered signals or performances influence overall review success, we find strong context-specific effects. For example, reviews in product categories such as Electronics or Computers are perceived as less helpful when authors signal that they are likely woman, but are received as more helpful in categories such as Beauty or Clothing. In addition to these interesting findings, our work provides a general chain of tools for studying gender-specific effects across various social media platforms.


title: Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences

abstract: Machine teaching is an algorithmic framework for teaching a target hypothesis via a sequence of examples or demonstrations. We investigate machine teaching for temporal logic formulas -- a novel and expressive hypothesis class amenable to time-related task specifications. In the context of teaching temporal logic formulas, an exhaustive search even for a myopic solution takes exponential time (with respect to the time span of the task). We propose an efficient approach for teaching parametric linear temporal logic formulas. Concretely, we derive a necessary condition for the minimal time length of a demonstration to eliminate a set of hypotheses. Utilizing this condition, we propose a myopic teaching algorithm by solving a sequence of integer programming problems. We further show that, under two notions of teaching complexity, the proposed algorithm has near-optimal performance. The results strictly generalize the previous results on teaching preference-based version space learners. We evaluate our algorithm extensively under a variety of learner types (i.e., learners with different preference models) and interactive protocols (e.g., batched and adaptive). The results show that the proposed algorithms can efficiently teach a given target temporal logic formula under various settings, and that there are significant gains of teaching efficacy when the teacher adapts to the learner's current hypotheses or uses oracles.


title: Reinforcement Learning-based Application Autoscaling in the Cloud: A Survey

abstract: Reinforcement Learning (RL) has demonstrated a great potential for automatically solving decision-making problems in complex uncertain environments. RL proposes a computational approach that allows learning through interaction in an environment with stochastic behavior, where agents take actions to maximize some cumulative short-term and long-term rewards. Some of the most impressive results have been shown in Game Theory where agents exhibited superhuman performance in games like Go or Starcraft 2, which led to its gradual adoption in many other domains, including Cloud Computing. Therefore, RL appears as a promising approach for Autoscaling in Cloud since it is possible to learn transparent (with no human intervention), dynamic (no static plans), and adaptable (constantly updated) resource management policies to execute applications. These are three important distinctive aspects to consider in comparison with other widely used autoscaling policies that are defined in an ad-hoc way or statically computed as in solutions based on meta-heuristics. Autoscaling exploits the Cloud elasticity to optimize the execution of applications according to given optimization criteria, which demands to decide when and how to scale-up/down computational resources, and how to assign them to the upcoming processing workload. Such actions have to be taken considering that the Cloud is a dynamic and uncertain environment. Motivated by this, many works apply RL to the autoscaling problem in the Cloud. In this work, we survey exhaustively those proposals from major venues, and uniformly compare them based on a set of proposed taxonomies. We also discuss open problems and prospective research in the area.


title: Cavity Optomechanics with Polariton Bose-Einstein Condensates

abstract: We report the experimental study of a hybrid quantum solid state system comprising two-level artificial atoms coupled to cavity confined optical and vibrational modes. In this system combining cavity quantum electrodynamics and cavity optomechanics, excitons in quantum wells play the role of the two-level atoms and are strongly coupled to the optical field leading to mixed polariton states. The planar optical microcavities are laterally microstructured, so that polaritons can be confined in wires, 3D traps, and arrays of traps, providing an additional tuning degree of freedom for the polariton energies. Upon increasing the non-resonant laser excitation power, a Bose-Einstein condensation of the polaritons is observed. Optomechanical induced amplification type of experiments with an additional weak laser probe clearly identify the coupling of these Bose-Einstein condensates to 20~GHz breathing-like vibrations confined in the same cavities. With single continuous wave non-resonant laser excitation, and once the laser power overpasses the threshold for Bose-Einstein condensation in trap arrays, mechanical self-oscillation similar to phonon ``lasing'' is induced with the concomitant observation of Mollow-triplet type mechanical sidebands on the Bose-Einstein condensate emission. High-resolution spectroscopic photoluminescence experiments evidence that these vibrational side-band resolved lines are enhanced when neighboring traps are red-detuned with respect to the BEC emission at overtones of the fundamental 20 GHz breathing mode frequency. These results constitute the first demonstration of coherent cavity polariton optomechanics and pave the way towards a novel type of hybrid devices for quantum technologies, phonon lasers, and phonon-photon bidirectional translators.


title: Superfluidity in Disordered Neutron Stars Crusts

abstract: Nonequilibrium conditions imposed by neutrino cooling through the liquid-solid transition lead to disorder in the solid crust of neutron stars. Disorder reduces the superfluid fraction, $\rho_s/\rho$, at densities above that of neutron drip, $\rho_d \approx 4\times 10^{11}\,g/cm^3$. For an amorphous solid crust the suppression of $\rho_s$ is small, except in the highest density regions of the crust. In contrast to the strong reduction in neutron conduction predicted for coherent Bragg scattering in a crystalline crust, the disordered solid crust supports sufficient neutron superfluid density to account for pulsar glitches.


title: Centrality criteria of inelastic nucleon-nucleon collisions

abstract: A process of inelastic nucleon-nucleon collisions with the impact parameter less than a radius of the nucleon quark core is considered. The criteria for selection of such collisions from a full array of the nucleon-nucleon interactions are suggested.


title: Efficient Algorithms towards Network Intervention

abstract: Research suggests that social relationships have substantial impacts on individuals' health outcomes. Network intervention, through careful planning, can assist a network of users to build healthy relationships. However, most previous work is not designed to assist such planning by carefully examining and improving multiple network characteristics. In this paper, we propose and evaluate algorithms that facilitate network intervention planning through simultaneous optimization of network degree, closeness, betweenness, and local clustering coefficient, under scenarios involving Network Intervention with Limited Degradation - for Single target (NILD-S) and Network Intervention with Limited Degradation - for Multiple targets (NILD-M). We prove that NILD-S and NILD-M are NP-hard and cannot be approximated within any ratio in polynomial time unless P=NP. We propose the Candidate Re-selection with Preserved Dependency (CRPD) algorithm for NILD-S, and the Objective-aware Intervention edge Selection and Adjustment (OISA) algorithm for NILD-M. Various pruning strategies are designed to boost the efficiency of the proposed algorithms. Extensive experiments on various real social networks collected from public schools and Web and an empirical study are conducted to show that CRPD and OISA outperform the baselines in both efficiency and effectiveness.


title: Asymmetric Choi--Davis inequalities

abstract: Let $\Phi$ be a unital positive linear map and let $A$ be a positive invertible operator. We prove that there exist partial isometries $U$ and $V$ such that \[ |\Phi(f(A))\Phi(A)\Phi(g(A))|\leq U^*\Phi(f(A)Ag(A))U \] and \[\left|\Phi\left(f(A)\right)^{-r}\Phi(A)^r\Phi\left(g(A)\right)^{-r}\right|\leq V^*\Phi\left(f(A)^{-r}A^rg(A)^{-r}\right)V\] hold under some mild operator convex conditions and some positive numbers $r$. Further, we show that if $f^2$ is operator concave, then $$ |\Phi(f(A))\Phi(A)|\leq \Phi(Af(A)).$$ In addition, we give some counterparts to the asymmetric Choi--Davis inequality and asymmetric Kadison inequality. Our results extend some inequalities due to Bourin--Ricard and Furuta.


title: NASA-TLX Web App: An Online Tool to Analyse Subjective Workload

abstract: NASA Task Load Index (NASA-TLX) is a widely used assessment technique to compute subjective workload experienced during a task. It evaluates workload using six dimensions: mental demand, physical demand, temporal demand, frustration, effort, and performance. This paper presents a web app to assist experimenters in using NASA-TLX to commute subjective workload. The web app enables the experimenter to conduct various experiments simultaneously and offers the participants a concise interface to provide their subjective evaluation. It performs the calculations at the backend and provides the computed results comprehensively. The web app provides a dashboard for the experimenter to visualize and export the summary of results. Qualitative feedback from 12 experimenters indicated that the NASA-TLX web app is relevant, helpful, and easy to use.


title: Ray-Tracing 5G Channels from Scenarios with Mobility Control of Vehicles and Pedestrians

abstract: Millimeter waves is one of 5G networks strategies to achieve high bit rates. Measurement campaigns with these signals are difficult and require expensive equipment. In order to generate realistic data this paper refines a methodology for virtual measurements of 5G channels, which combines a simulation of urban mobility with a ray-tracing simulator. The urban mobility simulator is responsible for controlling mobility, positioning pedestrians and vehicles throughout each scene while the ray-tracing simulator is repeatedly invoked, simulating the interactions between receivers and transmitters. The orchestration among both simulators is done using a Python software. To check how the realism can influence the computational cost, it was made a numerical analyze between the number of faces and the simulation time.


title: Global analytic hypoellipticity for a class of evolution operators on $\mathbb{T}^1\times\mathbb{S}^3$

abstract: In this paper, we present necessary and sufficient conditions to have global analytic hypoellipticity for a class of first-order operators defined on $\mathbb{T}^1 \times \mathbb{S}^3$. In the case of real-valued coefficients, we prove that an operator in this class is conjugated to a constant-coefficient operator satisfying a Diophantine condition, and that such conjugation preserves the global analytic hypoellipticity. In the case where the imaginary part of the coefficients is non-zero, we show that the operator is globally analytic hypoelliptic if the Nirenberg-Treves condition ($\mathcal{P}$) holds, in addition to a Diophantine condition.


title: Flatness and Complexity of Immediate Observation Petri Nets

abstract: In a previous paper we introduced immediate observation (IO) Petri nets, a class of interest in the study of population protocols and enzymatic chemical networks. In the first part of this paper we show that IO nets are globally flat, and so their safety properties can be checked by efficient symbolic model checking tools using acceleration techniques, like FAST. In the second part we study Branching IO nets (BIO nets), whose transitions can create tokens. BIO nets extend both IO nets and communication-free nets, also called BPP nets, a widely studied class. We show that, while BIO nets are no longer globally flat, and their sets of reachable markings may be non-semilinear, they are still locally flat. As a consequence, the coverability and reachability problem for BIO nets, and even a certain set-parameterized version of them, are in PSPACE. This makes BIO nets the first natural net class with non-semilinear reachability relation for which the reachability problem is provably simpler than for general Petri nets.


title: Conservation Laws for the Density of Roots of Polynomials under Differentiation

abstract: Let $p_n(x)$ be a polynomial of degree $n$ having $n$ distinct, real roots distributed according to a nice probability distribution $u(0,x)dx$ on $\mathbb{R}$. One natural problem is to understand the density $u(t,x)$ of the roots of the $(t\cdot n)-$th derivative of $p_n$ where $0 < t < 1$ as $n \rightarrow \infty$. We derive an \textit{infinite} number of conversation laws for the evolution of $u(t,x)$. The first three are \begin{align*} \int_{\mathbb{R}}{ u(t,x) ~ dx} = 1-t, \qquad \qquad \int_{\mathbb{R}}{ u(t,x) x ~ dx} = \left(1-t\right)\int_{\mathbb{R}}{ u(0,x) x~ dx}, \qquad \int_{\mathbb{R}} \int_{\mathbb{R}} u(t,x) (x-y)^2 u(t,y) ~ dx dy = (1-t)^3 \int_{\mathbb{R}} \int_{\mathbb{R}} u(0,x) (x-y)^2 u(0,y) ~ dx dy. \end{align*} The author suggested that $u(t,x)$ might evolve according to a nonlocal evolution equation involving the Hilbert transform; this has been verified for two special closed form solutions -- these conservation laws thus point to interesting identities for the Hilbert transform. We discuss many open problems.


title: More from Less? Environmental Rebound Effects of City Size

abstract: Global sustainability relies on our capacity of understanding and guiding urban systems, and their metabolism, in an adequate way. It has been proposed that bigger and denser cities are more resource-efficient than smaller ones because they tend to demand less infrastructure, consume less fuel for transportation and less energy for cooling or heating in per capita terms. This hypothesis is also called Brand's Law. But as cities get bigger, denser and more resource-efficient they also get richer. And richer inhabitants buy more, increasing its resource demand and associated environmental impacts. To fully understand the nexus between population size or density and the environmental impacts generated by a city, one needs to take into account both direct and indirect impacts. Facing the lack of empirical evidence on consumption-based emissions for cities, in this paper we propose a mean-field model to derive emissions estimations out of well-established urban metrics (city size, density, infrastructure, wealth). We aim at understanding if Brand's law holds true after adopting a consumption-based approach to urban emissions. The proposed model shows that when considering consumption-based emissions, in most cases Brand's law falls apart - bigger cities have greater purchase power, resulting in greater consumption of goods and higher associated GHG emissions. The model also shows that decoupling between population and emissions is possible and dependent on the decoupling level between income and impacts. In order to achieve it, a shift in consumption patterns of most cities is of utmost importance, so that each new monetary unit added to the GDP, or any other income variable for that effect does not result in a proportional increase in GHG emissions.


title: Automatic coarsening in Algebraic Multigrid utilizing quality measures for matching-based aggregations

abstract: In this paper, we discuss the convergence of an Algebraic MultiGrid (AMG) method for general symmetric positive-definite matrices. The method relies on an aggregation algorithm, named \emph{coarsening based on compatible weighted matching}, which exploits the interplay between the principle of compatible relaxation and the maximum product matching in undirected weighted graphs. The results are based on a general convergence analysis theory applied to the class of AMG methods employing unsmoothed aggregation and identifying a quality measure for the coarsening; similar quality measures were originally introduced and applied to other methods as tools to obtain good quality aggregates leading to optimal convergence for M-matrices. The analysis, as well as the coarsening procedure, is purely algebraic and, in our case, allows an \emph{a posteriori} evaluation of the quality of the aggregation procedure which we apply to analyze the impact of approximate algorithms for matching computation and the definition of graph edge weights. We also explore the connection between the choice of the aggregates and the compatible relaxation convergence, confirming the consistency between theories for designing coarsening procedures in purely algebraic multigrid methods and the effectiveness of the coarsening based on compatible weighted matching. We discuss various completely automatic algorithmic approaches to obtain aggregates for which good convergence properties are achieved on various test cases.


title: The principal $p$-blocks with small numbers of characters

abstract: For a prime $p$, we determine a Sylow $p$-subgroup $D$ of a finite group $G$ such that the principal $p$-block $B$ of $G$ has four irreducible ordinary characters. It has been determined already for the cases where the number is up to three by work by R. Brauer, J. Brandt, and V.A. Belonogov thirty years ago. Our proof relies on the classification of finite simple groups.


title: Piles of piles: An inter-country comparison of nuclear pile development during World War II

abstract: Between the time of the discovery of nuclear fission in early 1939 and the end of 1946, approximately 90 nuclear piles were constructed in six countries. These devices ranged from simple graphite columns containing neutron sources but no uranium to others as complex as the water-cooled 250-megawatt plutonium production reactors built at Hanford, Washington. This paper summarizes and compares the properties of these piles.


title: Time's Arrow and Self-Locating Probability

abstract: One of the most difficult problems in the foundations of physics is what gives rise to the arrow of time. Since the fundamental dynamical laws of physics are (essentially) symmetric in time, the explanation for time's arrow must come from elsewhere. A promising explanation introduces a special cosmological initial condition, now called the Past Hypothesis: the universe started in a low-entropy state. Unfortunately, in a universe where there are many copies of us (in the distant "past" or the distant "future"), the Past Hypothesis is not enough; we also need to postulate self-locating (de se) probabilities. However, I show that we can similarly use self-locating probabilities to strengthen its rival -- the Fluctuation Hypothesis, leading to in-principle empirical underdetermination and radical epistemological skepticism. The underdetermination is robust in the sense that it is not resolved by the usual appeal to 'empirical coherence' or 'simplicity.' That is a serious problem for the vision of providing a completely scientific explanation of time's arrow.


title: A Sharper Image: The Quest of Science and Recursive Production of Objective Realities

abstract: This article explores the metaphor of Science as provider of sharp images of our environment, using the epistemological framework of Objective Cognitive Constructivism. These sharp images are conveyed by precise scientific hypotheses that, in turn, are encoded by mathematical equations. Furthermore, this article describes how such knowledge is produced by a cyclic and recursive develop, perfection and reinforcement process, leading to the emergence of eigen-solutions characterized by the four essential properties of precision, stability, separability and composability. Finally, this article discusses the role played by ontology and metaphysics in the scientific production process, and in which sense the resulting knowledge can be considered objective.


title: Non-relativistic neutrinos and the weak equivalence principle apparent violation

abstract: We study the non-relativistic limit of Dirac equation for mixed neutrinos. We demonstrate that such a procedure inevitably leads to a redefinition of the inertial mass. This happens because, in contrast to the case when mixing is absent, the antiparticle sector contribution cannot be neglected for neutrinos with definite flavor. We then show that, when a gravitational interaction is switched on, in the weak-field approximation the mass parameter which couples to gravity (gravitational mass) does not undergo the same reformulation as the inertial mass, thus leading to an apparent breakdown of the weak equivalence principle.


title: Optimal Selective Encoding for Timely Updates

abstract: We consider a system in which an information source generates independent and identically distributed status update packets from an observed phenomenon that takes $n$ possible values based on a given pmf. These update packets are encoded at the transmitter node to be sent to the receiver node. Instead of encoding all $n$ possible realizations, the transmitter node only encodes the most probable $k$ realizations and disregards whenever a realization from the remaining $n-k$ values occurs. We find the average age and determine the age-optimal real codeword lengths such that the average age at the receiver node is minimized. Through numerical evaluations for arbitrary pmfs, we show that this selective encoding policy results in a lower average age than encoding every realization and find the age-optimal $k$. We also analyze a randomized selective encoding policy in which the remaining $n-k$ realizations are encoded and sent with a certain probability to further inform the receiver at the expense of longer codewords for the selected $k$ realizations.


title: Theory of acoustic trapping of microparticles in capillary tubes

abstract: We present a semi-analytical theory for the acoustic fields and particle-trapping forces in a viscous fluid inside a capillary tube with arbitrary cross section and ultrasound actuation at the walls. We find that the acoustic fields vary axially on a length scale proportional to the square root of the quality factor of the two-dimensional (2D) cross-section resonance mode. This axial variation is determined analytically based on the numerical solution to the eigenvalue problem in the 2D cross section. The analysis is developed in two steps: First, we generalize a recently published expression for the 2D standing-wave resonance modes in a rectangular cross section to arbitrary shapes, including the viscous boundary layer. Second, based on these 2D modes, we derive analytical expressions in three dimensions for the acoustic pressure, the acoustic radiation and trapping force, as well as the acoustic energy flux density. We validate the theory by comparison to three-dimensional numerical simulations.


title: Towards a Human-like Open-Domain Chatbot

abstract: We present Meena, a multi-turn open-domain chatbot trained end-to-end on data mined and filtered from public domain social media conversations. This 2.6B parameter neural network is simply trained to minimize perplexity of the next token. We also propose a human evaluation metric called Sensibleness and Specificity Average (SSA), which captures key elements of a human-like multi-turn conversation. Our experiments show strong correlation between perplexity and SSA. The fact that the best perplexity end-to-end trained Meena scores high on SSA (72% on multi-turn evaluation) suggests that a human-level SSA of 86% is potentially within reach if we can better optimize perplexity. Additionally, the full version of Meena (with a filtering mechanism and tuned decoding) scores 79% SSA, 23% higher in absolute SSA than the existing chatbots we evaluated.


title: Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks

abstract: This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex tasks that are time-sensitive, in the presence of an adversary. The task is specified as a formula in metric interval temporal logic (MITL). The adversary is assumed to have the ability to tamper with the control input to the CPS and also manipulate timing information perceived by the CPS. In order to model the interaction between the CPS and the adversary, and also the effect of these two classes of attacks, we define an entity called a durational stochastic game (DSG). DSGs probabilistically capture transitions between states in the environment, and also the time taken for these transitions. With the policy of the defender represented as a finite state controller (FSC), we present a value-iteration based algorithm that computes an FSC that maximizes the probability of satisfying the MITL specification under the two classes of attacks. A numerical case-study on a signalized traffic network is presented to illustrate our results.


title: Finitely summable $\gamma$-elements for word-hyperbolic groups

abstract: We present two explicit combinatorial constructions of finitely summable reduced "Gamma"-elements $\gamma_r\,\in\,KK(C^*_r(\Gamma),{\mathbb C})$ for any word-hyperbolic group $(\Gamma,S)$ and obtain summability bounds for them in terms of the cardinality of the generating set $S\subset\Gamma$ and the hyperbolicity constant of the associated Cayley graph.


title: Efficient correction of multiqubit measurement errors

abstract: State preparation and measurement (SPAM) errors limit the performance of near-term quantum computers and their potential for practical application. SPAM errors are partly correctable after a calibration step that requires, for a complete implementation on a register of $n$ qubits, $2^n$ additional measurements. Here we introduce an approximate but efficient method for multiqubit SPAM error characterization and mitigation requiring the classical processing of $2^n \! \times 2^n$ matrices, but only $O(4^k n^2)$ measurements, where $k=O(1)$ is the number of qubits in a correlation volume. We demonstrate and validate the technique using an IBM Q processor on registers of 4 and 8 superconducting qubits.


title: Designing a Socially Assistive Robot for Long-Term In-Home Use for Children with Autism Spectrum Disorders

abstract: Socially assistive robotics (SAR) research has shown great potential for supplementing and augmenting therapy for children with autism spectrum disorders (ASD). However, the vast majority of SAR research has been limited to short-term studies in highly controlled environments. The design and development of a SAR system capable of interacting autonomously {\it in situ} for long periods of time involves many engineering and computing challenges. This paper presents the design of a fully autonomous SAR system for long-term, in-home use with children with ASD. We address design decisions based on robustness and adaptability needs, discuss the development of the robot's character and interactions, and provide insights from the month-long, in-home data collections with children with ASD. This work contributes to a larger research program that is exploring how SAR can be used for enhancing the social and cognitive development of children with ASD.


title: Accelerating Transient Fault Injection Campaigns by using Dynamic HDL Slicing

abstract: Along with the complexity of electronic systems for safety-critical applications, the cost of safety mechanisms evaluation by fault injection simulation is rapidly going up. To reduce these efforts, we propose a fault injection methodology where Hardware Description Language (HDL) code slicing is exploited to accelerate transient fault injection campaigns by pruning fault lists and reducing the number of the injections. In particular, the dynamic HDL slicing technique provides for a critical fault list and allows avoiding injections at non-critical time-steps. Experimental results on an industrial core show that the proposed methodology can successfully reduce the number of injections by up to 10 percent and speed-up the fault injection campaigns.


title: Non-Abelian U-duality for membrane

abstract: T-duality of string theory can be extended to the Poisson-Lie T-duality when the target space has a generalized isometry group given by a Drinfel'd double. In M-theory, T-duality is understood as a subgroup of U-duality, but the non-Abelian extension of U-duality is still a mystery. In this paper, we study membrane theory on a curved background with a generalized isometry group given by the $\mathcal{E}_n$ algebra. This provides a natural setup to study non-Abelian U-duality because the $\mathcal{E}_n$ algebra has been proposed as a U-duality extension of the Drinfel'd double. We show that the standard treatment of Abelian U-duality can be extended to the non-Abelian setup. However, a famous issue in Abelian U-duality still exists in the non-Abelian extension.


title: Universal bolometric corrections for AGN over 7 luminosity decades

abstract: The AGN bolometric correction is a key element to understand BH demographics and compute accurate BH accretion histories from AGN luminosities. However, current estimates still differ from each other by up to a factor of two to three, and rely on extrapolations at the lowest and highest luminosities. Here we revisit this fundamental issue presenting general hard X-ray ($K_{X}$) and optical ($K_{O}$) bolometric corrections, computed combining several AGN samples spanning the widest (about 7 dex) luminosity range ever used for this kind of studies. We analysed a total of $\sim 1000$ type 1 and type 2 AGN for which a dedicated SED-fitting has been carried out. We provide a bolometric correction separately for type 1 and type 2 AGN; the two bolometric corrections results to be in agreement in the overlapping luminosity range and therefore, for the first time, a universal bolometric correction for the whole AGN sample (both type 1 and type 2) has been computed. We found that $K_{X}$ is fairly constant at $log(L_{BOL}/L_{\odot}) < 11$, while it increases up to about one order of magnitude at $log(L_{BOL}/L_{\odot}) \sim 14.5$. A similar increasing trend has been observed when its dependence on either the Eddington ratio or the BH mass is considered, while no dependence on redshift up to $z\sim3.5$ has been found. On the contrary, the optical bolometric correction appears to be fairly constant (i.e. $K_{O} \sim 5$) whatever is the independent variable. We also verified that our bolometric corrections correctly predict the AGN bolometric luminosity functions. According to this analysis, our bolometric corrections can be applied to the whole AGN population in a wide range of luminosity and redshift.


title: Contribution of pulsars to cosmic-ray positrons in light of recent observation of inverse-Compton halos

abstract: The hypothesis that pulsar wind nebulae (PWNe) can significantly contribute to the excess of the positron ($e^+$) cosmic-ray flux has been consolidated after the observation of a $\gamma$-ray emission at TeV energies of a few degree size around Geminga and Monogem PWNe, and at GeV energies for Geminga at a much larger extension. The $\gamma$-ray halos around these PWNe are interpreted as due to electrons ($e^-$) and $e^+$ accelerated and escaped by their PWNe, and inverse Compton scattering low-energy photons of the interstellar radiation fields. The extension of these halos suggests that the diffusion around these PWNe is suppressed by two orders of magnitude with respect to the average in the Galaxy. We implement a two-zone diffusion model for the propagation of $e^+$ accelerated by the Galactic population of PWNe. We consider pulsars from the ATNF catalog and build up simulations of the PWN Galactic population. In both scenarios, we find that within a two-zone diffusion model, the total contribution from PWNe and secondary $e^+$ is at the level of AMS-02 data, for an efficiency of conversion of the pulsar spin down energy in $e^\pm$ of $\eta\sim0.1$. For the simulated PWNe, a $1\sigma$ uncertainty band is determined, which is of at least one order of magnitude from 10 GeV up to few TeV. The hint for a decreasing $e^+$ flux at TeV energies is found, even if it is strongly connected to the chosen value of the radius of the low diffusion bubble around each source.


title: Zheghalkin-Boolean Calculus

abstract: Boolean calculus has been studied extensively in the past in the context of switching circuits, error-correcting codes etc. This work generalizes several approaches to defining a differential calculus for Boolean functions. A unified theory of Boolean calculus, complete with k-forms and integration, is presented through the use of Zhegalkin algebras (i.e., algebraic normal forms), culminating in a Stokes-like theorem for Boolean functions.


title: Technological Challenges in Low-mass Interstellar Probe Communication

abstract: Building on a preliminary paper design of a downlink from a swarm of low-mass interstellar probes for returning scientific data from the vicinity of Proxima Centauri, the most critical technology issues are summarized, and their significance is explained in the context of the overall system design. The primary goal is to identify major challenges or showstoppers if such a downlink were to be constructed using currently available off-the-shelf technology, and thereby provide direction and motivation to future research on the constituent design challenges and technologies. While there are not any fundamental physical limits that prevent such communication systems, currently available technologies fall significantly short in several areas and there are other major design challenges with uncertain solutions. The greatest identified challenges are in mass constraints, multiplexing simultaneous communication from multiple probes to the same target exoplanet, attitude control and pointing accuracy, and Doppler shifts due to uncertainty in probe velocity. The greatest technology challenges are electrical power, high power and wavelength-agile optical sources, very selective and wavelength-agile banks of optical bandpass filters, and single-photon detectors with extremely low dark-count rates. For a critical subset of these, we describe the nature of the difficulties we encounter and their origins in the overall system context. A receiver that limits reception to a single probe is also considered and compared to the swarm case.


title: Regression-based music emotion prediction using triplet neural networks

abstract: In this paper, we adapt triplet neural networks (TNNs) to a regression task, music emotion prediction. Since TNNs were initially introduced for classification, and not for regression, we propose a mechanism that allows them to provide meaningful low dimensional representations for regression tasks. We then use these new representations as the input for regression algorithms such as support vector machines and gradient boosting machines. To demonstrate the TNNs' effectiveness at creating meaningful representations, we compare them to different dimensionality reduction methods on music emotion prediction, i.e., predicting valence and arousal values from musical audio signals. Our results on the DEAM dataset show that by using TNNs we achieve 90% feature dimensionality reduction with a 9% improvement in valence prediction and 4% improvement in arousal prediction with respect to our baseline models (without TNN). Our TNN method outperforms other dimensionality reduction methods such as principal component analysis (PCA) and autoencoders (AE). This shows that, in addition to providing a compact latent space representation of audio features, the proposed approach has a higher performance than the baseline models.


title: The impact of Audio input representations on neural network based music transcription

abstract: This paper thoroughly analyses the effect of different input representations on polyphonic multi-instrument music transcription. We use our own GPU based spectrogram extraction tool, nnAudio, to investigate the influence of using a linear-frequency spectrogram, log-frequency spectrogram, Mel spectrogram, and constant-Q transform (CQT). Our results show that a $8.33$% increase in transcription accuracy and a $9.39$% reduction in error can be obtained by choosing the appropriate input representation (log-frequency spectrogram with STFT window length 4,096 and 2,048 frequency bins in the spectrogram) without changing the neural network design (single layer fully connected). Our experiments also show that Mel spectrogram is a compact representation for which we can reduce the number of frequency bins to only 512 while still keeping a relatively high music transcription accuracy.


title: FOS: A Modular FPGA Operating System for Dynamic Workloads

abstract: With FPGAs now being deployed in the cloud and at the edge, there is a need for scalable design methods which can incorporate the heterogeneity present in the hardware and software components of FPGA systems. Moreover, these FPGA systems need to be maintainable and adaptable to changing workloads while improving accessibility for the application developers. However, current FPGA systems fail to achieve modularity and support for multi-tenancy due to dependencies between system components and lack of standardised abstraction layers. To solve this, we introduce a modular FPGA operating system -- FOS, which adopts a modular FPGA development flow to allow each system component to be changed and be agnostic to the heterogeneity of EDA tool versions, hardware and software layers. Further, to dynamically maximise the utilisation transparently from the users, FOS employs resource-elastic scheduling to arbitrate the FPGA resources in both time and spatial domain for any type of accelerators. Our evaluation on different FPGA boards shows that FOS can provide performance improvements in both single-tenant and multi-tenant environments while substantially reducing the development time and, at the same time, improving flexibility.


title: Intel Page Modification Logging, a hardware virtualization feature: study and improvement for virtual machine working set estimation

abstract: Intel Page Modification Logging (PML) is a novel hardware feature for tracking virtual machine (VM) accessed memory pages. This task is essential in today's data centers since it allows, among others, checkpointing, live migration and working set size (WSS) estimation. Relying on the Xen hypervisor, this paper studies PML from three angles: power consumption, efficiency, and performance impact on user applications. Our findings are as follows. First, PML does not incur any power consumption overhead. Second, PML reduces by up to 10.18% both VM live migration and checkpointing time. Third, PML slightly reduces by up to 0.95% the performance degradation on applications incurred by live migration and checkpointing. Fourth, PML however does not allow accurate WSS estimation because read accesses are not tracked and hot pages cannot be identified. A naive extension of PML for addressing these limitations could lead to severe performance degradation (up to 34.8%) for the VM whose WSS is computed. This paper presents Page Reference Logging (PRL), a smart extension of PML for allowing both read and write accesses to be tracked. It does this without impacting user VMs. The paper also presents a WSS estimation system which leverages PRL and shows how this algorithm can be integrated into a data center which implements memory overcommitment. We implement PRL and the WSS estimation system under Gem5, a very popular hardware simulator. The evaluation results validate the accuracy of PRL in the estimation of WSS. They also show that PRL incurs no performance degradation for user VMs.


title: Mixed fractional Risk Process

abstract: In this paper, we introduce a risk process, namely, the mixed fractional risk process (MFRP) in which the number of claims in the associated claim process are modelled using the mixed fractional Poisson process (MFPP). The covariance structure of the MFRP is studied and its long-range dependence property has been established. Also, we show that the increments of MFRP exhibit the short-range dependence property. Another fractional risk process based on the MFPP is introduced which we call as the MFRP-II. It differs from the MFRP in terms of premium. Its ruin probabilities in the case of exponential and subexponential distributions of claim sizes are obtained.


title: Generating Natural Adversarial Hyperspectral examples with a modified Wasserstein GAN

abstract: Adversarial examples are a hot topic due to their abilities to fool a classifier's prediction. There are two strategies to create such examples, one uses the attacked classifier's gradients, while the other only requires access to the clas-sifier's prediction. This is particularly appealing when the classifier is not full known (black box model). In this paper, we present a new method which is able to generate natural adversarial examples from the true data following the second paradigm. Based on Generative Adversarial Networks (GANs) [5], it reweights the true data empirical distribution to encourage the classifier to generate ad-versarial examples. We provide a proof of concept of our method by generating adversarial hyperspectral signatures on a remote sensing dataset.


title: A Primer on Domain Adaptation

abstract: Standard supervised machine learning assumes that the distribution of the source samples used to train an algorithm is the same as the one of the target samples on which it is supposed to make predictions. However, as any data scientist will confirm, this is hardly ever the case in practice. The set of statistical and numerical methods that deal with such situations is known as domain adaptation, a field with a long and rich history. The myriad of methods available and the unfortunate lack of a clear and universally accepted terminology can however make the topic rather daunting for the newcomer. Therefore, rather than aiming at completeness, which leads to exhibiting a tedious catalog of methods, this pedagogical review aims at a coherent presentation of four important special cases: (1) prior shift, a situation in which training samples were selected according to their labels without any knowledge of their actual distribution in the target, (2) covariate shift which deals with a situation where training examples were picked according to their features but with some selection bias, (3) concept shift where the dependence of the labels on the features defers between the source and the target, and last but not least (4) subspace mapping which deals with a situation where features in the target have been subjected to an unknown distortion with respect to the source features. In each case we first build an intuition, next we provide the appropriate mathematical framework and eventually we describe a practical application.


title: Automated Parallel Kernel Extraction from Dynamic Application Traces

abstract: Modern program runtime is dominated by segments of repeating code called kernels. Kernels are accelerated by increasing memory locality, increasing data-parallelism, and exploiting producer-consumer parallelism among kernels - which requires hardware specialized for a particular class of kernels. Programming this hardware can be difficult, requiring that the kernels be identified and annotated in the code or translated to a domain-specific language. This paper describes a technique to automatically localize parallel kernels from a dynamic application trace, facilitating further code optimization. Dynamic trace collection is fast and compact. With optimization, it only incurs a time-dilation of a factor on nine and file-size of one megabyte per second, addressing a significant criticism of this approach. Kernel extraction is accurate and performed in linear time within logarithmic memory, detecting a wide range of kernels. This approach was validated across 16 libraries, comprised of 10,507 kernels instances. To validate the accuracy of our detected kernels, five test programs were written that spans traditional kernel definitions and were certified to contain all the kernels that were expected.


title: A Proposed Method for Assessing Cluster Heterogeneity

abstract: Assessing how adequate clusters fit a dataset and finding an optimum number of clusters is a difficult process. A membership matrix and the degree of membership matrix is suggested to determine the homogeneity of a cluster fit. Maximisation of the ratio of the overall degree of membership at cluster number lag 1 is also suggested as a method to optimise the number of clusters in a dataset. A threshold factor upon the degree of membership is also suggested for homogeneous clusters. Cluster simulations were given to compare how well the proposed method compares against established methods. This method may be applied to the output of both hierarchical and k-means clustering.


title: Shape isomers in Pt, Hg and Pb isotopes with N $\le$ 126

abstract: Deformation-energy surfaces of 54 even-even isotopes of Pt, Hg and Pb nuclei with neutron numbers up to 126 are investigated within a macroscopic-microscopic model based on the Lublin-Strasbourg-Drop macroscopic energy and shell plus pairing-energy corrections obtained from a Yukawa-folded mean-field potential at the desired deformation. A new, rapidly converging Fourier shape parametrization is used to describe nuclear shapes. The stability of shape isomeric states with respect to non-axial and higher-order deformations is investigated.


title: Gravitational Wilson Lines in 3D de Sitter

abstract: We construct local probes in the static patch of Euclidean dS$_3$ gravity. These probes are Wilson line operators, designed by exploiting the Chern-Simons formulation of 3D gravity. Our prescription uses non-unitary representations of $so(4)\simeq su(2)_L\times su(2)_R$, and we evaluate the Wilson line for states satisfying a singlet condition. We discuss how to reproduce the Green's functions of massive scalar fields in dS$_3$, the construction of bulk fields, and the quasinormal mode spectrum. We also discuss the interpretation of our construction in Lorentzian signature in the inflationary patch, via $SL(2,\mathbb{C})$ Chern-Simons theory.


title: The BUFFALO HST Survey

abstract: The Beyond Ultra-deep Frontier Fields and Legacy Observations (BUFFALO) is a 101 orbit + 101 parallel Cycle 25 Hubble Space Telescope Treasury program taking data from 2018-2020. BUFFALO will expand existing coverage of the Hubble Frontier Fields (HFF) in WFC3/IR F105W, F125W, and F160W and ACS/WFC F606W and F814W around each of the six HFF clusters and flanking fields. This additional area has not been observed by HST but is already covered by deep multi-wavelength datasets, including Spitzer and Chandra. As with the original HFF program, BUFFALO is designed to take advantage of gravitational lensing from massive clusters to simultaneously find high-redshift galaxies which would otherwise lie below HST detection limits and model foreground clusters to study properties of dark matter and galaxy assembly. The expanded area will provide a first opportunity to study both cosmic variance at high redshift and galaxy assembly in the outskirts of the large HFF clusters. Five additional orbits are reserved for transient followup. BUFFALO data including mosaics, value-added catalogs and cluster mass distribution models will be released via MAST on a regular basis, as the observations and analysis are completed for the six individual clusters.


title: Turbulence Regulates the Rate of Planetesimal Formation via Gravitational Collapse

abstract: We study how the interaction between the streaming instability and intrinsic gas-phase turbulence affects planetesimal formation via gravitational collapse in protoplanetary disks. Turbulence impedes the formation of particle clumps by acting as an effective turbulent diffusivity, but it can also promote planetesimal formation by concentrating solids, for example in zonal flows. We quantify the effect of turbulent diffusivity using numerical simulations of the streaming instability in small local domains, forced with velocity perturbations that establish approximately Kolmogorov-like turbulence. We find that planetesimal formation is suppressed by turbulence once velocity fluctuations exceed $\langle \delta v^2 \rangle \simeq 10^{-3.5} - 10^{-3} c_s^2$. Turbulence whose strength is just below the threshold reduces the rate at which solids are bound into clumps. Our results suggest that the well-established turbulent thickening of the mid-plane solid layer is the primary mechanism by which turbulence influences planetesimal formation and that planetesimal formation requires a mid-plane solid-to-gas ratio $\epsilon \gtrsim 0.5$. We also quantify the initial planetesimal mass function using a new clump-tracking method to determine each planetesimal mass shortly after collapse. For models in which planetesimals form, we show that the mass function is well-described by a broken power law, whose parameters are robust to the inclusion and strength of imposed turbulence. Turbulence in protoplanetary disks is likely to substantially exceed the threshold for planetesimal formation at radii where temperatures $T \gtrsim 10^3 \ {\rm K}$ lead to thermal ionization. Planetesimal formation may therefore be unviable in the inner disk out to 2-3 times the dust sublimation radius.


title: Anisotropic momentum broadening in the 2+1D Glasma: analytic weak field approximation and lattice simulations

abstract: In heavy ion collisions, transverse momentum broadening quantifies the modification of a hard probe due to interactions with the quark-gluon plasma (QGP). We calculate momentum broadening in the Glasma, which is the highly non-isotropic precursor stage of the QGP right after the collision. We show that the Glasma leads to anisotropic momentum broadening: high energy partons accumulate more momentum along the beam axis than transverse to it. The physical origin of anisotropic broadening can be traced back to differences in the shapes of chromo-electric and chromo-magnetic flux tubes in the Glasma. We provide semi-analytic results for momentum broadening in the dilute Glasma and numerical results from real-time lattice simulations of the non-perturbative dense Glasma.


title: (1+1)-d U(1) Quantum link models from effective Hamiltonians of dipolar molecules

abstract: We study the promising idea of using dipolar molecular systems as analog quantum simulators for quantum link models, which are discrete versions of lattice gauge theories. In a quantum link model the link variables have a finite number of degrees of freedom and discrete values. We construct the effective Hamiltonian of a system of dipolar molecules with electric dipole-dipole interactions, where we use the tunable parameters of the system to match it to the target Hamiltonian describing a U(1) quantum link model in 1+1 dimensions.

categories: hep-lat cond-mat.quant-gas cond-mat.str-el quant-ph


title: Evolution of fractality and rotation in embedded star clusters

abstract: More and more observations indicate that young star clusters could retain imprints of their formation process. In particular, the degree of substructuring and rotation are possibly the direct result of the collapse of the parent molecular cloud from which these systems form. Such properties can, in principle, be washed-out, but they are also expected to have an impact on the relaxation of these systems. We ran and analyzed a set of ten hydrodynamical simulations of the formation of embedded star clusters through the collapse of turbulent massive molecular clouds. We systematically studied the fractality of our star clusters, showing that they are all extremely substructured (fractal dimension $D=1.0-1.8$). We also found that fractality is slowly reduced, with time, on small scales, while it persists on large scales on longer timescales. Signatures of rotation are found in different simulations at every time of the evolution, even for slightly supervirial substructures, proving that the parent molecular gas transfers part of its angular momentum to the new stellar systems.


title: Angular momentum profiles of Class 0 protostellar envelopes

abstract: [abridged] Understanding how the infalling gas redistribute most of its initial angular momentum inherited from prestellar cores before reaching the stellar embryo is a key question. Disk formation has been naturally considered as a possible solution to this "angular momentum problem". However, how the initial angular momentum of protostellar cores is distributed and evolves during the main accretion phase and the beginning of disk formation has largely remained unconstrained up to now. In the framework of the IRAM CALYPSO survey, we used high dynamic range C$^{18}$O (2-1) and N$_2$H$^+$ (1-0) observations to quantify the distribution of specific angular momentum along the equatorial axis in a sample of 12 Class 0 protostellar envelopes from scales ~50 to 10000 au. The radial distributions of specific angular momentum in the CALYPSO sample suggest two distinct regimes within protostellar envelopes: the specific angular momentum decreases as $j \propto r^{1.6 \pm 0.2}$ down to ~1600 au and then tends to become relatively constant around 6 $\times$ 10$^{-4}$ km s$^{-1}$ pc down to ~50 au. The values of specific angular momentum measured in the inner Class 0 envelopes, namely that of the material directly involved in the star formation process ($<$1600 au), is on the same order of magnitude as what is inferred in small T-Tauri disks. Thus, disk formation appears to be a direct consequence of angular momentum conservation during the collapse. Our analysis reveals a dispersion of the directions of velocity gradients at envelope scales $>$1600 au, suggesting that they may not be related to rotational motions of the envelopes. We conclude that the specific angular momentum observed at these scales could find its origin in core-forming motions (infall, turbulence) or trace an imprint of the initial conditions for the formation of protostellar cores.


title: Constraints on the density distribution of type Ia supernovae ejecta inferred from late-time light-curve flattening

abstract: The finite time, $\tau_{\rm dep}$, over which positrons from $\beta^{+}$ decays of $^{56}$Co deposit energy in type Ia supernovae ejecta lead, in case the positrons are trapped, to a slower decay of the bolometric luminosity compared to an exponential decline. Significant light-curve flattening is obtained when the ejecta density drops below the value for which $\tau_{\rm dep}$ equals the $^{56}$Co life-time. We provide a simple method to accurately describe this "delayed deposition" effect, which is straightforward to use for analysis of observed light curves. We find that the ejecta heating is dominated by delayed deposition typically from 600 to 1200~day, and only later by longer lived isotopes $^{57}$Co and $^{55}$Fe decay (assuming solar abundance). For the relatively narrow $^{56}$Ni velocity distributions of commonly studied explosion models, the modification of the light curve depends mainly on the $^{56}$Ni mass-weighted average density, $\langle \rho \rangle t^{3}$. Accurate late-time bolometric light curves, which may be obtained with JWST far-infrared (far-IR) measurements, will thus enable to discriminate between explosion models by determining $\langle \rho \rangle t^3$ (and the $^{57}$Co and $^{55}$Fe abundances). The flattening of light curves inferred from recent observations, which is uncertain due to the lack of far-IR data, is readily explained by delayed deposition in models with $\langle \rho\rangle t^{3} \approx 0.2\,M_{\odot}\,(10^{4}\, \textrm{km}\,\textrm{s}^{-1})^{-3}$, and does not imply supersolar $^{57}$Co and $^{55}$Fe abundances.


title: Variational Optimization on Lie Groups, with Examples of Leading (Generalized) Eigenvalue Problems

abstract: The article considers smooth optimization of functions on Lie groups. By generalizing NAG variational principle in vector space (Wibisono et al., 2016) to Lie groups, continuous Lie-NAG dynamics which are guaranteed to converge to local optimum are obtained. They correspond to momentum versions of gradient flow on Lie groups. A particular case of $\mathsf{SO}(n)$ is then studied in details, with objective functions corresponding to leading Generalized EigenValue problems: the Lie-NAG dynamics are first made explicit in coordinates, and then discretized in structure preserving fashions, resulting in optimization algorithms with faithful energy behavior (due to conformal symplecticity) and exactly remaining on the Lie group. Stochastic gradient versions are also investigated. Numerical experiments on both synthetic data and practical problem (LDA for MNIST) demonstrate the effectiveness of the proposed methods as optimization algorithms ($not$ as a classification method).


title: Entanglement Oscillations near a Quantum Critical Point

abstract: We study the dynamics of entanglement in the scaling limit of the Ising spin chain in the presence of both a longitudinal and a transverse field. We present analytical results for the quench of the longitudinal field in critical transverse field which go beyond current lattice integrability techniques. We test these results against a numerical simulation on the corresponding lattice model finding extremely good agreement. We show that the presence of bound states in the spectrum of the field theory leads to oscillations in the entanglement entropy and suppresses its linear growth on the time scales accessible to numerical simulations. For small quenches we determine exactly these oscillatory contributions and demonstrate that their presence follows from symmetry arguments. For the quench of the transverse field at zero longitudinal field we prove that the R\'enyi entropies are exactly proportional to the logarithm of the exponential of a time-dependent function, whose leading large-time behaviour is linear, hence entanglement grows linearly. We conclude that, in the scaling limit, linear growth and oscillations in the entanglement entropies can not be simply seen as consequences of integrability and its breaking respectively.


title: Integrability and dark states in an anisotropic central spin model

abstract: Central spin models describe a variety of quantum systems in which a spin-1/2 qubit interacts with a bath of surrounding spins, as realized in quantum dots and defect centers in diamond. We show that the fully anisotropic central spin Hamiltonian with (XX) Heisenberg interactions is integrable. Building on the class of integrable Richardson-Gaudin models, we derive an extensive set of conserved quantities and obtain the exact eigenstates using the Bethe ansatz. These states divide into two exponentially large classes: bright states, where the qubit is entangled with the bath, and dark states, where it is not. We discuss how dark states limit qubit-assisted spin bath polarization and provide a robust long-lived quantum memory for qubit states.


title: Physical Reality and the Unobservables of Physical Nature

abstract: The fundamental physical theories that interpret and explain behaviour of matter in nature are dependent on several unobservables and insensibles in their construction. While a rigorous natural philosophy cannot take them for granted, there does not seem to be a way of avoiding such unobservables in our theories. While a program to banish all unobservables from physical theory is unlikely to succeed, and perhaps even unnecessary, they are both the strong and weak points of the theoretical descriptions of physical nature. Analyzing them for empirical and philosophical consistency and integrity is always a promising path towards a better theory. In this paper, I examine the nature of physical reality in the context of unobservables in physics and discuss three examples. One is about the apparent loss of physical reality due to the need for a consistent quantum mechanical representation. The second example deals with the conflict between the assumed reality of quantum fields, so fundamental and essential to our standard physics worldview, and the dynamics of the observable universe. The third deals with an all-important difference between conventional modern physics constructed in the unreal and unobservable empty `space' and an empirically and logically determined physics with matter-filled universe as its arena. The acknowledgment of the observable matter-filled universe necessitates reformulation of dynamics with total relativity. Not surprisingly, this paradigm with its universal cosmic links also holds human concepts of harmony and beauty.


title: General Relativistic Quantum Optics: Finite-size particle detector models in curved spacetimes

abstract: We propose a fully covariant model for smeared particle detectors in quantum field theory in curved spacetimes. We show how effects related to accelerated motion of the detector and the curvature of spacetime influence the way different observers assign an interaction Hamiltonian between the detector and the field. The fully covariant formulation explicitly leaves the physical predictions of the theory invariant under general coordinate transformations, hence providing a description of particle detector models (e.g., Unruh-DeWitt detectors, models for the light-matter interaction, etc) that is suitable for arbitrary trajectories in general spacetime backgrounds.


title: LISA parameter estimation and source localization with higher harmonics of the ringdown

abstract: LISA can detect higher harmonics of the ringdown gravitational-wave signal from massive black-hole binary mergers with large signal-to-noise ratio. The most massive black-hole binaries are more likely to have electromagnetic counterparts, and the inspiral will contribute little to their signal-to-noise ratio. Here we address the following question: can we extract the binary parameters and localize the source using LISA observations of the ringdown only? Modulations of the amplitude and phase due to LISA's motion around the Sun can be used to disentangle the source location and orientation when we detect the long-lived inspiral signal, but they can not be used for ringdown-dominated signals, which are very short-lived. We show that (i) we can still measure the mass ratio and inclination of high-mass binaries by carefully combining multiple ringdown harmonics, and (ii) we can constrain the sky location and luminosity distance by relying on the relative amplitudes and phases of various harmonics, as measured in different LISA channels.