title: Generalized Boolean Functions and Quantum Circuits on IBM-Q

abstract: We explicitly derive a connection between quantum circuits utilising IBM's quantum gate set and multivariate quadratic polynomials over integers modulo 8. We demonstrate that the action of a quantum circuit over input qubits can be written as generalized Walsh-Hadamard transform. Here, we derive the polynomials corresponding to implementations of the Swap gate and Toffoli gate using IBM-Q gate set.


title: When is chemical disequilibrium in Earth-like planetary atmospheres a biosignature versus an anti-biosignature? Disequilibria from dead to living worlds

abstract: Chemical disequilibrium in exoplanetary atmospheres (detectable with remote spectroscopy) can indicate life. The modern Earth's atmosphere-ocean system has a much larger chemical disequilibrium than other solar system planets with atmospheres because of oxygenic photosynthesis. However, no analysis exists comparing disequilibrium on lifeless, prebiotic planets to disequilibrium on worlds with primitive chemotrophic biospheres that live off chemicals and not light. Here, we use a photochemical-microbial ecosystem model to calculate the atmosphere-ocean disequilibria of Earth with no life and with a chemotrophic biosphere. We show that the prebiotic Earth likely had a relatively large atmosphere-ocean disequilibrium due to the coexistence of water and volcanic H2, CO2, and CO. Subsequent chemotrophic life probably destroyed nearly all of the prebiotic disequilibrium through its metabolism, leaving a likely smaller disequilibrium between N2, CO2, CH4, and liquid water. So, disequilibrium fell with the rise of chemotrophic life then later rose with atmospheric oxygenation due to oxygenic photosynthesis. We conclude that big prebiotic disequilibrium between H2 and CO2 or CO and water is an anti-biosignature because these easily metabolized species can be eaten due to redox reactions with low activation energy barriers. However, large chemical disequilibrium can also be a biosignature when the disequilibrium arises from a chemical mixture with biologically insurmountable activation energy barriers, and clearly identifiable biogenic gases. Earth's modern disequilibrium between O2, N2, and liquid water along with minor CH4 is such a case. Thus, the interpretation of disequilibrium requires context. With context, disequilibrium can be used to infer dead or living worlds.


title: On the discretness of states accessible via right-angled paths in hyperbolic space

abstract: We consider the control problem where, given an orthonormal tangent frame in the hyperbolic plane or three dimensional hyperbolic space, one is allowed to transport the frame a fixed distance $r > 0$ along the geodesic in direction of the first vector, or rotate it in place a right angle. We characterize the values of $r > 0$ for which the set of orthonormal frames accessible using these transformations is discrete. In the hyperbolic plane this is equivalent to solving the discreteness problem for a particular one parameter family of two-generator subgroups of $PSL_2(\mathbb{R})$. In the three dimensional case we solve this problem for a particular one parameter family of subgroups of the isometry group which have four generators.


title: Empirical Study of Off-Policy Policy Evaluation for Reinforcement Learning

abstract: We offer an experimental benchmark and empirical study for off-policy policy evaluation (OPE) in reinforcement learning, which is a key problem in many safety critical applications. Given the increasing interest in deploying learning-based methods, there has been a flurry of recent proposals for OPE method, leading to a need for standardized empirical analyses. Our work takes a strong focus on diversity of experimental design to enable stress testing of OPE methods. We provide a comprehensive benchmarking suite to study the interplay of different attributes on method performance. We distill the results into a summarized set of guidelines for OPE in practice. Our software package, the Caltech OPE Benchmarking Suite (COBS), is open-sourced and we invite interested researchers to further contribute to the benchmark.


title: Quantum gate verification and its application in property testing

abstract: To guarantee the normal functioning of quantum devices in different scenarios, appropriate benchmarking tool kits are quite significant. Inspired by the recent progress on quantum state verification, here we establish a general framework of verifying a target unitary gate. In both the non-adversarial and adversarial scenarios, we provide efficient methods to evaluate the performance of verification strategies for any qudit unitary gate. Furthermore, we figure out the optimal strategy and its realization with local operations. Specifically, for the commonly-used quantum gates like single qubit and qudit gates, multi-qubit Clifford gates, and multi-qubit Controlled-Z(X) gates, we provide efficient verification protocols. Besides, we discuss the application of gate verification for the detection of entanglement-preserving property of quantum channels and further quantify the robustness measure of them. We believe that the gate verification is a promising way to benchmark a large-scale quantum circuit as well as to test its property.


title: Wave maps and constant curvature surfaces: singularities and bifurcations

abstract: Wave maps (or Lorentzian-harmonic maps) from a $1+1$-dimensional Lorentz space into the $2$-sphere are associated to constant negative Gaussian curvature surfaces in Euclidean 3-space via the Gauss map, which is harmonic with respect to the metric induced by the second fundamental form. We give a method for constructing germs of Lorentzian-harmonic maps from their $k$-jets and use this construction to study the singularities of such maps. We also show how to construct pseudospherical surfaces with prescribed singularities using loop groups. We study the singularities of pseudospherical surfaces and obtain their bifurcations in generic 1-parameter families of such surfaces.


title: Semiparametric Estimation of Correlated Random Coefficient Models without Instrumental Variables

abstract: We study a linear random coefficient model where slope parameters may be correlated with some continuous covariates. Such a model specification may occur in empirical research, for instance, when quantifying the effect of a continuous treatment observed at two time periods. We show one can carry identification and estimation without instruments. We propose a semiparametric estimator of average partial effects and of average treatment effects on the treated. We showcase the small sample properties of our estimator in an extensive simulation study. Among other things, we reveal that it compares favorably with a control function estimator. We conclude with an application to the effect of malaria eradication on economic development in Colombia.


title: Deep Learning with Persistent Homology for Orbital Angular Momentum (OAM) Decoding

abstract: Orbital angular momentum (OAM)-encoding has recently emerged as an effective approach for increasing the channel capacity of free-space optical communications. In this paper, OAM-based decoding is formulated as a supervised classification problem. To maintain lower error rate in presence of severe atmospheric turbulence, a new approach that combines effective machine learning tools from persistent homology and convolutional neural networks (CNNs) is proposed to decode the OAM modes. A Gaussian kernel with learnable parameters is proposed in order to connect persistent homology to CNN, allowing the system to extract and distinguish robust and unique topological features for the OAM modes. Simulation results show that the proposed approach achieves up to 20% gains in classification accuracy rate over state-of-the-art of method based on only CNNs. These results essentially show that geometric and topological features play a pivotal role in the OAM mode classification problem.


title: NeuMMU: Architectural Support for Efficient Address Translations in Neural Processing Units

abstract: To satisfy the compute and memory demands of deep neural networks, neural processing units (NPUs) are widely being utilized for accelerating deep learning algorithms. Similar to how GPUs have evolved from a slave device into a mainstream processor architecture, it is likely that NPUs will become first class citizens in this fast-evolving heterogeneous architecture space. This paper makes a case for enabling address translation in NPUs to decouple the virtual and physical memory address space. Through a careful data-driven application characterization study, we root-cause several limitations of prior GPU-centric address translation schemes and propose a memory management unit (MMU) that is tailored for NPUs. Compared to an oracular MMU design point, our proposal incurs only an average 0.06% performance overhead.


title: Autonomous Gaussian decomposition of the Galactic Ring Survey. I. Global statistics and properties of the 13CO emission data

abstract: The analysis of large molecular line surveys of the Galactic plane is essential for our understanding of the gas kinematics on Galactic scales, in particular its link with the formation and evolution of dense structures in the interstellar medium. An approximation of the emission peaks with Gaussian functions allows for an efficient and straightforward extraction of useful physical information contained in the shape and Doppler-shifted frequency of the emission lines contained in these enormous data sets. In this work we present an overview and first results of a Gaussian decomposition of the entire Galactic Ring Survey (GRS) 13CO (1-0) data that consists of about 2.3 million spectra. We performed the decomposition with the fully automated GaussPy+ algorithm and fitted about 4.6 million Gaussian components to the GRS spectra. We discuss the statistics of the fit components and relations between the fitted intensities, velocity centroids, and velocity dispersions. We find that the magnitude of the velocity dispersion values increase toward the inner Galaxy and around the Galactic midplane, which we speculate is partly due to the influence of the Galactic bar and regions with higher non-thermal motions located in the midplane, respectively. We also use our decomposition results to infer global properties of the gas emission and find that the number of fit components used per spectrum is indicative for the amount of structure along the line of sight. We find that the emission lines from regions located on the far side of the Galaxy show increased velocity dispersion values, likely due to beam averaging effects. We demonstrate how this trend has the potential to aid in characterising Galactic structure by disentangling emission that is belonging to the nearby Aquila Rift molecular cloud from emission that is more likely associated with the Perseus and Outer spiral arms.


title: Large-Scale Parallel Matching of Social Network Profiles

abstract: A profile matching algorithm takes as input a user profile of one social network and returns, if existing, the profile of the same person in another social network. Such methods have immediate applications in Internet marketing, search, security, and a number of other domains, which is why this topic saw a recent surge in popularity. In this paper, we present a user identity resolution approach that uses minimal supervision and achieves a precision of 0.98 at a recall of 0.54. Furthermore, the method is computationally efficient and easily parallelizable. We show that the method can be used to match Facebook, the most popular social network globally, with VKontakte, the most popular social network among Russian-speaking users.


title: The Mori fan of the Dolgachev-Nikulin-Voisin family in genus $2$

abstract: In this paper we study the Mori fan of the Dolgachev-Nikulin-Voisin family in degree $2$ as well as the associated secondary fan. The main result is an enumeration of all maximal dimensional cones of the two fans.


title: Some applications of Fibonacci and Lucas numbers

abstract: In this paper, we provide new applications of Fibonacci and Lucas numbers. In some circumstances, we find algebraic structures on some sets defined with these numbers, we generalize Fibonacci and Lucas numbers by using an arbitrary binary relation over the real fields instead of addition of the real numbers and we give properties of the new obtained sequences. Moreover, by using some relations between Fibonacci and Lucas numbers, we provide a method to find new examples of split quaternion algebras and we give new properties of these elements.


title: Observation of Acceleration of HI Clouds Within the Fermi Bubbles

abstract: The ~200 HI clouds observed to be entrained in the Fermi Bubble wind show a trend of increasing maximum |VLSR| with Galactic latitude. We analyze previous observations and present new data from the Green Bank Telescope that rule out systematic effects as the source of this phenomenon. Instead, it is likely evidence for acceleration of the clouds. The data suggest that clouds in the lower 2 kpc of the Fermi Bubbles, within the Bubble boundaries established from X-ray studies, have an outflow velocity that rises from ~150 - 200 km/s close to the Galactic Center and reaches ~330 km/s at a distance of 2.5 - 3.5 kpc. These parameters are also consistent with the kinematics of UV absorption lines from highly ionized species observed against two targets behind the Fermi Bubbles at $b = -6.6^{\circ}$, and $b = +11.2^{\circ}$. The implied neutral cloud lifetime is 4 - 10 Myr.


title: Great Impostors: Extremely Compact, Merging Binary Neutron Stars in the Mass Gap Posing as Binary Black Holes

abstract: Can one distinguish a binary black hole undergoing a merger from a binary neutron star if the individual compact companions have masses that fall inside the so-called mass gap of $3-5\ M_\odot$? For neutron stars, achieving such masses typically requires extreme compactness and in this work we present initial data and evolutions of binary neutron stars initially in quasiequilibrium circular orbits having a compactness $C=0.336$. These are the most compact, nonvacuum, quasiequilibrium binary objects that have been constructed and evolved to date, including boson stars. The compactness achieved is only slightly smaller than the maximum possible imposed by causality, $C_{\rm max}=0.355$, which requires the sound speed to be less than the speed of light. By comparing the emitted gravitational waveforms from the late inspiral to merger and postmerger phases between such a binary neutron star vs a binary black hole of the same total mass we identify concrete measurements that serve to distinguish them. With that level of compactness, the binary neutron stars exhibit no tidal disruption up until merger, whereupon a prompt collapse is initiated even before a common core forms. Within the accuracy of our simulations the black hole remnants from both binaries exhibit ringdown radiation that is not distinguishable from a perturbed Kerr spacetime. However, their inspiral leads to phase differences of the order of $\sim 5$ rad over an $\sim 81$ km separation (1.7 orbits) while typical neutron stars exhibit phase differences of $\geq 20$ rad. Although a difference of $\sim 5$ rad can be measured by current gravitational wave laser interferometers (e.g., aLIGO/Virgo), uncertainties in the individual masses and spins will likely prevent distinguishing such compact, massive neutron stars from black holes.


title: Multi-attention Networks for Temporal Localization of Video-level Labels

abstract: Temporal localization remains an important challenge in video understanding. In this work, we present our solution to the 3rd YouTube-8M Video Understanding Challenge organized by Google Research. Participants were required to build a segment-level classifier using a large-scale training data set with noisy video-level labels and a relatively small-scale validation data set with accurate segment-level labels. We formulated the problem as a multiple instance multi-label learning and developed an attention-based mechanism to selectively emphasize the important frames by attention weights. The model performance is further improved by constructing multiple sets of attention networks. We further fine-tuned the model using the segment-level data set. Our final model consists of an ensemble of attention/multi-attention networks, deep bag of frames models, recurrent neural networks and convolutional neural networks. It ranked 13th on the private leader board and stands out for its efficient usage of resources.


title: Stochastic decompositions in bivariate risk and queueing models with mutual assistance

abstract: We consider two bivariate models with two-way interactions in context of risk and queueing theory. The two entities interact with each other by providing assistance but otherwise evolve independently. We focus on certain random quantities underlying the joint survival probability and the joint stationary workload, and show that these admit stochastic decomposition. Each one can be seen as an independent sum of respective quantities for the two models with one-way interaction. Additionally, we discuss a rather general method of establishing decompositions from a given kernel equation by identifying two independent random variables from their difference, which may be useful for other models. Finally, we point out that the same decomposition is true for uncorrelated Brownian motion reflected to stay in an orthant, and it concerns the face measures appearing in the basic adjoint relationship.


title: Causal inference with recurrent data via inverse probability treatment weighting method (IPTW)

abstract: Propensity score methods are increasingly being used to reduce estimation bias of treatment effects for observational studies. Previous research has shown that propensity score methods consistently estimate the marginal hazard ratio for time to event data. However, recurrent data frequently arise in the biomedical literature and there is a paucity of research into the use of propensity score methods when data are recurrent in nature. The objective of this paper is to extend the existing propensity score methods to recurrent data setting. We illustrate our methods through a series of Monte Carlo simulations. The simulation results indicate that without the presence of censoring, the IPTW estimators allow us to consistently estimate the marginal hazard ratio for each event. Under administrative censoring regime, the stabilized IPTW estimator yields biased estimate of the marginal hazard ratio, and the degree of bias depends on the proportion of subjects being censored. For variance estimation, the na\"ive variance estimator often tends to substantially underestimate the variance of the IPTW estimator, while the robust variance estimator significantly reduces the estimation bias of the variance.


title: A Bootstrap-based Inference Framework for Testing Similarity of Paired Networks

abstract: We live in an interconnected world where network valued data arises in many domains, and, fittingly, statistical network analysis has emerged as an active area in the literature. However, the topic of inference in networks has received relatively less attention. In this work, we consider the paired network inference problem where one is given two networks on the same set of nodes, and the goal is to test whether the given networks are stochastically similar in terms of some notion of similarity. We develop a general inferential framework based on parametric bootstrap to address this problem. Under this setting, we address two specific and important problems: the equality problem, i.e., whether the two networks are generated from the same random graph model, and the scaling problem, i.e., whether the underlying probability matrices of the two random graph models are scaled versions of each other.


title: Expected difference of order statistics in terms of hazard rate

abstract: If the hazard rate $ \frac{ F'(x) }{ 1-F(x) } $ is increasing (in $x$), then $ \mathbb E\, ( X_{n:n} - X_{n-1:n} ) $ is decreasing (in $n$), and moreover, completely monotone.


title: Low Frequency Asymptotics and Electro-Magneto-Statics for Time-Harmonic Maxwell's Equations in Exterior Weak Lipschitz Domains with Mixed Boundary Conditions

abstract: We prove that the time-harmonic solutions to Maxwell's equations in a 3D exterior domain converge to a certain static solution as the frequency tends to zero. We work in weighted Sobolev spaces and construct new compactly supported replacements for Dirichlet-Neumann fields. Moreover, we even show convergence in operator norm.


title: Innovation and Strategic Network Formation

abstract: We study a model of innovation with a large number of firms that create new technologies by combining several discrete ideas. These ideas are created via private investment and spread between firms. Firms face a choice between secrecy, which protects existing intellectual property, and openness, which facilitates learning from others. Their decisions determine interaction rates between firms, and these interaction rates enter our model as link probabilities in a learning network. Higher interaction rates impose both positive and negative externalities, as there is more learning but also more competition. We show that the equilibrium learning network is at a critical threshold between sparse and dense networks. At equilibrium, the positive externality from interaction dominates: the innovation rate and welfare would be dramatically higher if the network were denser. So there are large returns to increasing interaction rates above the critical threshold. Nevertheless, several natural types of interventions fail to move the equilibrium away from criticality. One effective policy solution is to introduce informational intermediaries, such as public innovators who do not have incentives to be secretive. These intermediaries can facilitate a high-innovation equilibrium by transmitting ideas from one private firm to another.


title: The ratio $\rho^{pp}_{\bar pp}(s)$ in Froissaron and Maximal Odderon approach

abstract: The ratios $\rho^{pp}_{\bar pp}(s)$ of the real to the imaginary part of forward elastic $pp$ and $\bar pp$ scattering amplitudes at very high energies are considered in the models with rising total cross-sections and its difference. It is shown from the dispersion relations for $pp$ and $\bar pp$ scattering amplitudes that in the Froissaron and Maximal Odderon approach the ratios do not vanish asymptotically and they have the opposite signs for $pp$ and $\bar pp$ scattering.


title: Scintillation light production, propagation, and detection in the 4-ton dual-phase LAr-TPC demonstrator (data analysis and simulations)

abstract: The Deep Underground Neutrino Experiment (DUNE) Far Detector (FD) will be formed by four 10-kton Liquid Argon (LAr) Time Projection Chambers (TPC) using both single and dual-phase technology. The dual-phase technology foreseen the charge amplification in the gas phase before the signal collection and is following a staged approach to demonstrate its feasibility at the DUNE FD scale. In 2017, a 4-ton demonstrator of 3x1x1 m$^3$ volume was exposed to cosmic muons and demonstrated expected performance in terms of charge extraction and light collection. A bigger prototype (ProtoDUNE-DP), with an active volume of 6x6x6 m$^3$, is currently under commissioning at CERN. The photon detection system in these detectors is crucial to provide the trigger signal giving an absolute time reference for the charge acquisition system of rare non-beam events, and to provide complementary calorimetry. An overview of the analysis of the light collected in the 4-ton demonstrator has been presented. These prototypes confirmed the performance of the light detection system to provide trigger based on the scintillation light signal, to characterize the LAr response to the crossing muons and to monitor the LAr purity. The analyzed data are compared with MC simulations to improve the values of less understood LAr optical parameters such as the Rayleigh scattering length.


title: Ambipolar perovskite light electrochemical cell for transparent display devices

abstract: Perovskite light-emitting diodes (PeLEDs) have recently attracted great research luminescence at room temperature in interest for their narrow emissions and solution processability. Remarkable progress has been achieved PeLEDs in recent years. Here we present the new configuration of ambipolar transparent perovskite light emitting device. The combination of voltage induced p-i-n formation and ionically doped carbon electrodes and allows electroluminescence in forward and reverse bias. Here we present easy-to-do transparent ambipolar light emitting subpixel based on inorganic perovskite and single wall carbon nanotubes. For this experiment PeLEDs were assembled using a glass substrate with ITO stripes as bottom electrode; spin-coated CsPbBr3/I3:PEO composite as emissive layer; single wall carbon nanotubes deposited by a simple press transfer process at room temperature. We demonstrate a concept of stacked multicolor tandem pixel. Stack of transparent light emitting units might allow fine color tuning in parallel tandem connection without segregation compared to mixed halide perovskites. This configuration conforms pixel downsizing and make to fabrication of emissive multijunction pixels in a stack.


title: Explanatory Masks for Neural Network Interpretability

abstract: Neural network interpretability is a vital component for applications across a wide variety of domains. In such cases it is often useful to analyze a network which has already been trained for its specific purpose. In this work, we develop a method to produce explanation masks for pre-trained networks. The mask localizes the most important aspects of each input for prediction of the original network. Masks are created by a secondary network whose goal is to create as small an explanation as possible while still preserving the predictive accuracy of the original network. We demonstrate the applicability of our method for image classification with CNNs, sentiment analysis with RNNs, and chemical property prediction with mixed CNN/RNN architectures.


title: Exploring Configurations for Multi-user Communication in Virtual Reality

abstract: Virtual Reality (VR) enables users to collaborate while exploring scenarios not realizable in the physical world. We propose CollabVR, a distributed multi-user collaboration environment, to explore how digital content improves expression and understanding of ideas among groups. To achieve this, we designed and examined three possible configurations for participants and shared manipulable objects. In configuration (1), participants stand side-by-side. In (2), participants are positioned across from each other, mirrored face-to-face. In (3), called "eyes-free," participants stand side-by-side looking at a shared display, and draw upon a horizontal surface. We also explored a "telepathy" mode, in which participants could see from each other's point of view. We implemented "3DSketch" visual objects for participants to manipulate and move between virtual content boards in the environment. To evaluate the system, we conducted a study in which four people at a time used each of the three configurations to cooperate and communicate ideas with each other. We have provided experimental results and interview responses.


title: Adaptive Multi-scale Detection of Acoustic Events

abstract: The goal of acoustic (or sound) events detection (AED or SED) is to predict the temporal position of target events in given audio segments. This task plays a significant role in safety monitoring, acoustic early warning and other scenarios. However, the deficiency of data and diversity of acoustic event sources make the AED task a tough issue, especially for prevalent data-driven methods. In this paper, we start by analyzing acoustic events according to their time-frequency domain properties, showing that different acoustic events have different time-frequency scale characteristics. Inspired by the analysis, we propose an adaptive multi-scale detection (AdaMD) method. By taking advantage of the hourglass neural network and gated recurrent unit (GRU) module, our AdaMD produces multiple predictions at different temporal and frequency resolutions. An adaptive training algorithm is subsequently adopted to combine multi-scale predictions to enhance its overall capability. Experimental results on Detection and Classification of Acoustic Scenes and Events 2017 (DCASE 2017) Task 2, DCASE 2016 Task 3 and DCASE 2017 Task 3 demonstrate that the AdaMD outperforms published state-of-the-art competitors in terms of the metrics of event error rate (ER) and F1-score. The verification experiment on our collected factory mechanical dataset also proves the noise-resistant capability of the AdaMD, providing the possibility for it to be deployed in the complex environment.


title: Separating Local & Shuffled Differential Privacy via Histograms

abstract: Recent work in differential privacy has highlighted the shuffled model as a promising avenue to compute accurate statistics while keeping raw data in users' hands. We present a protocol in this model that estimates histograms with error independent of the domain size. This implies an arbitrarily large gap in sample complexity between the shuffled and local models. On the other hand, the models are equivalent when we impose the constraints of pure differential privacy and single-message randomizers.


title: Analysis of the light production and propagation in the 4-tonne dual-phase demonstrator

abstract: The Deep Underground Neutrino Experiment (DUNE) is a leading-edge experiment designed to perform neutrino science and proton decay searches. In particular, the far detector will consist of four 10-kton Liquid Argon (LAr) Time Projection Chambers using both single and dual-phase technologies. The latter provides charge amplification in the gaseous phase. In order to optimize these designs, two large prototypes are taking data at CERN since 2018. Previously, a dual-phase 4-tonne demonstrator was constructed and exposed to cosmic muons in 2017 and exhibited good performance in terms of charge and light collection. The light detection system is important to provide a trigger to the charge acquisition system and to obtain additional information from the scintillation light produced in the particle interaction. In the demonstrator, five cryogenic photo-multipliers were installed with different base polarity configurations and wavelength shifting methods. During the detector operation, scintillation light data were collected in different drift and amplification field conditions. An overview of the light detection system performance and results on the light production and propagation are presented. Our studies allowed to improve the understanding of some LAr properties.


title: Spectral characteristic of mid-term quasi-periodicities in sunspots data

abstract: Numerous analyses suggest the existence of various quasi-periodicities in solar activity. The power spectrum of solar activity recorded in sunspot data is dominated by the $\sim$11-year quasi-periodicity, known as the Schwabe cycle. In the mid-term range (1 month -- 11 years) a pronounced variability known as a quasi-biennial oscillation (QBO) is widely discussed. In the shorter time scale a pronounced peak, corresponding to the synodic solar rotation period ($\sim$ 27 days) is observed. Here we revisited the mid-term solar variability in terms of statistical dynamic of fully turbulent systems, where solid arguments are required to accept an isolated dominant frequency in a continuous (smooth) spectrum. For that, we first undertook an unbiased analysis of the standard solar data, sunspot numbers and the F10.7 solar radioflux index, by applying a wavelet tool, which allows one to perform a frequency-time analysis of the signal. Considering the spectral dynamics of solar activity cycle by cycle, we showed that no single periodicity can be separated, in a statistically significant manner, in the specified range of periods. We examine whether a model of solar dynamo can reproduce the mid-term oscillation pattern observed in solar data. We found that a realistically observed spectrum can be explained if small spatial (but not temporal) scales are effectively smoothed. This result is important because solar activity is a it global feature, although monitored via small-scale tracers like sunspots.


title: Adaptive Leader-Follower Formation Control and Obstacle Avoidance via Deep Reinforcement Learning

abstract: We propose a deep reinforcement learning (DRL) methodology for the tracking, obstacle avoidance, and formation control of nonholonomic robots. By separating vision-based control into a perception module and a controller module, we can train a DRL agent without sophisticated physics or 3D modeling. In addition, the modular framework averts daunting retrains of an image-to-action end-to-end neural network, and provides flexibility in transferring the controller to different robots. First, we train a convolutional neural network (CNN) to accurately localize in an indoor setting with dynamic foreground/background. Then, we design a new DRL algorithm named Momentum Policy Gradient (MPG) for continuous control tasks and prove its convergence. We also show that MPG is robust at tracking varying leader movements and can naturally be extended to problems of formation control. Leveraging reward shaping, features such as collision and obstacle avoidance can be easily integrated into a DRL controller.


title: History of Neutrino Magnetic Moment

abstract: In this historic Lomonosov conference on the occasion of 150 year anniversary of the Mendeleev's periodic table, I present the history of neutrino magnetic moment. It was first thought by Wolfgang Pauli and its magnitude was calculated during the gauge theory era.


title: The implications of Labour's plan to scrap Key Stage 2 tests for Progress 8 and secondary school accountability in England

abstract: In England, Progress 8 is the Conservative government's headline secondary school performance and accountability measure. Progress 8 attempts to measure the average academic progress pupils make in each school between their KS2 tests and their GCSE Attainment 8 examinations. The Labour opposition recently announced they would scrap the KS2 tests were they to be elected. Such a move, however, would preclude the publication of Progress 8 and would leave schools to be compared in terms of their average Attainment 8 scores or, at best, their Attainment 8 scores only adjusted for school differences in pupil demographic and socioeconomic characteristics. In this paper, we argue and illustrate empirically that this best-case scenario of an 'Adjusted Attainment 8' measure would prove less fair and meaningful than Progress 8 and therefore a backwards step, especially when Progress 8 itself has been criticised as biased against schools teaching educationally disadvantaged intakes.


title: Spectral stability of smooth solitary waves for the Degasperis-Procesi Equation

abstract: The Degasperis-Procesi equation is an approximating model of shallow-water wave propagating mainly in one direction to the Euler equations. Such a model equation is analogous to the Camassa-Holm approximation of the two-dimensional incompressible and irrotational Euler equations with the same asymptotic accuracy, and is integrable with the bi-Hamiltonian structure. In the present study, we establish existence and spectral stability results of localized smooth solitons to the Degasperis-Procesi equation on the real line. The stability proof relies essentially on refined spectral analysis of the linear operator corresponding to the second-order variational derivative of the Hamiltonian of the Degasperis-Procesi equation.


title: Surface charge theorem and topological constraints for edge states: An analytical study of one-dimensional nearest-neighbor tight-binding models

abstract: For a wide class of noninteracting tight-binding models in one dimension we present an analytical solution for all scattering and edge states on a half-infinite system. Without assuming any symmetry constraints we consider models with nearest-neighbor hoppings and one orbital per site but arbitrary size of the unit cell and generic modulations of on-site potentials and hoppings. The solutions are parametrized by determinants which can be calculated from recursion relations. This representation allows for an elegant analytic continuation to complex quasimomentum consistent with previous treatments for continuum models. Two important analytical results are obtained: (1) An explicit proof of the surface charge theorem is presented including a unique relationship between the boundary charge $Q_B^{(\alpha)}$ of a single band $\alpha$ and the bulk polarization in terms of the Zak-Berry phase with no unknown integer left. This establishes a precise form of a bulk-boundary correspondence relating the {\it boundary charge of a single band} to bulk properties. (2) We derive a topological constraint for the phase-dependence of the edge state energies, where the phase variable describes a continuous shift of the lattice towards the boundary. The topological constraint is shown to be equivalent to the quantization of a topological index $I=\Delta Q_B-\bar{\rho}\in \{-1,0\}$ introduced in an accompanying letter [arXiv:1911.06890]. Here $\Delta Q_B$ is the change of the boundary charge $Q_B$ for a given chemical potential in the insulating regime when the lattice is shifted by one site towards the boundary, and $\bar{\rho}$ is the average charge per site (both in units of the elementary charge $e=1$). This establishes an interesting link between universal properties of the boundary charge and edge state physics discussed within the field of topological insulators.


title: Using the Multirhodotron as an Advanced Rhodotron

abstract: This article assesses the use of a new type of electron accelerator, the Multirhodotron, for four new purposes that cannot be implemented using Rhodotrons and linacs. This study awards some arguments about possible replacement of nuclear reactors by electron accelerators in process of producing of medical isotopes on a global scale, about new possible electron accelerator for high energy, also describes new possibilities of actuation of free-electron lasers (FEL) at the megawatt level in the continuous wave (CW) mode, and suggests some decision of the use of Multirhodotron for technology of electron cooling in proton accelerators and colliders. Key words: Multirhodotron; Rhodotron; electron accelerator; powerful FEL; medical isotopes, electron cooling.


title: Variance partitioning in multilevel models for count data

abstract: A first step when fitting multilevel models to continuous responses is to explore the degree of clustering in the data. Researchers fit variance-component models and then report the proportion of variation in the response that is due to systematic differences between clusters. Equally they report the response correlation between units within a cluster. These statistics are popularly referred to as variance partition coefficients (VPCs) and intraclass correlation coefficients (ICCs). When fitting multilevel models to categorical (binary, ordinal, or nominal) and count responses, these statistics prove more challenging to calculate. For categorical response models, researchers appeal to their latent response formulations and report VPCs/ICCs in terms of latent continuous responses envisaged to underly the observed categorical responses. For standard count response models, however, there are no corresponding latent response formulations. More generally, there is a paucity of guidance on how to partition the variation. As a result, applied researchers are likely to avoid or inadequately report and discuss the substantive importance of clustering and cluster effects in their studies. A recent article drew attention to a little-known exact algebraic expression for the VPC/ICC for the special case of the two-level random-intercept Poisson model. In this article, we make a substantial new contribution. First, we derive exact VPC/ICC expressions for more flexible negative binomial models that allows for overdispersion, a phenomenon which often occurs in practice. Then we derive exact VPC/ICC expressions for three-level and random-coefficient extensions to these models. We illustrate our work with an application to student absenteeism.


title: New Query Lower Bounds for Submodular Function MInimization

abstract: We consider submodular function minimization in the oracle model: given black-box access to a submodular set function $f:2^{[n]}\rightarrow \mathbb{R}$, find an element of $\arg\min_S \{f(S)\}$ using as few queries to $f(\cdot)$ as possible. State-of-the-art algorithms succeed with $\tilde{O}(n^2)$ queries [LeeSW15], yet the best-known lower bound has never been improved beyond $n$ [Harvey08]. We provide a query lower bound of $2n$ for submodular function minimization, a $3n/2-2$ query lower bound for the non-trivial minimizer of a symmetric submodular function, and a $\binom{n}{2}$ query lower bound for the non-trivial minimizer of an asymmetric submodular function. Our $3n/2-2$ lower bound results from a connection between SFM lower bounds and a novel concept we term the cut dimension of a graph. Interestingly, this yields a $3n/2-2$ cut-query lower bound for finding the global mincut in an undirected, weighted graph, but we also prove it cannot yield a lower bound better than $n+1$ for $s$-$t$ mincut, even in a directed, weighted graph.


title: Topological invariants to characterize universality of boundary charge in one-dimensionalinsulators beyond symmetry constraints

abstract: In the absence of any symmetry constraints we address universal properties of the boundary charge $Q_B$ for a wide class of nearest-neighbor tight-binding models in one dimension with one orbital per site but generic modulations of on-site potentials and hoppings. We provide a precise formulation of the bulk-boundary correspondence relating the boundary charge of a single band uniquely to the Zak phase evaluated in a particular gauge. We reveal the topological nature of $Q_B$ by proving the quantization of a topological index $eI=\Delta Q_B - \bar{\rho}$, where $\Delta Q_B$ is the change of $Q_B$ when shifting the lattice by one site towards a boundary and $\bar{\rho}$ is the average charge per site. For a single band we find this index to be given by the winding number of the fundamental phase difference of the Bloch wave function between the two lattice sites defining the boundary of a half-infinite system. For a given chemical potential we establish a central topological constraint $I\in\{-1,0\}$ related only to charge conservation of particles and holes. Our results are shown to be stable against disorder and we propose generalizations to multi-channel and interacting systems.


title: One-loop divergences in 7D Einstein and 6D Conformal Gravities

abstract: The aim of this note is to unveil a striking equivalence between the one-loop divergences in 7D Einstein and 6D Conformal Gravities. The particular combination of 6D pointwise Weyl invariants of the 6D Conformal Gravity corresponds to that of Branson's Q-curvature and can be written solely in terms of the Ricci tensor and its covariant derivatives. The quadratic metric fluctuations of this action, 6D Weyl graviton, are endowed with a sixth-order kinetic operator that happens to factorize on a 6D Einstein background into product of three shifted Lichnerowicz Laplacians. We exploit this feature to use standard heat kernel techniques and work out in one go the UV logarithmic divergences of the theory that contains in this case the four Weyl anomaly coefficients. In a seemingly unrelated computation, we determine the one-loop IR logarithmic divergences of 7D Einstein Gravity in a particular 7D Poincar\'e-Einstein background that is asymptotically hyperbolic and has the above 6D Einstein manifold at its conformal infinity or boundary. We show the full equivalence of both computations, as an outgrowth of the IR/UV connection in AdS/CFT correspondence, and in this way the time-honoured one-loop calculations in Einstein and higher-derivative gravities take an interesting new turn.


title: Topological based classification using graph convolutional networks

abstract: In colored graphs, node classes are often associated with either their neighbors class or with information not incorporated in the graph associated with each node. We here propose that node classes are also associated with topological features of the nodes. We use this association to improve Graph machine learning in general and specifically, Graph Convolutional Networks (GCN). First, we show that even in the absence of any external information on nodes, a good accuracy can be obtained on the prediction of the node class using either topological features, or using the neighbors class as an input to a GCN. This accuracy is slightly less than the one that can be obtained using content based GCN. Secondly, we show that explicitly adding the topology as an input to the GCN does not improve the accuracy when combined with external information on nodes. However, adding an additional adjacency matrix with edges between distant nodes with similar topology to the GCN does significantly improve its accuracy, leading to results better than all state of the art methods in multiple datasets.


title: Imitation in the Imitation Game

abstract: We discuss the objectives of automation equipped with non-trivial decision making, or creating artificial intelligence, in the financial markets and provide a possible alternative. Intelligence might be an unintended consequence of curiosity left to roam free, best exemplified by a frolicking infant. For this unintentional yet welcome aftereffect to set in a foundational list of guiding principles needs to be present. A consideration of these requirements allows us to propose a test of intelligence for trading programs, on the lines of the Turing Test, long the benchmark for intelligent machines. We discuss the application of this methodology to the dilemma in finance, which is whether, when and how much to Buy, Sell or Hold.


title: Integrality of Linearizations of Polynomials over Binary Variables using Additional Monomials

abstract: Polynomial optimization problems over binary variables can be expressed as integer programs using a linearization with extra monomials in addition to those arising in the given polynomial. We characterize when such a linearization yields an integral relaxation polytope, generalizing work by Del Pia and Khajavirad (SIAM Journal on Optimization, 2018) and Buchheim, Crama and Rodr\'iguez-Heck (European Journal of Operations Research, 2019). We also present an algorithm that finds these extra monomials for a given polynomial to yield an integral relaxation polytope or determines that no such set of extra monomials exists. In the former case, our approach yields an algorithm to solve the given polynomial optimization problem as a compact LP, and we complement this with a purely combinatorial algorithm.


title: Delta-stepping SSSP: from Vertices and Edges to GraphBLAS Implementations

abstract: GraphBLAS is an interface for implementing graph algorithms. Algorithms implemented using the GraphBLAS interface are cast in terms of linear algebra-like operations. However, many graph algorithms are canonically described in terms of operations on vertices and/or edges. Despite the known duality between these two representations, the differences in the way algorithms are described using the two approaches can pose considerable difficulties in the adoption of the GraphBLAS as standard interface for development. This paper investigates a systematic approach for translating a graph algorithm described in the canonical vertex and edge representation into an implementation that leverages the GraphBLAS interface. We present a two-step approach to this problem. First, we express common vertex- and edge-centric design patterns using a linear algebraic language. Second, we map this intermediate representation to the GraphBLAS interface. We illustrate our approach by translating the delta-stepping single source shortest path algorithm from its canonical description to a GraphBLAS implementation, and highlight lessons learned when implementing using GraphBLAS.


title: A unified breaking onset criterion for surface gravity water waves in arbitrary depth

abstract: We investigate the validity and robustness of the Barthelemy et al. (2018) breaking wave onset prediction framework for surface gravity water waves in arbitrary water depth, including shallow water breaking over varying bathymetry. We show that the Barthelemy et al. (2018) breaking onset criterion, which they validated for deep and intermediate water depths, also segregates breaking crests from non-breaking crests in shallow water, with subsequent breaking always following the exceedance of their proposed generic breaking threshold. We consider a number of representative wave types, including regular, irregular, solitary, and focused waves, shoaling over idealized bed topographies including an idealized bar geometry and a mildly- to steeply-sloping planar beach. Our results show that the new breaking onset criterion is capable of detecting single and multiple breaking events in time and space in arbitrary water depth. Further, we show that the new generic criterion provides improved skill for signaling imminent breaking onset, relative to the available kinematic or geometric breaking onset criteria in the literature. In particular, the new criterion is suitable for use in wave-resolving models that cannot intrinsically detect the onset of wave breaking.


title: Flexoskeleton printing for versatile insect-inspired robots

abstract: One of the many secrets to the success and prevalence of insects is their versatile, robust, and complex exoskeleton morphology. A fundamental challenge in insect-inspired robotics has been the fabrication of robotic exoskeletons that can match the complexity of exoskeleton structural mechanics. Hybrid robots composed of rigid and soft elements have previously required access to expensive multi-material 3D printers, multi-step casting and machining processes, or limited material choice when using consumer-grade fabrication methods. Here we introduce a new design and fabrication process to rapidly construct flexible exoskeleton-inspired robots called flexoskeleton printing. We modify a consumer-grade fused deposition material (FDM) 3D printer to deposit filament directly onto a heated thermoplastic base layer which provides extremely strong bond strength between the deposited material and the inextensible, flexible base layer. This process significantly improves the fatigue resistance of printed components and enables a new class of insect-inspired robot morphologies. We demonstrate these capabilities through design and testing of a wide library of canonical flexoskeleton elements; ultimately leading to the integration of elements into a flexoskeleton walking legged robot.


title: Schwinger-Dyson equations for composite electrolytes governed by mixed electrostatic couplings strengths

abstract: The electrostatic Schwinger-Dyson equations are derived and solved for an electrolyte mixture composed of mono- and multivalent ions confined to a negatively charged nanoslit. The closure of these equations is based on an asymmetric treatment of the ionic species with respect to their electrostatic coupling strength; the weakly coupled monovalent ions are treated within a gaussian approximation while the multivalent counterions of high coupling strength are incorporated with a strong-coupling approach. The resulting self-consistent formalism includes explicitly the interactions of the multivalent counterions with the monovalent salt. In highly charged membranes characterized by a pronounced multivalent counterion adsorption, these interactions take over the salt-membrane charge coupling. As a result, the increment of the negative membrane charge brings further salt anions into the pore and excludes salt cations from the pore into the reservoir. The corresponding like-charge attraction and opposite-charge repulsion effect is amplified by the pore confinement but suppressed by salt addition into the reservoir. The effect is particularly pronounced in high dielectric membranes where the attractive polarization forces lead to a dense multivalent cation layer at the membrane walls. These cation layers act as an effective positive surface charge, resulting in a total monovalent cation exclusion and a strong anion excess even in the case of neutral membrane walls.


title: Constructing Infinitary Quotient-Inductive Types

abstract: This paper introduces an expressive class of quotient-inductive types, called QW-types. We show that in dependent type theory with uniqueness of identity proofs, even the infinitary case of QW-types can be encoded using the combination of inductive-inductive definitions involving strictly positive occurrences of Hofmann-style quotient types, and Abel's size types. The latter, which provide a convenient constructive abstraction of what classically would be accomplished with transfinite ordinals, are used to prove termination of the recursive definitions of the elimination and computation properties of our encoding of QW-types. The development is formalized using the Agda theorem prover.


title: On Hermite-Hadamard type inequalities for harmonical $h$-convex interval-valued functions

abstract: We introduce and investigate the concept of harmonical $h$-convexity for interval-valued functions. Under this new concept, we prove some new Hermite-Hadamard type inequalities for the interval Riemann integral.


title: f-electron charge densities probed using core level non-resonant inelastic x-ray scattering

abstract: Strongly correlated materials are characterized by the presence of electron-electron interactions in their electronic structure. They often have remarkable properties and transitions between competing phases of very different electronic and magnetic order. This thesis focuses on strongly correlated $f$-electron compounds containing Ce, Sm, and U. These materials exhibit a so-called heavy-fermion or Kondo-lattice behavior. They can become insulating due to hybridization effects (Kondo-insulator) or develop multipolar (hidden) order. Kondo insulators have recently been discussed in the context of strongly correlated topological insulators. This new aspect caused an enormous activity in the field of Kondo insulators, theoretically as well as experimentally. Multipolar order as well as the formation of a Kondo insulating state strongly depend on the symmetry of the $f$ states involved. Also the character of the surface states in a topological insulator is determined by the properties of the bulk states. Therefore the scope of this thesis has been to unveil the underlying symmetries of the bulk $f$ states. Here the compounds CeB$_6$, UO$_2$, and URu$_2$Si$_2$, which exhibit multipolar order, as well as the Kondo insulators (semimetals) SmB$_6$ and CeRu$_4$Sn$_6$ have been studied.


title: Label-similarity Curriculum Learning

abstract: Curriculum learning can improve neural network training by guiding the optimization to desirable optima. We propose a novel curriculum learning approach for image classification that adapts the loss function by changing the label representation. The idea is to use a probability distribution over classes as target label, where the class probabilities reflect the similarity to the true class. Gradually, this label representation is shifted towards the standard one-hot-encoding. That is, in the beginning minor mistakes are corrected less than large mistakes, resembling a teaching process in which broad concepts are explained first before subtle differences are taught. The class similarity can be based on prior knowledge. For the special case of the labels being natural words, we propose a generic way to automatically compute the similarities. The natural words are embedded into Euclidean space using a standard word embedding. The probability of each class is then a function of the cosine similarity between the vector representations of the class and the true label. The proposed label-similarity curriculum learning (LCL) approach was empirically evaluated using several popular deep learning architectures for image classification tasks applied to five datasets including ImageNet, CIFAR100, and AWA2. In all scenarios, LCL was able to improve the classification accuracy on the test data compared to standard training.


title: Query Complexity of Bayesian Private Learning

abstract: We study the query complexity of Bayesian Private Learning: a learner wishes to locate a random target within an interval by submitting queries, in the presence of an adversary who observes all of her queries but not the responses. How many queries are necessary and sufficient in order for the learner to accurately estimate the target, while simultaneously concealing the target from the adversary? Our main result is a query complexity lower bound that is tight up to the first order. We show that if the learner wants to estimate the target within an error of $\varepsilon$, while ensuring that no adversary estimator can achieve a constant additive error with probability greater than $1/L$, then the query complexity is on the order of $L\log(1/\varepsilon)$, as $\varepsilon \to 0$. Our result demonstrates that increased privacy, as captured by $L$, comes at the expense of a {multiplicative} increase in query complexity. Our proof method builds on Fano's inequality and a family of proportional-sampling estimators. As an illustration of the method's wider applicability, we generalize the complexity lower bound to settings involving high-dimensional linear query learning and partial adversary observation.


title: Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

abstract: Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. In particular, there has been a growing interest in adapting structure-aware neural methods to work with the underlying graph representations of logical expressions. While more effective than character and token-level approaches, graph-based methods have often made representational trade-offs that limited their ability to capture key structural properties of their inputs. In this work we propose a novel approach for embedding logical formulae that is designed to overcome the representational limitations of prior approaches. Our architecture works for logics of different expressivity; e.g., first-order and higher-order logic. We evaluate our approach on two standard datasets and show that the proposed architecture achieves state-of-the-art performance on both premise selection and proof step classification.


title: Coupling Matrix Manifolds and Their Applications in Optimal Transport

abstract: Optimal transport (OT) is a powerful tool for measuring the distance between two defined probability distributions. In this paper, we develop a new manifold named the coupling matrix manifold (CMM), where each point on CMM can be regarded as the transportation plan of the OT problem. We firstly explore the Riemannian geometry of CMM with the metric expressed by the Fisher information. These geometrical features of CMM have paved the way for developing numerical Riemannian optimization algorithms such as Riemannian gradient descent and Riemannian trust-region algorithms, forming a uniform optimization method for all types of OT problems. The proposed method is then applied to solve several OT problems studied by previous literature. The results of the numerical experiments illustrate that the optimization algorithms that are based on the method proposed in this paper are comparable to the classic ones, for example, the Sinkhorn algorithm, while outperforming other state-of-the-art algorithms without considering the geometry information, especially in the case of non-entropy optimal transport.


title: Applying Rational Envelope curves for skinning purposes

abstract: Special curves in the Minkowski space such as Minkowski Pythagorean hodographs play an important role in Computer Aided Geometric Design, and their usages have been thoroughly studied in the recent years. Also, several papers have been published which describe methods for interpolating Hermite data in R2,1 by MPH curves. Bizzarri et al.introduced the class of RE curves and presented an interpolation method for G1 Hermite data, where the resulting RE curve yields a rational boundary for the represented domain. We now propose a new application area for RE curves: skinning of a discrete set of input circles. We find the appropriate Hermite data to interpolate so that the obtained rational envelope curves touch each circle at previously defined points of contact. This way we overcome the problematic scenarios when the location of the touching points would not be appropriate for skinning purposes.


title: Strategy-Stealing is Non-Constructive

abstract: In many combinatorial games, one can prove that the first player wins under best play using a simple but non-constructive argument called strategy-stealing. This work is about the complexity behind these proofs: how hard is it to actually find a winning move in a game, when you know by strategy-stealing that one exists? We prove that this problem is PSPACE-hard already for Minimum Poset Games and Symmetric Maker-Maker Games, which are simple classes of games that capture two of the main types of strategy-stealing arguments in the current literature.


title: Topological neutron stars in tensor-multi-scalar theories of gravity

abstract: In the present paper we demonstrate that there exists a new type of neutron stars in the tensor-multi-scalar theories of gravity. We call this new type of neutron stars topological neutron stars. In addition to the standard characteristics of the usual neutron stars the topological neutron stars are also characterized by a topological charge. We numerical construct explicit examples of topological neutron stars in tensor-multi-scalar theories whose target space is $\mathbb{S}^3$. Besides the topological charge the topological neutron stars also exhibit other attractive features which can place them among the realistic compact objects that could exist in Nature. For example they possess zero scalar charge and thus evades the strong binary pulsar constraints on the dipole scalar radiation.


title: Homogenization of oblique boundary value problems

abstract: We consider a nonlinear Neumann problem, with periodic oscillation in the elliptic operator and on the boundary condition. Our focus is on problems posed in half-spaces, but with general normal directions that may not be parallel to the directions of periodicity. As the frequency of the oscillation grows, quantitative homogenization results are derived. When the homogenized operator is rotation-invariant, we prove the H\"{o}lder continuity of the homogenized boundary data.


title: CNN-based Dual-Chain Models for Knowledge Graph Learning

abstract: Knowledge graph learning plays a critical role in integrating domain specific knowledge bases when deploying machine learning and data mining models in practice. Existing methods on knowledge graph learning primarily focus on modeling the relations among entities as translations among the relations and entities, and many of these methods are not able to handle zero-shot problems, when new entities emerge. In this paper, we present a new convolutional neural network (CNN)-based dual-chain model. Different from translation based methods, in our model, interactions among relations and entities are directly captured via CNN over their embeddings. Moreover, a secondary chain of learning is conducted simultaneously to incorporate additional information and to enable better performance. We also present an extension of this model, which incorporates descriptions of entities and learns a second set of entity embeddings from the descriptions. As a result, the extended model is able to effectively handle zero-shot problems. We conducted comprehensive experiments, comparing our methods with 15 methods on 8 benchmark datasets. Extensive experimental results demonstrate that our proposed methods achieve or outperform the state-of-the-art results on knowledge graph learning, and outperform other methods on zero-shot problems. In addition, our methods applied to real-world biomedical data are able to produce results that conform to expert domain knowledge.


title: The quadratic Wasserstein metric for inverse data matching

abstract: This work characterizes, analytically and numerically, two major effects of the quadratic Wasserstein ($W_2$) distance as the measure of data discrepancy in computational solutions of inverse problems. First, we show, in the infinite-dimensional setup, that the $W_2$ distance has a smoothing effect on the inversion process, making it robust against high-frequency noise in the data but leading to a reduced resolution for the reconstructed objects at a given noise level. Second, we demonstrate that for some finite-dimensional problems, the $W_2$ distance leads to optimization problems that have better convexity than the classical $L^2$ and $H^{-1}$ distances, making it a more preferred distance to use when solving such inverse matching problems.


title: Fixed-horizon Active Hypothesis Testing

abstract: Two active hypothesis testing problems are formulated. In these problems, the agent can perform a fixed number of experiments and then decide on one of the hypotheses. The agent is also allowed to declare its experiments inconclusive if needed. The first problem is an asymmetric formulation in which the the objective is to minimize the probability of incorrectly declaring a particular hypothesis to be true while ensuring that the probability of correctly declaring that hypothesis is moderately high. This formulation can be seen as a generalization of the formulation in the classical Chernoff-Stein lemma to an active setting. The second problem is a symmetric formulation in which the objective is to minimize the probability of making an incorrect inference (misclassification probability) while ensuring that the true hypothesis is declared conclusively with moderately high probability. For these problems, lower and upper bounds on the optimal misclassification probabilities are derived and these bounds are shown to be asymptotically tight. Classical approaches for experiment selection suggest use of randomized and, in some cases, open-loop strategies. As opposed to these classical approaches, fully deterministic and adaptive experiment selection strategies are provided. It is shown that these strategies are asymptotically optimal and further, using numerical experiments, it is demonstrated that these novel experiment selection strategies (coupled with appropriate inference strategies) have a significantly better performance in the non-asymptotic regime.

categories: eess.SY cs.IT cs.SY math.IT math.ST stat.TH


title: Granular Motor State Monitoring of Free Living Parkinson's Disease Patients via Deep Learning

abstract: Parkinson's disease (PD) is the second most common neurodegenerative disease worldwide and affects around 1% of the (60+ years old) elderly population in industrial nations. More than 80% of PD patients suffer from motor symptoms, which could be well addressed if a personalized medication schedule and dosage could be administered to them. However, such personalized medication schedule requires a continuous, objective and precise measurement of motor symptoms experienced by the patients during their regular daily activities. In this work, we propose the use of a wrist-worn smart-watch, which is equipped with 3D motion sensors, for estimating the motor fluctuation severity of PD patients in a free-living environment. We introduce a novel network architecture, a post-training scheme and a custom loss function that accounts for label noise to improve the results of our previous work in this domain and to establish a novel benchmark for nine-level PD motor state estimation.


title: Local minimizers with unbounded vorticity for the $2$d Ginzburg-Landau functional

abstract: A central focus of Ginzburg-Landau theory is the understanding and characterization of vortex configurations. On a bounded domain $\Omega\subseteq \mathbb{R}^2,$ global minimizers, and critical states in general, of the corresponding energy functional have been studied thoroughly in the limit $\epsilon\to 0,$ where $\epsilon>0$ is the inverse of the Ginzburg-Landau parameter. The presence of an applied magnetic field of strength $h_{ex}\gg 1$ makes possible the existence of stable vortex states. A notable open problem is whether there are solutions of the Ginzburg-Landau equation for any number of vortices below $ h_{ex} |\Omega| /2 \pi,$ for external fields of up to super-heating field strength. The best earlier partial results give, for every $0<c<1,$ and $K>0,$ the existence of local minimizers of the Ginzburg-Landau functional with a prescribed number of vortices in the range $1 \leq N \leq \min \{ K | \log \epsilon |, c ( h_{ex} |\Omega| /2 \pi ) \}$ and for values of $1\ll_\epsilon h_{ex}$ smaller than a power of the Ginzburg-Landau parameter. In this paper, we prove that there are constants $K_1, \alpha>0$ such that given natural numbers satisfying \[1\leq N \leq \frac{h_{ex}}{2\pi}(|\Omega|-h_{ex}^{-1/4}),\] local minimizers of the Ginzburg-Landau functional with this many vortices exist, for fields such that $K_1\leq h_{ex} \leq 1/\epsilon^{\alpha}.$ Our strategy consists in combining: the minimization over a subset of configurations for which we can obtain a very precise localization of vortices; expansion of the energy in terms of a modified vortex interaction energy that allows for a reduction to a potential theory problem; and a quantitative vortex separation result for admissible configurations. Our results provide detailed information about the vorticity and refined asymptotics of the local minimizers that we construct.


title: Evaluating robustness of language models for chief complaint extraction from patient-generated text

abstract: Automated classification of chief complaints from patient-generated text is a critical first step in developing scalable platforms to triage patients without human intervention. In this work, we evaluate several approaches to chief complaint classification using a novel Chief Complaint (CC) Dataset that contains ~200,000 patient-generated reasons-for-visit entries mapped to a set of 795 discrete chief complaints. We examine the use of several fine-tuned bidirectional transformer (BERT) models trained on both unrelated texts as well as on the CC dataset. We contrast this performance with a TF-IDF baseline. Our evaluation has three components: (1) a random test hold-out from the original dataset; (2) a "misspelling set," consisting of a hand-selected subset of the test set, where every entry has at least one misspelling; (3) a separate experimenter-generated free-text set. We find that the TF-IDF model performs significantly better than the strongest BERT-based model on the test (best BERT PR-AUC $0.3597 \pm 0.0041$ vs TF-IDF PR-AUC $0.3878 \pm 0.0148$, $p=7\cdot 10^{-5}$), and is statistically comparable to the misspelling sets (best BERT PR-AUC $0.2579 \pm 0.0079$ vs TF-IDF PR-AUC $0.2733 \pm 0.0130$, $p=0.06$). However, when examining model predictions on experimenter-generated queries, some concerns arise about TF-IDF baseline's robustness. Our results suggest that in certain tasks, simple language embedding baselines may be very performant; however, truly understanding their robustness requires further analysis.


title: Regularity and asymptotic behavior of laminar flames in higher dimensions

abstract: We study a parabolic free boundary problem, arising from a model for the propagation of equi-diffusional premixed flames with high activation energy. If an initial data is compactly supported, then the solution vanishes in a finite time, called the extinction time. In this paper, we give a quantitative estimate on the flatness of the free boundary and prove that the free boundary is asymptotically spherical and the solution is asymptotically self-similar.


title: Topotactic hydrogen in nickelate superconductors and akin infinite-layer oxides ABO2

abstract: Superconducting nickelates appear to be difficult to synthesize. Since the chemical reduction of ABO3 (A: rare earth; B transition metal) with CaH2 may result in both, ABO2 and ABO2H, we calculate the topotactic H binding energy by density functional theory (DFT). We find intercalating H is energetically favorable for LaNiO2 but not for Sr-doped NdNiO2. This has dramatic consequences for the electronic structure as determined by DFT+dynamical mean field theory: that of 3d9 LaNiO2 is similar to (doped) cuprates, 3d8 LaNiO2H is a two-orbital Mott insulator. Topotactical H might hence explain why some nickelates are superconducting and others are not.


title: Towards Design Methodology of Efficient Fast Algorithms for Accelerating Generative Adversarial Networks on FPGAs

abstract: Generative adversarial networks (GANs) have shown excellent performance in image and speech applications. GANs create impressive data primarily through a new type of operator called deconvolution (DeConv) or transposed convolution (Conv). To implement the DeConv layer in hardware, the state-of-the-art accelerator reduces the high computational complexity via the DeConv-to-Conv conversion and achieves the same results. However, there is a problem that the number of filters increases due to this conversion. Recently, Winograd minimal filtering has been recognized as an effective solution to improve the arithmetic complexity and resource efficiency of the Conv layer. In this paper, we propose an efficient Winograd DeConv accelerator that combines these two orthogonal approaches on FPGAs. Firstly, we introduce a new class of fast algorithm for DeConv layers using Winograd minimal filtering. Since there are regular sparse patterns in Winograd filters, we further amortize the computational complexity by skipping zero weights. Secondly, we propose a new dataflow to prevent resource underutilization by reorganizing the filter layout in the Winograd domain. Finally, we propose an efficient architecture for implementing Winograd DeConv by designing the line buffer and exploring the design space. Experimental results on various GANs show that our accelerator achieves up to 1.78x~8.38x speedup over the state-of-the-art DeConv accelerators.


title: Improved Document Modelling with a Neural Discourse Parser

abstract: Despite the success of attention-based neural models for natural language generation and classification tasks, they are unable to capture the discourse structure of larger documents. We hypothesize that explicit discourse representations have utility for NLP tasks over longer documents or document sequences, which sequence-to-sequence models are unable to capture. For abstractive summarization, for instance, conventional neural models simply match source documents and the summary in a latent space without explicit representation of text structure or relations. In this paper, we propose to use neural discourse representations obtained from a rhetorical structure theory (RST) parser to enhance document representations. Specifically, document representations are generated for discourse spans, known as the elementary discourse units (EDUs). We empirically investigate the benefit of the proposed approach on two different tasks: abstractive summarization and popularity prediction of online petitions. We find that the proposed approach leads to improvements in all cases.


title: A Fully Stochastic Second-Order Trust Region Method

abstract: A stochastic second-order trust region method is proposed, which can be viewed as a second-order extension of the trust-region-ish (TRish) algorithm proposed by Curtis et al. (INFORMS J. Optim. 1(3) 200-220, 2019). In each iteration, a search direction is computed by (approximately) solving a trust region subproblem defined by stochastic gradient and Hessian estimates. The algorithm has convergence guarantees for stochastic minimization in the fully stochastic regime, meaning that guarantees hold when each stochastic gradient is required merely to be an unbiased estimate of the true gradient with bounded variance and when the stochastic Hessian estimates are bounded uniformly in norm. The algorithm is also equipped with a worst-case complexity guarantee in the nearly deterministic regime, i.e., when the stochastic gradient and Hessian estimates are very close in expectation to the true gradients and Hessians. The results of numerical experiments for training convolutional neural networks for image classification and training a recurrent neural network for time series forecasting are presented. These results show that the algorithm can outperform a stochastic gradient approach and the first-order TRish algorithm in practice.


title: Precise Spatial Memory in Local Random Networks

abstract: Self-sustained, elevated neuronal activity persisting on time scales of ten seconds or longer is thought to be vital for aspects of working memory, including brain representations of real space. Continuous-attractor neural networks, one of the most well-known modeling frameworks for persistent activity, have been able to model crucial aspects of such spatial memory. These models tend to require highly structured or regular synaptic architectures. In contrast, we elaborate a geometrically-embedded model with a local but otherwise random connectivity profile which, combined with a global regulation of the mean firing rate, produces localized, finely spaced discrete attractors that effectively span a 2D manifold. We demonstrate how the set of attracting states can reliably encode a representation of the spatial locations at which the system receives external input, thereby accomplishing spatial memory via attractor dynamics without synaptic fine-tuning or regular structure. We measure the network's storage capacity and find that the statistics of retrievable positions are also equivalent to a full tiling of the plane, something hitherto achievable only with (approximately) translationally invariant synapses, and which may be of interest in modeling such biological phenomena as visuospatial working memory in two dimensions.


title: Benanza: Automatic $\mu$Benchmark Generation to Compute "Lower-bound" Latency and Inform Optimizations of Deep Learning Models on GPUs

abstract: As Deep Learning (DL) models have been increasingly used in latency-sensitive applications, there has been a growing interest in improving their response time. An important venue for such improvement is to profile the execution of these models and characterize their performance to identify possible optimization opportunities. However, the current profiling tools lack the highly desired abilities to characterize ideal performance, identify sources of inefficiency, and quantify the benefits of potential optimizations. Such deficiencies have led to slow characterization/optimization cycles that cannot keep up with the fast pace at which new DL models are introduced. We propose Benanza, a sustainable and extensible benchmarking and analysis design that speeds up the characterization/optimization cycle of DL models on GPUs. Benanza consists of four major components: a model processor that parses models into an internal representation, a configurable benchmark generator that automatically generates micro-benchmarks given a set of models, a database of benchmark results, and an analyzer that computes the "lower-bound" latency of DL models using the benchmark data and informs optimizations of model execution. The "lower-bound" latency metric estimates the ideal model execution on a GPU system and serves as the basis for identifying optimization opportunities in frameworks or system libraries. We used Benanza to evaluate 30 ONNX models in MXNet, ONNX Runtime, and PyTorch on 7 GPUs ranging from Kepler to the latest Turing, and identified optimizations in parallel layer execution, cuDNN convolution algorithm selection, framework inefficiency, layer fusion, and using Tensor Cores.


title: Copper ion dynamics and phase segregation in Cu-rich tetrahedrite: an NMR study

abstract: $^{63}$Cu NMR measurements are reported for the Cu-rich phase of \ch{Cu_{12+x}Sb4S13} ($x \lesssim 2$) and compared to \ch{Cu12Sb4S13}. We identify the NMR signatures of the phase segregation into Cu-poor ($x \approx 0$) and Cu-rich ($x \lesssim 2$) phases, with the metal-insulator transition observed in \ch{Cu12Sb4S13} suppressed in the Cu-rich phase. Based on NMR $T_1$ and $T_2$ measurements, the results demonstrate Cu-ion hopping below room temperature with an activation energy of $\sim$150 meV for the Cu-rich phase, consistent with superionic behavior. The NMR results also demonstrate the effects of Cu-ion mobility in the \ch{Cu12Sb4S13} phase, but with a larger activation barrier. We identify a small difference in NMR Knight shift for the metallic phase of \ch{Cu12Sb4S13}, compared to the Cu-rich phase, and when compared to DFT calculations the results indicate a mix of hyperfine contributions to the metallic shift.


title: Approximating the Distance to Monotonicity of Boolean Functions

abstract: We design a nonadaptive algorithm that, given oracle access to a function $f: \{0,1\}^n \to \{0,1\}$ which is $\alpha$-far from monotone, makes poly$(n, 1/\alpha)$ queries and returns an estimate that, with high probability, is an $\widetilde{O}(\sqrt{n})$-approximation to the distance of $f$ to monotonicity. The analysis of our algorithm relies on an improvement to the directed isoperimetric inequality of Khot, Minzer, and Safra (SIAM J. Comput., 2018). Furthermore, we rule out a poly$(n, 1/\alpha)$-query nonadaptive algorithm that approximates the distance to monotonicity significantly better by showing that, for all constant $\kappa > 0,$ every nonadaptive $n^{1/2 - \kappa}$-approximation algorithm for this problem requires $2^{n^\kappa}$ queries. This answers a question of Seshadhri (Property Testing Review, 2014) for the case of nonadaptive algorithms. We obtain our lower bound by proving an analogous bound for erasure-resilient (and tolerant) testers. Our method also yields the same lower bounds for unateness and being a $k$-junta.


title: Spatially-Resolved Spectroscopic Properties of Low-Redshift Star-Forming Galaxies

abstract: I review here the spatially-resolved spectroscopic properties of low-redshift star-forming galaxies (and their retired counter-parts), using results from the most recent Integral Field Spectroscopy galaxy surveys. First, I briefly summarise the global spectroscopic properties of these galaxies, discussing the main ionization processes, and the global relations described between the star-formation rates, oxygen abundances, and average properties of their stellar populations (age and metallicity) with the stellar mass. Second, I present the local distribution of the ionizing processes, down to kiloparsec scales, and I show how the global scaling relations found between integrated parameters (like the star-formation main sequence, mass-metallicity relation and Schmidt-Kennicutt law) present local/resolved counter-parts, with the global ones being just integrated/average versions of the local ones. I discuss the local/resolved star-formation and chemical enrichment histories and their implication on the inside-out growth of galaxies. Third, I present the radial distributions of the surface densities of the properties explored globally, and how they depend on the integrated galaxy properties. Finally, I summarise all these results and discuss what we have learned from them regarding the evolution of galaxies. Final version in Journal Page: https://www.annualreviews.org/doi/pdf/10.1146/annurev-astro-012120-013326


title: Exponentially slow motion of interface layers for the one-dimensional Allen-Cahn equation with nonlinear phase-dependent diffusivity

abstract: This paper considers a one-dimensional generalized Allen-Cahn equation of the form \[ u_t = \varepsilon^2 (D(u)u_x)_x - f(u), \] where $\varepsilon>0$ is constant, $D=D(u)$ is a positive, uniformly bounded below diffusivity coefficient that depends on the phase field $u$ and $f(u)$ is a reaction function that can be derived from a double-well potential with minima at two pure phases $u = \alpha$ and $u = \beta$. It is shown that interface layers (namely, solutions that are equal to $\alpha$ or $\beta$ except at a finite number of thin transitions of width $\varepsilon$) persist for an exponentially long time proportional to $\exp(C/\varepsilon)$, where $C > 0$ is a constant. In other words, the emergence and persistence of \emph{metastable patterns} for this class of equations is established. For that purpose, we prove energy bounds for a renormalized effective energy potential of Ginzburg-Landau type. Numerical simulations, which confirm the analytical results, are also provided.


title: A class of quasilinear second order partial differential equations which describe spherical or pseudospherical surfaces

abstract: Second order partial differential equations which describe spherical surfaces (ss) or pseudospherical surfaces (pss) are considered. These equations are equivalent to the structure equations of a metric with Gaussian curvature $K = 1$ or $K = -1$, respectively, and they can be seen as the compatibility condition of an associated su(2)-valued or sl(2, R)-valued linear problem, also referred to as a zero curvature representation. Under certain assumptions we give a complete and explicit classiffcation of equations of the form $z_{tt} = A(z, z_x , z_t) z_{xx} + B(z, z_x , z_t ) z_{xt} + C(z, z_x , z_t)$ describing pss or ss, in terms of some arbitrary differentiable functions. Several examples of such equations are provided by choosing the arbitrary functions. In particular, well known equations which describe pseudospherical surfaces, such as the short pulse and the constant astigmatism equations, as well as their generalizations and their spherical analogues are included in the paper.


title: Generalized Maximum Causal Entropy for Inverse Reinforcement Learning

abstract: We consider the problem of learning from demonstrated trajectories with inverse reinforcement learning (IRL). Motivated by a limitation of the classical maximum entropy model in capturing the structure of the network of states, we propose an IRL model based on a generalized version of the causal entropy maximization problem, which allows us to generate a class of maximum entropy IRL models. Our generalized model has an advantage of being able to recover, in addition to a reward function, another expert's function that would (partially) capture the impact of the connecting structure of the states on experts' decisions. Empirical evaluation on a real-world dataset and a grid-world dataset shows that our generalized model outperforms the classical ones, in terms of recovering reward functions and demonstrated trajectories.


title: High-numerical-aperture and long-working-distance objectives for single-atom experiments

abstract: We present two long-working-distance objective lenses with numerical apertures (NA) of 0.29 and 0.4 for single-atom experiments. The objective lenses are assembled entirely by the commercial on-catalog $\Phi$1'' singlets. Both the objectives are capable to correct the spherical aberrations due to the standard flat vacuum glass windows with various thickness. The working distances of NA$=0.29$ and NA$=0.4$ objectives are 34.6 mm and 18.2 mm, respectively, at the design wavelength of 852 nm with 5-mm thick silica window. In addition, the objectives can also be optimized to work at diffraction limit at single wavelength in the entire visible and near infrared regions by slightly tuning the distance between the first two lenses. The diffraction limited fields of view for NA$=0.29$ and NA$=0.4$ objectives are 0.62 mm and 0.61 mm, and the spatial resolutions are 1.8 $\mu$m and 1.3 $\mu$m at the design wavelength. The performances are simulated by the commercial ray-tracing software and confirmed by imaging the resolution chart and a 1.18 $\mu$m pinhole. The two objectives can be used for trapping and manipulating single atoms of various species.


title: Inverse Reinforcement Learning with Missing Data

abstract: We consider the problem of recovering an expert's reward function with inverse reinforcement learning (IRL) when there are missing/incomplete state-action pairs or observations in the demonstrated trajectories. This issue of missing trajectory data or information occurs in many situations, e.g., GPS signals from vehicles moving on a road network are intermittent. In this paper, we propose a tractable approach to directly compute the log-likelihood of demonstrated trajectories with incomplete/missing data. Our algorithm is efficient in handling a large number of missing segments in the demonstrated trajectories, as it performs the training with incomplete data by solving a sequence of systems of linear equations, and the number of such systems to be solved does not depend on the number of missing segments. Empirical evaluation on a real-world dataset shows that our training algorithm outperforms other conventional techniques.


title: The effect of external electric fields on silicon with superconducting gallium nano-precipitates

abstract: Motivated by potential transformative applications of nanoelectronic circuits that incorporate superconducting elements, and by the advantages of integrating these elements in a silicon materials platform, we investigate the properties of the superconductivity of silicon ion-implanted with gallium. Here we measure 40 different samples and explore both a variety of preparation methods (yielding both superconducting and non-superconducting samples), and the reproducibility of one of the preparation methods yielding superconducting samples. While we find agreement with the existing literature that superconducting effects are visible in this system, we also find that this superconductivity is not influenced by voltages applied to a top gate. The superconductivity in this materials system is not gateable for applied electric fields as large as 8 MV/cm. We also present results of scanning transmission electron microscopy imaging of some of the same samples for which we report electronic characterization. In agreement with the existing literature, we find that the presence of Ga precipitates is essential to the presence of a superconducting transition in these samples. However, we also find evidence for large inhomogeneities in this system, which we discuss in connection with the lack of gateability we report here.


title: 3D Conditional Generative Adversarial Networks to enable large-scale seismic image enhancement

abstract: We propose GAN-based image enhancement models for frequency enhancement of 2D and 3D seismic images. Seismic imagery is used to understand and characterize the Earth's subsurface for energy exploration. Because these images often suffer from resolution limitations and noise contamination, our proposed method performs large-scale seismic volume frequency enhancement and denoising. The enhanced images reduce uncertainty and improve decisions about issues, such as optimal well placement, that often rely on low signal-to-noise ratio (SNR) seismic volumes. We explored the impact of adding lithology class information to the models, resulting in improved performance on PSNR and SSIM metrics over a baseline model with no conditional information.


title: Thin subgroups isomorphic to Gromov--Piatetski-Shapiro lattices

abstract: In this paper we produce many examples of thin subgroups of special linear groups that are isomorphic to the fundamental groups of non-arithmetic hyperbolic manifolds. Specifically, we show that the non-arithmetic lattices in $\mathrm{SO}(n,1)$ constructed by Gromov and Piatetski-Shapiro can be embedded into $\mathrm{SL}_{n+1}(\mathbb{R})$ so that their images are thin subgroups


title: The Creation and Validation of Load Time Series for Synthetic Electric Power Systems

abstract: Synthetic power systems that imitate functional and statistical characteristics of the actual grid have been developed to promote researchers' access to public system models. Developing time series to represent different operating conditions of these synthetic systems will expand the potential of synthetic power systems applications. This paper proposes a methodology to create synthetic time series of bus-level load using publicly available data. Comprehensive validation metrics are provided to assure that the quality of synthetic time series data is sufficiently realistic. This paper also includes an example application in which the methodology is used to construct load scenarios for a 10,000-bus synthetic case.


title: Fairness With Minimal Harm: A Pareto-Optimal Approach For Healthcare

abstract: Common fairness definitions in machine learning focus on balancing notions of disparity and utility. In this work, we study fairness in the context of risk disparity among sub-populations. We are interested in learning models that minimize performance discrepancies across sensitive groups without causing unnecessary harm. This is relevant to high-stakes domains such as healthcare, where non-maleficence is a core principle. We formalize this objective using Pareto frontiers, and provide analysis, based on recent works in fairness, to exemplify scenarios were perfect fairness might not be feasible without doing unnecessary harm. We present a methodology for training neural networks that achieve our goal by dynamically re-balancing subgroups risks. We argue that even in domains where fairness at cost is required, finding a non-unnecessary-harm fairness model is the optimal initial step. We demonstrate this methodology on real case-studies of predicting ICU patient mortality, and classifying skin lesions from dermatoscopic images.


title: Classes of barren extensions

abstract: Henle, Mathias, and Woodin proved that, provided that $\omega\rightarrow(\omega)^{\omega}$ holds in a model $M$ of ZF, then forcing with $([\omega]^{\omega},\subseteq^*)$ over $M$ adds no new sets of ordinals, thus earning the name a "barren" extension. Moreover, under an additional assumption, they proved that this generic extension preserves all strong partition cardinals. This forcing thus produces a model $M[\mathcal{U}]$, where $\mathcal{U}$ is a Ramsey ultrafilter, with many properties of the original model $M$. This begged the question of how important the Ramseyness of $\mathcal{U}$ is for these results. In this paper, we show that several classes of $\sigma$-closed forcings which generate non-Ramsey ultrafilters have the same properties. Such ultrafilters include Milliken-Taylor ultrafilters, a class of rapid p-points of Laflamme, $k$-arrow p-points of Baumgartner and Taylor, and extensions to a class of ultrafilters constructed by Dobrinen, Mijares and Trujillo. Furthermore, the class of Boolean algebras $\mathcal{P}(\omega^{\alpha})/\mathrm{Fin}^{\otimes \alpha}$, $2\le \alpha<\omega_1$, forcing non-p-points also produce barren extensions.


title: Infinite energy equivariant harmonic maps, domination, and anti-de Sitter $3$-manifolds

abstract: We generalize a well-known existence and uniqueness result for equivariant harmonic maps due to Corlette, Donaldson, and Labourie to a non-compact infinite energy setting and analyze the asymptotic behaviour of the harmonic maps. When the relevant representation is Fuchsian and has hyperbolic monodromy, our construction recovers a family of harmonic maps originally studied by Wolf. We employ these maps to solve a domination problem for representations. In particular, following ideas laid out by Deroin-Tholozan, we prove that any representation from a finitely generated free group to the isometry group of a CAT$(-1)$ Hadamard manifold is strictly dominated in length spectrum by a large collection of Fuchsian ones. As an intermediate step in the proof, we obtain a result of independent interest: parametrizations of certain Teichm{\"u}ller spaces by holomorphic quadratic differentials. The main consequence of the domination result is the existence of a new collection of anti-de Sitter $3$-manifolds. We also present an application to the theory of minimal immersions into the Grassmanian of timelike planes in $\mathbb{R}^{2,2}$.


title: Characterizing Magnetized Plasmas with Dynamic Mode Decomposition

abstract: Accurate and efficient plasma models are essential to understand and control experimental devices. Existing magnetohydrodynamic or kinetic models are nonlinear, computationally intensive, and can be difficult to interpret, while often only approximating the true dynamics. In this work, data-driven techniques recently developed in the field of fluid dynamics are leveraged to develop interpretable reduced-order models of plasmas that strike a balance between accuracy and efficiency. In particular, dynamic mode decomposition (DMD) is used to extract spatio-temporal magnetic coherent structures from the experimental and simulation datasets of the HIT-SI experiment. Three-dimensional magnetic surface probes from the HIT-SI experiment are analyzed, along with companion simulations with synthetic internal magnetic probes. A number of leading variants of the DMD algorithm are compared, including the sparsity-promoting and optimized DMD. Optimized DMD results in the highest overall prediction accuracy, while sparsity-promoting DMD yields physically interpretable models that avoid overfitting. These DMD algorithms uncover several coherent magnetic modes that provide new physical insights into the inner plasma structure. These modes were subsequently used to discover a previously unobserved three-dimensional structure in the simulation, rotating at the second injector harmonic. Finally, using data from probes at experimentally accessible locations, DMD identifies a resistive kink mode, a ubiquitous instability seen in magnetized plasmas.