title: Planet-star interactions with precise transit timing. II. The radial-velocity tides and a tighter constraint on the orbital decay rate in the WASP-18 system

abstract: From its discovery, the WASP-18 system with its massive transiting planet on a tight orbit was identified as a unique laboratory for studies on tidal planet-star interactions. In an analysis of Doppler data, which include five new measurements obtained with the HIRES/Keck-I instrument between 2012 and 2018, we show that the radial velocity signal of the photosphere following the planetary tidal potential can be distilled for the host star. Its amplitude is in agreement with both theoretical predictions of the equilibrium tide approximation and an ellipsoidal modulation observed in an orbital phase curve. Assuming a circular orbit, we refine system parameters using photometric time series from TESS. With a new ground-based photometric observation, we extend the span of transit timing observations to 28 years in order to probe the rate of the orbital period shortening. Since we found no departure from a constant-period model, we conclude that the modified tidal quality parameter of the host star must be greater than 3.9x10^6 with 95% confidence. This result is in line with conclusions drawn from studies of the population of hot Jupiters, predicting that the efficiency of tidal dissipation is 1 or 2 orders of magnitude weaker. As the WASP-18 system is one of the prime candidates for detection of orbital decay, further timing observations are expected to push the boundaries of our knowledge on stellar interiors.


title: Pressure scrambling effects and the quantification of turbulent scalar flux model uncertainties

abstract: Closure models for the turbulent scalar flux are an important source of uncertainty in Reynolds-averaged-Navier-Stokes (RANS) simulations of scalar transport. This paper presents an approach to quantify this uncertainty in simulations of complex engineering flows. The approach addresses the uncertainty in modeling the pressure scrambling (PS) effect, which is the primary mechanism balancing the productions in scalar flux dynamics. Inspired by the two classical phenomenological theories of return-to-isotropy (RI) and isotropization-of-production (IP), we assume that the most likely directions of the PS term are around a fan-shaped region bounded by the RI and IP directions. Subsequently, we propose a strategy that requires two additional simulations, defining perturbations of the PS directions towards the RI and IP limits. The approach is applied to simulations of forced heat convection in a complex pin-fin array configuration, and shows favorable monotonic properties and bounding behaviors for various quantities of interest (QoIs) relevant to heat transfer. To conclude, the results are analyzed from the perspective of transverse scalar transport in a shear flow; the analysis indicates that the proposed approach is likely to exhibit monotonic behaviors in a wide range of scalar transport problems.


title: Fully and Semi-Automated Shape Differentiation in NGSolve

abstract: In this paper we present a framework for automated shape differentiation in the finite element software NGSolve. Our approach combines the mathematical Lagrangian approach for differentiating PDE constrained shape functions with the automated differentiation capabilities of NGSolve. The user can decide which degree of automatisation is required and thus allows for either a more custom-like or black-box-like behaviour of the software. We discuss the automatic generation of first and second order shape derivatives for unconstrained model problems as well as for more realistic problems that are constrained by different types of partial differential equations. We consider linear as well as nonlinear problems and also problems which are posed on surfaces. In numerical experiments we verify the accuracy of the computed derivatives via a Taylor test. Finally we present first and second order shape optimisation algorithms and illustrate them for several numerical optimisation examples ranging from nonlinear elasticity to Maxwell's equations.


title: Extrapolation in Gridworld Markov-Decision Processes

abstract: Extrapolation in reinforcement learning is the ability to generalize at test time given states that could never have occurred at training time. Here we consider four factors that lead to improved extrapolation in a simple Gridworld environment: (a) avoiding maximum Q-value (or other deterministic methods) for action choice at test time, (b) ego-centric representation of the Gridworld, (c) building rotational and mirror symmetry into the learning mechanism using rotational and mirror invariant convolution (rather than standard translation-invariant convolution), and (d) adding a maximum entropy term to the loss function to encourage equally good actions to be chosen equally often.


title: Non-classical Semiconductor Photon Sources Enhancing the Performance of Classical Target Detection Systems

abstract: We demonstrate and analyze how deploying non-classical intensity correlations obtained from a monolithic semiconductor quantum photon source can enhance classical target detection systems. This is demonstrated by examining the advantages offered by the utilization of the non-classical correlations in a correlation based target detection protocol. We experimentally demonstrate that under the same condition, the target contrast obtained from the protocol when non-classical correlations are utilized exhibits an improvement of up to 17.79dB over the best classical intensity correlation-based target detection protocol, under 29.69dB channel loss and excess noise 13.40dB stronger than the probe signal. We also assessed how the strong frequency correlations within the non-classical photon pairs can be used to further enhance this protocol.


title: Exact Simulation of Variance Gamma related OU processes: Application to the Pricing of Energy Derivatives

abstract: In this study we define a three-step procedure to relate the self-decomposability of the stationary law of a generalized Ornstein-Uhlenbeck process to the law of the increments of such processes. Based on this procedure and the results of Qu et al. (2019), we derive the exact simulation, without numerical inversion, of the skeleton of a Variance Gamma, and of a symmetric Variance Gamma driven Ornstein-Uhlenbeck process. Extensive numerical experiments are reported to demonstrate the accuracy and efficiency of our algorithms. These results are instrumental to simulate the spot price dynamics in energy markets and to price Asian options and gas storages by Monte Carlo simulations in a framework similar to the one discussed in Cummins et al. (2017, 2018).


title: Model and Machine Learning based Caching and Routing Algorithms for Cache-enabled Networks

abstract: In-network caching is likely to become an integral part of various networked systems (e.g., 5G networks, LPWAN and IoT systems) in the near future. In this paper, we compare and contrast model-based and machine learning approaches for designing caching and routing strategies to improve cache network performance (e.g., delay, hit rate). We first outline the key principles used in the design of model-based strategies and discuss the analytical results and bounds obtained for these approaches. By conducting experiments on real-world traces and networks, we identify the interplay between content popularity skewness and request stream correlation as an important factor affecting cache performance. With respect to routing, we show that the main factors impacting performance are alternate path routing and content search. We then discuss the applicability of multiple machine learning models, specifically reinforcement learning, deep learning, transfer learning and probabilistic graphical models for the caching and routing problem.


title: Reflexive coloring complexes for 3-edge-colorings of cubic graphs

abstract: Given a 3-colorable graph $X$, the 3-coloring complex $B(X)$ is the graph whose vertices are all the independent sets which occur as color classes in some 3-coloring of $X$. Two color classes $C,D \in V(B(X))$ are joined by an edge if $C$ and $D$ appear together in a 3-coloring of $X$. The graph $B(X)$ is 3-colorable. Graphs for which $B(B(X))$ is isomorphic to $X$ are termed reflexive graphs. In this paper, we consider 3-edge-colorings of cubic graphs for which we allow half-edges. Then we consider the 3-coloring complexes of their line graphs. The main result of the paper is a surprising outcome that the line graph of any connected cubic triangle-free outerplanar graph is reflexive. We also exhibit some other interesting classes of reflexive line graphs.


title: Fast Variable Density Poisson-Disc Sample Generation with Directional Variation

abstract: We present a fast method for generating random samples according to a variable density Poisson-disc distribution. A minimum threshold distance is used to create a background grid array for keeping track of those points that might affect any new candidate point; this reduces the number of conflicts that must be checked before acceptance of a new point, thus reducing the number of computations required. We demonstrate the algorithm's ability to generate variable density Poisson-disc sampling patterns according to a parameterized function, including patterns where the variations in density are a function of direction. We further show that these sampling patterns are appropriate for compressed sensing applications. Finally, we present a method to generate patterns with a specific acceleration rate.


title: The sleep loss insult of Spring Daylight Savings in the US is absorbed by Twitter users within 48 hours

abstract: Sleep loss has been linked to heart disease, diabetes, cancer, and an increase in accidents, all of which are among the leading causes of death in the United States. Population-scale sleep studies have the potential to advance public health by helping to identify at-risk populations, changes in collective sleep patterns, and to inform policy change. Prior research suggests other kinds of health indicators such as depression and obesity can be estimated using social media activity. However, the inability to effectively measure collective sleep with publicly available data has limited large-scale academic studies. Here, we investigate the passive estimation of sleep loss through a proxy analysis of Twitter activity profiles. We use "Spring Forward" events, which occur at the beginning of Daylight Savings Time in the United States, as a natural experimental condition to estimate spatial differences in sleep loss across the United States. On average, peak Twitter activity occurs roughly 45 minutes later on the Sunday following Spring Forward. By Monday morning however, activity curves are realigned with the week before, suggesting that at least on Twitter, the lost hour of early Sunday morning has been quickly absorbed.


title: Subconvexity for $GL_{3}(R)$ $L$-Functions: The Key Identity via Integral Representations

abstract: We study the subconvexity problem for $GL_{3}(R)$ $L$-functions in the t-aspect using integral representations by combining techniques employed by Michel-Venkatesh in their study of the corresponding problem for $GL_{2}$ with ideas from recent works of Munshi, Holowinsky-Nelson and Lin. Our main objective is to give - from the perspective of integral representations of $L$-functions and automorphic representation theory - a possible explanation of the origin of the "key identity" arising in the latter series of works.


title: Synchrotron-based pore-network modeling of two-phase flow in Nubian Sandstone and implications for capillary trapping of carbon dioxide

abstract: Depleted oil fields in the Gulf of Suez (Egypt) can serve as geothermal reservoirs for power generation using a CO2-Plume Geothermal (CPG) system, while geologically sequestering CO2. This entails the injection of a substantial amount of CO2 into the highly permeable brine-saturated Nubian Sandstone. Numerical models of two-phase flow processes are indispensable for predicting the CO2-plume migration at a representative geological scale. Such models require reliable constitutive relationships, including relative permeability and capillary pressure curves. In this study, quasi-static pore-network modelling has been used to simulate the equilibrium positions of fluid-fluid interfaces, and thus determine the capillary pressure and relative permeability curves. Three-dimensional images with a voxel size of 0.65 micro m3 of a Nubian Sandstone rock sample have been obtained using Synchrotron Radiation X-ray Tomographic Microscopy. From the images, topological properties of pores/throats were constructed. Using a pore-network model, we performed a sequential primary drainage-main imbibition cycle of quasi-static invasion in order to quantify (1) the CO2 and brine relative permeability curves, (2) the effect of initial wetting-phase saturation (i.e. the saturation at the point of reversal from drainage to imbibition) on the residual-trapping potential, and (3) study the relative permeability-saturation hysteresis. The results improve our understanding of the potential magnitude of capillary trapping in Nubian Sandstone, essential for future field-scale simulations. Further, an initial basin-scale assessment of CO2 storage capacity, which incorporates capillary trapping, yields a range of 14-49 GtCO2 in Nubian Sandstone, Gulf of Suez Basin.


title: Probabilistic Model of Narratives Over Topical Trends in Social Media: A Discrete Time Model

abstract: Online social media platforms are turning into the prime source of news and narratives about worldwide events. However,a systematic summarization-based narrative extraction that can facilitate communicating the main underlying events is lacking. To address this issue, we propose a novel event-based narrative summary extraction framework. Our proposed framework is designed as a probabilistic topic model, with categorical time distribution, followed by extractive text summarization. Our topic model identifies topics' recurrence over time with a varying time resolution. This framework not only captures the topic distributions from the data, but also approximates the user activity fluctuations over time. Furthermore, we define significance-dispersity trade-off (SDT) as a comparison measure to identify the topic with the highest lifetime attractiveness in a timestamped corpus. We evaluate our model on a large corpus of Twitter data, including more than one million tweets in the domain of the disinformation campaigns conducted against the White Helmets of Syria. Our results indicate that the proposed framework is effective in identifying topical trends, as well as extracting narrative summaries from text corpus with timestamped data.


title: DG Structure on the Length 4 Big From Small Construction

abstract: The big from small construction was introduced by Kustin and Miller and can be used to construct resolutions of tightly double linked Gorenstein ideals. In this paper, we expand on the DG-algebra techniques introduced Kustin for building matrix factorizations and construct a DG-algebra structure on the length $4$ big from small construction. The techniques employed involve the construction of a morphism from a Tate-like complex to an acyclic DG-algebra exhibiting Poincar\'e duality. This induces homomorphisms which, after suitable modifications, satisfy a list of identities that end up perfectly encapsulating the required associativity and DG axioms of the desired product structure for the big from small construction.


title: Blockchain in Healthcare and Medicine: A Contemporary Research of Applications, Challenges, and Future Perspectives

abstract: Blockchain technology is one of the most contemporary and disruptive technologies in the world. It has gained considerable attention in numerous applications such as financial services, cybersecurity applications, Internet of Things (IoT), network data management. Now its range of applications is beyond the financial services as the healthcare industry has also adopted blockchain technology in its various subdomains such as Electronic Health Records (EHR), medical supply chain management system, genomic market, neuroscience technology, clinical research, and pharmaceutical medicine. Blockchain is considered a secure and viable solution for storing and accessing patients medical records and the patients can diagnosed and treated with safe and secure data sharing. Blockchain technology will revolutionize the healthcare systems with personalized, authentic, and secure access to the clinical data of patients and that data can be used for further health improvements and clinical researches. In this paper, we conduct a contemporary research on existing applications and developments in healthcare industry with the use of blockchain technology. We also discuss some robust applications and various existing companies that are using blockchain solutions for securing their data along with some current challenges and future perspectives.


title: Phase transition and entropy force between two horizons in (n+2)-dimensional de Sitter space

abstract: In this paper, the effect of the space-time dimension on effective thermodynamic quantities in (n+2)-dimensional Reissoner-Nordstrom-de Sitter space has been stud ied. Based on derived effective thermodynamic quantities, conditions for the phase transition are obtained. The result shows that the accelerating cosmic expansion can be attained by the entropy force arisen from the interaction between horizons of black holes and our universe, which provides a possible way to explain the physical mechanism for the accelerating cosmic expansion.


title: Site characterization at downhole arrays by joint inversion of dispersion data and acceleration time series

abstract: We present a sequential data assimilation algorithm based on the ensemble Kalman inversion to estimate the near-surface shear wave velocity profile and damping when heterogeneous data and a priori information that can be represented in forms of (physical) equality and inequality constraints in the inverse problem are available. Although non-invasive methods, such as surface wave testing, are efficient and cost effective methods for inferring Vs profile, one should acknowledge that site characterization using inverse analyses can yield erroneous results associated with the inverse problem non-uniqueness. One viable solution to alleviate the inverse problem ill-posedness is to enrich the prior knowledge and/or the data space with complementary observations. In the case of non-invasive methods, the pertinent data are the dispersion curve of surface waves, typically resolved by means of active source methods at high frequencies and passive methods at low frequencies. To improve the inverse problem well-posedness, horizontal to vertical spectral ratio (HVSR) data are commonly used jointly with the dispersion data in the inversion. In this paper, we show that the joint inversion of dispersion and strong motion downhole array data can also reduce the margins of uncertainty in the Vs profile estimation. This is because acceleration time-series recorded at downhole arrays include both body and surface waves and therefore can enrich the observational data space in the inverse problem setting. We also show how the proposed algorithm can be modified to systematically incorporate physical constraints that further enhance its well-posedness. We use both synthetic and real data to examine the performance of the proposed framework in estimation of Vs profile and damping at the Garner Valley downhole array, and compare them against the Vs estimations in previous studies.


title: On absolute continuity of invariant measures associated with a piecewise-deterministic Markov processes with random switching between flows

abstract: We are concerned with the absolute continuity of stationary distributions corresponding to some piecewise deterministic Markov process, being typically encountered in biological models. The process under investigation involves a deterministic motion punctuated by random jumps, occurring at the jump times of a Poisson process. The post-jump locations are obtained via random transformations of the pre-jump states. Between the jumps, the motion is governed by continuous semiflows , which are switched directly after the jumps. The main goal of this paper is to provide a set of verifiable conditions implying that any invariant distribution of the process under consideration that corresponds to an ergodic invariant measure of the Markov chain given by its post-jump locations has a density with respect to the Lebesgue measure.


title: RoboTHOR: An Open Simulation-to-Real Embodied AI Platform

abstract: Visual recognition ecosystems (e.g. ImageNet, Pascal, COCO) have undeniably played a prevailing role in the evolution of modern computer vision. We argue that interactive and embodied visual AI has reached a stage of development similar to visual recognition prior to the advent of these ecosystems. Recently, various synthetic environments have been introduced to facilitate research in embodied AI. Notwithstanding this progress, the crucial question of how well models trained in simulation generalize to reality has remained largely unanswered. The creation of a comparable ecosystem for simulation-to-real embodied AI presents many challenges: (1) the inherently interactive nature of the problem, (2) the need for tight alignments between real and simulated worlds, (3) the difficulty of replicating physical conditions for repeatable experiments, (4) and the associated cost. In this paper, we introduce RoboTHOR to democratize research in interactive and embodied visual AI. RoboTHOR offers a framework of simulated environments paired with physical counterparts to systematically explore and overcome the challenges of simulation-to-real transfer, and a platform where researchers across the globe can remotely test their embodied models in the physical world. As a first benchmark, our experiments show there exists a significant gap between the performance of models trained in simulation when they are tested in both simulations and their carefully constructed physical analogs. We hope that RoboTHOR will spur the next stage of evolution in embodied computer vision. RoboTHOR can be accessed at the following link: https://ai2thor.allenai.org/robothor


title: A hybrid classical-quantum workflow for natural language processing

abstract: Natural language processing (NLP) problems are ubiquitous in classical computing, where they often require significant computational resources to infer sentence meanings. With the appearance of quantum computing hardware and simulators, it is worth developing methods to examine such problems on these platforms. In this manuscript we demonstrate the use of quantum computing models to perform NLP tasks, where we represent corpus meanings, and perform comparisons between sentences of a given structure. We develop a hybrid workflow for representing small and large scale corpus data sets to be encoded, processed, and decoded using a quantum circuit model. In addition, we provide our results showing the efficacy of the method, and release our developed toolkit as an open software suite.


title: Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition

abstract: An open question in autonomous driving is how best to use simulation to validate the safety of autonomous vehicles. Existing techniques rely on simulated rollouts, which can be inefficient for finding rare failure events, while other techniques are designed to only discover a single failure. In this work, we present a new safety validation approach that attempts to estimate the distribution over failures of an autonomous policy using approximate dynamic programming. Knowledge of this distribution allows for the efficient discovery of many failure examples. To address the problem of scalability, we decompose complex driving scenarios into subproblems consisting of only the ego vehicle and one other vehicle. These subproblems can be solved with approximate dynamic programming and their solutions are recombined to approximate the solution to the full scenario. We apply our approach to a simple two-vehicle scenario to demonstrate the technique as well as a more complex five-vehicle scenario to demonstrate scalability. In both experiments, we observed an increase in the number of failures discovered compared to baseline approaches.


title: EX Draconis: Using Eclipses to Separate Outside-In and Inside-Out Outbursts

abstract: We present a study of the eclipses in the accreting white dwarf EX Dra during TESS Cycles 14 and 15. During both of the two outbursts present in this dataset, the eclipses undergo a hysteretic loop in eclipse-depth/out-of-eclipse-flux space. In each case, the direction in which the loops are executed strongly suggests an outburst which is triggered near the inner edge of the accretion disk and propagates outwards. This in turn suggests that the outbursts in EX Dra are 'Inside Out' outbursts; events predicted by previous hydrodynamic studies of dwarf nova accretion disks and confirmed spectroscopically in a number of other accreting white dwarf systems. We therefore propose that the direction of the loop executed in eclipse-depth/out-of-eclipse flux space be used as a test to phenomenologically distinguish between 'inside out' and 'outside in' outbursts in other eclipsing dwarf novae; a reliable and purely photometric test to differentiate between these phenomena.


title: Probabilistic Evolution of Stochastic Dynamical Systems: A Meso-scale Perspective

abstract: Stochastic dynamical systems arise naturally across nearly all areas of science and engineering. Typically, a dynamical system model is based on some prior knowledge about the underlying dynamics of interest in which probabilistic features are used to quantify and propagate uncertainties associated with the initial conditions, external excitations, etc. From a probabilistic modeling standing point, two broad classes of methods exist, i.e. macro-scale methods and micro-scale methods. Classically, macro-scale methods such as statistical moments-based strategies are usually too coarse to capture the multi-mode shape or tails of a non-Gaussian distribution. Micro-scale methods such as random samples-based approaches, on the other hand, become computationally very challenging in dealing with high-dimensional stochastic systems. In view of these potential limitations, a meso-scale scheme is proposed here that utilizes a meso-scale statistical structure to describe the dynamical evolution from a probabilistic perspective. The significance of this statistical structure is two-fold. First, it can be tailored to any arbitrary random space. Second, it not only maintains the probability evolution around sample trajectories but also requires fewer meso-scale components than the micro-scale samples. To demonstrate the efficacy of the proposed meso-scale scheme, a set of examples of increasing complexity are provided. Connections to the benchmark stochastic models as conservative and Markov models along with practical implementation guidelines are presented.


title: What rotation rate maximizes heat transport in rotating Rayleigh-B\'{e}nard convection with Prandtl number larger than one?

abstract: The heat transfer and flow structure in rotating Rayleigh-B\'enard convection are strongly influenced by the Rayleigh ($Ra$), Prandtl ($Pr$), and Rossby ($Ro$) number. For $Pr\gtrsim 1$ and intermediate rotation rates, the heat transfer is increased compared to the non-rotating case. We find that the regime of increased heat transfer is subdivided into a low and a high $Ra$ number regime. For $Ra\lesssim 5\times10^8$ the heat transfer at a given $Ra$ and $Pr$ is highest at an optimal rotation rate, at which the thickness of the viscous and thermal boundary layer is about equal. From the scaling relations of the thermal and viscous boundary layer thicknesses, we derive that the optimal rotation rate scales as $1/Ro_\mathrm{opt} \approx 0.12 Pr^{1/2}Ra^{1/6}$. In the low $Ra$ regime the heat transfer is similar in a periodic domain and cylindrical cells with different aspect ratios, i.e.\ the ratio of diameter to height. This is consistent with the view that the vertically aligned vortices are the dominant flow structure. For $Ra\gtrsim 5\times10^8$ the above scaling for the optimal rotation rate does not hold anymore. It turns out that in the high $Ra$ regime, the flow structures at the optimal rotation rate are very different than for lower $Ra$. Surprisingly, the heat transfer in the high $Ra$ regime differs significantly for a periodic domain and cylindrical cells with different aspect ratios, which originates from the sidewall boundary layer dynamics and the corresponding secondary circulation.


title: Interpretable Safety Validation for Autonomous Vehicles

abstract: An open problem for autonomous driving is how to validate the safety of an autonomous vehicle in simulation. Automated testing procedures can find failures of an autonomous system but these failures may be difficult to interpret due to their high dimensionality and may be so unlikely as to not be important. This work describes an approach for finding interpretable failures of an autonomous system. The failures are described by signal temporal logic expressions that can be understood by a human, and are optimized to produce failures that have high likelihood. Our methodology is demonstrated for the safety validation of an autonomous vehicle in the context of an unprotected left turn and a crosswalk with a pedestrian. Compared to a baseline importance sampling approach, our methodology finds more failures with higher likelihood while retaining interpretability.


title: Contrastive Blind Denoising Autoencoder for Real-Time Denoising of Industrial IoT Sensor Data

abstract: In an industrial IoT setting, ensuring the quality of sensor data is a must when data-driven algorithms operate on the upper layers of the control system. Unfortunately, the common place in industrial facilities is to find sensor time series heavily corrupted by noise and outliers. In this work, a purely data-driven self-supervised learning-based approach based on a blind denoising autoencoder is proposed for real time denoising of industrial sensor data. The term \textit{blind} stresses that no prior knowledge about the noise is required for denoising, in contrast to typical denoising autoencoders where prior knowledge about the noise is required. Blind denoising is achieved by using a noise contrastive estimation (NCE) regularization on the latent space of the autoencoder, which not only helps to denoise but also induces a meaningful and smooth latent space. Experimental evaluation in both a simulated system and a real industrial process shows that the proposed technique outperforms classical denoising methods.


title: Critical thresholds in 1D pressureless Euler-Poisson systems with varying background

abstract: The Euler Poisson equations describe important physical phenomena in many applications such as semiconductor modeling and plasma physics. This paper is to advance our understanding of critical threshold phenomena in such systems in the presence of different forces. We identify critical thresholds in two damped Euler Poisson systems, with and without alignment, both with attractive potential and spatially varying background state. For both systems, we give respective bounds for subcritical and supercritical regions in the space of initial configuration, thereby proving the existence of a critical threshold for each scenario. Key tools include comparison with auxiliary systems, phase space analysis of the transformed system.


title: Concept for the GMT High-Contrast Exoplanet Instrument GMagAO-X and the GMT High-Contrast Phasing Testbed with MagAO-X

abstract: Here we review the current conceptual optical mechanical design of GMagAO-X --the extreme AO (ExAO) system for the Giant Magellan Telescope (GMT). The GMagAO-X tweeter deformable mirror (DM) design is novel in that it uses an optically distributed set of pupils that allows seven commercially available 3000 actuator BMC DMs to work "in parallel" to effectively create an ELT-scale ExAO tweeter DM --with all parts commercially available today. The GMagAO-X "parallel DM" tweeter will have 21,000 actuators to be used at ~2kHz update speeds enabling high-contrast science at ~5 mas separations in the visible and NIR of the spectrum (0.6-1.7 microns). To prove our concept for GMagAO-X several items must be lab tested: the optical/mechanical concept for the parallel DM; phasing of the GMT pupil; and solving the GMT's "isolated island effect" will all be demonstrated on an optical testbed at the University of Arizona. Here we outline the current design for this "GMT High-Contrast Testbed" that has been proposed jointly by GMTO and the University of Arizona which leverages the existing, operational, MagAO-X ExAO instrument to verify our approach to phase sensing and AO control for high-contrast GMT NGS science. We will also highlight how GMagAO-X can be mounted on the auxiliary port of the GMT and so remain gravity invariant. Since it is gravity invariant GMagAO-X can utilize a floating optical table to minimize flexure and NCP vibrations.


title: Issues and challenges in Cloud Storage Architecture: A Survey

abstract: From home appliances to industrial enterprises, the Information and Communication Technology (ICT) industry is revolutionizing the world. We are witnessing the emergence of new technologies (e.g, Cloud computing, Fog computing, Internet of Things (IoT), Artificial Intelligence (AI) and Block-chain) which proves the growing use of ICT (e,g. business, education, health, and home appliances), resulting in massive data generation. It is expected that more than 175 ZB data will be processed annually by 75 billion devices by 2025. The 5G technology (i.e. mobile communication technology) dramatically increases network speed, enabling users to upload ultra high definition videos in real-time, which will generate a massive stream of big data. Furthermore, smart devices, having artificial intelligence, will act like a human being (e.g, a self-driving vehicle, etc) on the network, will also generate big data. This sudden shift and massive data generation created serious challenges in storing and managing heterogeneous data at such a large scale. This article presents a state-of-the-art review of the issues and challenges involved in storing heterogeneous big data, their countermeasures (i.e, from security and management perspectives), and future opportunities of cloud storage. These challenges are reviewed in detail and new dynamics for researchers in the field of cloud storage are discovered.


title: Critical reflections on asymptotically safe gravity

abstract: Asymptotic safety is a theoretical proposal for the ultraviolet completion of quantum field theories, in particular for quantum gravity. Significant progress on this program has led to a first characterization of the Reuter fixed point. Further advancement in our understanding of the nature of quantum spacetime requires addressing a number of open questions and challenges. Here, we aim at providing a critical reflection on the state of the art in the asymptotic safety program, specifying and elaborating on open questions of both technical and conceptual nature. We also point out systematic pathways, in various stages of practical implementation, towards answering them. Finally, we also take the opportunity to clarify some common misunderstandings regarding the program.


title: Effect of perfect fluid dark matter on particle motion around a static black hole immersed in an external magnetic field

abstract: We investigate particle and photon motion in the vicinity of a static and spherically symmetric black hole surrounded by perfect fluid dark matter in the presence of an external asymptotically uniform magnetic field. We determine the radius of the innermost stable circular orbit (ISCO) for charged test particles and the radius for unstable circular photon orbits and show that the effect of the presence of dark matter shrinks the values of ISCO and photon sphere radii. Based on the analysis of the ISCO radius we further show that the combined effects of dark matter and magnetic field can mimic the spin of a Kerr black hole up to $ a/M \approx 0.75-0.8$. Finally, we consider the effect of the presence of dark matter on the center of mass energy of colliding particles in the black hole vicinity. We show that the center of mass energy grows as the value of the dark matter parameter increases. This result, in conjunction with the fact that, in the presence of an external magnetic field, the ISCO radius can become arbitrarily close to the horizon leads to arbitrarily high energy that can be extracted by the collision process, similarly to what is observed in the super-spinning Kerr case.


title: WIYN Open Cluster Study LXXIX. M48 (NGC 2548) I. Radial Velocities, Rotational Velocities, and Metallicities of Stars in the Open Cluster M48 (NGC 2548)

abstract: WIYN/Hydra spectra (R $\sim$ 13,500, signal-to-noise pixel$^{-1}$ = 50-1000) of a 400 $\unicode{x212B}$ region around Li 6708 $\unicode{x212B}$ are used to determine radial and rotational velocities for 287 photometrically selected candidate members of the open cluster M48. The sample ranges from turnoff A stars to late-K dwarfs and eight giants. We combine our $V_{\rm{RAD}}$ measurements and power spectrum analysis with parallax and proper motion data from Gaia DR2 to evaluate membership and multiplicity. We classify 152 stars as single cluster members, 11 as binary members, 16 as members of uncertain multiplicity, 56 as single nonmembers, 28 as single "likely" nonmembers, two as single "likely" members, one as a binary "likely" member, five as binary nonmembers, 10 as "likely" members of uncertain multiplicity, three as nonmembers of uncertain multiplicity, and three as "likely" nonmembers of uncertain multiplicity. From a subsample of 95 single members, we derive $V_{\rm{RAD}}$ = 8.512 $\pm$ 0.087 km s$^{-1}$ ($\sigma_{\mu}$, and $\sigma$ = 0.848 km s$^{-1}$). Using 16 isolated Fe I lines for a subsample of 99 single members (that have $\sigma_{T_{\rm{eff}}}$ $<$ 75 K (from 10 colors from $UBVRI$), $v$ sin $i$ $<$ 25 km s$^{-1}$, and well-behaved Fe I lines), [Fe/H]$_{\rm{M48}}$ = -0.063 $\pm$ 0.007 dex ($\sigma_{\mu}$). [Fe/H] is independent of $T_{\rm{eff}}$ over an unprecedentedly large range of 2500 K. The minimum cluster binary fraction is 11%-21%. M48 exhibits a clear but modest broadening of the main-sequence turnoff, and there is no correlation between color and $v$ sin $i$.


title: On the complex behaviour of the density in composite quantum systems

abstract: In this paper, we study how the probability of presence of a particle is distributed between the two parts of a composite fermionic system. We uncover that the difference of probability depends on the energy in a striking way and show the pattern of this distribution. We discuss the main features of the latter and explain analytically those that we understand. In particular, we prove that it is a non-perturbative property and we find out a large/small coupling constant duality. We also find and study features that may connect our problem with certain aspects of non linear classical dynamics, like the existence of resonances and sensitive dependence on the state of the system. We show that the latter has indeed a similar origin than in classical mechanics: the appearance of small denominators in the perturbative series. Inspired by the proof of KAM theorem, we are able to deal with this problem by introducing a cut-off in energies that eliminates these small denominators. We also formulate some conjectures that we are not able to prove at present but can be supported by numerical experiments.


title: A Human Evaluation of AMR-to-English Generation Systems

abstract: Most current state-of-the art systems for generating English text from Abstract Meaning Representation (AMR) have been evaluated only using automated metrics, such as BLEU, which are known to be problematic for natural language generation. In this work, we present the results of a new human evaluation which collects fluency and adequacy scores, as well as categorization of error types, for several recent AMR generation systems. We discuss the relative quality of these systems and how our results compare to those of automatic metrics, finding that while the metrics are mostly successful in ranking systems overall, collecting human judgments allows for more nuanced comparisons. We also analyze common errors made by these systems.


title: Thermodynamic Structure of the Solar Corona: Tomographic Reconstructions and MHD Modeling

abstract: We carry out a study of the global three-dimensional (3D) structure of the electron density and temperature of the quiescent inner solar corona ($r<1.25 R_\odot$) by means of tomographic reconstructions and magnetohydrodynamic simulations. We use differential emission measure tomography (DEMT) and the Alfv\'en Wave Solar Model (AWSoM), in their latest versions. Two target rotations were selected from the solar minimum between solar cycles (SCs) 23 and 24 and the declining phase of SC 24. We report in quantitative detail on the 3D thermodynamic structure of the core and outer layers of the streamer belt, and of the high latitude coronal holes (CH), as revealed by the DEMT analysis. We report on the presence of two types of structures within the streamer belt, loops with temperature decreasing/increasing with height (dubbed down/up loops), as reported first in previous DEMT studies. We also estimate the heating energy flux required at the coronal base to keep these structures stable, found to be or order $10^5 erg\, cm^{-2} s^{-1}$, consistently with previous DEMT and spectroscopic studies. We discuss how these findings are consistent with coronal dissipation of Alfv\'en waves. We compare the 3D results of DEMT and AWSoM in distinct magnetic structures. We show that the agreement between the products of both techniques is the best so far, with an overall agreement $\lesssim 20\%$, depending on the target rotation and the specific coronal region. In its current implementation the ASWsoM model can not reproduce down loops though. Also, in the source region of the fast and slow components of the solar wind, the electron density of the AWSoM model increases with latitude, opposite to the trend observed in DEMT reconstructions.


title: Bounding boxes for weakly supervised segmentation: Global constraints get close to full supervision

abstract: We propose a novel weakly supervised learning segmentation based on several global constraints derived from box annotations. Particularly, we leverage a classical tightness prior to a deep learning setting via imposing a set of constraints on the network outputs. Such a powerful topological prior prevents solutions from excessive shrinking by enforcing any horizontal or vertical line within the bounding box to contain, at least, one pixel of the foreground region. Furthermore, we integrate our deep tightness prior with a global background emptiness constraint, guiding training with information outside the bounding box. We demonstrate experimentally that such a global constraint is much more powerful than standard cross-entropy for the background class. Our optimization problem is challenging as it takes the form of a large set of inequality constraints on the outputs of deep networks. We solve it with sequence of unconstrained losses based on a recent powerful extension of the log-barrier method, which is well-known in the context of interior-point methods. This accommodates standard stochastic gradient descent (SGD) for training deep networks, while avoiding computationally expensive and unstable Lagrangian dual steps and projections. Extensive experiments over two different public data sets and applications (prostate and brain lesions) demonstrate that the synergy between our global tightness and emptiness priors yield very competitive performances, approaching full supervision and outperforming significantly DeepCut. Furthermore, our approach removes the need for computationally expensive proposal generation. Our code is shared anonymously.


title: Prisoner's Dilemma on Real Social Networks: Revisited

abstract: Prisoner's Dilemma is a game theory model used to describe altruistic behavior seen in various populations. This theoretical game is important in understanding why a seemingly selfish strategy does persist and spread throughout a population that is mixing homogeneously at random. For a population with structure determined by social interactions, Prisoner's Dilemma brings to light certain requirements for the altruistic strategy to become established. Monte Carlo simulations of Prisoner's Dilemma are carried out using both simulated social networks and a dataset of a real social network. In both scenarios we confirm the requirements for the persistence of altruism in the population.


title: Privacy-Preserving Contact Tracing: current solutions and open questions

abstract: The COVID-19 pandemic has posed a unique challenge for the world to find solutions, ranging from vaccines to ICT solutions to slow down the virus spreading. Due to the highly contagious nature of the virus, social distancing is one fundamental measure which has already adopted by many countries. At the technical level, this prioritises contact tracing solutions, which can alert the users who have been in close contact with the infected persons and meanwhile allow heath authorities to take proper actions. In this paper, we examine several existing privacy-aware contact tracing solutions and analyse their (dis)advantages. At the end, we describe several major observations and outline an interdisciplinary research agenda towards more comprehensive and effective privacy-aware contact tracing solutions.


title: Riemannian metrics on the moduli space of GHMC anti-de Sitter structures

abstract: In this short note we explain how to adapt the construction of two Riemannian metrics on the $\mathrm{SL}(3,\mathbb{R})$-Hitchin component to the deformation space of globally hyperbolic anti-de Sitter structures: the pressure metric and the Loftin metric (studied by Qiongling Li). We show that the former is degenerate and we characterize its degenerate locus, whereas the latter is nowhere degenerate and the Fuchsian locus is a totally geodesic copy of Teichm\"uller space endowed with a multiple of the Weil-Petersson metric.


title: Attractive Riesz potentials acting on hard spheres

abstract: In this paper we introduce a model for hard spheres interacting through attractive Riesz type potentials, and we study its thermodynamic limit. We show that the tail energy enforces optimal packing and round macroscopic shapes.


title: The Role of Nonlinear Relapse on Contagion Amongst Drinking Communities

abstract: Relapse, the recurrence of a disorder following a symptomatic remission, is a frequent outcome in substance abuse disorders. Some of our prior results suggested that relapse, in the context of abusive drinking, is likely an "unbeatable" force as long as recovered individuals continue to interact in the environments that lead to and/or reinforce the persistence of abusive drinking behaviors. Our earlier results were obtained via a deterministic model that ignored differences between individuals, that is, in a rather simple "social" setting. In this paper, we address the role of relapse on drinking dynamics but use models that incorporate the role of "chance", or a high degree of "social" heterogeneity, or both. Our focus is primarily on situations where relapse rates are high. We first use a Markov chain model to simulate the effect of relapse on drinking dynamics. These simulations reinforce the conclusions obtained before, with the usual caveats that arise when the outcomes of deterministic and stochastic models are compared. However, the simulation results generated from stochastic realizations of an "equivalent" drinking process in populations "living" in small world networks, parameterized via a disorder parameter $p$, show that there is no social structure within this family capable of reducing the impact of high relapse rates on drinking prevalence, even if we drastically limit the interactions between individuals ($p\approx 0$).


title: Metasurface Integrated Monolayer Exciton Polariton

abstract: Monolayer transition metal dichalcogenides (TMDs) are the first truly two-dimensional (2D) semiconductor, providing an excellent platform to investigate light-matter interaction in the 2D limit. Apart from fundamental scientific exploration, this material system has attracted active research interest in the nanophotonic devices community for its unique optoelectronic properties. The inherently strong excitonic response in monolayer TMDs can be further enhanced by exploiting the temporal confinement of light in nanophotonic structures. Dielectric metasurfaces are one such two-dimensional nanophotonic structures, which have recently demonstrated strong potential to not only miniaturize existing optical components, but also to create completely new class of designer optics. Going beyond passive optical elements, researchers are now exploring active metasurfaces using emerging materials and the utility of metasurfaces to enhance the light-matter interaction. Here, we demonstrate a 2D exciton-polariton system by strongly coupling atomically thin tungsten diselenide (WSe2) monolayer to a silicon nitride (SiN) metasurface. Via energy-momentum spectroscopy of the WSe2-metasurface system, we observed the characteristic anti-crossing of the polariton dispersion both in the reflection and photoluminescence spectrum. A Rabi splitting of 18 meV was observed which matched well with our numerical simulation. The diffraction effects of the nano-patterned metasurface also resulted in a highly directional polariton emission. Finally, we showed that the Rabi splitting, the polariton dispersion and the far-field emission pattern could be tailored with subwavelength-scale engineering of the optical meta-atoms. Our platform thus opens the door for the future development of novel, exotic exciton-polariton devices by advanced meta-optical engineering.


title: The non-SUSY $AdS_6$ and $AdS_7$ fixed points are brane-jet unstable

abstract: In six- and seven-dimensional gauged supergravity, each scalar potential has one supersymmetric and one non-supersymmetric fixed points. The non-supersymmetric $AdS_7$ fixed point is perturbatively unstable. On the other hand, the non-supersymmetric $AdS_6$ fixed point is known to be perturbatively stable. In this note we examine the newly proposed non-perturbative decay channel, called brane-jet instabilities of the $AdS_6$ and $AdS_7$ vacua. We find that when they are uplifted to massive type IIA and eleven-dimensional supergravity, respectively, the non-supersymmetric $AdS_6$ and $AdS_7$ vacua are both brane-jet unstable, in fond of the weak gravity conjecture.


title: Melanoma Detection using Adversarial Training and Deep Transfer Learning

abstract: Skin lesion datasets consist predominantly of normal samples with only a small percentage of abnormal ones, giving rise to the class imbalance problem. Also, skin lesion images are largely similar in overall appearance owing to the low inter-class variability. In this paper, we propose a two-stage framework for automatic classification of skin lesion images using adversarial training and transfer learning toward melanoma detection. In the first stage, we leverage the inter-class variation of the data distribution for the task of conditional image synthesis by learning the inter-class mapping and synthesizing under-represented class samples from the over-represented ones using unpaired image-to-image translation. In the second stage, we train a deep convolutional neural network for skin lesion classification using the original training set combined with the newly synthesized under-represented class samples. The training of this classifier is carried out by minimizing the focal loss function, which assists the model in learning from hard examples, while down-weighting the easy ones. Experiments conducted on a dermatology image benchmark demonstrate the superiority of our proposed approach over several standard baseline methods, achieving significant performance improvements. Interestingly, we show through feature visualization and analysis that our method leads to context based lesion assessment that can reach an expert dermatologist level.


title: Self-induced passive nonreciprocal transmission by nonlinear bifacial dielectric metasurfaces

abstract: The breaking of Lorentz reciprocity law is a non-trivial task, since it usually requires bulky magnets or complicated time-modulation dynamic techniques to be accomplished. In this work, we present a simple and compact design of a nonlinear bifacial dielectric metasurface to achieve strong self-induced passive nonreciprocal transmission without the use of external biases. The proposed design is ideal for free space optics applications, can operate under both incident polarizations, and require very low input excitation power to reach the nonreciprocal regime. It is composed of two passive silicon-based metasurfaces exhibiting Fano and Lorentzian resonances embedded in an ultrathin glass substrate. Highly asymmetric field enhancement is achieved with the proposed design that leads to strong nonreciprocity at low excitation intensities due to the large Kerr nonlinearity of silicon. Moreover, cascade designs are presented to further improve the insertion loss, broaden the nonreciprocal intensity range, and increase the isolation ratio by enhancing the transmission contrast. Finally, it is demonstrated that the proposed nonlinear metasurface is robust to fabrication imperfections and can achieve large isolation for a relative broad input power range even in the case of two incident waves impinging at the same time from both directions. The current work is expected to lead to new compact nonreciprocal nanophotonic devices, such as all-optical diodes, isolators, circulators, and ultrathin protective layers for sensitive optical components.


title: The Tajima heterochronous n-coalescent: inference from heterochronously sampled molecular data

abstract: The observed sequence variation at a locus informs about the evolutionary history of the sample and past population size dynamics. The Kingman coalescent is used in a generative model of molecular sequence variation to infer evolutionary parameters. However, it is well understood that inference under this model does not scale well with sample size. Here, we build on recent work based on a lower resolution coalescent process, the Tajima coalescent, to model longitudinal samples. While the Kingman coalescent models the ancestry of labeled individuals, the heterochronous Tajima coalescent models the ancestry of individuals labeled by their sampling time. We propose a new inference scheme for the reconstruction of effective population size trajectories based on this model with the potential to improve computational efficiency. Modeling of longitudinal samples is necessary for applications (e.g. ancient DNA and RNA from rapidly evolving pathogens like viruses) and statistically desirable (variance reduction and parameter identifiability). We propose an efficient algorithm to calculate the likelihood and employ a Bayesian nonparametric procedure to infer the population size trajectory. We provide a new MCMC sampler to explore the space of heterochronous Tajima's genealogies and model parameters. We compare our procedure with state-of-the-art methodologies in simulations and applications.


title: The Estimation of the Effective Reproductive Number from Disease Outbreak Data

abstract: We consider a single outbreak susceptible-infected-recovered (SIR) model and corresponding estimation procedures for the effective reproductive number $\mathcal{R}(t)$. We discuss the estimation of the underlying SIR parameters with a generalized least squares (GLS) estimation technique. We do this in the context of appropriate statistical models for the measurement process. We use asymptotic statistical theories to derive the mean and variance of the limiting (Gaussian) sampling distribution and to perform post statistical analysis of the inverse problems. We illustrate the ideas and pitfalls (e.g., large condition numbers on the corresponding Fisher information matrix) with both synthetic and influenza incidence data sets.


title: Improved Algorithms for Population Recovery from the Deletion Channel

abstract: The population recovery problem asks one to recover an unknown distribution over $n$-bit strings given access to independent noisy samples of strings drawn from the distribution. Recently, Ban et al. [BCF+19] studied the problem where the noise is induced through the deletion channel. This problem generalizes the famous trace reconstruction problem, where one wishes to learn a single string under the deletion channel. Ban et al. showed how to learn $\ell$-sparse distributions over strings using $\exp\big(n^{1/2} \cdot (\log n)^{O(\ell)}\big)$ samples. In this work, we learn the distribution using only $\exp\big(\tilde{O}(n^{1/3}) \cdot \ell^2\big)$ samples, by developing a higher-moment analog of the algorithms of [DOS17, NP17], which solve trace reconstruction in $\exp\big(\tilde{O}(n^{1/3})\big)$ samples. We also give the first algorithm with a runtime subexponential in $n$, solving population recovery in $\exp\big(\tilde{O}(n^{1/3}) \cdot \ell^3\big)$ samples and time. Notably, our dependence on $n$ nearly matches the upper bound of [DOS17, NP17] when $\ell = O(1)$, and we reduce the dependence on $\ell$ from doubly to singly exponential. Therefore, we are able to learn large mixtures of strings: while Ban et al.'s algorithm can only learn a mixture of $O(\log n/\log \log n)$ strings with a subexponential number of samples, we are able to learn a mixture of $n^{o(1)}$ strings in $\exp\big(n^{1/3 + o(1)}\big)$ samples and time.


title: Common Envelope Evolution on the Asymptotic Giant Branch: Unbinding within a Decade?

abstract: Common envelope (CE) evolution is a critical but still poorly understood progenitor phase of many high-energy astrophysical phenomena. Although 3D global hydrodynamic CE simulations have become more common in recent years, those involving an asymptotic giant branch (AGB) primary are scarce, due to the high computational cost from the larger dynamical range compared to red giant branch (RGB) primaries. But CE evolution with AGB progenitors is desirable to simulate because such events are the likely progenitors of most bi-polar planetary nebulae (PNe), and prominent observational testing grounds for CE physics. Here we present a high resolution global simulation of CE evolution involving an AGB primary and $1\,\mathrm{M}_\odot$ secondary, evolved for $20$ orbital revolutions. During the last $16$ of these orbits, the envelope unbinds at an almost constant rate of about $0.1$-$0.2\,\mathrm{M}_\odot\,\mathrm{yr}^{-1}$. If this rate were maintained, the envelope would be unbound in less than $10\,\mathrm{yr}$. The dominant source of this unbinding is consistent with inspiral; we assess the influence of the ambient medium to be subdominant. We compare this run with a previous run that used an RGB phase primary evolved from the same $2\,\mathrm{M}_\odot$ main sequence star to assess the influence of the evolutionary state of the primary. When scaled appropriately, the two runs are quite similar, but with some important differences.


title: Differentially Private Assouad, Fano, and Le Cam

abstract: Le Cam's method, Fano's inequality, and Assouad's lemma are three widely used techniques to prove lower bounds for statistical estimation tasks. We propose their analogues under central differential privacy. Our results are simple, easy to apply and we use them to establish sample complexity bounds in several estimation tasks. We establish the optimal sample complexity of discrete distribution estimation under total variation distance and $\ell_2$ distance. We also provide lower bounds for several other distribution classes, including product distributions and Gaussian mixtures that are tight up to logarithmic factors. The technical component of our paper relates coupling between distributions to the sample complexity of estimation under differential privacy.


title: A Sensitivity Matrix Based Methodology for Inverse Problem Formulation

abstract: We propose an algorithm to select parameter subset combinations that can be estimated using an ordinary least-squares (OLS) inverse problem formulation with a given data set. First, the algorithm selects the parameter combinations that correspond to sensitivity matrices with full rank. Second, the algorithm involves uncertainty quantification by using the inverse of the Fisher Information Matrix. Nominal values of parameters are used to construct synthetic data sets, and explore the effects of removing certain parameters from those to be estimated using OLS procedures. We quantify these effects in a score for a vector parameter defined using the norm of the vector of standard errors for components of estimates divided by the estimates. In some cases the method leads to reduction of the standard error for a parameter to less than 1\% of the estimate.


title: Quantum Algorithms for Estimating Physical Quantities using Block-Encodings

abstract: We present quantum algorithms for the estimation of n-time correlation functions, the local and non-local density of states, and dynamical linear response functions. These algorithms are all based on block-encodings - a versatile technique for the manipulation of arbitrary non-unitary matrices on a quantum computer. We describe how to 'sketch' these quantities via the kernel polynomial method which is a standard strategy in numerical condensed matter physics. These algorithms use amplitude estimation to obtain a quadratic speedup in the accuracy over previous results, can capture any observables and Hamiltonians presented as linear combinations of Pauli matrices, and are modular enough to leverage future advances in Hamiltonian simulation and state preparation.


title: Alzheimer's Dementia Recognition through Spontaneous Speech: The ADReSS Challenge

abstract: The ADReSS Challenge at INTERSPEECH 2020 defines a shared task through which different approaches to the automated recognition of Alzheimer's dementia based on spontaneous speech can be compared. ADReSS provides researchers with a benchmark speech dataset which has been acoustically pre-processed and balanced in terms of age and gender, defining two cognitive assessment tasks, namely: the Alzheimer's speech classification task and the neuropsychological score regression task. In the Alzheimer's speech classification task, ADReSS challenge participants create models for classifying speech as dementia or healthy control speech. In the the neuropsychological score regression task, participants create models to predict mini-mental state examination scores. This paper describes the ADReSS Challenge in detail and presents a baseline for both tasks, including feature extraction procedures and results for classification and regression models. ADReSS aims to provide the speech and language Alzheimer's research community with a platform for comprehensive methodological comparisons. This will hopefully contribute to addressing the lack of standardisation that currently affects the field and shed light on avenues for future research and clinical applicability.


title: Classical Coding Approaches to Quantum Applications

abstract: Quantum information science strives to leverage the quantum-mechanical nature of our universe in order to achieve large improvements in certain information processing tasks. In deep-space optical communications, current receivers for the pure-state classical-quantum channel first measure each qubit channel output and then classically post-process the measurements. This approach is sub-optimal. In this dissertation we investigate a recently proposed quantum algorithm for this task, which is inspired by classical belief-propagation algorithms, and analyze its performance on a simple $5$-bit code. We show that the algorithm is optimal for each bit and it appears to achieve optimal performance when deciding the full transmitted message. We also provide explicit circuits for the algorithm in terms of standard gates. This suggests a near-term quantum communication advantage over the aforementioned sub-optimal scheme. Quantum error correction is vital to building a universal fault-tolerant quantum computer. We propose an efficient algorithm that can translate a given logical Clifford operation on a stabilizer code into all (equivalence classes of) physical Clifford circuits that realize that operation. In order to achieve universality, one also needs to implement at least one non-Clifford logical operation. So, we develop a mathematical framework for a large subset of diagonal operations in the Clifford hierarchy, which we call Quadratic Form Diagonal (QFD) gates. Then we use the QFD formalism to characterize all stabilizer codes whose code spaces are preserved under the transversal action of the non-Clifford $T$ gates on the physical qubits. We also discuss a few purely-classical coding problems motivated by transversal $T$ gates. A conscious effort has been made to keep this dissertation self-contained, by including necessary background material on quantum information and computation.


title: Weak deep priors for seismic imaging

abstract: Incorporating prior knowledge on model unknowns of interest is essential when dealing with ill-posed inverse problems due to the nonuniqueness of the solution and data noise. Unfortunately, it is not trivial to fully describe our priors in a convenient and analytical way. Parameterizing the unknowns with a convolutional neural network (CNN), and assuming an uninformative Gaussian prior on its weights, leads to a variational prior on the output space that favors "natural" images and excludes noisy artifacts, as long as overfitting is prevented. This is the so-called deep-prior approach. In seismic imaging, however, evaluating the forward operator is computationally expensive, and training a randomly initialized CNN becomes infeasible. We propose, instead, a weak version of deep priors, which consists of relaxing the requirement that reflectivity models must lie in the network range, and letting the unknowns deviate from the network output according to a Gaussian distribution. Finally, we jointly solve for the reflectivity model and CNN weights. The chief advantage of this approach is that the updates for the CNN weights do not involve the modeling operator, and become relatively cheap. Our synthetic numerical experiments demonstrate that the weak deep prior is more robust with respect to noise than conventional least-squares imaging approaches, with roughly twice the computational cost of reverse-time migration, which is the affordable computational budget in large-scale imaging problems.


title: Beamforming and Resource Allocation for Multi-User Full-Duplex Wireless Powered Communications in IoT Networks

abstract: For a self-sustaining wireless communication system in Internet-of-Things (IoT) networks, energy harvesting (EH) can be implemented at each user node as a constant renewable power supply source. Hence, an investigation into the use of wireless powered communication network (WPCN) protocols to facilitate communication between an access point (AP) and multiple mobile users (MUs) is presented in this paper. The AP has multiple antennas and operates in the full-duplex (FD) mode. The MUs, on the other hand, have single antennas and works in the half-duplex (HD) mode. Each MU communicating with the FD-AP is assigned to one of two groups, based on the time allocation and channel access for either uplink (UL) or downlink (DL) communication. The channel assignment, time resource, and power resource allocations are optimized to maximize the UL weighted sum-rate. The sum-rate optimization problem is found to be non-convex. Therefore, an iterative algorithm is investigated to optimize the UL weighted sum-rate of the propose FD-WPCN system. Next, the proposed FD-WPCN algorithm is modified for a HD-WPCN enabled communication between the AP and multiple MUs. Extensive simulations are conducted to verify the proposed algorithm for FD-WPCN and compare its performance with the HD-WPCN counterpart. From the simulation results, FD-WPCN outperformed HD-WPCN at a low AP transmit signal-to-noise ratio (SNR) region. The opposite behavior is observed for high AP transmit SNR due to increasing residual self-interference at the FD-AP.


title: Fast degradation of the circular flare ribbon on 2014 August 24

abstract: The separation and elongation motions of solar flare ribbons have extensively been investigated. The degradation and disappearance of ribbons have rarely been explored. In this paper, we report our multiwavelength observations of a C5.5 circular-ribbon flare associated with two jets (jet1 and jet2) on 2014 August 24, focusing on the fast degradation of the outer circular ribbon (CR). The flare, consisting of a short inner ribbon (IR) and outer CR, was triggered by the eruption of a minifilament. The brightness of IR and outer CR reached their maxima simultaneously at $\sim$04:58 UT in all AIA wavelengths. Subsequently, the short eastern part of CR faded out quickly in 1600 {\AA} but gradually in EUV wavelengths. The long western part of CR degraded in the counterclockwise direction and experienced a deceleration. The degradation was distinctly divided into two phases: phase I with faster apparent speeds (58$-$69 km s$^{-1}$) and phase II with slower apparent speeds (29$-$35 km s$^{-1}$). The second phase stopped at $\sim$05:10 UT when the western CR totally disappeared. Besides the outward propagation of jet1, the jet spire experienced untwisting motion in the counterclockwise direction during 04:55$-$05:00 UT. We conclude that the event can be explained by the breakout jet model. The coherent brightenings of the IR and CR at $\sim$04:58 UT may result from the impulsive interchange reconnection near the null point, whereas sub-Alfv\'{e}nic slipping motion of the western CR in the counterclockwise direction indicates the occurrence of slipping magnetic reconnection. Another possible explanation of the quick disappearance of the hot loops connecting to the western CR is that they are simply reconnected sequentially without the need for significant slippage after the null point reconnection.


title: Composite Travel Generative Adversarial Networks for Tabular and Sequential Population Synthesis

abstract: Agent-based transportation modelling has become the standard to simulate travel behaviour, mobility choices and activity preferences using disaggregate travel demand data for entire populations, data that are not typically readily available. Various methods have been proposed to synthesize population data for this purpose. We present a Composite Travel Generative Adversarial Network (CTGAN), a novel deep generative model to estimate the underlying joint distribution of a population, that is capable of reconstructing composite synthetic agents having tabular (e.g. age and sex) as well as sequential mobility data (e.g. trip trajectory and sequence). The CTGAN model is compared with other recently proposed methods such as the Variational Autoencoders (VAE) method, which has shown success in high dimensional tabular population synthesis. We evaluate the performance of the synthesized outputs based on distribution similarity, multi-variate correlations and spatio-temporal metrics. The results show the consistent and accurate generation of synthetic populations and their tabular and spatially sequential attributes, generated over varying spatial scales and dimensions.


title: Energy dependence of the inelasticity in $pp/p\bar{p}$ collisions from experimental information on charged particle multiplicity distributions

abstract: The dependence of the inelasticity in terms of the center of mass energy is studied in the eikonal formalism, which provides connection between elastic and inelastic channels. Due to the absence of inelasticity experimental datasets, the present analysis is based on experimental information available on the full phase space multiplicity distribution covering a large range of energy, namely 30 $<$ $\sqrt{s}$ $\leq$ 1800 GeV. Our results indicate that the decrease of inelasticity is consequence of minijets production from semihard interactions arising from the scattering of gluons carrying only a very small fractions of the momenta from their parent protons. Alternative methods of estimating the inelasticity are discussed and predictions to the LHC energies are presented.


title: On dissipative symplectic integration with applications to gradient-based optimization

abstract: Recently, continuous-time dynamical systems have proved useful in providing conceptual and quantitative insights into gradient-based optimization, widely used in modern machine learning and statistics. An important question that arises in this line of work is how to discretize the system in such a way that its stability and rates of convergence are preserved. In this paper we propose a geometric framework in which such discretizations can be realized systematically, enabling the derivation of "rate-matching" algorithms without the need for a discrete convergence analysis. More specifically, we show that a generalization of symplectic integrators to nonconservative and in particular dissipative Hamiltonian systems is able to preserve rates of convergence up to a controlled error. Moreover, such methods preserve a shadow Hamiltonian despite the absence of a conservation law, extending key results of symplectic integrators to nonconservative cases. Our arguments rely on a combination of backward error analysis with fundamental results from symplectic geometry. We stress that although the original motivation for this work was the application to optimization, where dissipative systems play a natural role, they are fully general and not only provide a differential geometric framework for dissipative Hamiltonian systems but also substantially extend the theory of structure-preserving integration.

categories: math.OC cond-mat.dis-nn cond-mat.stat-mech stat.ML


title: On the Energy Coupling Efficiency of AGN Outbursts in Galaxy Clusters

abstract: Active galactic nucleus (AGN) jets are believed to be important in solving the cooling flow problem in the intracluster medium (ICM), while the detailed mechanism is still in debate. Here we present a systematic study on the energy coupling efficiency $\eta_{\rm cp}$, the fraction of AGN jet energy transferred to the ICM. We first estimate the values of $\eta_{\rm cp}$ analytically in two extreme cases, which are further confirmed and extended with a parameter study of spherical outbursts in a uniform medium using hydrodynamic simulations. We find that $\eta_{\rm cp}$ increases from $\sim 0.4$ for a weak isobaric injection to $\gtrsim 0.8$ for a powerful point injection. For any given outburst energy, we find two characteristic outburst powers that separate these two extreme cases. We then investigate the energy coupling efficiency of AGN jet outbursts in a realistic ICM with hydrodynamic simulations, finding that jet outbursts are intrinsically different from spherical outbursts. For both powerful and weak jet outbursts, $\eta_{\rm cp}$ is typically around $0.7-0.9$, partly due to the non-spherical nature of jet outbursts, which produce backflows emanating from the hotspots, significantly enhancing the ejecta-ICM interaction. While for powerful outbursts a dominant fraction of the energy transferred from the jet to the ICM is dissipated by shocks, shock dissipation only accounts for $\lesssim 30\%$ of the injected jet energy for weak outbursts. While both powerful and weak outbursts could efficiently heat cooling flows, powerful thermal-energy-dominated jets are most effective in delaying the onset of the central cooling catastrophe.


title: Layered Graph Embedding for Entity Recommendation using Wikipedia in the Yahoo! Knowledge Graph

abstract: In this paper, we describe an embedding-based entity recommendation framework for Wikipedia that organizes Wikipedia into a collection of graphs layered on top of each other, learns complementary entity representations from their topology and content, and combines them with a lightweight learning-to-rank approach to recommend related entities on Wikipedia. Through offline and online evaluations, we show that the resulting embeddings and recommendations perform well in terms of quality and user engagement. Balancing simplicity and quality, this framework provides default entity recommendations for English and other languages in the Yahoo! Knowledge Graph, which Wikipedia is a core subset of.


title: Bayesian differential programming for robust systems identification under uncertainty

abstract: This paper presents a machine learning framework for Bayesian systems identification from noisy, sparse and irregular observations of nonlinear dynamical systems. The proposed method takes advantage of recent developments in differentiable programming to propagate gradient information through ordinary differential equation solvers and perform Bayesian inference with respect to unknown model parameters using Hamiltonian Monte Carlo. This allows us to efficiently infer posterior distributions over plausible models with quantified uncertainty, while the use of sparsity-promoting priors enables the discovery of interpretable and parsimonious representations for the underlying latent dynamics. A series of numerical studies is presented to demonstrate the effectiveness of the proposed methods including nonlinear oscillators, predator-prey systems, chaotic dynamics and systems biology. Taken all together, our findings put forth a novel, flexible and robust workflow for data-driven model discovery under uncertainty.


title: New limits on neutrino decay from the Glashow resonance of high-energy cosmic neutrinos

abstract: Discovering neutrino decay would be strong evidence of physics beyond the Standard Model. Presently, there are only lax lower limits on the lifetime $\tau$ of neutrinos, of $\tau/m \sim 10^{-3}$ s eV$^{-1}$ or worse, where $m$ is the unknown neutrino mass. High-energy cosmic neutrinos, with TeV-PeV energies, offer superior sensitivity to decay due to their cosmological-scale baselines. To tap into it, we employ a promising method, recently proposed, that uses the Glashow resonance $\bar{\nu}_e + e \to W$, triggered by $\bar{\nu}_e$ of 6.3 PeV, to test decay with only a handful of detected events. If most of the $\nu_1$ and $\nu_2$ decay into $\nu_3$ en route to Earth, no Glashow resonance would occur in neutrino telescopes, because the remaining $\nu_3$ have only a tiny electron-flavor content. We turn this around and use the recent first detection of a Glashow resonance candidate in IceCube to place new lower limits on the lifetimes of $\nu_1$ and $\nu_2$. For $\nu_2$, our limit is the current best. For $\nu_1$, our limit is close to the current best and, with the imminent detection of a second Glashow resonance, will vastly surpass it.


title: A Dual-band Radio Observation of FRB 121102 with the Deep Space Network and the Detection of Multiple Bursts

abstract: The spectra of repeating fast radio bursts (FRBs) are complex and time-variable, sometimes peaking within the observing band and showing a fractional emission bandwidth of about 10-30%. These spectral features may provide insight into the emission mechanism of repeating fast radio bursts, or they could possibly be explained by extrinsic propagation effects in the local environment. Broadband observations can better quantify this behavior and help to distinguish between intrinsic and extrinsic effects. We present results from a simultaneous 2.25 and 8.36 GHz observation of the repeating FRB 121102 using the 70 m Deep Space Network (DSN) radio telescope, DSS-43. During the 5.7 hr continuous observing session, we detected 6 bursts from FRB 121102, which were visible in the 2.25 GHz frequency band. However, none of these bursts were detected in the 8.36 GHz band, despite the larger bandwidth and greater sensitivity in the higher-frequency band. This effect is not explainable by Galactic scintillation and, along with previous multi-band experiments, clearly demonstrates that apparent burst activity depends strongly on the radio frequency band that is being observed.


title: MxPool: Multiplex Pooling for Hierarchical Graph Representation Learning

abstract: How to utilize deep learning methods for graph classification tasks has attracted considerable research attention in the past few years. Regarding graph classification tasks, the graphs to be classified may have various graph sizes (i.e., different number of nodes and edges) and have various graph properties (e.g., average node degree, diameter, and clustering coefficient). The diverse property of graphs has imposed significant challenges on existing graph learning techniques since diverse graphs have different best-fit hyperparameters. It is difficult to learn graph features from a set of diverse graphs by a unified graph neural network. This motivates us to use a multiplex structure in a diverse way and utilize a priori properties of graphs to guide the learning. In this paper, we propose MxPool, which concurrently uses multiple graph convolution/pooling networks to build a hierarchical learning structure for graph representation learning tasks. Our experiments on numerous graph classification benchmarks show that our MxPool has superiority over other state-of-the-art graph representation learning methods.


title: Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang

abstract: This is a contribution to the classification problem for dp-minimal expansions of $(\mathbb{Z},+)$. Let $S$ be a dense cyclic group order on $(\mathbb{Z},+)$. We use results on "dense pairs" to construct uncountably many dp-minimal expansions of $(\mathbb{Z},+,S)$. These constructions are applications of the Mordell-Lang conjecture and are the first examples of "non-modular" dp-minimal expansions of $(\mathbb{Z},+)$. We canonically associate an o-minimal expansion $\mathcal{R}$ of $(\mathbb{R},+,\times)$, an $\mathcal{R}$-definable circle group $\mathbb{H}$, and a character $\mathbb{Z} \to \mathbb{H}$ to a "non-modular" dp-minimal expansion of $(\mathbb{Z},+,S)$. We also construct a "non-modular" dp-minimal expansion of $(\mathbb{Z},+,\mathrm{Val}_p)$ from the character $\mathbb{Z} \to \mathbb{Z}^\times_p$, $k \mapsto \mathrm{exp}(pk)$.


title: Intuitive, Interactive Beard and Hair Synthesis with Generative Models

abstract: We present an interactive approach to synthesizing realistic variations in facial hair in images, ranging from subtle edits to existing hair to the addition of complex and challenging hair in images of clean-shaven subjects. To circumvent the tedious and computationally expensive tasks of modeling, rendering and compositing the 3D geometry of the target hairstyle using the traditional graphics pipeline, we employ a neural network pipeline that synthesizes realistic and detailed images of facial hair directly in the target image in under one second. The synthesis is controlled by simple and sparse guide strokes from the user defining the general structural and color properties of the target hairstyle. We qualitatively and quantitatively evaluate our chosen method compared to several alternative approaches. We show compelling interactive editing results with a prototype user interface that allows novice users to progressively refine the generated image to match their desired hairstyle, and demonstrate that our approach also allows for flexible and high-fidelity scalp hair synthesis.


title: Weak greedy algorithms and the equivalence between semi-greedy and almost greedy Markushevich bases

abstract: We introduce and study the notion of weak semi-greedy systems -which is inspired in the concepts of semi-greedy and Branch semi-greedy systems and weak thresholding sets-, and prove that in the context Markushevich bases in infinite dimensional Banach spaces, the notions of \textit{ semi-greedy, branch semi-greedy, weak semi-greedy, and almost greedy} Markushevich bases are all equivalent. This completes and extends some results from \cite{Berna2019}, \cite{Dilworth2003b}, and \cite{Dilworth2012}. We also exhibit an example of a semi-greedy system that is neither almost greedy nor a Markushevich basis, showing that the Markushevich condition cannot be dropped from the equivalence result. In some cases, we obtain improved upper bounds for the corresponding constants of the systems.


title: Asymptotics for the electric field concentration in the perfect conductivity problem

abstract: In the perfect conductivity problem of composite material, the electric field concentrates in a narrow region in between two inclusions and always becomes arbitrarily large when the distance between inclusions tends to zero. To characterize such singular behavior, we capture the leading term of the gradient and reveal that the blow-up rates are determined by their relative convexity of the two adjacent inclusions. On the other hand, a blow-up factor, which is a linear functional of boundary data, is found to determine the blow-up will occur or not.


title: Role of instability on the limits of laterally strained detonation waves

abstract: The present work examines the role of instability and diffusive phenomena in controlling the limits of detonations subject to lateral strain rates. Experiments were conducted in hydrocarbon-oxygen mixtures with varying levels of cellular instability. These detonations were propagated in channels with exponentially enlarging cross-sections, following the recent works of Radulescu \& Borzou (2018) and Xiao \& Radulescu (2020). Steady detonation waves were obtained at the macro-scale, with the near-limit reaction zone structures characterized by significant unreacted gas pockets. The turbulent flame burning velocity of these pockets was evaluated to be 30 m/s to 70 m/s, which is larger than the theoretical laminar value by a factor of 2 to 7. For all the mixtures tested, the characteristic $D-K$ relationships, relating the detonation mean propagation speed with lateral flow divergence, were obtained directly from experiments and as well from the generalized ZND model with lateral strain rates using detailed chemical kinetics. The results showed that the degree of departure between experiments and the theoretical predictions increases significantly with the detonation instability level. As compared to the laminar ZND wave, the more unstable detonations are much more detonable than the more stable detonations, with substantially larger limiting divergence rates and maximum velocity deficits. Such enhanced detonability with detonation instability can be manifested in the significantly enhanced global rates of energy release with the notably suppressed thermal character of ignition for the more unstable detonations. This globally enhanced burning mechanism is found to be realized by the intensified auto-ignition assisted by the turbulent diffusive burning of the unreacted gas pockets, substantially shortening the characteristic reaction zone lengths.


title: On a Generalization of Strongly $\eta$-Convex Functions via Fractal Sets

abstract: The purpose of this paper is to study a generalization of strongly $\eta$-convex functions using the fractal calculus developed by Yang \cite{Yang}, namely generalized strongly $\eta$-convex function. Among other results, we obtain some Hermite-Hadamard and Fej\'er type inequalities for this class of functions.


title: Mosaic Super-resolution via Sequential Feature Pyramid Networks

abstract: Advances in the design of multi-spectral cameras have led to great interests in a wide range of applications, from astronomy to autonomous driving. However, such cameras inherently suffer from a trade-off between the spatial and spectral resolution. In this paper, we propose to address this limitation by introducing a novel method to carry out super-resolution on raw mosaic images, multi-spectral or RGB Bayer, captured by modern real-time single-shot mosaic sensors. To this end, we design a deep super-resolution architecture that benefits from a sequential feature pyramid along the depth of the network. This, in fact, is achieved by utilizing a convolutional LSTM (ConvLSTM) to learn the inter-dependencies between features at different receptive fields. Additionally, by investigating the effect of different attention mechanisms in our framework, we show that a ConvLSTM inspired module is able to provide superior attention in our context. Our extensive experiments and analyses evidence that our approach yields significant super-resolution quality, outperforming current state-of-the-art mosaic super-resolution methods on both Bayer and multi-spectral images. Additionally, to the best of our knowledge, our method is the first specialized method to super-resolve mosaic images, whether it be multi-spectral or Bayer.


title: Characterisations of $\Sigma$-pure-injectivity in triangulated categories and applications to endoperfect objects

abstract: We provide various ways to characterise $\Sigma$-pure-injective objects in a compactly generated triangulated category. These characterisations mimic analogous well-known results from the model theory of modules. The proof involves two approaches. In the first approach we adapt arguments from the module-theoretic setting. Here the one-sorted language of modules over a fixed ring is replaced with a canonical multi-sorted language, whose sorts are given by compact objects. Throughout we use a variation of the Yoneda embedding, called the resticted Yoneda functor, which associates a multi-sorted structure to each object. The second approach is to translate statements using this functor. In particular, results about $\Sigma$-pure-injectives in triangulated categories are deduced from results about $\Sigma$-injective objects in Grothendieck categories. Combining the two approaches highlights a connection between sorted pp-definable subgroups and annihilator subobjects of generators in the functor category. Our characterisation motivates the introduction of what we call endoperfect objects, which generalise endofinite objects.


title: $C^r$-Closing lemma for partially hyperbolic diffeomorphisms with 1D-center bundle

abstract: For every $r\in\mathbb{N}_{\geq2}\cup\{\infty\}$, we prove the $C^r$-closing lemma for general and conservative partially hyperbolic diffeomorphisms with one-dimensional center bundle. In particular, it implies periodic points are dense for $C^r$-generic conservative partially hyperbolic diffeomorphisms with one-dimensional center bundle.


title: Combining Geometric and Information-Theoretic Approaches for Multi-Robot Exploration

abstract: We present an algorithm to explore an orthogonal polygon using a team of $p$ robots. This algorithm combines ideas from information-theoretic exploration algorithms and computational geometry based exploration algorithms. We show that the exploration time of our algorithm is competitive (as a function of $p$) with respect to the offline optimal exploration algorithm. The algorithm is based on a single-robot polygon exploration algorithm, a tree exploration algorithm for higher level planning and a submodular orienteering algorithm for lower level planning. We discuss how this strategy can be adapted to real-world settings to deal with noisy sensors. In addition to theoretical analysis, we investigate the performance of our algorithm through simulations for multiple robots and experiments with a single robot.


title: A parsimonious family of multivariate Poisson-lognormal distributions for clustering multivariate count data

abstract: Multivariate count data are commonly encountered through high-throughput sequencing technologies in bioinformatics, text mining, or in sports analytics. Although the Poisson distribution seems a natural fit to these count data, its multivariate extension is computationally expensive.In most cases mutual independence among the variables is assumed, however this fails to take into account the correlation among the variables usually observed in the data. Recently, mixtures of multivariate Poisson-lognormal (MPLN) models have been used to analyze such multivariate count measurements with a dependence structure. In the MPLN model, each count is modeled using an independent Poisson distribution conditional on a latent multivariate Gaussian variable. Due to this hierarchical structure, the MPLN model can account for over-dispersion as opposed to the traditional Poisson distribution and allows for correlation between the variables. Rather than relying on a Monte Carlo-based estimation framework which is computationally inefficient, a fast variational-EM based framework is used here for parameter estimation. Further, a parsimonious family of mixtures of Poisson-lognormal distributions are proposed by decomposing the covariance matrix and imposing constraints on these decompositions. Utility of such models is shown using simulated and benchmark datasets.


title: Quadrupedal Locomotion via Event-Based Predictive Control and QP-Based Virtual Constraints

abstract: This paper aims to develop a hierarchical nonlinear control algorithm, based on model predictive control (MPC), quadratic programming (QP), and virtual constraints, to generate and stabilize locomotion patterns in a real-time manner for dynamical models of quadrupedal robots. The higher level of the proposed control scheme is developed based on an event-based MPC that computes the optimal center of mass (COM) trajectories for a reduced-order linear inverted pendulum (LIP) model subject to the feasibility of the net ground reaction force (GRF). The asymptotic stability of the desired target point for the reduced-order model under the event-based MPC approach is investigated. It is shown that the event-based nature of the proposed MPC approach can significantly reduce the computational burden associated with the real-time implementation of MPC techniques. To bridge the gap between reduced- and full-order models, QP-based virtual constraint controllers are developed at the lower level of the proposed control scheme to impose the full-order dynamics to track the optimal trajectories while having all individual GRFs in the friction cone. The analytical results of the paper are numerically confirmed on full-order simulation models of a 22 degree of freedom quadrupedal robot, Vision 60, that is augmented by a robotic manipulator. The paper numerically investigates the robustness of the proposed control algorithm against different contact models.


title: No consistent atmospheric absorption detected for the ultra-hot Jupiter WASP-189 b

abstract: We observed a partial transit of the ultra-hot Jupiter WASP-189 b with PEPSI on the LBT. We detect a highly variable transit signal in multiple atomic transitions, including H-alpha, Fe I, and Mg I. The signal is not consistent with a transiting planetary atmosphere. We suggest instead that the in-transit signal is due to an inhomogeneous stellar surface. Our observations demonstrate the lack of a highly extended atmosphere in common optical atomic tracers. Although WASP-189 is very bright, atmospheric characterization of the planet will be difficult due to the small transit depth and apparently compact atmosphere.


title: A Practical Blockchain Framework using Image Hashing for Image Authentication

abstract: Blockchain is a relatively new technology that can be seen as a decentralised database. Blockchain systems heavily rely on cryptographic hash functions to store their data, which makes it difficult to tamper with any data stored in the system. A topic that was researched along with blockchain is image authentication. Image authentication focuses on investigating and maintaining the integrity of images. As a blockchain system can be useful for maintaining data integrity, image authentication has the potential to be enhanced by blockchain. There are many techniques that can be used to authenticate images; the technique investigated by this work is image hashing. Image hashing is a technique used to calculate how similar two different images are. This is done by converting the images into hashes and then comparing them using a distance formula. To investigate the topic, an experiment involving a simulated blockchain was created. The blockchain acted as a database for images. This blockchain was made up of devices which contained their own unique image hashing algorithms. The blockchain was tested by creating modified copies of the images contained in the database, and then submitting them to the blockchain to see if it will return the original image. Through this experiment it was discovered that it is plausible to create an image authentication system using blockchain and image hashing. However, the design proposed by this work requires refinement, as it appears to struggle in some situations. This work shows that blockchain can be a suitable approach for authenticating images, particularly via image hashing. Other observations include that using multiple image hash algorithms at the same time can increase performance in some cases, as well as that each type of test done to the blockchain has its own unique pattern to its data.