title: Mental arithmetic task classification with convolutional neural network based on spectral-temporal features from EEG

abstract: In recent years, neuroscientists have been interested to the development of brain-computer interface (BCI) devices. Patients with motor disorders may benefit from BCIs as a means of communication and for the restoration of motor functions. Electroencephalography (EEG) is one of most used for evaluating the neuronal activity. In many computer vision applications, deep neural networks (DNN) show significant advantages. Towards to ultimate usage of DNN, we present here a shallow neural network that uses mainly two convolutional neural network (CNN) layers, with relatively few parameters and fast to learn spectral-temporal features from EEG. We compared this models to three other neural network models with different depths applied to a mental arithmetic task using eye-closed state adapted for patients suffering from motor disorders and a decline in visual functions. Experimental results showed that the shallow CNN model outperformed all the other models and achieved the highest classification accuracy of 90.68%. It's also more robust to deal with cross-subject classification issues: only 3% standard deviation of accuracy instead of 15.6% from conventional method.


title: The Riemann Hypothesis via the generalized von Mangoldt Function

abstract: Gonek, Graham, and Lee have shown recently that the Riemann Hypothesis (RH) can be reformulated in terms of certain asymptotic estimates for twisted sums with von Mangoldt function $\Lambda$. Building on their ideas, for each $k\in\mathbb{N}$, we study twisted sums with the \emph{generalized von Mangoldt function} $$ \Lambda_k(n):=\sum_{d\,\mid\,n}\mu(d)\Big(\log\frac{n}{d}\,\Big)^k $$ and establish similar connections with RH. For example, for $k=2$ we show that RH is equivalent to the assertion that, for any fixed $\epsilon>0$, the estimate $$ \sum_{n\leq x}\Lambda_2(n)n^{-iy} =\frac{2x^{1-iy}(\log x-C_0)}{(1-iy)} -\frac{2x^{1-iy}}{(1-iy)^2} +O\big(x^{1/2}(x+|y|)^\epsilon\big) $$ holds uniformly for all $x,y\in\mathbb{R}$, $x\geq 2$; hence, the validity of RH is governed by the distribution of almost-primes in the integers. We obtain similar results for the function $$ \Lambda^k:=\mathop{\underbrace{\,\Lambda\star\cdots\star\Lambda\,}}\limits_{k\text{~copies}}\,, $$ the $k$-fold convolution of the von Mangoldt function.


title: First light of the FIRST visible fibered interferometer upgrade at the Subaru telescope

abstract: FIRSTv2 (Fibered Imager foR a Single Telescope version 2) is the upgrade of a post-AO spectro-interferometer (FIRST) that enables high contrast imaging and spectroscopy at spatial scales below the diffraction limit of a single telescope. FIRST is currently installed, and routinely used, on the Subaru telescope as a module of the Subaru Extreme AO (SCExAO) platform. It achieves sensitivity and accuracy by a unique combination of sparse aperture masking, spatial filtering by single-mode fibers and cross-dispersion in the visible (600-900nm). The ongoing upgrade aims at using a photonic chip beam combiner, allowing the measurement of the complex visibility for every baseline independently. Using the integrated optics technology will increase the stability and sensitivity, and thus improve the dynamic range. Integrated optics chips working in the visible wavelength range are challenging (in terms of throughput and polarization). Several photonic chips are under characterization in our laboratory and we have installed a first prototype chip in the FIRSTv2 instrument at the Subaru Telescope. I will thus report on the on-sky results obtained with this kind of device, for the first time in the visible. This is the first step towards the full upgrade of FIRSTv2, that will ultimately provide unique capabilities to detect and characterize close companions such as exoplanets, by combining high angular resolution and spectral resolution in the visible.


title: Toward Smart Doors: A Position Paper

abstract: Conventional automatic doors cannot distinguish between people wishing to pass through the door and people passing by the door, so they often open unnecessarily. This leads to the need to adopt new systems in both commercial and non-commercial environments: smart doors. In particular, a smart door system predicts the intention of people near the door based on the social context of the surrounding environment and then makes rational decisions about whether or not to open the door. This work proposes the first position paper related to smart doors, without bells and whistles. We first point out that the problem not only concerns reliability, climate control, safety, and mode of operation. Indeed, a system to predict the intention of people near the door also involves a deeper understanding of the social context of the scene through a complex combined analysis of proxemics and scene reasoning. Furthermore, we conduct an exhaustive literature review about automatic doors, providing a novel system formulation. Also, we present an analysis of the possible future application of smart doors, a description of the ethical shortcomings, and legislative issues.


title: sMolBoxes: Dataflow Model for Molecular Dynamics Exploration

abstract: We present sMolBoxes, a dataflow representation for the exploration and analysis of long molecular dynamics (MD) simulations. When MD simulations reach millions of snapshots, a frame-by-frame observation is not feasible anymore. Thus, biochemists rely to a large extent only on quantitative analysis of geometric and physico-chemical properties. However, the usage of abstract methods to study inherently spatial data hinders the exploration and poses a considerable workload. sMolBoxes link quantitative analysis of a user-defined set of properties with interactive 3D visualizations. They enable visual explanations of molecular behaviors, which lead to an efficient discovery of biochemically significant parts of the MD simulation. sMolBoxes follow a node-based model for flexible definition, combination, and immediate evaluation of properties to be investigated. Progressive analytics enable fluid switching between multiple properties, which facilitates hypothesis generation. Each sMolBox provides quick insight to an observed property or function, available in more detail in the bigBox View. The case study illustrates that even with relatively few sMolBoxes, it is possible to express complex analyses tasks, and their use in exploratory analysis is perceived as more efficient than traditional scripting-based methods.


title: A direct time-of-flight image sensor with in-pixel surface detection and dynamic vision

abstract: 3D flash LIDAR is an alternative to the traditional scanning LIDAR systems, promising precise depth imaging in a compact form factor, and free of moving parts, for applications such as self-driving cars, robotics and augmented reality (AR). Typically implemented using single-photon, direct time-of-flight (dToF) receivers in image sensor format, the operation of the devices can be hindered by the large number of photon events needing to be processed and compressed in outdoor scenarios, limiting frame rates and scalability to larger arrays. We here present a 64x32 pixel (256x128 SPAD) dToF imager that overcomes these limitations by using pixels with embedded histogramming, which lock onto and track the return signal. This reduces the size of output data frames considerably, enabling maximum frame rates in the 10 kFPS range or 100 kFPS for direct depth readings. The sensor offers selective readout of pixels detecting surfaces, or those sensing motion, leading to reduced power consumption and off-chip processing requirements. We demonstrate the application of the sensor in mid-range LIDAR.


title: Strong Supernova 1987A Constraints on Bosons Decaying to Neutrinos

abstract: Majoron-like bosons would emerge from a supernova (SN) core by neutrino coalescence of the form $\nu\nu\to\phi$ and $\bar\nu\bar\nu\to\phi$ with 100 MeV-range energies. Subsequent decays to (anti)neutrinos of all flavors provide a flux component with energies much larger than the usual flux from the "neutrino sphere." The absence of 100 MeV-range events in the Kamiokande-II and Irvine-Michigan-Brookhaven signal of SN 1987A implies that less than 1% of the total energy was thus emitted and provides the strongest constraint on the Majoron-neutrino coupling of $g\lesssim 10^{-9}\,{\rm MeV}/m_\phi$ for $100~{\rm eV}\lesssim m_\phi\lesssim 100~{\rm MeV}$. It is straightforward to extend our new argument to other hypothetical feebly interacting particles.


title: Black Hole Information Recovery in JT Gravity

abstract: We consider the issue of information recovery for an object carrying energy and entropy into a black hole using the generalized entropy formalism, in the context of JT gravity where the backreaction problem can be solved exactly. We verify the main aspects of the Hayden-Preskill scenario but with some refinements. We show that the information is encoded in the Hawking radiation in a redundant way, as expected for a quantum error correcting code. We show how quantum extremal surfaces associated to information recovery have the form of a python's lunch and thereby show that the complexity of decoding is exponential in a combination of the entropy shift of the black hole and the entropy of the object. We also show that an infalling observer must have a smooth experience at the horizon and we calculate their endurance proper time inside the black hole before they are radiated out.


title: Millimeter Dust Emission and Planetary Dynamics in the HD 106906 System

abstract: Debris disks are dusty, optically thin structures around main sequence stars. HD 106906AB is a short-period stellar binary, host to a wide separation planet, HD 106906b, and a debris disk. Only a few known systems include a debris disk and a directly imaged planet, and HD 106906 is the only one in which the planet is exterior to the disk. The debris disk is edge-on and highly asymmetric in scattered light. Here we resolve the disk structure at a resolution of 0.38" (39 au) with the Atacama Large Millimeter/submillimeter Array (ALMA) at a wavelength of 1.3 mm. We model the disk with both a narrow and broad ring of material, and find that a radially broad, axisymmetric disk between radii of $\sim$50$-$100 au is able to capture the structure of the observations without evidence of any asymmetry or eccentricity, other than a tentative stellocentric offset. We place stringent upper limits on both the gas and dust content of a putative circumplanetary disk. We interpret the ALMA data in concert with scattered light observations of the inner ring and astrometric constraints on the planet's orbit, and find that the observations are consistent with a large-separation, low-eccentricity orbit for the planet. A dynamical analysis indicates that the central binary can efficiently stabilize planetesimal orbits interior to $\sim$100 au, which relaxes the constraints on eccentricity and semimajor axis somewhat. The observational constraints are consistent with in situ formation via gravitational instability, but cannot rule out a scattering event as the origin for HD 106906b's current orbit.


title: Improved strong lensing modelling of galaxy clusters using the Fundamental Plane: detailed mapping of the baryonic and dark matter mass distribution of Abell S1063

abstract: Strong gravitational lensing (SL) has emerged as a very accurate probe of the mass distribution of cluster- and galaxy-scale dark matter (DM) haloes in the inner regions of galaxy clusters. The derived properties of DM haloes can be compared to the predictions of high-resolution cosmological simulations, providing us with a test of the Standard Cosmological Model. The usual choice of simple power-law scaling relations to link the total mass of members with their luminosity is one of the possible inherent systematics within SL models of galaxy clusters, and thus on the derived cluster masses. Using new information on their structural parameters (from HST imaging) and kinematics (from MUSE data), we build the Fundamental Plane (FP) for the early-type galaxies of the cluster Abell S1063. We take advantage of the calibrated FP to develop an improved SL model of the total mass of the cluster core. The new method allows us to obtain more accurate and complex relations between the observables describing cluster members, and to completely fix their mass from their observed magnitudes and effective radii. Compared to the power-law approach, we find a different relation between the mass and the velocity dispersion of members, which shows a significant scatter. Thanks to a new estimate of the stellar mass of the cluster members from HST data, we measure the cumulative projected mass profiles out to a radius of 350 kpc, for all baryonic and DM components of the cluster. Finally, we compare the physical properties of the sub-haloes in our model and those predicted by high-resolution hydrodynamical simulations. We obtain compatible results in terms of the stellar-over-total mass fraction of the members. On the other hand, we confirm the recently reported discrepancy in terms of sub-halo compactness: at a fixed total mass value, simulated sub-haloes are less compact than what our SL model predicts.


title: Hilbert space fragmentation and interaction-induced localization in the extended Fermi-Hubbard model

abstract: We study Hilbert space fragmentation in the extended Fermi-Hubbard model with nearest and next-nearest-neighbor interactions. Using a generalized spin/mover picture and saddle point methods, we derive lower bounds for the scaling of the number of frozen states and for the size of the largest block preserved under the dynamics. We find fragmentation for strong nearest- and next-nearest-neighbor repulsions as well as for the combined case. Our results suggest that the involvement of next-nearest-neighbor repulsions leads to an increased tendency for localization. We then model the dynamics for larger systems using Markov simulations to test these findings and unveil in which interaction regimes the dynamics becomes spatially localized. In particular, we show that for strong nearest- and next-nearest-neighbor interactions random initial states will localize provided that the density of initial movers is sufficiently low.


title: Formation History of HD106906 and the Vertical Warping of Debris Disks by an External Inclined Companion

abstract: HD106906 is a planetary system that hosts a wide-orbit companion, as well as an eccentric and flat debris disk, which hold important constraints on its formation and subsequent evolution. The recent observations of the companion constrain its orbit to be eccentric and inclined relative to the plane of the debris disk. Here, we show that, in the presence of the inclined companion, the debris disk quickly ($\lesssim5$ Myr) becomes warped and puffy. This suggests that the current configuration of the system is relatively recent. We explore the possibility that a recent close encounter with a free floating planet could produce a companion with orbital parameters that agree with observations of HD106906b. We find that this scenario is able to recreate the structure of the debris disk while producing a companion in agreement with observation.


title: Chemical composition of the young massive cluster NGC 1569-B

abstract: We present a detailed chemical abundance analysis of the young massive cluster (YMC) NGC 1569-B. The host galaxy, NGC~1569, is a dwarf irregular starburst galaxy at a distance of 3.36$\pm$0.20 Mpc. We determined the abundance ratios from the analysis of an optical integrated-light spectrum of NGC 1569-B, obtained with the HIRES echelle spectrograph on the Keck I telescope. We considered different red-to-blue supergiant ratios, namely: the ratio obtained from a theoretical isochrone, the ratio obtained from a resolved colour-magnitude diagram of the YMC, and the ratio that minimises the $\chi^2$ when comparing our model spectra with the observations. We adopted the latter ratio for our resulting chemical abundances. The derived iron abundance is sub-solar with [Fe/H] = $-0.74\pm0.05$. In relation to the scaled solar composition, we find enhanced $\alpha$-element abundances, $\text{[<Mg,Si,Ca,Ti>/Fe]}=+0.25\pm$0.11, with a particularly high Ti abundance of +0.49$\pm$0.05. Other super-solar elements include $\text{[Cr/Fe]}=+0.50\pm$0.11, $\text{[Sc/Fe]}=+0.78\pm$0.20, and $\text{[Ba/Fe]}=+1.28\pm$0.14, while other Fe-peak elements are close to scaled solar abundances: ($\text{[Mn/Fe]}=-0.22\pm$0.12 and $\text{[Ni/Fe]}=+0.13\pm$0.11). The composition of NGC 1569-B resembles the stellar populations of the YMC NGC 1705-1, located in a blue compact dwarf galaxy. The two YMCs agree with regard to $\alpha$-elements and the majority of the Fe-peak elements, except for Sc and Ba, which are extremely super-solar in NGC~1569-B -- and higher than in any YMC studied so far. The blue part of the optical spectrum of a young population is still a very challenging wavelength region to analyse using IL spectroscopic studies. This is due to the uncertain contribution to the light from blue supergiant stars, which can be difficult to disentangle from turn-off stars, even when resolved photometry is available.


title: Probing high-energy solar axion flux with a large scintillation neutrino detector

abstract: We investigate the 5.49 MeV solar axions flux produced in the $p(d,\, ^{3}{\rm He})a$ reaction and analyze the potential to detect it with the forthcoming large underground neutrino oscillation experiment Jiangmen Underground Neutrino Observatory (JUNO). The JUNO detector could reveal axions through various processes such as Compton and inverse Primakoff conversion, as well as through their decay into two photons or electron-positron pairs inside the detector. We perform a detailed numerical analysis in order to forecast the sensitivity on different combinations of the axion-electron ($ g_{ae} $), axion-photon ($g_{a\gamma}$), and isovector axion-nucleon ($ g_{3aN} $) couplings, using the expected JUNO data for different benchmark values of axion mass in a model-independent way. We find that JUNO would improve by approximately one order of magnitude current bounds by Borexino and it has the best sensitivity among neutrino experiments.


title: ALMA uncovers highly filamentary structure towards the Sgr E region

abstract: We report on the discovery of linear filaments observed in CO(1-0) emission for a $\sim2'$ field of view toward the Sgr E star forming region centered at (l,b)=(358.720$^\circ$, 0.011$^\circ$). The Sgr E region is thought to be at the turbulent intersection of the ''far dust lane'' associated with the Galactic bar and the Central Molecular Zone (CMZ). This region is subject to strong accelerations which are generally thought to inhibit star formation, yet Sgr E contains a large number of HII regions. We present $^{12}$CO(1-0), $^{13}$CO(1-0), and C$^{18}$O(1-0) spectral line observations from ALMA and provide measurements of the physical and kinematic properties for two of the brightest filaments. These filaments have widths (FWHM) of $\sim0.1$ pc and are oriented nearly parallel to the Galactic plane, with angles from the Galactic plane of $\sim2^\circ$. The filaments are elongated, with lower limit aspect ratios of $\sim$5:1. For both filaments we detect two distinct velocity components that are separated by about 15 km s$^{-1}$. In the C$^{18}$O spectral line data with $\sim$0.09 pc spatial resolution, we find that these velocity components have relatively narrow ($\sim$1-2 km s$^{-1}$) FWHM linewidths when compared to other sources towards the Galactic center. The properties of these filaments suggest that the gas in the Sgr E complex is being ''stretched'' as it is rapidly accelerated by the gravitational field of the Galactic bar while falling towards the CMZ, a result that could provide insight into the extreme environment surrounding this region and the large-scale processes which fuel this environment.


title: The present-day gas content of simulated field dwarf galaxies

abstract: We examine the gas content of field dwarf galaxies in a high-resolution cosmological simulation. In agreement with previous work, we find that galaxies inhabiting dark matter haloes with mass below a critical value, $M_{200} \lesssim M_{\rm crit} \approx 5\times 10^{9} \ M_{\odot}$, are quiescent at the present day. The gas content of these galaxies is thus insensitive to feedback from evolving stars. Almost half of these quiescent systems today have gas masses much smaller than that expected for their mass. We find that gas-deficient galaxies originate from 1) past interactions with massive hosts, in which a dwarf loses gas and dark matter via tidal and ram-pressure forces; and 2) from hydrodynamic interactions with the gaseous filaments and sheets of the cosmic web, in which a dwarf loses gas via ram-pressure. We refer to these systems as ``flybys'' and ``COSWEBs''. Flybys locate in high-density regions, tracing the location of the most massive galaxies in the simulation. In contrast, COSWEBs are dispersed throughout the volume and trace the cosmic web. For sub-critical systems, $M_{200} < M_{\rm crit}$, the fraction of COSWEB galaxies can be as high as $35 \%$, and much higher for flybys, which make up 100 per cent of the galaxies with $M_{200}<3\times 10^8 \ \rm M_{\odot}$. The deficit of gas caused by these mechanisms may preclude the detection of a large fraction of field dwarfs in future HI surveys. For galaxies inhabiting halos with mass $M_{200} > M_{\rm crit}$, we find that cosmic web stripping, on average, shuts down star formation in more than $70\%$ of the affected systems.


title: A review and reformulation of macroscopic realism: resolving its deficiencies using the framework of generalized probabilistic theories

abstract: The notion of macrorealism was introduced by Leggett and Garg in an attempt to capture our intuitive conception of the macroscopic world, which seems difficult to reconcile with our knowledge of quantum physics. By now, numerous experimental witnesses have been proposed as methods of falsifying macrorealism. In this work, I critically review and analyze both the definition of macrorealism and the various proposed tests thereof, identifying a number of problems with these (and revisiting key criticisms raised by other authors). I then show that all these problems can be resolved by reformulating macrorealism within the framework of generalized probabilistic theories. In particular, I argue that a theory should be considered to be macrorealist if and only if it describes every macroscopic system by a strictly classical (i.e., simplicial) generalized probabilistic theory. This approach brings significant clarity and precision to our understanding of macrorealism, and provides us with a host of new tools -- both conceptual and technical -- for studying macrorealism. I leverage this approach i) to clarify in what sense macrorealism is a notion of classicality, ii) to propose a new test of macrorealism that is maximally informative and theory-independent (unlike all prior tests of macrorealism), and iii) to show that every proof of generalized contextuality on a macroscopic system implies the failure of macrorealism.


title: Lack of influence of the environment in the earliest stages of massive galaxy formation

abstract: We investigate how the environment affects the assembly history of massive galaxies. For that purpose, we make use of SHARDS and HST spectro-photometric data, whose depth, spectral resolution, and wavelength coverage allow to perform a detailed analysis of the stellar emission as well as obtaining unprecedentedly accurate photometric redshifts. This expedites a sufficiently accurate estimate of the local environment and a robust derivation of the star formation histories of a complete sample of 332 massive galaxies ($\mathrm{>10^{10}M_{\odot}}$) at redshift $1\leq z \leq 1.5$ in the GOODS-N field. We find that massive galaxies in this redshift range avoid the lowest density environments. Moreover, we observed that the oldest galaxies in our sample with with mass-weighted formation redshift $\mathrm{\overline{z}_{M-w} \geq 2.5}$, avoid the highest density regions, preferring intermediate environments. Younger galaxies, including those with active star formation, tend to live in denser environments ($\Sigma = \mathrm{5.0_{1.1}^{24.8}\times 10^{10}M_{\odot}Mpc^{-2}}$). This behavior could be expected if those massive galaxies starting their formation first would merge with neighbors and sweep their environment earlier. On the other hand, galaxies formed more recently ($\overline{z}_{M-w} < 2.5$) are accreted into large scale structures at later times and we are observing them before sweeping their environment or, alternatively, they are less likely to affect their environment. However, given that both number and mass surface densities of neighbor galaxies is relatively low for the oldest galaxies, our results reveal a very weak correlation between environment and the first formation stages of the earliest massive galaxies.


title: Tiered Pruning for Efficient Differentialble Inference-Aware Neural Architecture Search

abstract: We propose three novel pruning techniques to improve the cost and results of inference-aware Differentiable Neural Architecture Search (DNAS). First, we introduce Prunode, a stochastic bi-path building block for DNAS, which can search over inner hidden dimensions with O(1) memory and compute complexity. Second, we present an algorithm for pruning blocks within a stochastic layer of the SuperNet during the search. Third, we describe a novel technique for pruning unnecessary stochastic layers during the search. The optimized models resulting from the search are called PruNet and establishes a new state-of-the-art Pareto frontier for NVIDIA V100 in terms of inference latency for ImageNet Top-1 image classification accuracy. PruNet as a backbone also outperforms GPUNet and EfficientNet on the COCO object detection task on inference latency relative to mean Average Precision (mAP).


title: Discovery of non-metastable ammonia masers in Sagittarius B2

abstract: We report the discovery of widespread maser emission in non-metastable inversion transitions of NH$_3$ toward various parts of the Sagittarius B2 molecular cloud/star forming region complex: We detect masers in the $J,K = $ (6,3), (7,4), (8,5), (9,6), and (10,7) transitions toward Sgr B2(M) and Sgr B2(N), an NH$_3$ (6,3) maser in Sgr B2(NS), and NH$_3$ (7,4), (9,6), and (10,7) masers in Sgr B2(S). With the high angular resolution data of the Karl G. Jansky Very Large Array (JVLA) in A-configuration we identify 18 maser spots. Nine maser spots arise from Sgr B2(N), one from Sgr B2(NS), five from Sgr B2(M), and three in Sgr B2(S). Compared to our Effelsberg single dish data, the JVLA data indicate no missing flux. The detected maser spots are not resolved by our JVLA observations. Lower limits to the brightness temperature are $>$3000~K and reach up to several 10$^5$~K, manifesting the lines' maser nature. In view of the masers' velocity differences with respect to adjacent hot molecular cores and/or UCH{\scriptsize II} regions, it is argued that all the measured ammonia maser lines may be associated with shocks caused either by outflows or by the expansion of UCH{\scriptsize II} regions. Overall, Sgr B2 is unique in that it allows us to measure many NH$_3$ masers simultaneously, which may be essential to elucidate their so far poorly understood origin and excitation.


title: Synthesize Efficient Safety Certificates for Learning-Based Safe Control using Magnitude Regularization

abstract: Energy-function-based safety certificates can provide provable safety guarantees for the safe control tasks of complex robotic systems. However, all recent studies about learning-based energy function synthesis only consider the feasibility, which might cause over-conservativeness and result in less efficient controllers. In this work, we proposed the magnitude regularization technique to improve the efficiency of safe controllers by reducing the conservativeness inside the energy function while keeping the promising provable safety guarantees. Specifically, we quantify the conservativeness by the magnitude of the energy function, and we reduce the conservativeness by adding a magnitude regularization term to the synthesis loss. We propose the SafeMR algorithm that uses reinforcement learning (RL) for the synthesis to unify the learning processes of safe controllers and energy functions. Experimental results show that the proposed method does reduce the conservativeness of the energy functions and outperforms the baselines in terms of the controller efficiency while guaranteeing safety.


title: Optimal sampling of dynamical large deviations in two dimensions via tensor networks

abstract: We use projected entangled-pair states (PEPS) to calculate the large deviations (LD) statistics of the dynamical activity of the two dimensional East model, and the two dimensional symmetric simple exclusion process (SSEP) with open boundaries, in lattices of up to 40x40 sites. We show that at long-times both models have phase transitions between active and inactive dynamical phases. For the 2D East model we find that this trajectory transition is of the first-order, while for the SSEP we find indications of a second order transition. We then show how the PEPS can be used to implement a trajectory sampling scheme capable of directly accessing rare trajectories. We also discuss how the methods described here can be extended to study rare events at finite times.


title: SAFER: Safe Collision Avoidance using Focused and Efficient Trajectory Search with Reinforcement Learning

abstract: Collision avoidance is key for mobile robots and agents to operate safely in the real world. In this work we present SAFER, an efficient and effective collision avoidance system that is able to improve safety by correcting the control commands sent by an operator. It combines real-world reinforcement learning (RL), search-based online trajectory planning, and automatic emergency intervention, e.g. automatic emergency braking (AEB). The goal of the RL is to learn an effective corrective control action that is used in a focused search for collision-free trajectories, and to reduce the frequency of triggering automatic emergency braking. This novel setup enables the RL policy to learn safely and directly on mobile robots in a real-world indoor environment, minimizing actual crashes even during training. Our real-world experiments show that, when compared with several baselines, our approach enjoys a higher average speed, lower crash rate, less emergency intervention, smaller computation overhead, and smoother overall control.


title: A Laboratory Frame Density Matrix for Ultrafast Quantum Molecular Dynamics

abstract: In most cases the ultrafast dynamics of resonantly excited molecules are considered, and almost always computed in the molecular frame, while experiments are carried out in the laboratory frame. Here we provide a formalism in terms of a lab frame density matrix which connects quantum dynamics in the molecular frame to those in the laboratory frame, providing a transparent link between computation and measurement. The formalism reveals that in any such experiment, the molecular frame dynamics vary for molecules in different orientations and that certain coherences which are potentially experimentally accessible are rejected by the orientation-averaged reduced vibronic density matrix. Instead, Molecular Angular Distribution Moments (MADMs) are introduced as a more accurate representation of experimentally accessible information. Furthermore, the formalism provides a clear definition of a molecular frame quantum tomography, and specifies the requirements to perform such a measurement enabling the experimental imaging of molecular frame vibronic dynamics. Successful completion of such a measurement fully characterizes the molecular frame quantum dynamics for a molecule at any orientation in the laboratory frame.


title: A Neural Template Matching Method to Detect Knee Joint Areas

abstract: In this paper, new methods are considered to detect knee joint areas in bilateral PA fixed flexion knee X-ray images. The methods are of template matching type where the distance criterion is based on the negative normalized cross-correlation. The manual annotations are made on only one side of a single bilateral image when the templates are selected. The best matching patch search is formulated as an unconstrained continuous domain minimization problem. For the minimization problem different optimization methods are considered. The main method of the paper is a trainable optimizer where the method is taught to take zoomed and possibly rotated patches from its input images which look like the template. In the experiments, we compare the minimum values found by different optimization methods. We also look at some test images to examine the correspondence between the minimum value and how well the knee area is localized. It seems that making annotations only to a single image enables to detect knee joint areas quite precisely.


title: Creating a CLOUDY Compatible Database with CHIANTI version 10 Data

abstract: Atomic and molecular data are required to conduct detailed calculations of microphysical processes performed by CLOUDY to predict the spectra of a theoretical model. One of the three databases CLOUDY currently utilizes is CHIANTI version 7.1. CHIANTI version 10.0.1 is available, but its format has changed. CLOUDY is incompatible with the newer version. We have developed a script to convert the version 10.0.1 database into its version 7.1 format so that CLOUDY does not have to change every time there is a new CHIANTI version with an evolved format. This study outlines the steps taken by the script for this version format change. We have also found a modest number of significant changes to spectral line intensities/luminosities calculated by CLOUDY with the adoption of CHIANTI version 10.0.1. These changes are a result of improvements to collision strength data.


title: Clique Homology is QMA1-hard

abstract: We tackle the long-standing question of the computational complexity of determining homology groups of simplicial complexes, a fundamental task in computational topology, posed by Kaibel and Pfetsch 20 years ago. We show that this decision problem is QMA1-hard. Moreover, we show that a version of the problem satisfying a suitable promise and certain constraints is contained in QMA. This suggests that the seemingly classical problem may in fact be quantum mechanical. In fact, we are able to significantly strengthen this by showing that the problem remains QMA1-hard in the case of clique complexes, a family of simplicial complexes specified by a graph which is relevant to the problem of topological data analysis. The proof combines a number of techniques from Hamiltonian complexity and homological algebra. We discuss potential implications for the problem of quantum advantage in topological data analysis.


title: Multi-Agent Exploration of an Unknown Sparse Landmark Complex via Deep Reinforcement Learning

abstract: In recent years Landmark Complexes have been successfully employed for localization-free and metric-free autonomous exploration using a group of sensing-limited and communication-limited robots in a GPS-denied environment. To ensure rapid and complete exploration, existing works make assumptions on the density and distribution of landmarks in the environment. These assumptions may be overly restrictive, especially in hazardous environments where landmarks may be destroyed or completely missing. In this paper, we first propose a deep reinforcement learning framework for multi-agent cooperative exploration in environments with sparse landmarks while reducing client-server communication. By leveraging recent development on partial observability and credit assignment, our framework can train the exploration policy efficiently for multi-robot systems. The policy receives individual rewards from actions based on a proximity sensor with limited range and resolution, which is combined with group rewards to encourage collaborative exploration and construction of the Landmark Complex through observation of 0-, 1- and 2-dimensional simplices. In addition, we employ a three-stage curriculum learning strategy to mitigate the reward sparsity by gradually adding random obstacles and destroying random landmarks. Experiments in simulation demonstrate that our method outperforms the state-of-the-art landmark complex exploration method in efficiency among different environments with sparse landmarks.


title: Descriptor Distillation: a Teacher-Student-Regularized Framework for Learning Local Descriptors

abstract: Learning a fast and discriminative patch descriptor is a challenging topic in computer vision. Recently, many existing works focus on training various descriptor learning networks by minimizing a triplet loss (or its variants), which is expected to decrease the distance between each positive pair and increase the distance between each negative pair. However, such an expectation has to be lowered due to the non-perfect convergence of network optimizer to a local solution. Addressing this problem and the open computational speed problem, we propose a Descriptor Distillation framework for local descriptor learning, called DesDis, where a student model gains knowledge from a pre-trained teacher model, and it is further enhanced via a designed teacher-student regularizer. This teacher-student regularizer is to constrain the difference between the positive (also negative) pair similarity from the teacher model and that from the student model, and we theoretically prove that a more effective student model could be trained by minimizing a weighted combination of the triplet loss and this regularizer, than its teacher which is trained by minimizing the triplet loss singly. Under the proposed DesDis, many existing descriptor networks could be embedded as the teacher model, and accordingly, both equal-weight and light-weight student models could be derived, which outperform their teacher in either accuracy or speed. Experimental results on 3 public datasets demonstrate that the equal-weight student models, derived from the proposed DesDis framework by utilizing three typical descriptor learning networks as teacher models, could achieve significantly better performances than their teachers and several other comparative methods. In addition, the derived light-weight models could achieve 8 times or even faster speeds than the comparative methods under similar patch verification performances


title: Composite Layers for Deep Anomaly Detection on 3D Point Clouds

abstract: Deep neural networks require specific layers to process point clouds, as the scattered and irregular location of points prevents us from using convolutional filters. Here we introduce the composite layer, a new convolutional operator for point clouds. The peculiarity of our composite layer is that it extracts and compresses the spatial information from the position of points before combining it with their feature vectors. Compared to well-known point-convolutional layers such as those of ConvPoint and KPConv, our composite layer provides additional regularization and guarantees greater flexibility in terms of design and number of parameters. To demonstrate the design flexibility, we also define an aggregate composite layer that combines spatial information and features in a nonlinear manner, and we use these layers to implement a convolutional and an aggregate CompositeNet. We train our CompositeNets to perform classification and, most remarkably, unsupervised anomaly detection. Our experiments on synthetic and real-world datasets show that, in both tasks, our CompositeNets outperform ConvPoint and achieve similar results as KPConv despite having a much simpler architecture. Moreover, our CompositeNets substantially outperform existing solutions for anomaly detection on point clouds.


title: Quantifying and correcting geolocation error in spaceborne LiDAR forest canopy observations using high spatial accuracy ALS: A Bayesian model approach

abstract: Geolocation error in spaceborne sampling light detection and ranging (LiDAR) measurements of forest structure can compromise forest attribute estimates and degrade integration with georeferenced field measurements or other remotely sensed data. Data integration is especially problematic when geolocation error is not well quantified. We propose a general model that uses airborne laser scanning (ALS) data to quantify and correct geolocation error in spaceborne sampling LiDAR. To illustrate the model, LiDAR data from NASA Goddard's LiDAR Hyperspectral & Thermal Imager (G-LiHT) was used with a subset of LiDAR data from NASA's Global Ecosystem Dynamics Investigation (GEDI). The model accommodates multiple canopy height metrics derived from a simulated GEDI footprint kernel using spatially coincident G-LiHT, and incorporates both additive and multiplicative mapping between the canopy height metrics generated from both datasets. A Bayesian implementation provides probabilistic uncertainty quantification in both parameter and geolocation error estimates. Results show a systematic geolocation error of 9.62 m in the southwest direction. In addition, estimated geolocation errors within GEDI footprints were highly variable, with results showing a ~0.45 probability the true footprint center is within 20 m. Estimating and correcting geolocation error via the model outlined here can help inform subsequent efforts to integrate spaceborne LiDAR data, like GEDI, with other georeferenced data.


title: Gravitational signal propagation in the Double Pulsar studied with the MeerKAT telescope

abstract: The Double Pulsar, PSR J0737-3039A/B, has offered a wealth of gravitational experiments in the strong-field regime, all of which GR has passed with flying colours. In particular, among current gravity experiments that test photon propagation, the Double Pulsar probes the strongest spacetime curvature. Observations with MeerKAT and, in future, the SKA can greatly improve the accuracy of current tests and facilitate tests of NLO contributions in both orbital motion and signal propagation. We present our timing analysis of new observations of PSR J0737-3039A, made using the MeerKAT telescope over the last 3 years. The increased timing precision offered by MeerKAT yields a 2 times better measurement of Shapiro delay parameter s and improved mass measurements compared to previous studies. In addition, our results provide an independent confirmation of the NLO signal propagation effects and already surpass the previous measurement from 16-yr data by a factor of 1.65. These effects include the retardation effect due to the movement of B and the deflection of the signal by the gravitational field of B. We also investigate novel effects which are expected. For instance, we search for potential profile variations near superior conjunctions caused by shifts of the line-of-sight due to latitudinal signal deflection and find insignificant evidence with our current data. With simulations, we find that the latitudinal deflection delay is unlikely to be measured with timing because of its correlation with Shapiro delay. Furthermore, although it is currently not possible to detect the expected lensing correction to the Shapiro delay, our simulations suggest that this effect may be measured with the full SKA. Finally, we provide an improved analytical description for the signal propagation in the Double Pulsar system that meets the timing precision expected from future instruments such as the full SKA.


title: Augmenting Interpretable Models with LLMs during Training

abstract: Recent large language models (LLMs) have demonstrated remarkable prediction performance for a growing array of tasks. However, their proliferation into high-stakes domains (e.g. medicine) and compute-limited settings has created a burgeoning need for interpretability and efficiency. We address this need by proposing Augmented Interpretable Models (Aug-imodels), a framework for leveraging the knowledge learned by LLMs to build extremely efficient and interpretable models. Aug-imodels use LLMs during fitting but not during inference, allowing complete transparency and often a speed/memory improvement of greater than 1,000x for inference compared to LLMs. We explore two instantiations of Aug-imodels in natural-language processing: (i) Aug-GAM, which augments a generalized additive model with decoupled embeddings from an LLM and (ii) Aug-Tree, which augments a decision tree with LLM feature expansions. Across a variety of text-classification datasets, both outperform their non-augmented counterparts. Aug-GAM can even outperform much larger models (e.g. a 6-billion parameter GPT-J model), despite having 10,000x fewer parameters and being fully transparent. We further explore Aug-imodels in a natural-language fMRI study, where they generate interesting interpretations from scientific data. All code for using Aug-imodels and reproducing results is made available on Github.


title: Superfluid response of an atomically thin, gate-tuned van der Waals superconductor

abstract: A growing number of two-dimensional superconductors are being discovered in the family of layered van der Waals (vdW) materials. Due to small sample volume, their characterization has been largely limited to electrical transport measurements. As a consequence, characterization of the diamagnetic response of the superfluid to an applied magnetic field, a defining property of any superconductor, has been lacking. Here, we use a local magnetic probe to directly measure the superfluid response of the tunable, gate-induced superconducting state in MoS$_2$. We find that the backgate changes the superconducting transition temperature non-monotonically whereas the superfluid stiffness at low temperature and the normal state conductivity monotonically increase with backgate voltage. In some devices, we find direct signatures in agreement with a Berezinskii-Kosterlitz-Thouless transition, whereas in others we find a broadened, shallow onset of the superfluid response. We show that the observed behavior is consistent with disorder playing an important role in determining the superconducting properties in superconducting MoS$_2$. Our work demonstrates that magnetic property measurements are within reach for vdW superconductors and reveals that the superfluid response significantly deviates from simple BCS-like behavior.


title: Solutions to preference manipulation in recommender systems require knowledge of meta-preferences

abstract: Iterative machine learning algorithms used to power recommender systems often change people's preferences by trying to learn them. Further a recommender can better predict what a user will do by making its users more predictable. Some preference changes on the part of the user are self-induced and desired whether the recommender caused them or not. This paper proposes that solutions to preference manipulation in recommender systems must take into account certain meta-preferences (preferences over another preference) in order to respect the autonomy of the user and not be manipulative.


title: Reversible Data Hiding in Encrypted Text Using Paillier Cryptosystem

abstract: Reversible Data Hiding in Encrypted Domain (RDHED) is an innovative method that can keep cover information secret and allows the data hider to insert additional information into it. This article presents a novel data hiding technique in an encrypted text called Reversible Data Hiding in Encrypted Text (RDHET). Initially, the original text is converted into their ASCII values. After that, the Paillier cryptosystem is adopted to encrypt all ASCII values of the original text and send it to the data hider for further processing. At the data hiding phase, the secret data are embedded into homomorphically encrypted text using a technique that does not lose any information, i.e., the homomorphic properties of the Paillier cryptosystem. Finally, the embedded secret data and the original text are recovered at the receiving end without any loss. Experimental results show that the proposed scheme is vital in the context of encrypted text processing at cloud-based services. Moreover, the scheme works well, especially for the embedding phase, text recovery, and performance on different security key sizes.


title: Compact orthogonal view OCT: clinical exploration of human trabecular meshwork and cornea at cell resolution

abstract: Glaucoma remains among the leading causes of blindness despite many treatment options available today. Effective treatment requires early diagnosis, which is difficult to achieve with existing imaging technologies that detect the already inflicted irreversible posterior eye damage. One improved approach could be to detect the changes in trabecular meshwork of the anterior eye that precede the intraocular pressure buildup and vision loss. Here we report a device that enables in vivo exploration of trabecular meshwork at cell resolution. The instrument combines two orthogonal views: en face view of time-domain full-field OCT for high-resolution and cross-sectional view of spectral-domain OCT for aligning to the meshwork. The device resolves micron-level corneoscleral and uveal pores, meshwork beams and internal elastic fibers, ciliary body tendons and trabecular cell nuclei. Capable of detecting blockage of trabecular pores, orthogonal view OCT presents a promising solution to the long-standing problem of early glaucoma diagnosis. Future clinical adoption of the device is facilitated by the compact footprint and broad functionality that includes corneal imaging in healthy subjects and patients (with keratoconus, Fuchs endothelial dystrophy) using the same design.


title: Incommensurate magnetic ordering in CrB$_2$

abstract: Incommensurate magnetism in CrB$_2$ is studied in terms of a spin model based on density functional theory calculations. Heisenberg exchange interactions derived from the paramagnetic phase using the disordered local moment theory show significant differences compared with those resulting from the treatment of the material as a ferromagnet; of these two methods, the disordered local moment theory is found to give a significantly more realistic description. We calculate strongly ferromagnetic interactions between Cr planes but largely frustrated interactions within Cr planes. Although we find that the ground state ordering vector is sensitive to exchange interactions over a large number of neighbour shells, the $q$-vector of the incommensurate spin spiral state is satisfactorily reproduced by the theory ($0.213$ compared with the known ordering vector $0.285\times (2\pi)/(a/2)$ along $\Gamma-{\rm K}$). The strong geometric frustration of the exchange interactions causes a rather low N\'eel temperature (about 97 K), also in good agreement with experiment.


title: Tracking the State and Behavior of People in Response to COVID-1 19 Through the Fusion of Multiple Longitudinal Data Streams

abstract: The changing nature of the COVID-19 pandemic has highlighted the importance of comprehensively considering its impacts and considering changes over time. Most COVID-19 related research addresses narrowly focused research questions and is therefore limited in addressing the complexities created by the interrelated impacts of the pandemic. Such research generally makes use of only one of either 1) actively collected data such as surveys, or 2) passively collected data. While a few studies make use of both actively and passively collected data, only one other study collects it longitudinally. Here we describe a rich panel dataset of active and passive data from U.S. residents collected between August 2020 and July 2021. Active data includes a repeated survey measuring travel behavior, compliance with COVID-19 mandates, physical health, economic well-being, vaccination status, and other factors. Passively collected data consists of all locations visited by study participants, taken from smartphone GPS data. We also closely tracked COVID-19 policies across counties of residence throughout the study period. Such a dataset allows important research questions to be answered; for example, to determine the factors underlying the heterogeneous behavioral responses to COVID-19 restrictions imposed by local governments. Better information about such responses is critical to our ability to understand the societal and economic impacts of this and future pandemics. The development of this data infrastructure can also help researchers explore new frontiers in behavioral science. The article explains how this approach fills gaps in COVID-19 related data collection; describes the study design and data collection procedures; presents key demographic characteristics of study participants; and shows how fusing different data streams helps uncover behavioral insights.


title: Few-electron correlations after ultrafast photoemission from nanometric needle tips

abstract: Free electrons are essential in such diverse applications as electron microscopes, accelerators, and photo-emission spectroscopy. Often, space charge effects of many electrons are a nuisance. Confined to extremely small space-time dimensions, even two electrons can interact strongly. In this case, the Coulomb repulsion can now be highly advantageous, because it leads to surprisingly powerful electron-electron correlations, as we demonstrate here. We show that femtosecond laser-emitted electrons from nanometric needle tips are highly anti-correlated in energy because of dynamic Coulomb repulsion, with a visibility of $56\,\%$. We extract a mean energy splitting of $3.3\,$eV and a correlation decay time of $82\,$fs. Importantly, the energy-filtered electrons display a sub-Poissonian number distribution with a second order correlation function as small as $g^{(2)} = 0.34$, implying that shot noise-reduced pulsed electron beams can be realized based on simple energy filtering. Even heralded electrons could become available for quantum-enhanced electron imaging protocols. Furthermore, we also reach the strong-field regime of laser-driven electron emission. We gain deep insights into how the electron correlations of the different electron classes (direct vs. rescattered) are influenced by the strong laser fields. Our work levels the field of quantum electron optics, with direct ramifications for shot noise-reduced and quantum electron imaging as well as direct measurements of correlated electrons from inside of strongly correlated matter.


title: Periodic Graph Transformers for Crystal Material Property Prediction

abstract: We consider representation learning on periodic graphs encoding crystal materials. Different from regular graphs, periodic graphs consist of a minimum unit cell repeating itself on a regular lattice in 3D space. How to effectively encode these periodic structures poses unique challenges not present in regular graph representation learning. In addition to being E(3) invariant, periodic graph representations need to be periodic invariant. That is, the learned representations should be invariant to shifts of cell boundaries as they are artificially imposed. Furthermore, the periodic repeating patterns need to be captured explicitly as lattices of different sizes and orientations may correspond to different materials. In this work, we propose a transformer architecture, known as Matformer, for periodic graph representation learning. Our Matformer is designed to be invariant to periodicity and can capture repeating patterns explicitly. In particular, Matformer encodes periodic patterns by efficient use of geometric distances between the same atoms in neighboring cells. Experimental results on multiple common benchmark datasets show that our Matformer outperforms baseline methods consistently. In addition, our results demonstrate the importance of periodic invariance and explicit repeating pattern encoding for crystal representation learning.


title: Nonlinear Model Predictive Control of a 3D Hopping Robot: Leveraging Lie Group Integrators for Dynamically Stable Behaviors

abstract: Achieving stable hopping has been a hallmark challenge in the field of dynamic legged locomotion. Controlled hopping is notably difficult due to extended periods of underactuation combined with very short ground phases wherein ground interactions must be modulated to regulate global state. In this work, we explore the use of hybrid nonlinear model predictive control paired with a low-level feedback controller in a multi-rate hierarchy to achieve dynamically stable motions on a 3D hopping robot. In order to demonstrate richer behaviors on the manifold of rotations, both the planning and feedback layers must be designed in a geometrically consistent fashion; therefore, we develop the necessary tools to employ Lie group integrators and appropriate feedback controllers. We experimentally demonstrate stable 3D hopping, as well as trajectory tracking and flipping in simulation.


title: Data-driven Optimal Computing Budget Allocation under Input Uncertainty

abstract: In a fixed budget ranking and Selection (R&S) problem, one aims to identify the best design among a finite number of candidates by efficiently allocating the given simulation budget to evaluate design performance. Classical methods for fixed budget R&S usually assume known input distributions, which are the distributions that model the randomness in the system and drive the simulation. In this paper, we consider the practical scenario where the input distribution is unknown but can be estimated from streaming input data that arrive in batches over time. We model the R&S problem in this dynamic setting as a multi-stage problem, where the input distribution estimate is updated at each stage and a stage-wise optimization problem is formulated to allocate the simulation budget. We characterize the optimality conditions for the stage-wise budget allocation problem by applying the large deviations theory to maximize the decay rate of the probability of false selection. Based on the optimality conditions and combined with the updating of input distribution estimates, we design two sequential budget allocation procedures for R&S under streaming input data. We theoretically guarantee the consistency and asymptotic optimality of the two proposed procedures. We also demonstrate the practical efficiency through numerical experiments in comparison with the equal allocation policy and two extensions of the Optimal Computing Budget Allocation (OCBA) algorithm.


title: Villain model with long-range couplings

abstract: The nearest-neighbor Villain, or periodic Gaussian, model is a useful tool to understand the physics of the topological defects of the two-dimensional nearest-neighbor $XY$ model, as the two models share the same symmetries and are in the same universality class. The long-range counterpart of the two-dimensional $XY$ model has been recently shown to exhibit a non-trivial critical behavior, with a complex phase diagram including a range of values of the power-law exponent of the couplings decay, $\sigma$, in which there are a magnetized, a disordered and a critical phase (arXiv:2104.13217). Here we address the issue of whether the critical behavior of the two-dimensional $XY$ model with long-range couplings can be described by the Villain counterpart of the model. After introducing a suitable generalization of the Villain model with long-range couplings, we derive a set of renormalization-group equations for the vortex-vortex potential, which differs from the one of the long-range $XY$ model, signaling that the decoupling of spin-waves and topological defects is no longer justified in this regime. The main results are that for $\sigma<2$ the two models no longer share the same universality class. Remarkably, within a large region of its phase diagram, the Villain model is found to behave similarly to the one-dimensional Ising model with $1/r^2$ interactions.


title: Kinematic Lensing Inference I: Characterizing Shape Noise with Simulated Analyses

abstract: The unknown intrinsic shape of source galaxies is one of the largest uncertainties of weak gravitational lensing (WL). It results in the so-called shape noise at the level of $\sigma_\epsilon^{\mathrm{WL}} \approx 0.26$, whereas the shear effect of interest is of order percent. Kinematic lensing (KL) is a new technique that combines photometric shape measurements with resolved spectroscopic observations to infer the intrinsic galaxy shape and directly estimate the gravitational shear. This paper presents a KL inference pipeline that jointly forward-models galaxy imaging and slit spectroscopy to extract the shear signal. We build a set of realistic mock observations and show that the KL inference pipeline can robustly recover the input shear. To quantify the shear measurement uncertainty for KL, we average the shape noise over a population of randomly oriented disc galaxies and estimate it to be $\sigma_\epsilon^{\mathrm{KL}}\approx 0.022-0.041$ depending on emission line signal-to-noise. This order of magnitude improvement over traditional WL makes a KL observational program feasible with existing spectroscopic instruments. To this end, we characterize the dependence of KL shape noise on observational factors and discuss implications for the survey strategy of future KL observations. In particular, we find that prioritizing quality spectra of low inclination galaxies is more advantageous than maximizing the overall number density.


title: Explanations, Fairness, and Appropriate Reliance in Human-AI Decision-Making

abstract: In this work, we study the effects of feature-based explanations on distributive fairness of AI-assisted decisions, specifically focusing on the task of predicting occupations from short textual bios. We also investigate how any effects are mediated by humans' fairness perceptions and their reliance on AI recommendations. Our findings show that explanations influence fairness perceptions, which, in turn, relate to humans' tendency to adhere to AI recommendations. However, we see that such explanations do not enable humans to discern correct and incorrect AI recommendations. Instead, we show that they may affect reliance irrespective of the correctness of AI recommendations. Depending on which features an explanation highlights, this can foster or hinder distributive fairness: when explanations highlight features that are task-irrelevant and evidently associated with the sensitive attribute, this prompts overrides that counter AI recommendations that align with gender stereotypes. Meanwhile, if explanations appear task-relevant, this induces reliance behavior that reinforces stereotype-aligned errors. These results imply that feature-based explanations are not a reliable mechanism to improve distributive fairness.


title: Regularized Maximum Likelihood Image Synthesis and Validation for ALMA Continuum Observations of Protoplanetary Disks

abstract: Regularized Maximum Likelihood (RML) techniques are a class of image synthesis methods that achieve better angular resolution and image fidelity than traditional methods like CLEAN for sub-mm interferometric observations. To identify best practices for RML imaging, we used the GPU-accelerated open source Python package MPoL, a machine learning-based RML approach, to explore the influence of common RML regularizers (maximum entropy, sparsity, total variation, and total squared variation) on images reconstructed from real and synthetic ALMA continuum observations of protoplanetary disks. We tested two different cross-validation (CV) procedures to characterize their performance and determine optimal prior strengths, and found that CV over a coarse grid of regularization strengths easily identifies a range of models with comparably strong predictive power. To evaluate the performance of RML techniques against a ground truth image, we used MPoL on a synthetic protoplanetary disk dataset and found that RML methods successfully resolve structures at fine spatial scales present in the original simulation. We used ALMA DSHARP observations of the protoplanetary disk around HD 143006 to compare the performance of MPoL and CLEAN, finding that RML imaging improved the spatial resolution of the image by up to a factor of 3 without sacrificing sensitivity. We provide general recommendations for building an RML workflow for image synthesis of ALMA protoplanetary disk observations, including effective use of CV. Using these techniques to improve the imaging resolution of protoplanetary disk observations will enable new science, including the detection of protoplanets embedded in disks.


title: Gravitational recoil from binary black hole mergers in scalar field clouds

abstract: In vacuum, the gravitational recoil of the final black hole from the merger of two black holes depends exclusively on the mass ratio and spins of the coalescing black holes, and on the eccentricity of the binary. If matter is present, accretion by the merging black holes may modify significantly their masses and spins, altering both the dynamics of the binary and the gravitational recoil of the remnant black hole. This paper considers such scenario. We investigate the effects on the kick of the final black hole from immersing the binary in a scalar field cloud. We consider two types of configurations: one with non-spinning and unequal-mass black holes, and a second with equal mass and spinning holes. For both types, we investigate how the gravitational recoil of the final black hole changes as we vary the energy density of the scalar field. We find that the accretion of scalar field by the merging black holes could have a profound effect. For the non-spinning, unequal-mass binary black holes, the kicks are in general larger than in the vacuum case, with speeds of approximately 1,200 km/s for binaries with mass ratio 2:1, one order of magnitude larger than in vacuum. For equal mass, binaries with black holes with spins aligned with the orbital angular momentum, kicks larger than in vacuum are also found. For systems with spins in the super-kick configuration, the scalar field triggers a similar dependence of the kicks with the entrance angle at merger as in the vacuum case but in this case depending on the strength of the scalar field.


title: Gap Transients Interacting with Circumstellar Medium

abstract: In the last 20 years, modern wide-field surveys discovered a new class of peculiar transients, which lie in the luminosity gap between standard supernovae and classical novae. These transients are often called 'intermediate luminosity optical transients' or 'gap transients'. They are usually distinguished in subgroups based on their phenomenology, such as supernova impostors, intermediate luminosity red transients, and luminous red novae. In this review, we present a brief overview of their observational features and possible physical scenarios to date, in the attempt to understand their nature.


title: Notes on Mitsui's Prime Number Theorem with Siegel zeros

abstract: In these notes, we refine Mitsui's Prime Number Theorem from 1957, which for a number field $K$ predicts how many prime elements there are in bounded convex sets in $K \otimes_{\mathbf Q} \mathbf R$, by incorporating potential Siegel zeros of Hecke L-functions. This allows the norm of the modulus $\mathbf N (\mathfrak q) $ to grow at a pseudopolynomial rate with respect to the size $X$ of the convex set as opposed to powers of $\log X$. The extra flexibility and precision will be essential in our future application to the study of linear patterns of prime elements. We also hope that our updated exposition will make Mitsui's work accessible to a wider mathematical audience.


title: An Efficient Algorithm for Fair Multi-Agent Multi-Armed Bandit with Low Regret

abstract: Recently a multi-agent variant of the classical multi-armed bandit was proposed to tackle fairness issues in online learning. Inspired by a long line of work in social choice and economics, the goal is to optimize the Nash social welfare instead of the total utility. Unfortunately previous algorithms either are not efficient or achieve sub-optimal regret in terms of the number of rounds $T$. We propose a new efficient algorithm with lower regret than even previous inefficient ones. For $N$ agents, $K$ arms, and $T$ rounds, our approach has a regret bound of $\tilde{O}(\sqrt{NKT} + NK)$. This is an improvement to the previous approach, which has regret bound of $\tilde{O}( \min(NK, \sqrt{N} K^{3/2})\sqrt{T})$. We also complement our efficient algorithm with an inefficient approach with $\tilde{O}(\sqrt{KT} + N^2K)$ regret. The experimental findings confirm the effectiveness of our efficient algorithm compared to the previous approaches.


title: Impact of the inner solute structure on the electrostatic mean-field and strong-coupling regimes of macromolecular interactions

abstract: The structural diversity of the solute molecules involved in biomolecular processes necessitates the characterization of the forces between charged macromolecules beyond the point-ion description. From the field theoretic partition function of an electrolyte confined between two anionic membranes, we derive a contact-value identity valid for general intramolecular solute structure and electrostatic coupling strength. In the electrostatic mean-field (MF) regime, the inner charge spread of the solute particles is shown to induce the twofold enhancement of the short-range Poisson-Boltzmann (PB)-level membrane repulsion, and a longer-range depletion attraction. Our contact theorem indicates that the twofold repulsion enhancement by solute size is equally present in the opposite strong-coupling (SC) regime of linear and spherical solute molecules. Upon the inclusion of the dielectric contrast between the electrolyte and the interacting membranes, the emerging polarization forces substantially amplify the solute specificity of the macromolecular interactions. Namely, the finite size of the solute particles composed of similar terminal charges such as putrescine molecules weaken the intermembrane repulsion. However, the extended structure of the solute molecules carrying opposite elementary charges such as ionized atoms and zwitterionic molecules enhance the membrane repulsion by several factors. We also show that these polarization forces can extend the range of the solute structure effects up to intermembrane distances exceeding the solute size by an order of magnitude. This radical alteration of the intermembrane interactions by the salt structure identifies the solute specificity as a key ingredient of the thermodynamic stability in colloidal systems.


title: Finite distortion curves: Continuity, Differentiability and Lusin's (N) property

abstract: We define finite distortion $\omega$-curves and we show that for some forms $\omega$ and when the distortion function is sufficiently exponentially integrable the map is continuous, differentiable almost everywhere and has Lusin's (N) property. This is achieved through some higher integrability results about finite distortion $\omega$-curves. It is also shown that this result is sharp both for continuity and for Lusin's (N) property. We also show that if we assume weak monotonicity for the coordinates of a finite distortion $\omega$-curve we obtain continuity.


title: Expanding the Deployment Envelope of Behavior Prediction via Adaptive Meta-Learning

abstract: Learning-based behavior prediction methods are increasingly being deployed in real-world autonomous systems, e.g., in fleets of self-driving vehicles, which are beginning to commercially operate in major cities across the world. Despite their advancements, however, the vast majority of prediction systems are specialized to a set of well-explored geographic regions or operational design domains, complicating deployment to additional cities, countries, or continents. Towards this end, we present a novel method for efficiently adapting behavior prediction models to new environments. Our approach leverages recent advances in meta-learning, specifically Bayesian regression, to augment existing behavior prediction models with an adaptive layer that enables efficient domain transfer via offline fine-tuning, online adaptation, or both. Experiments across multiple real-world datasets demonstrate that our method can efficiently adapt to a variety of unseen environments.


title: Asymptotic Accelerated Expansion in String Theory and the Swampland

abstract: We study whether the universal runaway behaviour of stringy scalar potentials towards infinite field distance limits can produce an accelerated expanding cosmology \`{a} la quintessence. We identify a loophole to some proposed bounds that forbid such asymptotic (at parametric control) accelerated expansion in 4d $\mathcal{N}=1$ supergravities, by considering several terms of the potential competing asymptotically. We then analyse concrete string theory examples coming from F-theory flux compactifications on Calabi-Yau fourfolds, extending previous results by going beyond weak string coupling to different infinite distance limits in the complex structure moduli space. We find some potential candidates to yield asymptotic accelerated expansion with a flux potential satisfying $\gamma=\frac{\|\nabla V\|}{V}<\sqrt{2}$ along its gradient flow. However, whether this truly describes an accelerated expanding cosmology remains as an open question until full moduli stabilization including the Kahler moduli is studied. Finally, we also reformulate the condition for forbidding asymptotic accelerated expansion as a convex hull de Sitter conjecture which resembles a convex hull scalar WGC for the membranes generating the flux potential. This provides a pictorial way to quickly determine the asymptotic gradient flow trajectory in multi-moduli setups and the value of $\gamma$ along it.


title: On $p$-adic Measures for Quaternionic Modular Forms

abstract: The purpose of this paper is to study the special values of the standard $L$-functions for quaternionic modular forms using the doubling method. We obtain an integral representation for the $L$-function twisted by a character and construct the $p$-adic measure interpolating certain special $L$-values.


title: The Brown measure of a sum of two free random variables, one of which is triangular elliptic

abstract: The triangular elliptic operators are natural extensions of the elliptic deformation of circular operators. We obtain a Brown measure formula for the sum of a triangular elliptic operator $g_{_{\alpha, \beta, \gamma}}$ with a random variable $x_0$, which is $*$-free from $g_{_{\alpha, \beta, \gamma}}$ with amalgamation over certain unital subalgebra. Let $c_t$ be a circular operator. We prove that the Brown measure of $x_0 + g_{_{\alpha, \beta, \gamma}}$ is the push-forward measure of the Brown measure of $x_0 + c_t$ by an explicitly defined map on $\mathbb{C}$ for some suitable $t$. We show that the Brown measure of $x_0+c_t$ is absolutely continuous with respect to the Lebesgue measure on $\mathbb{C}$ and its density is bounded by $1/(\pi{t})$. This work generalizes earlier results on the addition with a circular operator, semicircular operator, or elliptic operator to a larger class of operators. We extend operator-valued subordination functions, due to Biane and Voiculescu, to certain unbounded operators. This allows us to extend our results to unbounded operators.


title: M2TRec: Metadata-aware Multi-task Transformer for Large-scale and Cold-start free Session-based Recommendations

abstract: Session-based recommender systems (SBRSs) have shown superior performance over conventional methods. However, they show limited scalability on large-scale industrial datasets since most models learn one embedding per item. This leads to a large memory requirement (of storing one vector per item) and poor performance on sparse sessions with cold-start or unpopular items. Using one public and one large industrial dataset, we experimentally show that state-of-the-art SBRSs have low performance on sparse sessions with sparse items. We propose M2TRec, a Metadata-aware Multi-task Transformer model for session-based recommendations. Our proposed method learns a transformation function from item metadata to embeddings, and is thus, item-ID free (i.e., does not need to learn one embedding per item). It integrates item metadata to learn shared representations of diverse item attributes. During inference, new or unpopular items will be assigned identical representations for the attributes they share with items previously observed during training, and thus will have similar representations with those items, enabling recommendations of even cold-start and sparse items. Additionally, M2TRec is trained in a multi-task setting to predict the next item in the session along with its primary category and subcategories. Our multi-task strategy makes the model converge faster and significantly improves the overall performance. Experimental results show significant performance gains using our proposed approach on sparse items on the two datasets.


title: Finite element analysis for the Navier-Lam\'e eigenvalue problem

abstract: The present paper introduces the analysis of the eigenvalue problem for the elasticity equations when the so called Navier-Lam\'e system is considered. Such a system introduces the displacement, rotation and pressure of some linear and elastic structure. The analysis of the spectral problem is based in the compact operators theory. A finite element method based in polynomials of degree $k\geq 1$ are considered in order to approximate the eigenfrequencies and eigenfunctions of the system. Convergence and error estimate are presented. An a posteriori error analysis is performed, where the reliability and efficiency of the proposed estimator is proved. We end this contribution reporting a series of numerical tests in order to assess the performance of the proposed numerical method, for the a priori and a posteriori estimates.


title: On the Endemic Behavior of a Competitive Tri-Virus SIS Networked Model

abstract: This paper studies the endemic behavior of a multi-competitive networked susceptible-infected-susceptible (SIS) model. In particular, we focus on the case where there are three competing viruses (i.e., the tri-virus system). First, we show that the tri-virus system is not a monotone system. Thereafter, we provide a condition that guarantees local exponential convergence to a boundary equilibrium (exactly one virus is endemic, the other two are dead), and identify a special case that admits the existence and local exponential attractivity of a line of coexistence equilibria (at least two viruses are active). Finally, we identify a particular case (subsumed by the aforementioned special case) such that, for all nonzero initial infection levels, the dynamics of the tri-virus system converge to a plane of coexistence equilibria.


title: One-Shot Reachability Analysis of Neural Network Dynamical Systems

abstract: The arising application of neural networks (NN) in robotic systems has driven the development of safety verification methods for neural network dynamical systems (NNDS). Recursive techniques for reachability analysis of dynamical systems in closed-loop with a NN controller, planner, or perception can over-approximate the reachable sets of the NNDS by bounding the outputs of the NN and propagating these NN output bounds forward. However, this recursive reachability analysis may suffer from compounding errors, rapidly becoming overly conservative over a longer horizon. In this work, we prove that an alternative one-shot reachability analysis framework which directly verifies the unrolled NNDS can significantly mitigate the compounding errors for a general class of NN verification methods built on layerwise abstraction. Our analysis is motivated by the fact that certain NN verification methods give rise to looser bounds when applied in one shot than recursively. In our analysis, we characterize the performance gap between the recursive and one-shot frameworks for NNDS with general computational graphs. The applicability of one-shot analysis is demonstrated through numerical examples on a cart-pole system.


title: Almost bi-Lipschitz embeddings and proper subsets of a Banach space -- An extension of a theorem by M.I. Ostrovskii

abstract: Let X and Y be two infinite-dimensional Banach spaces. If X is crudely finitely representable in every finite-codimensional subspace of Y, then any proper subset of X almost bi-Lipschitz embeds into Y, in a sense quite close to that of F. Baudier and G. Lancien. This is an extension of a result proved by M.I. Ostrovskii for locally finite subsets.


title: Modeling Solution Drying by Moving a Liquid-Vapor Interface: Method and Applications

abstract: A method of simulating the drying process of a soft matter solution with an implicit solvent model by moving the liquid-vapor interface is applied to various solution films and droplets. For a solution of a polymer and nanoparticles, we observe "polymer-on-top" stratification, similar to that found previously with an explicit solvent model. Furthermore, "polymer-on-top" is found even when the nanoparticle size is smaller than the radius of gyration of the polymer chains. For a suspension droplet of a bidisperse mixture of nanoparticles, we show that core-shell clusters of nanoparticles can be obtained via the "small-on-outside" stratification mechanism at fast evaporation rates. "Large-on-outside" stratification and uniform particle distribution are also observed when the evaporation rate is reduced. Polymeric particles with various morphologies, including Janus spheres, core-shell particles, and patchy particles, are produced from drying droplets of polymer solutions by combining fast evaporation with a controlled interaction between the polymers and the liquid-vapor interface. Our results validate the applicability of the moving interface method to a wide range of drying systems. The limitations of the method are pointed out and cautions are provided to potential practitioners on cases where the method might fail.


title: Multiple-Choice Question Generation: Towards an Automated Assessment Framework

abstract: Automated question generation is an important approach to enable personalisation of English comprehension assessment. Recently, transformer-based pretrained language models have demonstrated the ability to produce appropriate questions from a context paragraph. Typically, these systems are evaluated against a reference set of manually generated questions using n-gram based metrics, or manual qualitative assessment. Here, we focus on a fully automated multiple-choice question generation (MCQG) system where both the question and possible answers must be generated from the context paragraph. Applying n-gram based approaches is challenging for this form of system as the reference set is unlikely to capture the full range of possible questions and answer options. Conversely manual assessment scales poorly and is expensive for MCQG system development. In this work, we propose a set of performance criteria that assess different aspects of the generated multiple-choice questions of interest. These qualities include: grammatical correctness, answerability, diversity and complexity. Initial systems for each of these metrics are described, and individually evaluated on standard multiple-choice reading comprehension corpora.


title: The symmetric quasi-classical model using on-the-fly time-dependent density functional theory within the Tamm-Dancoff approximation

abstract: The primary computational challenge when simulating nonadiabatic ab initio molecular dynamics is the unfavorable compute costs of electronic structure calculations with molecular size. Simple electronic structure theories, like time-dependent density functional theory within the Tamm-Dancoff approximation (TDDFT/TDA), alleviate this cost for moderately sized molecular systems simulated on realistic time scales. Although TDDFT/TDA does have some limitations in accuracy, an appealing feature is that, in addition to including electron correlation through the use of a density functional, the cost of calculating analytic nuclear gradients and nonadiabatic coupling vectors is often computationally feasible even for moderately-sized basis sets. In this work, some of the benefits and limitations of TDDFT/TDA are discussed and analyzed with regard to its applicability as a "back-end" electronic structure method for the symmetric quasi-classical Meyer-Miller model (SQC/MM). In order to investigate the benefits and limitations of TDDFT/TDA, SQC/MM is employed to predict and analyze a prototypical example of excited-state hydrogen transfer in gas-phase malonaldehyde. Then, the ring-opening dynamics of selenophene are simulated which highlight some of the deficiencies of TDDFT/TDA. Additionally, some new algorithms are proposed that speed up the calculation of analytic nuclear gradients and nonadiabatic coupling vectors for a set of excited electronic states.


title: A Selective Benzene, Acetylene, and Carbon Dioxide Sensor in the Fingerprint Region

abstract: A mid-infrared laser-based sensor is designed and demonstrated for trace detection of benzene, acetylene, and carbon dioxide at ambient conditions. The sensor is based on a distributed feedback quantum cascade lase and a multidimensional liner (DFB-QCL) emitting near 14.84 um. Tunable diode laser absorption spectroscopy (TDLAS) and a multidimensional linear regression algorithm are employed to enable interference-free measurements of the target species. The laser wavelength was tuned over 673.8-675.1 cm-1 by a sine-wave injection current (1 kHz scan rate). Minimum detection limits of 0.11, 4.16, and 2.96 ppm were achieved for benzene, acetylene, and carbon dioxide, respectively. The developed sensor is insensitive to interference from overlapping absorbance spectra, and its performance was demonstrated by measuring known mixture samples prepared in the lab. The sensor can be used to detect tiny leaks of the target species in petrochemical facilities and to monitor air quality in residential and industrial areas.


title: A More Malicious Maitre d'

abstract: In this paper we study the problem of the Malicious Maitre d', as described in Peter Winkler's book Mathematical Puzzles: A Connoisseur's Collection. This problem, attributed to computer scientist Rob Pike, involves seating diners around a circular table with napkins placed between each pair of adjacent settings. The goal of the maitre d' is to seat the diners in a way that maximizes the number of diners who arrive at the table to find the napkins on both the left and right of their place already taken by their neighbors. Winkler proposes a solution to the problem that he claims is optimal. We analyze Winkler's solution using tools from enumerative combinatorics, then present a new strategy that performs better.


title: Superconformal Quantum Mechanics and Growth of Sheaf Cohomology

abstract: We give a geometric interpretation for superconformal quantum mechanics defined on a hyper-Kahler cone which has an equivariant symplectic resolution. BPS states are identified with certain twisted Dolbeault cohomology classes on the resolved space and their index degeneracies can also be related to the Euler characteristic computed in equivariant sheaf cohomology. In the special case of the Hilbert scheme of K points on C2, we obtain a rigorous estimate for the exponential growth of the index degeneracies of BPS states as K goes to infinity. This growth serves as a toy model for our recently proposed duality between a seven dimensional black hole and superconformal quantum mechanics.


title: Strain Induced Indirect-to-Direct Bandgap Transition, Photoluminescence Enhancement, and Linewidth Reduction in Bilayer MoTe2

abstract: Two-dimensional (2D) layered materials provide an ideal platform for engineering electronic and optical properties through strain control because of their extremely high mechanical elasticity and sensitive dependence of material properties on mechanical strain. In this paper, a combined experimental and theoretical effort is made to investigate the effects of mechanical strain on various spectral features of bilayer MoTe2 photoluminescence (PL). We found that bilayer MoTe2 can be converted from an indirect-to direct-bandgap material through strain engineering, resulting in a photoluminescence enhancement by a factor of 2.24. Over 90% of the PL comes from photons emitted by the direct excitons at the maximum strain applied. Importantly, we show that strain effects lead to a reduction of the overall linewidth of PL by as much as 36.6%. We attribute the dramatic decrease of linewidth to a strain-induced complex interplay among various excitonic varieties such as direct bright excitons, trions, and indirect excitons. Our experimental results on direct and indirect exciton emission features are explained by theoretical exciton energies that are based on first-principle electronic band structure calculations. The consistent theory-experimental trend shows that the enhancement of PL and the reduction of linewidth are the consequences of the increasing direct exciton contribution with the increase of strain. Our results demonstrate that strain engineering can lead to a PL quality of the bilayer MoTe2 comparable to that of the monolayer counterpart. The additional benefit of a longer emission wavelength makes the bilayer MoTe2 more suitable for Silicon-photonics integration due to the reduced Silicon absorption.


title: Creating Compact Regions of Social Determinants of Health

abstract: Regionalization is the act of breaking a dataset into contiguous homogeneous regions that are heterogeneous from each other. Many different algorithms exist for performing regionalization; however, using these algorithms on large real world data sets have only become feasible in terms of compute power in recent years. Very few studies have been done comparing different regionalization methods, and those that do lack analysis in memory, scalability, geographic metrics, and large-scale real-world applications. This study compares state-of-the-art regionalization methods, namely, Agglomerative Clustering, SKATER, REDCAP, AZP, and Max-P-Regions using real world social determinant of health (SDOH) data. The scale of real world SDOH data, up to 1 million data points in this study, not only compares the algorithms over different data sets but provides a stress test for each individual regionalization algorithm, most of which have never been run on such scales previously. We use several new geographic metrics to compare algorithms as well as perform a comparative memory analysis. The prevailing regionalization method is then compared with unconstrained K-Means clustering on their ability to separate real health data in Virginia and Washington DC.


title: Doubly Fair Dynamic Pricing

abstract: We study the problem of online dynamic pricing with two types of fairness constraints: a "procedural fairness" which requires the proposed prices to be equal in expectation among different groups, and a "substantive fairness" which requires the accepted prices to be equal in expectation among different groups. A policy that is simultaneously procedural and substantive fair is referred to as "doubly fair". We show that a doubly fair policy must be random to have higher revenue than the best trivial policy that assigns the same price to different groups. In a two-group setting, we propose an online learning algorithm for the 2-group pricing problems that achieves $\tilde{O}(\sqrt{T})$ regret, zero procedural unfairness and $\tilde{O}(\sqrt{T})$ substantive unfairness over $T$ rounds of learning. We also prove two lower bounds showing that these results on regret and unfairness are both information-theoretically optimal up to iterated logarithmic factors. To the best of our knowledge, this is the first dynamic pricing algorithm that learns to price while satisfying two fairness constraints at the same time.


title: Jefferson Lab Hall C: Precision Physics at the Luminosity Frontier

abstract: Over the last three decades, Hall C has been a key contributor to progress in the understanding of hadron structure and interactions. An outline of a potential future Hall C physics program focused on precision measurements of small cross sections is presented. A detailed overview of this unique facility, whose flexible configuration allows many opportunities for new experimental equipment that help address a wide range of questions in hadronic physics, is included as well.


title: Multi-Angle QAOA Does Not Always Need All Its Angles

abstract: Introducing additional tunable parameters to quantum circuits is a powerful way of improving performance without increasing hardware requirements. A recently introduced multiangle extension of the quantum approximate optimization algorithm (ma-QAOA) significantly improves the solution quality compared with QAOA by allowing the parameters for each term in the Hamiltonian to vary independently. Prior results suggest, however, considerable redundancy in parameters, the removal of which would reduce the cost of parameter optimization. In this work we show numerically the connection between the problem symmetries and the parameter redundancy by demonstrating that symmetries can be used to reduce the number of parameters used by ma-QAOA without decreasing the solution quality. We study Max-Cut on all 7,565 connected, non-isomorphic 8-node graphs with a nontrivial symmetry group and show numerically that in 67.4% of these graphs, symmetry can be used to reduce the number of parameters with no decrease in the objective, with the average ratio of parameters reduced by 28.1%. Moreover, we show that in 35.9% of the graphs this reduction can be achieved by simply using the largest symmetry. For the graphs where reducing the number of parameters leads to a decrease in the objective, the largest symmetry can be used to reduce the parameter count by 37.1% at the cost of only a 6.1% decrease in the objective. We demonstrate the central role of symmetries by showing that a random parameter reduction strategy leads to much worse performance.


title: Revisiting the Analysis of Matched-Pair and Stratified Experiments in the Presence of Attrition

abstract: In this paper we revisit some common recommendations regarding the analysis of matched-pair and stratified experimental designs in the presence of attrition. Our main objective is to clarify a number of well-known claims about the practice of dropping pairs with an attrited unit when analyzing matched-pair designs. Contradictory advice appears in the literature about whether or not dropping pairs is beneficial or harmful, and stratifying into larger groups has been recommended as a resolution to the issue. To address these claims, we derive the estimands obtained from the difference-in-means estimator in a matched-pair design both when the observations from pairs with an attrited unit are retained and when they are dropped. We find limited evidence to support the claims that dropping pairs helps recover the average treatment effect, but we find that it may potentially help in recovering a convex weighted average of conditional average treatment effects. We report similar findings for stratified designs when studying the estimands obtained from a regression of outcomes on treatment with and without strata fixed effects.


title: Robust Model Predictive Control of Time-Delay Systems through System Level Synthesis

abstract: We present a robust model predictive control method (MPC) for discrete-time linear time-delayed systems with state and control input constraints. The system is subject to both polytopic model uncertainty and additive disturbances. In the proposed method, a time-varying feedback control policy is optimized such that the robust satisfaction of all constraints for the closed-loop system is guaranteed. By encoding the effects of the delayed states and inputs into the feedback policy, we solve the robust optimal control problem in MPC using System Level Synthesis which results in a convex quadratic program that jointly conducts uncertainty over-approximation and robust controller synthesis. Notably, the number of variables in the quadratic program is independent of the delay horizon. The effectiveness and scalability of our proposed method are demonstrated numerically.


title: Comparison of Lexical Alignment with a Teachable Robot in Human-Robot and Human-Human-Robot Interactions

abstract: Speakers build rapport in the process of aligning conversational behaviors with each other. Rapport engendered with a teachable agent while instructing domain material has been shown to promote learning. Past work on lexical alignment in the field of education suffers from limitations in both the measures used to quantify alignment and the types of interactions in which alignment with agents has been studied. In this paper, we apply alignment measures based on a data-driven notion of shared expressions (possibly composed of multiple words) and compare alignment in one-on-one human-robot (H-R) interactions with the H-R portions of collaborative human-human-robot (H-H-R) interactions. We find that students in the H-R setting align with a teachable robot more than in the H-H-R setting and that the relationship between lexical alignment and rapport is more complex than what is predicted by previous theoretical and empirical work.