title: Powers of commutators in linear algebraic groups

abstract: Let ${\mathscr G}$ be a linear algebraic group over $k$, where $k$ is an algebraically closed field, a pseudo-finite field or the valuation ring of a nonarchimedean local field. Let $G= {\mathscr G}(k)$. We prove that if $\gamma, \delta\in G$ such that $\gamma$ is a commutator and $\langle \delta\rangle= \langle \gamma\rangle$ then $\delta$ is a commutator. This generalises a result of Honda for finite groups. Our proof uses the Lefschetz Principle from first-order model theory.


title: A Bayesian constitutive model selection framework for biaxial mechanical testing of planar soft tissues: application to porcine aortic valves

abstract: A variety of constitutive models have been developed for soft tissue mechanics. However, there is no established criterion to select a suitable model for a specific application. Although the model that best fits the experimental data can be deemed the most suitable model, this practice often can be insufficient given the inter-sample variability of experimental observations. Herein, we present a Bayesian approach to calculate the relative probabilities of constitutive models based on biaxial mechanical testing of tissue samples. 46 samples of porcine aortic valve tissue were tested using a biaxial stretching setup. For each sample, seven ratios of stresses along and perpendicular to the fiber direction were applied. The probabilities of eight invariant-based constitutive models were calculated based on the experimental data using the proposed model selection framework. The calculated probabilities showed that, out of the considered models and based on the information available through the utilized experimental dataset, the May--Newman model was the most probable model for the porcine aortic valve data. When the samples were grouped into different cusp types, the May--Newman model remained the most probable for the left- and right-coronary cusps, whereas for non-coronary cusps two models were found to be equally probable: the Lee--Sacks model and the May--Newman model. This difference between cusp types was found to be associated with the first principal component analysis (PCA) mode, where this mode's amplitudes of the non-coronary and right-coronary cusps were found to be significantly different. Our results show that a PCA-based statistical model can capture significant variations in the mechanical properties of soft tissues. The presented framework is applicable to any tissue type, and has the potential to provide a structured and rational way of making simulations population-based.


title: Bayes goes fast: Uncertainty Quantification for a Covariant Energy Density Functional emulated by the Reduced Basis Method

abstract: A covariant energy density functional is calibrated using a principled Bayesian statistical framework informed by experimental binding energies and charge radii of several magic and semi-magic nuclei. The Bayesian sampling required for the calibration is enabled by the emulation of the high-fidelity model through the implementation of a reduced basis method (RBM) - a set of dimensionality reduction techniques that can speed up demanding calculations involving partial differential equations by several orders of magnitude. The RBM emulator we build - using only 100 evaluations of the high-fidelity model - is able to accurately reproduce the model calculations in tens of milliseconds on a personal computer, an increase in speed of nearly a factor of 3,300 when compared to the original solver. Besides the analysis of the posterior distribution of parameters, we present predictions with properly estimated uncertainties for observables not included in the fit, specifically the neutron skin thickness of 208Pb and 48Ca, as reported by PREX and CREX collaborations. The straightforward implementation and outstanding performance of the RBM makes it an ideal tool for assisting the nuclear theory community in providing reliable estimates with properly quantified uncertainties of physical observables. Such uncertainty quantification tools will become essential given the expected abundance of data from the recently inaugurated and future experimental and observational facilities.


title: Viewpoint-driven Formation Control of Airships for Cooperative Target Tracking

abstract: For tracking and motion capture (MoCap) of animals in their natural habitat, a formation of safe and silent aerial platforms, such as airships with on-board cameras, is well suited. In our prior work we derived formation properties for optimal MoCap, which include maintaining constant angular separation between observers w.r.t. the subject, threshold distance to it and keeping it centered in the camera view. Unlike multi-rotors, airships have non-holonomic constrains and are affected by ambient wind. Their orientation and flight direction are also tightly coupled. Therefore a control scheme for multicopters that assumes independence of motion direction and orientation is not applicable. In this paper, we address this problem by first exploiting a periodic relationship between the airspeed of an airship and its distance to the subject. We use it to derive analytical and numeric solutions that satisfy the formation properties for optimal MoCap. Based on this, we develop an MPC-based formation controller. We perform theoretical analysis of our solution, boundary conditions of its applicability, extensive simulation experiments and a real world demonstration of our control method with an unmanned airship. Open source code https://tinyurl.com/AsMPCCode and a video of our method is provided at https://tinyurl.com/AsMPCVid .


title: Efficient Concurrent Design of the Morphology of Unmanned Aerial Systems and their Collective-Search Behavior

abstract: The collective operation of robots, such as unmanned aerial vehicles (UAVs) operating as a team or swarm, is affected by their individual capabilities, which in turn is dependent on their physical design, aka morphology. However, with the exception of a few (albeit ad hoc) evolutionary robotics methods, there has been very little work on understanding the interplay of morphology and collective behavior. There is especially a lack of computational frameworks to concurrently search for the robot morphology and the hyper-parameters of their behavior model that jointly optimize the collective (team) performance. To address this gap, this paper proposes a new co-design framework. Here the exploding computational cost of an otherwise nested morphology/behavior co-design is effectively alleviated through the novel concept of ``talent" metrics; while also allowing significantly better solutions compared to the typically sub-optimal sequential morphology$\to$behavior design approach. This framework comprises four major steps: talent metrics selection, talent Pareto exploration (a multi-objective morphology optimization process), behavior optimization, and morphology finalization. This co-design concept is demonstrated by applying it to design UAVs that operate as a team to localize signal sources, e.g., in victim search and hazard localization. Here, the collective behavior is driven by a recently reported batch Bayesian search algorithm called Bayes-Swarm. Our case studies show that the outcome of co-design provides significantly higher success rates in signal source localization compared to a baseline design, across a variety of signal environments and teams with 6 to 15 UAVs. Moreover, this co-design process provides two orders of magnitude reduction in computing time compared to a projected nested design approach.


title: Self-Supervised Visuo-Tactile Pretraining to Locate and Follow Garment Features

abstract: Humans make extensive use of vision and touch as complementary senses, with vision providing global information about the scene and touch measuring local information during manipulation without suffering from occlusions. While prior work demonstrates the efficacy of tactile sensing for precise manipulation of deformables, they typically rely on supervised, human-labeled datasets. We propose Self-Supervised Visuo-Tactile Pretraining (SSVTP), a framework for learning multi-task visuo-tactile representations in a self-supervised manner through cross-modal supervision. We design a mechanism that enables a robot to autonomously collect precisely spatially-aligned visual and tactile image pairs, then train visual and tactile encoders to embed these pairs into a shared latent space using cross-modal contrastive loss. We apply this latent space to downstream perception and control of deformable garments on flat surfaces, and evaluate the flexibility of the learned representations without fine-tuning on 5 tasks: feature classification, contact localization, anomaly detection, feature search from a visual query (e.g., garment feature localization under occlusion), and edge following along cloth edges. The pretrained representations achieve a 73-100% success rate on these 5 tasks.


title: An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems

abstract: We present and discuss a runtime architecture that integrates sensorial data and classifiers with a logic-based decision-making system in the context of an e-Health system for the rehabilitation of children with neuromotor disorders. In this application, children perform a rehabilitation task in the form of games. The main aim of the system is to derive a set of parameters the child's current level of cognitive and behavioral performance (e.g., engagement, attention, task accuracy) from the available sensors and classifiers (e.g., eye trackers, motion sensors, emotion recognition techniques) and take decisions accordingly. These decisions are typically aimed at improving the child's performance by triggering appropriate re-engagement stimuli when their attention is low, by changing the game or making it more difficult when the child is losing interest in the task as it is too easy. Alongside state-of-the-art techniques for emotion recognition and head pose estimation, we use a runtime variant of a probabilistic and epistemic logic programming dialect of the Event Calculus, known as the Epistemic Probabilistic Event Calculus. In particular, the probabilistic component of this symbolic framework allows for a natural interface with the machine learning techniques. We overview the architecture and its components, and show some of its characteristics through a discussion of a running example and experiments. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).


title: Poisson gauge models and Seiberg-Witten map

abstract: The semiclassical limit of full non-commutative gauge theory is known as Poisson gauge theory. In this work we revise the construction of Poisson gauge theory paying attention to the geometric meaning of the structures involved and advance in the direction of a further development of the proposed formalism, including the derivation of Noether identities and conservation of currents. For any linear non-commutativity, $\Theta^{ab}(x)=f^{ab}_c\,x^c$, with $f^{ab}_c$ being structure constants of a Lie algebra, an explicit form of the gauge Lagrangian is proposed. In particular a universal solution for the matrix $\rho$ defining the field strength and the covariant derivative is found. The previously known examples of $\kappa$-Minkowski, $\lambda$-Minkowski and rotationally invariant non-commutativity are recovered from the general formula. The arbitrariness in the construction of Poisson gauge models is addressed in terms of Seiberg-Witten maps, i.e., invertible field redefinitions mapping gauge orbits onto gauge orbits.


title: Impact of phylogeny on structural contact inference from protein sequence data

abstract: Local and global inference methods have been developed to infer structural contacts from multiple sequence alignments of homologous proteins. They rely on correlations in amino-acid usage at contacting sites. Because homologous proteins share a common ancestry, their sequences also feature phylogenetic correlations, which can impair contact inference. We investigate this effect by generating controlled synthetic data from a minimal model where the importance of contacts and of phylogeny can be tuned. We demonstrate that global inference methods, specifically Potts models, are more resilient to phylogenetic correlations than local methods, based on covariance or mutual information. This holds whether or not phylogenetic corrections are used, and may explain the success of global methods. We analyse the roles of selection strength and of phylogenetic relatedness. We show that sites that mutate early in the phylogeny yield false positive contacts. We consider natural data and realistic synthetic data, and our findings generalise to these cases. Our results highlight the impact of phylogeny on contact prediction from protein sequences and illustrate the interplay between the rich structure of biological data and inference.


title: Understanding Hindsight Goal Relabeling from a Divergence Minimization Perspective

abstract: Hindsight goal relabeling has become a foundational technique in multi-goal reinforcement learning (RL). The essential idea is that any trajectory can be seen as a sub-optimal demonstration for reaching its final state. Intuitively, learning from those arbitrary demonstrations can be seen as a form of imitation learning (IL). However, the connection between hindsight goal relabeling and imitation learning is not well understood. In this paper, we propose a novel framework to understand hindsight goal relabeling from a divergence minimization perspective. Recasting the goal reaching problem in the IL framework not only allows us to derive several existing methods from first principles, but also provides us with the tools from IL to improve goal reaching algorithms. Experimentally, we find that under hindsight relabeling, Q-learning outperforms behavioral cloning (BC). Yet, a vanilla combination of both hurts performance. Concretely, we see that the BC loss only helps when selectively applied to actions that get the agent closer to the goal according to the Q-function. Our framework also explains the puzzling phenomenon wherein a reward of (-1, 0) results in significantly better performance than a (0, 1) reward for goal reaching.


title: Evaluating Effects of Geometry and Material Composition on Production of Transversely Shaped Beams from Diamond Field Emission Array Cathodes

abstract: Field emission cathodes (FECs) are attractive for the next generation of injectors due to their ability to provide high current density bright beams with low intrinsic emittance. One application of FECs worthy of special attention is to provide transversely shaped electron beams for emittance exchange that translates a transverse electron beam pattern into a longitudinal pattern. FECs can be fabricated in a desired pattern and produce transversely shaped beams without the need for complex masking or laser schemes. However, reliable and consistent production of transversely shaped beams is affected by material properties of the FEC. This paper reports the results of testing two diamond field emitter array (DFEA) FECs with the same lithography pattern and emitter geometry but different material and tip characteristics. Although both cathodes were able to sustain gradients of 44 MV/m and produce maximum output integral charge of 0.5 nC per radiofrequency (rf) pulse, their emission patterns were quite different. One cathode did not produce a patterned beam while the other one did. Differences in field emission characteristics and patterned beam production were explained by the differences in the tip geometry and the cathode material properties. The main practical takeaway was found to be that the tip sharpness was not a prerequisite for good patterned beam production. Instead, other material characteristics, such as the ballast resistance, determined cathode performance.


title: Enhanced Meta Reinforcement Learning using Demonstrations in Sparse Reward Environments

abstract: Meta reinforcement learning (Meta-RL) is an approach wherein the experience gained from solving a variety of tasks is distilled into a meta-policy. The meta-policy, when adapted over only a small (or just a single) number of steps, is able to perform near-optimally on a new, related task. However, a major challenge to adopting this approach to solve real-world problems is that they are often associated with sparse reward functions that only indicate whether a task is completed partially or fully. We consider the situation where some data, possibly generated by a sub-optimal agent, is available for each task. We then develop a class of algorithms entitled Enhanced Meta-RL using Demonstrations (EMRLD) that exploit this information even if sub-optimal to obtain guidance during training. We show how EMRLD jointly utilizes RL and supervised learning over the offline data to generate a meta-policy that demonstrates monotone performance improvements. We also develop a warm started variant called EMRLD-WS that is particularly efficient for sub-optimal demonstration data. Finally, we show that our EMRLD algorithms significantly outperform existing approaches in a variety of sparse reward environments, including that of a mobile robot.


title: Exploiting GPU/SIMD Architectures for Solving Linear-Quadratic MPC Problems

abstract: We report numerical results on solving constrained linear-quadratic model predictive control (MPC) problems by exploiting graphics processing units (GPUs). The presented method reduces the MPC problem by eliminating the state variables and applies a condensed-space interior-point method to remove the inequality constraints in the KKT system. The final condensed matrix is positive definite and can be efficiently factorized in parallel on GPU/SIMD architectures. In addition, the size of the condensed matrix depends only on the number of controls in the problem, rendering the method particularly effective when the problem has many states but few inputs and moderate horizon length. Our numerical results for PDE-constrained problems show that the approach is an order of magnitude faster than a standard CPU implementation. We also provide an open-source Julia framework that facilitates modeling (DynamicNLPModels.jl) and solution (MadNLP.jl) of MPC problems on GPUs.


title: Constrained Policy Optimization for Stochastic Optimal Control under Nonstationary Uncertainties

abstract: This article presents a constrained policy optimization approach for the optimal control of systems under nonstationary uncertainties. We introduce an assumption that we call Markov embeddability that allows us to cast the stochastic optimal control problem as a policy optimization problem over the augmented state space. Then, the infinite-dimensional policy optimization problem is approximated as a finite-dimensional nonlinear program by applying function approximation, deterministic sampling, and temporal truncation. The approximated problem is solved by using automatic differentiation and condensed-space interior-point methods. We formulate several conceptual and practical open questions regarding the asymptotic exactness of the approximation and the solution strategies for the approximated problem. As a proof of concept, we provide a numerical example demonstrating the performance of the control policy obtained by the proposed method.


title: An ab initio study of electron-hole pairs in a correlated van der Waals antiferromagnet: NiPS$_3$

abstract: The recently discovered two-dimensional (2D) van der Waals magnet NiPS$_3$ provides a new route to examine many-body quasiparticles under 2D confinement. Excitons are of particular interest due to their strong coupling to the magnetic ground state in this material. Here, by using a first-principles based approach, we find bright excitons between 1.4 eV to 1.7 eV, similar to the sharp coherent and band edge excitons experimentally observed. Our analysis shows that each exciton in NiPS$_3$ is composed of a combination of $d$-$d$ and charge-transfer character, where the relative ratio of each pairing configuration changes with exciton energy. Finally, the wave function of the electrons and holes is revealed to be spatially separated, with electrons and holes residing on different magnetic sublattices. This suggests a microscopic origin of the observed strong magneto-exciton coupling.


title: Training Efficient Controllers via Analytic Policy Gradient

abstract: Control design for robotic systems is complex and often requires solving an optimization to follow a trajectory accurately. Online optimization approaches like Model Predictive Control (MPC) have been shown to achieve great tracking performance, but require high computing power. Conversely, learning-based offline optimization approaches, such as Reinforcement Learning (RL), allow fast and efficient execution on the robot but hardly match the accuracy of MPC in trajectory tracking tasks. In systems with limited compute, such as aerial vehicles, an accurate controller that is efficient at execution time is imperative. We propose an Analytic Policy Gradient (APG) method to tackle this problem. APG exploits the availability of differentiable simulators by training a controller offline with gradient descent on the tracking error. We address training instabilities that frequently occur with APG through curriculum learning and experiment on a widely used controls benchmark, the CartPole, and two common aerial robots, a quadrotor and a fixed-wing drone. Our proposed method outperforms both model-based and model-free RL methods in terms of tracking error. Concurrently, it achieves similar performance to MPC while requiring more than an order of magnitude less computation time. Our work provides insights into the potential of APG as a promising control method for robotics. To facilitate the exploration of APG, we open-source our code and make it available at https://github.com/lis-epfl/apg_trajectory_tracking.


title: Optimal Control of Connected Automated Vehicles with Event/Self-Triggered Control Barrier Functions

abstract: We address the problem of controlling Connected and Automated Vehicles (CAVs) in conflict areas of a traffic network subject to hard safety constraints. It has been shown that such problems can be solved through a combination of tractable optimal control problem formulations and the use of Control Barrier Functions (CBFs) that guarantee the satisfaction of all constraints. These solutions can be reduced to a sequence of Quadratic Programs (QPs) which are efficiently solved on-line over discrete time steps. However, the feasibility of each such QP cannot be guaranteed over every time step. To overcome this limitation, we develop both an event-triggered approach and a self-triggered approach such that the next QP is triggered by properly defined events. We show that both approaches, each in a different way, eliminate infeasible cases due to time-driven inter-sampling effects, thus also eliminating the need for selecting the size of time steps. Simulation examples are included to compare the two new schemes and to illustrate how overall infeasibilities can be significantly reduced while at the same time reducing the need for communication among CAVs without compromising performance.


title: Sandwiched Volterra Volatility model: Markovian approximations and hedging

abstract: We consider stochastic volatility dynamics driven by a general H\"older continuous Volterra-type noise and with unbounded drift. For such models, we consider the explicit computation of quadratic hedging strategies. While the theoretical solution is well-known in terms of the non-anticipating derivative for all square integrable claims, the fact that these models are typically non-Markovian provides a concrete difficulty in the direct computation of conditional expectations at the core of the explicit hedging strategy. To overcome this difficulty, we propose a Markovian approximation of the model which stems from an adequate approximation of the kernel in the Volterra noise. We study the approximation of the volatility, the prices as well as the optimal mean-square hedge and provide the corresponding error estimates. We complete the work with numerical simulations performed with different methods.


title: Effective Invertible Arbitrary Image Rescaling

abstract: Great successes have been achieved using deep learning techniques for image super-resolution (SR) with fixed scales. To increase its real world applicability, numerous models have also been proposed to restore SR images with arbitrary scale factors, including asymmetric ones where images are resized to different scales along horizontal and vertical directions. Though most models are only optimized for the unidirectional upscaling task while assuming a predefined downscaling kernel for low-resolution (LR) inputs, recent models based on Invertible Neural Networks (INN) are able to increase upscaling accuracy significantly by optimizing the downscaling and upscaling cycle jointly. However, limited by the INN architecture, it is constrained to fixed integer scale factors and requires one model for each scale. Without increasing model complexity, a simple and effective invertible arbitrary rescaling network (IARN) is proposed to achieve arbitrary image rescaling by training only one model in this work. Using innovative components like position-aware scale encoding and preemptive channel splitting, the network is optimized to convert the non-invertible rescaling cycle to an effectively invertible process. It is shown to achieve a state-of-the-art (SOTA) performance in bidirectional arbitrary rescaling without compromising perceptual quality in LR outputs. It is also demonstrated to perform well on tests with asymmetric scales using the same network architecture.


title: Efficiency and Parameter Selection of a micro-macro Markov chain Monte Carlo method for molecular dynamics

abstract: We recently introduced a mM-MCMC scheme that is able to accelerate the sampling of Gibbs distributions when there is a time-scale separation between the complete molecular dynamics and the slow dynamics of a low dimensional reaction coordinate. The mM-MCMC Markov chain works in three steps: 1) compute the reaction coordinate value associated to the current molecular state; 2) generate a new macroscopic proposal using some approximate macroscopic distribution; 3) reconstruct a molecular configuration that is consistent with the newly sampled macroscopic value. There are a number of method parameters that impact the efficiency of the mM-MCMC method. On the macroscopic level, the proposal- and approximate macroscopic distributions are important, while on the microscopic level the reconstruction distribution is of significant importance. In this manuscript, we will investigate the impact of these parameters on the efficiency of the mM-MCMC method on two molecules: a simple three-atom molecule and butane.


title: Coronal mass ejection deformation at 0.1 au observed by WISPR

abstract: Although coronal mass ejections (CMEs) resembling flux ropes generally expand self-similarly, deformations along their fronts have been reported in observations and simulations. We present evidence of one CME becoming deformed after a period of self-similarly expansion in the corona. The event was observed by multiple white-light imagers on January 20-22, 2021. The change in shape is evident in observations from the heliospheric imagers from the Wide-Field Imager for Solar Probe Plus (WISPR), which observe this CME for $\sim$ 44 hours. We reconstruct the CME using forward-fitting models. In the first hours, observations are consistent with a self-similar expansion but later on the front flattens forming a dimple. Our interpretation is that the CME becomes deformed at $\sim0.1\ au$ due to differences in the background solar wind speeds. The CME expands more at higher latitudes, where the background solar wind is faster. We consider other possible causes for deformations, such as loss of coherence and slow-mode shocks. The CME deformation seems to cause a time-of-arrival error of 16 hours at $\sim 0.5\ au$. The deformation is clear only in the WISPR observations and, it thus, would have been missed by 1~AU coronagraphs. Such deformations may help explain the time-of-arrival errors in events where only coronagraph observations are available.


title: Structures in HOMFLY-PT homology

abstract: We study the structure of triply graded Khovanov-Rozansky homology using both the data recently computed by Nakagane and Sano for knots up to 11 crossings, and the $\mathfrak{sl}(2)$ action defined by the second author, Hogancamp and Mellit. In particular, we compute the HOMFLY-PT $S$-invariant for all knots in the dataset, and compare it to the $\mathfrak{sl}(N)$ concordance invariants.


title: Barbell-shaped giant radio galaxy with ~100 kpc kink in the jet

abstract: We present for the first time a study of peculiar giant radio galaxy (GRG) J223301+131502 using deep multi-frequency radio observations from GMRT (323, 612, and 1300 MHz) and LOFAR (144 MHz) along with optical spectroscopic observations with the WHT~4.2m optical telescope. Our observations have firmly established its redshift of 0.09956 and unveiled its exceptional jet structure extending more than $\sim$ 200 kpc leading to a peculiar kink structure of $\sim$ 100 kpc. We measure the overall size of this GRG to be $\sim$ 1.83 Mpc; it exhibits lobes without any prominent hotspots and closely resembles a barbell. Our deep low-frequency radio maps clearly reveal the steep-spectrum diffuse emission from the lobes of the GRG. The magnetic field strength of $\sim$ 5 $\mu$G and spectral ages between about 110 to 200 mega years for the radio lobes were estimated using radio data from LOFAR 144 MHz observations and GMRT 323 and 612 MHz observations. We discuss the possible causes leading to the formation of the observed kink feature for the GRG, which includes precession of the jet axis, development of instabilities and magnetic reconnection. Despite its enormous size, the Barbell GRG is found to be residing in a low-mass (M$_{200} \sim 10^{14}$ $\rm M_{\odot}$) galaxy cluster. This GRG with two-sided large-scale jets with a kink and diffuse outer lobes residing in a cluster environment provides an opportunity to explore the structure and growth of GRGs in different environments.


title: Overcoming I/O bottleneck in superconducting quantum computing: multiplexed qubit control with ultra-low-power, base-temperature cryo-CMOS multiplexer

abstract: Large-scale superconducting quantum computing systems entail high-fidelity control and readout of large numbers of qubits at millikelvin temperatures, resulting in a massive input-output bottleneck. Cryo-electronics, based on complementary metal-oxide-semiconductor (CMOS) technology, may offer a scalable and versatile solution to overcome this bottleneck. However, detrimental effects due to cross-coupling between the electronic and thermal noise generated during cryo-electronics operation and the qubits need to be avoided. Here we present an ultra-low power radio-frequency (RF) multiplexing cryo-electronics solution operating below 15 mK that allows for control and interfacing of superconducting qubits with minimal cross-coupling. We benchmark its performance by interfacing it with a superconducting qubit and observe that the qubit's relaxation times ($T_1$) are unaffected, while the coherence times ($T_2$) are only minimally affected in both static and dynamic operation. Using the multiplexer, single qubit gate fidelities above 99.9%, i.e., well above the threshold for surface-code based quantum error-correction, can be achieved with appropriate thermal filtering. In addition, we demonstrate the capability of time-division-multiplexed qubit control by dynamically windowing calibrated qubit control pulses. Our results show that cryo-CMOS multiplexers could be used to significantly reduce the wiring resources for large-scale qubit device characterization, large-scale quantum processor control and quantum error correction protocols.


title: Abundances and Transients from Neutron Star-White Dwarf Mergers

abstract: We systematically investigate the mergers of neutron star-white dwarf binaries from beginning to end, with focus on the properties of the inflows and outflows in accretion disks and their electromagnetic emissions. Using population synthesis models, we determine a subset of these binaries in which the white dwarf companion undergoes unstable mass transfer and complete tidal disruption, forming a large accretion disk around the neutron star. The material evolves according to an advection-dominated accretion disk model with nuclear burning, neutrino-emissions, and disk-surface wind ejection. The extreme dynamics of the entire process has proven difficult for analytic analysis, and thus currently the properties are poorly understood. The outflows from the mergers are iron- and nickel-rich, giving rise to optical and infrared emissions powered from the decay of the radioactive iron-type isotopes, calculated via the SuperNu light-curve code. We find these systems capable of powering bright, yet short-lived, optical transients with the potential to power gamma-ray bursts.


title: Compact and complete description of non-Markovian dynamics

abstract: Generalized master equations provide a theoretically rigorous framework to capture the dynamics of processes ranging from energy harvesting in plants and photovoltaic devices, to qubit decoherence in quantum technologies, and even protein folding. At their center is the concept of memory. The explicit time-nonlocal description of memory is both protracted and elaborate. When physical intuition is at a premium one would desire a more compact, yet complete, description. Here, we demonstrate how and when the time-convolutionless formalism constitutes such a description. In particular, by focusing on the dissipative dynamics of the spin-boson and Frenkel exciton models, we show how to: easily construct the time-local generator from reference reduced dynamics, elucidate the dependence of its existence on the system parameters and the choice of reduced observables, identify the physical origin of its apparent divergences, and offer analysis tools to diagnose their severity and circumvent their deleterious effects. We demonstrate that, when applicable, the time-local approach requires as little information as the more commonly used time-nonlocal scheme, with the important advantages of providing a more compact description, greater algorithmic simplicity, and physical interpretability. We conclude by introducing the discrete-time analogue and a straightforward protocol to employ it in cases where the reference dynamics have limited resolution. The insights we present here offer the potential for extending the reach of dynamical methods, reducing both their cost and conceptual complexity.


title: Quantum-Inspired Perfect Matching under Vertex-Color Constraints

abstract: We propose and study the graph-theoretical problem EXISTS-PMVC: the existence of perfect matching under vertex-color constraints on graphs with bi-colored edges. EXISTS-PMVC is of special interest because of its motivation from quantum-state identification and quantum-experiment design, as well as its rich expressiveness, i.e., EXISTS-PMVC naturally subsumes important constrained matching problems, such as exact perfect matching. We give complexity and algorithmic results for EXISTS-PMVC under two types of vertex color constraints: (1) decision-diagram constraints (EXISTS-PMVC-DD) and (2) symmetric constraints (EXISTS-PMVC-Sym). For EXISTS-PMVC-DD, we reveal its NP-hardness by a graph-gadget technique. We prove that EXISTS-PMVC-Sym with a bounded number of colors (EXISTS-PMVC-Sym-Bounded) is polynomially equivalent with Exact Perfect Matching (XPM), which implies that EXISTS-PMVC-Sym-Bounded is in RNC on general graphs and PTIME on planar graphs. Directly applying algorithms for XPM to solve EXISTS-PMVC-Sym-Bounded is, however, impractical. We propose algorithms that natively handle EXISTS-PMVC-Sym-Bounded with considerably better complexity. Our novel results for EXISTS-PMVC provide insights into both constrained matching and scalable quantum experiment design.

categories: cs.CC cs.DS math-ph math.CO math.MP quant-ph


title: EPIC-KITCHENS VISOR Benchmark: VIdeo Segmentations and Object Relations

abstract: We introduce VISOR, a new dataset of pixel annotations and a benchmark suite for segmenting hands and active objects in egocentric video. VISOR annotates videos from EPIC-KITCHENS, which comes with a new set of challenges not encountered in current video segmentation datasets. Specifically, we need to ensure both short- and long-term consistency of pixel-level annotations as objects undergo transformative interactions, e.g. an onion is peeled, diced and cooked - where we aim to obtain accurate pixel-level annotations of the peel, onion pieces, chopping board, knife, pan, as well as the acting hands. VISOR introduces an annotation pipeline, AI-powered in parts, for scalability and quality. In total, we publicly release 272K manual semantic masks of 257 object classes, 9.9M interpolated dense masks, 67K hand-object relations, covering 36 hours of 179 untrimmed videos. Along with the annotations, we introduce three challenges in video object segmentation, interaction understanding and long-term reasoning. For data, code and leaderboards: http://epic-kitchens.github.io/VISOR


title: Influence Optimization in Networks: New Formulations and Valid Inequalities

abstract: Influence propagation has been the subject of extensive study due to its important role in social networks, epidemiology, and many other areas. Understanding propagation mechanisms is critical to control the spread of fake news or epidemics. In this work, we study the problem of detecting the smallest group of users whose conversion achieves, through propagation, a certain influence level over the network, therefore giving valuable information on the propagation behavior in this network. We develop mixed integer programming algorithms to solve this problem. The core of our algorithm is based on new valid inequalities, cutting planes, and separation algorithms embedded into a branch-and-cut algorithm. We additionally introduce a compact formulation relying on fewer variables. Through extensive computational experiments, we observe that the proposed methods can optimally solve many previously-open benchmark instances, and otherwise achieve small optimality gaps. These experiments also provide various insights into the benefits of different mathematical formulations.


title: Optical Variability of the very Radio-Loud Narrow line Seyfert 1 galaxy, 1H 0323+342

abstract: 1H 0323+342 is optically one of the nearest and brightest very radio loud narrow line Seyfert 1 galaxies (vRL NLSy1). It is also one of the first vRLNLSy1s detected at gamma-ray energies by the Fermi-LAT. We report the results of monitoring the optical flux of 1H 0323+342 during more than six and a half years. In some cases, we, for the first time, simultaneously use two telescopes to monitor the optical flux of 1H 0323+342 on timescales ranging from minutes to hours, demonstrating the reality of low amplitude microvariability whole events with durations of a few hours for this object. Based on the present results, as well as those of earlier studies, we suggest that this represents a fundamental timescale associated with the underlying source region. We also present an enhancement of Howell's comparison star method for detecting microvariability.


title: Taking Quantitative Genomics into the Wild

abstract: A key goal in studies of ecology and evolution is understanding the causes of phenotypic diversity in nature. Most traits of interest, such as those relating to morphology, life-history, immunity and behaviour are quantitative, and phenotypic variation is driven by the cumulative effects of genetic and environmental variation. The field of quantitative genetics aims to quantify the additive genetic component of this trait variance (i.e. the "heritability"), often with the underlying assumption that trait variance is driven by many loci of infinitesimal effects throughout the genome. This approach allows us to understand the evolutionary potential of natural populations and can be extended to examine the genetic covariation with fitness to predict responses to selection. Therefore, quantitative genetic studies are fundamental to understanding evolution in the wild. Over the last two decades, there has been a wealth of studies investigating trait heritabilities and genetic correlations, but these were initially limited to long-term studies of pedigreed populations or common-garden experiments. However, genomic technologies have since allowed quantitative genetic studies in a more diverse range of wild systems and has increased the opportunities for addressing outstanding questions in ecology and evolution. In particular, genomic studies can uncover the genetic basis of fitness-related quantitative traits, allowing a better understanding of their evolutionary dynamics. We organised this special issue to highlight new work and review recent advances at the cutting edge of "Wild Quantitative Genomics". In this Editorial, we will present some history of wild quantitative genetic and genomic studies, before discussing the main themes in the papers published in this special issue and highlighting the future outlook of this dynamic field.


title: On the Su-Schrieffer-Heeger model of electron transport: low-temperature optical conductivity by the Mellin transform

abstract: We describe the low-temperature optical conductivity as a function of frequency for a quantum-mechanical system of electrons that hop along a polymer chain. To this end, we invoke the Su-Schrieffer-Heeger \emph{tight-binding} Hamiltonian for non-interacting spinless electrons on a one-dimensional (1D) lattice. Our goal is to show via asymptotics how the interband conductivity of this system behaves as the smallest energy bandgap tends to close. Our analytical approach includes: (i) the Kubo-type formulation for the optical conductivity with a nonzero damping due to microscopic collisions; (ii) reduction of this formulation to a 1D momentum integral over the Brillouin zone; and (iii) evaluation of this integral in terms of elementary functions via the three-dimensional Mellin transform with respect to key physical parameters and subsequent inversion in a region of the respective complex space. Our approach reveals an intimate connection of the behavior of the conductivity to particular singularities of its Mellin transform. The analytical results are found in good agreement with direct numerical computations.

categories: math-ph cond-mat.mes-hall math.MP quant-ph


title: Signs of environmental effects on star-forming galaxies in the Spiderweb protocluster at z=2.16

abstract: We use multi-object near-infrared (NIR) spectroscopy with VLT/KMOS to investigate the role of the environment in the evolution of the ionized gas properties of narrow-band selected H$\alpha$ emitters (HAEs) in the Spiderweb protocluster at $z=2.16$. Based on rest-frame optical emission lines, H$\alpha$ and [NII]$\lambda$6584, we confirm the cluster membership of 39 of our targets (i.e. 93% success rate), and measure their star-formation rates (SFR), gas-phase oxygen abundances and effective radius. We parametrize the environment where our targets reside by using local and global density indicators based on previous samples of spectroscopic and narrow-band cluster members. We find that star-forming galaxies embedded in the Spiderweb protocluster display SFRs compatible with those of the main sequence and morphologies comparable to those of late-type galaxies at $z=2.2$ in the field. We also report a mild gas-phase metallicity enhancement ($0.6\pm0.3$ dex) at intermediate stellar masses. Furthermore, we identify two UVJ-selected quiescent galaxies with residual H$\alpha$-based star formation and find signs of extreme dust obscuration in a small sample of SMGs based on their FIR and H$\alpha$ emission. Interestingly, the spatial distribution of these objects differs from the rest of HAEs, avoiding the protocluster core. Finally, we explore the gas fraction-gas metallicity diagram for 7 galaxies with molecular gas masses measured by ATCA using CO(1-0). In the context of the gas-regulator model, our objects are consistent with relatively low mass-loading factors, suggesting lower outflow activity than field samples at the cosmic noon and thus, hinting at the onset of environmental effects in this massive protocluster.


title: Stacking dependent ferroelectricity and antiferroelectricity in quasi-one-dimensional oxyhalides NbO$X_3$

abstract: Low-dimensional ferroelectricity and polar materials have attracted considerable attentions for their fascinating physics and potential applications. Based on first-principles calculations, here we investigate the stacking modes and polar properties of a typical series of quasi-one-dimensional ferroelectrics: double-chain oxyhalides NbO$X_3$ ($X$=Cl, Br, I). The geometry of their double-chains allows both the interchain/intrachain permutation. Thus, different stacking modes of double-chains lead to a variety of ferroelectric and antiferroelectric phases in both the tetragonal and monoclinic crystals. The proximate energies of these phases may lead to multiphase coexistence in real materials, as well as the hydrostatic pressure driving structural phase transition. Their spontaneous polarizations and piezoelectricity of the ferroelectric phases are prominent, comparable to commercially used ferroelectric BaTiO$_3$ and piezoelectric ZnO, respectively. Our work demonstrates that the van der Waals NbO$X_3$ are promising materials for exploring quasi-one-dimensional ferroelectricity and antiferroelectricity.


title: Diversified Dynamic Routing for Vision Tasks

abstract: Deep learning models for vision tasks are trained on large datasets under the assumption that there exists a universal representation that can be used to make predictions for all samples. Whereas high complexity models are proven to be capable of learning such representations, a mixture of experts trained on specific subsets of the data can infer the labels more efficiently. However using mixture of experts poses two new problems, namely (i) assigning the correct expert at inference time when a new unseen sample is presented. (ii) Finding the optimal partitioning of the training data, such that the experts rely the least on common features. In Dynamic Routing (DR) a novel architecture is proposed where each layer is composed of a set of experts, however without addressing the two challenges we demonstrate that the model reverts to using the same subset of experts. In our method, Diversified Dynamic Routing (DivDR) the model is explicitly trained to solve the challenge of finding relevant partitioning of the data and assigning the correct experts in an unsupervised approach. We conduct several experiments on semantic segmentation on Cityscapes and object detection and instance segmentation on MS-COCO showing improved performance over several baselines.


title: General multiple Dirichlet series from perverse sheaves

abstract: We give an axiomatic characterization of multiple Dirichlet series over the function field $\mathbb F_q(T)$, generalizing a set of axioms given by Diaconu and Pasol. The key axiom, relating the coefficients at prime powers to sums of the coefficients, formalizes an observation of Chinta. The existence of multiple Dirichlet series satisfying these axioms is proved by exhibiting the coefficients as trace functions of explicit perverse sheaves and using properties of perverse sheaves. The multiple Dirichlet series defined this way include, as special cases, many that have appeared previously in the literature.


title: Preprint: Privacy-preserving IoT Data Sharing Scheme

abstract: Data sharing can be granted using different factors one of which is something in a users or an IoT devices environment which is in this paper broadcast signals. Using broadcast signals to measure Received Signal Strength Indicator values and Machine Learning models this paper implements an IoT data sharing scheme based on something that is in an IoT devices environment. The proposed scheme is experimentally tested using different ML models and shows 97.78 percent as its highest accuracy.


title: Euclid preparation: XXII. Selection of Quiescent Galaxies from Mock Photometry using Machine Learning

abstract: The Euclid Space Telescope will provide deep imaging at optical and near-infrared wavelengths, along with slitless near-infrared spectroscopy, across ~15,000 sq deg of the sky. Euclid is expected to detect ~12 billion astronomical sources, facilitating new insights into cosmology, galaxy evolution, and various other topics. To optimally exploit the expected very large data set, there is the need to develop appropriate methods and software. Here we present a novel machine-learning based methodology for selection of quiescent galaxies using broad-band Euclid I_E, Y_E, J_E, H_E photometry, in combination with multiwavelength photometry from other surveys. The ARIADNE pipeline uses meta-learning to fuse decision-tree ensembles, nearest-neighbours, and deep-learning methods into a single classifier that yields significantly higher accuracy than any of the individual learning methods separately. The pipeline has `sparsity-awareness', so that missing photometry values are still informative for the classification. Our pipeline derives photometric redshifts for galaxies selected as quiescent, aided by the `pseudo-labelling' semi-supervised method. After application of the outlier filter, our pipeline achieves a normalized mean absolute deviation of ~< 0.03 and a fraction of catastrophic outliers of ~< 0.02 when measured against the COSMOS2015 photometric redshifts. We apply our classification pipeline to mock galaxy photometry catalogues corresponding to three main scenarios: (i) Euclid Deep Survey with ancillary ugriz, WISE, and radio data; (ii) Euclid Wide Survey with ancillary ugriz, WISE, and radio data; (iii) Euclid Wide Survey only. Our classification pipeline outperforms UVJ selection, in addition to the Euclid I_E-Y_E, J_E-H_E and u-I_E,I_E-J_E colour-colour methods, with improvements in completeness and the F1-score of up to a factor of 2. (Abridged)


title: Off-policy estimation of linear functionals: Non-asymptotic theory for semi-parametric efficiency

abstract: The problem of estimating a linear functional based on observational data is canonical in both the causal inference and bandit literatures. We analyze a broad class of two-stage procedures that first estimate the treatment effect function, and then use this quantity to estimate the linear functional. We prove non-asymptotic upper bounds on the mean-squared error of such procedures: these bounds reveal that in order to obtain non-asymptotically optimal procedures, the error in estimating the treatment effect should be minimized in a certain weighted $L^2$-norm. We analyze a two-stage procedure based on constrained regression in this weighted norm, and establish its instance-dependent optimality in finite samples via matching non-asymptotic local minimax lower bounds. These results show that the optimal non-asymptotic risk, in addition to depending on the asymptotically efficient variance, depends on the weighted norm distance between the true outcome function and its approximation by the richest function class supported by the sample size.


title: Flux-periodic oscillations in proximitized core-shell nanowires

abstract: Flux-periodic oscillations of the superconducting gap in proximitized core-shell nanowires are explored. Periodicity of oscillations in the energy spectrum of a cylindrical nanowire is compared with nanowires having hexagonal and square cross-section geometry, along with the effects of Zeeman and Rashba spin-orbit interaction. A transition between h/e and h/2e periodicity is found and shown to be dependent on the chemical potential, with correspondence to degeneracy points of the angular momentum quantum number. For a thin shell of a square nanowire, solely h/e periodicity is found in the infinite wire spectrum and shown to result from energy separation between the lowest groups of excited states.


title: Accelerating the Genetic Algorithm for Large-scale Traveling Salesman Problems by Cooperative Coevolutionary Pointer Network with Reinforcement Learning

abstract: In this paper, we propose a two-stage optimization strategy for solving the Large-scale Traveling Salesman Problems (LSTSPs) named CCPNRL-GA. First, we hypothesize that the participation of a well-performed individual as an elite can accelerate the convergence of optimization. Based on this hypothesis, in the first stage, we cluster the cities and decompose the LSTSPs into multiple subcomponents, and each subcomponent is optimized with a reusable Pointer Network (PtrNet). After subcomponents optimization, we combine all sub-tours to form a valid solution, this solution joins the second stage of optimization with GA. We validate the performance of our proposal on 10 LSTSPs and compare it with traditional EAs. Experimental results show that the participation of an elite individual can greatly accelerate the optimization of LSTSPs, and our proposal has broad prospects for dealing with LSTSPs.


title: Estimate of a nonflow baseline for the chiral magnetic effect in isobar collisions at RHIC

abstract: Recently, STAR reported the isobar (${^{96}_{44}\text{Ru}}+{^{96}_{44}\text{Ru}}$, ${^{96}_{40}\text{Zr}}+{^{96}_{40}\text{Zr}}$) results for the chiral magnetic effect (CME) search. The Ru+Ru to Zr+Zr ratio of the CME-sensitive observable $\Delta\gamma$, normalized by elliptic anisotropy ($v_{2}$), is observed to be close to the inverse multiplicity ($N$) ratio. In other words, the ratio of the $N\Delta\gamma/v_{2}$ observable is close to the naive background baseline of unity. However, nonflow correlations are expected to cause the baseline to deviate from unity. To further understand the isobar results, we decompose the nonflow contributions to $N\Delta\gamma / v_{2}$ (isobar ratio) into three terms and quantify each term by using the nonflow in $v_{2}$ measurement, published STAR data, and HIJING simulation. From these studies, we estimate a nonflow baseline of the isobar ratio of $N \Delta\gamma / v_{2}$ for the CME and discuss its implications.


title: On Three-Valued Modal Logics: from a Four-Valued Perspective

abstract: This paper aims at providing a comprehensive solution to the archaic open problem: how to define semantics of three-valued modal logic with vivid intuitive picture, convincing philosophical justification as well as versatile practical usage. Based on an existing line of work concerned with investigating three-valued logic out of innovative angles of view, we adopt a detour approach to interpret three-valued logic from a four-valued perspective, which results in the invention of an universal and systematic methodology for developing, explaining as well as utilizing three-valued modal logic. We illustrate our method through two concrete cases, one deontic and another epistemic, for both of which a sound and strongly complete natural deduction proof system is also presented in detail. We perceive our three-valued modal logic as a lightweight candidate to merge deontic or epistemic notion into temporal logic, without heavier burden of multiple modalities.


title: FedStack: Personalized activity monitoring using stacked federated learning

abstract: Recent advances in remote patient monitoring (RPM) systems can recognize various human activities to measure vital signs, including subtle motions from superficial vessels. There is a growing interest in applying artificial intelligence (AI) to this area of healthcare by addressing known limitations and challenges such as predicting and classifying vital signs and physical movements, which are considered crucial tasks. Federated learning is a relatively new AI technique designed to enhance data privacy by decentralizing traditional machine learning modeling. However, traditional federated learning requires identical architectural models to be trained across the local clients and global servers. This limits global model architecture due to the lack of local models heterogeneity. To overcome this, a novel federated learning architecture, FedStack, which supports ensembling heterogeneous architectural client models was proposed in this study. This work offers a protected privacy system for hospitalized in-patients in a decentralized approach and identifies optimum sensor placement. The proposed architecture was applied to a mobile health sensor benchmark dataset from 10 different subjects to classify 12 routine activities. Three AI models, ANN, CNN, and Bi-LSTM were trained on individual subject data. The federated learning architecture was applied to these models to build local and global models capable of state of the art performances. The local CNN model outperformed ANN and Bi-LSTM models on each subject data. Our proposed work has demonstrated better performance for heterogeneous stacking of the local models compared to homogeneous stacking. This work sets the stage to build an enhanced RPM system that incorporates client privacy to assist with clinical observations for patients in an acute mental health facility and ultimately help to prevent unexpected death.


title: Functional Encryption with Secure Key Leasing

abstract: Secure software leasing is a quantum cryptographic primitive that enables us to lease software to a user by encoding it into a quantum state. Secure software leasing has a mechanism that verifies whether a returned software is valid or not. The security notion guarantees that once a user returns a software in a valid form, the user no longer uses the software. In this work, we introduce the notion of secret-key functional encryption (SKFE) with secure key leasing, where a decryption key can be securely leased in the sense of secure software leasing. We also instantiate it with standard cryptographic assumptions. More specifically, our contribution is as follows. - We define the syntax and security definitions for SKFE with secure key leasing. - We achieve a transformation from standard SKFE into SKFE with secure key leasing without using additional assumptions. Especially, we obtain bounded collusion-resistant SKFE for P/poly with secure key leasing based on post-quantum one-way functions since we can instantiate bounded collusion-resistant SKFE for P/poly with the assumption. Some previous secure software leasing schemes capture only pirate software that runs on an honest evaluation algorithm (on a legitimate platform). However, our secure key leasing notion captures arbitrary attack strategies and does not have such a limitation. We also introduce the notion of single-decryptor FE (SDFE), where each functional decryption key is copy-protected. Since copy-protection is a stronger primitive than secure software leasing, this notion can be seen as a stronger cryptographic primitive than FE with secure key leasing. More specifically: - We define the syntax and security definitions for SDFE. - We achieve collusion-resistant single-decryptor PKFE for P/poly from post-quantum indistinguishability obfuscation and quantum hardness of the learning with errors problem.


title: Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics

abstract: This paper establishes a dual theory about knowledge and argumentation. Our idea is rooted at both epistemic logic and argumentation theory, and we aim to merge these two fields, not just in a superficial way but to thoroughly disclose the intrinsic relevance between knowledge and argumentation. Specifically, we define epistemic Kripke models and argument Kripke models as a dual pair, and then work out a two-way generation method between these two types of Kripke models. Such generation is rigorously justified by a duality theorem on modal formulae's invariance. We also provide realistic examples to demonstrate our generation, through which our framework's practical utility gets strongly advocated. We finally propose a philosophical thesis that knowledge is essentially dynamic, and we draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power".


title: Why neural networks find simple solutions: the many regularizers of geometric complexity

abstract: In many contexts, simpler models are preferable to more complex models and the control of this model complexity is the goal for many methods in machine learning such as regularization, hyperparameter tuning and architecture design. In deep learning, it has been difficult to understand the underlying mechanisms of complexity control, since many traditional measures are not naturally suitable for deep neural networks. Here we develop the notion of geometric complexity, which is a measure of the variability of the model function, computed using a discrete Dirichlet energy. Using a combination of theoretical arguments and empirical results, we show that many common training heuristics such as parameter norm regularization, spectral norm regularization, flatness regularization, implicit gradient regularization, noise regularization and the choice of parameter initialization all act to control geometric complexity, providing a unifying framework in which to characterize the behavior of deep learning models.


title: Measurement of the Electron Magnetic Moment

abstract: The electron magnetic moment,$-\mu/\mu_B = g/2 = 1.001 \, 159 \, 652 \, 180 \, 59 \, (13) \, [0.13\, \rm{ppt}]$, is determined 2.2 times more accurately than the value that stood for 14 years. The most precisely determined property of an elementary particle tests the most precise prediction of the Standard Model (SM) to $1$ part in $10^{12}$. The test would improve an order of magnitude if the uncertainty from discrepant measurements of the fine structure constant $\alpha$ is eliminated since the SM prediction is a function of $\alpha$. The new measurement and SM theory together predict $\alpha^{-1}=137.035 \, 999 \, 166 \, (15) \, [0.11 \, \rm{ppb}]$ with an uncertainty ten times smaller than the current disagreement between measured $\alpha$ values.


title: Defining and Characterizing Reward Hacking

abstract: We provide the first formal definition of reward hacking, a phenomenon where optimizing an imperfect proxy reward function, $\mathcal{\tilde{R}}$, leads to poor performance according to the true reward function, $\mathcal{R}$. We say that a proxy is unhackable if increasing the expected proxy return can never decrease the expected true return. Intuitively, it might be possible to create an unhackable proxy by leaving some terms out of the reward function (making it "narrower") or overlooking fine-grained distinctions between roughly equivalent outcomes, but we show this is usually not the case. A key insight is that the linearity of reward (in state-action visit counts) makes unhackability a very strong condition. In particular, for the set of all stochastic policies, two reward functions can only be unhackable if one of them is constant. We thus turn our attention to deterministic policies and finite sets of stochastic policies, where non-trivial unhackable pairs always exist, and establish necessary and sufficient conditions for the existence of simplifications, an important special case of unhackability. Our results reveal a tension between using reward functions to specify narrow tasks and aligning AI systems with human values.


title: Magnetic Field Independent SERF Magnetometer

abstract: SERF magnetometers based on dense ensembles of alkali-metal spins are precision quantum sensors that hold the record of measured and projected sensitivity to magnetic fields, in the $\mu\textrm{G}-m\textrm{G}$ range. At geomagnetic fields however, these sensors quickly lose their magnetic sensitivity due to spin decoherence by random spin-exchange collisions. Here we discover that atoms with nuclear spin $I=1/2$ can operate in the Spin-Exchange Relaxation Free (SERF) regime but for any magnitude of the magnetic field. We counter-intuitively show that frequent collisions between a dense and optically-inaccessible $(I=1/2)$ gas with another optically-accessible spin gas ($I>1/2$) improve the fundamental magnetic sensitivity of the latter. We analyze the performance of a dual-specie potassium and atomic hydrogen magnetometer, and project a fundamental sensitivity of about $10\,\mathrm{aT}\sqrt{\mathrm{cm}^3/\mathrm{Hz}}$ at geomagnetic fields for feasible experimental conditions.


title: Several improved adaptive mapped weighted essentially non-oscillatory scheme for hyperbolic conservation law

abstract: The decisive factor for the calculation accuracy of the mapped weighted essentially non-oscillatory scheme is the width of the center region of the mapping function. Through analysis of the classical mapped WENO schemes, the results show the width of the central range of the mapping function determined by the local operator in its denominator. Substituting the local operator in WENO-AIM with a symmetric one and an asymmetric function, we get two new adaptive mapped WENO schemes, WENO-AIMS and WENO-AIMA. Similarly, we improve WENO-RM260 and WENO-PM6 by using these local operators, and composed adaptive WENO-RM260 and adaptive WENO-PM6. Theoretical and numerical results show the present adaptive mapped WENO schemes composed in this paper perform better than WENO-AIM, WENO-RM260, and WENO-PM6 for one- and two-dimensional problems.


title: A Localization Method of High Energy Transients for All-Sky Gamma-Ray Monitor

abstract: Fast and reliable localization of high-energy transients is crucial for characterizing the burst properties and guiding the follow-up observations. Localization based on the relative counts of different detectors has been widely used for all-sky gamma-ray monitors. There are two major methods for this counts distribution localization: $\chi^{2}$ minimization method and the Bayesian method. Here we propose a modified Bayesian method that could take advantage of both the accuracy of the Bayesian method and the simplicity of the $\chi^{2}$ method. With comprehensive simulations, we find that our Bayesian method with Poisson likelihood is generally more applicable for various bursts than $\chi^{2}$ method, especially for weak bursts. We further proposed a location-spectrum iteration approach based on the Bayesian inference, which could alleviate the problems caused by the spectral difference between the burst and location templates. Our method is very suitable for scenarios with limited computation resources or time-sensitive applications, such as in-flight localization software, and low-latency localization for rapid follow-up observations.


title: A low-inclination neutral Trans-Neptunian Object in a extreme orbit

abstract: We present photometric observations and numerical simulations of 2016 SD$_{106}$, a low inclination ($i=4.8^{\circ}$) extreme trans-Neptunian Object with a large semi-major axis ($a=350$ au) and perihelion ($q= 42.6$ au). This object possesses a peculiar neutral color of $g-r = 0.45\pm0.05$ and $g-i=0.72\pm0.06$, in comparison with other distant trans-Neptunian objects, all of which have moderate-red to ultra-red colors. A numerical integration based on orbital fitting on astrometric data covering eight years of arc confirms that 2016 SD$_{106}$ is a metastable object without significant scattering evolution. Each of the clones survived at the end of the 1 Gyr simulation. However, very few neutral objects with inclinations $<5^{\circ}$ have been found in the outer solar system, even in the main Kuiper belt. Furthermore, most mechanisms which lift perihelion distances are expected to produce a very low number of extreme objects with inclinations $<5^{\circ}$. We thus explored the possibility that a hypothetical distant planet could increase the production of such objects. Our simulations show that no 2016 SD$_{106}$-like orbits can be produced from three Kuiper belt populations tested (i.e. plutinos, twotinos, and Haumea Family) without the presence of an hypothetical planet, while a few similar orbits can be obtained with it; however, the presence of the additional planet produces a wide range of large semimajor-axis / large perihelion objects, in apparent contradiction with the observed scarcity of objects in those regions of phase space. Future studies may determine if there is a connection between the existence of a perihelion gap and a particular orbital configuration of an hypothetical distant planet.


title: EEG-based Image Feature Extraction for Visual Classification using Deep Learning

abstract: While capable of segregating visual data, humans take time to examine a single piece, let alone thousands or millions of samples. The deep learning models efficiently process sizeable information with the help of modern-day computing. However, their questionable decision-making process has raised considerable concerns. Recent studies have identified a new approach to extract image features from EEG signals and combine them with standard image features. These approaches make deep learning models more interpretable and also enables faster converging of models with fewer samples. Inspired by recent studies, we developed an efficient way of encoding EEG signals as images to facilitate a more subtle understanding of brain signals with deep learning models. Using two variations in such encoding methods, we classified the encoded EEG signals corresponding to 39 image classes with a benchmark accuracy of 70% on the layered dataset of six subjects, which is significantly higher than the existing work. Our image classification approach with combined EEG features achieved an accuracy of 82% compared to the slightly better accuracy of a pure deep learning approach; nevertheless, it demonstrates the viability of the theory.


title: WaterNeRF: Neural Radiance Fields for Underwater Scenes

abstract: Underwater imaging is a critical task performed by marine robots for a wide range of applications including aquaculture, marine infrastructure inspection, and environmental monitoring. However, water column effects, such as attenuation and backscattering, drastically change the color and quality of imagery captured underwater. Due to varying water conditions and range-dependency of these effects, restoring underwater imagery is a challenging problem. This impacts downstream perception tasks including depth estimation and 3D reconstruction. In this paper, we advance state-of-the-art in neural radiance fields (NeRFs) to enable physics-informed dense depth estimation and color correction. Our proposed method, WaterNeRF, estimates parameters of a physics-based model for underwater image formation, leading to a hybrid data-driven and model-based solution. After determining the scene structure and radiance field, we can produce novel views of degraded as well as corrected underwater images, along with dense depth of the scene. We evaluate the proposed method qualitatively and quantitatively on a real underwater dataset.


title: D-ITAGS: A Dynamic Interleaved Approach to Resilient Task Allocation, Scheduling, and Motion Planning

abstract: Complex, multi-objective missions require the coordination of heterogeneous robots at multiple inter-connected levels, such as coalition formation, scheduling, and motion planning. This challenge is exacerbated by dynamic changes, such as sensor and actuator failures, communication loss, and unexpected delays. We introduce Dynamic Iterative Task Allocation Graph Search (D-ITAGS) to \textit{simultaneously} address coalition formation, scheduling, and motion planning in dynamic settings involving heterogeneous teams. D-ITAGS achieves resilience via two key characteristics: i) interleaved execution, and ii) targeted repair. \textit{Interleaved execution} enables an effective search for solutions at each layer while avoiding incompatibility with other layers. \textit{Targeted repair} identifies and repairs parts of the existing solution impacted by a given disruption, while conserving the rest. In addition to algorithmic contributions, we provide theoretical insights into the inherent trade-off between time and resource optimality in these settings and derive meaningful bounds on schedule suboptimality. Our experiments reveal that i) D-ITAGS is significantly faster than recomputation from scratch in dynamic settings, with little to no loss in solution quality, and ii) the theoretical suboptimality bounds consistently hold in practice.


title: Top partners and scalar dark matter -- a non-minimal reappraisal

abstract: A large set of models beyond the Standard Model of particle physics suggest that the top quark plays a special role in fundamental interactions. At the same time some of these models predict that a particle responsible for dark matter is present in the physical spectrum of the theory, and in particular cases dark matter may be specially linked to the top sector. Such a new physics configuration occurs, for instance, in composite frameworks that additionally feature vector-like quarks as mediators of the interactions of the dark matter with the Standard Model. We investigate the interplay of top-philic dark matter and the presence of several vector-like top partners. Such a non-minimal setup with several vector-like fermions is typical of composite scenarios, and we make use of an effective model to study to which extent such non-minimality modifies the collider and cosmological phenomenology of the minimal model, the latter only including one vector-like mediator of the dark matter interactions with the Standard Model.


title: Efficient Noise Filtration of Images by Low-Rank Singular Vector Approximations of Geodesics' Gramian Matrix

abstract: Modern society is interested in capturing high-resolution and fine-quality images due to the surge of sophisticated cameras. However, the noise contamination in the images not only inferior people's expectations but also conversely affects the subsequent processes if such images are utilized in computer vision tasks such as remote sensing, object tracking, etc. Even though noise filtration plays an essential role, real-time processing of a high-resolution image is limited by the hardware limitations of the image-capturing instruments. Geodesic Gramian Denoising (GGD) is a manifold-based noise filtering method that we introduced in our past research which utilizes a few prominent singular vectors of the geodesics' Gramian matrix for the noise filtering process. The applicability of GDD is limited as it encounters $\mathcal{O}(n^6)$ when denoising a given image of size $n\times n$ since GGD computes the prominent singular vectors of a $n^2 \times n^2$ data matrix that is implemented by singular value decomposition (SVD). In this research, we increase the efficiency of our GGD framework by replacing its SVD step with four diverse singular vector approximation techniques. Here, we compare both the computational time and the noise filtering performance between the four techniques integrated into GGD.


title: Resilient Distributed Optimization

abstract: This paper considers a distributed optimization problem in the presence of Byzantine agents capable of introducing untrustworthy information into the communication network. A resilient distributed subgradient algorithm is proposed based on graph redundancy and objective redundancy. It is shown that the algorithm causes all non-Byzantine agents' states to asymptotically converge to the same optimal point under appropriate assumptions. A partial convergence rate result is also provided.


title: BayesNetCNN: incorporating uncertainty in neural networks for image-based classification tasks

abstract: The willingness to trust predictions formulated by automatic algorithms is key in a vast number of domains. However, a vast number of deep architectures are only able to formulate predictions without an associated uncertainty. In this paper, we propose a method to convert a standard neural network into a Bayesian neural network and estimate the variability of predictions by sampling different networks similar to the original one at each forward pass. We couple our methods with a tunable rejection-based approach that employs only the fraction of the dataset that the model is able to classify with an uncertainty below a user-set threshold. We test our model in a large cohort of brain images from Alzheimer's Disease patients, where we tackle discrimination of patients from healthy controls based on morphometric images only. We demonstrate how combining the estimated uncertainty with a rejection-based approach increases classification accuracy from 0.86 to 0.95 while retaining 75% of the test set. In addition, the model can select cases to be recommended for manual evaluation based on excessive uncertainty. We believe that being able to estimate the uncertainty of a prediction, along with tools that can modulate the behavior of the network to a degree of confidence that the user is informed about (and comfortable with) can represent a crucial step in the direction of user compliance and easier integration of deep learning tools into everyday tasks currently performed by human operators.


title: HAT: Head-Worn Assistive Teleoperation of Mobile Manipulators

abstract: Mobile manipulators in the home can provide increased autonomy to individuals with severe motor impairments, who often cannot complete activities of daily living (ADLs) without the help of a caregiver. Teleoperation of an assistive mobile manipulator could enable an individual with motor impairments to independently perform self-care and household tasks, yet limited motor function can impede one's ability to interface with a robot. In this work, we present a unique inertial-based wearable assistive interface, embedded in a familiar head-worn garment, for individuals with severe motor impairments to teleoperate and perform physical tasks with a mobile manipulator. We evaluate this wearable interface with both able-bodied (N = 16) and individuals with motor impairments (N = 2) for performing ADLs and everyday household tasks. Our results show that the wearable interface enabled participants to complete physical tasks with low error rates, high perceived ease of use, and low workload measures. Overall, this inertial-based wearable serves as a new assistive interface option for control of mobile manipulators in the home.


title: Controlling mean exit time of stochastic dynamical systems based on quasipotential and machine learning

abstract: The mean exit time escaping basin of attraction in the presence of white noise is of practical importance in various scientific fields. In this work, we propose a strategy to control mean exit time of general stochastic dynamical systems to achieve a desired value based on the quasipotential concept and machine learning. Specifically, we develop a neural network architecture to compute the global quasipotential function. Then we design a systematic iterated numerical algorithm to calculate the controller for a given mean exit time. Moreover, we identify the most probable path between metastable attractors with help of the effective Hamilton-Jacobi scheme and the trained neural network. Numerical experiments demonstrate that our control strategy is effective and sufficiently accurate.


title: Bayesian Mechanism Design for Blockchain Transaction Fee Allocation

abstract: In blockchain systems, the design of transaction fee mechanisms is essential for stability and satisfaction for both miners and users. A recent work has proven the impossibility of collusion-proof mechanisms that achieve both non-zero miner revenue and Dominating-Strategy-Incentive-Compatible (DSIC) for users. However, a positive miner revenue is important in practice to motivate miners. To address this challenge, we consider a Bayesian game setting and relax the DSIC requirement for users to Bayesian-Nash-Incentive-Compatibility (BNIC). In particular, we propose an auxiliary mechanism method that makes connections between BNIC and DSIC mechanisms. With the auxiliary mechanism method, we design a transaction fee mechanism (TFM) based on the multinomial logit (MNL) choice model, and prove that the TFM has both BNIC and collusion-proof properties with an asymptotic constant-factor approximation of optimal miner revenue for i.i.d. bounded valuations. Our result breaks the zero-revenue barrier while preserving truthfulness and collusion-proof properties.


title: Gain without Pain: Recycling Reflected Energy from Wireless Powered RIS-aided Communications

abstract: In this paper, we investigate and analyze energy recycling for a reconfigurable intelligent surface (RIS)-aided wireless-powered communication network. As opposed to the existing works where the energy harvested by Internet of things (IoT) devices only come from the power station, IoT devices are also allowed to recycle energy from other IoT devices. In particular, we propose group switching- and user switching-based protocols with time-division multiple access to evaluate the impact of energy recycling on system performance. Two different optimization problems are respectively formulated for maximizing the sum throughput by jointly optimizing the energy beamforming vectors, the transmit power, the transmission time, the receive beamforming vectors, the grouping factors, and the phase-shift matrices, where the constraints of the minimum throughput, the harvested energy, the maximum transmit power, the phase shift, the grouping, and the time allocation are taken into account. In light of the intractability of the above problems, we respectively develop two alternating optimization-based iterative algorithms by combining the successive convex approximation method and the penalty-based method to obtain corresponding sub-optimal solutions. Simulation results verify that the energy recycling-based mechanism can assist in enhancing the performance of IoT devices in terms of energy harvesting and information transmission. Besides, we also verify that the group switching-based algorithm can improve more sum throughput of IoT devices, and the user switching-based algorithm can harvest more energy.


title: WikiDes: A Wikipedia-Based Dataset for Generating Short Descriptions from Paragraphs

abstract: As free online encyclopedias with massive volumes of content, Wikipedia and Wikidata are key to many Natural Language Processing (NLP) tasks, such as information retrieval, knowledge base building, machine translation, text classification, and text summarization. In this paper, we introduce WikiDes, a novel dataset to generate short descriptions of Wikipedia articles for the problem of text summarization. The dataset consists of over 80k English samples on 6987 topics. We set up a two-phase summarization method - description generation (Phase I) and candidate ranking (Phase II) - as a strong approach that relies on transfer and contrastive learning. For description generation, T5 and BART show their superiority compared to other small-scale pre-trained models. By applying contrastive learning with the diverse input from beam search, the metric fusion-based ranking models outperform the direct description generation models significantly up to 22 ROUGE in topic-exclusive split and topic-independent split. Furthermore, the outcome descriptions in Phase II are supported by human evaluation in over 45.33% chosen compared to 23.66% in Phase I against the gold descriptions. In the aspect of sentiment analysis, the generated descriptions cannot effectively capture all sentiment polarities from paragraphs while doing this task better from the gold descriptions. The automatic generation of new descriptions reduces the human efforts in creating them and enriches Wikidata-based knowledge graphs. Our paper shows a practical impact on Wikipedia and Wikidata since there are thousands of missing descriptions. Finally, we expect WikiDes to be a useful dataset for related works in capturing salient information from short paragraphs. The curated dataset is publicly available at: https://github.com/declare-lab/WikiDes.


title: Discount Puzzle Of Closed-End Mutual Funds: A Case Of Bangladesh

abstract: The paper intends to perform a relevant study on the closed-end fund puzzle in the perspective of an emerging market. Quarterly data of 36 closed-end mutual funds traded in Dhaka Stock Exchange are collected over the sample period of 2016 to 2019. Dependent and independent variables are mapped down by exploring previous researches. Weight of top 10 investments, fund size, fund age, fund maturity, turnover and dividend yield are taken as explanatory variable to analyze the impact on CEF discount. A fixed effects panel regression is performed on the data set with few diagnostic tests to ensure the reliability of the analysis conducted. The results show that, the variable fund size and fund maturity have a significant positive and turnover has a significant negative impact on CEF discount while the impact of weight of top 10 investments, dividend yield and fund age are found insignificant.


title: A Review: Random Walk in Graph Sampling

abstract: Graph sampling is a technique to pick a subset of vertices and/ or edges from original graph. Among various graph sampling approaches, Traversal Based Sampling (TBS) are widely used due to low cost and feasibility for many cases, in which Simple Random Walk (SRW) and its variants share a large proportion in TBS. We illustrate the foundation SRW and presents the problems of SRW. Based on the problems, we provide a taxonomy of different Random Walk (RW) based graph sampling methods and give an insight to the reason why and how they revise SRW. our summary includes classical methods and state-of-art RW-based methods. There are 3 ways to propose new algorithms based on SRW, including SRW and its combinations, modified selection mechanisms, and the graph topology modification. We explained the ideas behind those algorithms, and present detailed pseudo codes. In addition, we add the mathematics behind random walk, and the essence of random walk variants, which is not mentioned in detail in many research papers and literature reviews. Apart from RW-based methods, SRW also has related with the non-RW and non-TBS methods, we discuss the relationships between SRW and non-RW methods, and the relationships between SRW and non-TBS methods. The relations between these approaches are formally argued and a general framework to bridge theoretical analysis and practical implementation is provided.


title: A Neural Network Approach for Stochastic Optimal Control

abstract: We present a neural network approach for approximating the value function of high-dimensional stochastic control problems. Our training process simultaneously updates our value function estimate and identifies the part of the state space likely to be visited by optimal trajectories. Our approach leverages insights from optimal control theory and the fundamental relation between semi-linear parabolic partial differential equations and forward-backward stochastic differential equations. To focus the sampling on relevant states during neural network training, we use the stochastic Pontryagin maximum principle (PMP) to obtain the optimal controls for the current value function estimate. By design, our approach coincides with the method of characteristics for the non-viscous Hamilton-Jacobi-Bellman equation arising in deterministic control problems. Our training loss consists of a weighted sum of the objective functional of the control problem and penalty terms that enforce the HJB equations along the sampled trajectories. Importantly, training is unsupervised in that it does not require solutions of the control problem. Our numerical experiments highlight our scheme's ability to identify the relevant parts of the state space and produce meaningful value estimates. Using a two-dimensional model problem, we demonstrate the importance of the stochastic PMP to inform the sampling and compare to a finite element approach. With a nonlinear control affine quadcopter example, we illustrate that our approach can handle complicated dynamics. For a 100-dimensional benchmark problem, we demonstrate that our approach improves accuracy and time-to-solution and, via a modification, we show the wider applicability of our scheme.


title: Large-Scale Numerical-Diagonalization Study of the Shastry-Sutherland Model

abstract: The $S=1/2$ Heisenberg antiferromagnet on the orthogonal-dimer lattice (Shastry-Sutherland model) is studied by the Lanczos diagonalization method. The properties of this model are determined by the ratio of two interactions, namely, $r=J_2/J_1$, where $J_1$ denotes the amplitude of spin interactions at orthogonal dimers and the interactions represented by $J_2$ form the square lattice. We focus our attention on the edge of the phase in which the dimer state is realized as the exact ground state. Our large-scale calculations of diagonalizations treating finite-size clusters including 44 and 48 spin sites successfully detect the target edge. Our conclusion is that the ratio for the edge is $r= 0.6754(2)$. This estimate is compared with an experimental result from electron spin resonance measurements.


title: Simultaneous Acquisition of High Quality RGB Image and Polarization Information using a Sparse Polarization Sensor

abstract: This paper proposes a novel polarization sensor structure and network architecture to obtain a high-quality RGB image and polarization information. Conventional polarization sensors can simultaneously acquire RGB images and polarization information, but the polarizers on the sensor degrade the quality of the RGB images. There is a trade-off between the quality of the RGB image and polarization information as fewer polarization pixels reduce the degradation of the RGB image but decrease the resolution of polarization information. Therefore, we propose an approach that resolves the trade-off by sparsely arranging polarization pixels on the sensor and compensating for low-resolution polarization information with higher resolution using the RGB image as a guide. Our proposed network architecture consists of an RGB image refinement network and a polarization information compensation network. We confirmed the superiority of our proposed network in compensating the differential component of polarization intensity by comparing its performance with state-of-the-art methods for similar tasks: depth completion. Furthermore, we confirmed that our approach could simultaneously acquire higher quality RGB images and polarization information than conventional polarization sensors, resolving the trade-off between the quality of RGB images and polarization information. The baseline code and newly generated real and synthetic large-scale polarization image datasets are available for further research and development.


title: Spatially Dependent Photometric Activity of M dwarfs in the Solar Cylinder

abstract: We study the relationship between Galactic location ($R, Z$) and photometric activity for 3.6 million M dwarf stars within 1 kpc of the Sun. For this purpose, we identify 906 unique flare events as a proxy for magnetic activity from the SkyMapper Southern Survey DR3. We adopt vertical distance $|Z|$ from the Galactic disc as a proxy for age and confirm a strong trend of flaring fraction decreasing with growing stellar age. Among M dwarfs within 50 pc of the Sun, we find a flaring fraction of 1-in-1,500, independent of spectral type from M2 to M7, suggesting that these stars are all in a flare-saturated young evolutionary stage. We find a hint of a kink in the slope of the overall flare fraction near 100 pc from the plane, where a steep decline begins; this slope change is visible for mid-type M dwarfs (M3--M5), suggesting it is not an artefact of mixing spectral type. Together with SDSS H$\alpha$ emission, this trend is additional evidence that the activity fraction of M dwarfs depends on Galactic height and activity lifetime. While there is a hint of flattening of the overall activity fraction above $|Z|\approx$ 500 pc, our data do not constrain this further. Within $\sim$500 pc distance from the Sun, we find no sign of radial disk gradients in flare activity, which may only be revealed by samples covering a larger radial range.


title: A Marcinkiewicz Testing Criterion for Schur Multipliers

abstract: We prove a Marcinkiewicz testing condition for the boundedness of Schur multipliers on the Schatten $p$-classes. This generalizes a previous work of J. Bourgain for Toeplitz type Schur multipliers. As a corollary, we obtain a new unconditional decomposition for the Schatten $p$-classes ($1<p<\infty$).


title: R-fiducial: Reliable and Scalable Radar Fiducials for Smart mmwave Sensing

abstract: Millimeter wave sensing has recently attracted a lot of attention given its environmental robust nature. In situations where visual sensors like cameras fail to perform, mmwave radars can be used to achieve reliable performance. However, because of the poor scattering performance and lack of texture in millimeter waves, radars can not be used in several situations that require precise identification of objects. In this paper, we take insight from camera fiducials which are very easily identifiable by the camera, and present R-fiducial tags, which smartly augment the current infrastructure to enable a myriad of applications with mmwave radars. R-fiducial acts as a fiducial for mmwave sensing, similar to camera fiducials, and can be reliably identified by a mmwave radar. We identify a precise list of requirements that a millimeter wave fiducial has to follow and show how R-fiducial achieves all of them. R-fiducial uses a novel spread-spectrum modulation technique that provides low latency with high reliability. Our evaluations show that R-fiducial can be reliably detected upto 25m and upto 120 degrees field of view with a latency of the order of milliseconds. We also conduct experiments and case studies in adverse and low visibility conditions to showcase the applicability of R-fiducial in a wide range of applications.


title: Resolutions of differential operators of low order for an isolated hypersurface singularity

abstract: In this paper we develop a new approach for studying differential operators of an isolated singularity graded hypersurface ring $R$ defining a surface in affine three-space over a field of characteristic zero. With this method, we construct an explicit minimal generating set for the modules of differential operators of order two and three, as well as their minimal free resolutions; this expands results of Bernstein, Gel'fand, and Gel'fand and of Vigu\'e. Our construction relies, in part, on a description of these modules that we derive in the singularity category of $R$. Namely, we build explicit matrix factorizations starting from that of the residue field.


title: HMM-V: Heterogeneous Memory Management for Virtualization

abstract: The memory demand of virtual machines (VMs) is increasing, while DRAM has limited capacity and high power consumption. Non-volatile memory (NVM) is an alternative to DRAM, but it has high latency and low bandwidth. We observe that the VM with heterogeneous memory may incur up to a $1.5\times$ slowdown compared to a DRAM VM, if not managed well. However, none of the state-of-the-art heterogeneous memory management designs are customized for virtualization on a real system. In this paper, we propose HMM-V, a Heterogeneous Memory Management system for Virtualization. HMM-V automatically determines page hotness and migrates pages between DRAM and NVM to achieve performance close to the DRAM system. First, HMM-V tracks memory accesses through page table manipulation, but reduces the cost by leveraging Intel page-modification logging (PML) and a multi-level queue. Second, HMM-V quantifies the ``temperature'' of page and determines the hot set with bucket-sorting. HMM-V then efficiently migrates pages with minimal access pause and handles dirty pages with the assistance of PML. Finally, HMM-V provides pooling management to balance precious DRAM across multiple VMs to maximize utilization and overall performance. HMM-V is implemented on a real system with Intel Optane DC persistent memory. The four-VM co-running results show that HMM-V outperforms NUMA balancing and hardware management (Intel Optane memory mode) by $51\%$ and $31\%$, respectively.


title: Automated Sex Classification of Children's Voices and Changes in Differentiating Factors with Age

abstract: Sex classification of children's voices allows for an investigation of the development of secondary sex characteristics which has been a key interest in the field of speech analysis. This research investigated a broad range of acoustic features from scripted and spontaneous speech and applied a hierarchical clustering-based machine learning model to distinguish the sex of children aged between 5 and 15 years. We proposed an optimal feature set and our modelling achieved an average F1 score (the harmonic mean of the precision and recall) of 0.84 across all ages. Our results suggest that the sex classification is generally more accurate when a model is developed for each year group rather than for children in 4-year age bands, with classification accuracy being better for older age groups. We found that spontaneous speech could provide more helpful cues in sex classification than scripted speech, especially for children younger than 7 years. For younger age groups, a broad range of acoustic factors contributed evenly to sex classification, while for older age groups, F0-related acoustic factors were found to be the most critical predictors generally. Other important acoustic factors for older age groups include vocal tract length estimators, spectral flux, loudness and unvoiced features.