title: WedgeChain: A Trusted Edge-Cloud Store With Asynchronous (Lazy) Trust

abstract: We propose WedgeChain, a data store that spans both edge and cloud nodes (an edge-cloud system). WedgeChain consists of a logging layer and a data indexing layer. In this study, we encounter two challenges: (1) edge nodes are untrusted and potentially malicious, and (2) edge-cloud coordination is expensive. WedgeChain tackles these challenges by the following proposals: (1) Lazy (asynchronous) certification: where data is committed at the untrusted edge and then lazily certified at the cloud node. This lazy certification method takes advantage of the observation that an untrusted edge node is unlikely to act maliciously if it knows it will be detected (and punished) eventually. Our lazy certification method guarantees that malicious acts (i.e., lying) are eventually detected. (2) Data-free certification: our lazy certification method only needs to send digests of data to the cloud, instead of sending all data to the cloud, which enables saving network and cloud resources and reduce costs. (3) LSMerkle: we extend a trusted index (mLSM) to enable indexing data at the edge while utilizing lazy and data-free certification.


title: Description of the multidimensional potential energy surface in fission of $^{252}$Cf and $^{258}$No

abstract: The microscopic studies on nuclear fission require the evaluation of the potential energy surface as a function of the collective coordinates. A reasonable choice of constraints on multipole moments should be made to describe the topography of the surface completely within a reasonable amount of computing time. We present a detailed analysis of fission barriers in the self-consistent Hartree-Fock-Bogoliubov approach with the D1S parametrization of the Gogny nucleon-nucleon interaction. Two heavy isotopes representing different spontaneous fission modes - $^{252}$Cf (asymmetric) and $^{258}$No (bimodal) - have been chosen for the analysis. We have shown the existence of complicated structures on the energy surface that can not be fully described in two-dimensional calculations. We analyze apparent problems that can be encountered in this type of calculations: multiple solutions for given constraints and transitions between various potential energy surfaces. We present possible solutions on how to deal with these issues.


title: Deep Learning for Road Traffic Forecasting: Does it Make a Difference?

abstract: Deep Learning methods have been proven to be flexible to model complex phenomena. This has also been the case of Intelligent Transportation Systems (ITS), in which several areas such as vehicular perception and traffic analysis have widely embraced Deep Learning as a core modeling technology. Particularly in short-term traffic forecasting, the capability of Deep Learning to deliver good results has generated a prevalent inertia towards using Deep Learning models, without examining in depth their benefits and downsides. This paper focuses on critically analyzing the state of the art in what refers to the use of Deep Learning for this particular ITS research area. To this end, we elaborate on the findings distilled from a review of publications from recent years, based on two taxonomic criteria. A posterior critical analysis is held to formulate questions and trigger a necessary debate about the issues of Deep Learning for traffic forecasting. The study is completed with a benchmark of diverse short-term traffic forecasting methods over traffic datasets of different nature, aimed to cover a wide spectrum of possible scenarios. Our experimentation reveals that Deep Learning could not be the best modeling technique for every case, which unveils some caveats unconsidered to date that should be addressed by the community in prospective studies. These insights reveal new challenges and research opportunities in road traffic forecasting, which are enumerated and discussed thoroughly, with the intention of inspiring and guiding future research efforts in this field.


title: Global W^1,p regularity for an elliptic problem with measure source and Leray-Hardy potential,

abstract: In this paper, we develop the Littman-Stampacchia-Weinberger duality approach to obtain global W^1,p estimates for a class of elliptic problems involving Leray-Hardy operators and measure sources in a distributional framework associated with a dual formulation with a specific weight function.


title: Toe-Heal-Air-Injection Thermal Recovery Production Prediction and Modelling Using Quadratic Poisson Polynomial Regression

abstract: This research paper explores application of multivariable regression models using only reservoir temperatures for predicting oil and gas production in a Toe-Heal-Air-Injection (THAI) enhanced oil recovery process. This paper discusses effects of statistical interaction between thermocouples by using second degree quadratic polynomials, which showed significant production forecast accuracy. Interactions among thermocouples statistically include temperature of larger reservoir areas, hence improving the predictive models. The interaction of two thermocouples can be interpreted as temperature gradient of combustion zone as moving forward during THAI operations life cycle. Second degree polynomial regression including interactions showed major prediction improvement for both oil and natural gas productions compare to simple regression models. Application of Poisson regression slightly improved prediction accuracy for oil production and was less effective on improving natural gas production predictions. Quadratic Poisson regression models showed realistic production prediction method for both oil and gas production values, due to the nature of Poisson probability distribution which is non-negative for rates and count values.


title: Algorithm To Calculate Pulse from PPG Signal After Eliminating Touch Errors from the Fingertip Video Captured by Smartphone Camera

abstract: With the ongoing heart problems of the population worldwide, the medical requirements of the people are expected to increase. Electrocardiogram (ECG) is one of the proven to capture the heart response signal to assess the electrical and muscular functions of the heart. The ECG setup is expensive and needs proper training, and of course, it is not instant. For fast, accurate heart parameter monitoring, scientists pay attention to the photoplethysmogram signal (PPG), based on the light intensity of a particular wavelength. Android smartphone with a good quality camera has come to ordinary people's reach and has become one of the most necessary and rugged devices for today and future generations. We can use its powerful features to solve or assess heart state monitoring by capturing the image's necessary data. The mobile camera has a photo emitting diode and a photodetector. The light source illuminates the tissue. The photodetector calculates the small variation in light intensity associated with blood volume change in the vessels (mainly fingertips, toes, and ears). We have captured unfocused contact video to capture PPG using an Android Smartphone. Then, we removed a certain percent of camera touch errors based on average pixel intensity count in the red plane, and it is a new approach that has been introduced in this research. We used a 2nd order Butterworth (IIR) band pass filter for noise removal, FFT Hann Window for frequency analysis and leakage reduction. We have developed an algorithm using MATLAB as a development platform, for accurate pulse (BPM) measurement. Moreover, we have done a comparative analysis of developed algorithm with other available algorithms for PPG-based pulse calculation. In this study, the fingertip video was captured when the body was at rest


title: Domain Adaptation on Semantic Segmentation for Aerial Images

abstract: Semantic segmentation has achieved significant advances in recent years. While deep neural networks perform semantic segmentation well, their success rely on pixel level supervision which is expensive and time-consuming. Further, training using data from one domain may not generalize well to data from a new domain due to a domain gap between data distributions in the different domains. This domain gap is particularly evident in aerial images where visual appearance depends on the type of environment imaged, season, weather, and time of day when the environment is imaged. Subsequently, this distribution gap leads to severe accuracy loss when using a pretrained segmentation model to analyze new data with different characteristics. In this paper, we propose a novel unsupervised domain adaptation framework to address domain shift in the context of aerial semantic image segmentation. To this end, we solve the problem of domain shift by learn the soft label distribution difference between the source and target domains. Further, we also apply entropy minimization on the target domain to produce high-confident prediction rather than using high-confident prediction by pseudo-labeling. We demonstrate the effectiveness of our domain adaptation framework using the challenge image segmentation dataset of ISPRS, and show improvement over state-of-the-art methods in terms of various metrics.


title: Nano-Confinement Effects on Liquid Pressure

abstract: In this work, molecular dynamics simulations are performed to estimate the equilibrium pressure of liquid confined in nanopores. The simulations show that the pressure is highly sensitive to the pore size and can significantly change from absolute positive to negative values for a very small (0.1 nm) change in pore size. The contribution from the solid-liquid interaction always dominates the pressure in the first liquid layer adjacent to the surface and the sensitiveness of pressure on the pore size is due to the atom distribution in the liquid layers. A surface influence number S is introduced to quantitatively characterize the degree of the confinement. The S number decreases with increasing pore size based on a power law function at constant system temperature. In nanopores with large S number, the pore liquid pressure is found to be independent of bulk liquid pressure while the pore pressure increases with bulk pressure in nanopores with small S number.


title: Four spacetime dimensional simulation of rheological waves in solids and the merits of thermodynamics

abstract: The recent results attained from a thermodynamically conceived numerical scheme applied on wave propagation in viscoelastic/rheological solids are generalized here, both in the sense that the scheme is extended to four spacetime dimensions and in the aspect of the virtues of a thermodynamical approach. Regarding the scheme, the arrangement of which quantity is represented where in discretized spacetime, including the question of appropriately realizing the boundary conditions, is nontrivial. In parallel, placing the problem in the thermodynamical framework proves to be beneficial in regards to monitoring and controlling numerical artefacts - instability, dissipation error, and dispersion error. This, in addition to the observed preciseness, speed, and resource-friendliness, makes the thermodynamically extended symplectic approach that is presented here advantageous above commercial finite element software solutions.


title: Hybrid CMOS/Memristor Circuit Design Methodology

abstract: RRAM technology has experienced explosive growth in the last decade, with multiple device structures being developed for a wide range of applications. However, transitioning the technology from the lab into the marketplace requires the development of an accessible and user-friendly design flow, supported by an industry-grade toolchain. In this work, we demonstrate with examples an end-to-end design flow for RRAM-based electronics, from the introduction of a custom RRAM model into our chosen CAD tool to performing layout-versus-schematic and post-layout checks including the RRAM device. We envisage that this step-by-step guide to introducing RRAM into the standard integrated circuit design flow will be a useful reference document for both device developers who wish to benchmark their technologies and circuit designers who wish to experiment with RRAM-enhanced systems.


title: Model Reduction Methods for Complex Network Systems

abstract: Network systems consist of subsystems and their interconnections, and provide a powerful framework for analysis, modeling and control of complex systems. However, subsystems may have high-dimensional dynamics, and the amount and nature of interconnections may also be of high complexity. Therefore, it is relevant to study reduction methods for network systems. An overview on reduction methods for both the topological (interconnection) structure of the network and the dynamics of the nodes, while preserving structural properties of the network, and taking a control systems perspective, is provided. First topological complexity reduction methods based on graph clustering and aggregation are reviewed, producing a reduced-order network model. Second, reduction of the nodal dynamics is considered by using extensions of classical methods, while preserving the stability and synchronization properties. Finally, a structure-preserving generalized balancing method for simplifying simultaneously the topological structure and the order of the nodal dynamics is treated.


title: Mechanics and energetics of electromembranes

abstract: The recent discovery of electro-active polymers has shown great promises in the field of soft robotics, and was logically followed by experimental, numerical and theoretical developments. Most of these studies were concerned with systems entirely covered by electrodes. However, there is a growing interest for partially active polymers, in which the electrode covers only one part of the membrane. Indeed, such actuation can trigger buckling instabilities and so represents a route toward the control of 3D shapes. Here, we study theoretically the behaviour of such partially active electro-active polymer. We address two problems: (i) the electrostatic elastica including geometric non-linearities and partially electro-active strip using a variational approach. We propose a new interpretation of the equations of deformation, by drawing analogies with biological growth, in which the effect of the electric voltage is seen as a change in the reference stress-free state. (ii) we explain the nature of the distribution of electrostatic forces on this simple system, which is not trivial. In particular we find that edge effects are playing a major role in this problem.


title: Automorphisms of Hopf manifolds

abstract: We prove that the automorphism groups of Hopf manifolds are Jordan.


title: LAMP: Learning a Motion Policy to Repeatedly Navigate in an Uncertain Environment

abstract: Mobile robots are often tasked with repeatedly navigating through an environment whose traversability changes over time. These changes may exhibit some hidden structure, which can be learned. Many studies consider reactive algorithms for online planning, however, these algorithms do not take advantage of the past executions of the navigation task for future tasks. In this paper, we formalize the problem of minimizing the total expected cost to perform multiple start-to-goal navigation tasks on a roadmap by introducing the Learned Reactive Planning Problem. We propose a method that captures information from past executions to learn a motion policy to handle obstacles that the robot has seen before. We propose the LAMP framework, which integrates the generated motion policy with an existing navigation stack. Finally, an extensive set of experiments in simulated and real-world environments show that the proposed method outperforms the state-of-the-art algorithms by 10% to 40% in terms of expected time to travel from start to goal. We also evaluate the robustness of the proposed method in the presence of localization and mapping errors on a real robot.


title: When Band Convergence is Not Beneficial for Thermoelectrics

abstract: Band convergence is considered a clear benefit to thermoelectric performance because it increases the charge carrier concentration for a given Fermi level, which typically enhances charge conductivity while preserving the Seebeck coefficient. However, this advantage hinges on the assumption that interband scattering of carriers is weak or insignificant. With first-principles treatment of electron-phonon scattering in CaMg$_{2}$Sb$_{2}$-CaZn$_{2}$Sb$_{2}$ Zintl system and full Heusler Sr$_{2}$SbAu, we demonstrate that the benefit of band convergence can be intrinsically negated by interband scattering depending on the manner in which bands converge. In the Zintl alloy, band convergence does not improve weighted mobility or the density-of-states effective mass. We trace the underlying reason to the fact that the bands converge at one k-point, which induces strong interband scattering of both the deformation-potential and the polar-optical kinds. The case contrasts with band convergence at distant k-points (as in the full Heusler), which better preserves the single-band scattering behavior thereby successfully leading to improved performance. Therefore, we suggest that band convergence as thermoelectric design principle is best suited to cases in which it occurs at distant k-points.


title: A Distinct Population of Small Planets: Sub-Earths

abstract: The sizes of small planets have been known to be bi-modal, with a gap separating planets that have lost their primordial atmospheres (super-Earths), and the ones that retain them (mini-Neptunes). Here, we report evidences for another distinct population at smaller sizes. By focussing on planets orbiting around GK-dwarfs inward of 16 days, and correcting for observational completeness, we find that the number of super-Earths peak around 1.4 Earth radii and disappear shortly below this size. Instead, a new population of planets (sub-Earths) appear to dominate at sizes below ~ 1 Earth radius, with an occurrence that rises with decreasing size. This pattern is also observed in ultra-short-period planets. The end of super-Earths supports earlier claims that super-Earths and mini-Neptunes, planets that likely form in gaseous proto-planetary disks, have a narrow mass distribution. The sub-Earths, in contrast, can be described by a power-law mass distribution and may be explained by the theory of terrestrial planet formation. We therefore speculate that they are formed well after the gaseous disks have dissipated. The extension of these sub-Earths towards longer orbital periods, currently invisible, may be the true terrestrial analogues. This strongly motivates new searches.


title: The role of core-collapse physics in the observability of black-hole neutron-star mergers as multi-messenger sources

abstract: Recent detailed 1D core-collapse simulations have brought new insights on the final fate of massive stars, which are in contrast to commonly used parametric prescriptions. In this work, we explore the implications of these results to the formation of coalescing black-hole (BH) - neutron-star (NS) binaries, such as the candidate event GW190426_152155 reported in GWTC-2. Furthermore, we investigate the effects of natal kicks and the NS's radius on the synthesis of such systems and potential electromagnetic counterparts linked to them. Synthetic models based on detailed core-collapse simulations result in an increased merger detection rate of BH-NS systems ($\sim 2.3$ yr$^{-1}$), 5 to 10 times larger than the predictions of "standard" parametric prescriptions. This is primarily due to the formation of low-mass BH via direct collapse, and hence no natal kicks, favored by the detailed simulations. The fraction of observed systems that will produce an electromagnetic counterpart, with the detailed supernova engine, ranges from $2$-$25$%, depending on uncertainties in the NS equation of state. Notably, in most merging systems with electromagnetic counterparts, the NS is the first-born compact object, as long as the NS's radius is $\lesssim 12\,\mathrm{km}$. Furthermore, core-collapse models that predict the formation of low-mass BHs with negligible natal kicks increase the detection rate of GW190426_152155-like events to $\sim 0.6 \, $yr$^{-1}$; with an associated probability of electromagnetic counterpart $\leq 10$% for all supernova engines. However, increasing the production of direct-collapse low-mass BHs also increases the synthesis of binary BHs, over-predicting their measured local merger density rate. In all cases, models based on detailed core-collapse simulation predict a ratio of BH-NSs to binary BHs merger rate density that is at least twice as high as other prescriptions.


title: Detecting Trojaned DNNs Using Counterfactual Attributions

abstract: We target the problem of detecting Trojans or backdoors in DNNs. Such models behave normally with typical inputs but produce specific incorrect predictions for inputs poisoned with a Trojan trigger. Our approach is based on a novel observation that the trigger behavior depends on a few ghost neurons that activate on trigger pattern and exhibit abnormally higher relative attribution for wrong decisions when activated. Further, these trigger neurons are also active on normal inputs of the target class. Thus, we use counterfactual attributions to localize these ghost neurons from clean inputs and then incrementally excite them to observe changes in the model's accuracy. We use this information for Trojan detection by using a deep set encoder that enables invariance to the number of model classes, architecture, etc. Our approach is implemented in the TrinityAI tool that exploits the synergies between trustworthiness, resilience, and interpretability challenges in deep learning. We evaluate our approach on benchmarks with high diversity in model architectures, triggers, etc. We show consistent gains (+10%) over state-of-the-art methods that rely on the susceptibility of the DNN to specific adversarial attacks, which in turn requires strong assumptions on the nature of the Trojan attack.


title: A feedforward neural network for modelling of average pressure frequency response

abstract: The Helmholtz equation has been used for modelling the sound pressure field under a harmonic load. Computing harmonic sound pressure fields by means of solving Helmholtz equation can quickly become unfeasible if one wants to study many different geometries for ranges of frequencies. We propose a machine learning approach, namely a feedforward dense neural network, for computing the average sound pressure over a frequency range. The data is generated with finite elements, by numerically computing the response of the average sound pressure, by an eigenmode decomposition of the pressure. We analyze the accuracy of the approximation and determine how much training data is needed in order to reach a certain accuracy in the predictions of the average pressure response.


title: Optimal Consumption under a Habit-Formation Constraint: the Deterministic Case

abstract: We formulate and solve a deterministic optimal consumption problem to maximize the discounted CRRA utility of an individual's consumption-to-habit process assuming she only invests in a riskless market and that she is unwilling to consume at a rate below a certain proportion $\alpha\in(0,1]$ of her consumption habit. Increasing $\alpha$, increases the degree of addictiveness of habit formation, with $\alpha=0$ (respectively, $\alpha=1$) corresponding to non-addictive (respectively, completely addictive) model. We derive the optimal consumption policies explicitly in terms of the solution of a nonlinear free-boundary problem, which we analyze in detail. Impatient individuals (or, equivalently, those with more addictive habits) always consume above the minimum rate; thus, they eventually attain the minimum wealth-to-habit ratio. Patient individuals (or, equivalently, those with less addictive habits) consume at the minimum rate if their wealth-to-habit ratio is below a threshold, and above it otherwise. By consuming patiently, these individuals maintain a wealth-to-habit ratio that is greater than the minimum acceptable level. Additionally, we prove that the optimal consumption path is hump-shaped if the initial wealth-to-habit ratio is either: (1) larger than a high threshold; or (2) below a low threshold and the agent is more risk seeking (that is, less risk averse). Thus, we provide a simple explanation for the consumption hump observed by various empirical studies.


title: Multiscale Attention Guided Network for COVID-19 Diagnosis Using Chest X-ray Images

abstract: Coronavirus disease 2019 (COVID-19) is one of the most destructive pandemic after millennium, forcing the world to tackle a health crisis. Automated lung infections classification using chest X-ray (CXR) images could strengthen diagnostic capability when handling COVID-19. However, classifying COVID-19 from pneumonia cases using CXR image is a difficult task because of shared spatial characteristics, high feature variation and contrast diversity between cases. Moreover, massive data collection is impractical for a newly emerged disease, which limited the performance of data thirsty deep learning models. To address these challenges, Multiscale Attention Guided deep network with Soft Distance regularization (MAG-SD) is proposed to automatically classify COVID-19 from pneumonia CXR images. In MAG-SD, MA-Net is used to produce prediction vector and attention from multiscale feature maps. To improve the robustness of trained model and relieve the shortage of training data, attention guided augmentations along with a soft distance regularization are posed, which aims at generating meaningful augmentations and reduce noise. Our multiscale attention model achieves better classification performance on our pneumonia CXR image dataset. Plentiful experiments are proposed for MAG-SD which demonstrates its unique advantage in pneumonia classification over cutting-edge models. The code is available at https://github.com/JasonLeeGHub/MAG-SD.


title: Optimal Policy Trees

abstract: We propose an approach for learning optimal tree-based prescription policies directly from data, combining methods for counterfactual estimation from the causal inference literature with recent advances in training globally-optimal decision trees. The resulting method, Optimal Policy Trees, yields interpretable prescription policies, is highly scalable, and handles both discrete and continuous treatments. We conduct extensive experiments on both synthetic and real-world datasets and demonstrate that these trees offer best-in-class performance across a wide variety of problems.


title: An X-ray study for white dwarf binary AR Scorpii

abstract: We report a study of the X-ray emission from the white dwarf/M-type star binary system AR Scorpii using archival data taken in 2016-2020. It has been known that the X-ray emission is dominated by the optically thin thermal plasma emission, and its flux level varies significantly over the orbital phase. The X-ray emission also contains a component that modulates with the beat frequency between the white dwarf's spin frequency and orbital frequency. In this new analysis, the 2020 data taken by NICER shows that the X-ray emission is modulating with the spin frequency as well as the beat frequency, indicating that part of the X-ray emission is coming from the white dwarf's magnetosphere. It is found that the signal of the spin frequency appears only at a specific orbital phase, while the beat signal appears over the orbital phase. We interpret the X-ray emission modulating with the spin frequency and the beat frequency as a result of the synchrotron emission from electrons with a smaller and larger pitch angle, respectively. In a long-term evolution, the beat pulse profile averaged over the orbital phase changed from a single-peak structure in 2016/2018 to a double-peak structure in 2020. The observed X-ray flux levels measured in 2016/2017 are higher than those measured in 2018/2020. The plasma temperature and amplitude of the orbital waveform might vary with time too. These results indicate that the X-ray emission from AR Scorpii evolves on a timescale of years. This long-term evolution would be explained by a super-orbital modulation related to, for example, a precession of the white dwarf, or a fluctuation of the system related to activity of the companion star.


title: Saturated $k$-Plane Drawings with Few Edges

abstract: A drawing of a graph is $k$-plane if no edge is crossed more than $k$ times. In this paper we study saturated $k$-plane drawings with few edges. This are $k$-plane drawings in which no edge can be added without violating $k$-planarity. For every number of vertices $n>k+1$, we present a tight construction with $\frac{n-1}{k+1}$ edges for the case in which the edges can self-intersect. If we restrict the drawings to be $\ell$-simple we show that the number of edges in saturated $k$-plane drawings must be higher. We present constructions with few edges for different values of $k$ and $\ell$. Finally, we investigate saturated straight-line $k$-plane drawings.


title: Creativity of Deep Learning: Conceptualization and Assessment

abstract: While the potential of deep learning (DL) for automating simple tasks is already well explored, recent research has started investigating the use of deep learning for creative design, both for complete artifact creation and supporting humans in the creation process. In this paper, we use insights from computational creativity to conceptualize and assess current applications of generative deep learning in creative domains identified in a literature review. We highlight parallels between current systems and different models of human creativity as well as their shortcomings. While deep learning yields results of high value, such as high-quality images, their novelty is typically limited due to multiple reasons such as being tied to a conceptual space defined by training data. Current DL methods also do not allow for changes in the internal problem representation, and they lack the capability to identify connections across highly different domains, both of which are seen as major drivers of human creativity.


title: A Practical Proposal for State Estimation at Balanced, Radial Distribution Systems

abstract: The ever-increasing deployment of distributed resources and the opportunities offered to loads for more active roles has changed the previously unidirectional and relatively straight-forward operating profile of distribution systems (DS). DS will be required to be monitored closely for robustness and sufficient power quality. State estimation of transmission systems has consistently served as a monitoring tool, which drives system-wide control actions and, thus, ensures the operational integrity of the electric grid. An update to the classic state estimation for the case of DS is offered in this work, based on a power flow formulation for radial networks that does not require measurements or estimate of the voltage angles.


title: On the Use of Field RR Lyrae as Galactic Probes. II. A new $\Delta$S calibration to estimate their metallicity

abstract: We performed the largest and most homogeneous spectroscopic survey of field RR Lyraes (RRLs). We secured $\approx$6,300 high resolution (HR, R$\sim$35,000) spectra for 143 RRLs (111 fundamental, RRab; 32 first overtone, RRc). The atmospheric parameters were estimated by using the traditional approach and the iron abundances were measured by using an LTE line analysis. The resulting iron distribution shows a well defined metal-rich tail approaching solar iron abundance. This suggests that field RRLs experienced a complex chemical enrichment in the early halo formation. We used these data to develop a new calibration of the $\Delta$S method. This diagnostic, based on the equivalent widths of CaII K and three Balmer (H$_{\delta,\gamma,\beta}$) lines, traces the metallicity of RRLs. For the first time the new empirical calibration: i) includes spectra collected over the entire pulsation cycle; ii) includes RRc variables; iii) relies on spectroscopic calibrators covering more than three dex in iron abundance; iv) provides independent calibrations based on one/two/three Balmer lines. The new calibrations were applied to both SEGUE-SDSS and degraded HR spectra totalling 6,451 low resolution (LR, R$\sim$2,000) spectra for 5,001 RRLs (3,439 RRab, 1,562 RRc). This resulted in an iron distribution with a median of -1.55$\pm$0.01 and $\sigma$=0.51 dex, in good agreement with literature values. We also found that RRc are 0.10 dex more metal-poor than RRab variables, and have a distribution with a smoother metal-poor tail. This finding supports theoretical prescriptions suggesting a steady decrease in the RRc number when moving from metal-poor to metal-rich stellar environments.


title: Detecting episodes of star formation using Bayesian model selection

abstract: Bayesian model comparison frameworks can be used when fitting models to data in order to infer the appropriate model complexity in a data-driven manner. We aim to use them to detect the correct number of major episodes of star formation from the analysis of the spectral energy distributions (SEDs) of galaxies, modeled after 3D-HST galaxies at z ~ 1. Starting from the published stellar population properties of these galaxies, we use kernel density estimates to build multivariate input parameter distributions to obtain realistic simulations. We create simulated sets of spectra of varying degrees of complexity (identified by the number of parameters), and derive SED fitting results and evidences for pairs of nested models, including the correct model as well as more simplistic ones, using the BAGPIPES codebase with nested sampling algorithm MultiNest. We then ask the question: is it true - as expected in Bayesian model comparison frameworks - that the correct model has larger evidence?} Our results indicate that the ratio of evidences (the Bayes factor) is able to identify the correct underlying model in the vast majority of cases. The quality of the results improves primarily as a function of the total S/N in the SED. We also compare the Bayes factors obtained using the evidence to those obtained via the Savage-Dickey Density Ratio (SDDR), an analytic approximation which can be calculated using samples from regular Markov Chain Monte Carlo methods. We show that the SDDR ratio can satisfactorily replace a full evidence calculation provided that the sampling density is sufficient.


title: Digital Twin of Distribution Power Transformer for Real-Time Monitoring of Medium Voltage from Low Voltage Measurements

abstract: Real-time monitoring of distribution systems has be-come necessary, due to the deregulation of electricity markets and the wide deployment of distributed energy resources. To monitor voltage and current at sub-cycle detail, requires, typically, major investment undertaking and disruptions to the operation of the grid. In this work, measurements of the low voltage (LV) side of distribution transformers (T/F) are used to calculate in real time the waveforms of their medium voltage (MV) sides, based on a mathematical model of said T/F. This model is, essentially, the dig-ital twin of the MV side of the T/F. The method calculates T/F MV waveforms of voltage and current, and active and reactive power as accurately as an instrument T/F, captures all harmonics con-tent, is unaffected by asymmetrical loading and identifies most sys-tem faults on the MV side of the T/F. The digital twin method en-ables monitoring of distribution T/F that avoids MV instrumenta-tion, does not suffer in accuracy and may be readily deployable. Field data from an actual MV-LV T/F, agree with simulation re-sults showcasing the efficacy of the digital twin method.


title: Coarse-to-Fine Memory Matching for Joint Retrieval and Classification

abstract: We present a novel end-to-end language model for joint retrieval and classification, unifying the strengths of bi- and cross- encoders into a single language model via a coarse-to-fine memory matching search procedure for learning and inference. Evaluated on the standard blind test set of the FEVER fact verification dataset, classification accuracy is significantly higher than approaches that only rely on the language model parameters as a knowledge base, and approaches some recent multi-model pipeline systems, using only a single BERT base model augmented with memory layers. We further demonstrate how coupled retrieval and classification can be leveraged to identify low confidence instances, and we extend exemplar auditing to this setting for analyzing and constraining the model. As a result, our approach yields a means of updating language model behavior through two distinct mechanisms: The retrieved information can be updated explicitly, and the model behavior can be modified via the exemplar database.


title: Wave optics of quantum gravity for massive particles

abstract: Effects of the quantum gravity under Minkowski space-time background are considered. It is shown that despite the absence of the complete theory of quantum gravity, some concrete predictions could be made for the influence of the quantum gravitational fluctuations on the propagation of the massive particles. We demonstrate that although the gravitational potential fluctuations do not produce particle scattering, they cause decoherence of the matter waves due to off-shell effects. For point-like massive particles of the Planck mass order, the effect is considerable. However, this type of decoherence is beyond the measurable possibility for the real particles of the finite size.


title: Reinhardt Free Spectrahedra

abstract: Free spectrahedra are natural objects in the theories of operator systems and spaces and completely positive maps. They also appear in various engineering applications. In this paper, free spectrahedra satisfying a Reinhardt symmetry condition are characterized graph theoretically. It is also shown that, for a simple class of such spectrahedra, automorphisms are linear.


title: Low-Power Wireless Wearable ECG Monitoring Chestbelt Based on Ferroelectric Microprocessor

abstract: Since cadiovascular disease (CVD) posts a heavy threat to people's health, long-term electrocardiogram (ECG) monitoring is of great value for the improvement of treatment. To realize remote long-term ECG monitoring, a low-power wireless wearable ECG monitoring device is proposed in this paper. The ECG monitoring device, abbreviated as ECGM, is designed based on ferroelectric microprocessor which provides ultra-low power consumption and contains four parts-MCU, BLE, Sensors and Power. The MCU part means circuit of MSP430FR2433, the core of ECGM. The BLE part is the CC2640R2F module applied for wireless transmission of the collected bio-signal data. And the sensors part includes several sensors like BMD101 used for monitoring bio-signals and motion of the wearer, while the Power part consists of battery circuit, charging circuit and 3.3V/1.8V/4.4V power supply circuit. The ECGM first collects ECG signals from the fabric electrodes adhered to wearers' chest, preprocesses the signals to eliminate the injected noise, and then transmit the output data to wearers' hand-held mobile phones through Bluetooth low energy (BLE). The wearers are enabled to acquire ECGs and other physiological parameters on their phones as well as some corresponding suggestions. The novelty of the system lies in the combination of low-power ECG sensor chip with ferroelectric microprocessor, thus achieving ultra-low power consumption and high signal quality.


title: Cluster Based Deep Contextual Reinforcement Learning for top-k Recommendations

abstract: Rapid advancements in the E-commerce sector over the last few decades have led to an imminent need for personalised, efficient and dynamic recommendation systems. To sufficiently cater to this need, we propose a novel method for generating top-k recommendations by creating an ensemble of clustering with reinforcement learning. We have incorporated DB Scan clustering to tackle vast item space, hence in-creasing the efficiency multi-fold. Moreover, by using deep contextual reinforcement learning, our proposed work leverages the user features to its full potential. With partial updates and batch updates, the model learns user patterns continuously. The Duelling Bandit based exploration provides robust exploration as compared to the state-of-art strategies due to its adaptive nature. Detailed experiments conducted on a public dataset verify our claims about the efficiency of our technique as com-pared to existing techniques.


title: FAST: A Fairness Assured Service Recommendation Strategy Considering Service Capacity Constraint

abstract: An excessive number of customers often leads to a degradation in service quality. However, the capacity constraints of services are ignored by recommender systems, which may lead to unsatisfactory recommendation. This problem can be solved by limiting the number of users who receive the recommendation for a service, but this may be viewed as unfair. In this paper, we propose a novel metric Top-N Fairness to measure the individual fairness of multi-round recommendations of services with capacity constraints. By considering the fact that users are often only affected by top-ranked items in a recommendation, Top-N Fairness only considers a sub-list consisting of top N services. Based on the metric, we design FAST, a Fairness Assured service recommendation STrategy. FAST adjusts the original recommendation list to provide users with recommendation results that guarantee the long-term fairness of multi-round recommendations. We prove the convergence property of the variance of Top-N Fairness of FAST theoretically. FAST is tested on the Yelp dataset and synthetic datasets. The experimental results show that FAST achieves better recommendation fairness while still maintaining high recommendation quality.


title: Penalised t-walk MCMC

abstract: Handling multimodality that commonly arises from complicated statistical models remains a challenge. Current Markov chain Monte Carlo (MCMC) methodology tackling this subject is based on an ensemble of chains targeting a product of power-tempered distributions. Despite the theoretical validity of such methods, practical implementations typically suffer from bad mixing and slow convergence due to the high-computation cost involved. In this work we study novel extensions of the t-walk algorithm, an existing MCMC method that is inexpensive and invariant to affine transformations of the state space, for dealing with multimodal distributions. We acknowledge that the effectiveness of the new method will be problem dependent and might struggle in complex scenarios; for such cases we propose a post-processing technique based on pseudo-marginal theory for combining isolated samples.


title: Accelerating Text Mining Using Domain-Specific Stop Word Lists

abstract: Text preprocessing is an essential step in text mining. Removing words that can negatively impact the quality of prediction algorithms or are not informative enough is a crucial storage-saving technique in text indexing and results in improved computational efficiency. Typically, a generic stop word list is applied to a dataset regardless of the domain. However, many common words are different from one domain to another but have no significance within a particular domain. Eliminating domain-specific common words in a corpus reduces the dimensionality of the feature space, and improves the performance of text mining tasks. In this paper, we present a novel mathematical approach for the automatic extraction of domain-specific words called the hyperplane-based approach. This new approach depends on the notion of low dimensional representation of the word in vector space and its distance from hyperplane. The hyperplane-based approach can significantly reduce text dimensionality by eliminating irrelevant features. We compare the hyperplane-based approach with other feature selection methods, namely \c{hi}2 and mutual information. An experimental study is performed on three different datasets and five classification algorithms, and measure the dimensionality reduction and the increase in the classification performance. Results indicate that the hyperplane-based approach can reduce the dimensionality of the corpus by 90% and outperforms mutual information. The computational time to identify the domain-specific words is significantly lower than mutual information.


title: Adversarial Counterfactual Learning and Evaluation for Recommender System

abstract: The feedback data of recommender systems are often subject to what was exposed to the users; however, most learning and evaluation methods do not account for the underlying exposure mechanism. We first show in theory that applying supervised learning to detect user preferences may end up with inconsistent results in the absence of exposure information. The counterfactual propensity-weighting approach from causal inference can account for the exposure mechanism; nevertheless, the partial-observation nature of the feedback data can cause identifiability issues. We propose a principled solution by introducing a minimax empirical risk formulation. We show that the relaxation of the dual problem can be converted to an adversarial game between two recommendation models, where the opponent of the candidate model characterizes the underlying exposure mechanism. We provide learning bounds and conduct extensive simulation studies to illustrate and justify the proposed approach over a broad range of recommendation settings, which shed insights on the various benefits of the proposed approach.


title: Generative Capacity of Probabilistic Protein Sequence Models

abstract: Potts models and variational autoencoders (VAEs) have recently gained popularity as generative protein sequence models (GPSMs) to explore fitness landscapes and predict the effect of mutations. Despite encouraging results, quantitative characterization and comparison of GPSM-generated probability distributions is still lacking. It is currently unclear whether GPSMs can faithfully reproduce the complex multi-residue mutation patterns observed in natural sequences arising due to epistasis. We develop a set of sequence statistics to assess the "generative capacity" of three GPSMs of recent interest: the pairwise Potts Hamiltonian, the VAE, and the site-independent model, using natural and synthetic datasets. We show that the generative capacity of the Potts Hamiltonian model is the largest, in that the higher order mutational statistics generated by the model agree with those observed for natural sequences. In contrast, we show that the VAE's generative capacity lies between the pairwise Potts and site-independent models. Importantly, our work measures GPSM generative capacity in terms of higher-order sequence covariation statistics which we have developed, and provides a new framework for evaluating and interpreting GPSM accuracy that emphasizes the role of epistasis.


title: Active Learning from Crowd in Document Screening

abstract: In this paper, we explore how to efficiently combine crowdsourcing and machine intelligence for the problem of document screening, where we need to screen documents with a set of machine-learning filters. Specifically, we focus on building a set of machine learning classifiers that evaluate documents, and then screen them efficiently. It is a challenging task since the budget is limited and there are countless number of ways to spend the given budget on the problem. We propose a multi-label active learning screening specific sampling technique -- objective-aware sampling -- for querying unlabelled documents for annotating. Our algorithm takes a decision on which machine filter need more training data and how to choose unlabeled items to annotate in order to minimize the risk of overall classification errors rather than minimizing a single filter error. We demonstrate that objective-aware sampling significantly outperforms the state of the art active learning sampling strategies.


title: Exploration in Online Advertising Systems with Deep Uncertainty-Aware Learning

abstract: Modern online advertising systems inevitably rely on personalization methods, such as click-through rate (CTR) prediction. Recent progress in CTR prediction enjoys the rich representation capabilities of deep learning and achieves great success in large-scale industrial applications. However, these methods can suffer from lack of exploration. Another line of prior work addresses the exploration-exploitation trade-off problem with contextual bandit methods, which are recently less studied in the industry due to the difficulty in extending their flexibility with deep models. In this paper, we propose a novel Deep Uncertainty-Aware Learning (DUAL) method to learn CTR models based on Gaussian processes, which can provide predictive uncertainty estimations while maintaining the flexibility of deep neural networks. DUAL can be easily implemented on existing models and deployed in real-time systems with minimal extra computational overhead. By linking the predictive uncertainty estimation ability of DUAL to well-known bandit algorithms, we further present DUAL-based Ad-ranking strategies to boost up long-term utilities such as the social welfare in advertising systems. Experimental results on several public datasets demonstrate the effectiveness of our methods. Remarkably, an online A/B test deployed in the Alibaba display advertising platform shows an 8.2% social welfare improvement and an 8.0% revenue lift.


title: Detecting Video Game Player Burnout with the Use of Sensor Data and Machine Learning

abstract: Current research in eSports lacks the tools for proper game practising and performance analytics. The majority of prior work relied only on in-game data for advising the players on how to perform better. However, in-game mechanics and trends are frequently changed by new patches limiting the lifespan of the models trained exclusively on the in-game logs. In this article, we propose the methods based on the sensor data analysis for predicting whether a player will win the future encounter. The sensor data were collected from 10 participants in 22 matches in League of Legends video game. We have trained machine learning models including Transformer and Gated Recurrent Unit to predict whether the player wins the encounter taking place after some fixed time in the future. For 10 seconds forecasting horizon Transformer neural network architecture achieves ROC AUC score 0.706. This model is further developed into the detector capable of predicting that a player will lose the encounter occurring in 10 seconds in 88.3% of cases with 73.5% accuracy. This might be used as a players' burnout or fatigue detector, advising players to retreat. We have also investigated which physiological features affect the chance to win or lose the next in-game encounter.


title: Fully Convolutional Network Bootstrapped by Word Encoding and Embedding for Activity Recognition in Smart Homes

abstract: Activity recognition in smart homes is essential when we wish to propose automatic services for the inhabitants. However, it poses challenges in terms of variability of the environment, sensorimotor system, but also user habits. Therefore, endto-end systems fail at automatically extracting key features, without extensive pre-processing. We propose to tackle feature extraction for activity recognition in smart homes by merging methods from the Natural Language Processing (NLP) and the Time Series Classification (TSC) domains. We evaluate the performance of our method on two datasets issued from the Center for Advanced Studies in Adaptive Systems (CASAS). Moreover, we analyze the contributions of the use of NLP encoding Bag-Of-Word with Embedding as well as the ability of the FCN algorithm to automatically extract features and classify. The method we propose shows good performance in offline activity classification. Our analysis also shows that FCN is a suitable algorithm for smart home activity recognition and hightlights the advantages of automatic feature extraction.


title: Planning Brachistochrone Hip Trajectory for a Toe-Foot Bipedal Robot going Downstairs

abstract: A novel efficient downstairs trajectory is proposed for a 9 link biped robot model with toe-foot. Brachistochrone is the fastest descent trajectory for a particle moving only under the influence of gravity. In most situations, while climbing downstairs, human hip also follow brachistochrone trajectory for a more responsive motion. Here, an adaptive trajectory planning algorithm is developed so that biped robots of varying link lengths, masses can climb down on varying staircase dimensions. We assume that the center of gravity (COG) of the biped concerned lies on the hip. Zero Moment Point (ZMP) based COG trajectory is considered and its stability is ensured. Cycloidal trajectory is considered for ankle of the swing leg. Parameters of both cycloid and brachistochrone depends on dimensions of staircase steps. Hence this paper can be broadly divided into 4 steps 1) Developing ZMP based brachistochrone trajectory for hip 2) Cycloidal trajectory planning for ankle by taking proper collision constraints 3) Solving Inverse kinematics using unsupervised artificial neural network (ANN) 4) Comparison between the proposed, a circular arc and a virtual slope based hip trajectory. The proposed algorithms have been implemented using MATLAB.


title: Joint Model for Survival and Multivariate Sparse Functional Data with Application to a Study of Alzheimer's Disease

abstract: Studies of Alzheimer's disease (AD) often collect multiple longitudinal clinical outcomes, which are correlated and predictive of AD progression. It is of great scientific interest to investigate the association between the outcomes and time to AD onset. We model the multiple longitudinal outcomes as multivariate sparse functional data and propose a functional joint model linking multivariate functional data to event time data. In particular, we propose a multivariate functional mixed model (MFMM) to identify the shared progression pattern and outcome-specific progression patterns of the outcomes, which enables more interpretable modeling of associations between outcomes and AD onset. The proposed method is applied to the Alzheimer's Disease Neuroimaging Initiative study (ADNI) and the functional joint model sheds new light on inference of five longitudinal outcomes and their associations with AD onset. Simulation studies also confirm the validity of the proposed model.


title: Decentralized State-Dependent Markov Chain Synthesis with an Application to Swarm Guidance

abstract: This paper introduces a decentralized state-dependent Markov chain synthesis (DSMC) algorithm for finite-state Markov chains. We present a state-dependent consensus protocol that achieves exponential convergence under mild technical conditions, without relying on any connectivity assumptions regarding the dynamic network topology. Utilizing the proposed consensus protocol, we develop the DSMC algorithm, updating the Markov matrix based on the current state while ensuring the convergence conditions of the consensus protocol. This result establishes the desired steady-state distribution for the resulting Markov chain, ensuring exponential convergence from all initial distributions while adhering to transition constraints and minimizing state transitions. The DSMC's performance is demonstrated through a probabilistic swarm guidance example, which interprets the spatial distribution of a swarm comprising a large number of mobile agents as a probability distribution and utilizes the Markov chain to compute transition probabilities between states. Simulation results demonstrate faster convergence for the DSMC based algorithm when compared to the previous Markov chain based swarm guidance algorithms.


title: A characterization of transportation-information inequalities for Markov processes in terms of dimension-free concentration

abstract: Inequalities between transportation costs and Fisher information are known to characterize certain concentration properties of Markov processes around their invariant measures. This note provides a new characterization of the quadratic transportation-information inequality $W_2I$ in terms of a dimension-free concentration property for i.i.d. (conditionally on the initial positions) copies of the underlying Markov process. This parallels Gozlan's characterization of the quadratic transportation-entropy inequality $W_2H$. The proof is based on a new Laplace-type principle for the operator norms of Feynman-Kac semigroups, which is of independent interest. Lastly, we illustrate how both our theorem and (a form of) Gozlan's are instances of a general convex-analytic tensorization principle.


title: Balanced Reduced-Order Models for Iterative Nonlinear Control of Large-Scale Systems

abstract: We propose a new framework to design controllers for high-dimensional nonlinear systems. The control is designed through the iterative linear quadratic regulator (ILQR), an algorithm that computes control by iteratively applying the linear quadratic regulator on the local linearization of the system at each time step. Since ILQR is computationally expensive, we propose to first construct reduced-order models (ROMs) of the high-dimensional nonlinear system. We derive nonlinear ROMs via projection, where the basis is computed via balanced truncation (BT) and LQG balanced truncation (LQG-BT). Numerical experiments are performed on a semi-discretized nonlinear Burgers equation. We find that the ILQR algorithm produces good control on ROMs constructed either by BT or LQG-BT, with BT-ROM based controllers outperforming LQG-BT slightly for very low-dimensional systems.


title: The ultrafilter and almost disjointness numbers

abstract: We prove that every MAD family can be destroyed by a proper forcing that preserves $P$-points. With this result, we prove that it is consistent that $\omega_{1}=\mathfrak{u}<\mathfrak{a,}$ solving a nearly 20 year old problem of Shelah and a problem of Brendle. We will also present a simple proof of a result of Blass and Shelah that the inequality $\mathfrak{u<s}$ is consistent.


title: A Review of Latent Space Models for Social Networks

abstract: In this paper, we provide a review on both fundamentals of social networks and latent space modeling. The former discusses important topics related to network description, including vertex characteristics and network structure; whereas the latter articulates relevant advances in network modeling, including random graph models, generalized random graph models, exponential random graph models, and social space models. We discuss in detail several latent space models provided in literature, providing special attention to distance, class, and eigen models in the context of undirected, binary networks. In addition, we also examine empirically the behavior of these models in terms of prediction and goodness-of-fit using more than twenty popular datasets of the network literature.


title: Concept-based model explanations for Electronic Health Records

abstract: Recurrent Neural Networks (RNNs) are often used for sequential modeling of adverse outcomes in electronic health records (EHRs) due to their ability to encode past clinical states. These deep, recurrent architectures have displayed increased performance compared to other modeling approaches in a number of tasks, fueling the interest in deploying deep models in clinical settings. One of the key elements in ensuring safe model deployment and building user trust is model explainability. Testing with Concept Activation Vectors (TCAV) has recently been introduced as a way of providing human-understandable explanations by comparing high-level concepts to the network's gradients. While the technique has shown promising results in real-world imaging applications, it has not been applied to structured temporal inputs. To enable an application of TCAV to sequential predictions in the EHR, we propose an extension of the method to time series data. We evaluate the proposed approach on an open EHR benchmark from the intensive care unit, as well as synthetic data where we are able to better isolate individual effects.


title: An extended halo around an ancient dwarf galaxy

abstract: The Milky Way is surrounded by dozens of ultra-faint (< $10^5$ solar luminosities) dwarf satellite galaxies. They are the surviving remnants of the earliest galaxies, as confirmed by their ancient (~13 billion years old) and chemically primitive stars. Simulations suggest that these systems formed within extended dark matter halos and experienced early galaxy mergers and supernova feedback. However, the signatures of these events would lie outside their core regions (>2 half-light radii), which are spectroscopically unstudied due to the sparseness of their distant stars. Here we identify members of the Tucana II ultra-faint dwarf galaxy in its outer region (up to 9 half-light radii), demonstrating the system to be dramatically more spatially extended and chemically primitive than previously found. These distant stars are extremely metal-poor (<[Fe/H]>=-3.02; less than ~1/1000th of the solar iron abundance), affirming Tucana II as the most metal-poor known galaxy. We observationally establish, for the first time, an extended dark matter halo surrounding an ultra-faint dwarf galaxy out to one kiloparsec, with a total mass of >$10^7$ solar masses. This measurement is consistent with the expected ~2x$10^7$ solar masses using a generalized NFW density profile. The extended nature of Tucana II suggests that it may have undergone strong bursty feedback or been the product of an early galactic merger. We demonstrate that spatially extended stellar populations, which other ultra-faint dwarfs hint at hosting as well, are observable in principle and open the possibility for detailed studies of the stellar halos of relic galaxies.


title: BoxInst: High-Performance Instance Segmentation with Box Annotations

abstract: We present a high-performance method that can achieve mask-level instance segmentation with only bounding-box annotations for training. While this setting has been studied in the literature, here we show significantly stronger performance with a simple design (e.g., dramatically improving previous best reported mask AP of 21.1% in Hsu et al. (2019) to 31.6% on the COCO dataset). Our core idea is to redesign the loss of learning masks in instance segmentation, with no modification to the segmentation network itself. The new loss functions can supervise the mask training without relying on mask annotations. This is made possible with two loss terms, namely, 1) a surrogate term that minimizes the discrepancy between the projections of the ground-truth box and the predicted mask; 2) a pairwise loss that can exploit the prior that proximal pixels with similar colors are very likely to have the same category label. Experiments demonstrate that the redesigned mask loss can yield surprisingly high-quality instance masks with only box annotations. For example, without using any mask annotations, with a ResNet-101 backbone and 3x training schedule, we achieve 33.2% mask AP on COCO test-dev split (vs. 39.1% of the fully supervised counterpart). Our excellent experiment results on COCO and Pascal VOC indicate that our method dramatically narrows the performance gap between weakly and fully supervised instance segmentation. Code is available at: https://git.io/AdelaiDet


title: Sonic Sculpture: Activating Engagement with Head-Mounted Augmented Reality

abstract: This work examines how head-mounted AR can be used to build an interactive sonic landscape to engage with a public sculpture. We describe a sonic artwork, "Listening To Listening", that has been designed to accompany a real-world sculpture with two prototype interaction schemes. Our artwork is created for the HoloLens platform so that users can have an individual experience in a mixed reality context. Personal head-mounted AR systems have recently become available and practical for integration into public art projects, however research into sonic sculpture works has yet to account for the affordances of current portable and mainstream AR systems. In this work, we take advantage of the HoloLens' spatial awareness to build sonic spaces that have a precise spatial relationship to a given sculpture and where the sculpture itself is modelled in the augmented scene as an "invisible hologram". We describe the artistic rationale for our artwork, the design of the two interaction schemes, and the technical and usability feedback that we have obtained from demonstrations during iterative development.


title: ReMix: Calibrated Resampling for Class Imbalance in Deep learning

abstract: Class imbalance is a problem of significant importance in applied deep learning where trained models are exploited for decision support and automated decisions in critical areas such as health and medicine, transportation, and finance. The challenge of learning deep models from imbalanced training data remains high, and the state-of-the-art solutions are typically data dependent and primarily focused on image data. Real-world imbalanced classification problems, however, are much more diverse thus necessitating a general solution that can be applied to tabular, image and text data. In this paper, we propose ReMix, a training technique that leverages batch resampling, instance mixing and soft-labels to enable the induction of robust deep models for imbalanced learning. Our results show that dense nets and CNNs trained with ReMix generally outperform the alternatives according to the g-mean and are better calibrated according to the balanced Brier score.


title: Periodic solutions for one-dimensional nonlinear nonlocal problem with drift including singular nonlinearities

abstract: In this paper, we prove existence results of a one-dimensional periodic solution to equations with the fractional Laplacian of order $s\in(1/2,1)$, singular nonlinearity, and gradient term under various situations, including nonlocal contra-part of classical Lienard vector equations, as well other nonlocal versions of classical results know only in the context of second-order ODE. Our proofs are based on degree theory and Perron's method, so before that we need to establish a variety of priori estimates under different assumptions on the nonlinearities appearing in the equations. Besides, we obtain also multiplicity results in a regime where a priori bounds are lost and bifurcation from infinity occurs.


title: Root of unity quantum cluster algebras and discriminants

abstract: We describe a connection between the subjects of cluster algebras, polynomial identity algebras and discriminants. For this, we define the notion of root of unity quantum cluster algebras and prove that they are polynomial identity algebras. Inside each such algebra we construct a (large) canonical central subalgebra, which can be viewed as a far reaching generalization of the central subalgebras of big quantum groups constructed by De Concini, Kac and Procesi and used in representation theory. Each such central subalgebra is proved to be isomorphic to the underlying classical cluster algebra of geometric type. When the root of unity quantum cluster algebra is free over its central subalgebra, we prove that the discriminant of the pair is a product of powers of the frozen variables times an integer. An extension of this result is also proved for the discriminants of all subalgebras generated by the cluster variables of nerves in the exchange graph. These results can be used for the effective computation of discriminants. As an application we prove an explicit formula for the discriminant of the integral form over ${\mathbb{Z}}[\varepsilon]$ of each quantum unipotent cells of De Concini, Kac and Procesi for arbitrary symmetrizable Kac-Moody algebras, where $\varepsilon$ is a root of unity.


title: Nonthermal electron and ion acceleration by magnetic reconnection in large laser-driven plasmas

abstract: Magnetic reconnection is a fundamental plasma process that is thought to play a key role in the production of nonthermal particles associated with explosive phenomena in space physics and astrophysics. Experiments at high-energy-density facilities are starting to probe the microphysics of reconnection at high Lundquist numbers and large system sizes. We have performed particle-in-cell (PIC) simulations to explore particle acceleration for parameters relevant to laser-driven reconnection experiments. We study particle acceleration in large system sizes that may be produced soon with the most energetic laser drivers available, such as at the National Ignition Facility. In these conditions, we show the possibility of reaching the multi-plasmoid regime, where plasmoid acceleration becomes dominant. Our results show the transition from \textit{X} point to plasmoid-dominated acceleration associated with the merging and contraction of plasmoids that further extend the maximum energy of the power-law tail of the particle distribution for electrons. We also find for the first time a system-size-dependent emergence of nonthermal ion acceleration in driven reconnection, where the magnetization of ions at sufficiently large sizes allows them to be contained by the magnetic field and energized by direct \textit{X} point acceleration. For feasible experimental conditions, electrons and ions can attain energies of $\epsilon_{max,e} / k_{B} T_{e} > 100$ and $\epsilon_{max,i} / k_{B} T_{i} > 1000$. Using PIC simulations with binary Monte Carlo Coulomb collisions we study the impact of collisionality on plasmoid formation and particle acceleration. The implications of these results for understanding the role reconnection plays in accelerating particles in space physics and astrophysics are discussed.


title: High Cadence Optical Transient Searches using Drift Scan Imaging II: Event Rate Upper Limits on Optical Transients of Duration <21 ms and Magnitude <6.6

abstract: We have realised a simple prototype system to perform searches for short timescale optical transients, utilising the novel drift scan imaging technique described by Tingay (2020). We used two coordinated and aligned cameras, with an overlap field-of-view of approximately 3.7 sq. deg., to capture over 34000 X 5 second images during approximately 24 hours of observing. The system is sensitive to optical transients, due to an effective exposure time per pixel of 21 ms, brighter than a V magnitude of 6.6. In our 89.7 sq. deg. hr of observations we find no candidate astronomical transients, giving an upper limit to the rate of these transients of 0.8 per square degree per day, competitive with other experiments of this type. The system is triggered by reflections from satellites and various instrumental effects, which are easily identifiable due to the two camera system. The next step in the development of this promising technique is to move to a system with larger apertures and wider fields of view.


title: Thermodynamic class II Szekeres-Szafron solutions. Regular models

abstract: In a recent paper (Coll {\em et al} 2019 {\it Class. Quantum Grav.} {\bf 36} 175004) we have studied a family of Szekeres-Szafron solutions of class II in local thermal equilibrium (singular models). In this paper we deal with a similar study for all other class II Szekeres-Szafron solutions without symmetries. These models in local thermal equilibrium (regular models) are analyzed and their associated thermodynamic schemes are obtained. In particular, we focus on the subfamily of solutions which are compatible with the generic ideal gas equation of state ($p = \tilde{k} n \Theta$), and we analyze in depth two notable interpretations that follow on from the choice of two specific thermodynamic schemes: firstly, as a generic ideal gas in local thermal equilibrium and, secondly, as a model having the homogeneous temperature of the FLRW limit. The models above are shown to fulfill the general necessary macroscopic requirements for physical reality (positivity of matter density, internal energy and temperature, energy conditions and compressibility conditions) in wide domains of the spacetime.


title: Band alignment of monolayer CaP$_3$, CaAs$_3$, BaAs$_3$ and the role of $p$-$d$ orbital interactions in the formation of conduction band minima

abstract: Recently, a number of new two-dimensional (2D) materials based on puckered phosphorene and arsenene have been predicted with moderate band gaps, good absorption properties and carrier mobilities superior to transition metal dichalcogenides. For heterojunction applications, it is important to know the relative band alignment of these new 2D materials. We report the band alignment of puckered CaP$_3$, CaAs$_3$ and BaAs$_3$ monolayers at the quasiparticle level of theory (G$_0$W$_0$), calculating band offsets for isolated monolayers according to the electron affinity rule. Our calculations suggest that monolayer CaP$_3$, CaAs$_3$ and BaAs$_3$ all form type-II (staggered) heterojunctions. Their quasiparticle gaps are 2.1 (direct), 1.8 (direct) and 1.5 eV (indirect), respectively. We also examine trends in the electronic structure in the light of chemical bonding analysis. We show that the indirect band gap in monolayer BaAs$_3$ is caused by relatively strong As $3p$ - Ba $5d$ bonding interactions that stabilize the conduction band away from the $\Gamma$ point between $\Gamma$ and $S$.


title: Multicenter Assessment of Augmented Reality Registration Methods for Image-guided Interventions

abstract: Purpose: To evaluate manual and automatic registration times as well as accuracy with augmented reality during alignment of a holographic 3-dimensional (3D) model onto the real-world environment. Method: 18 participants in various stages of clinical training across two academic centers registered a 3D CT phantom model onto a CT grid using the HoloLens 2 augmented reality headset 3 consecutive times. Registration times and accuracy were compared among different registration methods (hand gesture, Xbox controller, and automatic registration), levels of clinical experience, and consecutive attempts. Registration times were also compared with prior HoloLens 1 data. Results: Mean aggregate manual registration times were 27.7, 24.3, and 72.8 seconds for one-handed gesture, two-handed gesture, and Xbox controller, respectively; mean automatic registration time was 5.3s (ANOVA p<0.0001). No significant difference in registration times was found among attendings, residents and fellows, and medical students (p>0.05). Significant improvements in registration times were detected across consecutive attempts using hand gestures (p<0.01). Compared with previously reported HoloLens 1 experience, hand gesture registration times were 81.7% faster (p<0.05). Registration accuracies were not significantly different across manual registration methods, measuring at 5.9, 9.5, and 8.6 mm with one-handed gesture, two-handed gesture, and Xbox controller, respectively (p>0.05). Conclusions: Manual registration times decreased significantly with updated hand gesture maneuvers on HoloLens 2 versus HoloLens 1, approaching the registration times of automatic registration and outperforming Xbox controller mediated registration. These results will encourage wider clinical integration of HoloLens 2 in procedural medical care.


title: First discovery of new pulsars and RRATs with CHIME/FRB

abstract: We report the discovery of seven new Galactic pulsars with the Canadian Hydrogen Intensity Mapping Experiment's Fast Radio Burst backend (CHIME/FRB). These sources were first identified via single pulses in CHIME/FRB, then followed up with CHIME/Pulsar. Four sources appear to be rotating radio transients (RRATs), pulsar-like sources with occasional single pulse emission with an underlying periodicity. Of those four sources, three have detected periods ranging from 220 ms to 2.726 s. Three sources have more persistent but still intermittent emission and are likely intermittent or nulling pulsars. We have determined phase-coherent timing solutions for the latter three. These seven sources are the first discovery of previously unknown Galactic sources with CHIME/FRB and highlight the potential of fast radio burst detection instruments to search for intermittent Galactic radio sources.


title: GPI 2.0 : Optimizing reconstructor performance in simulations and preliminary contrast estimates

abstract: During its move from the mountaintop of Cerro Pachon in Chile to the peak of Mauna Kea in Hawaii, the Gemini Planet Imager will make a pit stop to receive various upgrades, including a pyramid wavefront sensor. As a highly non-linear sensor, a standard approach to linearize the response of the pyramid is induce a rapid circular modulation of the beam around the pyramid tip, trading off sensitivity for robustness during high turbulence. Using high temporal resolution Fourier Optics based simulations, we investigate phase reconstruction approaches that attempt to optimize the performance of the sensor with a dynamically adjustable modulation parameter. We have studied the linearity and gain stability of the sensor under different modulation and seeing conditions, and the ability of the sensor to correct non-common-path errors. We will also show performance estimates which includes a comparative analysis of the atmospheric columns above the two mountains, as well as the Error Transfer Functions of the two systems.


title: A Laptop Ensemble Performance System using Recurrent Neural Networks

abstract: The popularity of applying machine learning techniques in musical domains has created an inherent availability of freely accessible pre-trained neural network (NN) models ready for use in creative applications. This work outlines the implementation of one such application in the form of an assistance tool designed for live improvisational performances by laptop ensembles. The primary intention was to leverage off-the-shelf pre-trained NN models as a basis for assisting individual performers either as musical novices looking to engage with more experienced performers or as a tool to expand musical possibilities through new forms of creative expression. The system expands upon a variety of ideas found in different research areas including new interfaces for musical expression, generative music and group performance to produce a networked performance solution served via a web-browser interface. The final implementation of the system offers performers a mixture of high and low-level controls to influence the shape of sequences of notes output by locally run NN models in real time, also allowing performers to define their level of engagement with the assisting generative models. Two test performances were played, with the system shown to feasibly support four performers over a four minute piece while producing musically cohesive and engaging music. Iterations on the design of the system exposed technical constraints on the use of a JavaScript environment for generative models in a live music context, largely derived from inescapable processing overheads.


title: The Role of Early Giant Planet Instability in the Terrestrial Planet Formation

abstract: The terrestrial planets are believed to have formed by violent collisions of tens of lunar- to Mars-size protoplanets at time t<200 Myr after the protoplanetary gas disk dispersal (t_0). The solar system giant planets rapidly formed during the protoplanetary disk stage and, after t_0, radially migrated by interacting with outer disk planetesimals. An early (t<100 Myr) dynamical instability is thought to have occurred with Jupiter having gravitational encounters with a planetary-size body, jumping inward by ~0.2-0.5 au, and landing on its current, mildly eccentric orbit. Here we investigate how the giant planet instability affected formation of the terrestrial planets. We study several instability cases that were previously shown to match many solar system constraints. We find that resonances with the giant planets help to remove solids available for accretion near ~1.5 au, thus stalling the growth of Mars. It does not matter, however, whether the giant planets are placed on their current orbits at t_0 or whether they realistically evolve in one of our instability models; the results are practically the same. The tight orbital spacing of Venus and Earth is difficult to reproduce in our simulations, including cases where bodies grow from a narrow annulus at 0.7-1 au, because protoplanets tend to radially spread during accretion. The best results are obtained in the narrow-annulus model when protoplanets emerging from the dispersing gas nebula are assumed to have (at least) the Mars mass. This suggests efficient accretion of the terrestrial protoplanets during the first ~10 Myr of the solar system.


title: Galilean covariance of quantum-classical hybrid systems of the Sudarshan type

abstract: We revisit quantum-classical hybrid systems of the Sudarshan type under the light of Galilean covariance. We show that these kind of hybrids cannot be given as a unitary representation of the Galilei group and at the same time conserve the total linear momentum unless the interaction term only depends on the relative canonical velocities.


title: Ten Simple Rules for making a vocabulary FAIR

abstract: We present ten simple rules that support converting a legacy vocabulary -- a list of terms available in a print-based glossary or table not accessible using web standards -- into a FAIR vocabulary. Various pathways may be followed to publish the FAIR vocabulary, but we emphasise particularly the goal of providing a distinct IRI for each term or concept. A standard representation of the concept should be returned when the individual IRI is de-referenced, using SKOS or OWL serialised in an RDF-based representation for machine-interchange, or in a web-page for human consumption. Guidelines for vocabulary and item metadata are provided, as well as development and maintenance considerations. By following these rules you can achieve the outcome of converting a legacy vocabulary into a standalone FAIR vocabulary, which can be used for unambiguous data annotation. In turn, this increases data interoperability and enables data integration.


title: On Derivation of the Poisson-Boltzmann Equation

abstract: Starting from the microscopic reduced Hartree-Fock equation, we derive the nanoscopic linearized Poisson-Boltzmann equation for the electrostatic potential associated with the electron density.


title: Evolving Character-Level DenseNet Architectures using Genetic Programming

abstract: DenseNet architectures have demonstrated impressive performance in image classification tasks, but limited research has been conducted on using character-level DenseNet (char-DenseNet) architectures for text classification tasks. It is not clear what DenseNet architectures are optimal for text classification tasks. The iterative task of designing, training and testing of char-DenseNets is an NP-Hard problem that requires expert domain knowledge. Evolutionary deep learning (EDL) has been used to automatically design CNN architectures for the image classification domain, thereby mitigating the need for expert domain knowledge. This study demonstrates the first work on using EDL to evolve char-DenseNet architectures for text classification tasks. A novel genetic programming-based algorithm (GP-Dense) coupled with an indirect-encoding scheme, facilitates the evolution of performant char DenseNet architectures. The algorithm is evaluated on two popular text datasets, and the best-evolved models are benchmarked against four current state-of-the-art character-level CNN and DenseNet models. Results indicate that the algorithm evolves performant models for both datasets that outperform two of the state-of-the-art models in terms of model accuracy and three of the state-of-the-art models in terms of parameter size.


title: MLPerf Mobile Inference Benchmark

abstract: This paper presents the first industry-standard open-source machine learning (ML) benchmark to allow perfor mance and accuracy evaluation of mobile devices with different AI chips and software stacks. The benchmark draws from the expertise of leading mobile-SoC vendors, ML-framework providers, and model producers. It comprises a suite of models that operate with standard data sets, quality metrics and run rules. We describe the design and implementation of this domain-specific ML benchmark. The current benchmark version comes as a mobile app for different computer vision and natural language processing tasks. The benchmark also supports non-smartphone devices, such as laptops and mobile PCs. Benchmark results from the first two rounds reveal the overwhelming complexity of the underlying mobile ML system stack, emphasizing the need for transparency in mobile ML performance analysis. The results also show that the strides being made all through the ML stack improve performance. Within six months, offline throughput improved by 3x, while latency reduced by as much as 12x. ML is an evolving field with changing use cases, models, data sets and quality targets. MLPerf Mobile will evolve and serve as an open-source community framework to guide research and innovation for mobile AI.


title: Magnetic fields in elliptical galaxies: an observational probe of the fluctuation dynamo action

abstract: Fluctuation dynamos are thought to play an essential role in magnetized galaxy evolution, saturating within $\sim0.01~$Gyr and thus potentially acting as seeds for large-scale dynamos. However, unambiguous observational confirmation of the fluctuation dynamo action in a galactic environment is still missing. This is because, in spiral galaxies, it is difficult to differentiate between small-scale magnetic fields generated by a fluctuation dynamo and those due to the tangling of the large-scale field. We propose that observations of magnetic fields in elliptical galaxies would directly probe the fluctuation dynamo action. This is motivated by the fact that in ellipticals, due to their lack of significant rotation, the conventional large-scale dynamo is absent and the fluctuation dynamo is responsible for controlling the magnetic field strength and structure. By considering turbulence injected by Type Ia supernova explosions and possible magnetic field amplification by cooling flows, we estimate expected magnetic field strengths of $0.2~-~1 \,\mu{\rm G}$ in quiescent elliptical galaxies. We use a semi-analytic model of galaxy formation to estimate the distribution and redshift evolution of field strengths, tentatively finding a decrease in magnetic field strength with decreasing redshift. We analyse a sample of radio sources that exhibit the Laing-Garrington (LG) effect (radio polarization asymmetry in jets) and infer magnetic field strengths between $0.14~-~1.33 \,\mu{\rm G}$ for a uniform thermal electron density and between $1.36~-~6.21\,\mu{\rm G}$ for the thermal electron density following the King profile. We examine observational techniques for measuring the magnetic field saturation state in elliptical galaxies, focusing on Faraday RM grids, the LG effect, synchrotron emission, and gravitational lensing, finding appealing prospects for future empirical analysis.


title: Robust single-qubit gates by composite pulses in three-level systems

abstract: Composite pulses are an efficient tool for robust quantum control. In this work, we derive the form of the composite pulse sequence to implement robust single-qubit gates in a three-level system, where two low-energy levels act as a qubit. The composite pulses can efficiently cancel the systematic errors up to a certain order. We find that the three-pulse sequence cannot completely eliminate the first order of systematic errors, but still availably makes the fidelity resistant to variations in a specific direction. When employing more pulses in the sequence ($N>3$), the fidelity can be insensitive to the variations in all directions and the robustness region becomes much wider. Finally we demonstrate the applications of composite pulses in quantum information processing, e.g., robust quantum information transfer between two qubits.


title: Analysis of the Karma asteroid family

abstract: The Karma asteroid family is a group of primitive asteroids in the middle part of the main belt, just at the outer edge of the 3J:1A mean-motion resonance. We obtained the list of the family members with 317 asteroids and estimated that it was formed by the catastrophic disruption of a parent body that was between 34 and 41 km in diameter. Based on the V-shape method, age of the Karma family is estimated to be about 137 Myr. A detailed dynamical map of the region combined with numerical simulations allowed us to reconstruct the long-term dynamical evolution of the family, and to identify the mechanisms responsible for this evolution. The numerical simulations successfully reproduced the main features in the orbital distribution of the family members but also showed that some regions of the Karma family could be missing. A more detailed analysis revealed that these regions likely consist of very dark objects, fainter than absolute magnitude H = 17, that have not yet been detected. Based on the obtained results, we concluded that magnitude-frequency distribution of family members up to H = 16 mag is neither affected by dynamical erosion nor observational incompleteness and therefore represents the result of collisional grinding of the original family population. Finally, we found that the Karma family have been supplying some asteroids to the near-Earth region via the 3J:1A resonance. Currently, there should about 10 family members larger than 1 km in diameter, orbiting in the near-Earth space.


title: Granger-faithfulness and link orientation in network reconstruction

abstract: Networked dynamic systems are often abstracted as directed graphs, where the observed system processes form the vertex set and directed edges are used to represent non-zero transfer functions. Recovering the exact underlying graph structure of such a networked dynamic system, given only observational data, is a challenging task. Under relatively mild well-posedness assumptions on the network dynamics, there are state-of-the-art methods which can guarantee the absence of false positives. However, in this article we prove that under the same well-posedness assumptions, there are instances of networks for which any method is susceptible to inferring false negative edges or false positive edges. Borrowing a terminology from the theory of graphical models, we say those systems are unfaithful to their networks. We formalize a variant of faithfulness for dynamic systems, called Granger-faithfulness, and for a large class of dynamic networks, we show that Granger-unfaithful systems constitute a Lebesgue zero-measure set. For the same class of networks, under the Granger-faithfulness assumption, we provide an algorithm that reconstructs the network topology with guarantees for no false positive and no false negative edges in its output. We augment the topology reconstruction algorithm with orientation rules for some of the inferred edges, and we prove the rules are consistent under the Granger-faithfulness assumption.


title: CutQC: Using Small Quantum Computers for Large Quantum Circuit Evaluations

abstract: Quantum computing (QC) is a new paradigm offering the potential of exponential speedups over classical computing for certain computational problems. Each additional qubit doubles the size of the computational state space available to a QC algorithm. This exponential scaling underlies QC's power, but today's Noisy Intermediate-Scale Quantum (NISQ) devices face significant engineering challenges in scalability. The set of quantum circuits that can be reliably run on NISQ devices is limited by their noisy operations and low qubit counts. This paper introduces CutQC, a scalable hybrid computing approach that combines classical computers and quantum computers to enable evaluation of quantum circuits that cannot be run on classical or quantum computers alone. CutQC cuts large quantum circuits into smaller subcircuits, allowing them to be executed on smaller quantum devices. Classical postprocessing can then reconstruct the output of the original circuit. This approach offers significant runtime speedup compared with the only viable current alternative--purely classical simulations--and demonstrates evaluation of quantum circuits that are larger than the limit of QC or classical simulation. Furthermore, in real-system runs, CutQC achieves much higher quantum circuit evaluation fidelity using small prototype quantum computers than the state-of-the-art large NISQ devices achieve. Overall, this hybrid approach allows users to leverage classical and quantum computing resources to evaluate quantum programs far beyond the reach of either one alone.


title: Benchmarking Energy-Conserving Neural Networks for Learning Dynamics from Data

abstract: The last few years have witnessed an increased interest in incorporating physics-informed inductive bias in deep learning frameworks. In particular, a growing volume of literature has been exploring ways to enforce energy conservation while using neural networks for learning dynamics from observed time-series data. In this work, we survey ten recently proposed energy-conserving neural network models, including HNN, LNN, DeLaN, SymODEN, CHNN, CLNN and their variants. We provide a compact derivation of the theory behind these models and explain their similarities and differences. Their performance are compared in 4 physical systems. We point out the possibility of leveraging some of these energy-conserving models to design energy-based controllers.


title: Tight Chang's-lemma-type bounds for Boolean functions

abstract: Chang's lemma (Duke Mathematical Journal, 2002) is a classical result with applications across several areas in mathematics and computer science. For a Boolean function $f$ that takes values in {-1,1} let $r(f)$ denote its Fourier rank. For each positive threshold $t$, Chang's lemma provides a lower bound on $wt(f):=\Pr[f(x)=-1]$ in terms of the dimension of the span of its characters with Fourier coefficients of magnitude at least $1/t$. We examine the tightness of Chang's lemma w.r.t. the following three natural settings of the threshold: - the Fourier sparsity of $f$, denoted $k(f)$, - the Fourier max-supp-entropy of $f$, denoted $k'(f)$, defined to be $\max \{1/|\hat{f}(S)| : \hat{f}(S) \neq 0\}$, - the Fourier max-rank-entropy of $f$, denoted $k''(f)$, defined to be the minimum $t$ such that characters whose Fourier coefficients are at least $1/t$ in absolute value span a space of dimension $r(f)$. We prove new lower bounds on $wt(f)$ in terms of these measures. One of our lower bounds subsumes and refines the previously best known upper bound on $r(f)$ in terms of $k(f)$ by Sanyal (ToC, 2019). Another lower bound is based on our improvement of a bound by Chattopadhyay, Hatami, Lovett and Tal (ITCS, 2019) on the sum of the absolute values of the level-$1$ Fourier coefficients. We also show that Chang's lemma for the these choices of the threshold is asymptotically outperformed by our bounds for most settings of the parameters involved. Next, we show that our bounds are tight for a wide range of the parameters involved, by constructing functions (which are modifications of the Addressing function) witnessing their tightness. Finally we construct Boolean functions $f$ for which - our lower bounds asymptotically match $wt(f)$, and - for any choice of the threshold $t$, the lower bound obtained from Chang's lemma is asymptotically smaller than $wt(f)$.


title: Using the generalised-optical differentiation wavefront sensor for laser guide star wavefront sensing

abstract: Laser guide stars (LGS) are used in many adaptive optics systems to extend sky coverage. The most common wavefront sensor used in combination with a LGS is a Shack-Hartmann wavefront sensor (SHWFS). The Shack-Hartmann has a major disadvantage for extended source wavefront sensing because it directly samples the image. In this proceeding we propose to use the generalized-Optical Differentation Wavefront Sensor (g-ODWFS) a wavefront sensor for wavefront sensing of LGS. The g-ODWFS uses only 4 pixels per sub-aperture, has little to no aliasing noise and therefore no spurious low-order errors and has no need for centroid gain calibrations. In this proceeding we show the results of simulations that compare the g-ODWFS with the SHWFS.


title: Probabilistic Tracklet Scoring and Inpainting for Multiple Object Tracking

abstract: Despite the recent advances in multiple object tracking (MOT), achieved by joint detection and tracking, dealing with long occlusions remains a challenge. This is due to the fact that such techniques tend to ignore the long-term motion information. In this paper, we introduce a probabilistic autoregressive motion model to score tracklet proposals by directly measuring their likelihood. This is achieved by training our model to learn the underlying distribution of natural tracklets. As such, our model allows us not only to assign new detections to existing tracklets, but also to inpaint a tracklet when an object has been lost for a long time, e.g., due to occlusion, by sampling tracklets so as to fill the gap caused by misdetections. Our experiments demonstrate the superiority of our approach at tracking objects in challenging sequences; it outperforms the state of the art in most standard MOT metrics on multiple MOT benchmark datasets, including MOT16, MOT17, and MOT20.


title: An optimal quantum sampling regression algorithm for variational eigensolving in the low qubit number regime

abstract: The VQE algorithm has turned out to be quite expensive to run given the way we currently access quantum processors (i.e. over the cloud). In order to alleviate this issue, we introduce Quantum Sampling Regression (QSR), an alternative hybrid quantum-classical algorithm, and analyze some of its use cases based on time complexity in the low qubit number regime. In exchange for some extra classical resources, this novel strategy is proved to be optimal in terms of the number of samples it requires from the quantum processor. We develop a simple analytical model to evaluate when this algorithm is more efficient than VQE, and, from the same theoretical considerations, establish a threshold above which quantum advantage can occur. Finally, we demonstrate the efficacy of our algorithm for a benchmark problem.