title: Biocybersecurity -- A Converging Threat as an Auxiliary to War

abstract: Biodefense is the discipline of ensuring biosecurity with respect to select groups of organisms and limiting their spread. This field has increasingly been challenged by novel threats from nature that have been weaponized such as SARS, Anthrax, and similar pathogens, but has emerged victorious through collaboration of national and world health groups. However, it may come under additional stress in the 21st century as the field intersects with the cyberworld -- a world where governments have already been struggling to keep up with cyber attacks from small to state-level actors as cyberthreats have been relied on to level the playing field in international disputes. Disruptions to military logistics and economies through cyberattacks have been able to be done at a mere fraction of economic and moral costs through conventional military means, making it an increasingly tempting means of disruption. In the field of biocybersecurity (BCS), the strengths within biotechnology and cybersecurity merge, along with many of their vulnerabilities, and this could spell increased trouble for biodefense, as novel threats can be synthesized and disseminated in ways that fuse the routes of attacks seen in biosecurity and cybersecurity. Herein, we offer an exploration of how threats in the domain of biocybersecurity may emerge through less foreseen routes as it might be an attractive auxiliary to conventional war. This is done through an analysis of potential payload and delivery methods to develop notional threat vectorizations. We conclude with several paradigms through which to view BCS-based threats.


title: The impact of turbulent mixing on the galactic r-process enrichment by binary neutron star mergers

abstract: We study the enrichment of the interstellar medium with rapid neutron capture (r-process) elements produced in binary neutron star (BNS) mergers. We use a semi-analytic model to describe galactic evolution, with merger rates and time delay distributions of BNS mergers consistent with the latest population synthesis models. In order to study the dispersion of the relative abundances of r-process elements and iron, we applied a turbulent mixing scheme, where the freshly synthesized elements are gradually dispersed in the interstellar medium. We show that within our model the abundances observed in Milky-Way stars, in particular the scatter at low metallicities, can be entirely explained by BNS mergers. Our results suggest that binary neutron star mergers could be the dominant source of r-process elements in the Galaxy.


title: On the recursive structure of multigrid cycles

abstract: A new fixed (non-adaptive) recursive scheme for multigrid algorithms is introduced. Governed by a positive parameter $\kappa$ called the cycle counter, this scheme generates a family of multigrid cycles dubbed $\kappa$-cycles. The well-known $V$-cycle, $F$-cycle, and $W$-cycle are shown to be particular members of this rich $\kappa$-cycle family, which satisfies the property that the total number of recursive calls in a single cycle is a polynomial of degree $\kappa$ in the number of levels of the cycle. This broadening of the scope of fixed multigrid cycles is shown to be potentially significant for the solution of some large problems on platforms, such as GPU processors, where the overhead induced by numerous sequential calls to the coarser levels may be relatively significant. In cases of problems for which the convergence of standard $V$-cycles or $F$-cycles (corresponding to $\kappa=1$ and $\kappa=2$, respectively) is particularly slow, and yet the cost of $W$-cycles is very high due to the large number of coarse-level calls (which is exponential in the number of levels), intermediate values of $\kappa$ may prove to yield significantly faster run-times. This is demonstrated in examples where $\kappa$-cycles are used for the solution of rotated anisotropic diffusion problems, both as a stand-alone solver and as a preconditioner. Moreover, a simple model is presented for predicting the approximate run-time of the $\kappa$-cycle, which is useful in pre-selecting an appropriate cycle counter for a given problem on a given platform. Implementing the $\kappa$-cycle requires making just a small change in the classical multigrid cycle.


title: CARLA: A Convolution Accelerator with a Reconfigurable and Low-Energy Architecture

abstract: Convolutional Neural Networks (CNNs) have proven to be extremely accurate for image recognition, even outperforming human recognition capability. When deployed on battery-powered mobile devices, efficient computer architectures are required to enable fast and energy-efficient computation of costly convolution operations. Despite recent advances in hardware accelerator design for CNNs, two major problems have not yet been addressed effectively, particularly when the convolution layers have highly diverse structures: (1) minimizing energy-hungry off-chip DRAM data movements; (2) maximizing the utilization factor of processing resources to perform convolutions. This work thus proposes an energy-efficient architecture equipped with several optimized dataflows to support the structural diversity of modern CNNs. The proposed approach is evaluated by implementing convolutional layers of VGGNet-16 and ResNet-50. Results show that the architecture achieves a Processing Element (PE) utilization factor of 98% for the majority of 3x3 and 1x1 convolutional layers, while limiting latency to 396.9 ms and 92.7 ms when performing convolutional layers of VGGNet-16 and ResNet-50, respectively. In addition, the proposed architecture benefits from the structured sparsity in ResNet-50 to reduce the latency to 42.5 ms when half of the channels are pruned.


title: On String Vacua without Supersymmetry: brane dynamics, bubbles and holography

abstract: In this thesis we investigate some aspects of the dramatic consequences of supersymmetry breaking on string vacua. In particular, we focus on the issue of vacuum stability in ten-dimensional string models with broken, or without, supersymmetry, whose perturbative spectra are free of tachyons. After formulating the models at stake in Chapter 2, we introduce their low-energy effective description in Chapter 3, presenting a number of vacuum solutions to the classical equations of motion. In Chapter 4 we analyze their classical stability, studying linearized field fluctuations, and in Chapter 5 we turn to the issue of quantum stability. In Chapter 6 we frame the resulting instabilities in terms of brane dynamics, examining brane interactions and back-reacted geometries. In Chapter 7 we propose a holographic correspondence connecting bulk instabilities with dual renormalization group flows, and we explore a potentially concrete scenario involving world-volume gauge theories. Finally, in Chapter 8 we turn to cosmology, deriving generalized no-go results for warped flux compactifications and concocting a brane-world scenario along the lines of a recent proposal, providing a string-theoretic embedding of constructions of this type. In Chapter 9 we provide a summary and collect some concluding remarks.


title: Adaptive pruning-based optimization of parameterized quantum circuits

abstract: Variational hybrid quantum-classical algorithms are powerful tools to maximize the use of Noisy Intermediate Scale Quantum devices. While past studies have developed powerful and expressive ansatze, their near-term applications have been limited by the difficulty of optimizing in the vast parameter space. In this work, we propose a heuristic optimization strategy for such ansatze used in variational quantum algorithms, which we call "Parameter-Efficient Circuit Training" (PECT). Instead of optimizing all of the ansatz parameters at once, PECT launches a sequence of variational algorithms, in which each iteration of the algorithm activates and optimizes a subset of the total parameter set. To update the parameter subset between iterations, we adapt the dynamic sparse reparameterization scheme by Mostafa et al. (arXiv:1902.05967). We demonstrate PECT for the Variational Quantum Eigensolver, in which we benchmark unitary coupled-cluster ansatze including UCCSD and k-UpCCGSD, as well as the low-depth circuit ansatz (LDCA), to estimate ground state energies of molecular systems. We additionally use a layerwise variant of PECT to optimize a hardware-efficient circuit for the Sycamore processor to estimate the ground state energy densities of the one-dimensional Fermi-Hubbard model. From our numerical data, we find that PECT can enable optimizations of certain ansatze that were previously difficult to converge and more generally can improve the performance of variational algorithms by reducing the optimization runtime and/or the depth of circuits that encode the solution candidate(s).


title: Exact Penalties for Decomposable Optimization Problems

abstract: We consider a general decomposable convex optimization problem. By using right-hand side allocation technique, it can be transformed into a collection of small dimensional optimization problems. The master problem is a convex non-smooth optimization problem. We propose to apply the exact non-smooth penalty method, which gives a solution of the initial problem under some fixed penalty parameter and provides the consistency of lower level problems. The master problem is suggested to be solved by a two-speed subgradient projection method, which enhances the step-size selection. Preliminary results of computational experiments confirm its efficiency.


title: Stability for Two-class Multiserver-job Systems

abstract: Multiserver-job systems, where jobs require concurrent service at many servers, occur widely in practice. Much is known in the dropping setting, where jobs are immediately discarded if they require more servers than are currently available. However, very little is known in the more practical setting where jobs queue instead. In this paper, we derive a closed-form analytical expression for the stability region of a two-class (non-dropping) multiserver-job system where each class of jobs requires a distinct number of servers and requires a distinct exponential distribution of service time, and jobs are served in first-come-first-served (FCFS) order. This is the first result of any kind for an FCFS multiserver-job system where the classes have distinct service distributions. Our work is based on a technique that leverages the idea of a "saturated" system, in which an unlimited number of jobs are always available. Our analytical formula provides insight into the behavior of FCFS multiserver-job systems, highlighting the huge wastage (idle servers while jobs are in the queue) that can occur, as well as the nonmonotonic effects of the service rates on wastage.


title: Robust and Efficient High-dimensional Quantum State Tomography

abstract: The exponential growth in Hilbert space with increasing size of a quantum system means that accurately characterising the system becomes significantly harder with system dimension d. We show that self-guided tomography is a practical, efficient, and robust technique of measuring higher-dimensional quantum states. The achieved fidelities are over 99.9% for qutrits (d=3) and ququints (d=5), and 99.1% for quvigints (d=20), the highest values ever realised for qudits. We demonstrate robustness against experimental sources of noise, both statistical and environmental. The technique is applicable to any higher-dimensional system, from a collection of qubits through to individual qudits, and any physical realisation, be it photonic, superconducting, ionic, or spin.


title: Discontinuous Constituent Parsing as Sequence Labeling

abstract: This paper reduces discontinuous parsing to sequence labeling. It first shows that existing reductions for constituent parsing as labeling do not support discontinuities. Second, it fills this gap and proposes to encode tree discontinuities as nearly ordered permutations of the input sequence. Third, it studies whether such discontinuous representations are learnable. The experiments show that despite the architectural simplicity, under the right representation, the models are fast and accurate.


title: Relations between ranks of matrix polynomials

abstract: We show that the sum of ranks of two matrix polynomials is the same as the sum of the rank of the matrix obtained by applying the greatest common divisor of the polynomials, with the rank of the matrix obtained by applying the lowest common multiple of the polynomials. Many applications, for older or more recent problems, of this result are obtained.


title: StreamSoNG: A Soft Streaming Classification Approach

abstract: Examining most streaming clustering algorithms leads to the understanding that they are actually incremental classification models. They model existing and newly discovered structures via summary information that we call footprints. Incoming data is normally assigned a crisp label (into one of the structures) and that structure's footprint is incrementally updated. There is no reason that these assignments need to be crisp. In this paper, we propose a new streaming classification algorithm that uses Neural Gas prototypes as footprints and produces a possibilistic label vector (of typicalities) for each incoming vector. These typicalities are generated by a modified possibilistic k-nearest neighbor algorithm. The approach is tested on synthetic and real image datasets. We compare our approach to three other streaming classifiers based on the Adaptive Random Forest, Very Fast Decision Rules, and the DenStream algorithm with excellent results.


title: Universal consistency and rates of convergence of multiclass prototype algorithms in metric spaces

abstract: We study universal consistency and convergence rates of simple nearest-neighbor prototype rules for the problem of multiclass classification in metric paces. We first show that a novel data-dependent partitioning rule, named Proto-NN, is universally consistent in any metric space that admits a universally consistent rule. Proto-NN is a significant simplification of OptiNet, a recently proposed compression-based algorithm that, to date, was the only algorithm known to be universally consistent in such a general setting. Practically, Proto-NN is simpler to implement and enjoys reduced computational complexity. We then proceed to study convergence rates of the excess error probability. We first obtain rates for the standard $k$-NN rule under a margin condition and a new generalized-Lipschitz condition. The latter is an extension of a recently proposed modified-Lipschitz condition from $\mathbb R^d$ to metric spaces. Similarly to the modified-Lipschitz condition, the new condition avoids any boundness assumptions on the data distribution. While obtaining rates for Proto-NN is left open, we show that a second prototype rule that hybridizes between $k$-NN and Proto-NN achieves the same rates as $k$-NN while enjoying similar computational advantages as Proto-NN. However, as $k$-NN, this hybrid rule is not consistent in general.


title: Grundy domination and zero forcing in regular graphs

abstract: Given a finite graph $G$, the maximum length of a sequence $(v_1,\ldots,v_k)$ of vertices in $G$ such that each $v_i$ dominates a vertex that is not dominated by any vertex in $\{v_1,\ldots,v_{i-1}\}$ is called the Grundy domination number, $\gamma_{\rm gr}(G)$, of $G$. A small modification of the definition yields the Z-Grundy domination number, which is the dual invariant of the well-known zero forcing number. In this paper, we prove that $\gamma_{\rm gr}(G) \geq \frac{n + \lceil \frac{k}{2} \rceil - 2}{k-1}$ holds for every connected $k$-regular graph of order $n$ different from $K_{k+1}$ and $\bar{2C_4}$. The bound in the case $k=3$ reduces to $\gamma_{\rm gr}(G) \geq \frac{n}{2}$, and we characterize the connected cubic graphs with $\gamma_{\rm gr}(G)=\frac{n}{2}$. If $G$ is different from $K_4$ and $K_{3,3}$, then $\frac{n}{2}$ is also an upper bound for the zero forcing number of a connected cubic graph, and we characterize the connected cubic graphs attaining this bound.


title: Tabular GANs for uneven distribution

abstract: GANs are well known for success in the realistic image generation. However, they can be applied in tabular data generation as well. We will review and examine some recent papers about tabular GANs in action. We will generate data to make train distribution bring closer to the test. Then compare model performance trained on the initial train dataset, with trained on the train with GAN generated data, also we train the model by sampling train by adversarial training. We show that using GAN might be an option in case of uneven data distribution between train and test data.


title: The h-index and the Harmonic Mean

abstract: The Harmonic Mean between the number of papers and the citation number per paper is proposed as a simple single-value index to quantify an individual's research output. Two simple comparisons with the Hirsch h-index are performed.


title: Counterfactual Thermodynamics: Extracting work from a lack of macroscopic change

abstract: A sudden change in the macroscopic parameters of a system will cause it to depart from equilibrium. In this paper we study how a lack of change can also inform of such a departure, and allow for work extraction. Potential events that are unrealized can provide information pertaining the microstates of the system, essentially playing the role of a passive Maxwell demon, thereby allowing one to infer details about the microstate probability distribution. Here, we first qualitatively argue that this effect is present and consequential in almost every physical system, but is ignored in the standard formulation of equilibrium statistical mechanics. Then, as a case study, we quantitatively investigate the local and global thermodynamic properties of an ideal gas placed in a fragile container that nevertheless, does not burst. This non-event indicates a departure from equilibrium and allows work extraction from the system. It also leads to corrections to the heat capacity of the gas.


title: Multiscale Detection of Cancerous Tissue in High Resolution Slide Scans

abstract: We present an algorithm for multi-scale tumor (chimeric cell) detection in high resolution slide scans. The broad range of tumor sizes in our dataset pose a challenge for current Convolutional Neural Networks (CNN) which often fail when image features are very small (8 pixels). Our approach modifies the effective receptive field at different layers in a CNN so that objects with a broad range of varying scales can be detected in a single forward pass. We define rules for computing adaptive prior anchor boxes which we show are solvable under the equal proportion interval principle. Two mechanisms in our CNN architecture alleviate the effects of non-discriminative features prevalent in our data - a foveal detection algorithm that incorporates a cascade residual-inception module and a deconvolution module with additional context information. When integrated into a Single Shot MultiBox Detector (SSD), these additions permit more accurate detection of small-scale objects. The results permit efficient real-time analysis of medical images in pathology and related biomedical research fields.


title: Modeling coupled spin and lattice dynamics

abstract: A unified model of molecular and atomistic spin dynamics is presented enabling simulations both in microcanonical and canonical ensembles without the necessity of additional phenomenological spin damping. Transfer of energy and angular momentum between the lattice and the spin systems is achieved by a coupling term based upon the spin-orbit interaction. The characteristic spectra of the spin and phonon systems are analyzed for different coupling strength and temperatures. The spin spectral density shows magnon modes together with the uncorrelated noise induced by the coupling to the lattice. The effective damping parameter is investigated showing an increase with both coupling strength and temperature. The model paves the way to understanding magnetic relaxation processes beyond the phenomenological approach of the Gilbert damping and the dynamics of the energy transfer between lattice and spins.


title: A Recommender System based on the analysis of personality traits in Telegram social network

abstract: Accessing people's personality traits has always been a challenging task. On the other hand, acquiring personality traits based on behavioral data is one of the growing interest of human beings. Numerous researches showed that people spend a large amount of time on social networks and show behaviors that create some personality patterns in cyberspace. One of these social networks that have been widely welcomed in some countries, including Iran, is Telegram. The basis of this research is automatically identifying users' personalities based on their behavior on Telegram. For this purpose, messages from Telegram group users are extracted, and then the personality traits of each member according to the NEO Personality Inventory are identified. For personality analysis, the study is employed three approaches, including; Cosine Similarity, Bayes, and MLP algorithms. Finally, this study provides a recommender system that uses the Cosine similarity algorithm to explore and recommend relevant Telegram channels to members according to the extracted personalities. The results show a 65.42% satisfaction rate for the recommender system based on the proposed personality analysis.


title: Single-objective selective-volume illumination microscopy enables high-contrast light-field imaging

abstract: The performance of light-field microscopy is improved by selectively illuminating the relevant subvolume of the specimen with a second objective lens [1-3]. Here we advance this approach to a single-objective geometry, using an oblique one-photon illumination path or two-photon illumination to accomplish selective-volume excitation. The elimination of the second orthogonally oriented objective to selectively excite the volume of interest simplifies specimen mounting; yet, this single-objective approach still reduces out-of-volume background, resulting in improvements in image contrast, effective resolution, and volume reconstruction quality. We validate our new approach through imaging live developing zebrafish, demonstrating the technology's ability to capture imaging data from large volumes synchronously with high contrast, while remaining compatible with standard microscope sample mounting.

categories: physics.optics eess.IV physics.bio-ph physics.ins-det


title: Light and Slow-Neutron Diffraction by Nanodiamond-Dispersed Nanocomposite Holographic Gratings

abstract: We demonstrate the use of nanodiamond in constructing holographic nanoparticle-polymer composite transmission gratings with large saturated refractive index modulation amplitudes at both optical and slow-neutron wavelengths, resulting in efficient control of light and slow-neutron beams. Nanodiamond possesses a high refractive index at optical wavelengths and large coherent and small incoherent scattering cross sections with low absorption at slow-neutron wavelengths. We describe the synthesis of nanodiamond, the preparation of photopolymerizable nanodiamond-polymer composite films, the construction of transmission gratings in nanodiamond-polymer composite films and light optical diffraction experiments. Results of slow-neutron diffraction from such gratings are also presented.


title: $\imath$Hall algebra of the projective line and $q$-Onsager algebra

abstract: The $\imath$Hall algebra of the projective line is by definition the twisted semi-derived Ringel-Hall algebra of the category of $1$-periodic complexes of coherent sheaves on the projective line. This $\imath$Hall algebra is shown to realize the universal $q$-Onsager algebra (i.e., $\imath$quantum group of split affine $A_1$ type) in its Drinfeld type presentation. The $\imath$Hall algebra of the Kronecker quiver was known earlier to realize the same algebra in its Serre type presentation. We then establish a derived equivalence which induces an isomorphism of these two $\imath$Hall algebras, explaining the isomorphism of the $q$-Onsager algebra under the two presentations.


title: Comment on: Pseudo-effectivity of the relative canonical divisor ... by Zsolt Patakfalvi

abstract: We discuss an elementary approach to the existence of non-uniruled ramified covers of varieties.


title: Boundary layer models of the Hou-Luo scenario

abstract: Finite time blow up vs global regularity question for 3D Euler equation of fluid mechanics is a major open problem. Several years ago, Luo and Hou \cite{HouLuo14} proposed a new finite time blow up scenario based on extensive numerical simulations. The scenario is axi-symmetric and features fast growth of vorticity near a ring of hyperbolic points of the flow located at the boundary of a cylinder containing the fluid. An important role is played by a small boundary layer where intense growth is observed. Several simplified models of the scenario have been considered, all leading to finite time blow up \cite{CKY15,CHKLVY17,HORY,KT1,HL15,KY1}. In this paper, we propose two models that are designed specifically to gain insight in the evolution of fluid near the hyperbolic stagnation point of the flow located at the boundary. One model focuses on analysis of the depletion of nonlinearity effect present in the problem. Solutions to this model are shown to be globally regular. The second model can be seen as an attempt to capture the velocity field near the boundary to the next order of accuracy compared with the one-dimensional models such as \cite{CKY15,CHKLVY17}. Solutions to this model blow up in finite time.


title: Application of a Quantum Search Algorithm to High- Energy Physics Data at the Large Hadron Collider

abstract: We demonstrate a novel method for applying a scientific quantum algorithm - the Grover Algorithm (GA) - to search for rare events in proton-proton collisions at 13 TeV collision energy using CERN's Large Hadron Collider. The search is of an unsorted database from the ATLAS detector in the form of ATLAS Open Data. As indicated by the Higgs boson decay channel $H\rightarrow ZZ^*\rightarrow 4l$, the detection of four leptons in one event may be used to reconstruct the Higgs boson and, more importantly, evince Higgs boson decay to some new phenomena, such as $H\rightarrow ZZ_d \rightarrow 4l$. In searching the dataset for collisions resulting in the detection of four leptons, the study demonstrates the effectiveness and potential of applying quantum computing to high-energy particle physics. Using a Jupyter Notebook, a classical simulation of GA, and multiple quantum computers, each with several qubits, it is demonstrated that this application makes the proper selection in the unsorted dataset. The implementation of the method on several classical simulators and on several of IBM's quantum computers using the IBM Qiskit Open Source Software exhibits the promising prospects of quantum computing in high-energy physics.


title: On Constant Terms of Eisenstein Series

abstract: We calculate the constant terms of certain Hilbert modular Eisenstein series at all cusps. Our formula relates these constant terms to special values of Hecke $L$-series. This builds on previous work of Ozawa, in which a restricted class of Eisenstein series were studied. Our results have direct arithmetic applications---in separate work we apply these formulas to prove the Brumer-Stark conjecture away from $p=2$ and to give an exact analytic formula for Brumer-Stark units.


title: Opinion Diffusion and Campaigning on Society Graphs

abstract: We study the effects of campaigning, where the society is partitioned into voter clusters and a diffusion process propagates opinions in a network connecting the clusters. Our model is very powerful and can incorporate many campaigning actions, various partitions of the society into clusters, and very general diffusion processes. Perhaps surprisingly, we show that computing the cheapest campaign for rigging a given election can usually be done efficiently, even with arbitrarily-many voters. Moreover, we report on certain computational simulations.


title: Long-Range Electron Transport in Prussian Blue Analog Nanocrystals

abstract: We report electron transport measurements through nano-scale devices consisting of 1 to 3 Prussian blue analog (PBA) nanocrystals connected between two electrodes. We compare two types of cubic nanocrystals, CsCoFe (15 nm) and CsNiCr (6 nm), deposited on highly oriented pyrolytic graphite and contacted by conducting-AFM. The measured currents show an exponential dependence with the length of the PBA nano-device (up to 45 nm), with low decay factors \b{eta}, in the range 0.11 - 0.18 nm-1 and 0.25 - 0.34 nm-1 for the CsCoFe and the CsNiCr nanocrystals, respectively. From the theoretical analysis of the current-voltage curve for the nano-scale device made of a single nanoparticle, we deduce that the electron transport is mediated by the localized d bands at around 0.5 eV from the electrode Fermi energy in the two cases. By comparison with previously reported ab-initio calculations, we tentatively identify the involved orbitals as the filled Fe(II)-t2g d band (HOMO) for CsCoFe and the half-filled Ni(II)-eg d band (SOMO) for CsNiCr. Conductance values measured for multi-nanoparticle nano-scale devices (2 and 3 nanocrystals between the electrodes) are consistent with a multi-step coherent tunneling in the off-resonance regime between adjacent PBAs, a simple model gives a strong coupling (around 0.1 - 0.25 eV) between the adjacent PBA nanocrystals, mediated by electrostatic interactions.


title: Gr\"obner geometry for skew-symmetric matrix Schubert varieties

abstract: Matrix Schubert varieties are the closures of the orbits of $B\times B$ acting on all $n\times n$ matrices, where $B$ is the group of invertible lower triangular matrices. Extending work of Fulton, Knutson and Miller identified a Gr\"obner basis for the prime ideals of these varieties. They also showed that the corresponding initial ideals are Stanley-Reisner ideals of shellable simplicial complexes, and derived a related primary decomposition in terms of reduced pipe dreams. These results lead to a geometric proof of the Billey-Jockusch-Stanley formula for a Schubert polynomial, among many other applications. We define skew-symmetric matrix Schubert varieties to be the nonempty intersections of matrix Schubert varieties with the subspace of skew-symmetric matrices. In analogy with Knutson and Miller's work, we describe a natural generating set for the prime ideals of these varieties. We then compute a related Gr\"obner basis. Using these results, we identify a primary decomposition for the corresponding initial ideals involving certain fpf-involution pipe dreams. We show that these initial ideals are likewise the Stanley-Reisner ideals of shellable simplicial complexes. As an application, we give a geometric proof of an explicit generating function for symplectic Grothendieck polynomials. Our methods differ from Knutson and Miller's and can be used to give new proofs of some of their results, as we explain at the end of this article.


title: VAEBM: A Symbiosis between Variational Autoencoders and Energy-based Models

abstract: Energy-based models (EBMs) have recently been successful in representing complex distributions of small images. However, sampling from them requires expensive Markov chain Monte Carlo (MCMC) iterations that mix slowly in high dimensional pixel space. Unlike EBMs, variational autoencoders (VAEs) generate samples quickly and are equipped with a latent space that enables fast traversal of the data manifold. However, VAEs tend to assign high probability density to regions in data space outside the actual data distribution and often fail at generating sharp images. In this paper, we propose VAEBM, a symbiotic composition of a VAE and an EBM that offers the best of both worlds. VAEBM captures the overall mode structure of the data distribution using a state-of-the-art VAE and it relies on its EBM component to explicitly exclude non-data-like regions from the model and refine the image samples. Moreover, the VAE component in VAEBM allows us to speed up MCMC updates by reparameterizing them in the VAE's latent space. Our experimental results show that VAEBM outperforms state-of-the-art VAEs and EBMs in generative quality on several benchmark image datasets by a large margin. It can generate high-quality images as large as 256$\times$256 pixels with short MCMC chains. We also demonstrate that VAEBM provides complete mode coverage and performs well in out-of-distribution detection. The source code is available at https://github.com/NVlabs/VAEBM


title: Jam-Guard: Low-Cost, Hand-held Device for First Responders to Detect and Localize Jammers

abstract: Intentional and unintentional interferences collectively referred to as Radio Frequency Interference (RFI) result in severe security threat to the public safety, first responder emergency rescue and military missions. Such RFI if not detected and localized can disrupt the wireless communication which forms the backbone of first responder and military operations. The prime objective of this work was to design and prototype a RFI detection and localization device, Jam-Guard that significantly outperforms traditional approaches in real-life deployment yet be computationally feasible to be developed as a low SWaC (size, weight, and cost) device. The proposed device employs a unique combination of robust parallel detection algorithms based on Kurtosis and FRactional Fourier Transform (FRFT) with Golden Section Search algorithm to rapidly detect RFI that affects critical communication signals. The localization scheme is designed to leverage the FRFT output from the detection phase to ease the computational load. We give a detailed account of the device prototyping and evaluation. To demonstrate the efficacy of the proposed detection approach as opposed to conventional energy detection (employed in several commercial interference detectors), we compare the two schemes on test and target platforms. The proposed scheme depicted significant improvement (~40 dB) in detection probability both in preliminary implementation and target prototype experiments.


title: Predicting User Engagement Status for Online Evaluation of Intelligent Assistants

abstract: Evaluation of intelligent assistants in large-scale and online settings remains an open challenge. User behavior-based online evaluation metrics have demonstrated great effectiveness for monitoring large-scale web search and recommender systems. Therefore, we consider predicting user engagement status as the very first and critical step to online evaluation for intelligent assistants. In this work, we first proposed a novel framework for classifying user engagement status into four categories -- fulfillment, continuation, reformulation and abandonment. We then demonstrated how to design simple but indicative metrics based on the framework to quantify user engagement levels. We also aim for automating user engagement prediction with machine learning methods. We compare various models and features for predicting engagement status using four real-world datasets. We conducted detailed analyses on features and failure cases to discuss the performance of current models as well as challenges.


title: On the Brumer-Stark Conjecture

abstract: Let $H/F$ be a finite abelian extension of number fields with $F$ totally real and $H$ a CM field. Let $S$ and $T$ be disjoint finite sets of places of $F$ satisfying the standard conditions. The Brumer-Stark conjecture states that the Stickelberger element $\Theta^{H/F}_{S, T}$ annihilates the $T$-smoothed class group $\text{Cl}^T(H)$. We prove this conjecture away from $p=2$, that is, after tensoring with $\mathbf{Z}[1/2]$. We prove a stronger version of this result conjectured by Kurihara that gives a formula for the 0th Fitting ideal of the minus part of the Pontryagin dual of $\text{Cl}^T(H) \otimes \mathbf{Z}[1/2]$ in terms of Stickelberger elements. We also show that this stronger result implies Rubin's higher rank version of the Brumer-Stark conjecture, again away from 2. Our technique is a generalization of Ribet's method, building upon on our earlier work on the Gross-Stark conjecture. Here we work with group ring valued Hilbert modular forms as introduced by Wiles. A key aspect of our approach is the construction of congruences between cusp forms and Eisenstein series that are stronger than usually expected, arising as shadows of the trivial zeroes of $p$-adic $L$-functions. These stronger congruences are essential to proving that the cohomology classes we construct are unramified at $p$.


title: Upper Tails of Subgraph Counts in Sparse Regular Graphs

abstract: What is the probability that a sparse $n$-vertex random $d$-regular graph $G_n^d$, $n^{1-c}<d=o(n)$ contains many more copies of a fixed graph $K$ than expected? We determine the behavior of this upper tail to within a logarithmic gap in the exponent. For most graphs $K$ (for instance, for any $K$ of average degree greater than $4$) we determine the upper tail up to a $1+o(1)$ factor in the exponent. However, we also provide an example of a graph, given by adding an edge to $K_{2,4}$, where the upper tail probability behaves differently from previously studied behavior in both the sparse random regular and sparse Erd\H{o}s-R\'{e}nyi models in this sparsity regime.


title: Network controllability in transmodal cortex predicts psychosis spectrum symptoms

abstract: The psychosis spectrum is associated with structural dysconnectivity concentrated in transmodal association cortex. However, understanding of this pathophysiology has been limited by an exclusive focus on the direct connections to a region. Using Network Control Theory, we measured variation in both direct and indirect structural connections to a region to gain new insights into the pathophysiology of the psychosis spectrum. We used psychosis symptom data and structural connectivity in 1,068 youths aged 8 to 22 years from the Philadelphia Neurodevelopmental Cohort. Applying a Network Control Theory metric called average controllability, we estimated each brain region's capacity to leverage its direct and indirect structural connections to control linear brain dynamics. Next, using non-linear regression, we determined the accuracy with which average controllability could predict negative and positive psychosis spectrum symptoms in out-of-sample testing. We also compared prediction performance for average controllability versus strength, which indexes only direct connections to a region. Finally, we assessed how the prediction performance for psychosis spectrum symptoms varied over the functional hierarchy spanning unimodal to transmodal cortex. Average controllability outperformed strength at predicting positive psychosis spectrum symptoms, demonstrating that indexing indirect structural connections to a region improved prediction performance. Critically, improved prediction was concentrated in association cortex for average controllability, whereas prediction performance for strength was uniform across the cortex, suggesting that indexing indirect connections is crucial in association cortex. Examining inter-individual variation in direct and indirect structural connections to association cortex is crucial for accurate prediction of positive psychosis spectrum symptoms.


title: A Thermochemical Database from High-throughput First-Principles Calculations and Its Application to Analyzing Phase Evolution in AM-fabricated IN718

abstract: A comprehensive thermochemical database is constructed based on high-throughput first-principles phonon calculations of over 3000 atomic structures in Ni, Fe, and Co alloys involving a total of 26 elements including Al, B, C, Cr, Cu, Hf, La, Mn, Mo, N, Nb, O, P, Re, Ru, S, Si, Ta, Ti, V, W, Y, and Zr, providing thermochemical data largely unavailable from existing experiments. The database can be employed to predict the equilibrium phase compositions and fractions at a given temperature and an overall chemical composition directly from first-principles by minimizing the chemical potential. It is applied to the additively manufactured nickel-based IN718 superalloy to analyze the phase evolution with temperature. In particular, we successfully predicted the formation of L1$_0$-FeNi, $\gamma'$-Ni$_3$(Fe,Al), $\alpha$-Cr, $\gamma$-Ni$_3$(Nb,Mo), $\gamma''$-Ni$_3$Nb , and $\eta$-Ni$_3$Ti at low temperatures, $\gamma'$-Ni$_3$Al, $\delta$-Ni$_3$Nb, $\gamma''$-Ni$_3$Nb, $\alpha$-Cr, and $\gamma$-Ni(Fe,Cr,Mo) at intermediate temperatures, and $\delta$-Ni$_3$Nb and $\gamma$-Ni(Fe,Cr,Mo) at high temperatures in IN718. These predictions are validated by EDS mapping of compositional distributions and corresponding identifications of phase distributions. The database is expected to be a valuable source for future thermodynamic analysis and microstructure prediction of alloys involving the 26 elements.


title: Machine Learning in Generation, Detection, and Mitigation of Cyberattacks in Smart Grid: A Survey

abstract: Smart grid (SG) is a complex cyber-physical system that utilizes modern cyber and physical equipment to run at an optimal operating point. Cyberattacks are the principal threats confronting the usage and advancement of the state-of-the-art systems. The advancement of SG has added a wide range of technologies, equipment, and tools to make the system more reliable, efficient, and cost-effective. Despite attaining these goals, the threat space for the adversarial attacks has also been expanded because of the extensive implementation of the cyber networks. Due to the promising computational and reasoning capability, machine learning (ML) is being used to exploit and defend the cyberattacks in SG by the attackers and system operators, respectively. In this paper, we perform a comprehensive summary of cyberattacks generation, detection, and mitigation schemes by reviewing state-of-the-art research in the SG domain. Additionally, we have summarized the current research in a structured way using tabular format. We also present the shortcomings of the existing works and possible future research direction based on our investigation.

categories: cs.CR cs.LG cs.SY eess.SP eess.SY stat.ML


title: Near-Infrared and Optical Observations of Type Ic SN2020oi and broad-lined Ic SN2020bvc: Carbon Monoxide, Dust and High-Velocity Supernova Ejecta

abstract: We present near-infrared and optical observations of the Type Ic Supernova (SN) 2020oi in the galaxy M100 and the broad-lined Type Ic SN2020bvc in UGC 9379, using Gemini, LCO, SOAR, and other ground-based telescopes. The near-IR spectrum of SN2020oi at day 63 since the explosion shows strong CO emissions and a rising K-band continuum, which is the first unambiguous dust detection from a Type Ic SN. Non-LTE CO modeling shows that CO is still optically thick, and that the lower limit to the CO mass is 0.001 Msun. The dust temperature is 810 K, and the dust mass is ~10^(-5) Msun. We explore the possibilities that the dust is freshly formed in the ejecta, heated dust in the pre-existing circumstellar medium, and an infrared echo. The light curves of SN2020oi are consistent with a STELLA model with canonical explosion energy, 0.07 Msun Ni mass, and 0.7 Msun ejecta mass. A model of high explosion energy of ~10^(52) erg, 0.4 Msun Ni mass, 6.5 Msun ejecta mass with the circumstellar matter, reproduces the double-peaked light curves of SN2020bvc. We observe temporal changes of absorption features of the IR Ca~II triplet, S~I at 1.043 micron, and Fe~II at 5169 Angstrom. The blue-shifted lines indicate high velocities, up to 60,000 km/s for SN2020bvc and 20,000 km/s for SN2020oi, and the expansion velocity rapidly declines before the optical maximum. We present spectral signatures and diagnostics of CO and SiO molecular bands between 1.4 and 10 microns.


title: Zero $A$-paths and the Erd\H{o}s-P\'osa property

abstract: Let $\Gamma$ be an Abelian group. In this paper I characterize the $A$-paths of weight $0\in\Gamma$ that have the Erd\H{o}s-P\'osa property. Using this in an auxiliary graph, one can also easily characterize the $A$-paths of weight $\gamma\in\Gamma$ that have the Erd\H{o}s-P\'osa property. These results also extend to long paths, that is paths of some minimum length. A structural result on zero walls with non-zero linkages will be proven as a means to prove the main result of this paper. This immediately implies that zero cycles with respect to an Abelian group $\Gamma$ have the Erd\H{o}s-P\'osa property.


title: Lorenz Number and Electronic Thermoelectric Figure of Merit: Thermodynamics and Direct DFT Calculations

abstract: The Lorenz number (L) contained in the Wiedemann-Franz law represents the ratio of two kinetic parameters of electronic charge carriers: the electronic contribution to the thermal conductivity (K_el) and the electrical conductivity (sigma), , and can be expressed as LT=K_el/sigma where T is temperature. We demonstrate that the Lorenz number simply equals to the ratio of two thermodynamic quantities: the electronic heat capacity (c_el) and the electrochemical capacitance (c_N) through LT=c_el/c_N , a purely thermodynamic quantity, and thus it can be calculated solely based on the electron density of states of a material. It is shown that our thermodynamic formulation for the Lorenz number leads to: i) the well-known Sommerfeld value L=pi^2/3(k_B/e)^2 at the low temperature limit, ii) the Drude value L=3/2(k_B/e)^2 at the high temperature limit with the free electron gas model, and iii) possible higher values than the Sommerfeld limit for semiconductors. It is also demonstrated that the purely electronic contribution to the thermoelectric figure-of-merit can be directly computed using high-throughput DFT calculations without resorting to the computationally more expensive Boltzmann transport theory to the electronic thermal conductivity and electrical conductivity.


title: Event Detection in Twitter by Weighting Tweet's Features

abstract: In recent years, people spend a lot of time on social networks. They use social networks as a place to comment on personal or public events. Thus, a large amount of information is generated and shared daily in these networks. Using such a massive amount of information can help authorities to react to events accurately and timely. In this study, the social network investigated is Twitter. The main idea of this research is to differentiate among tweets based on some of their features. This study aimed at investigating the performance of event detection by weighting three attributes of tweets; including the followers count, the retweets count, and the user location. The results show that the average execution time and the precision of event detection in the presented method improved 27% and 31%, respectively, than the base method. Another result of this research is the ability to detect all events (including hot events and less important ones) in the presented method.


title: Extensions of several coprime results to good action case

abstract: Let $G$ and $A$ be groups where $A$ acts on $G$ by automorphisms. We say "\textit{the action of $A$ on $G$ is good}" if the equality $% H=[H,B]C_H(B)$ holds for any subgroup $B$ of $A$ and for any $B$-invariant subgroup $H$ of $G$. It is straightforward that every coprime action is a good action. In the present work we extend some results due to Ward, Gross, Shumyatsky, Jabara, and Meng and Guo under coprime action to good action.


title: Learning Variational Word Masks to Improve the Interpretability of Neural Text Classifiers

abstract: To build an interpretable neural text classifier, most of the prior work has focused on designing inherently interpretable models or finding faithful explanations. A new line of work on improving model interpretability has just started, and many existing methods require either prior information or human annotations as additional inputs in training. To address this limitation, we propose the variational word mask (VMASK) method to automatically learn task-specific important words and reduce irrelevant information on classification, which ultimately improves the interpretability of model predictions. The proposed method is evaluated with three neural text classifiers (CNN, LSTM, and BERT) on seven benchmark text classification datasets. Experiments show the effectiveness of VMASK in improving both model prediction accuracy and interpretability.


title: Design of achromatic augmented reality visors based on composite metasurfaces

abstract: A compact near-eye visor (NEV) system that can guide light from a display to the eye could transform augmented reality (AR) technology. Unfortunately, existing implementations of such an NEV either suffer from small field of view or chromatic aberrations. See-through quality and bulkiness further make the overall performance of the visors unsuitable for a seamless user experience. Metasurfaces are an emerging class of nanophotonic elements that can dramatically reduce the size of optical elements while enhancing functionality. In this paper, we present a design of composite metasurfaces for an ultra-compact NEV. We simulate the performance of a proof-of-principle visor corrected for chromatic aberrations while providing a large display field of view (>77{\deg} both horizontally and vertically), good see-through quality (>70% transmission and less than a wavelength root mean-square (RMS) wavefront error over the whole visible wavelength range), as needed for an immersive AR experience.


title: A roadmap for the design of four-terminal spin valves and the extraction of spin diffusion length

abstract: Graphene is a promising substrate for future spintronics devices owing to its remarkable electronic mobility and low spin-orbit coupling. Hanle precession in spin valve devices is commonly used to evaluate the spin diffusion and spin lifetime properties. In this work, we demonstrate that this method is no longer accurate when the distance between inner and outer electrodes is smaller than six times the spin diffusion length, leading to errors as large as 50% for the calculations of the spin figures of merit of graphene. We suggest simple but efficient approaches to circumvent this limitation by addressing a revised version of the Hanle fit function. Complementarily, we provide clear guidelines for the design of four-terminal spin valves able to yield flawless estimations of the spin lifetime and the spin diffusion coefficient.


title: Elliptic stable envelopes and hypertoric loop spaces

abstract: This paper relates the elliptic stable envelopes of a hypertoric variety $X$ with the K-theoretic stable envelopes of the loop hypertoric space, $\widetilde{\mathscr{L}}X$. It thus points to a possible categorification of elliptic stable envelopes.


title: Deposition, diffusion, and nucleation on an interval

abstract: Motivated by nanoscale growth of ultra-thin films, we study a model of deposition, on an interval substrate, of particles that perform Brownian motions until any two meet, when they nucleate to form a static island, which acts as an absorbing barrier to subsequent particles. This is a continuum version of a lattice model studied in the applied literature. We show that the associated interval-splitting process converges in the sparse deposition limit to a Markovian process (in the vein of Brennan and Durrett) governed by a splitting density with a compact Fourier series expansion but, apparently, no simple closed form. We show that the same splitting density governs the fixed deposition rate, large time asymptotics of the normalized gap distribution, so these asymptotics are independent of deposition rate. The splitting density is derived by solving an exit problem for planar Brownian motion from a right-angled triangle, extending work of Smith and Watson.


title: Explaining Convolutional Neural Networks through Attribution-Based Input Sampling and Block-Wise Feature Aggregation

abstract: As an emerging field in Machine Learning, Explainable AI (XAI) has been offering remarkable performance in interpreting the decisions made by Convolutional Neural Networks (CNNs). To achieve visual explanations for CNNs, methods based on class activation mapping and randomized input sampling have gained great popularity. However, the attribution methods based on these techniques provide lower resolution and blurry explanation maps that limit their explanation power. To circumvent this issue, visualization based on various layers is sought. In this work, we collect visualization maps from multiple layers of the model based on an attribution-based input sampling technique and aggregate them to reach a fine-grained and complete explanation. We also propose a layer selection strategy that applies to the whole family of CNN-based models, based on which our extraction framework is applied to visualize the last layers of each convolutional block of the model. Moreover, we perform an empirical analysis of the efficacy of derived lower-level information to enhance the represented attributions. Comprehensive experiments conducted on shallow and deep models trained on natural and industrial datasets, using both ground-truth and model-truth based evaluation metrics validate our proposed algorithm by meeting or outperforming the state-of-the-art methods in terms of explanation ability and visual quality, demonstrating that our method shows stability regardless of the size of objects or instances to be explained.


title: Helicality: An Isomap-based Measure of Octave Equivalence in Audio Data

abstract: Octave equivalence serves as domain-knowledge in MIR systems, including chromagram, spiral convolutional networks, and harmonic CQT. Prior work has applied the Isomap manifold learning algorithm to unlabeled audio data to embed frequency sub-bands in 3-D space where the Euclidean distances are inversely proportional to the strength of their Pearson correlations. However, discovering octave equivalence via Isomap requires visual inspection and is not scalable. To address this problem, we define "helicality" as the goodness of fit of the 3-D Isomap embedding to a Shepherd-Risset helix. Our method is unsupervised and uses a custom Frank-Wolfe algorithm to minimize a least-squares objective inside a convex hull. Numerical experiments indicate that isolated musical notes have a higher helicality than speech, followed by drum hits.


title: Reducing the Dimensionality of Optimal Experiment Design for Magnetic Resonance Fingerprinting

abstract: Nuclear magnetic resonance signal dynamics as described by the Bloch equations are highly complex and often are without closed form solutions. This is especially the case for quantitative magnetic resonance fingerprinting (MRF) scans in which acquisition parameters are varied to efficiently probe the parameter space. As previously demonstrated, optimization of the pattern in which the MRI acquisition parameters are varied relative to the variance in the target quantitative parameters can improve experiment design. This process, however, relies on large scale non-linear optimizations with hundreds to thousands of unknowns. As such, the numerical optimization is extremely time consuming, highly sensitive to guesses, and prone to getting caught in local minima. Here, we describe a method to reduce the complexity of the optimal MRF experiment design by constraining the solutions to span a predetermined low-dimensional subspace. Compared with standard flip angle patterns in calibration phantom experiments, precision in T2 can be increased by optimizing as few as 8 coefficients in less than one minute of computation time.


title: Self-similar groups and holomorphic dynamics: Renormalization, integrability, and spectrum

abstract: In this paper, we explore the spectral measures of the Laplacian on Schreier graphs for several self-similar groups (the Grigorchuk, Lamplighter, and Hanoi groups) from the dynamical and algebro-geometric viewpoints. For these graphs, classical Schur renormalization transformations act on appropriate spectral parameters as rational maps in two variables. We show that the spectra in question can be interpreted as asymptotic distributions of slices by a line of iterated pullbacks of certain algebraic curves under the corresponding rational maps (leading us to a notion of a spectral current). We follow up with a dynamical criterion for discreteness of the spectrum. In case of discrete spectrum, the precise rate of convergence of finite-scale approximands to the limiting spectral measure is given. For the three groups under consideration, the corresponding rational maps happen to be fibered over polynomials in one variable. We reveal the algebro-geometric nature of this integrability phenomenon.


title: Statistical combination of searches for the $\rm{X^{\pm}(5568)}$ state decaying into $\rm{B^0_s \pi^\pm}$

abstract: A statistical combination of the search results for the narrow $\rm{X^{\pm}(5568)}$ resonance decaying into $\rm{B_s^0 \pi^+}$ is reported, based on published results from the ATLAS, CMS, CDF and LHCb Collaborations. A structure in the invariant mass distribution of $\rm{B_s^0 \pi^+}$ has been observed by the D0 Collaboration with a mass value of 5568 MeV but not confirmed by any of the latest searches from the other Collaborations. Limits have been set on the relative production rate $\rm{\rho_X}$ of the $\rm{X^{\pm}(5568)}$ and $\rm{B^0_s}$ states, times the branching ratio for the decay $\rm{X^{\pm}(5568) \rightarrow B^0_s\pi^\pm}$. By applying a statistical combination of limits set by the three LHC experiments, we derive a limit at 95\% Confidence Level of $\rho_X < 0.0092$ for $p_T(B^0_s)>$ 10 GeV, and $\rho_X < 0.0091$ for $p_T(B^0_s)>$ 15 GeV, superseding the previous most stringent upper limits. The effect of including the CDF result in the combination is also discussed.


title: Near-imperceptible Neural Linguistic Steganography via Self-Adjusting Arithmetic Coding

abstract: Linguistic steganography studies how to hide secret messages in natural language cover texts. Traditional methods aim to transform a secret message into an innocent text via lexical substitution or syntactical modification. Recently, advances in neural language models (LMs) enable us to directly generate cover text conditioned on the secret message. In this study, we present a new linguistic steganography method which encodes secret messages using self-adjusting arithmetic coding based on a neural language model. We formally analyze the statistical imperceptibility of this method and empirically show it outperforms the previous state-of-the-art methods on four datasets by 15.3% and 38.9% in terms of bits/word and KL metrics, respectively. Finally, human evaluations show that 51% of generated cover texts can indeed fool eavesdroppers.


title: Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling

abstract: This paper formulates a new task of extracting privacy parameters from a privacy policy, through the lens of Contextual Integrity, an established social theory framework for reasoning about privacy norms. Privacy policies, written by lawyers, are lengthy and often comprise incomplete and vague statements. In this paper, we show that traditional NLP tasks, including the recently proposed Question-Answering based solutions, are insufficient to address the privacy parameter extraction problem and provide poor precision and recall. We describe 4 different types of conventional methods that can be partially adapted to address the parameter extraction task with varying degrees of success: Hidden Markov Models, BERT fine-tuned models, Dependency Type Parsing (DP) and Semantic Role Labeling (SRL). Based on a detailed evaluation across 36 real-world privacy policies of major enterprises, we demonstrate that a solution combining syntactic DP coupled with type-specific SRL tasks provides the highest accuracy for retrieving contextual privacy parameters from privacy statements. We also observe that incorporating domain-specific knowledge is critical to achieving high precision and recall, thus inspiring new NLP research to address this important problem in the privacy domain.


title: Implicit Rank-Minimizing Autoencoder

abstract: An important component of autoencoders is the method by which the information capacity of the latent representation is minimized or limited. In this work, the rank of the covariance matrix of the codes is implicitly minimized by relying on the fact that gradient descent learning in multi-layer linear networks leads to minimum-rank solutions. By inserting a number of extra linear layers between the encoder and the decoder, the system spontaneously learns representations with a low effective dimension. The model, dubbed Implicit Rank-Minimizing Autoencoder (IRMAE), is simple, deterministic, and learns compact latent spaces. We demonstrate the validity of the method on several image generation and representation learning tasks.


title: $\gamma\gamma$ Beam-beam Parameter Study for a 3 TeV PWFA Linear Collider

abstract: Our beam-beam parameter study using beam-beam simulations and PWFA (particle-driven plasma acceleration) beam parameters indicates that at 3 TeV, for examined electron beam lengths ${2~\mu\mathrm{m}\leq\sigma_z\leq 10~\mu\mathrm{m}}$, the total luminosity, as well as the sharpness of the luminosity spectrum for a $\gamma\gamma$ collider are independent of the beam length of the electron beams used to scatter the photons, given that the hourglass effect is avoided. The total luminosity can consequently be maximised by minimising the horizontal and vertical beta functions $\beta_{x,y}^*$ at the interaction point. Furthermore, we performed background studies in GUINEA-PIG where we considered the smallest currently achievable $\beta_{x,y}^*$ combined with PWFA beam parameters. Simulations results show that our proposed parameter set for a 3 TeV PWFA $\gamma\gamma$ collider is able to deliver a total luminosity significantly higher than a $\gamma\gamma$ collider based on CLIC parameters, but gives rise to more background particles.


title: Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration

abstract: We collect several foundational results regarding the interaction between locally compact spaces, probability spaces and probability algebras, and commutative $C^*$-algebras and von Neumann algebras equipped with traces, in the "uncountable" setting in which no separability, metrizability, or standard Borel hypotheses are placed on these spaces and algebras. In particular, we review the Gelfand dualities and Riesz representation theorems available in this setting. We also present a canonical model that represents probability algebras as compact Hausdorff probability spaces in a completely functorial fashion, and apply this model to obtain a canonical disintegration theorem and to readily construct various product measures. These tools are useful in applications to "uncountable" ergodic theory (as demonstrated by the authors and others).


title: Towards Hybrid Classical-Quantum Computation Structures in Wirelessly-Networked Systems

abstract: With unprecedented increases in traffic load in today's wireless networks, design challenges shift from the wireless network itself to the computational support behind the wireless network. In this vein, there is new interest in quantum-compute approaches because of their potential to substantially speed up processing, and so improve network throughput. However, quantum hardware that actually exists today is much more susceptible to computational errors than silicon-based hardware, due to the physical phenomena of decoherence and noise. This paper explores the boundary between the two types of computation---classical-quantum hybrid processing for optimization problems in wireless systems---envisioning how wireless can simultaneously leverage the benefit of both approaches. We explore the feasibility of a hybrid system with a real hardware prototype using one of the most advanced experimentally available techniques today, reverse quantum annealing. Preliminary results on a low-latency, large MIMO system envisioned in the 5G New Radio roadmap are encouraging, showing approximately 2--10X better performance in terms of processing time than prior published results.


title: Storage Degradation Aware Economic Dispatch

abstract: In this paper, we formulate a cycling cost aware economic dispatch problem that co-optimizes generation and storage dispatch while taking into account cycle based storage degradation cost. Our approach exploits the Rainflow cycle counting algorithm to quantify storage degradation for each charging and discharging half-cycle based on its depth. We show that the dispatch is optimal for individual participants in the sense that it maximizes the profit of generators and storage units, under price taking assumptions. We further provide a condition under which the optimal storage response is unique for given market clearing prices. Simulations using data from the New York Independent System Operator (NYISO) illustrate the optimization framework. In particular, they show that the generation-centric dispatch that does not account for storage degradation is insufficient to guarantee storage profitability.


title: Towards Scalable Bayesian Learning of Causal DAGs

abstract: We give methods for Bayesian inference of directed acyclic graphs, DAGs, and the induced causal effects from passively observed complete data. Our methods build on a recent Markov chain Monte Carlo scheme for learning Bayesian networks, which enables efficient approximate sampling from the graph posterior, provided that each node is assigned a small number $K$ of candidate parents. We present algorithmic techniques to significantly reduce the space and time requirements, which make the use of substantially larger values of $K$ feasible. Furthermore, we investigate the problem of selecting the candidate parents per node so as to maximize the covered posterior mass. Finally, we combine our sampling method with a novel Bayesian approach for estimating causal effects in linear Gaussian DAG models. Numerical experiments demonstrate the performance of our methods in detecting ancestor-descendant relations, and in causal effect estimation our Bayesian method is shown to outperform previous approaches.


title: How to Motivate Your Dragon: Teaching Goal-Driven Agents to Speak and Act in Fantasy Worlds

abstract: We seek to create agents that both act and communicate with other agents in pursuit of a goal. Towards this end, we extend LIGHT (Urbanek et al. 2019) -- a large-scale crowd-sourced fantasy text-game -- with a dataset of quests. These contain natural language motivations paired with in-game goals and human demonstrations; completing a quest might require dialogue or actions (or both). We introduce a reinforcement learning system that (1) incorporates large-scale language modeling-based and commonsense reasoning-based pre-training to imbue the agent with relevant priors; and (2) leverages a factorized action space of action commands and dialogue, balancing between the two. We conduct zero-shot evaluations using held-out human expert demonstrations, showing that our agents are able to act consistently and talk naturally with respect to their motivations.


title: Wide-field ultra-narrow-bandpass imaging with the Dragonfly Telephoto Array

abstract: We describe plans for adding a wide-field narrow-band imaging capability to the Dragonfly Telephoto Array. Our plans focus on the development of the `Dragonfly Filter-Tilter', a device which places ultra-narrow bandpass interference filters ($\Delta\lambda \approx 1$ nm) in front of each of the lenses that make up the array. The filters are at the entrance pupil of the optical system, rather than in a converging beam, so their performance is not degraded by a converging light cone. This allows Dragonfly to image with a spectral bandpass that is an order of magnitude narrower than that of telescopes using conventional narrow-band filters, resulting in a large increase in the contrast and detectability of extended low surface brightness line emission. By tilting the filters, the central wavelength of the transmission curve can be tuned over a range of 7 nm, corresponding to a physical distance range of about 20 Mpc of extragalactic targets. A further benefit of our approach is that it allows off-band observations to be obtained at the same time as on-band observations, so systematic errors introduced by rapid sky variability can be removed with high precision. Taken together, these characteristics should give our imaging system the ability to detect extremely faint low-surface brightness line emission. Future versions of the Dragonfly Telephoto Array may have the sensitivity needed to directly image the circumgalactic medium of local galaxies. In this paper, we provide a detailed description of the concept, and present laboratory measurements that are used to verify the key ideas behind the instrument.


title: A Comprehensive Reanalysis of $\textit{Spitzer}$'s 4.5 $\mu$m Phase Curves, and the Phase Variations of the Ultra-hot Jupiters MASCARA-1b and KELT-16b

abstract: We have developed an open-source pipeline for the analysis of \textit{Spitzer}/IRAC channel 1 and 2 time-series photometry, incorporating some of the most popular decorrelation methods. We applied this pipeline to new phase curve observations of ultra-hot Jupiters MASCARA-1b and KELT-16b, and we performed the first comprehensive reanalysis of 15 phase curves. We find that MASCARA-1b and KELT-16b have phase offsets of $6^{+11}_{-11}~^{\circ}$W and $38^{+16}_{-15}~^{\circ}$W, dayside temperatures of $2952^{+100}_{-97}$ K and $3070^{+160}_{-150}$ K, and nightside temperatures of $1300^{+340}_{-340}$ K and $1900^{+430}_{-440}$ K, respectively. We confirm a strong correlation between dayside and irradiation temperatures with a shallower dependency for nightside temperature. We also find evidence that the normalized phase curve amplitude (peak-to-trough divided by eclipse depth) is correlated with stellar effective temperature. In addition, while our different models often retrieve similar parameters, significant differences occasionally arise between them, as well as between our preferred model and the literature values. Nevertheless, our preferred models are consistent with published phase offsets to within $-8\pm21$ degrees ($-1.6\pm3.2$ sigma), and normalized phase curve amplitudes are on average reproduced to within $-0.01\pm0.24$ ($-0.1\pm1.6$ sigma). Finally, we find that BLISS performs best in most cases, but not all; we therefore recommend future analyses consider numerous detector models to ensure an optimal fit and to assess model dependencies.


title: Molecular Fluid Flow in MoS$_2$ Nanoporous Membranes and Hydrodynamics Interactions

abstract: The shift in water security demands improvements in alternative solutions such as saltwater desalination. One of the most efficient technologies in this scope is the reverse osmosis systems, a technology based on a membrane separation process. MoS$_2$ nanoporous membranes are gained attention as a promise for the next-generation high selective and permeable membranes technology. Besides that, one aspect of nanoconfined fluid flow not yet investigated but studied from the fluid mechanics calculations is the impact of induced pressure fields in the water flux in neighboring microfilters, described as hydrodynamic interactions. For this purpose, we studied the water flow through adjacent MoS$_2$ nanopores by running Non-Equilibrium Molecular Dynamics simulations and obtained that in this scale the hydrodynamics interactions are not significant as expected.


title: Ring-Based Electron Cooling System for the EIC

abstract: This report describes a concept of an EIC cooling system, based on a proven induction linac technology with a dc electron beam. The system would operate in a full energy range of proton beams (100 - 270 GeV) and would provide 50-100 A electron beams, circulating in a cooler ring for 5 ms. Every 5 ms a new electron pulse would be injected into the cooler ring to provide continuous cooling at collisions. Operations with a 10-ms cycle is possible but it will reduce the cooling rates by ~30$\%$. The system is capable of delivering the required performance in the entire EIC energy range with emittance cooling times of less than 1-2 hours.


title: The Fundamental Solution for the Heat Equation on the half-line with Drift and Dirichlet Boundary Condition

abstract: By a probabilistic method we provide an explicit fundamental solution of the Cauchy problem associated to the heat equation on the half-line with constant drift and Dirichlet boundary condition at zero.


title: An Analytic and Experimental Treatment of Fiber Optic Chemical Sensing: Results on Evanescent Wave Spectrometry

abstract: Standoff chemical sensing of chemicals and toxic compounds is very desirable for actively monitoring residential, commercial, and industrial spaces. Analytes such as toxic industrial compounds (TICs), chemical warfare agents (CWAs), and environmental pollutants (EPs) can pose serious threats to civilians, warfighters, and the environment. We report on highly sensitive, robust, and inexpensive distributed standoff fiber optic chemical sensors (FOCSs). FOCSs are activated by analytes reaching a sensing region and inducing a change in its optical properties. The information of a spectral response is transmitted by a shift in transmission spectra probed by evanescent waves, corresponding to the detection of an analyte. However, there are many factors that play a role in the implementation and optimization of such fiber sensors. We find it beneficial to construct the theory of general optochemical waveguide sensors to guide the analysis. We apply it to a specific fiber platfom that is robust, broadband, multi-target, scalable, and compatible to texitle fibers and fabrics - a focus of this work. The good agreement between the predicted and measured spectra of FOCSs exposed to Ammonia (NH$_3$) lends support to the analysis. The experiment yields a 1ppm sensitivity, representing the current best in class. The use of NH$_3$ in the test serves as a representative for a larger set of amine-based TICs, CWAs, EPs, and other chemical species, targeted for wide-area distributed coverage and textile-compatible sensors.


title: Optimal Allocation of Gold Standard Testing under Constrained Availability: Application to Assessment of HIV Treatment Failure

abstract: The World Health Organization (WHO) guidelines for monitoring the effectiveness of HIV treatment in resource-limited settings (RLS) are mostly based on clinical and immunological markers (e.g., CD4 cell counts). Recent research indicates that the guidelines are inadequate and can result in high error rates. Viral load (VL) is considered the "gold standard", yet its widespread use is limited by cost and infrastructure. In this paper, we propose a diagnostic algorithm that uses information from routinely-collected clinical and immunological markers to guide a selective use of VL testing for diagnosing HIV treatment failure, under the assumption that VL testing is available only at a certain portion of patient visits. Our algorithm identifies the patient subpopulation, such that the use of limited VL testing on them minimizes a pre-defined risk (e.g., misdiagnosis error rate). Diagnostic properties of our proposal algorithm are assessed by simulations. For illustration, data from the Miriam Hospital Immunology Clinic (RI, USA) are analyzed.


title: Tracing Dark Matter Halos with Satellite Kinematics and the Central Stellar Velocity Dispersion of Galaxies

abstract: It has been suggested that the central stellar velocity dispersion of galaxies can trace dark matter halo mass directly. We test this hypothesis using a complete spectroscopic sample of isolated galaxies surrounded by faint satellite galaxies from the Sloan Digital Sky Survey Data Release 12. We apply a friends-of-friends algorithm with projected linking length $\Delta D < 100$ kpc and radial velocity linking length $\Delta V < 1000$ km s$^{-1}$ to construct our sample. Our sample includes 2807 isolated galaxies with 3417 satellite galaxies at $0.01 < z < 0.14$. We divide the sample into two groups based on the primary galaxy color: red and blue primary galaxies separated at $(g-r)_{0} = 0.85$. The central stellar velocity dispersions of the primary galaxies are proportional to the luminosities and stellar masses of the same galaxies. Stacking the sample based on the central velocity dispersion of the primary galaxies, we derive the velocity dispersions of their satellite galaxies, which trace the dark matter halo mass of the primary galaxies. The system velocity dispersion of the satellite galaxies shows a remarkably tight correlation with the central velocity dispersion of the primary galaxies for both red and blue samples. In particular, the slope of the relation is identical to 1 for red primary systems. This tight relation suggests that the central stellar velocity dispersion of galaxies is indeed an efficient and robust tracer for dark matter halo mass. We provide empirical relations between the central stellar velocity dispersion and the dark matter halo mass.


title: Active Learning for Bayesian 3D Hand Pose Estimation

abstract: We propose a Bayesian approximation to a deep learning architecture for 3D hand pose estimation. Through this framework, we explore and analyse the two types of uncertainties that are influenced either by data or by the learning capability. Furthermore, we draw comparisons against the standard estimator over three popular benchmarks. The first contribution lies in outperforming the baseline while in the second part we address the active learning application. We also show that with a newly proposed acquisition function, our Bayesian 3D hand pose estimator obtains lowest errors with the least amount of data. The underlying code is publicly available at https://github.com/razvancaramalau/al_bhpe.


title: Inference of neutrino flavor evolution through data assimilation and neural differential equations

abstract: The evolution of neutrino flavor in dense environments such as core-collapse supernovae and binary compact object mergers constitutes an important and unsolved problem. Its solution has potential implications for the dynamics and heavy-element nucleosynthesis in these environments. In this paper, we build upon recent work to explore inference-based techniques for estimation of model parameters and neutrino flavor evolution histories. We combine data assimilation, ordinary differential equation solvers, and neural networks to craft an inference approach tailored for non-linear dynamical systems. Using this architecture, and a simple two-neutrino, two-flavor model, we test various optimization algorithms with the help of four experimental setups. We find that employing this new architecture, together with evolutionary optimization algorithms, accurately captures flavor histories in the four experiments. This work provides more options for extending inference techniques to large numbers of neutrinos.


title: PHASED: Phase-Aware Submodularity-Based Energy Disaggregation

abstract: Energy disaggregation is the task of discerning the energy consumption of individual appliances from aggregated measurements, which holds promise for understanding and reducing energy usage. In this paper, we propose PHASED, an optimization approach for energy disaggregation that has two key features: PHASED (i) exploits the structure of power distribution systems to make use of readily available measurements that are neglected by existing methods, and (ii) poses the problem as a minimization of a difference of submodular functions. We leverage this form by applying a discrete optimization variant of the majorization-minimization algorithm to iteratively minimize a sequence of global upper bounds of the cost function to obtain high-quality approximate solutions. PHASED improves the disaggregation accuracy of state-of-the-art models by up to 61% and achieves better prediction on heavy load appliances.


title: Automatic and Efficient Variability-Aware Lifting of Functional Programs

abstract: A software analysis is a computer program that takes some representation of a software product as input and produces some useful information about that product as output. A software product line encompasses \emph{many} software product variants, and thus existing analyses can be applied to each of the product variations individually, but not to the entire product line as a whole. Enumerating all product variants and analyzing them one by one is usually intractable due to the combinatorial explosion of the number of product variants with respect to product line features. Several software analyses (e.g., type checkers, model checkers, data flow analyses) have been redesigned/re-implemented to support variability. This usually requires a lot of time and effort, and the variability-aware version of the analysis might have new errors/bugs that do not exist in the original one. Given an analysis program written in a functional language based on PCF, in this paper we present two approaches to transforming (lifting) it into a semantically equivalent variability-aware analysis. A light-weight approach (referred to as \emph{shallow lifting}) wraps the analysis program into a variability-aware version, exploring all combinations of its input arguments. Deep lifting, on the other hand, is a program rewriting mechanism where the syntactic constructs of the input program are rewritten into their variability-aware counterparts. Compositionally this results in an efficient program semantically equivalent to the input program, modulo variability. We present the correctness criteria for functional program lifting, together with correctness proof sketches of our program transformations. We evaluate our approach on a set of program analyses applied to the BusyBox C-language product line.


title: The Episodically Buckling and Collapsing Continental Crust in Subduction Zones

abstract: We discover a remarkable correlation between the inter-tremor time interval and the slenderness ratio of the overriding plate in subduction zones all over the world. In order to understand this phenomenon better, we perform numerical simulations of 3D deformation. The numerical buckling studies show that critical load and slenderness ratio indeed have an inverse nonlinear relation between them -- identical to the classical Euler's critical load relation, and closely resemble the relationship observed between the inter-tremor time interval and the slenderness ratio of the overriding plate. From the above analysis, we conclude that the observed relation is the result of buckling of the overriding continental plate. In addition to the above numerical analysis, we analyze the surficial 3D spatio-temporal displacements of the overriding plates in Cascadia and Alaska using 3-component GPS data. We find that these deformations are consistent with the buckling of the overriding continental crust. Based on these novel observations and guided by numerous existing scientific observations and findings, we propose an Episodic Buckling and Collapse model of subduction zones, wherein periodic geodetic changes and tectonic-tremor activity, result from the episodic buckling of the overriding continental crust and its rapid collapse on the subducting oceanic slab. According to this model, geodetic measurements, previously inferred as slow slip, are the surficial expressions of slowly-evolving buckling and rapid collapse of the overriding plate, while tremor swarms result from the striking of the collapsing overriding plate on the subducting slab (as opposed to slipping or shearing).


title: MHD Turbulence: A Biased Review

abstract: This review puts the developments of the last few years in the context of the canonical time line (Kolmogorov to Iroshnikov-Kraichnan to Goldreich-Sridhar to Boldyrev). It is argued that Beresnyak's objection that Boldyrev's alignment theory violates the RMHD rescaling symmetry can be reconciled with alignment if the latter is understood as an intermittency effect. Boldyrev's scalings, recovered in this interpretation, are thus an example of a physical theory of intermittency in a turbulent system. Emergence of aligned structures brings in reconnection physics, so the theory of MHD turbulence intertwines with the physics of tearing and current-sheet disruption. Recent work on this by Loureiro, Mallet et al. is reviewed and it is argued that we finally have a reasonably complete picture of MHD cascade all the way to the dissipation scale. This picture appears to reconcile Beresnyak's Kolmogorov scaling of the dissipation cutoff with Boldyrev's aligned cascade. These ideas also enable some progress in understanding saturated MHD dynamo, argued to be controlled by reconnection and to contain, at small scales, a tearing-mediated cascade similar to its strong-mean-field counterpart. On the margins of this core narrative, standard weak-MHD-turbulence theory is argued to require adjustment - and a scheme for it is proposed - to take account of the part that a spontaneously emergent 2D condensate plays in mediating the Alfven-wave cascade. This completes the picture of the MHD cascade at large scales. A number of outstanding issues are surveyed, concerning imbalanced MHD turbulence (for which a new theory is proposed), residual energy, subviscous and decaying regimes of MHD turbulence (where reconnection again features prominently). Finally, it is argued that the natural direction of research is now away from MHD and into kinetic territory.

categories: physics.plasm-ph astro-ph.GA astro-ph.HE nlin.CD physics.space-ph


title: Dissipative dynamics in isolated quantum spin chains after a local quench

abstract: We provide numerical evidence that after a local quench in an isolated infinite quantum spin chain, the quantum state locally relaxes to the ground state of the post-quenched Hamiltonian, i.e. dissipates. This is a consequence of the unitary quantum dynamics. A mechanism similar to the eigenstate thermalization hypothesis is shown to be responsible for the dissipation observed. We also demonstrate that integrability obstructs dissipation. The numerical simulations are done directly in the thermodynamic limit with a time-evolution algorithm based on matrix product states. The area law of entanglement entropy is observed to hold after the local quench. As a result, the simulations can be performed for long times with small bond dimensions. Various local quenches on the Ising chain and the three-state Potts chain are studied.


title: Minimal area of Finsler disks with minimizing geodesics

abstract: We show that the Holmes--Thompson area of every Finsler disk of radius $r$ whose interior geodesics are length-minimizing is at least $\frac{6}{\pi} r^2$. Furthermore, we construct examples showing that the inequality is sharp and observe that the equality case is attained by a non-rotationally symmetric metric. This contrasts with Berger's conjecture in the Riemannian case, which asserts that the round hemisphere is extremal. To prove our theorem we discretize the Finsler metric using random geodesics. As an auxiliary result, we show that the integral geometry formulas of Blaschke and Santal\'o hold on Finsler manifolds with almost no trapped geodesics.


title: Learned Dual-View Reflection Removal

abstract: Traditional reflection removal algorithms either use a single image as input, which suffers from intrinsic ambiguities, or use multiple images from a moving camera, which is inconvenient for users. We instead propose a learning-based dereflection algorithm that uses stereo images as input. This is an effective trade-off between the two extremes: the parallax between two views provides cues to remove reflections, and two views are easy to capture due to the adoption of stereo cameras in smartphones. Our model consists of a learning-based reflection-invariant flow model for dual-view registration, and a learned synthesis model for combining aligned image pairs. Because no dataset for dual-view reflection removal exists, we render a synthetic dataset of dual-views with and without reflections for use in training. Our evaluation on an additional real-world dataset of stereo pairs shows that our algorithm outperforms existing single-image and multi-image dereflection approaches.


title: Electron acceleration in laser turbulence

abstract: We demonstrate that electrons can be efficiently accelerated to high energy in spatially non-uniform, intense laser fields. Laser non-uniformities occur when a perfect plane wave reflects off a randomly perturbed surface. By solving for three-dimensional particle trajectories in the electromagnetic field of a randomly perturbed laser, we are able to generate electron energy spectra with temperatures well above the ponderomotive scaling, as observed in many experiments. The simulations show that high electron energies can be achieved by the laser fields alone, without the need for plasma fields. The characteristic temperatures of the electron spectra are determined by the characteristic features of the laser field turbulence. The process is very rapid, occurring on 10-50fs timescales, indicating it is likely a dominant acceleration mechanism in short-pulse laser-solid interactions when the intensity is at or below the relativistic threshold. A simple analytic model shows how electrons can reach high energy by undergoing repeated acceleration in laser wavelets for short periods of time.


title: BCNN: A Binary CNN with All Matrix Ops Quantized to 1 Bit Precision

abstract: This paper describes a CNN where all CNN style 2D convolution operations that lower to matrix matrix multiplication are fully binary. The network is derived from a common building block structure that is consistent with a constructive proof outline showing that binary neural networks are universal function approximators. 71.24% top 1 accuracy on the 2012 ImageNet validation set was achieved with a 2 step training procedure and implementation strategies optimized for binary operands are provided.


title: The Stellar Merger Scenario for Black Holes in the Pair-instability Gap

abstract: The recent detection of GW190521 stimulated ideas on how to populate the predicted black hole pair-instability mass gap. One proposed scenario is the dynamical merger of two stars below the pair instability regime forming a star with a small core and an over-sized envelope. We explore this scenario with detailed stellar evolution calculations, starting with ad-hoc initial conditions enforcing no core growth during the merger. We outline the main challenges this scenario has to overcome, in particular the requirement to retain enough of its mass at merger time, in the subsequent evolution, and at core-collapse. We found that these massive merger products are likely helium-rich, and spend most of their remaining lifetime within regions of the Herzsprung-Russell diagram where envelope instabilities akin to luminous blue variable (LBV) eruptions are expected. An energetic estimate of the amount of mass loss neglecting the back-reaction of the star suggests that the total amount of mass that can be removed at low metallicity is . 1 M . This is small enough that at core-collapse our models are retaining sufficient mass to form black holes in the pair-instability gap similar to the recent ones detected by LIGO/Virgo. However, mass loss at the time of merger and the neutrino-driven mass loss at core collapse still need to be quantified for these models in order to confirm the viability of this scenario.


title: Quadrature Domains and the Real Quadratic Family

abstract: We study several classes of holomorphic dynamical systems associated with quadrature domains. Our main result is that real-symmetric polynomials in the principal hyperbolic component of the Mandelbrot set can be conformally mated with a congruence subgroup of $\textrm{PSL}(2,\mathbb{Z})$, and that this conformal mating is the Schwarz function of a simply connected quadrature domain.


title: Periods of Hodge cycles and special values of the Gauss' hypergeometric function

abstract: We compute periods of perturbations of a Fermat variety. This allows us to consider a subspace of the Hodge cycles defined by "simple" arithmetic conditions. We explore some examples and give an upper bound for the dimension of this subspace. As an application, we find explicit expressions involving some Gauss' hypergeometric functions which are algebraic over the field of rational functions in one variable.


title: Performance Analysis and Optimization of NOMA with HARQ for Short Packet Communications in Massive IoT

abstract: In this paper, we consider the massive non-orthogonal multiple access (NOMA) with hybrid automatic repeat request (HARQ) for short packet communications. To reduce the latency, each user can perform one re-transmission provided that the previous packet was not decoded successfully. The system performance is evaluated for both coordinated and uncoordinated transmissions. We first develop a Markov model (MM) to analyze the system dynamics and characterize the packet error rate (PER) and throughput of each user in the coordinated scenario. The power levels are then optimized for two scenarios, including the power constrained and reliability constrained scenarios. A simple yet efficient dynamic cell planning is also designed for the uncoordinated scenario. Numerical results show that both coordinated and uncoordinated NOMA-HARQ with a limited number of retransmissions can achieve the desired level of reliability with the guaranteed latency using a proper power control strategy. Results also show that NOMA-HARQ achieves a higher throughput compared to the orthogonal multiple access scheme with HARQ under the same average received power constraint at the base station.


title: Quantum Entanglement and Thermal Behavior in Charged-Current Weak Interactions

abstract: We show that quantum entanglement between causally separated regions of a nucleon in antineutrino-nucleon scattering manifests itself as a thermal component in the resulting pion momentum distribution. For antineutrino scattering coherently from the (carbon) nucleus as a whole, this thermal component is absent, as expected by our quantum entanglement thermalization proposition. These phenomena, which have been observed in proton-proton collisions at the Large Hadron Collider, and in electromagnetic deep inelastic scattering, are now for the first time shown to exist in electroweak interactions as well.


title: Nearest Neighbor Machine Translation

abstract: We introduce $k$-nearest-neighbor machine translation ($k$NN-MT), which predicts tokens with a nearest neighbor classifier over a large datastore of cached examples, using representations from a neural translation model for similarity search. This approach requires no additional training and scales to give the decoder direct access to billions of examples at test time, resulting in a highly expressive model that consistently improves performance across many settings. Simply adding nearest neighbor search improves a state-of-the-art German-English translation model by 1.5 BLEU. $k$NN-MT allows a single model to be adapted to diverse domains by using a domain-specific datastore, improving results by an average of 9.2 BLEU over zero-shot transfer, and achieving new state-of-the-art results -- without training on these domains. A massively multilingual model can also be specialized for particular language pairs, with improvements of 3 BLEU for translating from English into German and Chinese. Qualitatively, $k$NN-MT is easily interpretable; it combines source and target context to retrieve highly relevant examples.


title: A Survey of the State of Explainable AI for Natural Language Processing

abstract: Recent years have seen important advances in the quality of state-of-the-art models, but this has come at the expense of models becoming less interpretable. This survey presents an overview of the current state of Explainable AI (XAI), considered within the domain of Natural Language Processing (NLP). We discuss the main categorization of explanations, as well as the various ways explanations can be arrived at and visualized. We detail the operations and explainability techniques currently available for generating explanations for NLP model predictions, to serve as a resource for model developers in the community. Finally, we point out the current gaps and encourage directions for future work in this important research area.


title: Faster Binary Embeddings for Preserving Euclidean Distances

abstract: We propose a fast, distance-preserving, binary embedding algorithm to transform a high-dimensional dataset $\mathcal{T}\subseteq\mathbb{R}^n$ into binary sequences in the cube $\{\pm 1\}^m$. When $\mathcal{T}$ consists of well-spread (i.e., non-sparse) vectors, our embedding method applies a stable noise-shaping quantization scheme to $A x$ where $A\in\mathbb{R}^{m\times n}$ is a sparse Gaussian random matrix. This contrasts with most binary embedding methods, which usually use $x\mapsto \mathrm{sign}(Ax)$ for the embedding. Moreover, we show that Euclidean distances among the elements of $\mathcal{T}$ are approximated by the $\ell_1$ norm on the images of $\{\pm 1\}^m$ under a fast linear transformation. This again contrasts with standard methods, where the Hamming distance is used instead. Our method is both fast and memory efficient, with time complexity $O(m)$ and space complexity $O(m)$. Further, we prove that the method is accurate and its associated error is comparable to that of a continuous valued Johnson-Lindenstrauss embedding plus a quantization error that admits a polynomial decay as the embedding dimension $m$ increases. Thus the length of the binary codes required to achieve a desired accuracy is quite small, and we show it can even be compressed further without compromising the accuracy. To illustrate our results, we test the proposed method on natural images and show that it achieves strong performance.