title: Radio constraints on dark matter annihilation in Canes Venatici I with LOFAR

abstract: Dwarf galaxies are dark matter-dominated and therefore promising targets for the search for weakly interacting massive particles (WIMPs), which are well-known candidates for dark matter. Annihilation of WIMPs produce ultra-relativistic cosmic-ray electrons and positrons that emit synchrotron radiation in the presence of magnetic fields. For typical magnetic field strengths (few $\mu $G) and $\mathcal O$(GeV--TeV) WIMP masses, this emission peaks at hundreds of MHz. Here, we use the non-detection of 150-MHz radio continuum emission from the dwarf spheroidal galaxy Canes Venatici I with the LOw-Frequency ARray (LOFAR) to derive constraints on the annihilation cross section of WIMPs into primary electron-positron and other fundamental particle-antiparticle pairs. Our main underlying assumption is that the transport of the cosmic rays can be described by the diffusion approximation, thus requiring a non-zero magnetic field strength with small-scale structure. In particular, by adopting magnetic field strengths of $\mathcal O(1\,\mu$G) and diffusion coefficients $\sim 10^{27}~\rm cm^2\,s^{-1}$, we obtain limits that are comparable with those set by \emph{Fermi} Large Area Telescope using gamma-ray observations of this particular galaxy. Assuming s-wave annihilation and WIMPs making up 100 per cent of the DM density, our benchmark limits exclude several thermal WIMP realisations in the $[2,20]$-GeV mass range. We caution, however, that our limits for the cross section are subject to enormous uncertainties which we also quantitatively assess. In particular, variations on the propagation parameters or on the DM halo can shift our limits up by several orders of magnitude (in the pessimistic scenario).


title: An agglomerative hierarchical clustering method by optimizing the average silhouette width

abstract: An agglomerative hierarchical clustering (AHC) framework and algorithm named HOSil based on a new linkage metric optimized by the average silhouette width (ASW) index is proposed. A conscientious investigation of various clustering methods and estimation indices is conducted across a diverse verities of data structures for three aims: a) clustering quality, b) clustering recovery, and c) estimation of number of clusters. HOSil has shown better clustering quality for a range of artificial and real world data structures as compared to k-means, PAM, single, complete, average, Ward, McQuitty, spectral, model-based, and several estimation methods. It can identify clusters of various shapes including spherical, elongated, relatively small sized clusters, clusters coming from different distributions including uniform, t, gamma and others. HOSil has shown good recovery for correct determination of the number of clusters. For some data structures only HOSil was able to identify the correct number of clusters.


title: First order phase transitions in the square lattice "easy-plane" J-Q model

abstract: We study the quantum phase transition between the superfluid and valence bond solid in "easy-plane" J-Q models on the square lattice. The Hamiltonian we study is a linear combination of two model Hamiltonians: (1) an SU(2) symmetric model, which is the well known J-Q model that does not show any direct signs of a discontinuous transition on the largest lattices and is presumed continuous, and (2) an easy plane version of the J-Q model, which shows clear evidence for a first order transition even on rather small lattices of size $L\approx16$. A parameter $0\leq\lambda\leq 1$ ($\lambda=0$ being the easy-plane model and $\lambda=1$ being the SU(2) symmetric J-Q model) allows us to smoothly interpolate between these two limiting models. We use stochastic series expansion (SSE) quantum Monte Carlo (QMC) to investigate the nature of this transition as $\lambda$ is varied - here we present studies for $\lambda=0,0.5,0.75,0.85,0.95$ and $1$. While we find that the first order transition weakens as $\lambda$ is increased from 0 to 1, we find no evidence that the transition becomes continuous until the SU(2) symmetric point, $\lambda=1$. We thus conclude that the square lattice superfluid-VBS transition in the two-component easy-plane model is generically first order.


title: Can We Trust You? On Calibration of a Probabilistic Object Detector for Autonomous Driving

abstract: Reliable uncertainty estimation is crucial for perception systems in safe autonomous driving. Recently, many methods have been proposed to model uncertainties in deep learning based object detectors. However, the estimated probabilities are often uncalibrated, which may lead to severe problems in safety critical scenarios. In this work, we identify such uncertainty miscalibration problems in a probabilistic LiDAR 3D object detection network, and propose three practical methods to significantly reduce errors in uncertainty calibration. Extensive experiments on several datasets show that our methods produce well-calibrated uncertainties, and generalize well between different datasets.


title: Lyman-$\alpha$ Observations of High Radial Velocity Low-Mass Stars Ross 1044 and Ross 825

abstract: The discovery of habitable zone (HZ) planets around low-mass stars has highlighted the need for a comprehensive understanding of the radiation environments in which such planets reside. Of particular importance is knowledge of the far-ultraviolet (FUV) radiation, as low-mass stars are typically much more active than solar-type stars and the proximity of their HZs can be one tenth the distance. The vast majority of the flux emitted by low-mass stars at FUV wavelengths occurs in the Lyman-$\alpha$ line at 1216 Angstroms. However, measuring a low-mass star's Lyman-$\alpha$ emission directly is almost always impossible because of the contaminating effects of interstellar hydrogen and geocoronal airglow. We observed Ross 825 (K3) and Ross 1044 (M0), two stars with exceptional radial velocities, with the STIS spectrograph aboard the Hubble Space Telescope (HST). Their radial velocities resulted in significant line shifts, allowing for a more complete view of their Lyman-$\alpha$ line profiles. We provide an updated relation between effective temperature and Lyman-$\alpha$ flux using Gaia DR2 astrometry as well as updated, model-independent relationships between Lyman-$\alpha$ flux and UV flux measurements from the Galaxy Evolution Explorer (GALEX) for low-mass stars. These new relations, in combination with GALEX's considerable spatial coverage, provide substantial predictive power for the Lyman-$\alpha$ environments for thousands of nearby, low-mass stars.


title: Boundaries of groups with isolated flats are path connected

abstract: A seminal result in geometric group theory is that a 1-ended hyperbolic group has a locally connected visual boundary. As a consequence, a 1-ended hyperbolic group also has a path connected visual boundary. In this paper, we study when this phenomenon occurs for CAT(0) groups. We show if a 1-ended CAT(0) group with isolated flats acts geometrically on a CAT(0) space, then the visual boundary of the space is path connected. As a corollary, we prove all CAT(0) groups with isolated flats are semistable at infinity.


title: Optimal Charging of an Electric Vehicle Battery Pack: A Real-Time Sensitivity-Based MPC approach

abstract: Lithium-ion battery packs are usually composed of hundreds of cells arranged in series and parallel connections. The proper functioning of these complex devices requires suitable Battery Management Systems (BMSs). Advanced BMSs rely on mathematical models to assure safety and high performance. While many approaches have been proposed for the management of single cells, the control of multiple cells has been less investigated and usually relies on simplified models such as equivalent circuit models. This paper addresses the management of a battery pack in which each cell is explicitly modelled as the Single Particle Model with electrolyte and thermal dynamics. A nonlinear Model Predictive Control (MPC) is presented for optimally charging the battery pack while taking voltage and temperature limits on each cell into account. Since the computational cost of nonlinear MPC grows significantly with the complexity of the underlying model, a sensitivity-based MPC (sMPC) is proposed, in which the model adopted is obtained by linearizing the dynamics along a nominal trajectory that is updated over time. The resulting sMPC optimizations are quadratic programs which can be solved in real-time even for large battery packs (e.g. fully electric motorbike with 156 cells) while achieving the same performance of the nonlinear MPC.


title: Overparameterized Neural Networks Implement Associative Memory

abstract: Identifying computational mechanisms for memorization and retrieval of data is a long-standing problem at the intersection of machine learning and neuroscience. Our main finding is that standard overparameterized deep neural networks trained using standard optimization methods implement such a mechanism for real-valued data. Empirically, we show that: (1) overparameterized autoencoders store training samples as attractors, and thus, iterating the learned map leads to sample recovery; (2) the same mechanism allows for encoding sequences of examples, and serves as an even more efficient mechanism for memory than autoencoding. Theoretically, we prove that when trained on a single example, autoencoders store the example as an attractor. Lastly, by treating a sequence encoder as a composition of maps, we prove that sequence encoding provides a more efficient mechanism for memory than autoencoding.


title: One-dimensional diatomic Vlasov-Poisson system with oscillatory molecular bonds

abstract: In this paper, we derive a Vlasov type kinetic model for diatomic plasma in which each ion consists of two atoms bonded through an oscillatory intermolecular force given by a singular Hooke potential. We then consider the existence and uniqueness of the classical solution to the proposed model. A careful analysis of the oscillatory behavior of atoms near singular points of the Hooke potential is carried out to extend the local-in-time solution to the global solution.


title: Stability dependence of local structural heterogeneities of stable amorphous solids

abstract: The universal anomalous vibrational and thermal properties of amorphous solids are believed to be related to the local variations of the elasticity. Recently it has been shown that the vibrational properties are sensitive to the glass's stability. Here we study the stability dependence of the local elastic constants of a simulated glass former over a broad range of stabilities, from a poorly annealed glass to a glass whose stability is comparable to laboratory exceptionally stable vapor deposited glasses. We show that with increasing stability the glass becomes more uniform as evidenced by a smaller variance of local elastic constants. We find that, according to the definition of local elastic moduli used in this work, the local elastic moduli are not spatially correlated.


title: Reversible reactions controlled by surface diffusion on a sphere

abstract: We study diffusion of particles on the surface of a sphere toward a partially reactive circular target with partly reversible binding kinetics. We solve the coupled diffusion-reaction equations and obtain the exact expressions for the time-dependent concentration of particles and the total diffusive flux. Explicit asymptotic formulas are derived in the small target limit. This study reveals the strong effects of reversible binding kinetics onto diffusion-mediated reactions that may be relevant for many biochemical reactions on cell membranes.

categories: cond-mat.stat-mech math-ph math.MP physics.chem-ph


title: Task-Discriminative Domain Alignment for Unsupervised Domain Adaptation

abstract: Domain Adaptation (DA), the process of effectively adapting task models learned on one domain, the source, to other related but distinct domains, the targets, with no or minimal retraining, is typically accomplished using the process of source-to-target manifold alignment. However, this process often leads to unsatisfactory adaptation performance, in part because it ignores the task-specific structure of the data. In this paper, we improve the performance of DA by introducing a discriminative discrepancy measure which takes advantage of auxiliary information available in the source and the target domains to better align the source and target distributions. Specifically, we leverage the cohesive clustering structure within individual data manifolds, associated with different tasks, to improve the alignment. This structure is explicit in the source, where the task labels are available, but is implicit in the target, making the problem challenging. We address the challenge by devising a deep DA framework, which combines a new task-driven domain alignment discriminator with domain regularizers that encourage the shared features as task-specific and domain invariant, and prompt the task model to be data structure preserving, guiding its decision boundaries through the low density data regions. We validate our framework on standard benchmarks, including Digits (MNIST, USPS, SVHN, MNIST-M), PACS, and VisDA. Our results show that our proposed model consistently outperforms the state-of-the-art in unsupervised domain adaptation.


title: LIMIS: Locally Interpretable Modeling using Instance-wise Subsampling

abstract: Understanding black-box machine learning models is crucial for their widespread adoption. Learning globally interpretable models is one approach, but achieving high performance with them is challenging. An alternative approach is to explain individual predictions using locally interpretable models. For locally interpretable modeling, various methods have been proposed and indeed commonly used, but they suffer from low fidelity, i.e. their explanations do not approximate the predictions well. In this paper, our goal is to push the state-of-the-art in high-fidelity locally interpretable modeling. We propose a novel framework, Locally Interpretable Modeling using Instance-wise Subsampling (LIMIS). LIMIS utilizes a policy gradient to select a small number of instances and distills the black-box model into a low-capacity locally interpretable model using those selected instances. Training is guided with a reward obtained directly by measuring the fidelity of the locally interpretable models. We show on multiple tabular datasets that LIMIS near-matches the prediction accuracy of black-box models, significantly outperforming state-of-the-art locally interpretable models in terms of fidelity and prediction accuracy.


title: Importance of the 'Higgs' Amplitude Mode in Understanding the "Ideal Glass Transition" and the Kauzmann Entropy Paradox at the Four-Dimensional Crystal/Glass Quantum Critical Point

abstract: In this article, a theoretical description of the "ideal glass transition" is approached upon the adoption of a quaternion orientational order parameter. Unlike first-order phase transitions of liquids into crystalline solid states, glass transitions are entirely different phenomena that are non-equilibrium and that are highly dependent on the applied cooling rate. Herein, the "ideal glass transition" that occurs at the finite Kauzmann temperature at which point the configurational entropy of an undercooled liquid matches that of its crystalline counterpart is identified as a first-order quantum critical point. We suggest that this quantum critical point belongs to quaternion ordered systems that exist in four- and three-dimensions. The Kauzmann quantum critical point is considered to be a higher-dimensional analogue to the superfluid-to-Mott insulator quantum phase transition, in two- and one-dimensional complex ordered systems. Such quantum critical points are driven by tuning a non-thermal frustration parameter, and result due to characteristic softening of the 'Higgs' type mode that corresponds to amplitude fluctuations of the order parameter. The first-order nature of the finite temperature Kauzmann quantum critical point is seen as a consequence of the discrete change of the topology of the ground state manifold that applies to crystalline and non-crystalline solid states.


title: Foregrounds and their mitigation

abstract: The low-frequency radio sky is dominated by the diffuse synchrotron emission of our Galaxy and extragalactic radio sources related to Active Galactic Nuclei and star-forming galaxies. This foreground emission is much brighter than the cosmological 21 cm emission from the Cosmic Dawn and Epoch of Reionization. Studying the physical properties of the foregrounds is therefore of fundamental importance for their mitigation in the cosmological 21 cm experiments. This chapter gives a comprehensive overview of the foregrounds and our current state-of-the-art knowledge about their mitigation.


title: The Region Smoothing Swap Game

abstract: We introduce a topological combinatorial game called the Region Smoothing Swap Game. The game is played on a game board derived from the connected shadow of a link diagram on a (possibly non-orientable) surface by smoothing at crossings. Moves in the game are performed on regions of the diagram and can switch the direction of certain crossings' smoothing. The players' goals relate to the connectedness of the diagram produced by game play.


title: The SAMI Galaxy Survey: First detection of a transition in spin orientation with respect to cosmic filaments in the stellar kinematics of galaxies

abstract: We present the first detection of mass dependent galactic spin alignments with local cosmic filaments with over 2 sigma confidence using IFS kinematics. The 3D network of cosmic filaments is reconstructed on Mpc scales across GAMA fields using the cosmic web extractor DisPerSe. We assign field galaxies from the SAMI survey to their nearest filament segment in 3D and estimate the degree of alignment between SAMI galaxies kinematic spin axis and their nearest filament in projection. Low-mass galaxies align their spin with their nearest filament while higher mass counterparts are more likely to display an orthogonal orientation. The stellar transition mass from the first trend to the second is bracketed between log stellar masses 10.4 and 10.9, with hints of an increase with filament scale. Consistent signals are found in the HorizonAGN cosmological hydrodynamic simulation. This supports a scenario of early angular momentum build-up in vorticity rich quadrants around filaments at low stellar mass followed by progressive flip of spins orthogonal to the cosmic filaments through mergers at high stellar mass. Conversely, we show that dark-matter only simulations post-processed with a semi-analytic model treatment of galaxy formation struggles to reproduce this alignment signal. This suggests that gas physics is key in enhancing the galaxy-filament alignment.


title: Coherent charge and magnetic ordering in Ho/Y superlattice revealed by element-selective x-ray scattering

abstract: Magnetic rare-earth / non-magnetic metal superlattices are well-known to display chiral spin helices in the rare-earth layers that propagate coherently across the non-magnetic layers. However, the underlying mechanism that preserves the magnetic phase and chirality coherence across the non-magnetic layers has remained elusive. In this Letter, we use resonant and element-specific x-ray scattering to evidence directly the formation of two fundamentally different long-range modulations in a Holmium/Yttrium (Ho/Y) multilayer: the known Ho chiral spin helix with periodicity 25 {\AA}, and a newly observed charge density wave with periodicity 16 {\AA} that propagates through both the Ho and non-magnetic Y layer. With x-ray circular magnetic dichroism measurements ruling out the existence of a magnetic proximity effect induced moment in the non-magnetic Y layers, we propose that the charge density wave is also chiral, thus providing the means for the transmittance of magnetic chirality coherence between Ho layers.


title: A Survey of Machine Learning Applied to Computer Architecture Design

abstract: Machine learning has enabled significant benefits in diverse fields, but, with a few exceptions, has had limited impact on computer architecture. Recent work, however, has explored broader applicability for design, optimization, and simulation. Notably, machine learning based strategies often surpass prior state-of-the-art analytical, heuristic, and human-expert approaches. This paper reviews machine learning applied system-wide to simulation and run-time optimization, and in many individual components, including memory systems, branch predictors, networks-on-chip, and GPUs. The paper further analyzes current practice to highlight useful design strategies and identify areas for future work, based on optimized implementation strategies, opportune extensions to existing work, and ambitious long term possibilities. Taken together, these strategies and techniques present a promising future for increasingly automated architectural design.


title: On the anticyclotomic Iwasawa main conjecture for Hilbert modular forms of parallel weights

abstract: In this article, we study the Iwasawa theory for Hilbert modular forms over the anticyclotomic extension of a CM field. We prove a one sided divisibility result toward the Iwasawa main conjecture. The proof relies on the first and second reciprocity law relating theta elements to Heegner points Euler system. As a by-product we also prove certain Bloch-Kato type result in the rank $0$ case and a parity conjecture


title: On the Importance of Subword Information for Morphological Tasks in Truly Low-Resource Languages

abstract: Recent work has validated the importance of subword information for word representation learning. Since subwords increase parameter sharing ability in neural models, their value should be even more pronounced in low-data regimes. In this work, we therefore provide a comprehensive analysis focused on the usefulness of subwords for word representation learning in truly low-resource scenarios and for three representative morphological tasks: fine-grained entity typing, morphological tagging, and named entity recognition. We conduct a systematic study that spans several dimensions of comparison: 1) type of data scarcity which can stem from the lack of task-specific training data, or even from the lack of unannotated data required to train word embeddings, or both; 2) language type by working with a sample of 16 typologically diverse languages including some truly low-resource ones (e.g. Rusyn, Buryat, and Zulu); 3) the choice of the subword-informed word representation method. Our main results show that subword-informed models are universally useful across all language types, with large gains over subword-agnostic embeddings. They also suggest that the effective use of subwords largely depends on the language (type) and the task at hand, as well as on the amount of available data for training the embeddings and task-based models, where having sufficient in-task data is a more critical requirement.


title: A thin shell of ionized gas explaining the IR excess of classical Cepheids

abstract: Despite observational evidences, InfraRed (IR) excess of classical Cepheids are seldom studied and poorly understood, but probably induces systematics on the Period-Luminosity (PL) relation used in the calibration of the extragalactic distance scale. This study aims to understand the physical origin of the IR excess found in the spectral energy distribution (SED) of 5 Cepheids : RS Pup (P=41.46d), zeta Gem (P=10.15d), eta Aql (P=7.18d), V Cen (P=5.49d) and SU Cyg (P=3.85d). A time series of atmospheric models along the pulsation cycle are fitted to a compilation of data, including optical and near-IR photometry, Spitzer spectra (secured at a specific phase), interferometric angular diameters, effective temperature and radial velocity measurements. Herschel images in two bands are also analyzed qualitatively. In this fitting process, based on the SPIPS algorithm, a residual is found in the SED, whatever the pulsation phase, and for wavelengths larger than about $1.2\mu$m, which corresponds to the so-determined infrared excess of Cepheids. This IR excess is then corrected from interstellar medium absorption in order to infer or not the presence of dust shells, and is finally used in order to fit a model of a shell of ionized gas. For all Cepheids, we find a continuum IR excess increasing up to about -0.1 magnitudes at 30$\mu$m, which cannot be explained by a hot or cold dust model of CircumStellar Environment (CSE). We show, for the first time, that the IR excess of Cepheids can be explained by free-free emission from a thin shell of ionized gas, with a thickness of about 15% of the star radius, a mass of $10^{-9}-10^{-7}$ Msol and a temperature ranging from 3500 to 4500K. This result has to be tested with interferometers operating in visible, in the mid-IR or in the radio domain. The impact of such CSEs of ionized gas on the PL relation of Cepheids needs also more investigations.


title: Large-amplitude oscillations of foils for efficient propulsion

abstract: Large-amplitude oscillations of foils have been observed to yield greater propulsive efficiency than small-amplitude oscillations. Using scaling relations and experiments on foils with peak-to-peak trailing edge amplitudes of up to two chord lengths, we explain why this is so. In the process, we reveal the importance of drag, specifically how it can significantly reduce the efficiency, and how this effect depends on amplitude. The scaling relations and experimental data also reveal a fundamental tradeoff between high thrust and high efficiency, where the drag also plays a crucial role.


title: Moment based estimation for the multivariate COGARCH(1,1) process

abstract: For the multivariate COGARCH process, we obtain explicit expressions for the second-order structure of the "squared returns" process observed on an equidistant grid. Based on this, we present a generalized method of moments estimator for its parameters. Under appropriate moment and strong mixing conditions, we show that the resulting estimator is consistent and asymptotically normal. Sufficient conditions for strong mixing, stationarity and identifiability of the model parameters are discussed in detail. We investigate the finite sample behavior of the estimator in a simulation study.


title: Optimal Packet-oblivious Stable Routing in Multi-hop Wireless Networks

abstract: Stability is an important issue in order to characterize the performance of a network, and it has become a major topic of study in the last decade. Roughly speaking, a communication network system is said to be stable if the number of packets waiting to be delivered (backlog) is finitely bounded at any one time. In this paper, we introduce a new family of combinatorial structures, which we call universally strong selectors, that are used to provide a set of transmission schedules. Making use of these structures, combined with some known queuing policies, we propose a packet-oblivious routing algorithm which is working without using any global topological information, and guarantees stability for certain injection rates. We show that this protocol is asymptotically optimal regarding the injection rate for which stability is guaranteed. Furthermore, we also introduce a packet-oblivious routing algorithm that guarantees stability for higher traffic. This algorithm is optimal regarding the injection rate for which stability is guaranteed. However, it needs to use some global information of the system topology.


title: Machine learning the thermodynamic arrow of time

abstract: The mechanism by which thermodynamics sets the direction of time's arrow has long fascinated scientists. Here, we show that a machine learning algorithm can learn to discern the direction of time's arrow when provided with a system's microscopic trajectory as input. The performance of our algorithm matches fundamental bounds predicted by nonequilibrium statistical mechanics. Examination of the algorithm's decision-making process reveals that it discovers the underlying thermodynamic mechanism and the relevant physical observables. Our results indicate that machine learning techniques can be used to study systems out of equilibrium, and ultimately to uncover physical principles.


title: Global Roaming Trust-based Model for V2X Communications

abstract: Smart cities need to connect physical devices as a network to improve the efficiency of city operations and services. Intelligent Transportation System (ITS) is one of the key components in smart cities, due to its capability of supporting communications between vehicles to improve the driving experience. Whilst Vehicle-to-Everything (V2X) communications are essential, cyber-security poses a significant challenge in V2X communications. A V2X communication link is vulnerable to various cyber-attacks including internal and external attacks. Internal attacks cannot be detected by conventional security schemes because the compromised nodes have valid credentials. Thus, a new trust model is urgently needed to mitigate cyber-security risks. In this paper, a global roaming trust-based security model is proposed for V2X communications. Each vehicle has a global knowledge about malicious nodes in the network. In addition, various experiments are conducted with different percentage of malicious nodes to measure the performance of the proposed model. Simulation results show that the proposed model improves False Negative Rate (FNR) by 33.5% in comparison with the existing method.


title: Quantum oscillations in acoustic phonons in Weyl semimetals

abstract: We theoretically study the modification of the energy spectrum of long-wavelength acoustic phonons due to the electron-phonon interaction in a three-dimensional topological Weyl semimetal under the influence of quantizing magnetic fields. We find that the dispersion and attenuation of phonons show striking oscillatory behaviors as varying the magnetic field at low temperatures. These oscillations are distinct when the Fermi energy is in different energy regimes. Moreover, the van Hove singularity of the Weyl spectrum can manifest as a transition between different oscillation patterns when increasing the magnetic field. These phonon behaviors could provide testable fingerprints of the Fermi surface morphology and relativistic feature of the Weyl semimetal.


title: Graph-Preserving Grid Layout: A Simple Graph Drawing Method for Graph Classification using CNNs

abstract: Graph convolutional networks (GCNs) suffer from the irregularity of graphs, while more widely-used convolutional neural networks (CNNs) benefit from regular grids. To bridge the gap between GCN and CNN, in contrast to previous works on generalizing the basic operations in CNNs to graph data, in this paper we address the problem of how to project undirected graphs onto the grid in a {\em principled} way where CNNs can be used as backbone for geometric deep learning. To this end, inspired by the literature of graph drawing we propose a novel graph-preserving grid layout (GPGL), an integer programming that minimizes the topological loss on the grid. Technically we propose solving GPGL approximately using a {\em regularized} Kamada-Kawai algorithm, a well-known nonconvex optimization technique in graph drawing, with a vertex separation penalty that improves the rounding performance on top of the solutions from relaxation. Using GPGL we can easily conduct data augmentation as every local minimum will lead to a grid layout for the same graph. Together with the help of multi-scale maxout CNNs, we demonstrate the empirical success of our method for graph classification.


title: CS Sparse K-means: An Algorithm for Cluster-Specific Feature Selection in High-Dimensional Clustering

abstract: Feature selection is an important and challenging task in high dimensional clustering. For example, in genomics, there may only be a small number of genes that are differentially expressed, which are informative to the overall clustering structure. Existing feature selection methods, such as Sparse K-means, rarely tackle the problem of accounting features that can only separate a subset of clusters. In genomics, it is highly likely that a gene can only define one subtype against all the other subtypes or distinguish a pair of subtypes but not others. In this paper, we propose a K-means based clustering algorithm that discovers informative features as well as which cluster pairs are separable by each selected features. The method is essentially an EM algorithm, in which we introduce lasso-type constraints on each cluster pair in the M step, and make the E step possible by maximizing the raw cross-cluster distance instead of minimizing the intra-cluster distance. The results were demonstrated on simulated data and a leukemia gene expression dataset.


title: A Quest for Structure: Jointly Learning the Graph Structure and Semi-Supervised Classification

abstract: Semi-supervised learning (SSL) is effectively used for numerous classification problems, thanks to its ability to make use of abundant unlabeled data. The main assumption of various SSL algorithms is that the nearby points on the data manifold are likely to share a label. Graph-based SSL constructs a graph from point-cloud data as an approximation to the underlying manifold, followed by label inference. It is no surprise that the quality of the constructed graph in capturing the essential structure of the data is critical to the accuracy of the subsequent inference step [6]. How should one construct a graph from the input point-cloud data for graph-based SSL? In this work we introduce a new, parallel graph learning framework (called PG-learn) for the graph construction step of SSL. Our solution has two main ingredients: (1) a gradient-based optimization of the edge weights (more specifically, different kernel bandwidths in each dimension) based on a validation loss function, and (2) a parallel hyperparameter search algorithm with an adaptive resource allocation scheme. In essence, (1) allows us to search around a (random) initial hyperparameter configuration for a better one with lower validation loss. Since the search space of hyperparameters is huge for high-dimensional problems, (2) empowers our gradient-based search to go through as many different initial configurations as possible, where runs for relatively unpromising starting configurations are terminated early to allocate the time for others. As such, PG-learn is a carefully-designed hybrid of random and adaptive search. Through experiments on multi-class classification problems, we show that PG-learn significantly outperforms a variety of existing graph construction schemes in accuracy (per fixed time budget for hyperparameter tuning), and scales more effectively to high dimensional problems.


title: Affine Extensions of Integer Vector Addition Systems with States

abstract: We study the reachability problem for affine $\mathbb{Z}$-VASS, which are integer vector addition systems with states in which transitions perform affine transformations on the counters. This problem is easily seen to be undecidable in general, and we therefore restrict ourselves to affine $\mathbb{Z}$-VASS with the finite-monoid property (afmp-$\mathbb{Z}$-VASS). The latter have the property that the monoid generated by the matrices appearing in their affine transformations is finite. The class of afmp-$\mathbb{Z}$-VASS encompasses classical operations of counter machines such as resets, permutations, transfers and copies. We show that reachability in an afmp-$\mathbb{Z}$-VASS reduces to reachability in a $\mathbb{Z}$-VASS whose control-states grow linearly in the size of the matrix monoid. Our construction shows that reachability relations of afmp-$\mathbb{Z}$-VASS are semilinear, and in particular enables us to show that reachability in $\mathbb{Z}$-VASS with transfers and $\mathbb{Z}$-VASS with copies is PSPACE-complete. We then focus on the reachability problem for affine $\mathbb{Z}$-VASS with monogenic monoids: (possibly infinite) matrix monoids generated by a single matrix. We show that, in a particular case, the reachability problem is decidable for this class, disproving a conjecture about affine $\mathbb{Z}$-VASS with infinite matrix monoids we raised in a preliminary version of this paper. We complement this result by presenting an affine $\mathbb{Z}$-VASS with monogenic matrix monoid and undecidable reachability relation.


title: Faster width-dependent algorithm for mixed packing and covering LPs

abstract: In this paper, we give a faster width-dependent algorithm for mixed packing-covering LPs. Mixed packing-covering LPs are fundamental to combinatorial optimization in computer science and operations research. Our algorithm finds a $1+\eps$ approximate solution in time $O(Nw/ \eps)$, where $N$ is number of nonzero entries in the constraint matrix and $w$ is the maximum number of nonzeros in any constraint. This run-time is better than Nesterov's smoothing algorithm which requires $O(N\sqrt{n}w/ \eps)$ where $n$ is the dimension of the problem. Our work utilizes the framework of area convexity introduced in [Sherman-FOCS'17] to obtain the best dependence on $\eps$ while breaking the infamous $\ell_{\infty}$ barrier to eliminate the factor of $\sqrt{n}$. The current best width-independent algorithm for this problem runs in time $O(N/\eps^2)$ [Young-arXiv-14] and hence has worse running time dependence on $\eps$. Many real life instances of the mixed packing-covering problems exhibit small width and for such cases, our algorithm can report higher precision results when compared to width-independent algorithms. As a special case of our result, we report a $1+\eps$ approximation algorithm for the densest subgraph problem which runs in time $O(md/ \eps)$, where $m$ is the number of edges in the graph and $d$ is the maximum graph degree.


title: Glucose Levels Sensing using Whispering Gallery Modes at mm-Wave Band

abstract: In this study, an integrated low-cost and complexity mm-wave structure of Whispering Gallery Mode (WGM) is proposed for sensing the glucose levels in mimicking aquatic solutions of concentrations similar to type 2 diabetics. The bio-sensor is composed of a curved dielectric waveguide coupled to a dielectric disc resonator that is loaded with the glucose sample under test. The intense WGM field induced towards the boundary of the DDR is exploited to detect the slight variations in the dielectric properties of different glucose levels via tracing the variations in the magnitude of the transmission coefficient S_{21} in the mm-wave frequency band (49-70 GHz). The WGM resonator shows a high sensitivity performance (0.025-0.077 dB/(mg/dL)) at the lower-order modes WGH_{600} and WGH_{700} as demonstrated by simulations in a 3D full-wave EM solver (Ansys HFSS).


title: Simple and robust speckle detection method for fire and heat detection in harsh environments

abstract: Standard laser based fire detection systems are often based on measuring variation of optical signal amplitude. However, mechanical noise interference and loss from dust and steam can obscure the detection signal, resulting in faulty results or inability to detect a potential fire. The presented fire detection technology will allow the detection of fire in harsh and dusty areas, which are prone to fires, where current systems show limited performance or are unable to operate. It is not the amount of light nor its wavelength that is used for detecting fire, but how the refractive index randomly fluctuates due to the heat convection from the fire. In practical terms this means that light obstruction from ambient dust particles will not be a problem as long as a small fraction of the light is detected and that fires without visible flames can still be detected. The standalone laser system consists of a Linux-based Red Pitaya system, a cheap 650 nm laser diode, and a PIN photo-detector. Laser light propagates through the monitored area and reflects off a retroreflector generating a speckle pattern. Every 3 seconds time traces and frequency noise spectra are measured and 8 descriptors are deduced to identify a potential fire. Both laboratory and factory acceptance tests have been performed with success.


title: A thermodynamically consistent pseudo-potential lattice Boltzmann model for multi-component, multiphase, partially miscible mixtures

abstract: Current multi-component, multiphase pseudo-potential lattice Boltzmann models have thermodynamic inconsistencies that prevent them to correctly predict the thermodynamic phase behavior of partially miscible multi-component mixtures, such as hydrocarbon mixtures. This paper identifies these inconsistencies and attempts to design a thermodynamically consistent multi-component, multiphase pseudo-potential lattice Boltzmann model that allows mass transfer across the phase interfaces and is capable to predict the phase behavior of typically partially miscible hydrocarbon mixtures. The designed model defines the total interaction force for the entire phase and split the force into individual components. Through a properly derived force split factor associated with the volatility of each component, the model can achieve precise thermodynamic consistency in multi-component hydrocarbon mixtures, which is described by the iso-fugacity rule.


title: Metrics with zero and almost-zero Einstein action in quantum gravity

abstract: We generate numerically on a lattice an ensemble of stationary metrics, with spherical symmetry, which have Einstein action $S_E \ll \hbar$. This is obtained through a Metropolis algorithm with weight $\exp(-\beta^2 S^2_E)$ and $\beta \gg \hbar^{-1}$. The squared action in the exponential allows to circumvent the problem of the non-positivity of $S_E$. The discretized metrics obtained exhibit a spontaneous polarization in regions of positive and negative scalar curvature. We compare this ensemble with a class of continuous metrics previously found, which satisfy the condition $S_E=0$ exactly, or in certain cases even the stronger condition $R({\bf x})=0$ for any ${\bf x}$. All these gravitational field configurations are of considerable interest in quantum gravity, because they represent possible vacuum fluctuations and are markedly different from Wheeler's "spacetime foam".


title: Non-Orthogonal Multiple Access Performance for Millimeter Wave in Vehicular Communications

abstract: In this paper, we study the performance of millimeter wave (mmWave) vehicular communications (VCs) using non-orthogonal multiple access scheme (NOMA) at road intersections, since there areas are more prone to accidents. We study the case when the intersection involves two perpendicular lanes, we then extend the study to an intersection with several lanes. The transmission occurs between a source, and two destinations. The transmission experiences interference originated from a set of vehicles that are distributed as a Poisson point process (PPP). Our analysis includes the effects of blockage from buildings and vehicles at intersections. Closed form outage probability expressions are obtained. We show that as the nodes reach the intersection, the outage probability increases. Counter-intuitively, we show that the non line of sigh (NLOS) scenario has a better performance than the line of sigh (LOS) scenario. Finally, we compare the performance of mmWave NOMA with OMA, and we show that NOMA offers a significant improvement over OMA mmWave vehicular networks. The analysis is verified by Monte-Carlo simulation.


title: Service-Dominant Business Model Financial Validation: Cost-Benefit Analysis with Business Processes and Service- Dominant Business Models

abstract: In this paper, we present our software-supported method for analyzing the economic feasibility of business models. The method integrates the business models and business processes perspectives for analyzing how a company appropriates the financial cost and benefits. In this method, we use the Service-Dominant Business Model Radar to specify business models, then translate the specified business model into a business process for analyzing the financial feasibility of a business model. At the final step in our method, we use the generated business process in the previous step with a software-based tool, The Cost-Benefit Tracker, for analyzing the economic potential of the business model. We designed and developed the Cost-Benefit Tracker as a simple software-based BPMN 2.0 tool by integrating the concepts of the Service-Dominant Business Model Radar tightly. As a result, the software is simple and straightforward to use than enterprise BPMN 2.0 software. Hence, entrepreneurs can use the presented software-supported method to financially evaluate business model concepts specified with the Service-Dominant Business Model Radar.


title: Chromatic Posets

abstract: In 1995 Stanley introduced the chromatic symmetric function $X_G$ of a graph $G$, whose $e$-positivity and Schur-positivity has been of large interest. In this paper we study the relative $e$-positivity and Schur-positivity between connected graphs on $n$ vertices. We define and investigate two families of posets on distinct chromatic symmetric functions. The relations depend on the $e$-positivity or Schur-positivity of a weighed subtraction between $X_G$ and $X_H$. We find a biconditional condition between $e$-positivity or Schur-positivity and the relation to the complete graph. This gives a new paradigm for $e$-positivity and for Schur-positivity. We show many other interesting properties of these posets including that trees form an independent set and are maximal elements. Additionally, we find that stars are independent elements, the independence number increases as we increase in the poset and that the family of lollipop graphs form a chain.


title: Machine Learning Reveals the Seismic Signature of Eruptive Behavior at Piton de la Fournaise Volcano

abstract: Volcanic tremor is key to our understanding of active magmatic systems but, due to its complexity, there is still a debate concerning its origins and how it can be used to characterize eruptive dynamics. In this study we leverage machine learning (ML) techniques using 6 years of continuous seismic data from the Piton de la Fournaise volcano (La R\'eunion island) to describe specific patterns of seismic signals recorded during eruptions. These results unveil what we interpret as signals associated with various eruptive dynamics of the volcano, including the effusion of a large volume of lava during the August-October 2015 eruption, as well as the closing of the eruptive vent during the September-November 2018 eruption. The ML workflow we describe can easily be applied to other active volcanoes, potentially leading to an enhanced understanding of the temporal and spatial evolution of volcanic eruptiions


title: Modified Strichartz Estimate of the Periodic Fourth Order NLS

abstract: We prove modified Strichartz estimates on the one-dimensional torus, that are adapted to a fourth-order dispersion relation, and use them to show global well-posedness of nonlinear fourth-order Schr\"odinger equations. This extends the (low regularity) existence theory of the adiabatic transition of the Quantum Zakharov system to NLS. We show that the solutions behave continuously with respect to the quantum parameter in every compact time interval. Globally in time, however, we also show that such continuous dependence is generally not uniform.


title: CAQL: Continuous Action Q-Learning

abstract: Value-based reinforcement learning (RL) methods like Q-learning have shown success in a variety of domains. One challenge in applying Q-learning to continuous-action RL problems, however, is the continuous action maximization (max-Q) required for optimal Bellman backup. In this work, we develop CAQL, a (class of) algorithm(s) for continuous-action Q-learning that can use several plug-and-play optimizers for the max-Q problem. Leveraging recent optimization results for deep neural networks, we show that max-Q can be solved optimally using mixed-integer programming (MIP). When the Q-function representation has sufficient power, MIP-based optimization gives rise to better policies and is more robust than approximate methods (e.g., gradient ascent, cross-entropy search). We further develop several techniques to accelerate inference in CAQL, which despite their approximate nature, perform well. We compare CAQL with state-of-the-art RL algorithms on benchmark continuous-control problems that have different degrees of action constraints and show that CAQL outperforms policy-based methods in heavily constrained environments, often dramatically.


title: Optimizing Nondecomposable Data Dependent Regularizers via Lagrangian Reparameterization offers Significant Performance and Efficiency Gains

abstract: Data dependent regularization is known to benefit a wide variety of problems in machine learning. Often, these regularizers cannot be easily decomposed into a sum over a finite number of terms, e.g., a sum over individual example-wise terms. The $F_\beta$ measure, Area under the ROC curve (AUCROC) and Precision at a fixed recall (P@R) are some prominent examples that are used in many applications. We find that for most medium to large sized datasets, scalability issues severely limit our ability in leveraging the benefits of such regularizers. Importantly, the key technical impediment despite some recent progress is that, such objectives remain difficult to optimize via backpropapagation procedures. While an efficient general-purpose strategy for this problem still remains elusive, in this paper, we show that for many data-dependent nondecomposable regularizers that are relevant in applications, sizable gains in efficiency are possible with minimal code-level changes; in other words, no specialized tools or numerical schemes are needed. Our procedure involves a reparameterization followed by a partial dualization -- this leads to a formulation that has provably cheap projection operators. We present a detailed analysis of runtime and convergence properties of our algorithm. On the experimental side, we show that a direct use of our scheme significantly improves the state of the art IOU measures reported for MSCOCO Stuff segmentation dataset.


title: Estimates on the Markov Convexity of Carnot Groups and Quantitative Nonembeddability

abstract: We show that every graded nilpotent Lie group $G$ of step $r$, equipped with a left invariant metric homogeneous with respect to the dilations induced by the grading, (this includes all Carnot groups with Carnot-Caratheodory metric) is Markov $p$-convex for all $p \in [2r,\infty)$. We also show that this is sharp whenever $G$ is a Carnot group with $r \leq 3$, a free Carnot group, or a jet space group; such groups are not Markov $p$-convex for any $p \in (0,2r)$. This continues a line of research started by Li who proved this sharp result when $G$ is the Heisenberg group. As corollaries, we obtain new estimates on the non-biLipschitz embeddability of some finitely generated nilpotent groups into nilpotent Lie groups of lower step. Sharp estimates of this type are known when the domain is the Heisenberg group and the target is a uniformly convex Banach space or $L^1$, but not when the target is a nonabelian nilpotent group.


title: Markov Decision Process for Video Generation

abstract: We identify two pathological cases of temporal inconsistencies in video generation: video freezing and video looping. To better quantify the temporal diversity, we propose a class of complementary metrics that are effective, easy to implement, data agnostic, and interpretable. Further, we observe that current state-of-the-art models are trained on video samples of fixed length thereby inhibiting long-term modeling. To address this, we reformulate the problem of video generation as a Markov Decision Process (MDP). The underlying idea is to represent motion as a stochastic process with an infinite forecast horizon to overcome the fixed length limitation and to mitigate the presence of temporal artifacts. We show that our formulation is easy to integrate into the state-of-the-art MoCoGAN framework. Our experiments on the Human Actions and UCF-101 datasets demonstrate that our MDP-based model is more memory efficient and improves the video quality both in terms of the new and established metrics.


title: A Hierarchical Approach for Visual Storytelling Using Image Description

abstract: One of the primary challenges of visual storytelling is developing techniques that can maintain the context of the story over long event sequences to generate human-like stories. In this paper, we propose a hierarchical deep learning architecture based on encoder-decoder networks to address this problem. To better help our network maintain this context while also generating long and diverse sentences, we incorporate natural language image descriptions along with the images themselves to generate each story sentence. We evaluate our system on the Visual Storytelling (VIST) dataset and show that our method outperforms state-of-the-art techniques on a suite of different automatic evaluation metrics. The empirical results from this evaluation demonstrate the necessities of different components of our proposed architecture and shows the effectiveness of the architecture for visual storytelling.


title: Landauer transport as a quasisteady state on finite chains under unitary quantum dynamics

abstract: In this paper, we study the emergence of a Landauer transport regime from the quantum-mechanical dynamics of free electrons in a disordered tight-binding chain, which is coupled to finite leads with open boundaries. Both partitioned and partition-free initial conditions are analyzed and seen to give rise, for large enough leads, to the same spatially uniform quasi-steady-state current, which agrees with the Landauer value. The quasi-steady-state regime is preceded by a transient regime, which last for a time proportional to the length of the disordered sample, and followed by recursions, after a time that is proportional to the lead size. These theoretical predictions may be of interest to future experiments on transport of fermionic ultra-cold atoms across optical lattices. We also observe finite-size current oscillations, superimposed on the quasi-steady-state, whose behavior depends crucially on the conditions initially imposed on the system. Finally, we show how a time-resolved Kubo formula is able to reproduce this Landauer transport regime, as the leads grow bigger.


title: On boundary confinements for the Coulomb gas

abstract: We introduce a family of boundary confinements for Coulomb gas ensembles, and study them in the two-dimensional determinantal case of random normal matrices. The family interpolates between the free boundary and hard edge cases, which have been well studied in various random matrix theories. The confinement can also be relaxed beyond the free boundary to produce ensembles with more fuzzy boundaries, i.e., where the particles are more and more likely to be found outside of the boundary. The resulting ensembles are investigated with respect to scaling limits and distribution of the maximum modulus. In particular, we prove existence of a new point field - a limit of scaling limits to the ultraweak point when the droplet ceases to be well defined.


title: Heating of Heavy Ions in Low-beta Compressible Turbulence

abstract: Enhancement of minor ions such as $^3$He and heavy ions in flare-associated solar energetic particle (SEP) events remains one of the major puzzles in heliophysics. In this work, we use 3D hybrid simulations (kinetic protons and fluid electrons) to investigate particle energization in a turbulent low-beta environment similar to solar flares. It is shown that in this regime the injected large-amplitude Alfv\'en waves develop into compressible and anisotropic turbulence, which efficiently heats thermal ions of different species. We find that temperature increase of heavy ions is inversely proportional to the charge to mass ratio, which is consistent with observations of impulsive SEP events. Further analysis reveals that ions are energized by interacting with nearly perpendicular magnetosonic waves near proton inertial scale.


title: Explaining Dijet Mass Excesses in ALEPH LEP2 Four-Jet Events with 2HDMs

abstract: In this paper, we address the observability of four-jet signatures from light neutral and charged Higgs bosons at LEP2 energies in the framework of 2-Higgs Doublet Models (2HDMs). The main signal production channels are via $e^+ e^- \to Ah$ and $H^+ H^-$ with subsequent quark decays of such final states into four-jets. Specifically, Type-I and -III realizations of a generic 2HDM (2HDM-I and -III, respectively) are adopted to show that there exist points (under the assumption that the heavy Higgs state $H$ is SM-like) for which $(m_h, m_A, m_{H^\pm}) \approx (80, 30, 55)$ GeV that can yield observable rates at LEP2 energies that can potentially explain the di-jet mass excesses seen recently in ALEPH data in a re-analysis of their four-jet samples, particularly so for the 2HDM-III.


title: Monotonic Multihead Attention

abstract: Simultaneous machine translation models start generating a target sequence before they have encoded or read the source sequence. Recent approaches for this task either apply a fixed policy on a state-of-the art Transformer model, or a learnable monotonic attention on a weaker recurrent neural network-based structure. In this paper, we propose a new attention mechanism, Monotonic Multihead Attention (MMA), which extends the monotonic attention mechanism to multihead attention. We also introduce two novel and interpretable approaches for latency control that are specifically designed for multiple attentions heads. We apply MMA to the simultaneous machine translation task and demonstrate better latency-quality tradeoffs compared to MILk, the previous state-of-the-art approach. We also analyze how the latency controls affect the attention span and we motivate the introduction of our model by analyzing the effect of the number of decoder layers and heads on quality and latency.


title: Role of ferroelectric polarization during growth of highly strained ferroelectrics revealed by in-situ x-ray diffraction

abstract: Strain engineering of perovskite oxide thin films has proven to be an extremely powerful method for enhancing and inducing ferroelectric behavior. In ferroelectric thin films and superlattices, the polarization is intricately linked to crystal structure, but we show here that it can also play an important role in the growth process, influencing growth rates, relaxation mechanisms, electrical properties and domain structures. We have studied this effect in detail by focusing on the properties of BaTiO$_{3}$ thin films grown on very thin layers of PbTiO$_{3}$ using a combination of x-ray diffraction, piezoforce microscopy, electrical characterization and rapid in-situ x-ray diffraction reciprocal space maps during the growth using synchrotron radiation. Using a simple model we show that the changes in growth are driven by the energy cost for the top material to sustain the polarization imposed upon it by the underlying layer, and these effects may be expected to occur in other multilayer systems where polarization is present during growth. Our research motivates the concept of polarization engineering during the growth process as a new and complementary approach to strain engineering.


title: Optimizing Speech Recognition For The Edge

abstract: While most deployed speech recognition systems today still run on servers, we are in the midst of a transition towards deployments on edge devices. This leap to the edge is powered by the progression from traditional speech recognition pipelines to end-to-end (E2E) neural architectures, and the parallel development of more efficient neural network topologies and optimization techniques. Thus, we are now able to create highly accurate speech recognizers that are both small and fast enough to execute on typical mobile devices. In this paper, we begin with a baseline RNN-Transducer architecture comprised of Long Short-Term Memory (LSTM) layers. We then experiment with a variety of more computationally efficient layer types, as well as apply optimization techniques like neural connection pruning and parameter quantization to construct a small, high quality, on-device speech recognizer that is an order of magnitude smaller than the baseline system without any optimizations.


title: Topology of Generalized Spinors and Chiral Anomaly

abstract: Weyl fermions with nonlinear dispersion have appeared in real world systems, such as in the Weyl semi-metals and topological insulators. We consider the most general form of Dirac operators, and study its topological properties embedded in the chiral anomaly, in the index theorem, and in the odd-dimensional partition function, by employing the heat kernel. We find that all of these topological quantities are enhanced by a winding number defined by the Dirac operator in the momentum space, regardless of the spacetime dimensions. The chiral anomaly in $d=3+1$, in particular, is also confirmed via the conventional Feynman diagram. These interconnected results allow us to clarify the relationship between the chiral anomaly and the Chern number of the Berry connection, under dispute in some recent literatures, and also lead to a compact proof of the Nielsen-Ninomiya theorem.

categories: hep-th cond-mat.mes-hall cond-mat.str-el nucl-th


title: A Jastrow-type decomposition in quantum chemistry for low-depth quantum circuits

abstract: We propose an efficient ${\cal O}(N^2)$-parameter ansatz that consists of a sequence of exponential operators, each of which is a unitary variant of Neuscamman's cluster Jastrow operator. The ansatz can also be derived as a decomposition of T$_2$ amplitudes of the unitary coupled cluster with generalized singles and doubles, which gives a near full-CI energy, and reproduces it by extending the exponential operator sequence. Because the cluster Jastrow operators are expressed by a product of number operators and the derived Pauli operator products, namely the Jordan-Wigner strings, are all commutative, it does not require the Trotter approximation to implement to a quantum circuit and should be a good candidate for the variational quantum eigensolver algorithm by a near-term quantum computer. The accuracy of the ansatz was examined for dissociation of a nitrogen dimer, and compared with other existing ${\cal O}(N^2)$-parameter ansatzs. Not only the original ansatzs defined in the second-quantization form but also their Trotterized variants, in which the cluster amplitudes are optimized to minimize the energy obtained with a few, typically single, Trotter steps, were examined by quantum circuit simulators.


title: Biomedical relation extraction with pre-trained language representations and minimal task-specific architecture

abstract: This paper presents our participation in the AGAC Track from the 2019 BioNLP Open Shared Tasks. We provide a solution for Task 3, which aims to extract "gene - function change - disease" triples, where "gene" and "disease" are mentions of particular genes and diseases respectively and "function change" is one of four pre-defined relationship types. Our system extends BERT (Devlin et al., 2018), a state-of-the-art language model, which learns contextual language representations from a large unlabelled corpus and whose parameters can be fine-tuned to solve specific tasks with minimal additional architecture. We encode the pair of mentions and their textual context as two consecutive sequences in BERT, separated by a special symbol. We then use a single linear layer to classify their relationship into five classes (four pre-defined, as well as 'no relation'). Despite considerable class imbalance, our system significantly outperforms a random baseline while relying on an extremely simple setup with no specially engineered features.


title: Model-based Statistical Depth with Applications to Functional Data

abstract: Statistical depth, a commonly used analytic tool in non-parametric statistics, has been extensively studied for multivariate and functional observations over the past few decades. Although various forms of depth were introduced, they are mainly procedure-based whose definitions are independent of the generative model for observations. To address this problem, we introduce a generative model-based approach to define statistical depth for both multivariate and functional data. The proposed model-based depth framework permits simple computation via Monte Carlo sampling and improves the depth estimation accuracy. When applied to functional data, the proposed depth can capture important features such as continuity, smoothness, or phase variability, depending on the defining criteria. Specifically, we view functional data as realizations from a second-order stochastic process, and define their depths through the eigensystem of the covariance operator. These new definitions are given through a proper metric related to the reproducing kernel Hilbert space of the covariance operator. We propose efficient algorithms to compute the proposed depths and establish estimation consistency. Through simulations and real data, we demonstrate that the proposed functional depths reveal important statistical information such as those captured by the median and quantiles, and detect outliers.


title: Prevalence of SED turndown among classical Be stars: Are all Be stars close binaries?

abstract: Rapid rotation is a fundamental characteristic of classical Be stars and a crucial property allowing for the formation of their circumstellar disks. Past evolution in a mass and angular momentum transferring binary system offers a plausible solution to how Be stars attained their fast rotation. Although the subdwarf remnants of mass donors in such systems should exist in abundance, only a few have been confirmed due to tight observational constraints. An indirect method of detecting otherwise hidden companions is offered by their effect on the outer parts of Be star disks, which are expected to be disrupted or truncated. In the context of the IR and radio continuum excess radiation originating in the disk, the disk truncation can be revealed by a turndown in the spectral energy distribution due to reduced radio flux levels. In this work we search for signs of spectral turndown in a sample of 57 classical Be stars with radio data, which include new data for 23 stars and the longest wavelength detections so far ($\lambda \approx$ 10\,cm) for 2 stars. We confidently detect the turndown for all 26 stars with sufficient data coverage (20 of which are not known to have close binary companions). For the remaining 31 stars, data are inconclusive as to whether the turndown is present or not. The analysis suggests that many if not all Be stars have close companions influencing their outer disks. If confirmed to be subdwarf companions, the mass transfer spin-up scenario might explain the existence of the vast majority of classical Be stars.


title: Relative Richardson Varieties

abstract: A Richardson variety in a flag variety is an intersection of two Schubert varieties defined by transverse flags. We define and study relative Richardson varieties, which are defined over a base scheme with a vector bundle and two flags. To do so, we generalize transversality of flags to a relative notion, versality, that allows the flags to be non-transverse over some fibers. Relative Richardson varieties share many of the geometric properties of Richardson varieties. We generalize several geometric and cohomological facts about Richardson varieties to relative Richardson varieties. We also prove that the local geometry of a relative Richardson variety is governed, in a precise sense, by the two intersecting Schubert varieties, giving a generalization, in the flag variety case, of a theorem of Knutson-Woo-Yong; we also generalize this result to intersections of arbitrarily many relative Schubert varieties. We give an application to Brill-Noether varieties on elliptic curves, and a conjectural generalization to higher genus curves.


title: Improving RNN Transducer Modeling for End-to-End Speech Recognition

abstract: In the last few years, an emerging trend in automatic speech recognition research is the study of end-to-end (E2E) systems. Connectionist Temporal Classification (CTC), Attention Encoder-Decoder (AED), and RNN Transducer (RNN-T) are the most popular three methods. Among these three methods, RNN-T has the advantages to do online streaming which is challenging to AED and it doesn't have CTC's frame-independence assumption. In this paper, we improve the RNN-T training in two aspects. First, we optimize the training algorithm of RNN-T to reduce the memory consumption so that we can have larger training minibatch for faster training speed. Second, we propose better model structures so that we obtain RNN-T models with the very good accuracy but small footprint. Trained with 30 thousand hours anonymized and transcribed Microsoft production data, the best RNN-T model with even smaller model size (216 Megabytes) achieves up-to 11.8% relative word error rate (WER) reduction from the baseline RNN-T model. This best RNN-T model is significantly better than the device hybrid model with similar size by achieving up-to 15.0% relative WER reduction, and obtains similar WERs as the server hybrid model of 5120 Megabytes in size.


title: An innovative approach for sketching the QCD phase diagram within the NJL model using Lagrange Multipliers

abstract: We develop a new approach for sketching the quantum chromodynamics phase-diagram within the Nambu--Jona-Lasinio model for arbitrarily large values of the coupling constant, temperature and chemical potential based upon the strategy of Lagrange multipliers that constrains the corresponding gap equation and its mass gradient. Our approach distinguishes continuous from discountinuous phase transitions and thus is capable of locating the position of the Critical End Point from the thermodynamical parameters of the model alone, without direct reference to the chiral susceptibility or any other observable. The approach can be straightforwardly extended to those effective chiral quark models with a momentum independent constituent quark mass.


title: Photometry and spectroscopy of massive stars observed during K2 Campaign 8

abstract: We report in this paper spectroscopic and photometric analysis of eight massive stars observed during Campaign 8 of the Kepler/K2 mission from January to March 2016. Spectroscopic data were obtained on these stars at OPD/LNA, Brazil, and their stellar parameters determined using SME. Periodic analyses of the light curves were performed through CLEANEST and PERIOD04 algorithms. Mass, luminosity, and radius of our stars were estimated employing CESAM+POSC grids. Three of our stars show significant periodicity. K2 ID 220679442 and K2 ID 220532854 have periods linked to the stellar rotation. K2 ID 220532854 has prominent silicon lines (Si II 4128-4131), a characteristic presented in the peculiar class of Ap magnetic main sequence stars. However, in our spectral analysis, this object was found to be an evolved, luminous giant star. K2 ID 220466722 was revealed to be a $\delta$ Scuti variable, and 40 individual frequencies were determined for this star. No significant periodicity was found in the light curves for the remaining stars analyzed in this work, besides the instrumental one.


title: Constraining a causal dissipative cosmological model

abstract: In this paper a cosmological solution of polynomial type $H \approx ( t + const.)^{-1}$ for the causal thermodynamical approach of Isarel-Stewart, found in \cite{MCruz:2017, Cruz2017}, is constrained using the joint of the latest measurements of the Hubble parameter (OHD) and Type Ia Supernovae (SNIa). Since the expansion described by this solution does not present a transition from a decelerated phase to an accelerated one, both phases can be well modeled connecting both phases by requiring the continuity of the Hubble parameter at $z=z_{t}$, the accelerated-decelerated transition redshift. Our best fit constrains the main free parameters of the model to be $A_1= 1.58^{+0.08}_{-0.07}$ ($A_2=0.84^{+0.02}_{-0.02}$) for the accelerated (decelerated) phase. For both phases we obtain $q=-0.37^{+0.03}_{-0.03}$ ($0.19^{+0.03}_{-0.03}$) and $\omega_{eff} = -0.58^{+0.02}_{-0.02}$ ($-0.21^{+0.02}_{-0.02}$) for the deceleration parameter and the effective equation of state, respectively. Comparing our model and LCDM statistically through the Akaike information criterion and the Bayesian information criterion we obtain that the LCDM model is preferred by the OHD+SNIa data. Finally, it is shown that the constrained parameters values satisfy the criterion for a consistent fluid description of a dissipative dark matter component, but with a high value of the speed of sound within the fluid, which is a drawback for a consistent description of the structure formation. We briefly discuss the possibilities to overcome this problem with a non-linear generalization of the causal linear thermodynamics of bulk viscosity and also with the inclusion of some form of dark energy.


title: Counting Domineering Positions

abstract: Domineering is a two player game played on a checkerboard in which one player places dominoes vertically and the other places them horizontally. We give bivariate generating polynomials enumerating Domineering positions by the number of each player's pieces. We enumerate all positions, maximal positions, and positions where one player has no move. Using these polynomials we count the number of positions that occur during alternating play. Our method extends to enumerating positions from mid-game positions and we include an analysis of a tournament game.


title: Analogue quantum simulation of superradiance and subradiance in trapped-ions

abstract: We discuss a protocol for the analogue quantum simulation of superradiance and subradiance using a linear chain of N trapped qubit ions with a single sympathetic cooling ion. We develop a simple analytic model that shows the dynamics of the qubit subspace converge to those of a cloud undergoing Dicke superradiance and subradiance. We provide numerical simulations of the full ion chain and show that they converge to the dynamics predicted by our analytic model with no fitting parameters. We also map out the parameter regime needed to reach this convergence.


title: JOINUS: A User-friendly Open-source Software to Simulate Digital Superconductor Circuits

abstract: Single flux quantum (SFQ) based circuits are the subject of renewed attention due to their high speed and their very high energy efficiency. However, the need of cryogenic temperature, the complex physics of Josephson junctions and the lack of proper EDA tools causes slow progress in the field of superconducting electronics. In this work we introduce a new open source program named JOsephson INterface Utility Software (JOINUS [1]) that incorporates SPICE-based simulator engines, improved physical models and several powerful built-in routines. JOINUS is based on a user-friendly environment available on Linux, MacOS and Windows platforms to simplify the design and analysis of superconducting digital circuits.


title: A Search for Intrinsic HI 21 cm and OH 18 cm Absorption Toward Compact Radio Sources

abstract: We present the results of a large search for intrinsic HI 21 cm and OH 18 cm absorption in 145 compact radio sources in the redshift range 0.02< z <3.8 with the Green Bank Telescope. We re-detect HI 21 cm absorption toward six known absorption systems but detect no new HI or OH absorption in 102 interference-free sources. 79 sources have not previously been observed for HI 21 cm absorption. We recover a mean optical depth limit of $\tau_{3\sigma}<0.023$ for all the non-detections in the survey. Our results do not support the high intrinsic absorption rates found by previous studies in compact radio sources at low redshift. Our results do, however, support the hypothesis proposed by Curran et al. (2008) that high ultraviolet (UV) luminosity active galactic nuclei (AGN) do not show intrinsic HI 21 cm absorption, confirming a threshold of $L_{\rm UV} = 10^{23}$ W Hz$^{-1}$, above which our intrinsic absorption fraction is zero (54 sources). The exact nature of the UV luminosity effect on HI absorption systems remains ambiguous. We additionally find no statistical correlation between the 1.4 GHz radio luminosity or the source size and the 21~cm absorption detection rate. We attribute the lack of intrinsic absorption in our survey to the UV luminosity effect caused by an optical selection bias and a decreased column density sensitivity with increasing redshift due to lower radio continuum flux densities, high radio frequency interference, and higher telescope system temperatures at low frequencies.


title: Absolutely Localized Projection-Based Embedding for Excited States

abstract: We present a quantum embedding method that allows for the calculation of local excited states embedded in a Kohn-Sham density functional theory (DFT) environment. Projection-based quantum embedding methodologies provide a rigorous framework for performing DFT-in-DFT and wave function in DFT (WF-in-DFT) calculations. The use of absolute localization, where the density of each subsystem is expanded in only the basis functions associated with the atoms of that subsystem, provide improved computationally efficiency for WF-in-DFT calculations by reducing the number of orbitals in the WF calculation. In this work, we extend absolutely localized projection-based quantum embedding to study localized excited states using EOM-CCSD-in-DFT and TDDFT-in-DFT. The embedding results are highly accurate compared to the corresponding canonical EOM-CCSD and TDDFT results on the full system, with TDDFT-in-DFT frequently more accurate than canonical TDDFT. The absolute localization method is shown to eliminate the spurious low-lying excitation energies for charge transfer states and prevent over delocalization of excited states. Additionally, we attempt to recover the environment response caused by the electronic excitations in the high-level subsystem using different schemes and compare their accuracy. Finally, we apply this method to the calculation of the excited state energy of green fluorescent protein and show that we systematically converge to the full system results. Here we demonstrate how this method can be useful in understanding excited states, specifically which chemical moieties polarize to the excitation. This work shows absolutely localized projection-based quantum embedding can treat local electronic excitations accurately, and make computationally expensive WF methods applicable to systems beyond current computational limits.


title: NGTS-10b: The shortest period hot Jupiter yet discovered

abstract: We report the discovery of a new ultra-short period transiting hot Jupiter from the Next Generation Transit Survey (NGTS). NGTS-10b has a mass and radius of $2.162\,^{+0.092}_{-0.107}$ M$_{\rm J}$ and $1.205\,^{+0.117}_{-0.083}$ R$_{\rm J}$ and orbits its host star with a period of $0.7668944\pm0.0000003$ days, making it the shortest period hot Jupiter yet discovered. The host is a $10.4\pm2.5$ Gyr old K5V star ($T_\mathrm{eff}$=$4400\pm100$\,K) of Solar metallicity ([Fe/H] = $-0.02\pm0.12$\,dex) showing moderate signs of stellar activity. NGTS-10b joins a short list of ultra-short period Jupiters that are prime candidates for the study of star-planet tidal interactions. NGTS-10b orbits its host at just $1.46\pm0.18$ Roche radii, and we calculate a median remaining inspiral time of $38$\,Myr and a potentially measurable transit time shift of $7$\,seconds over the coming decade, assuming a stellar tidal quality factor $Q'_{\rm s}=2\times10^{7}$.


title: A Re-classification of Information Seeking Tasks and Their Computational Solutions

abstract: This article presents a re-classification of information seeking (IS) tasks, concepts, and algorithms. The proposed taxonomy provides new dimensions to look into information seeking tasks and methods. The new dimensions include the number of search iterations, search goal types, and procedures to reach these goals. Differences along these dimensions for the information seeking tasks call for suitable computational solutions. The article then reviews machine learning solutions that match each new category. The paper ends with a review of evaluation campaigns for IS systems.


title: Modeling population dynamics based on experimental trials with genetically modified (RIDL) mosquitoes

abstract: Recently, the RIDL-SIT technology has been field-tested for control of Aedes aegypti. The technique consists of releasing genetically modified mosquitoes carrying a "lethal gene". In 2016 the World Health Organisation (WHO) and the Pan-American Health Organization (PAHO) recommend to their constituent countries to test the new technologies proposed to control Aedes aegypti populations. However, issues concerning effectiveness and ecological impact have not been thoroughly studied so far. In order to study these issues, we develop an ecological model compatible with the information available as of 2016. It presents an interdependent dynamics of mosquito populations and food in an homogeneous setting. Mosquito populations are described in an stochastic compartmental setup in terms of reaction norms depending on the available food in the environment. The development of the model allows us to indicate some critical biological knowledge that is missing and could (should) be produced. Hybridisation levels, release numbers during and after intervention and population recovery time after the intervention as a function of intervention duration and target are calculated under different hypotheses with regard to the fitness of hybrids and compared with two field studies of actual interventions. The minimal model should serve as a basis for detailed models when the necessary information to construct them is produced. For the time being, the model shows that nature will not clean the non-lethal introgressed genes.


title: Stable Periodic Solutions to Lambda-Omega Lattice Dynamical Systems

abstract: In this manuscript we consider the stability of periodic solutions to Lambda-Omega lattice dynamical systems. In particular, we show that an appropriate ansatz casts the lattice dynamical system as an infinite-dimensional fast-slow differential equation. In a neighbourhood of the periodic solution an invariant slow manifold is proven to exist, and that this slow manifold is uniformly exponentially attracting. The dynamics of solutions on the slow manifold become significantly more complicated and require a more delicate treatment. We present sufficient conditions to guarantee convergence on the slow manifold which is algebraic, as opposed to exponential, in the slow-time variable. Of particular interest to our work in this manuscript is the stability of a rotating wave solution, recently found to exist in the Lambda-Omega systems studied herein.


title: Experimental methods for the study of standing waves in strings

abstract: Several cases of the explanation of the phenomenon of standing waves in strings, there are few experimental measurement tools when demonstrating this phenomenon in a classroom, it is for this reason that we have implemented different forms to show how we can experimentally demonstrate the wave behavior of string vibration, where variations in the length, frequency and tension of the string have been made, with the purpose of showing this phenomenon more generally and clearly for students. In this work, we present the step-by-step the implementation of two experimental procedures of laboratory concerned with the study of wave strings, seeking as a primary objective to show students the experimental way of obtaining and measuring the number of bellies in a string in addition of being able to calculate both fundamentally and experimentally the fundamental frequency of each string by varying both its length and its tension using the resonance frequency. Finally, we present the respective experimental errors, for each of the assemblies and methods carried out in the laboratory to perform the measurements shown and registered in this work.


title: Statistical downscaling with spatial misalignment: Application to wildland fire PM$_{2.5}$ concentration forecasting

abstract: Fine particulate matter, PM$_{2.5}$, has been documented to have adverse health effects and wildland fires are a major contributor to PM$_{2.5}$ air pollution in the US. Forecasters use numerical models to predict PM$_{2.5}$ concentrations to warn the public of impending health risk. Statistical methods are needed to calibrate the numerical model forecast using monitor data to reduce bias and quantify uncertainty. Typical model calibration techniques do not allow for errors due to misalignment of geographic locations. We propose a spatiotemporal downscaling methodology that uses image registration techniques to identify the spatial misalignment and accounts for and corrects the bias produced by such warping. Our model is fitted in a Bayesian framework to provide uncertainty quantification of the misalignment and other sources of error. We apply this method to different simulated data sets and show enhanced performance of the method in the presence of spatial misalignment. Finally, we apply the method to a large fire in Washington state and show that the proposed method provides more realistic uncertainty quantification than standard methods.


title: Physical Cosmology From the 21-cm Line

abstract: We describe how the high-redshift 21-cm background can be used to improve both our understanding of the fundamental cosmological parameters of our Universe and exotic processes originating in the dark sector. The 21-cm background emerging during the cosmological Dark Ages, the era between hydrogen recombination and the formation of the first luminous sources (likely at z ~ 30), is difficult to measure but provides several powerful advantages for these purposes: in addition to the lack of astrophysical contamination, it will allow probes of very small scale structure over a very large volume. Additionally, the 21-cm background is sensitive to the thermal state of the intergalactic hydrogen and therefore probes any exotic processes (including, e.g., dark matter scattering or decay and primordial black holes) during that era. After astrophysical sources have formed, cosmological information can be separated from astrophysical effects on the 21-cm background through methods such as redshift space distortions, joint modeling, and by searching for indirect effects on the astrophysical sources themselves.


title: Electrical manipulation of magnetic anisotropy in a Fe$_{81}$Ga$_{19}$/PMN-PZT magnetoelectric multiferroic composite

abstract: Magnetoelectric composites are an important class of multiferroic materials that pave the way towards a new generation of multifunctional devices directly integrable in data storage technology and spintronics. This study focuses on strain-mediated electrical manipulation of magnetization in an extrinsic multiferroic. The composite includes 5 nm or 60 nm Fe$_{81}$Ga$_{19}$ thin films coupled to a piezoelectric (011)-PMN-PZT. The magnetization reversal study reveals a converse magnetoelectric coefficient $\alpha_\mathrm{CME,max} \approx 2.7 \times {10^{-6}}$ s.m$^{-1}$ at room temperature. This reported value of $\alpha_\mathrm{CME}$ is among the highest so far compared to previous reports of single-phase multiferroics as well as composites. An angular dependency of $\alpha_\mathrm{CME}$ is also shown for the first time, arising from the intrinsic magnetic anisotropy of FeGa. The highly efficient magnetoelectric composite FeGa/PMN-PZT demonstrates drastic modifications of the in-plane magnetic anisotropy, with an almost 90$^{\circ}$ rotation of the preferential anisotropy axis in the thinner films under an electric field E = 10.8 kV.cm$^{-1}$. Also, the influence of thermal strain on the bilayer's magnetic coercivity is compared to that of a reference bilayer FeGa/Glass at cryogenic temperatures. A different evolution is observed as a function of temperature, revealing a substrate thermo-mechanical influence which has not yet been reported in FeGa thin films coupled to a piezoelectric material.


title: A Matrix Factorization Model for Hellinger-based Trust Management in Social Internet of Things

abstract: The Social Internet of Things (SIoT), integration of the Internet of Things and Social Networks paradigms, has been introduced to build a network of smart nodes that are capable of establishing social links. In order to deal with misbehaving service provider nodes, service requestor nodes must evaluate their trustworthiness levels. In this paper, we propose a novel trust management mechanism in the SIoT to predict the most reliable service providers for each service requestor, which leads to reduce the risk of being exposed to malicious nodes. We model the SIoT with a flexible bipartite graph (containing two sets of nodes: service providers and service requestors), then build a social network among the service requestor nodes, using the Hellinger distance. Afterward, we develop a social trust model using nodes' centrality and similarity measures to extract trust behaviors among the social network nodes. Finally, a matrix factorization technique is designed to extract latent features of SIoT nodes, find trustworthy nodes, and mitigate the data sparsity and cold start problems. We analyze the effect of parameters in the proposed trust prediction mechanism on prediction accuracy. The results indicate that feedbacks from the neighboring nodes of a specific service requestor with high Hellinger similarity in our mechanism outperforms the best existing methods. We also show that utilizing the social trust model, which only considers a similarity measure, significantly improves the accuracy of the prediction mechanism. Furthermore, we evaluate the effectiveness of the proposed trust management system through a real-world SIoT use case. Our results demonstrate that the proposed mechanism is resilient to different types of network attacks, and it can accurately find the most proper and trustworthy service provider.


title: Single-particle Lagrangian statistics from direct numerical simulations of rotating-stratified turbulence

abstract: Geophysical fluid flows are predominantly turbulent and often strongly affected by the Earth's rotation, as well as by stable density stratification. Using direct numerical simulations of forced Boussinesq equations, we study the influence of these effects on the motion of fluid particles, focusing on cases where the frequencies associated with rotation and stratification (RaS), $N$ and $f$ respectively, are held at a fixed ratio $N/f=5$. As the intensity of RaS increases, a sharp transition is observed between a regime dominated by eddies to a regime dominated by waves, which can also be seemingly described by simply comparing the time scale $1/N$ and $\tau_\eta$ (the Kolmogorov time scale). We perform a detailed study of Lagrangian statistics of acceleration, velocity and related quantities in the two regimes. The flow anisotropy induces a clear difference between particle motion in the horizontal and vertical directions. In the regime $N\tau_\eta <1$, acceleration statistics in both horizontal and vertical directions, exhibit well known characteristics of isotropic turbulence. In contrast for $N\tau_\eta >1$, they are directly influenced by imposed RaS. The Lagrangian velocity statistics exhibit visible anisotropy for all runs; nevertheless the degree of anisotropy becomes very strong in the regime $N\tau_\eta >1$. We find that in the regime $N\tau_\eta <1$, rotation enhances the mean displacement of particles in horizontal planes at short times, but inhibits them at longer times. This inhibition of horizontal displacement becomes stronger for $N\tau_\eta >1$, with no clear diffusive behavior. Displacements in the vertical direction are always inhibited. The inhibition becomes extremely strong when $N\tau_\eta >1$, with the particles almost being trapped horizontally.


title: Learning the Difference that Makes a Difference with Counterfactually-Augmented Data

abstract: Despite alarm over the reliance of machine learning systems on so-called spurious patterns, the term lacks coherent meaning in standard statistical frameworks. However, the language of causality offers clarity: spurious associations are due to confounding (e.g., a common cause), but not direct or indirect causal effects. In this paper, we focus on natural language processing, introducing methods and resources for training models less sensitive to spurious patterns. Given documents and their initial labels, we task humans with revising each document so that it (i) accords with a counterfactual target label; (ii) retains internal coherence; and (iii) avoids unnecessary changes. Interestingly, on sentiment analysis and natural language inference tasks, classifiers trained on original data fail on their counterfactually-revised counterparts and vice versa. Classifiers trained on combined datasets perform remarkably well, just shy of those specialized to either domain. While classifiers trained on either original or manipulated data alone are sensitive to spurious features (e.g., mentions of genre), models trained on the combined data are less sensitive to this signal. Both datasets are publicly available.


title: A multi-vehicle covering tour problem with speed optimization

abstract: The multi-vehicle covering tour problem with time windows (MCTPTW) aims to construct a set of maximal coverage routes for a fleet of vehicles that serve (observe) a secondary set of sites given a fixed time schedule, coverage requirements, and energy restrictions. The problem is formulated as a mixed-integer second-order cone programming (MISOCP) model and is an extension of both the multi-covering tour problem and the vehicle routing problem with time windows under energy constraints. Further, we study a special case of the proposed model and develop a labeling algorithm to solve its Lagrangian relaxation problem, which exploits the combinatorial structure exhibited by an optimal solution to the Lagrangian relaxation.


title: Autonomous Control of a Tendon-driven Robotic Limb with Elastic Elements Reveals that Added Elasticity can Enhance Learning

abstract: Passive elastic elements can contribute to stability, energetic efficiency, and impact absorption in both biological and robotic systems. They also add dynamical complexity which makes them more challenging to model and control. The impact of this added complexity to autonomous learning has not been thoroughly explored. This is especially relevant to tendon-driven limbs whose cables and tendons are inevitably elastic. Here, we explored the efficacy of autonomous learning and control on a simulated bio-plausible tendon-driven leg across different tendon stiffness values. We demonstrate that increasing stiffness of the simulated muscles can require more iterations for the inverse map to converge but can then perform more accurately, especially in discrete tasks. Moreover, the system is robust to subsequent changes in muscle stiffnesses and can adapt on-the-go within 5 attempts. Lastly, we test the system for the functional task of locomotion, and found similar effects of muscle stiffness to learning and performance. Given that a range of stiffness values led to improved learning and maximized performance, we conclude the robot bodies and autonomous controllers---at least for tendon-driven systems---can be co-developed to take advantage of elastic elements. Importantly, this opens also the door to development efforts that recapitulate the beneficial aspects of the co-evolution of brains and bodies in vertebrates.


title: Polar metamaterials: A new outlook on resonance for cloaking applications

abstract: Rotationally resonant metamaterials are leveraged to answer a longstanding question regarding the existence of transformation-invariant elastic materials and the ad-hoc possibility of transformationbased passive cloaking in full plane elastodynamics. Combined with tailored lattice geometries, rotational resonance is found to induce a polar and chiral behavior; that is a behavior lacking stress and mirror symmetries, respectively. The central, and simple, idea is that a population of rotating resonators can exert a density of body torques strong enough to modify the balance of angular momentum on which hang these symmetries. The obtained polar metamaterials are used as building blocks of a cloaking device. Numerical tests show satisfactory cloaking performance under pressure and shear probing waves, further coupled through a free boundary. The work sheds new light on the phenomenon of resonance in metamaterials and should help put transformation elastodynamics on equal footing with transformation acoustics and optics.


title: On a discrete elliptic problem with a weight

abstract: Using the variational approach and the critical point theory, we established several criteria for the existence of at least one nontrivial solution for a discrete elliptic boundary value problem with a weight $p(\cdot, \cdot)$ and depending on a real parameter $\lambda$.


title: First Order Symmetry Operators for the Linearized Field Equation of Metric Perturbations

abstract: We determine the general form of the first order linear symmetry operators for the linearized field equation of metric perturbations in the spacetimes of dimension D>=4. Apart from the part derived easily from the invariance under general coordinate transformations, we find a part consisting of a Killing-Yano 3-form.