title: A Robust Hyperviscosity Formulation for Stable RBF-FD Discretizations of Advection-Diffusion-Reaction Equations on Manifolds

abstract: We present a new hyperviscosity formulation for stabilizing radial basis function-finite difference (RBF-FD) discretizations of advection-diffusion-reaction equations on manifolds $\mathbb{M} \subset \mathbb{R}^3$ of co-dimension one. Our technique involves automatic addition of artificial hyperviscosity to damp out spurious modes in the differentiation matrices corresponding to surface gradients, in the process overcoming a technical limitation of a recently-developed Euclidean formulation. Like the Euclidean formulation, the manifold formulation relies on von Neumann stability analysis performed on auxiliary differential operators that mimic the spurious solution growth induced by RBF-FD differentiation matrices. We demonstrate high-order convergence rates on problems involving surface advection and surface advection-diffusion. Finally, we demonstrate the applicability of our formulation to advection-diffusion-reaction equations on manifolds described purely as point clouds. Our surface discretizations use the recently-developed RBF-LOI method, and with the addition of hyperviscosity, are now empirically high-order accurate, stable, and free of stagnation errors.


title: Iterative Delexicalization for Improved Spoken Language Understanding

abstract: Recurrent neural network (RNN) based joint intent classification and slot tagging models have achieved tremendous success in recent years for building spoken language understanding and dialog systems. However, these models suffer from poor performance for slots which often encounter large semantic variability in slot values after deployment (e.g. message texts, partial movie/artist names). While greedy delexicalization of slots in the input utterance via substring matching can partly improve performance, it often produces incorrect input. Moreover, such techniques cannot delexicalize slots with out-of-vocabulary slot values not seen at training. In this paper, we propose a novel iterative delexicalization algorithm, which can accurately delexicalize the input, even with out-of-vocabulary slot values. Based on model confidence of the current delexicalized input, our algorithm improves delexicalization in every iteration to converge to the best input having the highest confidence. We show on benchmark and in-house datasets that our algorithm can greatly improve parsing performance for RNN based models, especially for out-of-distribution slot values.


title: On Realizing Modular Data

abstract: We use zesting and symmetry gauging of modular tensor categories to analyze some previously unrealized modular data obtained by Grossman and Izumi. In one case we find all realizations and in the other we determine the form of possible realizations; in both cases all realizations can be obtained from quantum groups at roots of unity.


title: The infrared bands of polycyclic aromatic hydrocarbons in the 1.6-1.7 {\mu}m wavelength region

abstract: Context. The 3.3 $\mu$m aromatic C-H stretching band of polycyclic aromatic hydrocarbon (PAH) molecules seen in a wide variety of astrophysical regions is often accompanied by a series of weak satellite bands at ~3.4-3.6 $\mu$m. One of these sources, IRAS 21282+5050, a planetary nebula, also exhibits a weak band at ~1.68 $\mu$m. While the satellite features at ~3.4-3.6 $\mu$m are often attributed to the anharmonicities of PAHs, it is not clear whether overtones or combination bands dominate the 1.68 $\mu$m feature. Aims. In this work, we examine the anharmonic spectra of eight PAH molecules, including anthracene, tetracene, pentacene, phenanthrene, chrysene, benz[a]anthracene, pyrene, and perylene, to explore the origin of the infrared bands in the 1.6-1.7 $\mu$m waveelngth region. Methods. Density Functional Theory (DFT) in combination with the vibrational second-order perturbation theory (VPT2) is utilized for computing the anharmonic spectra of PAHs. To simulate the vibrational excitation process of PAHs, the Wang-Landau random walk technique is employed. Results. All the dominant bands in the 1.6-1.7 $\mu$m wavelength range and in the 3.1-3.5 $\mu$m C-H stretching region are calculated and tabulated. It is demonstrated that combination bands dominate the 1.6-1.7 $\mu$m region, while overtones are rare and weak in this region. We also calculate the intensity ratios of the 3.1-3.5 $\mu$m C-H stretching features to the bands in the 1.6-1.7 $\mu$m region, $I_{3.1-3.5}/I_{1.6-1.7}$, for both ground and vibrationally excited states. On average, we obtain $\langle I_{3.1-3.5}/I_{1.6-1.7} \rangle$ $\approx$ 12.6 and $\langle I_{3.1-3.5}/I_{1.6-1.7} \rangle$ $\approx$ 17.6 for PAHs at ground states and at vibrationally excited states, respectively.


title: Photo-enhanced excitonic correlations in a Mott insulator with nonlocal interactions

abstract: We investigate the effect of nonlocal interactions on the photo-doped Mott insulating state of the two-dimensional Hubbard model using a nonequilibrium generalization of the dynamical cluster approximation. In particular, we compare the situation where the excitonic states are lying within the continuum of doublon-holon excitations to a set-up where the excitons appear within the Mott gap. In the first case, the creation of nearest-neighbor doublon-holon pairs by excitations across the Mott gap results in enhanced excitonic correlations, but these excitons quickly decay into uncorrelated doublons and holons. In the second case, photo-excitation results in long-lived excitonic states. While in a low-temperature equilibrium state, excitonic features are usually not evident in single-particle observables such as the photoemission spectrum, we show that the photo-excited nonequilibrium system can exhibit in-gap states associated with the excitons. The comparison with exact-diagonalization results for small clusters allows us to identify the signatures of the excitons in the photo-emission spectrum.


title: Self-excited motions of volatile drops on swellable sheets

abstract: When a volatile droplet is deposited on a floating swellable sheet, it becomes asymmetric, lobed and mobile. We describe and quantify this phenomena that involves nonequilibrium swelling, evaporation and motion, working together to realize a self-excitable spatially extended oscillator. Solvent penetration causes the film to swell locally and eventually buckle, changing its shape and the drop responds by moving. Simultaneously, solvent evaporation from the swollen film causes it to regain its shape once the droplet has moved away. The process repeats and leads to complex pulsatile spinning and/or sliding movements. We use a one-dimensional experiment to highlight the slow swelling of and evaporation from the film and the fast motion of the drop, a characteristic of excitable systems. Finally, we provide a phase diagram for droplet excitability as a function of drop size and film thickness and scaling laws for the motion of the droplet.

categories: cond-mat.soft cond-mat.mtrl-sci nlin.PS physics.flu-dyn


title: Reverse derivative categories

abstract: The reverse derivative is a fundamental operation in machine learning and automatic differentiation. This paper gives a direct axiomatization of a category with a reverse derivative operation, in a similar style to that given by Cartesian differential categories for a forward derivative. Intriguingly, a category with a reverse derivative also has a forward derivative, but the converse is not true. In fact, we show explicitly what a forward derivative is missing: a reverse derivative is equivalent to a forward derivative with a dagger structure on its subcategory of linear maps. Furthermore, we show that these linear maps form an additively enriched category with dagger biproducts.


title: Bernstein-Gelfand-Gelfand resolutions and the constructible $t$-structure

abstract: We consider analogues of the Bernstein-Gelfand-Gelfand resolution in a highest weight category $\mathscr{P}$. We prove the resulting category of complexes is a chain-level lift of the heart of the constructible $t$-structure on its bounded derived category $D^b(\mathscr{P})$. In particular, an object admits a Bernstein-Gelfand-Gelfand resolution if and only if a certain $\operatorname{Ext}$ vanishing with costandard objects holds. These results appear to be new even for Category $\mathscr{O}$.


title: On adversarial patches: real-world attack on ArcFace-100 face recognition system

abstract: Recent works showed the vulnerability of image classifiers to adversarial attacks in the digital domain. However, the majority of attacks involve adding small perturbation to an image to fool the classifier. Unfortunately, such procedures can not be used to conduct a real-world attack, where adding an adversarial attribute to the photo is a more practical approach. In this paper, we study the problem of real-world attacks on face recognition systems. We examine security of one of the best public face recognition systems, LResNet100E-IR with ArcFace loss, and propose a simple method to attack it in the physical world. The method suggests creating an adversarial patch that can be printed, added as a face attribute and photographed; the photo of a person with such attribute is then passed to the classifier such that the classifier's recognized class changes from correct to the desired one. Proposed generating procedure allows projecting adversarial patches not only on different areas of the face, such as nose or forehead but also on some wearable accessory, such as eyeglasses.


title: Statistic-Based Security Analysis of Ring Oscillator PUFs

abstract: Ring oscillators (ROs) are a robust way to implement a physical unclonable function (PUF) into ASICs or FPGAs, but claims of predictability arose recently. We describe why this likely results from not using adjacent ROs for pairwise comparison because of spatial patterns in mean frequency and correlation coefficients found by principal component analysis. We show that the covariance is too small for our approach to estimate bits if adjacent ROs are compared. Our assumption of normality for the inter-device distribution passes an Anderson-Darling test and we outline that devices with proximate serial numbers are not more similar than other devices.


title: Plasmon Localization Assisted by Conformal Symmetry

abstract: Plasmonic systems have attracted remarkable interest due to their application to the subwavelength confinement of light and the associated enhancement of light-matter interactions. However, this requires light to dwell at a given spatial location over timescales longer than the coupling rate to any relevant loss mechanism. Here we develop a general strategy for the design of stopped-light plasmonic metasurfaces, by taking advantage of the conformal symmetry which underpins near-field optics. By means of the analytical technique of transformation optics, we propose a class of plasmonic gratings which is able to achieve ultra-slow group velocities, effectively freezing surface plasmon polaritons in space over their whole lifetime. Our method can be universally applied to the localization of polaritons in metallic systems, as well as in highly doped semiconductors and even two-dimensional conductive and polar materials, and may find potential applications in nano-focusing, nano-imaging, spectroscopy and light-harvesting.


title: DeepErase: Weakly Supervised Ink Artifact Removal in Document Text Images

abstract: Paper-intensive industries like insurance, law, and government have long leveraged optical character recognition (OCR) to automatically transcribe hordes of scanned documents into text strings for downstream processing. Even in 2019, there are still many scanned documents and mail that come into businesses in non-digital format. Text to be extracted from real world documents is often nestled inside rich formatting, such as tabular structures or forms with fill-in-the-blank boxes or underlines whose ink often touches or even strikes through the ink of the text itself. Further, the text region could have random ink smudges or spurious strokes. Such ink artifacts can severely interfere with the performance of recognition algorithms or other downstream processing tasks. In this work, we propose DeepErase, a neural-based preprocessor to erase ink artifacts from text images. We devise a method to programmatically assemble real text images and real artifacts into realistic-looking "dirty" text images, and use them to train an artifact segmentation network in a weakly supervised manner, since pixel-level annotations are automatically obtained during the assembly process. In addition to high segmentation accuracy, we show that our cleansed images achieve a significant boost in recognition accuracy by popular OCR software such as Tesseract 4.0. Finally, we test DeepErase on out-of-distribution datasets (NIST SDB) of scanned IRS tax return forms and achieve double-digit improvements in accuracy. All experiments are performed on both printed and handwritten text. Code for all experiments is available at https://github.com/yikeqicn/DeepErase


title: On preconditioning the self-consistent field iteration in real-space Density Functional Theory

abstract: We present a real-space formulation for isotropic Fourier-space preconditioners used to accelerate the self-consistent field iteration in Density Functional Theory calculations. Specifically, after approximating the preconditioner in Fourier space using a rational function, we express its real-space application in terms of the solution of sparse Helmholtz-type systems. Using the truncated-Kerker and Resta preconditioners as representative examples, we show that the proposed real-space method is both accurate and efficient, requiring the solution of a single linear system, while accelerating self-consistency to the same extent as its exact Fourier-space counterpart.


title: Model-free Reinforcement Learning in Infinite-horizon Average-reward Markov Decision Processes

abstract: Model-free reinforcement learning is known to be memory and computation efficient and more amendable to large scale problems. In this paper, two model-free algorithms are introduced for learning infinite-horizon average-reward Markov Decision Processes (MDPs). The first algorithm reduces the problem to the discounted-reward version and achieves $\mathcal{O}(T^{2/3})$ regret after $T$ steps, under the minimal assumption of weakly communicating MDPs. To our knowledge, this is the first model-free algorithm for general MDPs in this setting. The second algorithm makes use of recent advances in adaptive algorithms for adversarial multi-armed bandits and improves the regret to $\mathcal{O}(\sqrt{T})$, albeit with a stronger ergodic assumption. This result significantly improves over the $\mathcal{O}(T^{3/4})$ regret achieved by the only existing model-free algorithm by Abbasi-Yadkori et al. (2019a) for ergodic MDPs in the infinite-horizon average-reward setting.


title: Intruder in a two-dimensional granular system: Effects of dynamic and static basal friction on stick-slip and clogging dynamics

abstract: We discuss the results of simulations of an intruder pulled through a two-dimensional granular system by a spring, using a model designed to lend insight into the experimental findings described by Kozlowski et al. [Phys. Rev. E, 100, 032905 (2019)]. In that previous study the presence of basal friction between the grains and the base was observed to change the intruder dynamics from clogging to stick-slip. Here we first show that our simulation results are in excellent agreement with the experimental data for a variety of experimentally accessible friction coefficients governing interactions of particles with each other and with boundaries. Then, we use simulations to explore a broader range of parameter space, focusing on the friction between the particles and the base. We consider a range of both static and dynamic basal friction coefficients, which are difficult to vary smoothly in experiments. The simulations show that dynamic friction strongly affects the stick-slip behaviour when the coefficient is decreased below 0.1, while static friction plays only a marginal role in the intruder dynamics.


title: Conjugate Bayesian Unit-level Modeling of Count Data Under Informative Sampling Designs

abstract: Unit-level models for survey data offer many advantages over their area-level counterparts, such as potential for more precise estimates and a natural benchmarking property. However two main challenges occur in this context: accounting for an informative survey design and handling non-Gaussian data types. The pseudo-likelihood approach is one solution to the former, and conjugate multivariate distribution theory offers a solution to the latter. By combining these approaches, we attain a unit-level model for count data that accounts for informative sampling designs and includes fully Bayesian model uncertainty propagation. Importantly, conjugate full conditional distributions hold under the pseudo-likelihood, yielding an extremely computationally efficient approach. Our method is illustrated via an empirical simulation study using count data from the American Community Survey public-use microdata sample.


title: How patchiness controls the properties of chain-like assemblies of colloidal platelets

abstract: Patchy colloidal platelets with convex, non-spherical shapes have been realized with different materials at length scales ranging from nanometers to microns. While the assembly of these hard shapes tends to maximize edge-to-edge contacts, as soon as a directional attraction is added -- by means of, e.g., specific ligands along the particle edges -- a competition between shape and bonding anisotropy sets in, giving rise to a complex assembly scenario. We focus here on a two-dimensional system of patchy rhombi, i.e., colloidal platelets with a regular rhombic shape decorated with bonding sites along their perimeter. Specifically, we consider rhombi with two patches, placed on either opposite or adjacent edges. While for the first particle class only chains can form, for the latter we observe the emergence of either chains or loops, depending on the system parameters. According to the patch positioning -- classified in terms of different classes, topologies and distances from the edge center -- we are able to characterize the emerging chain-like assemblies in terms of length, packing abilities, flexibility properties and nematic ordering.


title: Neutrino Oscillations and Energy-Momentum Conservation

abstract: It is proposed that the energy-momentum expectation values of flavor states should be identified with the missing energy-momentum of neutrino processes so that the conservation of energy-momentum can be strictly imposed. It is also observed that there is a plausible condition to express neutrino mixing angles in terms of neutrino masses without invoking symmetries.


title: Topology comparison of superconducting AC machines for hybrid-electric aircraft

abstract: Electric machines with very power-to-weight ratios are inevitable for hybrid electric aircraft applications. One potential technology that is very promising to achieve the required power-to-weight ratio for short-range aircraft, are superconductors used for high current densities in the stator or high magnetic fields in the rotor. In this paper, we present an indepth analysis of the potential for fully and partially superconducting electric machines that is based on an analytical approach taking into account all relevant physical domains such as electromagnetics, superconducting properties, thermal behavior as well as structural mechanics. For the requirements of the motors in the NASA N3-X concept aircraft, we find that fully superconducting machines could achieve 3.5 times higher power-to-weight ratio than partially superconducting machines. Furthermore, our model can be used to calculate the relevant KPIs such as mass, efficiency and cryogenic cooling requirements for any other machine design.


title: Acceleration sensing with magnetically levitated oscillators above a superconductor

abstract: We experimentally demonstrate stable trapping of a permanent magnet sphere above a lead superconductor, in vacuum pressures of $4 \times 10^{-8}$~mbar. The levitating magnet behaves as a harmonic oscillator, with frequencies in the 4-31~Hz range detected, and shows promise to be an ultrasensitive acceleration sensor. We directly apply an acceleration to the magnet with a current carrying wire, which we use to measure a background noise of $\sim 10^{-10} \ \text{m}/\sqrt{\text{Hz}}$ at 30.75~Hz frequency. With current experimental parameters, we find an acceleration sensitivity of $S_a^{1/2} = 1.2 \pm 0.2 \times 10^{-10} \ \text{g}/\sqrt{\text{Hz}}$, for a thermal noise limited system. By considering a 300~mK environment, at a background helium pressure of $1 \times 10^{-10}$~mbar, acceleration sensitivities of $S_a^{1/2} \sim 3 \times 10^{-15} \ \text{g}/\sqrt{\text{Hz}}$ could be possible with ideal conditions and vibration isolation. To feasibly measure with such a sensitivity, feedback cooling must be implemented.

categories: physics.app-ph cond-mat.supr-con physics.optics quant-ph


title: Solar Thermal Energy Conversion Enhanced by Selective Metafilm Absorber under Multiple Solar Concentrations at High Temperatures

abstract: Concentrating solar power, particularly parabolic trough system with solar concentrations less than 50, requires spectrally selective solar absorbers that are thermally stable at high temperatures of 400degC above to achieve high efficiency. In this work, the solar-thermal performance of a selective multilayer metafilm absorber is characterized along with a black absorber for comparison by a lab-scale experimental setup that measures the steady-state absorber temperature under multiple solar concentrations. Heat transfer analysis is employed to elucidate different heat transfer modes and validate the solar-thermal experiment. Due to the superior spectral selectivity and excellent thermal stability, the metafilm absorber deposited on the cost-effective stainless steel foil could achieve the solar-thermal efficiency 57% at a steady-state temperature of 371degC under 10 suns during the lab-scale experiment with losses, while a highest efficiency of 83% was projected under the same conditions for practical solar thermal applications. The results here will facilitate the research and development of novel solar materials for high-efficiency solar thermal energy conversion.


title: Mechanical modeling of superelastic tensegrity braces for earthquake-proof structures

abstract: This paper presents a novel application of tensegrity systems as lightweight and noninvasive braces for seismically resistant structures. The analyzed braces consist of D-bar systems equipped with shape memory alloy cables with superelastic response. These structures are able to markedly amplify the applied longitudinal displacements in the transverse direction, thus allowing for considerably large deformations of the SMA cables and high energy dissipation. The mechanics and the application of tensegrity braces for the reinforcement of anti-seismic structures are presented. A comparative study matches the seismic response of the analyzed systems with that of devices employing fluid viscous dampers. The results highlight the fact that D-bar units can be profitably employed as building blocks for innovative bracing systems, whose energy dissipation properties can easily surpass those of conventional anti-seismic braces.


title: Geometric Inequalities for Quasi-Local Masses

abstract: In this paper lower bounds are obtained for quasi-local masses in terms of charge, angular momentum, and horizon area. In particular we treat three quasi-local masses based on a Hamiltonian approach, namely the Brown-York, Liu-Yau, and Wang-Yau masses. The geometric inequalities are motivated by analogous results for the ADM mass. They may be interpreted as localized versions of these inequalities, and are also closely tied to the conjectured Bekenstein bounds for entropy of macroscopic bodies. In addition, we give a new proof of the positivity property for the Wang-Yau mass which is used to remove the spin condition in higher dimensions. Furthermore, we generalize a recent result of Lu and Miao to obtain a localized version of the Penrose inequality for the static Wang-Yau mass.


title: The construction of Electromagnetism

abstract: We examine the construction of electromagnetism in its current form, and in an alternative form, from a point of view that combines a minimal realism with strict demands of reason that we first introduce. We follow the historical development as presented in the record of original publications, the underlying epistemology (often explained by the authors) and the mathematical constructions. The historical construction develops along socio-political disputes (mainly, the reunification of Germany and the second industrial revolution), epistemic disputes (at least two demarcations of science in conflict) and several theories of electromagnetism. Such disputes resulted in the militant adoption of the ether by some, a position that expanded in parallel with the expansion of Prussia, but was facilitated by the earlier adoption of a standpoint that required physical hypothesis in the form of analogies as condition for understanding, antithetic to Newton's "\emph{hypotheses non fingo}". ...


title: Occurence of A Cyber Security Eco-System: A Nature Oriented Project and Evaluation of An Indirect Social Experiment

abstract: Because of todays technological developments and the influence of digital systems into every aspect of our lives, importance of cyber security improves more and more day-by-day. Projects, educational processes and seminars realized for this aim create and improve awareness among individuals and provide useful tools for growing equipped generations. The aim of this study is to focus on a cyber security eco-system, which was self-occurred within the interactive educational environment designed under the scope of TUBITAK 4004 Nature Education and Science Schools Projects (with the name of A Cyber Security Adventure) with the use of important technologies such as virtual reality, augmented reality, and artificial intelligence. The eco-system occurred within the interactive educational process where high school students took place caused both students and the project team to experience an indirect social experiment environment. In this sense, it is thought that the findings and comments presented in the study will give important ideas to everyone involved in cyber security education, life-long learning processes, and the technology use in software oriented educational tools.


title: An extended note on the multibin logarithmic score used in the FluSight competitions

abstract: In recent years the Centers for Disease Control and Prevention (CDC) have organized FluSight influenza forecasting competitions. To evaluate the participants' forecasts a multibin logarithmic score has been created, which is a non-standard variant of the established logarithmic score. Unlike the original log score, the multibin version is not proper and may thus encourage dishonest forecasting. We explore the practical consequences this may have, using forecasts from the 2016/17 FluSight competition for illustration.


title: Magnetocaloric effect in molecular spin clusters and their assemblies: model exact and Monte Carlo studies

abstract: We study the magnetocaloric effect (MCE) in spin clusters of six spins with site spins $s=1$, $3/2$ and $2$ for different exchange anisotropies. We also study MCE in an assembly of spin clusters, on a chain, a 2-D square lattice and 3-D cubic lattice with spin-dipolar interactions using a Monte Carlo method in spin-1 systems. We compute the magnetic Gr\"uneisen parameter $\Gamma_H$, and study its dependence on exchange anisotropy and spin-dipolar interaction. With increase of exchange anisotropy the maxima in $\Gamma_H$, shifts to higher magnetic fields and becomes a sharp singularity. The first maximum in $\Gamma_H$ shifts to lower fields as we increase spin-dipolar interaction. The behaviour of $\Gamma_H$ on applied magnetic field is also reflected in the magnetic entropy of the systems. The first maximum in $\Gamma_H$ also shifts to lower magnetic field strength as the magnitude of the site spin increases. We also show the dependence of $\Gamma_H$ on dimensionality of the lattice for a fixed lattice constant.


title: Branched Flow

abstract: In many physical situations involving diverse length scales, waves or rays representing them travel through media characterized by spatially smooth, random, modest refactive index variations. "Primary" diffraction (by individual sub-wavelength features) is absent. Eventually the weak refraction leads to imperfect focal "cusps". Much later, a statistical regime characterized by momentum diffusion is manifested. An important intermediate regime is often overlooked, one that is diffusive only in an ensemble sense. Each realization of the ensemble possesses dramatic ray limit structure that guides the waves (in the same sense that ray optics is used to design lens systems). This structure is a universal phenomenon called branched flow. Many important phenomena develop in this intermediate regime. Here we give examples and some of the physics of this emerging field.


title: Flowless: Extracting Densest Subgraphs Without Flow Computations

abstract: We propose a simple and computationally efficient method for dense subgraph discovery, which is a classic problem both in theory and in practice. It is well known that dense subgraphs can have strong correlation with structures of interest in real-world networks across various domains ranging from social networks to biological systems [Gionis and Tsourakakis `15]. For the densest subgraph problem, Charikar's greedy algorithm [Asashiro `00, Charikar `00] is very simple, and can typically find result of quality much better than the provable factor 2-approximation, which makes it very popular in practice. However, it is also known to give suboptimal output in many real-world examples. On the other hand, finding the exact optimal solution requires the computation of maximum flow. Despite the existence of highly optimized maximum flow solvers, such computation still incurs prohibitive computational costs for the massive graphs arising in modern data science applications. We devise an iterative algorithm which naturally generalizes the greedy algorithm of Charikar. Our algorithm draws insights from the iterative approaches from convex optimization, and also exploits the dual interpretation of the densest subgraph problem. We have empirical evidence that our algorithm is much more robust against the structural heterogeneities in real-world datasets, and converges to the optimal subgraph density even when the simple greedy algorithm fails. On the other hand, in instances where Charikar's algorithm performs well, our algorithm is able to quickly verify its optimality. Furthermore, we demonstrate that our method is significantly faster than the maximum flow based exact optimal algorithm. We conduct experiments on datasets from broad domains, and our algorithm achieves $\sim$145$\times$ speedup on average to find subgraphs whose density is at least 90\% of the optimal value.


title: Kinks and Nanofriction: Structural Phases in Few-Atom Chains

abstract: The frictional dynamics of interacting surfaces under forced translation are critically dependent on lattice commensurability. Performing experiments in a trapped-ion friction emulator, we observe two distinct structural and frictional phases: a commensurate high-friction phase where the ions stick-slip simultaneously over the lattice, and an incommensurate low-friction phase where the propagation of a kink breaks that simultaneity. We experimentally track the kink's propagation with atom-by-atom and sub-lattice site resolution, and show that its velocity increases with commensurability. Our results elucidate the commensurate-incommensurate transition and the connection between the appearance of kinks and the reduction of friction in a finite system, with important consequences for controlling friction at nanocontacts.


title: Challenges of Human-Aware AI Systems

abstract: From its inception, AI has had a rather ambivalent relationship to humans---swinging between their augmentation and replacement. Now, as AI technologies enter our everyday lives at an ever increasing pace, there is a greater need for AI systems to work synergistically with humans. To do this effectively, AI systems must pay more attention to aspects of intelligence that helped humans work with each other---including social intelligence. I will discuss the research challenges in designing such human-aware AI systems, including modeling the mental states of humans in the loop, recognizing their desires and intentions, providing proactive support, exhibiting explicable behavior, giving cogent explanations on demand, and engendering trust. I will survey the progress made so far on these challenges, and highlight some promising directions. I will also touch on the additional ethical quandaries that such systems pose. I will end by arguing that the quest for human-aware AI systems broadens the scope of AI enterprise, necessitates and facilitates true inter-disciplinary collaborations, and can go a long way towards increasing public acceptance of AI technologies.


title: Deterministic and stochastic control of kirigami topology

abstract: Kirigami, the creative art of paper cutting, is a promising paradigm for mechanical metamaterials. However, to make kirigami-inspired structures a reality requires controlling the topology of kirigami to achieve connectivity and rigidity. We address this question by deriving the maximum number of cuts (minimum number of links) that still allow us to preserve global rigidity and connectivity of the kirigami. A deterministic hierarchical construction method yields an efficient topological way to control both the number of connected pieces and the total degrees of freedom. A statistical approach to the control of rigidity and connectivity in kirigami with random cuts complements the deterministic pathway, and shows that both the number of connected pieces and the degrees of freedom show percolation transitions as a function of the density of cuts (links). Together this provides a general framework for the control of rigidity and connectivity in planar kirigami.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech cs.CG


title: Lurking Inferential Monsters? Quantifying bias in non-experimental evaluations of school programs

abstract: This study examines whether unobserved factors substantially bias education evaluations that rely on the Conditional Independence Assumption. We add 14 new within-study comparisons to the literature, all from primary schools in England. Across these 14 studies, we generate 42 estimates of selection bias using a simple matching approach. A meta-analysis of the estimates suggests that the distribution of underlying bias is centered around zero. The mean absolute value of estimated bias is 0.03{\sigma}, and none of the 42 estimates are larger than 0.11{\sigma}. Results are similar for math, reading and writing outcomes. Overall, we find no evidence of substantial selection bias due to unobserved characteristics. These findings may not generalise easily to other settings or to more radical educational interventions, but they do suggest that non-experimental approaches could play a greater role than they currently do in generating reliable causal evidence for school education.


title: Matrix-valued Laurent polynomials, parametric linear systems and integrable systems

abstract: In this paper, we study transfer functions corresponding to parametric linear systems whose coefficients are block matrices. Thus, these transfer functions constitute Laurent polynomials whose coefficients are square matrices. We assume that block matrices defining the parametric linear systems are solutions of an integrable hierarchy called for us, the block matrices version of the finite discrete KP hierarchy, which is introduced and studied with certain detail in this paper. We see that the linear system defined by means of the simplest solution of the integrable system is controllable and observable. Then, as a consequence of this fact, it is possible to verify that any solution of the integrable hierarchy, obtained by the dressing method of the simplest solution, defines a parametric linear system which is also controllable and observable.


title: Explainable Semantic Mapping for First Responders

abstract: One of the key challenges in the semantic mapping problem in postdisaster environments is how to analyze a large amount of data efficiently with minimal supervision. To address this challenge, we propose a deep learning-based semantic mapping tool consisting of three main ideas. First, we develop a frugal semantic segmentation algorithm that uses only a small amount of labeled data. Next, we investigate on the problem of learning to detect a new class of object using just a few training examples. Finally, we develop an explainable cost map learning algorithm that can be quickly trained to generate traversability cost maps using only raw sensor data such as aerial-view imagery. This paper presents an overview of the proposed idea and the lessons learned.


title: Modeling of H- ion source at LANSCE

abstract: We report on the progress in modelling performance of the H- ion source at LANSCE. The key aspect we address is the lifetime of the tungsten filament. The lifetime depends on multiple parameters of the ion source and can dramatically vary in different regimes of operation. We use the multiphysics approach to model the performance of the ion source. The detailed analysis has been made to recognize key physical processes, which affect the degradation of the filament. The analysis resulted in the analytical model, which includes relevant processes from the first principles. The numerical code based on this model has been developed and benchmarked. The results of the modelling show good agreement with experimental data. As a result, the developed model allows predicting the performance of the ion source in various regimes of operation.


title: IRLS for Sparse Recovery Revisited: Examples of Failure and a Remedy

abstract: Compressed sensing is a central topic in signal processing with myriad applications, where the goal is to recover a signal from as few observations as possible. Iterative re-weighting is one of the fundamental tools to achieve this goal. This paper re-examines the iteratively reweighted least squares (IRLS) algorithm for sparse recovery proposed by Daubechies, Devore, Fornasier, and G\"unt\"urk in \emph{Iteratively reweighted least squares minimization for sparse recovery}, {\sf Communications on Pure and Applied Mathematics}, {\bf 63}(2010) 1--38. Under the null space property of order $K$, the authors show that their algorithm converges to the unique $k$-sparse solution for $k$ strictly bounded above by a value strictly less than $K$, and this $k$-sparse solution coincides with the unique $\ell_1$ solution. On the other hand, it is known that, for $k$ less than or equal to $K$, the $k$-sparse and $\ell_1$ solutions are unique and coincide. The authors emphasize that their proof method does not apply for $k$ sufficiently close to $K$, and remark that they were unsuccessful in finding an example where the algorithm fails for these values of $k$. In this note we construct a family of examples where the Daubechies-Devore-Fornasier-G\"unt\"urk IRLS algorithm fails for $k=K$, and provide a modification to their algorithm that provably converges to the unique $k$-sparse solution for $k$ less than or equal to $K$ while preserving the local linear rate. The paper includes numerical studies of this family as well as the modified IRLS algorithm, testing their robustness under perturbations and to parameter selection.


title: Deep learning of parameterized equations with applications to uncertainty quantification

abstract: We propose a numerical method for discovering unknown parameterized dynamical systems by using observational data of the state variables. Our method is built upon and extends the recent work of discovering unknown dynamical systems, in particular those using deep neural network (DNN). We propose a DNN structure, largely based upon the residual network (ResNet), to not only learn the unknown form of the governing equation but also take into account the random effect embedded in the system, which is generated by the random parameters. Once the DNN model is successfully constructed, it is able to produce system prediction over longer term and for arbitrary parameter values. For uncertainty quantification, it allows us to conduct uncertainty analysis by evaluating solution statistics over the parameter space.


title: Simulations and symmetries

abstract: We investigate the range of applicability of a model for the real-space power spectrum based on N-body dynamics and a (quadratic) Lagrangian bias expansion. This combination uses the highly accurate particle displacements that can be efficiently achieved by modern N-body methods with a symmetries-based bias expansion which describes the clustering of any tracer on large scales. We show that at low redshifts, and for moderately biased tracers, the substitution of N-body-determined dynamics improves over an equivalent model using perturbation theory by more than a factor of two in scale, while at high redshifts and for highly biased tracers the gains are more modest. This hybrid approach lends itself well to emulation. By removing the need to identify halos and subhalos, and by not requiring any galaxy-formation-related parameters to be included, the emulation task is significantly simplified at the cost of modeling a more limited range in scale.


title: Homogenization of a multiscale multi-continuum system

abstract: We study homogenization of a locally periodic two-scale dual-continuum system where each continuum interacts with the other. Equations for each continuum are written separately with interaction terms (exchange terms) added. The homogenization limit depends strongly on the scale of this continuum interaction term with respect to the microscopic scale. In J. S. R. Park and V. H. Hoang, {\it Hierarchical multiscale finite element method for multicontinuum media}, arXiv:1906.04635, we study in details the case where the interaction terms are scaled as $O(1/\ep^2)$ where $\ep$ is the microscale of the problem. We establish rigorously homogenization limit for this case where we show that in the homogenization limit, the dual-continuum structure disappears. In this paper, we consider the case where this term is scaled as $O(1/\ep)$. This case is far more interesting and difficult as the homogenized problem is a dual-continuum system which contains features that are not in the original two scale problem. In particular, the homogenized dual-continuum system contains extra convection terms and negative interaction coefficients while the interaction coefficient between the continua in the original two scale system obtains both positive and negative values. We prove rigorously the homogenization convergence. We also derive rigorously a homogenization convergence rate. Homogenization of dual-continuum system of this type has not been considered before.


title: Entire Space Multi-Task Modeling via Post-Click Behavior Decomposition for Conversion Rate Prediction

abstract: Recommender system, as an essential part of modern e-commerce, consists of two fundamental modules, namely Click-Through Rate (CTR) and Conversion Rate (CVR) prediction. While CVR has a direct impact on the purchasing volume, its prediction is well-known challenging due to the Sample Selection Bias (SSB) and Data Sparsity (DS) issues. Although existing methods, typically built on the user sequential behavior path ``impression$\to$click$\to$purchase'', is effective for dealing with SSB issue, they still struggle to address the DS issue due to rare purchase training samples. Observing that users always take several purchase-related actions after clicking, we propose a novel idea of post-click behavior decomposition. Specifically, disjoint purchase-related Deterministic Action (DAction) and Other Action (OAction) are inserted between click and purchase in parallel, forming a novel user sequential behavior graph ``impression$\to$click$\to$D(O)Action$\to$purchase''. Defining model on this graph enables to leverage all the impression samples over the entire space and extra abundant supervised signals from D(O)Action, which will effectively address the SSB and DS issues together. To this end, we devise a novel deep recommendation model named Elaborated Entire Space Supervised Multi-task Model ($ESM^{2}$). According to the conditional probability rule defined on the graph, it employs multi-task learning to predict some decomposed sub-targets in parallel and compose them sequentially to formulate the final CVR. Extensive experiments on both offline and online environments demonstrate the superiority of $ESM^{2}$ over state-of-the-art models. The source code and dataset will be released.


title: Taking the logarithm of binomial type sequences: linear approach

abstract: In this paper we obtain the formal asymptotic expansion of the logarithms $\ln p_s(\alpha)$ of $p_s(\alpha)$, which are canonical continuations of polynomials of binomial type $p_n(\alpha)$. Our approach is based on linear methods which do not require the calculation of expansions $(p_s(\alpha)\alpha^{-s}-1)^k$, as opposed to the direct logarithmization.


title: Phase separation, optimal partitions, and nodal solutions to the Yamabe equation on the sphere

abstract: We study an optimal M-partition problem for the Yamabe equation on the round sphere, in the presence of some particular symmetries. We show that there is a correspondence between solutions to this problem and least-energy sign-changing symmetric solutions to the Yamabe equation on the sphere with precisely M nodal domains. The existence of an optimal partition is established through the study of the limit profiles of least-energy solutions to a weakly coupled competitive elliptic system on the sphere.


title: A New Perturbative Expansion for Fermionic Functional Integrals

abstract: We construct a power series representation of the integrals of form \begin{equation} \text{log} \int d\mu_{S}(\psi, \bar{\psi}) \hspace{0.05 cm} e^{f(\psi, \bar{\psi}, \eta, \bar{\eta})} \nonumber \end{equation} where $\psi, \bar{\psi}$ and $\eta, \bar{\eta}$ are Grassmann variables on a finite lattice in $d \geqslant 2$. Our expansion has a local structure, is clean and provides an easy alternative to decoupling expansion and Mayer-type cluster expansions in any analysis. As an example, we show exponential decay of 2-point truncated correlation function (uniform in volume) in massive Gross-Neveu model on a unit lattice.

categories: math-ph cond-mat.stat-mech hep-lat math.MP


title: Existence of a $T$-periodic solution for the monodomain model corresponding to an isolated ventricle due to ionic-diffusive relations

abstract: In this paper, we find relations between the ionic parameters and the diffusion parameters which are sufficient to ensure the existence of a periodic solution for a well-known monodomain model in a weak sense. We make use of the method of approximation of Faedo-Galerkin to prove the existence of weak periodic solutions of the monodomain model for the electrical activity of the heart assuming that it is periodically activated in its boundaries. Actually, this periodic solution has the same period of activation. Finally, we reflect on how these ionic-diffusive relations are useful to explain the pathophysiology of some rhythm disorders.


title: Orthogonal Gradient Descent for Continual Learning

abstract: Neural networks are achieving state of the art and sometimes super-human performance on learning tasks across a variety of domains. Whenever these problems require learning in a continual or sequential manner, however, neural networks suffer from the problem of catastrophic forgetting; they forget how to solve previous tasks after being trained on a new task, despite having the essential capacity to solve both tasks if they were trained on both simultaneously. In this paper, we propose to address this issue from a parameter space perspective and study an approach to restrict the direction of the gradient updates to avoid forgetting previously-learned data. We present the Orthogonal Gradient Descent (OGD) method, which accomplishes this goal by projecting the gradients from new tasks onto a subspace in which the neural network output on previous task does not change and the projected gradient is still in a useful direction for learning the new task. Our approach utilizes the high capacity of a neural network more efficiently and does not require storing the previously learned data that might raise privacy concerns. Experiments on common benchmarks reveal the effectiveness of the proposed OGD method.


title: Self-adjoint extension approach for singular Hamiltonians in (2+1) dimensions

abstract: In this work, we review two methods used to approach singular Hamiltonians in (2+1) dimensions. Both methods are based on the self-adjoint extension approach. It is very common to find singular Hamiltonians in quantum mechanics, especially in quantum systems in the presence of topological defects, which are usually modelled by point interactions. In general, it is possible to apply some kind of regularization procedure, as the vanishing of the wave function at the location of the singularity, ensuring that the wave function is square-integrable and then can be associated with a physical state. However, a study based on the self-adjoint extension approach can lead to more general boundary conditions that still gives acceptable physical states. We exemplify the methods by exploring the bound and scattering scenarios of a spin 1/2 charged particle with an anomalous magnetic moment in the Aharonov-Bohm potential in the conical space.


title: Ponderomotive Instability of RF Cavities with Vector Sum Control, and Cure By Difference Control

abstract: The radiation pressure inside an RF cavity resonator, resulting from the Lorentz force, couples the fundamental electromagnetic mode to the mechanical modes and may lead to static and dynamic ponderomotive instability. The analysis for generator driven (GD) cavity and for self-excited (SEL) cavity was given by Schulze in 1971 and by Delayen in 1978, respectively. Since that time, little or no new analytical work - until now. Here are presented results from the analysis for multiple (N) cavities (GD or SE) powered from a single source and regulated in vector sum. The system behaves as N virtual cavities, one with all loops present and N-1 with no loops except the tuner. After reviewing stability threshold criteria for these systems, difference control in the tuning loops is proposed as means for extending the stability range. Counter-tuning of alternating cavities is also discussed.


title: A self-calibrating SI-traceable broadband Rydberg atom-based radio-frequency electric field probe and measurement instrument

abstract: We present a self-calibrating, SI-traceable broadband Rydberg-atom-based radio-frequency (RF) electric field probe (the Rydberg Field Probe or RFP) and measurement instrument (Rydberg Field Measurement System or RFMS). The RFMS comprises an atomic RF field probe (RFP), connected by a ruggedized fiber-optic patch cord to a portable mainframe control unit with a software interface for RF measurement and analysis including real-time field readout and RF waveform visualization. The instrument employs electromagnetically induced transparency (EIT) readout of spectral signatures from RF-sensitive Rydberg states of an atomic vapor for continuous, pulsed, and modulated RF field measurement. The RFP exploits resonant and off-resonant Rydberg-field interactions to realize broadband RF measurements at frequencies ranging from ~10 MHz to sub-THz over a wide dynamic range. The RFMS incorporates an RF-field-free atomic reference and a laser-frequency tracker to ensure reliability and accuracy of the RF measurement. We characterize the RFP and measure polar field and polarization patterns of the RFP at 12.6 GHz RF in the far-field of a standard gain horn antenna. Measurements at 2.5 GHz are also performed. Measured patterns are in good agreement with simulations. A detailed calibration procedure and uncertainty analysis are presented that account for deviations from an isotropic response over a $4\pi$ solid angle, arising from dielectric structures external to the atomic measurement volume. Contributions to the measurement uncertainty from the fundamental atomic measurement method and associated analysis as well as material, geometry, and hardware design choices are accounted for. A calibration (C) factor is used to establish absolute-standard SI-traceable calibration of the RFP. Pulsed and modulated RF field measurement, and time-domain RF-pulse waveform imaging are also demonstrated.

categories: physics.atom-ph physics.app-ph physics.ins-det quant-ph


title: Doubly eclipsing systems

abstract: Aims: Our goal was to increase number of known doubly eclipsing systems such that the resulting dataset would allow to study them via statistical means, as well as prove that they constitute gravitationally bound 2+2 quadruple system. Methods: We analysed photometric data for eclipsing binaries provided by the OGLE survey in the LMC fields. We found a large number of new doubly eclipsing systems (our discoveries are 3x more numerous than previous studies). With a typical orbital period of days for the binaries, we sought eclipse time variations (ETVs) on the timescale of years. In the cases where we were able to detect the ETV period, the difference between the inner and outer periods in the quadruple system is large enough. This allows us to interpret ETVs primarily as the light-time effect, thus providing an interesting constraint on masses of the binaries. Results: In addition to significantly enlarging the database of known doubly eclipsing systems, we performed a thorough analysis of 72 cases. ETVs for 28 of them (39% of the studied cases) showed evidence of relative motion. We note OGLE BLG-ECL-145467 as the most interesting case; it is bright (I=12.6 mag), consists of two detached binaries with periods of about 3.3 d and 4.9 d (making it a candidate for a 3:2 resonant system), mutual period about 1538 d. Distribution of the orbital period ratio P_A/P_B of binaries in 2+2 quadruples shows statistically significant excess at 1 and 1.5. The former is likely a natural statistical preference in weakly interacting systems with periods within the same range. The latter is thought to be evidence of a capture in the 3:2 mean motion resonance of the two binaries. This sets important constraints on evolutionary channels in these systems. The total number of doubly eclipsing systems increased to 146, more than 90% of which are at low declinations on the southern sky.


title: An Efficient Scenario-based Stochastic Energy Management of Distribution Networks with Distributed Generation, PV Module, and Energy Storage

abstract: Incorporating Renewable Energy Sources (RES) incurs a high level of uncertainties to electric power systems. This level of uncertainties makes the conventional energy management methods inefficient and jeopardizes the security of distribution systems. In this connection, a scenario-based stochastic programming is introduced to harness uncertainties in the load, electricity price, and photovoltaic generation. Further, a hybrid evolutionary algorithm based on Grey Wolf Optimizer and Particle Swarm Optimisation algorithm is proposed to find the best operation cost, and Energy Not Supplied (ENS) as two important objective functions, which almost always are in stark contrast with each other. The proposed algorithm is applied to the modified IEEE 69-bus test system and the results are validated in terms of efficiency, which indicates a cogent trade-off between the fitness functions addressed above.


title: Consentio: Managing Consent to Data Access using Permissioned Blockchains

abstract: The increasing amount of personal data is raising serious issues in the context of privacy, security, and data ownership. Entities whose data are being collected can benefit from mechanisms to manage the parties that can access their data and to audit who has accessed their data. Consent management systems address these issues. We present Consentio, a scalable consent management system based on the Hyperledger Fabric permissioned blockchain. The data management challenge we address is to ensure high throughput and low latency of endorsing data access requests and granting or revoking consent. Experimental results show that our system can handle as many as 6,000 access requests per second, allowing it to scale to very large deployments.


title: Low phase noise master oscillator generation and distribution for ALS and ALS-U

abstract: The coax based MO distribution system in the ALS is going to be replaced by a modernized, lower phase noise and more interference tolerant version, ready to support ALS-U operation. System aspects are shown and several commercial analog and digital optical transceiver modules are compared for their suitability in this application. Furthermore, recent phase noise optimizing efforts in the ALS RF system are discussed and several prototypes for a custom built, low phase noise, frequency adjustable master oscillator around 500 MHz are shown.


title: Hilbert's third problem and a conjecture of Goncharov

abstract: In this paper we reduce the generalized Hilbert's third problem about Dehn invariants and scissors congruence classes to the injectivity of certain Chern--Simons invariants. We also establish a version of a conjecture of Goncharov relating scissors congruence groups of polytopes and the algebraic $K$-theory of $\mathbf{C}$.


title: Solving Rubik's Cube with a Robot Hand

abstract: We demonstrate that models trained only in simulation can be used to solve a manipulation problem of unprecedented complexity on a real robot. This is made possible by two key components: a novel algorithm, which we call automatic domain randomization (ADR) and a robot platform built for machine learning. ADR automatically generates a distribution over randomized environments of ever-increasing difficulty. Control policies and vision state estimators trained with ADR exhibit vastly improved sim2real transfer. For control policies, memory-augmented models trained on an ADR-generated distribution of environments show clear signs of emergent meta-learning at test time. The combination of ADR with our custom robot platform allows us to solve a Rubik's cube with a humanoid robot hand, which involves both control and state estimation problems. Videos summarizing our results are available: https://openai.com/blog/solving-rubiks-cube/


title: Cylindrical contact homology of 3-dimensional Brieskorn manifolds

abstract: Cylindrical contact homology is a comparatively simple incarnation of symplectic field theory whose existence and invariance under suitable hypotheses was recently established by Hutchings and Nelson. We study this invariant for a general Brieskorn 3-manifold $\Sigma(a_1,\ldots, a_n)$, and give a complete description of the cylindrical contact homology for this 3-manifold equipped with its natural contact structure, for any $a_j$ satisfying $\frac{1}{a_1} + \cdots + \frac{1}{a_n} < n-2$.


title: HiGitClass: Keyword-Driven Hierarchical Classification of GitHub Repositories

abstract: GitHub has become an important platform for code sharing and scientific exchange. With the massive number of repositories available, there is a pressing need for topic-based search. Even though the topic label functionality has been introduced, the majority of GitHub repositories do not have any labels, impeding the utility of search and topic-based analysis. This work targets the automatic repository classification problem as keyword-driven hierarchical classification. Specifically, users only need to provide a label hierarchy with keywords to supply as supervision. This setting is flexible, adaptive to the users' needs, accounts for the different granularity of topic labels and requires minimal human effort. We identify three key challenges of this problem, namely (1) the presence of multi-modal signals; (2) supervision scarcity and bias; (3) supervision format mismatch. In recognition of these challenges, we propose the HiGitClass framework, comprising of three modules: heterogeneous information network embedding; keyword enrichment; topic modeling and pseudo document generation. Experimental results on two GitHub repository collections confirm that HiGitClass is superior to existing weakly-supervised and dataless hierarchical classification methods, especially in its ability to integrate both structured and unstructured data for repository classification.


title: Third-order algebraic diagrammatic construction theory for electron attachment and ionization energies: Conventional and Green's function implementation

abstract: We present implementation of second- and third-order algebraic diagrammatic construction theory for efficient and accurate computations of molecular electron affinities (EA), ionization potentials (IP), and densities of states (EA-/IP-ADC(n), n = 2, 3). Our work utilizes the non-Dyson formulation of ADC for the single-particle propagator and reports working equations and benchmark results for the EA-ADC(2) and EA-ADC(3) approximations. We describe two algorithms for solving EA-/IP-ADC equations: (i) conventional algorithm that uses iterative diagonalization techniques to compute low-energy EA, IP, and density of states, and (ii) Green's function algorithm (GF-ADC) that solves a system of linear equations to compute density of states directly for a specified spectral region. To assess accuracy of EA-ADC(2) and EA-ADC(3), we benchmark their performance for a set of atoms, small molecules, and five DNA/RNA nucleobases. As our next step, we demonstrate efficiency of our GF-ADC implementation by computing core-level K-, L-, and M-shell ionization energies of a zinc atom without introducing core-valence separation approximation. Finally, we use EA- and IP-ADC methods to compute band gaps of equally-spaced hydrogen chains Hn with n up to 150, providing their estimates near thermodynamic limit. Our results demonstrate that EA-/IP-ADC(n) (n = 2, 3) methods are efficient and accurate alternatives to widely used electronic structure methods for simulations of electron attachment and ionization properties.


title: Analyzing the Forgetting Problem in the Pretrain-Finetuning of Dialogue Response Models

abstract: In this work, we study how the finetuning stage in the pretrain-finetune framework changes the behavior of a pretrained neural language generator. We focus on the transformer encoder-decoder model for the open-domain dialogue response generation task. Our major finding is that after standard finetuning, the model forgets some of the important language generation skills acquired during large-scale pretraining. We demonstrate the forgetting phenomenon through a set of detailed behavior analysis from the perspectives of knowledge transfer, context sensitivity, and function space projection. As a preliminary attempt to alleviate the forgetting problem, we propose an intuitive finetuning strategy named "mix-review". We find that mix-review effectively regularizes the finetuning process, and the forgetting problem is alleviated to some extent. Finally, we discuss interesting behavior of the resulting dialogue model and its implications.


title: Anisotropic superexchange through nonmagnetic anions with spin-orbit coupling

abstract: Anisotropic superexchange interaction is one of the most important interactions in realizing exotic quantum magnetism, which is traditionally regarded to originate from magnetic ions and has no relation with the nonmagnetic ions. In our work, by studying a multi-orbital Hubbard model with spin-orbit coupling on both magnetic cations and nonmagnetic anions, we analytically demonstrate that the spin-orbit coupling on nonmagnetic anions alone can induce antisymmetric Dzyaloshinskii-Moriya interaction, symmetric anisotropic exchange and single ion anisotropy on the magnetic ions and thus it actually contributes to anisotropic superexchange on an equal footing as that of magnetic ions. Our results promise one more route to realize versatile exotic phases in condensed matter systems, long-range orders in low dimensional materials and switchable single molecule magnetic devices for recording and manipulating quantum information through nonmagnetic anions.


title: Automatic In-line Quantitative Myocardial Perfusion Mapping: processing algorithm and implementation

abstract: Quantitative myocardial perfusion mapping has advantages over qualitative assessment, including the ability to detect global flow reduction. However, it is not clinically available and remains as a research tool. Building upon the previously described imaging sequence, this paper presents algorithm and implementation of an automated solution for inline perfusion flow mapping with step by step performance characterization. An inline perfusion flow mapping workflow is proposed and demonstrated on normal volunteers. Initial evaluation demonstrates the fully automated proposed solution for the respiratory motion correction, AIF LV mask detection and pixel-wise mapping, from free-breathing myocardial perfusion imaging.


title: Representations of Hermite processes using local time of intersecting stationary stable regenerative sets

abstract: Hermite processes are a class of self-similar processes with stationary increments. They often arise in limit theorems under long-range dependence. We derive new representations of Hermite processes with multiple Wiener-It\^o integrals, whose integrands involve the local time of intersecting stationary stable regenerative sets. The proof relies on an approximation of regenerative sets and local times based on a scheme of random interval covering.


title: Sampling by Reversing The Landmarking Process

abstract: Variations of the commonly applied landmark sampling are presented. These samplings are "forward" landmarking such that each stack of data is created by first selecting landmarks and then including the subsequent observations of the selected landmarks. Unlike these forward landmarking samplings, a "backward" or "reverse" landmarking is proposed with a flexible "progressive" weighting on selecting different types of events and non-events. The backward landmark sample is compared with those forward landmark samples with a real world mortgage data. Results show that the backward landmark sample has smaller sampling errors than of those forward landmark samples.


title: Automated Detection of Left Ventricle in Arterial Input Function Images for Inline Perfusion Mapping using Deep Learning: A study of 15,000 Patients

abstract: Quantification of myocardial perfusion has the potential to improve detection of regional and global flow reduction. Significant effort has been made to automate the workflow, where one essential step is the arterial input function (AIF) extraction. Since failure here invalidates quantification, high accuracy is required. For this purpose, this study presents a robust AIF detection method using the convolutional neural net (CNN) model. CNN models were trained by assembling 25,027 scans (N=12,984 patients) from three hospitals, seven scanners. A test set of 5,721 scans (N=2,805 patients) evaluated model performance. The 2D+T AIF time series was inputted into CNN. Two variations were investigated: a) Two Classes (2CS) for background and foreground (LV mask); b) Three Classes (3CS) for background, foreground LV and RV. Final model was deployed on MR scanners via the Gadgetron InlineAI. Model loading time on MR scanner was ~340ms and applying it took ~180ms. The 3CS model successfully detect LV for 99.98% of all test cases (1 failed out of 5,721 cases). The mean Dice ratio for 3CS was 0.87+/-0.08 with 92.0% of all test cases having Dice ratio >0.75, while the 2CS model gave lower Dice of 0.82+/-0.22 (P<1e-5). Extracted AIF signals using CNN were further compared to manual ground-truth for foot-time, peak-time, first-pass duration, peak value and area-under-curve. No significant differences were found for all features (P>0.2). This study proposed, validated, and deployed a robust CNN solution to detect the LV for the extraction of the AIF signal used in fully automated perfusion flow mapping. A very large data cohort was assembled and resulting models were deployed to MR scanners for fully inline AI in clinical hospitals.


title: Parametric Gaussian Process Regressors

abstract: The combination of inducing point methods with stochastic variational inference has enabled approximate Gaussian Process (GP) inference on large datasets. Unfortunately, the resulting predictive distributions often exhibit substantially underestimated uncertainties. Notably, in the regression case the predictive variance is typically dominated by observation noise, yielding uncertainty estimates that make little use of the input-dependent function uncertainty that makes GP priors attractive. In this work we propose two simple methods for scalable GP regression that address this issue and thus yield substantially improved predictive uncertainties. The first applies variational inference to FITC (Fully Independent Training Conditional; Snelson et.~al.~2006). The second bypasses posterior approximations and instead directly targets the posterior predictive distribution. In an extensive empirical comparison with a number of alternative methods for scalable GP regression, we find that the resulting predictive distributions exhibit significantly better calibrated uncertainties and higher log likelihoods--often by as much as half a nat per datapoint.


title: FewRel 2.0: Towards More Challenging Few-Shot Relation Classification

abstract: We present FewRel 2.0, a more challenging task to investigate two aspects of few-shot relation classification models: (1) Can they adapt to a new domain with only a handful of instances? (2) Can they detect none-of-the-above (NOTA) relations? To construct FewRel 2.0, we build upon the FewRel dataset (Han et al., 2018) by adding a new test set in a quite different domain, and a NOTA relation choice. With the new dataset and extensive experimental analysis, we found (1) that the state-of-the-art few-shot relation classification models struggle on these two aspects, and (2) that the commonly-used techniques for domain adaptation and NOTA detection still cannot handle the two challenges well. Our research calls for more attention and further efforts to these two real-world issues. All details and resources about the dataset and baselines are released at https: //github.com/thunlp/fewrel.


title: Determining Geodesic Distance on Arbitrary-order Subdivision of Tree with Applications

abstract: The problem of how to estimate diffusion on a graph effectively is of importance both theoretically and practically. In this paper, we make use of two widely studied indices, geodesic distance and mean first-passage time ($MFPT$) for random walk, to consider such a problem on some treelike models of interest. To this end, we first introduce several types of operations, for instance, $m$th-order subdivision and ($1,m$)-star-fractal operation, to generate the potential candidate models. And then, we develop a class of novel techniques based on mapping for calculating the exact formulas of the both quantities above on our models. Compared to those previous tools including matrix-based methods for addressing the issue of this type, the techniques proposed here are more general mainly because we generalize the initial condition for creating these models. Meantime, in order to show applications of our techniques to many other treelike models, the two popularly discussed models, Cayley tree $C(t,n)$ and Exponential tree $\mathcal{T}(t;m)$, are chosen to serve as representatives. While their correspondence solutions have been reported, our techniques are more convenient to implement than those pre-existing ones and thus this certifies our statements strongly. Final, we distinguish the difference among results and attempt to make some heuristic explanations to the reasons why the phenomena appear.


title: The irreducible weak modules for the fixed point subalgebra of the vertex algebra associated to a non-degenerate even lattice by an automorphism of order $2$

abstract: Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $\theta$ the automorphism of $V_{L}$ induced from the $-1$ symmetry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of $\theta$. We classify the irreducible weak $V_{L}^{+}$-modules and show that any irreducible weak $V_{L}^{+}$-module is isomorphic to a weak submodule of some irreducible weak $V_{L}$-module or to a submodule of some irreducible $\theta$-twisted $V_{L}$-module.


title: Redshift inference from the combination of galaxy colors and clustering in a hierarchical Bayesian model $-$ Application to realistic $N$-body simulations

abstract: Photometric galaxy surveys constitute a powerful cosmological probe but rely on the accurate characterization of their redshift distributions using only broadband imaging, and can be very sensitive to incomplete or biased priors used for redshift calibration. S\'anchez & Bernstein (2019) presented a hierarchical Bayesian model which estimates those from the robust combination of prior information, photometry of single galaxies and the information contained in the galaxy clustering against a well-characterized tracer population. In this work, we extend the method so that it can be applied to real data, developing some necessary new extensions to it, especially in the treatment of galaxy clustering information, and we test it on realistic simulations. After marginalizing over the mapping between the clustering estimator and the actual density distribution of the sample galaxies, and using prior information from a small patch of the survey, we find the incorporation of clustering information with photo-$z$'s to tighten the redshift posteriors, and to overcome biases in the prior that mimic those happening in spectroscopic samples. The method presented here uses all the information at hand to reduce prior biases and incompleteness. Even in cases where we artificially bias the spectroscopic sample to induce a shift in mean redshift of $\Delta \bar z \approx 0.05,$ the final biases in the posterior are $\Delta \bar z \lesssim0.003.$ This robustness to flaws in the redshift prior or training samples would constitute a milestone for the control of redshift systematic uncertainties in future weak lensing analyses.


title: Exotic Charmonium at BESIII

abstract: The BESIII Experiment at the Beijing Electron Positron Collider (BEPCII) collected large data samples for electron-positron collisions with center-of-mass above 4 GeV. The analysis of these samples has resulted in a number of surprising discoveries, such as the discoveries of the electrically charged $\mathrm{Z_c}$ structures, which, if resonant, cannot be accommodated in the traditional charm quark and anti-charm quark picture of charmonium. In this talk, we will review the current status of the analyses of the exotic states, as well as a number of other interesting features in the new BESIII data samples.


title: Large-Scale Landslides Detection from Satellite Images with Incomplete Labels

abstract: Earthquakes and tropical cyclones cause the suffering of millions of people around the world every year. The resulting landslides exacerbate the effects of these disasters. Landslide detection is, therefore, a critical task for the protection of human life and livelihood in mountainous areas. To tackle this problem, we propose a combination of satellite technology and Deep Neural Networks (DNNs). We evaluate the performance of multiple DNN-based methods for landslide detection on actual satellite images of landslide damage. Our analysis demonstrates the potential for a meaningful social impact in terms of disasters and rescue.


title: SCG: Spotting Coordinated Groups in Social Media

abstract: Recent events have led to a burgeoning awareness on the misuse of social media sites to affect political events, sway public opinion, and confuse the voters. Such serious, hostile mass manipulation has motivated a large body of works on bots/troll detection and fake news detection, which mostly focus on classifying at the user level based on the content generated by the users. In this study, we jointly analyze the connections among the users, as well as the content generated by them to Spot Coordinated Groups (SCG), sets of users that are likely to be organized towards impacting the general discourse. Given their tiny size (relative to the whole data), detecting these groups is computationally hard. Our proposed method detects these tiny-clusters effectively and efficiently. We deploy our SCG method to summarize and explain the coordinated groups on Twitter around the 2019 Canadian Federal Elections, by analyzing over 60 thousand user accounts with 3.4 million followership connections, and 1.3 million unique hashtags in the content of their tweets. The users in the detected coordinated groups are over 4x more likely to get suspended, whereas the hashtags which characterize their creed are linked to misinformation campaigns.


title: High-velocity feature as the indicator of the stellar population of Type Ia supernovae

abstract: Although type Ia supernovae (SNe Ia) are very useful in many astrophysical fields, their exact nature is still unclear, e.g. the progenitor and explosion models. The high-velocity features (HVFs) in optical spectra of SNe Ia could provide some meaningful information to constrain the nature of SNe Ia. Here, I show strong evidence that the SNe Ia with strong CaII infrared triple (CaII IR3) HVF around maximum brightness associate with relatively younger population than those with weak CaII IR3 HVF, e.g. the SNe Ia with strong CaII IR3 HVF tend to occur in late-type galaxy, or early-type galaxy with significant star formation. In addition, using pixel statistics I find that the SNe Ia with strong maximum-light CaII IR3 HVF show a higher degree of association with star formation index, e.g. ${\rm H}\alpha$ or near-UV emission, than those with weak CaII IR3 HVF. Moreover, I find that the strength of the CaII IR3 HVF is linearly dependent on the difference of the absorption-weighted velocities between CaII IR3 and SiII 635.5 nm absorption lines, which then is a good index to diagnose whether or not there is a high-velocity component in the CaII IR3 absorption feature in the spectra of SNe Ia. I finally discussed the origin of the HVFs and the constraints from our discoveries on the progenitor model of SNe Ia.


title: A priori analysis on deep learning of subgrid-scale parameterizations for Kraichnan turbulence

abstract: In the present study, we investigate different data-driven parameterizations for large eddy simulation of two-dimensional turbulence in the \emph{a priori} settings. These models utilize resolved flow field variables on the coarser grid to estimate the subgrid-scale stresses. We use data-driven closure models based on localized learning that employs multilayer feedforward artificial neural network (ANN) with point-to-point mapping and neighboring stencil data mapping, and convolutional neural network (CNN) fed by data snapshots of the whole domain. The performance of these data-driven closure models is measured through a probability density function and is compared with the dynamic Smagorinksy model (DSM). The quantitative performance is evaluated using the cross-correlation coefficient between the true and predicted stresses. We analyze different frameworks in terms of the amount of training data, selection of input and output features, their characteristics in modeling with accuracy, and training and deployment computational time. We also demonstrate computational gain that can be achieved using the intelligent eddy viscosity model that learns eddy viscosity computed by the DSM instead of subgrid-scale stresses. We detail the hyperparameters optimization of these models using the grid search algorithm.


title: Design of a Simple Orthogonal Multiwavelet Filter by Matrix Spectral Factorization

abstract: We consider the design of an orthogonal symmetric/antisymmetric multiwavelet from its matrix product filter by matrix spectral factorization (MSF). As a test problem, we construct a simple matrix product filter with desirable properties, and factor it using Bauer's method, which in this case can be done in closed form. The corresponding orthogonal multiwavelet function is derived using algebraic techniques which allow symmetry to be considered. This leads to the known orthogonal multiwavelet SA1, which can also be derived directly. We also give a lifting scheme for SA1, investigate the influence of the number of significant digits in the calculations, and show some numerical experiments.


title: Efficiency through Auto-Sizing: Notre Dame NLP's Submission to the WNGT 2019 Efficiency Task

abstract: This paper describes the Notre Dame Natural Language Processing Group's (NDNLP) submission to the WNGT 2019 shared task (Hayashi et al., 2019). We investigated the impact of auto-sizing (Murray and Chiang, 2015; Murray et al., 2019) to the Transformer network (Vaswani et al., 2017) with the goal of substantially reducing the number of parameters in the model. Our method was able to eliminate more than 25% of the model's parameters while suffering a decrease of only 1.1 BLEU.


title: The interstellar object 'Oumuamua as a fractal dust aggregate

abstract: The first known interstellar object 'Oumuamua exhibited a nongravitational acceleration that appeared inconsistent with cometary outgassing, leaving radiation pressure as the most likely force. Bar the alien lightsail hypothesis, an ultra-low density due to a fractal structure might also explain the acceleration of 'Oumuamua by radiation pressure (Moro-Martin 2019). In this paper we report a decrease in 'Oumuamua's rotation period based on ground-based observations, and show that this spin-down can be explained by the YORP effect if 'Oumuamua is indeed a fractal body with the ultra-low density of $10^{-2}$ kg m$^{-3}$. We also investigate the mechanical consequences of 'Oumuamua as a fractal body subjected to rotational and tidal forces, and show that a fractal structure can survive these mechanical forces.


title: Spin-Wave frequency division multiplexing in an yttrium iron garnet microstripe magnetized by inhomogeneous field

abstract: Spin waves are promising candidates for information processing and transmission in a broad frequency range. In the realization of magnonic devices, the frequency depended division of the spin wave frequencies is a critical function for parallel information processing. In this work, we demonstrate a proof-of-concept spin-wave frequency division multiplexing method by magnetizing a homogenous magnetic microstripe with an inhomogeneous field. The symmetry breaking additional field is introduced by a permalloy stripe simply placed in lateral proximity to the waveguide. Spin waves with different frequencies can propagate independently, simultaneously and separately in space along the shared waveguide. This work brings new potentials for parallel information transmission and processing in magnonics.


title: A Flexible Bayesian Framework for Assessing Habitability with Joint Observational and Model Constraints

abstract: The catalog of stellar evolution tracks discussed in our previous work is meant to help characterize exoplanet host-stars of interest for follow-up observations with future missions like JWST. However, the utility of the catalog has been predicated on the assumption that we would precisely know the age of the particular host-star in question; in reality, it is unlikely that we will be able to accurately estimate the age of a given system. Stellar age is relatively straightforward to calculate for stellar clusters, but it is difficult to accurately measure the age of an individual star to high precision. Unfortunately, this is the kind of information we should consider as we attempt to constrain the long-term habitability potential of a given planetary system of interest. This is ultimately why we must rely on predictions of accurate stellar evolution models, as well a consideration of what we can observably measure (stellar mass, composition, orbital radius of an exoplanet) in order to create a statistical framework wherein we can identify the best candidate systems for follow-up characterization. In this paper we discuss a statistical approach to constrain long-term planetary habitability by evaluating the likelihood that at a given time of observation, a star would have a planet in the 2 Gy continuously habitable zone (CHZ2). Additionally, we will discuss how we can use existing observational data (i.e. data assembled in the Hypatia catalog and the Kepler exoplanet host star database) for a robust comparison to the catalog of theoretical stellar models.


title: Local well-posedness of the Boltzmann equation with polynomially decaying initial data

abstract: We consider the Cauchy problem for the spatially inhomogeneous non-cutoff Boltzmann equation with polynomially decaying initial data in the velocity variable. We establish short-time existence for any initial data with this decay in a fifth order Sobolev space by working in a mixed $L^2$ and $L^\infty$ space that allows to compensate for potential moment generation and obtaining new estimates on the collision operator that are well-adapted to this space. Our results improve the range of parameters for which the Boltzmann equation is well-posed in this decay regime, as well as relax the restrictions on the initial regularity. As an application, we can combine our existence result with the recent conditional regularity estimates of Imbert-Silvestre (arXiv:1909.12729 [math.AP]) to conclude solutions can be continued for as long as the mass, energy, and entropy densities remain under control. This continuation criterion was previously only available in the restricted range of parameters of previous well-posedness results for polynomially decaying initial data.


title: Survival of heavy flavored mesons in a hot medium

abstract: Hadronization of heavy quarks reveals various unusual features. Gluon radiation by a heavy quark originated from a hard process, ceases shortly on a distance of the order of few fm. Due to the dead-cone effect a heavy quark radiates only a small fraction of its energy. This is why the measured fragmentation function D(z) peaks at large z. Hadronization finishes at very short distances, well shorter than 1 fm, by production of a colorless small-size Qq-bar dipole. This ensures dominance of a perturbative mechanism and makes possible factorization of short and long distances. The latter corresponds to final state interactions of the produced dipole propagating through a dense medium. The results provide good description of data on beauty and charm suppression in heavy ion collisions, fixing the transport coefficient for b-quarks about twice smaller than for charm, and both significantly lower that the values determined from data on suppression of high-pT light hadrons. We relate this to reduction of the QCD coupling at higher scales, and suppression of radiation by the dead-cone effect.


title: WKB expansion of Yang-Yang generating function and Bergman tau-function

abstract: We study the symplectic properties of the monodromy map of second order equations on a Riemann surface whose potential is meromorphic with double poles. We show that the Poisson bracket defined in terms of periods of meromorphic quadratic differential implies the Goldman Poisson structure on the monodromy manifoldThese results are applied to the WKB analysis of the equation. It is shown that the leading term in the WKB expansion of the generating function of the monodromy symplectomorphism (the "Yang-Yang function" of Nekrasov, Rosly and Shatashvili) is determined by the Bergman tau-function on the moduli space of meromorphic quadratic differentials.


title: Game-theoretic Modeling of Traffic in Unsignalized Intersection Network for Autonomous Vehicle Control Verification and Validation

abstract: For a foreseeable future, autonomous vehicles (AVs) will operate in traffic together with human-driven vehicles. Their planning and control systems need extensive testing, including early-stage testing in simulations where the interactions among autonomous/human-driven vehicles are represented. Motivated by the need for such simulation tools, we propose a game-theoretic approach to modeling vehicle interactions, in particular, for urban traffic environments with unsignalized intersections. We develop traffic models with heterogeneous (in terms of their driving styles) and interactive vehicles based on our proposed approach, and use them for virtual testing, evaluation, and calibration of AV control systems. For illustration, we consider two AV control approaches, analyze their characteristics and performance based on the simulation results with our developed traffic models, and optimize the parameters of one of them.


title: Exploration of the Dark Sector with the Fermilab Dimuon Experiment

abstract: Searches for dark-matter particles at the GeV mass scale has been receiving much attention in the last several years, partly motivated by the failure of direct and indirect searches of heavier candidates to produce a signal. The SpinQuest dimuon experiment in the 120-GeV Main-Injector proton beam at Fermilab, currently in the commissioning stage, is uniquely equipped to search for dark photons and dark Higgs particles produced in a 5-m long iron beam dump with masses in the range 0.2 - 10 GeV, running in a parasitic mode. This only requires a modest upgrade of a displaced-vertex trigger with acceptance for dark-sector particles decaying into dimuons inside or downstream of the dump. We discuss the physics reach of such a run, the status, and some additional future prospects.


title: Exploring the Group Representation Theory of the Full Symmetry of Regular Tetrahedron

abstract: In this paper we study the rotation and spatial inversion symmetry of regular tetrahedron. We obtain the representation matrix, multiplication table,the order of all group elements, all possible combinations of generator elements, the proper subgroups,conjugate classes, invariation subgroups and the corresponding cosets, quotients and homomorphic correspondence. In the end we discuss Sudoku magic group.


title: Similarity Driven Approximation for Text Analytics

abstract: Text analytics has become an important part of business intelligence as enterprises increasingly seek to extract insights for decision making from text data sets. Processing large text data sets can be computationally expensive, however, especially if it involves sophisticated algorithms. This challenge is exacerbated when it is desirable to run different types of queries against a data set, making it expensive to build multiple indices to speed up query processing. In this paper, we propose and evaluate a framework called EmApprox that uses approximation to speed up the processing of a wide range of queries over large text data sets. The key insight is that different types of queries can be approximated by processing subsets of data that are most similar to the queries. EmApprox builds a general index for a data set by learning a natural language processing model, producing a set of highly compressed vectors representing words and subcollections of documents. Then, at query processing time, EmApprox uses the index to guide sampling of the data set, with the probability of selecting each subcollection of documents being proportional to its {\em similarity} to the query as computed using the vector representations. We have implemented a prototype of EmApprox as an extension of the Apache Spark system, and used it to approximate three types of queries: aggregation, information retrieval, and recommendation. Experimental results show that EmApprox's similarity-guided sampling achieves much better accuracy than random sampling. Further, EmApprox can achieve significant speedups if users can tolerate small amounts of inaccuracies. For example, when sampling at 10\%, EmApprox speeds up a set of queries counting phrase occurrences by almost 10x while achieving estimated relative errors of less than 22\% for 90\% of the queries.


title: Practical Random Access to SLP-Compressed Texts

abstract: Grammar-based compression is a popular and powerful approach to compressing repetitive texts but until recently its relatively poor time-space trade-offs during real-life construction made it impractical for truly massive datasets such as genomic databases. In a recent paper (SPIRE 2019) we showed how simple pre-processing can dramatically improve those trade-offs, and in this paper we turn our attention to one of the features that make grammar-based compression so attractive: the possibility of supporting fast random access. This is an essential primitive in many algorithms that process grammar-compressed texts without decompressing them and so many theoretical bounds have been published about it, but experimentation has lagged behind. We give a new encoding of grammars that is about as small as the practical state of the art (Maruyama et al., SPIRE 2013) but with significantly faster queries.


title: Asteroid Discovery and Light Curve Extraction Using the Hough Transform -- A Rotation Period Study for Sub-Kilometer Main-Belt Asteroids

abstract: The intra-night trajectories of asteroids can be approximated by straight lines, and so are their intra-night detections. Therefore, the Hough transform, a line detecting algorithm, can be used to connect the line-up detections to find asteroids. We applied this algorithm to a high-cadence Pan-STARRS 1 (PS1) observation, which was originally designed to collect asteroid light curves for rotation period measurements (Chang et al., 2019). The algorithm recovered most of the known asteroids in the observing fields and, moreover, discovered 3574 new asteroids with magnitude mainly of 21.5 < w_p1 < 22.5 mag. This magnitude range is equivalent to sub-kilometer main-belt asteroids (MBAs), which usually lack of rotation period measurements due to their faintness. Using the light curves of the 3574 new asteroids, we obtained 122 reliable rotation periods, of which 13 are super-fast rotators (SRFs; i.e., rotation period of < 2 hr). The required cohesion to survive these SFRs range from tens to thousands of Pa, a value consistent with the known SFRs and the regolith on the Moon and Mars. The higher chance of discovering SFRs here suggests that sub-kilometer MBAs probably harbor more SFRs.


title: Ultra-high frequency magnetic resonance through strain-spin coupling in perpendicular magnetic multi-layers

abstract: The interaction between strain and spin has received intensive attention in the scientific community due to its abundant physical phenomena and huge technological impact. Until now, there is no experimental report on ultra-high frequency magnetic resonance through the strain-spin coupling for any technologically relevant perpendicular magnetic material. Here we report the experimental detection of the acoustic strain waves that have a response time on the order of 10 picoseconds in perpendicular magnetic [Co/Pd]n multilayers via a femtosecond laser pulse excitation. Through direct measurements of acoustic strain waves, we observe an ultra-high frequency magnetic resonance up to 60 GHz in [Co/Pd]n multilayers. We further report a theoretical model of the strain-spin interaction. Our model reveals that the energy could be transferred efficiently from the strain to the spins and well explains the existence of a steady resonance state through exciting the spin system. The physical origins of the resonance between strain waves and magnetic precession and the requested conditions for obtaining magnetic resonance within thin magnetic films have also been discussed after thorough analysis. These combined results point out a potential pathway to enable an extremely high frequency (EHF) magnetic resonance through the strain-spin coupling.


title: New results on the search for rare kaon events with the KOTO detector

abstract: The KOTO experiment was designed to observe and study the K$^{0}_{L} \rightarrow$ $\pi^{0}\nu\bar{\nu}$ decay at J-PARC. The Standard Model (SM) prediction for the process is (3.0 $\pm$ 0.3) x 10$^{-11}$ with small uncertainties. This unique \emph{golden} decay is an ideal candidate to probe for new physics and can place strict constraints on beyond the standard model (BSM) theories. The previous experimental upper limit of the branching ratio was set by the KEK E391a collaboration as BR(K$^{0}_{L} \rightarrow \pi^{0}\nu\bar{\nu}$) $<$ 2.6 x 10$^{-8}$. The signature of the decay is a pair of photons from the $\pi^{0}$ decay and no other detected particles. For the measurement of the energies and positions of the photons, KOTO uses a Cesium Iodide (CSI) electromagnetic calorimeter as the main detector, and hermetic veto counters to guarantee that there are no other detected particles. KOTO's initial data was collected in 2013 and achieved a similar sensitivity to the E391a result. We completed hardware upgrades and had the first major physics runs in 2015. This proceeding summarizes the presentation of recent results from the 2015 runs on the search for the decay K$^{0}_{L} \rightarrow \pi^{0}\nu\bar{\nu}$ with the data collected in 2015 in the KOTO experiment. The best experimental upper limit on the branching fraction from a direct search was set as BR(K$^{0}_{L} \rightarrow \pi^{0}\nu\bar{\nu}$)$<$ 3 x 10$^{-9}$ at the 90\% confidence level.