title: Unbounded Kobayashi hyperbolic domains in $\mathbb C^n$

abstract: We first give a sufficient condition, issued from pluripotential theory, for an unbounded domain in the complex Euclidean space $\mathbb C^n$ to be Kobayashi hyperbolic. Then, we construct an example of a rigid pseudoconvex domain in $\mathbb C^3$ that is Kobayashi hyperbolic and has a nonempty core. In particular, this domain is not biholomorphic to a bounded domain in $\mathbb C^3$ and the mentioned above sufficient condition for Kobayashi hyperbolicity is not necessary.


title: Self-consistent GW method: O(N) algorithm for polarizability and self energy

abstract: An efficient implementation of the self-consistent GW method in the FlapwMBPT code (https://www.bnl.gov/cmpmsd/flapwmbpt/) is presented. It features the evaluation of polarizability and self-energy which scales linearly with respect to the system size. Altogether the computational time scaling was measured to be between linear and quadratic in the applications to silicon supercells with up to 72 atoms. Application to such materials as paracostibite CoSbS, supercells of La$_{2}$CuO$_{4}$ (up to 56 atoms) and SmB$_{6}$ illustrate the potential of the approach in computational material science.


title: Flexible placements of periodic graphs in the plane

abstract: Given a periodic graph, we wish to determine via combinatorial methods whether it has periodic embeddings in the plane that -- via motions that preserve edge-lengths and periodicity -- can be continuously deformed into another non-congruent embedding of the graph. By introducing NBAC-colourings for the corresponding quotient gain graphs, we identify which periodic graphs have flexible embeddings in the plane when the lattice of periodicity is fixed. We further characterise with NBAC-colourings which 1-periodic graphs have flexible embeddings in the plane with a flexible lattice of periodicity, and characterise in special cases which 2-periodic graphs have flexible embeddings in the plane with a flexible lattice of periodicity.


title: Quotients of complex algebraic supergroups

abstract: In this paper we prove that the etale sheafification of the functor arising from the quotient of an algebraic supergroup by a closed subsupergroup is representable by a smooth superscheme.


title: Prevalence of code mixing in semi-formal patient communication in low resource languages of South Africa

abstract: In this paper we address the problem of code-mixing in resource-poor language settings. We examine data consisting of 182k unique questions generated by users of the MomConnect helpdesk, part of a national scale public health platform in South Africa. We show evidence of code-switching at the level of approximately 10% within this dataset -- a level that is likely to pose challenges for future services. We use a natural language processing library (Polyglot) that supports detection of 196 languages and attempt to evaluate its performance at identifying English, isiZulu and code-mixed questions.


title: Revivals imply quantum many-body scars

abstract: We derive general results relating revivals in the dynamics of quantum many-body systems to the entanglement properties of energy eigenstates. For a D-dimensional lattice system of N sites initialized in a low-entangled and short-range correlated state, our results show that a perfect revival of the state after a time at most poly(N) implies the existence of "quantum many-body scars", whose number grows at least as the square root of N up to poly-logarithmic factors. These are energy eigenstates with energies placed in an equally-spaced ladder and with R\'enyi entanglement entropy scaling as log(N) plus an area law term for any region of the lattice. This shows that quantum many-body scars are a necessary condition for revivals, independent of particularities of the Hamiltonian leading to them. We also present results for approximate revivals, for revivals of expectation values of observables and prove that the duration of revivals of states has to become vanishingly short with increasing system size.


title: Dipole oscillations of fermionic superfluids along the BEC-BCS crossover in disordered potentials

abstract: We investigate dipole oscillations of ultracold Fermi gases along the BEC-BCS crossover through disordered potentials. We observe a disorder-induced damping of oscillations as well as a change of the fundamental Kohn-mode frequency. The measurement results are compared to numerical density matrix renormalization group calculations as well as to a three-dimensional simulation of non-interacting fermions. Experimentally, we find a disorder-dependent damping, which grows approximately with the second power of the disorder strength. Moreover, we observe experimentally a change of oscillation frequency which deviates from the expected behavior of a damped harmonic oscillator on a percent level. While this behavior is qualitatively expected from the theoretical models used, quantitatively the experimental observations show a significantly stronger effect than predicted by theory. Furthermore, while the frequency shift seems to scale differently with interaction strength in the BEC versus BCS regime, the damping coefficient apparently decreases with the strength of interaction, but not with the sign, which changes for BEC and BCS type Fermi gases. This is surprising, as the dominant damping mechanisms are expected to be different in the two regimes.


title: Design of a Ballistically-Launched Foldable Multirotor

abstract: The operation of multirotors in crowded environments requires a highly reliable takeoff method, as failures during takeoff can damage more valuable assets nearby. The addition of a ballistic launch system imposes a deterministic path for the multirotor to prevent collisions with its environment, as well as increases the multirotor's range of operation and allows deployment from an unsteady platform. In addition, outfitting planetary rovers or entry vehicles with such deployable multirotors has the potential to greatly extend the data collection capabilities of a mission. A proof-of-concept multirotor aircraft has been developed, capable of transitioning from a ballistic launch configuration to a fully controllable flight configuration in midair after launch. The transition is accomplished via passive unfolding of the multirotor arms, triggered by a nichrome burn wire release mechanism. The design is 3D printable, launches from a three-inch diameter barrel, and has sufficient thrust to carry a significant payload. The system has been fabricated and field tested from a moving vehicle up to 50mph to successfully demonstrate the feasibility of the concept and experimentally validate the design's aerodynamic stability and deployment reliability.


title: Neural Network Processing Neural Networks: An efficient way to learn higher order functions

abstract: Functions are rich in meaning and can be interpreted in a variety of ways. Neural networks were proven to be capable of approximating a large class of functions[1]. In this paper, we propose a new class of neural networks called "Neural Network Processing Neural Networks" (NNPNNs), which inputs neural networks and numerical values, instead of just numerical values. Thus enabling neural networks to represent and process rich structures.


title: On the construction of closed nonconvex nonsoliton ancient mean curvature flows

abstract: We construct closed, embedded, ancient mean curvature flows in each dimension $n\ge 2$ with the topology of $S^1 \times S^{n-1}$. These examples are not mean convex and not solitons. They are constructed by analyzing perturbations of the self-shrinking doughnuts constructed by Drugan and Nguyen (or, alternatively, Angenent's self shrinking torus when $n =2$)


title: Federated Learning for Edge Networks: Resource Optimization and Incentive Mechanism

abstract: Recent years have witnessed a rapid proliferation of smart Internet of Things (IoT) devices. IoT devices with intelligence require the use of effective machine learning paradigms. Federated learning can be a promising solution for enabling IoT-based smart applications. In this paper, we present the primary design aspects for enabling federated learning at network edge. We model the incentive-based interaction between a global server and participating devices for federated learning via a Stackelberg game to motivate the participation of the devices in the federated learning process. We present several open research challenges with their possible solutions. Finally, we provide an outlook on future research.


title: Sparse Linear Discriminant Analysis for Multi-view Structured Data

abstract: Classification methods that leverage the strengths of data from multiple sources (multi-view data) simultaneously have enormous potential to yield more powerful findings than two step methods: association followed by classification. We propose two methods, sparse integrative discriminant analysis (SIDA) and SIDA with incorporation of network information (SIDANet), for joint association and classification studies. The methods consider the overall association between multi-veiw data, and the separation within each view in choosing discriminant vectors that are associated and optimally separate subjects into different classes. SIDANet is among the first methods to incorporate prior structural information in joint association and classification studies. It uses the normalized Laplacian of a graph to smooth coefficients of predictor variables, thus encouraging selection of predictors that are connected and behave similarly. We demonstrate the effectiveness of our methods on a set of synthetic and real datasets. Our findings underscore the benefit of joint association and classification methods if the goal is to correlate multi-view data and to perform classification.


title: Euclidean Matchings in Ultra-Dense Networks

abstract: In order to study the fundamental limits of network densification, we look at the spatial spectral efficiency gain achieved when densely deployed communication devices embedded in the $d$-dimensional Euclidean space are optimally `matched' in near-neighbour pairs. In light of recent success in probabilisitc modelling, we study devices distributed uniformly at random in the unit cube which enter into one-on-one contracts with each another. This is known in statistical physics as an Euclidean `matching'. Communication channels each have their own maximal data capacity given by Shannon's theorem. The length of the shortest matching then corresponds to the maximum one-hop capacity on those points. Interference is then added as a further constraint, which is modelled using shapes as guard regions, such as a disk, diametral disk, or equilateral triangle, matched to points, in a similar light to computational geometry. The disk, for example, produces the Delaunay triangulation, while the diametral disk produces a beta-skeleton. We also discuss deriving the scaling limit of both models using the replica method from the physics of disordered systems.


title: Lemniscate and Exponential Starlikeness of Regular Coulomb Wave Functions

abstract: In this study, a normalized form of regular Coulomb wave function is considered. By using differential subordination method due to Miller and Mocanu, we determine some conditions on the parameters such that the normalized regular Coulomb wave function is lemniscate starlike and exponenetial starlike in the open unit disk, respectively.


title: Using symbolic networks to analyse dynamical properties of disease outbreaks

abstract: We introduce a new methodology to analyze the evolution of epidemic time series, which is based on the construction of epidemic networks. First, we translate the time series into ordinal patterns containing information about local fluctuations of the disease prevalence. Each pattern is associated to a node of a network, whose (directed) connections arise from consecutive appearances in the series. The analysis of the network structure and the role of each pattern, allows classifying them according to the enhancement of entropy/complexity along the series, giving a different point of view about the evolution of a given disease.


title: Long-range Event-level Prediction and Response Simulation for Urban Crime and Global Terrorism with Granger Networks

abstract: Large-scale trends in urban crime and global terrorism are well-predicted by socio-economic drivers, but focused, event-level predictions have had limited success. Standard machine learning approaches are promising, but lack interpretability, are generally interpolative, and ineffective for precise future interventions with costly and wasteful false positives. Here, we are introducing Granger Network inference as a new forecasting approach for individual infractions with demonstrated performance far surpassing past results, yet transparent enough to validate and extend social theory. Considering the problem of predicting crime in the City of Chicago, we achieve an average AUC of ~90\% for events predicted a week in advance within spatial tiles approximately $1000$ ft across. Instead of pre-supposing that crimes unfold across contiguous spaces akin to diffusive systems, we learn the local transport rules from data. As our key insights, we uncover indications of suburban bias -- how law-enforcement response is modulated by socio-economic contexts with disproportionately negative impacts in the inner city -- and how the dynamics of violent and property crimes co-evolve and constrain each other -- lending quantitative support to controversial pro-active policing policies. To demonstrate broad applicability to spatio-temporal phenomena, we analyze terror attacks in the middle-east in the recent past, and achieve an AUC of ~80% for predictions made a week in advance, and within spatial tiles measuring approximately 120 miles across. We conclude that while crime operates near an equilibrium quickly dissipating perturbations, terrorism does not. Indeed terrorism aims to destabilize social order, as shown by its dynamics being susceptible to run-away increases in event rates under small perturbations.


title: 2-nearly Platonic graphs are unique

abstract: A 2-nearly Platonic graph of type (k|d) is a k-regular planar graph with f faces, f-2 of which are of degree d and the remaining two are of degrees m_1;m_2, both different from d. Such a graph is called balanced if m_1=m_2. We show that all 2-nearly Platonic graphs are necessarily balanced. This proves a recent conjecture by Keith, Froncek, and Kreher.


title: Air-Writing Translater: A Novel Unsupervised Domain Adaptation Method for Inertia-Trajectory Translation of In-air Handwriting

abstract: As a new way of human-computer interaction, inertial sensor based in-air handwriting can provide a natural and unconstrained interaction to express more complex and richer information in 3D space. However, most of the existing in-air handwriting work is mainly focused on handwritten character recognition, which makes these work suffer from poor readability of inertial signal and lack of labeled samples. To address these two problems, we use unsupervised domain adaptation method to reconstruct the trajectory of inertial signal and generate inertial samples using online handwritten trajectories. In this paper, we propose an AirWriting Translater model to learn the bi-directional translation between trajectory domain and inertial domain in the absence of paired inertial and trajectory samples. Through semantic-level adversarial training and latent classification loss, the proposed model learns to extract domain-invariant content between inertial signal and trajectory, while preserving semantic consistency during the translation across the two domains. We carefully design the architecture, so that the proposed framework can accept inputs of arbitrary length and translate between different sampling rates. We also conduct experiments on two public datasets: 6DMG (in-air handwriting dataset) and CT (handwritten trajectory dataset), the results on the two datasets demonstrate that the proposed network successes in both Inertia-to Trajectory and Trajectory-to-Inertia translation tasks.


title: Extracting 2D weak labels from volume labels using multiple instance learning in CT hemorrhage detection

abstract: Multiple instance learning (MIL) is a supervised learning methodology that aims to allow models to learn instance class labels from bag class labels, where a bag is defined to contain multiple instances. MIL is gaining traction for learning from weak labels but has not been widely applied to 3D medical imaging. MIL is well-suited to clinical CT acquisitions since (1) the highly anisotropic voxels hinder application of traditional 3D networks and (2) patch-based networks have limited ability to learn whole volume labels. In this work, we apply MIL with a deep convolutional neural network to identify whether clinical CT head image volumes possess one or more large hemorrhages (> 20cm$^3$), resulting in a learned 2D model without the need for 2D slice annotations. Individual image volumes are considered separate bags, and the slices in each volume are instances. Such a framework sets the stage for incorporating information obtained in clinical reports to help train a 2D segmentation approach. Within this context, we evaluate the data requirements to enable generalization of MIL by varying the amount of training data. Our results show that a training size of at least 400 patient image volumes was needed to achieve accurate per-slice hemorrhage detection. Over a five-fold cross-validation, the leading model, which made use of the maximum number of training volumes, had an average true positive rate of 98.10%, an average true negative rate of 99.36%, and an average precision of 0.9698. The models have been made available along with source code to enabled continued exploration and adaption of MIL in CT neuroimaging.


title: On derivatives of the energy with respect to total electron number and orbital occupation numbers. A critique of Janak's theorem

abstract: The relation between the derivative of the energy with respect to occupation number and the orbital energy, $\partial E/\partial n_i = \epsilon_i$, was first introduced by Slater for approximate total energy expressions such as Hartree-Fock and exchange-only LDA, and his derivation holds for hybrid functionals as well. We argue that Janak's extension of this relation to (exact) Kohn-Sham density functional theory is not valid. The reason is the nonexistence of systems with noninteger electron number, and therefore of the derivative of the total energy with respect to electron number, $\partial E/\partial N$. How to handle the lack of a defined derivative $\partial E/\partial N$ at the integer point, is demonstrated using the Lagrange multiplier technique to enforce constraints. The well-known straight-line behavior of the energy as derived from statistical physical considerations [J.P. Perdew, R. G. Parr, M. Levy and J.J. Balduz, Phys. Rev. Lett. 49, 1691 (1982)] for the average energy of a molecule in a macroscopic sample ("dilute gas") as a function of average electron number is not a property of a single molecule at $T=0$. One may choose to represent the energy of a molecule in the nonphysical domain of noninteger densities by a straight-line functional, but the arbitrariness of this choice precludes the drawing of physical conclusions from it.

categories: physics.chem-ph cond-mat.other physics.atm-clus quant-ph


title: Relative contributions of Shakespeare and Fletcher in Henry VIII: An Analysis Based on Most Frequent Words and Most Frequent Rhythmic Patterns

abstract: The versified play Henry VIII is nowadays widely recognized to be a collaborative work not written solely by William Shakespeare. We employ combined analysis of vocabulary and versification together with machine learning techniques to determine which authors also took part in the writing of the play and what were their relative contributions. Unlike most previous studies, we go beyond the attribution of particular scenes and use the rolling attribution approach to determine the probabilities of authorship of pieces of texts, without respecting the scene boundaries. Our results highly support the canonical division of the play between William Shakespeare and John Fletcher proposed by James Spedding, but also bring new evidence supporting the modifications proposed later by Thomas Merriam.


title: On Irreducible Symplectic Varieties of $\mathrm{K3}^{[n]}$-type in Positive Characteristic

abstract: We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties. Our main result is a generalization of Ogus' crystalline Torelli theorem for supersingular K3 surfaces. For applications, we answer a slight variant of a question asked by F. Charles on moduli spaces of sheaves on K3 surfaces and give a crystalline Torelli theorem for supersingular cubic fourfolds.


title: Semigroup identities of supertropical matrices

abstract: We prove that, for any $n$, the monoid of all $n \times n$ supertropical matrices extending tropical matrices satisfies nontrivial semigroup identities. These identities are carried over to walks on labeled-weighted digraphs with double arcs.


title: Electric field effect in heat transfer in 2D devices

abstract: We calculate heat transfer between a 2D sheet (e.g. graphene) and a dielectric in presence of a gate voltage. The gate potential induces surface charge densities on the sheet and dielectric, which results in electric field, which is coupled to the surface displacements and, as a consequence, resulting an additional contributions to the radiative heat transfer. The electrostatic and van der Waals interactions between the surface displacement result in the phonon heat transfer, which we calculate taking into account the nonlocality of these interactions. Numerical calculations are presented for heat transfer between graphene and a SiO$_2$ substrate.


title: Strong Self-Concordance and Sampling

abstract: Motivated by the Dikin walk, we develop aspects of an interior-point theory for sampling in high dimension. Specifically, we introduce a symmetric parameter and the notion of strong self-concordance. These properties imply that the corresponding Dikin walk mixes in $\tilde{O}(n\bar{\nu})$ steps from a warm start in a convex body in $\mathbb{R}^{n}$ using a strongly self-concordant barrier with symmetric self-concordance parameter $\bar{\nu}$. For many natural barriers, $\bar{\nu}$ is roughly bounded by $\nu$, the standard self-concordance parameter. We show that this property and strong self-concordance hold for the Lee-Sidford barrier. As a consequence, we obtain the first walk to mix in $\tilde{O}(n^{2})$ steps for an arbitrary polytope in $\mathbb{R}^{n}$. Strong self-concordance for other barriers leads to an interesting (and unexpected) connection -- for the universal and entropic barriers, it is implied by the KLS conjecture.


title: Uniformly convex renormings and generalized cotypes

abstract: We are concerned about improvements of the modulus of convexity by renormings of a super-reflexive Banach space. Typically optimal results are beyond Pisier's power functions bounds $t^p$, with $p \geq 2$, and they are related to the notion of generalized cotype. We obtain an explicit upper bound for all the modulus of convexity of equivalent renormings and we show that if this bound is equivalent to $t^2$, the best possible, then the space admits a renorming with modulus of power type $2$. We show that a UMD space admits a renormings with modulus of convexity bigger, up to a multiplicative constant, than its cotype. We also prove the super-multiplicativity of the supremum of the set of cotypes.


title: A generalization of a result of Hille on analytic implicit functions

abstract: Hille in 1959 gave a stronger form for the classical implicit function theorem of Cauchy for equations of the type $y = \psi(x,y)$, $x,y$ real or complex, $\psi$ analytic with a condition which determines a radius of convergence of the resulting series solution. Based on a geometrical interpretation of Hille's condition, this report generalizes his result to the case when x and y are elements of lattice-normed linear spaces in the sense of Kantorovich. This formulation includes the special cases when x and y belong to Banach or Riesz spaces.


title: M3ER: Multiplicative Multimodal Emotion Recognition Using Facial, Textual, and Speech Cues

abstract: We present M3ER, a learning-based method for emotion recognition from multiple input modalities. Our approach combines cues from multiple co-occurring modalities (such as face, text, and speech) and also is more robust than other methods to sensor noise in any of the individual modalities. M3ER models a novel, data-driven multiplicative fusion method to combine the modalities, which learn to emphasize the more reliable cues and suppress others on a per-sample basis. By introducing a check step which uses Canonical Correlational Analysis to differentiate between ineffective and effective modalities, M3ER is robust to sensor noise. M3ER also generates proxy features in place of the ineffectual modalities. We demonstrate the efficiency of our network through experimentation on two benchmark datasets, IEMOCAP and CMU-MOSEI. We report a mean accuracy of 82.7% on IEMOCAP and 89.0% on CMU-MOSEI, which, collectively, is an improvement of about 5% over prior work.


title: Enhancing Programmability, Portability, and Performance with Rich Cross-Layer Abstractions

abstract: Programmability, performance portability, and resource efficiency have emerged as critical challenges in harnessing complex and diverse architectures today to obtain high performance and energy efficiency. While there is abundant research, and thus significant improvements, at different levels of the stack that address these very challenges, in this thesis, we observe that we are fundamentally limited by the interfaces and abstractions between the application and the underlying system/hardware--specifically, the hardware-software interface. The existing narrow interfaces pose two critical challenges. First, significant effort and expertise are required to write high-performance code to harness the full potential of today's diverse and sophisticated hardware. Second, as a hardware/system designer, architecting faster and more efficient systems is challenging as the vast majority of the program's semantic content gets lost in translation with today's hardware-software interface. Moving towards the future, these challenges in programmability and efficiency will be even more intractable as we architect increasingly heterogeneous and sophisticated systems. This thesis makes the case for rich low-overhead cross-layer abstractions as a highly effective means to address the above challenges. These abstractions are designed to communicate higher-level program information from the application to the underlying system and hardware in a highly efficient manner, requiring only minor additions to the existing interfaces. In doing so, they enable a rich space of hardware-software cooperative mechanisms to optimize for performance. We propose 4 different approaches to designing richer abstractions between the application, system software, and hardware architecture in different contexts to significantly improve programmability, portability, and performance in CPUs and GPUs.


title: Deep Learning Decoding of Mental State in Non-invasive Brain Computer Interface

abstract: Brain computer interface (BCI) has been popular as a key approach to monitor our brains recent year. Mental states monitoring is one of the most important BCI applications and becomes increasingly accessible. However, the mental state prediction accuracy and generality through encephalogram (EEG) are not good enough for everyday use. Here in this paper we present a deep learning-based EEG decoding method to read mental states. We propose a novel 1D convolutional neural network with different filter lengths to capture different frequency bands information. To improve the prediction accuracy, we also used a resnet-like structure to train a relatively deep convolutional neural network to promote feature extraction. Compared with traditional ways of predictions such as KNN and SVM, we achieved a significantly better result with an accuracy of 96.40%. Also, in contrast with some already published open source deep neural network structures, our methods achieved the state of art prediction accuracy on a mental state recognition dataset. Our results demonstrate using only 1D convolution could extract the features of EEG and the possibility of mental state prediction using portable EEG devices.


title: Communication Lower Bound in Convolution Accelerators

abstract: In current convolutional neural network (CNN) accelerators, communication (i.e., memory access) dominates the energy consumption. This work provides comprehensive analysis and methodologies to minimize the communication for CNN accelerators. For the off-chip communication, we derive the theoretical lower bound for any convolutional layer and propose a dataflow to reach the lower bound. This fundamental problem has never been solved by prior studies. The on-chip communication is minimized based on an elaborate workload and storage mapping scheme. We in addition design a communication-optimal CNN accelerator architecture. Evaluations based on the 65nm technology demonstrate that the proposed architecture nearly reaches the theoretical minimum communication in a three-level memory hierarchy and it is computation dominant. The gap between the energy efficiency of our accelerator and the theoretical best value is only 37-87%.


title: A coupled autoencoder approach for multi-modal analysis of cell types

abstract: Recent developments in high throughput profiling of individual neurons have spurred data driven exploration of the idea that there exist natural groupings of neurons referred to as cell types. The promise of this idea is that the immense complexity of brain circuits can be reduced, and effectively studied by means of interactions between cell types. While clustering of neuron populations based on a particular data modality can be used to define cell types, such definitions are often inconsistent across different characterization modalities. We pose this issue of cross-modal alignment as an optimization problem and develop an approach based on coupled training of autoencoders as a framework for such analyses. We apply this framework to a Patch-seq dataset consisting of transcriptomic and electrophysiological profiles for the same set of neurons to study consistency of representations across modalities, and evaluate cross-modal data prediction ability. We explore the problem where only a subset of neurons is characterized with more than one modality, and demonstrate that representations learned by coupled autoencoders can be used to identify types sampled only by a single modality.


title: A Brief Review on Some Architectures Providing Support for DIFT

abstract: Dynamic Information Flow Tracking (DIFT) is a technique to track potential security vulnerabilities in software and hardware systems at run time. The last fifteen years have seen a lot of research work on DIFT, including both hardware-based and software-based implementations for different types of processor architectures. This survey briefly reviews some hardware architectures that provide DIFT support. Starting from introducing different approaches for hardware based DIFT, this survey focuses on integrated/in-core architectures. Protection schemes, including tagging system, tag propagation, and tag checking for each architecture will be discussed. The survey is organized in such a way that it illustrates the evolution of integrated DIFT architectures, each architecture tries to improve the precious proposed architectures generality/versatility weaknesses. However, improving security while providing generality and versatility is kind of trade-offs. This survey compares the architectures from different aspects to show the trade-offs clearer.


title: Experimental investigation of the flow downstream of a dysfunctional bileaflet mechanical aortic valve

abstract: Mechanical heart valve replacement is the preferred alternative in younger patients with severe symptomatic aortic valve disease. However, thrombus and pannus formations are common complications associated with bileaflet mechanical heart valves. This leads to risks of valve leaflet dysfunction, a life threatening event. In this experimental study, we investigate, using time resolved planar particle image velocimetry, the flow characteristics in the ascending aorta in the presence of a dysfunctional bileaflet mechanical heart valve. Several configurations of leaflet dysfunction are investigated and the induced flow disturbances in terms of velocity fields, viscous energy dissipation, wall shear stress, and accumulation of viscous shear stresses are evaluated. We also explore the ability of a new set of parameters, solely based on the analysis of the normalized axial velocity profiles in the ascending aorta, to detect bileaflet mechanical heart valve dysfunction and differentiate between the different configurations tested in this study. Our results show that a bileaflet mechanical heart valve dysfunction leads to a complex spectrum of flow disturbances with each flow characteristic evaluated having its own worst case scenario in terms of dysfunction configuration. We also show that the suggested approach based on the analysis of the normalized axial velocity profiles in the ascending aorta has the potential to clearly discriminate not only between normal and dysfunctional bilealfet heart valves but also between the different leaflet dysfunction configurations. This approach could be easily implemented using phase contrast MRI to follow up patients with bileaflet mechanical heart valves.


title: Interface-related magnetic and vibrational properties in Fe/MgO heterostructures from nuclear resonant spectroscopy and first-principles calculations

abstract: We combine $^{57}$Fe M\"ossbauer spectroscopy and $^{57}$Fe nuclear resonant inelastic x-ray scattering (NRIXS) in nanoscale polycrystalline [bcc-$^{57}$Fe/MgO] multilayers with various Fe layer thicknesses and layer-resolved density-functional-theory (DFT) based first-principles calculations of a (001)-oriented [Fe(8 ML)/MgO(8 ML)](001) heterostructure to unravel the interface-related atomic vibrational properties of a multilayer system. In theory and experiment, we observe consistently enhanced hyperfine magnetic fields compared to bulk which are associated with the Fe/MgO interface layers. NRIXS and DFT both reveal a strong reduction of the longitudinal acoustic (LA) phonon peak in combination with an enhancement of the low-energy vibrational density of states (VDOS) suggesting that the presence of interfaces and the associated increase in the layer-resolved magnetic moments results in drastic changes in the Fe-partial VDOS. From the experimental and calculated VDOS, vibrational thermodynamic properties have been determined as a function of Fe thickness and are found to be in excellent agreement.


title: Consequences of Time-reversal-symmetry Breaking in the Light-Matter Interaction: Berry Curvature, Quantum Metric and Diabatic Motion

abstract: Nonlinear optical response is well studied in the context of semiconductors and has gained a renaissance in studies of topological materials in the recent decade. So far it mainly deals with non-magnetic materials and it is believed to root in the Berry curvature of the material band structure. In this work, we revisit the general formalism for the second-order optical response and focus on the consequences of the time-reversal-symmetry ($\mathcal{T}$) breaking, by a diagrammatic approach. We have identified three physical mechanisms to generate a dc photocurrent, i.e. the Berry curvature, the quantum metric, and the diabatic motion. All three effects can be understood intuitively from the anomalous acceleration. The first two terms are respectively the antisymmetric and symmetric parts of the quantum geometric tensor. The last term is due to the dynamical antilocalization that appears from the phase accumulation between time-reversed fermion loops. Additionally, we derive the semiclassical conductivity that includes both intra- and interband effects. We find that $\mathcal{T}$-breaking can lead to a greatly enhanced non-linear anomalous Hall effect that is beyond the contribution by the Berry curvature dipole.


title: Point Movement in a DSL for Higher-Order FEM Visualization

abstract: Scientific visualization tools tend to be flexible in some ways (e.g., for exploring isovalues) while restricted in other ways, such as working only on regular grids, or only on unstructured meshes (as used in the finite element method, FEM). Our work seeks to expose the common structure of visualization methods, apart from the specifics of how the fields being visualized are formed. Recognizing that previous approaches to FEM visualization depend on efficiently updating computed positions within a mesh, we took an existing visualization domain-specific language, and added a mesh position type and associated arithmetic operators. These are orthogonal to the visualization method itself, so existing programs for visualizing regular grid data work, with minimal changes, on higher-order FEM data. We reproduce the efficiency gains of an earlier guided search method of mesh position update for computing streamlines, and we demonstrate a novel ability to uniformly sample ridge surfaces of higher-order FEM solutions defined on curved meshes.


title: Error bounds for some approximate posterior measures in Bayesian inference

abstract: In certain applications involving the solution of a Bayesian inverse problem, it may not be possible or desirable to evaluate the full posterior, e.g. due to the high computational cost of doing so. This problem motivates the use of approximate posteriors that arise from approximating the data misfit or forward model. We review some error bounds for random and deterministic approximate posteriors that arise when the approximate data misfits and approximate forward models are random.


title: Some remarks on axion dark matter, dark energy and energy of the quantum vacuum

abstract: In connection with the problem of dark matter, we discuss recent results on constraining the parameters of axion-to-nucleon interaction following from the experiment on measuring the difference of Casimir forces. It is shown that this experiment not only leads to competitive constraints, but provides stronger support to other constraints obtained in Casimir physics so far. The description of dark energy by means of cosmological constant originated from the quantum vacuum is considered in terms of the renormalization procedures in quantum field theory. It is argued that only the renormalized value of cosmological constant directly connected with the observed density of dark energy is of physical significance, so that some statements in the literature concerning the vacuum catastrophe may be considered as an exaggeration.


title: Modulation spectroscopy of Rydberg atoms in an optical lattice

abstract: We develop and study quantum and semi-classical models of Rydberg-atom spectroscopy in amplitude-modulated optical lattices. Both initial- and target-state Rydberg atoms are trapped in the lattice. Unlike in any other spectroscopic scheme, the modulation-induced ponderomotive coupling between the Rydberg states is spatially periodic and perfectly phase-locked to the lattice trapping potentials. This leads to a novel type of sub-Doppler mechanism, which we explain in detail. In our exact quantum model, we solve the time-dependent Schr\"odinger equation in the product space of center-of-mass (COM) momentum states and the internal-state space. We also develop a perturbative model based on the band structure in the lattice and Fermi's golden rule, as well as a semi-classical trajectory model in which the COM is treated classically and the internal-state dynamics quantum-mechanically. In all models we obtain the spectrum of the target Rydberg-state population versus the lattice modulation frequency, averaged over the initial thermal COM momentum distribution of the atoms. We investigate the quantum-classical correspondence of the problem in several parameter regimes and exhibit spectral features that arise from vibrational COM coherences and rotary-echo effects. Applications in Rydberg-atom spectroscopy are discussed.


title: Resolvable Ambiguity

abstract: A common standpoint when designing the syntax of programming languages is that the grammar definition has to be unambiguous. However, requiring up front unambiguous grammars can force language designers to make more or less arbitrary choices to disambiguate the language. In this paper, we depart from the traditional view of unambiguous grammar design, and enable the detection of ambiguities to be delayed until parse time, allowing the user of the language to perform the disambiguation. A natural decision problem follows: given a language definition, can a user always disambiguate an ambiguous program? We introduce and formalize this fundamental problem - called the resolvable ambiguity problem - and divide it into separate static and dynamic resolvability problems. We provide solutions to the static problem for a restricted language class and sketch proofs of soundness and completeness. We also provide a sound and complete solution to the dynamic problem for a much less restricted class of languages. The approach is evaluated through two separate case studies, covering both a large existing programming language, and the composability of domain-specific languages.


title: TPM-FAIL: TPM meets Timing and Lattice Attacks

abstract: Trusted Platform Module (TPM) serves as a hardware-based root of trust that protects cryptographic keys from privileged system and physical adversaries. In this work, we perform a black-box timing analysis of TPM 2.0 devices deployed on commodity computers. Our analysis reveals that some of these devices feature secret-dependent execution times during signature generation based on elliptic curves. In particular, we discovered timing leakage on an Intel firmware-based TPM as well as a hardware TPM. We show how this information allows an attacker to apply lattice techniques to recover 256-bit private keys for ECDSA and ECSchnorr signatures. On Intel fTPM, our key recovery succeeds after about 1,300 observations and in less than two minutes. Similarly, we extract the private ECDSA key from a hardware TPM manufactured by STMicroelectronics, which is certified at Common Criteria (CC) EAL 4+, after fewer than 40,000 observations. We further highlight the impact of these vulnerabilities by demonstrating a remote attack against a StrongSwan IPsec VPN that uses a TPM to generate the digital signatures for authentication. In this attack, the remote client recovers the server's private authentication key by timing only 45,000 authentication handshakes via a network connection. The vulnerabilities we have uncovered emphasize the difficulty of correctly implementing known constant-time techniques, and show the importance of evolutionary testing and transparent evaluation of cryptographic implementations. Even certified devices that claim resistance against attacks require additional scrutiny by the community and industry, as we learn more about these attacks.


title: Betti numbers of stable map spaces to Grassmannians

abstract: Let $\bar{M}_{0,n}(G(r,V), d)$ be the coarse moduli space of stable degree $d$ maps from $n$-pointed genus $0$ curves to a Grassmann variety $G(r,V)$. We provide a recursive method for the computation of the Hodge numbers and the Betti numbers of $\bar{M}_{0,n}(G(r,V), d)$ for all $n$ and $d$. Our method is a generalization of Getzler and Pandharipande's work for maps to projective spaces.


title: A resistance bridge based on a cryogenic current comparator achieving sub-$10^{-9}$ measurement uncertainties

abstract: A new resistance bridge has been built at the Laboratoire national de m\'etrologie et d'essais (LNE) to improve the ohm realization in the $Syst\`eme International$ (SI) of units from the quantum Hall effect. We describe the instrument, the performance of which relies on two synchronized and noise-filtered current sources, an accurate and stable current divider and a cryogenic current comparator (CCC) having a low noise of $\mathrm{80~pA.t/Hz^{1/2}}$. The uncertainty budget for the measurement of the 100 $\Omega/(R_\mathrm{K}/2)$ ratio, where $R_\mathrm{K}$ is the von Klitzing constant, amounts to a few parts in $10^{10}$ only.


title: Enumerative Data Compression with Non-Uniquely Decodable Codes

abstract: Non-uniquely decodable codes can be defined as the codes that cannot be uniquely decoded without additional disambiguation information. These are mainly the class of non-prefix-free codes, where a codeword can be a prefix of other(s), and thus, the codeword boundary information is essential for correct decoding. Although the codeword bit stream consumes significantly less space when compared to prefix--free codes, the additional disambiguation information makes it difficult to catch the performance of prefix-free codes in total. Previous studies considered compression with non-prefix-free codes by integrating rank/select dictionaries or wavelet trees to mark the code-word boundaries. In this study we focus on another dimension with a block--wise enumeration scheme that improves the compression ratios of the previous studies significantly. Experiments conducted on a known corpus showed that the proposed scheme successfully represents a source within its entropy, even performing better than the Huffman and arithmetic coding in some cases. The non-uniquely decodable codes also provides an intrinsic security feature due to lack of unique-decodability. We investigate this dimension as an opportunity to provide compressed data security without (or with less) encryption, and discuss various possible practical advantages supported by such codes.


title: A note on the weak splitting number

abstract: The weak splitting number $wsp(L)$ of a link $L$ is the minimal number of crossing changes needed to turn $L$ into a split union of knots. We describe conditions under which certain $\mathbb{R}$-valued link invariants give lower bounds on $wsp(L)$. This result is used both to obtain new bounds on $wsp(L)$ in terms of the multivariable signature and to recover known lower bounds in terms of the $\tau$ and $s$-invariants. We also establish new obstructions using link Floer homology and apply all these methods to compute $wsp$ for all but two of the $130$ prime links with $9$ or fewer crossings.


title: Comparative Theory of Background Independence

abstract: The Lie claw digraph has recently been shown to control Background Independence and thus both the Problem of Time and the nature of Physical Law. This is established for Flat and Differential Geometry with varying amounts of extra mathematical structure. This Lie claw digraph has Generator Closure at its centre, Relationalism at its root, and Assignment of Observables and Constructability from Less Structure Assumed (working if Deformation leads to Rigidity) on its other leaves. The centre is enabled by automorphisms and powered by the Lie Algorithm generalization of the Dirac Algorithm (itself holding for the canonical subcase, with constraints for generators). We now explain how such claws are universal over all levels of mathematical structure that could be considered to be Background Independent. This follows from automorphisms both being categorical and supplying the centre with enough machinery to control the 3 peripheral aspects. Such claws in general thus merit a new name: UBIC (Universal Background Independence Claws) including allusion to their ubiquity. For a given level, the Problem of Time facets are ordered into two UBIC: the spacetime primality copy and the space/dynamics/canonical primality copy. These may or may not have a Wheelerian 2-way route connecting them: Constructability of Spacetime from Space and Intermediary Object Independence. The 3 cases of Constructability furthermore take one up and down levels like the ramps in a multi-storey car park. Wheeler matrices and ramp matrices (or more generally digraphs) codify this information. These summarize the main features of each Background Independent Theory that can vary between levels, the Constructabilities and Intermediary Object Independence being selection principles rather than categorical. These selection principles indicate that Background Independence has reached maturity as a field of study.


title: First principles analysis of electronic structure evolution and the indirect- to direct-gap transition in Ge$_{1-x}$Pb$_{x}$ group-IV alloys

abstract: We present a theoretical analysis of electronic structure evolution in the group-IV alloy Ge$_{1-x}$Pb$_{x}$ based on density functional theory. For ordered alloy supercells we demonstrate the emergence of a singlet conduction band (CB) edge state, suggesting the emergence of a direct band gap for Pb compositions as low as $x \approx 1$%. However, application of hydrostatic pressure reveals Pb-induced hybridisation, with the CB edge state in a Ge$_{63}$Pb$_{1}$ ($x = 1.56$%) supercell retaining primarily indirect (Ge L$_{6c}$) character. For an ordered Ge$_{15}$Pb$_{1}$ ($x = 6.25$%) supercell we find that the CB edge has acquired primarily direct (Ge $\Gamma_{7c}$) character, confirming the presence of an indirect- to direct-gap transition. The importance of alloy disorder is highlighted by investigating the impact on the electronic structure of the formation of a nearest-neighbour Pb-Pb pair. Having established the importance of short-range disorder, we analyse the electronic structure evolution as a function of $x$ using a series of 128-atom special quasi-random structures (SQSs). Our calculations reveal a strong reduction (increase) of the band gap (spin-orbit splitting energy), by $\approx 100$ meV ($\approx 40$ meV) per % Pb replacing Ge. We find an indirect- to direct-gap transition occurring in a narrow composition range centred about $x \approx 7$%, close to which composition we calculate that the alloy becomes semimetallic. Further analysis suggests that long-range order introduced by Born von Karman (supercell) boundary conditions leads to overestimated energy splitting of the Ge L$_{6c}$-derived CB states in the 128-atom SQSs. Accounting for these finite-size effects, we expect a direct band gap to emerge in Ge$_{1-x}$Pb$_{x}$ for $x \gtrsim 3 - 4$%.


title: Thermoelectric properties, efficiency and thermal expansion of ZrNiSn half-Heusler by first-principles calculations

abstract: In this work, we try to understand the experimental thermoelectric (TE) properties of a ZrNiSn sample with DFT and semiclassical transport calculations using SCAN functional. SCAN and mBJ provide the same band gap $E_{g}$ of $\sim$0.54 eV. This $E_{g}$ is found to be inadequate to explain the experimental data. The better explanation of experimental Seebeck coefficient $S$ is done by considering $E_{g}$ of 0.18 eV which suggests the non-stoichiometry and/or disorder in the sample. Further improvement in the $S$ is done by the inclusion of temperature dependence on chemical potential. In order to look for the possible enhanced TE properties obtainable in ZrNiSn with $E_{g}$ of $\sim$0.54 eV, power factor and optimal carrier concentrations are calculated. The optimal electron and hole concentrations required to attain highest power factors are $\sim$7.6x10$^{19}$ cm$^{-3}$ and $\sim$1.5x10$^{21}$ cm$^{-3}$, respectively. The maximum figure of merit $ZT$ calculated at 1200 K for n-type and p-type ZrNiSn are $\sim$0.6 and $\sim$0.7, respectively. The % efficiency obtained for n-type ZrNiSn is $\sim$5.1 % while for p-type ZrNiSn is $\sim$6.1 %. The $ZT$ are expected to be further enhanced to $\sim$1.2 (n-type) and $\sim$1.4 (p-type) at 1200 K by doping with heavy elements for thermal conductivity reduction. The phonon properties are also studied by calculating dispersion, total and partial density of states. The calculated Debye temperature of 382 K is in good agreement with experimental value of 398 K. The thermal expansion behaviour in ZrNiSn is studied under quasi-harmonic approximation. The average linear thermal expansion coefficient $\alpha_{ave}(T)$ of $\sim$7.8x10$^{-6}$ K$^{-1}$ calculated in our work is quite close to the experimental values.


title: Agreement Threshold on Axelrod's model of Cultural Dissemination

abstract: Shared opinions are an important feature in the formation of social groups. In this paper, we use the Axelrod model of cultural dissemination to represent opinion-based groups. In the Axelrod model, each agent has a set of features which each holds one of a set of nominally related traits. Survey data, for example, has a similar structure, where each participant answers each of a set of items with responses from a fixed list. We present an alternative method of displaying the Axelrod model by representing it as a bipartite graph, i.e., participants and their responses as separate nodes. This allows us to see which feature-trait combinations are selected in the final state. This visualisation is particularly useful when representing survey data as it illustrates the co-evolution of cultures and opinion-based groups in Axelrod's model of cultural diffusion. We also present a modification to the Axelrod model. A standard finding of the Axelrod model with many features is for all agents to fully agree in one cluster. We introduce an agreement threshold and allow nodes to interact only with those neighbours who are within this threshold (i.e., those with similar opinions) rather than those with any opinion. This method reliably yields a large number of clusters for small agreement thresholds and, importantly, does not limit to single cluster when the number of features grows large. This potentially provides a method for modelling opinion-based groups where as opinions are added, the number of clusters increase.


title: Liftable mapping class groups of regular cyclic covers

abstract: Let $\mathrm{Mod}(S_g)$ be the mapping class group of the closed orientable surface of genus $g \geq 1$. For $k \geq 2$, we consider the standard $k$-sheeted regular cover $p_k: S_{k(g-1)+1} \to S_g$, and analyze the liftable mapping class group $\mathrm{LMod}_{p_k}(S_g)$ associated with the cover $p_k$. In particular, we show that $\mathrm{LMod}_{p_k}(S_g)$ is the stabilizer subgroup of $\mathrm{Mod}(S_g)$ with respect to a collection of vectors in $H_1(S_g,\mathbb{Z}_k)$, and also derive a symplectic criterion for the liftability of a given mapping class under $p_k$. As an application of this criterion, we obtain a normal series of $\mathrm{LMod}_{p_k}(S_g)$, which generalizes a well known normal series of congruence subgroups in $\mathrm{SL}(2,\mathbb{Z})$. Among other applications, we describe a procedure for obtaining a finite generating set for $\mathrm{LMod}_{p_k}(S_g)$ and examine the liftability of certain finite-order and pseudo-Anosov mapping classes.


title: Modeling patterns of smartphone usage and their relationship to cognitive health

abstract: The ubiquity of smartphone usage in many people's lives make it a rich source of information about a person's mental and cognitive state. In this work we analyze 12 weeks of phone usage data from 113 older adults, 31 with diagnosed cognitive impairment and 82 without. We develop structured models of users' smartphone interactions to reveal differences in phone usage patterns between people with and without cognitive impairment. In particular, we focus on inferring specific types of phone usage sessions that are predictive of cognitive impairment. Our model achieves an AUROC of 0.79 when discriminating between healthy and symptomatic subjects, and its interpretability enables novel insights into which aspects of phone usage strongly relate with cognitive health in our dataset.


title: A Simulation-free Group Sequential Design with Max-combo Tests in the Presence of Non-proportional Hazards

abstract: Non-proportional hazards (NPH) have been observed recently in many immuno-oncology clinical trials. Weighted log-rank tests (WLRT) with suitably chosen weights can be used to improve the power of detecting the difference of the two survival curves in the presence of NPH. However, it is not easy to choose a proper WLRT in practice when both robustness and efficiency are considered. A versatile maxcombo test was proposed to achieve the balance of robustness and efficiency and has received increasing attentions in both methodology development and application. However, survival trials often warrant interim analyses due to its high cost and long duration. The integration and application of maxcombo tests in interim analyses often require extensive simulation studies. In this paper, we propose a simulation-free approach for group sequential design with maxcombo test in survival trials. The simulation results support that the proposed approaches successfully control both the type I error rate and offer great accuracy and flexibility in estimating sample sizes, at the expense of light computation burden. Notably, our methods display a strong robustness towards various model misspecifications, and have been implemented in an R package for free access online.


title: Interplay of Charge Density Wave States and Strain at the Surface of CeTe$_{2}$

abstract: We use scanning tunneling microscopy (STM) to study charge density wave (CDW) states in the rare-earth di-telluride, CeTe$_{2}$. In contrast to previous experimental and first-principles studies of the rare-earth di-tellurides, our STM measurements surprisingly detect a unidirectional CDW with $\textit{q}$ ~ 0.28 $\textit{a}$*, which is very close to what is found in experimental measurements of the related rare-earth tri-tellurides. Furthermore, in the vicinity of an extended sub-surface defect, we find spatially-separated as well as spatially-coexisting unidirectional CDWs at the surface of CeTe$_{2}$. We quantify the nanoscale strain and its variations induced by this defect, and establish a correlation between local lattice strain and the locally-established CDW states. Our measurements probe the fundamental properties of a weakly-bound two-dimensional Te-sheet, which experimental and theoretical work has previously established as the fundamental component driving much of the essential physics in both the rare-earth di- and tri-telluride compounds.


title: The Quantum Strong Exponential-Time Hypothesis

abstract: The strong exponential-time hypothesis (SETH) is a commonly used conjecture in the field of complexity theory. It states that CNF formulas cannot be analyzed for satisfiability with a speedup over exhaustive search. This hypothesis and its variants gave rise to a fruitful field of research, fine-grained complexity, obtaining (mostly tight) lower bounds for many problems in P whose unconditional lower bounds are hard to find. In this work, we introduce a framework of Quantum Strong Exponential-Time Hypotheses, as quantum analogues to SETH. Using the QSETH framework, we are able to translate quantum query lower bounds on black-box problems to conditional quantum time lower bounds for many problems in BQP. As an example, we illustrate the use of the QSETH by providing a conditional quantum time lower bound of $\Omega(n^{1.5})$ for the Edit Distance problem. We also show that the $n^2$ SETH-based lower bound for a recent scheme for Proofs of Useful Work, based on the Orthogonal Vectors problem holds for quantum computation assuming QSETH, maintaining a quadratic gap between verifier and prover.


title: Real topological Hochschild homology and the Segal conjecture

abstract: We give a new proof, independent of Lin's theorem, of the Segal conjecture for the cyclic group of order two. The key input is a calculation, as a Hopf algebroid, of the Real topological Hochschild homology of $\mathbb{F}_2$. This determines the $\mathrm{E}_2$-page of the descent spectral sequence for the map $\mathrm{N}\mathbb{F}_2 \to \mathbb{F}_2$, where $\mathrm{N}\mathbb{F}_2$ is the $C_2$-equivariant Hill--Hopkins--Ravenel norm of $\mathbb{F}_2$. The $\mathrm{E}_2$-page represents a new upper bound on the $RO(C_2)$-graded homotopy of $\mathrm{N}\mathbb{F}_2$, from which the Segal conjecture is an immediate corollary.


title: On the Relativized Alon Second Eigenvalue Conjecture I: Main Theorems, Examples, and Outline of Proof

abstract: This is the first in a series of six articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. Many of the techniques we develop hold whether or not the base graph is regular. Our first main theorem in this series of articles is that if the base graph is $d$-regular, then for any $\epsilon>0$, as the degree, $n$, of the covering map tends to infinity, some new adjacency eigenvalue of the map is larger in absolute value that $2(d-1)^{1/2}+\epsilon$ with probability at most order $1/n$. Our second main theorem is that if, in addition, the base graph is Ramanujan, then this probability is bounded above and below by $1/n$ to the power of a positive integer that we call the {\em tangle power} of the model, i.e., of the probability spaces of random covering maps of degree $n$. The tangle power is fairly easy to bound from below, and at times to compute exactly; it measures the probability that certain {\em tangles} appear in the random covering graph, where a {\em tangle} is a local event that forces the covering graph to have a new eigenvalue strictly larger than $2(d-1)^{1/2}$. Our main theorems are relativizations of Alon's conjecture on the second eigenvalue of random regular graphs of large degree. In this first article of the series, we introduce all the terminology needed in this series, motivate this terminology, precisely state all the results in the remaining articles, and make some remarks about their proofs. As such, this article provides an overview of the entire series of articles; furthermore, the rest of the articles in this series may be read independently of one another.


title: Can a Gorilla Ride a Camel? Learning Semantic Plausibility from Text

abstract: Modeling semantic plausibility requires commonsense knowledge about the world and has been used as a testbed for exploring various knowledge representations. Previous work has focused specifically on modeling physical plausibility and shown that distributional methods fail when tested in a supervised setting. At the same time, distributional models, namely large pretrained language models, have led to improved results for many natural language understanding tasks. In this work, we show that these pretrained language models are in fact effective at modeling physical plausibility in the supervised setting. We therefore present the more difficult problem of learning to model physical plausibility directly from text. We create a training set by extracting attested events from a large corpus, and we provide a baseline for training on these attested events in a self-supervised manner and testing on a physical plausibility task. We believe results could be further improved by injecting explicit commonsense knowledge into a distributional model.


title: Modeling of the Variable Circumstellar Absorption Features of WD 1145+017

abstract: We present an eccentric precessing gas disk model designed to study the variable circumstellar absorption features detected for WD 1145+017, a metal polluted white dwarf with an actively disintegrating asteroid around it. This model, inspired by one recently proposed by Cauley et al., calculates explicitly the gas opacity for any predetermined physical conditions in the disk, predicting the strength and shape of all absorption features, from the UV to the optical, at any given phase of the precession cycle. The successes and failures of this simple model provide valuable insight on the physical characteristics of the gas surrounding the star, notably its composition, temperature and density. This eccentric disk model also highlights the need for supplementary components, most likely circular rings, in order to explain the presence of zero velocity absorption as well as highly ionized Si IV lines. We find that a precession period of $4.6\pm0.3$ yrs can successfully reproduce the shape of the velocity profile observed at most epochs from April 2015 to January 2018, although minor discrepancies at certain times indicate that the assumed geometric configuration may not be optimal yet. Finally, we show that our model can quantitatively explain the change in morphology of the circumstellar features during transiting events.


title: The use of registry data to extrapolate overall survival results from randomised controlled trials

abstract: Background: Pre-marketing authorisation estimates of survival are generally restricted to those observed directly in randomised controlled trials (RCTs). However, for regulatory and Health Technology Assessment (HTA) decision-making a longer time horizon is often required than is studied in RCTs. Therefore, extrapolation is required to estimate long-term treatment effect. Registry data can provide evidence to support extrapolation of treatment effects from RCTs, which are considered the main sources of evidence of effect for new drug applications. A number of methods are available to extrapolate survival data, such as Exponential, Weibull, Gompertz, log-logistic or log-normal parametric models. The different methods have varying functional forms and can result in different survival estimates. Methods: The aim of this paper was to use registry data to supplement the relatively short term RCT data to obtain long term estimates of effect. No formal hypotheses were tested. We explore the above parametric regression models as well as a nonparametric regression model based on local linear (parametric) regression. We also explore a Bayesian model constrained to the long term estimate of survival reported in literature, a Bayesian power prior approach on the variability observed from published literature, and a Bayesian Model Averaging (BMA) approach. The methods were applied to extrapolate overall survival of a RCT in metastatic melanoma. Results: The results showed that the BMA approach was able to fit the RCT data well, with the lowest variability of the area under the curve up to 72 months with or without the SEER Medicare registry. Conclusion: the BMA approach is a viable approach to extrapolate overall survival in the absence of long term data.


title: Anomaly Detection for Industrial Control Networks using Machine Learning with the help from the Inter-Arrival Curves

abstract: Industrial Control Networks (ICN) such as Supervisory Control and Data Acquisition (SCADA) systems are widely used in industries for monitoring and controlling physical processes. These industries include power generation and supply, gas and oil production and delivery, water and waste management, telecommunication and transport facilities. The integration of internet exposes these systems to cyber threats. The consequences of compromised ICN are determine for a country economic and functional sustainability. Therefore, enforcing security and ensuring correctness operation became one of the biggest concerns for Industrial Control Systems (ICS), and need to be addressed. In this paper, we propose an anomaly detection approach for ICN using the physical properties of the system. We have developed operational baseline of electricity generation process and reduced the feature set using greedy and genetic feature selection algorithms. The classification is done based on Support Vector Machine (SVM), k-Nearest Neighbor (k-NN), and C4.5 decision tree with the help from the inter-arrival curves. The results show that the proposed approach successfully detects anomalies with a high degree of accuracy. In addition, they proved that SVM and C4.5 produces accurate results even for high sensitivity attacks when they used with the inter-arrival curves. As compared to this, k-NN is unable to produce good results for low and medium sensitivity attacks test cases.


title: Extracting photoelectron spectra from the time-dependent wave function: Comparison of the projection onto continuum states and window-operator methods

abstract: Over the last three decades numerous numerical methods for solving the time-dependent Schr\"{o}dinger equation within the single-active electron approximation have been developed for studying ionization of atomic targets exposed to an intense laser field. In addition, various numerical techniques for extracting the photoelectron spectra from the time-dependent wave function have emerged. In this paper we compare photoelectron spectra obtained by either projecting the time-dependent wave function at the end of the laser pulse onto the continuum state having proper incoming boundary condition or by using the window-operator method. Our results for three different atomic targets show that the boundary condition imposed onto the continuum states plays a crucial role for obtaining correct spectra accurate enough to resolve fine details of the interference structures of the photoelectron angular distribution.


title: Braginskii viscosity on an unstructured, moving mesh accelerated with super-time-stepping

abstract: We present a method for efficiently modelling Braginskii viscosity on an unstructured, moving mesh. Braginskii viscosity, i.e., anisotropic transport of momentum with respect to the direction of the magnetic field, is thought to be of prime importance for studies of the weakly collisional plasma that comprises the intracluster medium (ICM) of galaxy clusters. Here anisotropic transport of heat and momentum has been shown to have profound consequences for the stability properties of the ICM. Our new method for modelling Braginskii viscosity has been implemented in the moving mesh code Arepo. We present a number of examples that serve to test the implementation and illustrate the modified dynamics found when including Braginskii viscosity in simulations. These include (but are not limited to) damping of fast magneto-sonic waves, interruption of linearly polarized Alfv\'en waves by the firehose instability and the inhibition of the Kelvin-Helmholtz instability by Braginskii viscosity. An explicit update of Braginskii viscosity is associated with a severe time step constraint that scales with $(\Delta x)^2$ where $\Delta x$ is the grid size. In our implementation, this restrictive time step constraint is alleviated by employing 2nd order accurate Runge-Kutta-Legendre super-time-stepping. We envision including Braginskii viscosity in future large-scale simulations of Kelvin-Helmholtz unstable cold fronts in cluster mergers and AGN-generated bubbles in central cluster regions.


title: Learning Representations in Reinforcement Learning:An Information Bottleneck Approach

abstract: The information bottleneck principle is an elegant and useful approach to representation learning. In this paper, we investigate the problem of representation learning in the context of reinforcement learning using the information bottleneck framework, aiming at improving the sample efficiency of the learning algorithms. %by accelerating the process of discarding irrelevant information when the %input states are extremely high-dimensional. We analytically derive the optimal conditional distribution of the representation, and provide a variational lower bound. Then, we maximize this lower bound with the Stein variational (SV) gradient method. We incorporate this framework in the advantageous actor critic algorithm (A2C) and the proximal policy optimization algorithm (PPO). Our experimental results show that our framework can improve the sample efficiency of vanilla A2C and PPO significantly. Finally, we study the information bottleneck (IB) perspective in deep RL with the algorithm called mutual information neural estimation(MINE) . We experimentally verify that the information extraction-compression process also exists in deep RL and our framework is capable of accelerating this process. We also analyze the relationship between MINE and our method, through this relationship, we theoretically derive an algorithm to optimize our IB framework without constructing the lower bound.


title: Schedule Earth Observation satellites with Deep Reinforcement Learning

abstract: Optical Earth observation satellites acquire images worldwide , covering up to several million square kilometers every day. The complexity of scheduling acquisitions for such systems increases exponentially when considering the interoperabil-ity of several satellite constellations together with the uncertainties from weather forecasts. In order to deliver valid images to customers as fast as possible, it is crucial to acquire cloud-free images. Depending on weather forecasts, up to 50% of images acquired by operational satellites can be trashed due to excessive cloud covers, showing there is room for improvement. We propose an acquisition scheduling approach based on Deep Reinforcement Learning and experiment on a simplified environment. We find that it challenges classical methods relying on human-expert heuristic.


title: A Convergent Off-Policy Temporal Difference Algorithm

abstract: Learning the value function of a given policy (target policy) from the data samples obtained from a different policy (behavior policy) is an important problem in Reinforcement Learning (RL). This problem is studied under the setting of off-policy prediction. Temporal Difference (TD) learning algorithms are a popular class of algorithms for solving the prediction problem. TD algorithms with linear function approximation are shown to be convergent when the samples are generated from the target policy (known as on-policy prediction). However, it has been well established in the literature that off-policy TD algorithms under linear function approximation diverge. In this work, we propose a convergent on-line off-policy TD algorithm under linear function approximation. The main idea is to penalize the updates of the algorithm in a way as to ensure convergence of the iterates. We provide a convergence analysis of our algorithm. Through numerical evaluations, we further demonstrate the effectiveness of our algorithm.


title: Predictive Multi-level Patient Representations from Electronic Health Records

abstract: The advent of the Internet era has led to an explosive growth in the Electronic Health Records (EHR) in the past decades. The EHR data can be regarded as a collection of clinical events, including laboratory results, medication records, physiological indicators, etc, which can be used for clinical outcome prediction tasks to support constructions of intelligent health systems. Learning patient representation from these clinical events for the clinical outcome prediction is an important but challenging step. Most related studies transform EHR data of a patient into a sequence of clinical events in temporal order and then use sequential models to learn patient representations for outcome prediction. However, clinical event sequence contains thousands of event types and temporal dependencies. We further make an observation that clinical events occurring in a short period are not constrained by any temporal order but events in a long term are influenced by temporal dependencies. The multi-scale temporal property makes it difficult for traditional sequential models to capture the short-term co-occurrence and the long-term temporal dependencies in clinical event sequences. In response to the above challenges, this paper proposes a Multi-level Representation Model (MRM). MRM first uses a sparse attention mechanism to model the short-term co-occurrence, then uses interval-based event pooling to remove redundant information and reduce sequence length and finally predicts clinical outcomes through Long Short-Term Memory (LSTM). Experiments on real-world datasets indicate that our proposed model largely improves the performance of clinical outcome prediction tasks using EHR data.


title: Building Effective Large-Scale Traffic State Prediction System: Traffic4cast Challenge Solution

abstract: How to build an effective large-scale traffic state prediction system is a challenging but highly valuable problem. This study focuses on the construction of an effective solution designed for spatio-temporal data to predict large-scale traffic state. Considering the large data size in Traffic4cast Challenge and our limited computational resources, we emphasize model design to achieve a relatively high prediction performance within acceptable running time. We adopt a structure similar to U-net and use a mask instead of spatial attention to address the data sparsity. Then, combined with the experience of time series prediction problem, we design a number of features, which are input into the model as different channels. Region cropping is used to decrease the difference between the size of the receptive field and the study area, and the models can be specially optimized for each sub-region. The fusion of interdisciplinary knowledge and experience is an emerging demand in classical traffic research. Several interdisciplinary studies we have been studying are also discussed in the Complementary Challenges. The source codes are available in https://github.com/wufanyou/traffic4cast-TLab.


title: Graph Representation Learning via Multi-task Knowledge Distillation

abstract: Machine learning on graph structured data has attracted much research interest due to its ubiquity in real world data. However, how to efficiently represent graph data in a general way is still an open problem. Traditional methods use handcraft graph features in a tabular form but suffer from the defects of domain expertise requirement and information loss. Graph representation learning overcomes these defects by automatically learning the continuous representations from graph structures, but they require abundant training labels, which are often hard to fulfill for graph-level prediction problems. In this work, we demonstrate that, if available, the domain expertise used for designing handcraft graph features can improve the graph-level representation learning when training labels are scarce. Specifically, we proposed a multi-task knowledge distillation method. By incorporating network-theory-based graph metrics as auxiliary tasks, we show on both synthetic and real datasets that the proposed multi-task learning method can improve the prediction performance of the original learning task, especially when the training data size is small.


title: Transfer Value Iteration Networks

abstract: Value iteration networks (VINs) have been demonstrated to have a good generalization ability for reinforcement learning tasks across similar domains. However, based on our experiments, a policy learned by VINs still fail to generalize well on the domain whose action space and feature space are not identical to those in the domain where it is trained. In this paper, we propose a transfer learning approach on top of VINs, termed Transfer VINs (TVINs), such that a learned policy from a source domain can be generalized to a target domain with only limited training data, even if the source domain and the target domain have domain-specific actions and features. We empirically verify that our proposed TVINs outperform VINs when the source and the target domains have similar but not identical action and feature spaces. Furthermore, we show that the performance improvement is consistent across different environments, maze sizes, dataset sizes as well as different values of hyperparameters such as number of iteration and kernel size.


title: Early Predictions for Medical Crowdfunding: A Deep Learning Approach Using Diverse Inputs

abstract: Medical crowdfunding is a popular channel for people needing financial help paying medical bills to collect donations from large numbers of people. However, large heterogeneity exists in donations across cases, and fundraisers face significant uncertainty in whether their crowdfunding campaigns can meet fundraising goals. Therefore, it is important to provide early warnings for fundraisers if such a channel will eventually fail. In this study, we aim to develop novel algorithms to provide accurate and timely predictions of fundraising performance, to better inform fundraisers. In particular, we propose a new approach to combine time-series features and time-invariant features in the deep learning model, to process diverse sources of input data. Compared with baseline models, our model achieves better accuracy and requires a shorter observation window of the time-varying features from the campaign launch to provide robust predictions with high confidence. To extract interpretable insights, we further conduct a multivariate time-series clustering analysis and identify four typical temporal donation patterns. This demonstrates the heterogeneity in the features and how they relate to the fundraising outcome. The prediction model and the interpretable insights can be applied to assist fundraisers with better promoting their fundraising campaigns and can potentially help crowdfunding platforms to provide more timely feedback to all fundraisers. Our proposed framework is also generalizable to other fields where diverse structured and unstructured data are valuable for predictions.


title: False positives using social cognitive mapping to identify childrens' peer groups

abstract: Children and adolescents interact in peer groups, which are known to influence a range of psychological and behavioral outcomes. In developmental psychology and related disciplines, social cognitive mapping (SCM), as implemented with the SCM 4.0 software, is the most commonly used method for identifying peer groups from peer report data. However, in a series of four studies, we demonstrate that SCM has an unacceptably high risk of false positives. Specifically, we show that SCM will identify peer groups even when applied to random data. We introduce backbone extraction and community detection as one promising alternative to SCM, and offer several recommendations for researchers seeking to identify peer groups from peer report data.


title: RAPDARTS: Resource-Aware Progressive Differentiable Architecture Search

abstract: Early neural network architectures were designed by so-called "grad student descent". Since then, the field of Neural Architecture Search (NAS) has developed with the goal of algorithmically designing architectures tailored for a dataset of interest. Recently, gradient-based NAS approaches have been created to rapidly perform the search. Gradient-based approaches impose more structure on the search, compared to alternative NAS methods, enabling faster search phase optimization. In the real-world, neural architecture performance is measured by more than just high accuracy. There is increasing need for efficient neural architectures, where resources such as model size or latency must also be considered. Gradient-based NAS is also suitable for such multi-objective optimization. In this work we extend a popular gradient-based NAS method to support one or more resource costs. We then perform in-depth analysis on the discovery of architectures satisfying single-resource constraints for classification of CIFAR-10.


title: On the Relativized Alon Eigenvalue Conjecture II: Asymptotic Expansion Theorems for Walks

abstract: This is the second in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. The first main result in this article concerns the function $f(k,n)$ defined as the number of SNBC (strictly non-backtracking closed) walks of length $k$ of a given homotopy type in a random covering graph of degree $n$ of a fixed graph. We prove the existence of asymptotic expansions in powers of $1/n$ for $f(k,n)$, where the coefficients---functions of $k$---are proven to have some desirable properties; namely, these coefficients are approximately a sum of polynomials times exponential functions. The second main result is a generalization of the first, where the number of SNBC walks of length $k$ is multiplied by an indicator function that the covering graph contains a certain type of {\em tangle}; the second result requires more terminology, although its proof uses the same basic tools used to prove the first result. % The motivation for the second main result will be clear in % the third article in this series of articles. The results in this article are mostly straightforward generalizations of methods used in previous works. However, this article (1) "factors" these methods into a number of short, conceptually simple, and independent parts, (2) writes each independent part in more general terms, and (3) significantly simplifies of one of the previous computations. As such we expect that this article will make it easier to apply trace methods to related models of random graphs.


title: A Generic Metaheuristic Approach to Sequential Security Games

abstract: The paper introduces a generic approach to solving Sequential Security Games (SGs) which utilizes Evolutionary Algorithms. Formulation of the method (named EASG) is general and largely game-independent, which allows for its application to a wide range of SGs with just little adjustments addressing game specificity. Comprehensive experiments performed on 3 different types of games (with 300 instances in total) demonstrate robustness and stability of EASG, manifested by repeatable achieving optimal or near-optimal solutions in the vast majority of the cases. The main advantage of EASG is time efficiency. The method scales visibly better than state-of-the-art approaches and consequently can be applied to SG instances which are beyond capabilities of the existing methods. Furthermore, due to anytime characteristics, EASG is very well suited for time-critical applications, as the method can be terminated at any moment and still provide a reasonably good solution - the best one found so far.


title: Ground state solutions for a nonlocal equation in $\mathbb{R}^2$ involving vanishing potentials and exponential critical growth

abstract: In this paper, we study the following class of nonlinear equations: $$ -\Delta u+V(x) u = \left[|x|^{-\mu}*(Q(x)F(u))\right]Q(x)f(u),\quad x\in\mathbb{R}^2, $$ where $V$ and $Q$ are continuous potentials, which can be unbounded or vanishing at infintiy, $f(s)$ is a continuous function, $F(s)$ is the primitive of $f(s)$, $*$ is the convolution operator and $0<\mu<2$. Assuming that the nonlinearity $f(s)$ has exponential critical growth, we establish the existence of ground state solutions by using variational methods. For this, we prove a new version of the Trudinger-Moser inequality for our setting, which was necessary to obtain our main results.


title: Understanding high gain twin beam sources using cascaded stimulated emission

abstract: We present a new method for the spectral characterization of pulsed twin beam sources in the high gain regime, using cascaded stimulated emission. We show an implementation of this method for a ppKTP spontaneous parametric down-conversion source generating up to 60 photon pairs per pulse, and demonstrate excellent agreement between our experiments and our theory. This work enables the complete and accurate experimental characterization of high gain effects in parametric down conversion, including self and cross-phase modulation. Moreover, our theory allows the exploration of designs with the goal of improving the specifications of twin beam sources for application in quantum information, computation, sampling, and metrology.


title: Uncovering a 260 pc wide, 35 Myr old filamentary relic of star formation

abstract: Several recent studies have shown that the Vela OB2 region hosts a complex constellation of sub-populations with ages in the range 10 to 50 Myr. Such populations might represent the best example of the outcome of clustered star formation in Giant Molecular clouds (GMC). We use Gaia DR2 data over an area of 40 deg radius around the open cluster Collinder 135 to extend the study of the stellar populations of the Vela OB2 region over an area of several hundreds of parsecs on sky. Detailed clustering algorithms combined with the exquisite astrometric quality of the GAIA catalogue allow us to detect a new cluster named BBJ 1 that shows the same age as NGC 2547 (30 to 35 Myr), but located at a distance of 260 pc from it. Deeper investigation of the region via clustering in 5D parameter space and in the colour-magnitude diagram allows us to detect a filamentary structure of stars that bridges the two clusters. Given the extent in space of such structure (260 pc) and the young age (~35 Myr), we exclude that such population originates by the same mechanism responsible to create tidal streams around older clusters. Even if we miss a complete picture of the 3D motion of the studied stellar structure because of the lack of accurate radial velocity measurements, we propose that such structure represent the detection of a 35 Myr old outcome of a mechanism of filamentary star formation in a GMC.


title: On the Relativized Alon Second Eigenvalue Conjecture III: Asymptotic Expansions for Tangle-Free Hashimoto Traces

abstract: This is the third in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. In this paper we consider random graphs that are random covering graphs of large degree $n$ of a fixed base graph. We prove the existence of asympototic expansion in $1/n$ for the expected value of the number of strictly non-backtracking closed walks of length $k$ times the indicator function that the graph is free of certain {\em tangles}; moreover, we prove that the coefficients of these expansions are "nice functions" of $k$, namely approximately equal to a sum of polynomials in $k$ times exponential functions of $k$. Our results use the methods of Friedman used to resolve Alon's original conjecture, combined with the results of Article~II in this series of articles. One simplification in this article over the previous methods of Friedman is that the "regularlized traces" used in this article, which we call {\em certified traces}, are far easier to define and work with than the previously utilized {\em selective traces}.


title: Enhancement of Photovoltaic Current Generation through Dark States in Donor-Acceptor Pairs of Tungsten-based Transition Metal Di-Chalcogenides (TMDCs)

abstract: As several photovoltaic materials experimentally approach the Shockley-Queisser limit, there has been a growing interest in unconventional materials and approaches with the potential to cross this efficiency barrier. One such candidate is dark state protection induced by the dipole-dipole interaction between molecular excited states. This phenomenon has been shown to significantly reduce carrier recombination rate and enhance photon-to-current conversion, in elementary models consisting of few interacting chromophore centers. Atomically thin 2D transition metal di-chalcogenides (TMDCs) have shown great potential for use as ultra-thin photovoltaic materials in solar cells due to their favorable photon absorption and electronic transport properties. TMDC alloys exhibit tunable direct bandgaps and significant dipole moments. In this work, we introduce the dark state protection mechanism to a TMDC based photovoltaic system with pure tungsten diselenide (WSe2) as the acceptor material and the TMDC alloy tungsten sulfo-selenide (WSeS) as the donor material. Our numerical model demonstrates the first application of the dark state protection mechanism to a photovoltaic material with a photon current enhancement of up to 35% and an ideal photon-to-current efficiency exceeding the Shockley-Queisser limit.


title: Streaming Bayesian Inference for Crowdsourced Classification

abstract: A key challenge in crowdsourcing is inferring the ground truth from noisy and unreliable data. To do so, existing approaches rely on collecting redundant information from the crowd, and aggregating it with some probabilistic method. However, oftentimes such methods are computationally inefficient, are restricted to some specific settings, or lack theoretical guarantees. In this paper, we revisit the problem of binary classification from crowdsourced data. Specifically we propose Streaming Bayesian Inference for Crowdsourcing (SBIC), a new algorithm that does not suffer from any of these limitations. First, SBIC has low complexity and can be used in a real-time online setting. Second, SBIC has the same accuracy as the best state-of-the-art algorithms in all settings. Third, SBIC has provable asymptotic guarantees both in the online and offline settings.


title: Symmetries and Integrability of Modified Camassa-Holm Equation with an Arbitrary Parameter

abstract: We study the symmetry and integrability of a modified Camassa-Holm Equation (MCH), with an arbitrary parameter $k,$ of the form $$u_{t}+k(u-u_{xx})^2u_{x}-u_{xxt}+(u^{2}-{u_{x}}^2)(u_{x}-u_{xxx})=0.$$ By using Lie point symmetries we reduce the order of the above equation and also we obtain interesting novel solutions for the reduced ordinary differential equations. Finally we apply the Painlev\'e Test to the resultant nonlinear ordinary differential equation.


title: Imaging Systematics and Clustering of DESI Main Targets

abstract: We evaluate the impact of imaging systematics on the clustering of luminous red galaxies (LRG), emission-line galaxies (ELG) and quasars (QSO) targeted for the upcoming Dark Energy Spectroscopic Instrument (DESI) survey. Using Data Release 7 of the DECam Legacy Survey, we study the effects of astrophysical foregrounds, stellar contamination, differences between north galactic cap and south galactic cap measurements, and variations in imaging depth, stellar density, galactic extinction, seeing, airmass, sky brightness, and exposure time before presenting survey masks and weights to mitigate these effects. With our sanitized samples in hand, we conduct a preliminary analysis of the clustering amplitude and evolution of the DESI main targets. From measurements of the angular correlation functions, we determine power law fits $r_0 = 7.78 \pm 0.26$ $h^{-1}$Mpc, $\gamma = 1.98 \pm 0.02$ for LRGs and $r_0 = 5.45 \pm 0.1$ $h^{-1}$Mpc, $\gamma = 1.54 \pm 0.01$ for ELGs. Additionally, from the angular power spectra, we measure the linear biases and model the scale dependent biases in the weakly nonlinear regime. Both sets of clustering measurements show good agreement with survey requirements for LRGs and ELGs, attesting that these samples will enable DESI to achieve precise cosmological constraints. We also present clustering as a function of magnitude, use cross-correlations with external spectroscopy to infer $dN/dz$ and measure clustering as a function of luminosity, and probe higher order clustering statistics through counts-in-cells moments.


title: Mark my Word: A Sequence-to-Sequence Approach to Definition Modeling

abstract: Defining words in a textual context is a useful task both for practical purposes and for gaining insight into distributed word representations. Building on the distributional hypothesis, we argue here that the most natural formalization of definition modeling is to treat it as a sequence-to-sequence task, rather than a word-to-sequence task: given an input sequence with a highlighted word, generate a contextually appropriate definition for it. We implement this approach in a Transformer-based sequence-to-sequence model. Our proposal allows to train contextualization and definition generation in an end-to-end fashion, which is a conceptual improvement over earlier works. We achieve state-of-the-art results both in contextual and non-contextual definition modeling.


title: Finite-Memory Elephant Random Walk and the Central Limit Theorem for Additive Functionals

abstract: The Central Limit Theorem (CLT) for additive functionals of Markov chains is a well known result with a long history. In this paper we present applications to two finite-memory versions of the Elephant Random Walk, solving a problem from arXiv:1812.01915. We also present a derivation of the CLT for additive functionals of finite state Markov chains, which is based on positive recurrence, the CLT for IID sequences and some elementary linear algebra, and which focuses on characterization of the variance.


title: The Atacama Cosmology Telescope: Component-separated maps of CMB temperature and the thermal Sunyaev-Zel'dovich effect

abstract: Optimal analyses of many signals in the cosmic microwave background (CMB) require map-level extraction of individual components in the microwave sky, rather than measurements at the power spectrum level alone. To date, nearly all map-level component separation in CMB analyses has been performed exclusively using satellite data. In this paper, we implement a component separation method based on the internal linear combination (ILC) approach which we have designed to optimally account for the anisotropic noise (in the 2D Fourier domain) often found in ground-based CMB experiments. Using this method, we combine multi-frequency data from the Planck satellite and the Atacama Cosmology Telescope Polarimeter (ACTPol) to construct the first wide-area, arcminute-resolution component-separated maps (covering approximately 2100 sq. deg.) of the CMB temperature anisotropy and the thermal Sunyaev-Zel'dovich (tSZ) effect sourced by the inverse-Compton scattering of CMB photons off hot, ionized gas. Our ILC pipeline allows for explicit deprojection of various contaminating signals, including a modified blackbody approximation of the cosmic infrared background (CIB) spectral energy distribution. The cleaned CMB maps will be a useful resource for CMB lensing reconstruction, kinematic SZ cross-correlations, and primordial non-Gaussianity studies. The tSZ maps will be used to study the pressure profiles of galaxies, groups, and clusters through cross-correlations with halo catalogs, with dust contamination controlled via CIB deprojection. The data products described in this paper are available on LAMBDA.