title: Multi-messenger emission from the parsec-scale jet of the flat-spectrum radio quasar PKS 1502+106 coincident with high-energy neutrino IceCube-190730A

abstract: On July 30th, 2019 IceCube detected a high-energy astrophysical muon neutrino candidate, IC-190730A, with a $67\%$ probability of astrophysical origin. The flat spectrum radio quasar (FSRQ) PKS 1502+106 is in the error circle of the neutrino. Motivated by this observation, we study PKS 1502+106 as a possible source of IC-190730A. PKS 1502+106 was in a quiet state in terms of UV/optical/X-ray/gamma-ray flux at the time of the neutrino alert, we therefore model the expected neutrino emission from the source during its average long-term state, and investigate whether the emission of IC-190730A as a result of the quiet long-term emission of PKS 1502+106 is plausible. We analyse UV/optical and X-ray data and collect additional observations from the literature to construct the multi-wavelength spectral energy distribution of PKS 1502+106. We perform leptohadronic modelling of the multi-wavelength emission of the source and determine the most plausible emission scenarios and the maximum expected accompanying neutrino flux. A model in which the multi-wavelength emission of PKS 1502+106 originates beyond the broad-line region and inside the dust torus is most consistent with the observations. In this scenario, PKS 1502+106 can have produced up to of order one muon neutrino with energy exceeding 100 TeV in the lifetime of IceCube. An appealing feature of this model is that the required proton luminosity is consistent with the average required proton luminosity if blazars power the observed ultra-high-energy-cosmic-ray flux and well below the source's Eddington luminosity. If such a model is ubiquitous among FSRQs, additional neutrinos can be expected from other bright sources with energy $\gtrsim 10$ PeV.


title: Explicit Solutions and Stability Properties of Homogeneous Polynomial Dynamical Systems

abstract: In this paper, we provide a system-theoretic treatment of certain continuous-time homogeneous polynomial dynamical systems (HPDS) via tensor algebra. In particular, if a system of homogeneous polynomial differential equations can be represented by an orthogonally decomposable (odeco) tensor, we can construct its explicit solution by exploiting tensor Z-eigenvalues and Z-eigenvectors. We refer to such HPDS as odeco HPDS. By utilizing the form of the explicit solution, we are able to discuss the stability properties of an odeco HPDS. We illustrate that the Z-eigenvalues of the corresponding dynamic tensor can be used to establish necessary and sufficient stability conditions, similar to these from linear systems theory. In addition, we are able to obtain the complete solution to an odeco HPDS with constant control. Finally, we establish results which enable one to determine if a general HPDS can be transformed to or approximated by an odeco HPDS, where the previous results can be applied. We demonstrate our framework with simulated and real-world examples.


title: What Is The Internet? Partial Connectivity in the Internet Core

abstract: "A collection of interconnected networks" defines what the Internet is, but not what it is not. Events threaten Internet fragmentation: politics suggest countries or ISPs may secede or be de-peered, disputes between ISPs result in persistent unreachability between their customers, and architectural changes risk breaking the "one" Internet. Understanding such threats benefits from a testable definition of what the Internet is and is not, enabling discussion and quantification of partial connectivity. We provide a conceptual definition giving an idealized asymptote of connectivity. It implies peninsulas of persistent, partial connectivity, and islands when one or more computers are partitioned from the main Internet. We provide algorithms to measure, operationally, the number, size, and duration of peninsulas and islands. We apply these algorithms in rigorous measurement from two complementary measurement systems, one observing 5M networks from a few locations, and the other a few destinations from 10k locations. Results show that peninsulas (partial connectivity) are about as common as Internet outages, quantifying this long-observed problem. Root causes show that most peninsula events (45%) are routing transients, but most peninsula-time (90%) is from a few long-lived events (7%). Our analysis helps interpret DNSmon, a system monitoring the DNS root, separating measurement error and persistent problems from underlying differences and operationally important transients. Finally, our definition confirms the international nature of the Internet: no single country can unilaterally claim to be "the Internet", but countries can choose to leave.


title: Gain-loss-duplication models on a phylogeny: exact algorithms for computing the likelihood and its gradient

abstract: Gene gain-loss-duplication models are commonly based on continuous-time birth-death processes. Employed in a phylogenetic context, such models have been increasingly popular in studies of gene content evolution across multiple genomes. While the applications are becoming more varied and demanding, bioinformatics methods for probabilistic inference on copy numbers (or integer-valued evolutionary characters, in general) are scarce. We describe a flexible probabilistic framework for phylogenetic gene-loss-duplication models. The framework is based on a novel elementary representation by dependent random variables with well-characterized conditional distributions: binomial, P\'olya (negative binomial), and Poisson. The corresponding graphical model yields exact numerical procedures for computing the likelihood and the posterior distribution of ancestral copy numbers. The resulting algorithms take quadratic time in the total number of copies. In addition, we show how the likelihood gradient can be computed by a linear-time algorithm.


title: An interview method for engaging personal data

abstract: Whether investigating research questions or designing systems, many researchers and designers need to engage users with their personal data. However, it is difficult to successfully design user-facing tools for interacting with personal data without first understanding what users want to do with their data. Techniques for raw data exploration, sketching, or physicalization can avoid the perils of tool development, but prevent direct analytical access to users' rich personal data. We present a new method that directly tackles this challenge: the data engagement interview. This interview method incorporates an analyst to provide real-time personal data analysis, granting interview participants the opportunity to directly engage with their data, and interviewers to observe and ask questions throughout this engagement. We describe the method's development through a case study with asthmatic participants, share insights and guidance from our experience, and report a broad set of insights from these interviews.


title: Compressing Neural Networks: Towards Determining the Optimal Layer-wise Decomposition

abstract: We present a novel global compression framework for deep neural networks that automatically analyzes each layer to identify the optimal per-layer compression ratio, while simultaneously achieving the desired overall compression. Our algorithm hinges on the idea of compressing each convolutional (or fully-connected) layer by slicing its channels into multiple groups and decomposing each group via low-rank decomposition. At the core of our algorithm is the derivation of layer-wise error bounds from the Eckart Young Mirsky theorem. We then leverage these bounds to frame the compression problem as an optimization problem where we wish to minimize the maximum compression error across layers and propose an efficient algorithm towards a solution. Our experiments indicate that our method outperforms existing low-rank compression approaches across a wide range of networks and data sets. We believe that our results open up new avenues for future research into the global performance-size trade-offs of modern neural networks. Our code is available at https://github.com/lucaslie/torchprune.


title: Cross-Sentence Temporal and Semantic Relations in Video Activity Localisation

abstract: Video activity localisation has recently attained increasing attention due to its practical values in automatically localising the most salient visual segments corresponding to their language descriptions (sentences) from untrimmed and unstructured videos. For supervised model training, a temporal annotation of both the start and end time index of each video segment for a sentence (a video moment) must be given. This is not only very expensive but also sensitive to ambiguity and subjective annotation bias, a much harder task than image labelling. In this work, we develop a more accurate weakly-supervised solution by introducing Cross-Sentence Relations Mining (CRM) in video moment proposal generation and matching when only a paragraph description of activities without per-sentence temporal annotation is available. Specifically, we explore two cross-sentence relational constraints: (1) Temporal ordering and (2) semantic consistency among sentences in a paragraph description of video activities. Existing weakly-supervised techniques only consider within-sentence video segment correlations in training without considering cross-sentence paragraph context. This can mislead due to ambiguous expressions of individual sentences with visually indiscriminate video moment proposals in isolation. Experiments on two publicly available activity localisation datasets show the advantages of our approach over the state-of-the-art weakly supervised methods, especially so when the video activity descriptions become more complex.


title: Cooperative Exploration for Multi-Agent Deep Reinforcement Learning

abstract: Exploration is critical for good results in deep reinforcement learning and has attracted much attention. However, existing multi-agent deep reinforcement learning algorithms still use mostly noise-based techniques. Very recently, exploration methods that consider cooperation among multiple agents have been developed. However, existing methods suffer from a common challenge: agents struggle to identify states that are worth exploring, and hardly coordinate exploration efforts toward those states. To address this shortcoming, in this paper, we propose cooperative multi-agent exploration (CMAE): agents share a common goal while exploring. The goal is selected from multiple projected state spaces via a normalized entropy-based technique. Then, agents are trained to reach this goal in a coordinated manner. We demonstrate that CMAE consistently outperforms baselines on various tasks, including a sparse-reward version of the multiple-particle environment (MPE) and the Starcraft multi-agent challenge (SMAC).


title: Self-Correcting Neural Networks For Safe Classification

abstract: Classifiers learnt from data are increasingly being used as components in systems where safety is a critical concern. In this work, we present a formal notion of safety for classifiers via constraints called safe-ordering constraints. These constraints relate requirements on the order of the classes output by a classifier to conditions on its input, and are expressive enough to encode various interesting examples of classifier safety specifications from the literature. For classifiers implemented using neural networks, we also present a run-time mechanism for the enforcement of safe-ordering constraints. Our approach is based on a self-correcting layer, which provably yields safe outputs regardless of the characteristics of the classifier input. We compose this layer with an existing neural network classifier to construct a self-correcting network (SC-Net), and show that in addition to providing safe outputs, the SC-Net is guaranteed to preserve the classification accuracy of the original network whenever possible. Our approach is independent of the size and architecture of the neural network used for classification, depending only on the specified property and the dimension of the network's output; thus it is scalable to large state-of-the-art networks. We show that our approach can be optimized for a GPU, introducing run-time overhead of less than 1ms on current hardware -- even on large, widely-used networks containing hundreds of thousands of neurons and millions of parameters.


title: Reconstructing Neutrino Energy using CNNs for GeV Scale IceCube Events

abstract: Measurements of neutrinos at and below 10 GeV provide unique constraints of neutrino oscillation parameters as well as probes of potential Non-Standard Interactions (NSI). The IceCube Neutrino Observatory's DeepCore array is designed to detect neutrinos down to GeV energies. IceCube has built the world's largest data set of neutrinos >10 GeV, making searches for NSI a computational challenge. This work describes the use of convolutional neural networks (CNNs) to improve the energy reconstruction resolution and speed of reconstructing O(10 GeV) neutrino events in IceCube. Compared to current likelihood-based methods which take seconds to minutes, the CNN is expected to provide approximately a factor of 2 improvement in energy resolution while reducing the reconstruction time per event to milliseconds, which is essential for processing large datasets.


title: Deep Learning Based Cardiac MRI Segmentation: Do We Need Experts?

abstract: Deep learning methods are the de-facto solutions to a multitude of medical image analysis tasks. Cardiac MRI segmentation is one such application which, like many others, requires a large number of annotated data so a trained network can generalize well. Unfortunately, the process of having a large number of manually curated images by medical experts is both slow and utterly expensive. In this paper, we set out to explore whether expert knowledge is a strict requirement for the creation of annotated datasets that machine learning can successfully train on. To do so, we gauged the performance of three segmentation models, namely U-Net, Attention U-Net, and ENet, trained with different loss functions on expert and non-expert groundtruth for cardiac cine-MRI segmentation. Evaluation was done with classic segmentation metrics (Dice index and Hausdorff distance) as well as clinical measurements, such as the ventricular ejection fractions and the myocardial mass. Results reveal that generalization performances of a segmentation neural network trained on non-expert groundtruth data is, to all practical purposes, as good as on expert groundtruth data, in particular when the non-expert gets a decent level of training, highlighting an opportunity for the efficient and cheap creation of annotations for cardiac datasets.


title: Influence of a function's coefficients and feedback of the mathematical work when reading a graph in an online assessment system

abstract: This paper shows the results of an experiment applied to 170 students from two Chilean universities who solve a task about reading a graph of an affine function in an online assessment environment where the parameters (coefficients of the graphed affine function) are randomly defined from an ad-hoc algorithm, with automatic correction and automatic feedback. We distinguish two versions: one of them with integer coefficients and the other one with decimal coefficients in the affine function. We observed that the nature of the coefficients impacts the mathematical work used by the students, where we again focus on two of them: by direct estimation from the graph or by calculating the equation of the line. On the other hand, a feedback oriented towards the "estimation" strategy influences the mathematical work used by the students, even though a non-negligible group persists in the "calculating" strategy, which is partly explained by the perception of each of the strategies.


title: Applying Inter-rater Reliability and Agreement in Grounded Theory Studies in Software Engineering

abstract: In recent years, the qualitative research on empirical software engineering that applies Grounded Theory is increasing. Grounded Theory (GT) is a technique for developing theory inductively e iteratively from qualitative data based on theoretical sampling, coding, constant comparison, memoing, and saturation, as main characteristics. Large or controversial GT studies may involve multiple researchers in collaborative coding, which requires a kind of rigor and consensus that an individual coder does not. Although many qualitative researchers reject quantitative measures in favor of other qualitative criteria, many others are committed to measuring consensus through Inter-Rater Reliability (IRR) and/or Inter-Rater Agreement (IRA) techniques to develop a shared understanding of the phenomenon being studied. However, there are no specific guidelines about how and when to apply IRR/IRA during the iterative process of GT, so researchers have been using ad hoc methods for years. This paper presents a process for systematically applying IRR/IRA in GT studies that meets the iterative nature of this qualitative research method, which is supported by a previous systematic literature review on applying IRR/RA in GT studies in software engineering. This process allows researchers to incrementally generate a theory while ensuring consensus on the constructs that support it and, thus, improving the rigor of qualitative research. This formalization helps researchers to apply IRR/IRA to GT studies when various raters are involved in coding. Measuring consensus among raters promotes communicability, transparency, reflexivity, replicability, and trustworthiness of the research.


title: Time of flight 3D imaging through multimode optical fibres

abstract: Time-of-flight (ToF) 3D imaging has a wealth of applications, from industrial inspection to movement tracking and gesture recognition. Depth information is recovered by measuring the round-trip flight time of laser pulses, which usually requires projection and collection optics with diameters of several centimetres. In this work we shrink this requirement by two orders of magnitude, and demonstrate near video-rate 3D imaging through multimode optical fibres (MMFs) - the width of a strand of human hair. Unlike conventional imaging systems, MMFs exhibit exceptionally complex light transport resembling that of a highly scattering medium. To overcome this complication, we implement high-speed aberration correction using wavefront shaping synchronised with a pulsed laser source, enabling random-access scanning of the scene at a rate of $\sim$23,000 points per second. Using non-ballistic light we image moving objects several metres beyond the end of a $\sim$40 cm long MMF of 50$\mu$m core diameter, with millimetric depth resolution, at frame-rates of $\sim$5Hz. Our work extends far-field depth resolving capabilities to ultra-thin micro-endoscopes, and will have a broad range of applications to clinical and remote inspection scenarios.


title: A double-pivot degenerate-robust simplex algorithm for linear programming

abstract: A double pivot algorithm that combines features of two recently published papers by these authors is proposed. The proposed algorithm is implemented in MATLAB. The MATLAB code is tested, along with a MATLAB implementation of Dantzig's algorithm, for several test sets, including a set of cycling LP problems, Klee-Minty's problems, randomly generated linear programming (LP) problems, and Netlib benchmark problems. The test result shows that the proposed algorithm is (a) degenerate-tolerance as we expected, and (b) more efficient than Dantzig's algorithm for large size randomly generated LP problems but less efficient for Netlib benchmark problems and small size randomly generated problems in terms of CPU time.


title: Non-linear equation of motion for Page-Wootters mechanism with interaction and quasi-ideal clocks

abstract: Among the many proposals to approach the concept of time in quantum theory, the Page-Wootters mechanism has attracted much attention in the last few years. Originally, such a mechanism explored a stationary bipartite non-interacting global system, i.e., a system of interest together with an ancillary clock, to determine how the evolution in time can emerge as an equation of motion for a quantum particle conditioned to the measurement of the state of the clock. After the seminal proposal, many variations of it were considered, and different aspects of the mechanism were elucidated. Our contribution to these investigations is that we analyze such a timeless approach to quantum theory but deriving an equation of motion for a mixed state system that evolves according to its gravitationally induced interaction with a non-ideal quantum clock. The interaction considered is known to describe the gravitational decoherence mechanism, and the clock model is the recently proposed quasi-ideal clock, i.e., one constructed to approximate the time-energy canonical commutation relation. As a result of our considerations, we obtained an equation of motion that is non-linear in nature, dependent on the system's initial conditions.


title: Automatic Detection Of Noise Events at Shooting Range Using Machine Learning

abstract: Outdoor shooting ranges are subject to noise regulations from local and national authorities. Restrictions found in these regulations may include limits on times of activities, the overall number of noise events, as well as limits on number of events depending on the class of noise or activity. A noise monitoring system may be used to track overall sound levels, but rarely provide the ability to detect activity or count the number of events, required to compare directly with such regulations. This work investigates the feasibility and performance of an automatic detection system to count noise events. An empirical evaluation was done by collecting data at a newly constructed shooting range and training facility. The data includes tests of multiple weapon configurations from small firearms to high caliber rifles and explosives, at multiple source positions, and collected on multiple different days. Several alternative machine learning models are tested, using as inputs time-series of standard acoustic indicators such as A-weighted sound levels and 1/3 octave spectrogram, and classifiers such as Logistic Regression and Convolutional Neural Networks. Performance for the various alternatives are reported in terms of the False Positive Rate and False Negative Rate. The detection performance was found to be satisfactory for use in automatic logging of time-periods with training activity.


title: Observation of Cosmic Ray Anisotropy with Nine Years of IceCube Data

abstract: The IceCube Observatory has collected over 577 billion cosmic-ray induced muon events in its final configuration from May 2011 to May 2020. We used this data set to provide an unprecedented statistically accurate map of the cosmic ray arrival direction distribution in the TeV-PeV energy range scale in the Southern Hemisphere. Such an increase in event statistics makes it possible to extend the sensitivity to anisotropies at higher cosmic ray energies and smaller angular scales. It will also facilitate a more detailed assessment of the observatory stability over both short- and long-time scales. This will enable us to study the time variability of the cosmic ray anisotropy on a yearly-base and over the entire data sample period covering most of the solar cycle 24. We present the preliminary results from the study with the extended event sample.


title: Scalar Curvatures of Invariant Almost Hermitian Structures on Generalized Flag Manifolds

abstract: In this paper we study invariant almost Hermitian geometry on generalized flag manifolds. We will focus on providing examples of K\"ahler like scalar curvature metric, that is, almost Hermitian structures $(g,J)$ satisfying $s=2s_{\rm C}$, where $s$ is Riemannian scalar curvature and $s_{\rm C}$ is the Chern scalar curvature.


title: Multipartition model for multiple change point identification

abstract: Among the main goals in multiple change point problems are the estimation of the number and positions of the change points, as well as the regime structure in the clusters induced by those changes. The product partition model (PPM) is a widely used approach for the detection of multiple change points. The traditional PPM assumes that change points split the set of time points in random clusters that define a partition of the time axis. It is then typically assumed that sampling model parameter values within each of these blocks are identical. Because changes in different parameters of the observational model may occur at different times, the PPM thus fails to identify the parameters that experienced those changes. A similar problem may occur when detecting changes in multivariate time series. To solve this important limitation, we introduce a multipartition model to detect multiple change points occurring in several parameters at possibly different times. The proposed model assumes that the changes experienced by each parameter generate a different random partition of the time axis, which facilitates identifying which parameters have changed and when they do so. We discuss a partially collapsed Gibbs sampler scheme to implement posterior simulation under the proposed model. We apply the proposed model to identify multiple change points in Normal means and variances and evaluate the performance of the proposed model through Monte Carlo simulations and data illustrations. Its performance is compared with some previously proposed approaches for change point problems. These studies show that the proposed model is competitive and enriches the analysis of change point problems.


title: Unidirectional flow of composite bright-bright solitons through asymmetric double potential barriers and wells

abstract: We investigate the dynamics of two component bright-bright (BB) solitons through reflectionless double barrier and double well potentials in the framework of a Manakov system governed by the coupled nonlinear Schr\"{o}dinger equations. The objective is to achieve unidirectional flow and unidirectional segregation/splitting, which may be used in the design of optical data processing devices. We observe how the propagation of composite BB soliton is affected by the presence of interaction coupling between the two components passing through the asymmetric potentials. We consider Gaussian and Rosen-Morse double potential barriers in order to achieve the unidirectional flow. Moreover, we observe a novel phenomenon which we name "\textit{Polarity Reversal}" in the unidirectional flow. In this situation, the polarity of the diode is reversed. To understand the physics underlying these phenomena, we perform a variational calculation where we also achieve unidirectional segregation/splitting using an asymmetric double square potential well. Our comparative study between analytical and numerical analysis lead to an excellent agreement between the two methods.


title: Variant interpretation using population databases: lessons from gnomAD

abstract: Reference population databases are an essential tool in variant and gene interpretation. Their use guides the identification of pathogenic variants amidst the sea of benign variation present in every human genome, and supports the discovery of new disease-gene relationships. The Genome Aggregation Database (gnomAD) is currently the largest and most widely used publicly available collection of population variation from harmonized sequencing data. The data is available through the online gnomAD browser (https://gnomad.broadinstitute.org/) that enables rapid and intuitive variant analysis. This review provides guidance on the content of the gnomAD browser, and its usage for variant and gene interpretation. We introduce key features including allele frequency, per-base expression levels, constraint scores, and variant co-occurrence, alongside guidance on how to use these in analysis, with a focus on the interpretation of candidate variants and novel genes in rare disease.


title: Efficient nonparametric estimation of the covariate-adjusted threshold-response function, a support-restricted stochastic intervention

abstract: Identifying a biomarker or treatment-dose threshold that marks a specified level of risk is an important problem, especially in clinical trials. This risk, viewed as a function of thresholds and possibly adjusted for covariates, we call the threshold-response function. Extending the work of Donovan, Hudgens and Gilbert (2019), we propose a nonparametric efficient estimator for the covariate-adjusted threshold-response function, which utilizes machine learning and Targeted Minimum-Loss Estimation (TMLE). We additionally propose a more general estimator, based on sequential regression, that also applies when there is outcome missingness. We show that the threshold-response for a given threshold may be viewed as the expected outcome under a stochastic intervention where all participants are given a treatment dose above the threshold. We prove the estimator is efficient and characterize its asymptotic distribution. A method to construct simultaneous 95% confidence bands for the threshold-response function and its inverse is given. Furthermore, we discuss how to adjust our estimator when the treatment or biomarker is missing-at-random, as is the case in clinical trials with biased sampling designs, using inverse-probability-weighting. The methods are assessed in a diverse set of simulation settings with rare outcomes and cumulative case-control sampling. The methods are employed to estimate neutralizing antibody thresholds for virologically confirmed dengue risk in the CYD14 and CYD15 dengue vaccine trials.


title: Non-intrusive reduced order modeling of natural convection in porous media using convolutional autoencoders: comparison with linear subspace techniques

abstract: Natural convection in porous media is a highly nonlinear multiphysical problem relevant to many engineering applications (e.g., the process of $\mathrm{CO_2}$ sequestration). Here, we present a non-intrusive reduced order model of natural convection in porous media employing deep convolutional autoencoders for the compression and reconstruction and either radial basis function (RBF) interpolation or artificial neural networks (ANNs) for mapping parameters of partial differential equations (PDEs) on the corresponding nonlinear manifolds. To benchmark our approach, we also describe linear compression and reconstruction processes relying on proper orthogonal decomposition (POD) and ANNs. We present comprehensive comparisons among different models through three benchmark problems. The reduced order models, linear and nonlinear approaches, are much faster than the finite element model, obtaining a maximum speed-up of $7 \times 10^{6}$ because our framework is not bound by the Courant-Friedrichs-Lewy condition; hence, it could deliver quantities of interest at any given time contrary to the finite element model. Our model's accuracy still lies within a mean squared error of 0.07 (two-order of magnitude lower than the maximum value of the finite element results) in the worst-case scenario. We illustrate that, in specific settings, the nonlinear approach outperforms its linear counterpart and vice versa. We hypothesize that a visual comparison between principal component analysis (PCA) or t-Distributed Stochastic Neighbor Embedding (t-SNE) could indicate which method will perform better prior to employing any specific compression strategy.


title: Calabi-Yau CFTs and Random Matrices

abstract: Using numerical methods for finding Ricci-flat metrics, we explore the spectrum of local operators in two-dimensional conformal field theories defined by sigma models on Calabi-Yau targets at large volume. Focusing on the examples of K3 and the quintic, we show that the spectrum, averaged over a region in complex structure moduli space, possesses the same statistical properties as the Gaussian orthogonal ensemble of random matrix theory.


title: LEGEND-1000 Preconceptual Design Report

abstract: We propose the construction of LEGEND-1000, the ton-scale Large Enriched Germanium Experiment for Neutrinoless $\beta \beta$ Decay. This international experiment is designed to answer one of the highest priority questions in fundamental physics. It consists of 1000 kg of Ge detectors enriched to more than 90% in the $^{76}$Ge isotope operated in a liquid argon active shield at a deep underground laboratory. By combining the lowest background levels with the best energy resolution in the field, LEGEND-1000 will perform a quasi-background-free search and can make an unambiguous discovery of neutrinoless double-beta decay with just a handful of counts at the decay $Q$ value. The experiment is designed to probe this decay with a 99.7%-CL discovery sensitivity in the $^{76}$Ge half-life of $1.3\times10^{28}$ years, corresponding to an effective Majorana mass upper limit in the range of 9-21 meV, to cover the inverted-ordering neutrino mass scale with 10 yr of live time.


title: Top-Down Model of Limescale Formation in Turbulent Pipe Flows

abstract: We investigate calcium carbonate scale formation at high Reynolds numbers in a large pipe rig facility. The calcium carbonate solution is produced from the injection, at a T-joint inlet, of pH-stabilized sodium carbonate and calcium chloride aqueous solutions. A scanning electron microscopy analysis of the deposited mass along the pipe indicates that after an initial transient regime of ion-by-ion crystal growth, calcium carbonate scale is dominated by particulate deposition. While limescale formation in regions that are closer to the pipe's entrance can be described as the heterogeneous surface nucleation of calcium and carbonate ions driven by turbulent diffusion, we rely upon turbophoresis phenomenology to devise a peculiarly simple kinetic model of deposition at farther downstream regions. Letting $\Phi$ and $R$ be the flow rate and the pipe's radius, respectively, the mass deposition rates per unit time and unit area are predicted to scale as $\Phi^\alpha / R^\beta$ (for certain modeled values of the $\alpha$ and $\beta$ parameters) with suggestive support from our experiments.


title: Tensor RG approach to high-temperature fixed point

abstract: We study a renormalization group (RG) map for tensor networks that include two-dimensional lattice spin systems such as the Ising model. Numerical studies of such RG maps have been quite successful at reproducing the known critical behavior. In those numerical studies the RG map must be truncated to keep the dimension of the legs of the tensors bounded. Our tensors act on an infinite-dimensional Hilbert space, and our RG map does not involve any truncations. Our RG map has a trivial fixed point which represents the high-temperature fixed point. We prove that if we start with a tensor that is close to this fixed point tensor, then the iterates of the RG map converge in the Hilbert-Schmidt norm to the fixed point tensor. It is important to emphasize that this statement is not true for the simplest tensor network RG map in which one simply contracts four copies of the tensor to define the renormalized tensor. The linearization of this simple RG map about the fixed point is not a contraction due to the presence of so-called CDL tensors. Our work provides a first step towards the important problem of the rigorous study of RG maps for tensor networks in a neighborhood of the critical point.

categories: math-ph cond-mat.stat-mech cond-mat.str-el hep-th math.MP


title: Efficient approximation of branching random walk Gibbs measures

abstract: Disordered systems such as spin glasses have been used extensively as models for high-dimensional random landscapes and studied from the perspective of optimization algorithms. In a recent paper by L. Addario-Berry and the second author, the continuous random energy model (CREM) was proposed as a simple toy model to study the efficiency of such algorithms. The following question was raised in that paper: what is the threshold $\beta_G$, at which sampling (approximately) from the Gibbs measure at inverse temperature $\beta$ becomes algorithmically hard? This paper is a first step towards answering this question. We consider the branching random walk, a time-homogeneous version of the continuous random energy model. We show that a simple greedy search on a renormalized tree yields a linear-time algorithm which approximately samples from the Gibbs measure, for every $\beta < \beta_c$, the (static) critical point. More precisely, we show that for every $\varepsilon>0$, there exists such an algorithm such that the specific relative entropy between the law sampled by the algorithm and the Gibbs measure of inverse temperature $\beta$ is less than $\varepsilon$ with high probability. In the supercritical regime $\beta > \beta_c$, we provide the following hardness result. Under a mild regularity condition, for every $\delta > 0$, there exists $z>0$ such that the running time of any given algorithm approximating the Gibbs measure stochastically dominates a geometric random variable with parameter $e^{-z\sqrt{N}}$ on an event with probability at least $1-\delta$.


title: A 1-dimensional formal group over the prismatization of Spf Z_p

abstract: Let Sigma denote the prismatization of Spf (Z_p). The multiplicative group over Sigma maps to the prismatization of the multiplicative group over Spf (Z_p). We prove that the kernel of this map is the Cartier dual of some 1-dimensional formal group over Sigma. We obtain some results about this formal group (e.g., we describe its Lie algebra). We give a very explicit description of the pullback of the formal group to the quotient of the q-de Rham prism by the action of the multiplicative group of Z_p.


title: Spatio-Temporal Lattice Planning Using Optimal Motion Primitives

abstract: Lattice-based planning techniques simplify the motion planning problem for autonomous vehicles by limiting available motions to a pre-computed set of primitives. These primitives are then combined online to generate more complex maneuvers. A set of motion primitives t-span a lattice if, given a real number t at least 1, any configuration in the lattice can be reached via a sequence of motion primitives whose cost is no more than a factor of t from optimal. Computing a minimal t-spanning set balances a trade-off between computed motion quality and motion planning performance. In this work, we formulate this problem for an arbitrary lattice as a mixed integer linear program. We also propose an A*-based algorithm to solve the motion planning problem using these primitives. Finally, we present an algorithm that removes the excessive oscillations from planned motions -- a common problem in lattice-based planning. Our method is validated for autonomous driving in both parking lot and highway scenarios.


title: Using a Cross-Task Grid of Linear Probes to Interpret CNN Model Predictions On Retinal Images

abstract: We analyze a dataset of retinal images using linear probes: linear regression models trained on some "target" task, using embeddings from a deep convolutional (CNN) model trained on some "source" task as input. We use this method across all possible pairings of 93 tasks in the UK Biobank dataset of retinal images, leading to ~164k different models. We analyze the performance of these linear probes by source and target task and by layer depth. We observe that representations from the middle layers of the network are more generalizable. We find that some target tasks are easily predicted irrespective of the source task, and that some other target tasks are more accurately predicted from correlated source tasks than from embeddings trained on the same task.


title: Moving vortices in anisotropic superconductors

abstract: The magnetic field of moving vortices in anisotropic superconductors is considered in the framework of time-dependent London approach. It is found that at distances large relative to the core size, the field may change sign that alludes to a non-trivial intervortex interaction which depends on the crystal anisotropy and on the speed and direction of motion. These effects are caused to the electric fields and corresponding normal currents which appear due to the moving vortex magnetic structure. We find that the motion related part of the magnetic field attenuates at large distances as $1/r^3$ unlike the exponential decay of the static vortex field. The electric field induced by the vortex motion decreases as $1/r^2$.


title: Multi-Echo LiDAR for 3D Object Detection

abstract: LiDAR sensors can be used to obtain a wide range of measurement signals other than a simple 3D point cloud, and those signals can be leveraged to improve perception tasks like 3D object detection. A single laser pulse can be partially reflected by multiple objects along its path, resulting in multiple measurements called echoes. Multi-echo measurement can provide information about object contours and semi-transparent surfaces which can be used to better identify and locate objects. LiDAR can also measure surface reflectance (intensity of laser pulse return), as well as ambient light of the scene (sunlight reflected by objects). These signals are already available in commercial LiDAR devices but have not been used in most LiDAR-based detection models. We present a 3D object detection model which leverages the full spectrum of measurement signals provided by LiDAR. First, we propose a multi-signal fusion (MSF) module to combine (1) the reflectance and ambient features extracted with a 2D CNN, and (2) point cloud features extracted using a 3D graph neural network (GNN). Second, we propose a multi-echo aggregation (MEA) module to combine the information encoded in different set of echo points. Compared with traditional single echo point cloud methods, our proposed Multi-Signal LiDAR Detector (MSLiD) extracts richer context information from a wider range of sensing measurements and achieves more accurate 3D object detection. Experiments show that by incorporating the multi-modality of LiDAR, our method outperforms the state-of-the-art by up to 9.1%.


title: Heralded preparation of polarization entanglement via quantum scissors

abstract: Quantum entanglement is at the heart of quantum information sciences and quantum technologies. In the optical domain, the most common type of quantum entanglement is polarization entanglement, which is usually created in a postselection manner involving destructive photon detection and thus hindering further applications which require readily available entanglement resources. In this work, we propose a scheme to prepare multipartite entangled states of polarized photons in a heralded manner, i.e., without postselection. We exploit the quantum scissors technique to truncate a given continuous-variable entanglement into the target entangled states which are of hybrid discrete-continuous or solely discrete types. We consider two implementations of the quantum scissors: one modified from the original quantum scissors [Pegg et al., Phys. Rev. Lett. 81, 1604 (1998)] using single photons and linear optics and the other designed here using a type-II two-mode squeezer. We clarify the pros and cons of these two implementations as well as discussing practical aspects of the entanglement preparation. Our work illustrates an interface between various types of optical entanglement and the proposed quantum scissors techniques could serve as alternative methods for heralded generation of polarization entanglement.


title: Clipped Hyperbolic Classifiers Are Super-Hyperbolic Classifiers

abstract: Hyperbolic space can naturally embed hierarchies, unlike Euclidean space. Hyperbolic Neural Networks (HNNs) exploit such representational power by lifting Euclidean features into hyperbolic space for classification, outperforming Euclidean neural networks (ENNs) on datasets with known semantic hierarchies. However, HNNs underperform ENNs on standard benchmarks without clear hierarchies, greatly restricting HNNs' applicability in practice. Our key insight is that HNNs' poorer general classification performance results from vanishing gradients during backpropagation, caused by their hybrid architecture connecting Euclidean features to a hyperbolic classifier. We propose an effective solution by simply clipping the Euclidean feature magnitude while training HNNs. Our experiments demonstrate that clipped HNNs become super-hyperbolic classifiers: They are not only consistently better than HNNs which already outperform ENNs on hierarchical data, but also on-par with ENNs on MNIST, CIFAR10, CIFAR100 and ImageNet benchmarks, with better adversarial robustness and out-of-distribution detection.


title: A Mission to Nature's Telescope for High-Resolution Imaging of an Exoplanet

abstract: The solar gravitational lens (SGL) provides a factor of $10^{11}$ amplification for viewing distant point sources beyond our solar system. As such, it may be used for resolved imaging of extended sources, such as exoplanets, not possible otherwise. To use the SGL, a spacecraft carrying a modest telescope and a coronagraph must reach the SGLs focal region, that begins at $\sim$550 astronomical units (AU) from the Sun and is oriented outward along the line connecting the distant object and the Sun. No spacecraft has ever reached even a half of that distance; and to do so within a reasonable mission lifetime (e.g., less than 25 years) and affordable cost requires a new type of mission design, using solar sails and microsats ($<100$~kg). The payoff is high -- using the SGL is the only practical way we can ever get a high-resolution, multi-pixel image of an Earth-like exoplanet, one that we identify as potentially habitable. This paper describes a novel mission design starting with a rideshare launch from the Earth, spiraling in toward the Sun, and then flying around it to achieve solar system exit speeds of over $20$ AU/year. A new sailcraft design is used to make possible high area to mass ratio for the sailcraft. The mission design enables other fast solar system missions, starting with a proposed very low cost technology demonstration mission (TDM) to prove the functionality and operation of the microsat-solar sail design and then, building on the TDM, missions to explore distant regions of the solar system, and those to study Kuiper Belt objects (KBOs) and the recently discovered interstellar objects (ISOs) are also possible.


title: Quantum Private Broadcasting

abstract: In Private Broadcasting, a single plaintext is broadcast to multiple recipients in an encrypted form, such that each recipient can decrypt locally. When the message is classical, a straightforward solution is to encrypt the plaintext with a single key shared among all parties, and to send to each recipient a copy of the ciphertext. Surprisingly, the analogous method is insufficient in the case where the message is quantum (i.e. in Quantum Private Broadcasting (QPB)). In this work, we give three solutions to $t$-recipient Quantum Private Broadcasting ($t$-QPB) and compare them in terms of key lengths. The first method is the independent encryption with the quantum one-time pad, which requires a key linear in the number of recipients, $t$. We show that the key length can be decreased to be logarithmic in $t$ by using unitary $t$-designs. Our main contribution is to show that this can be improved to a key length that is logarithmic in the dimension of the symmetric subspace, using a new concept that we define of symmetric unitary $t$-designs, that may be of independent interest.


title: Invariant cones for semigroups and controllability of bilinear control systems

abstract: In this paper we present necessary and sufficient conditions to guarantee the existence of invariant cones, for semigroup actions, in the space of the $k$-fold exterior product. As consequence we establish a necessary and sufficient condition for controllability of a class of bilinear control systems.


title: Universal sampling discretization

abstract: Let $X_N$ be an $N$-dimensional subspace of $L_2$ functions on a probability space $(\Omega, \mu)$ spanned by a uniformly bounded Riesz basis $\Phi_N$. Given an integer $1\leq v\leq N$ and an exponent $1\leq q\leq 2$, we obtain universal discretization for integral norms $L_q(\Omega,\mu)$ of functions from the collection of all subspaces of $X_N$ spanned by $v$ elements of $\Phi_N$ with the number $m$ of required points satisfying $m\ll v(\log N)^2(\log v)^2$. This last bound on $m$ is much better than previously known bounds which are quadratic in $v$. Our proof uses a conditional theorem on universal sampling discretization, and an inequality of entropy numbers in terms of greedy approximation with respect to dictionaries.


title: Plinko: Eliciting beliefs to build better models of statistical learning and mental model updating

abstract: Prior beliefs are central to Bayesian accounts of cognition, but many of these accounts do not directly measure priors. More specifically, initial states of belief heavily influence how new information is assumed to be utilized when updating a particular model. Despite this, prior and posterior beliefs are either inferred from sequential participant actions or elicited through impoverished means. We had participants play a version of the game "Plinko", to first elicit individual participant priors in a theoretically agnostic manner. Subsequent learning and updating of participant beliefs was then directly measured. We show that participants hold a variety of priors that cluster around prototypical probability distributions that in turn influence learning. In follow-up experiments we show that participant priors are stable over time and that the ability to update beliefs is influenced by a simple environmental manipulation (i.e. a short break). This data reveals the importance of directly measuring participant beliefs rather than assuming or inferring them as has been widely done in the literature to date. The Plinko game provides a flexible and fecund means for examining statistical learning and mental model updating.


title: On classification and deformations of Lie-Rinehart superalgebras

abstract: The purpose of this paper is to study Lie-Rinehart superalgebras over characteristic zero fields, which are consisting of a supercommutative associative superalgebra $A$ and a Lie superalgebra $L$ that are compatible in a certain way. We discuss their structure and provide a classification in small dimensions. We describe all possible pairs defining a Lie-Rinehart superalgebra for $\dim(A)\leq 2$ and $\dim(L)\leq 4$. Moreover, we construct a cohomology complex and develop a theory of formal deformations based on formal power series and this cohomology.


title: Error Floor Analysis of LDPC Column Layered Decoders

abstract: In this paper, we analyze the error floor of column layered decoders, also known as shuffled decoders, for low-density parity-check (LDPC) codes under saturating sum-product algorithm (SPA). To estimate the error floor, we evaluate the failure rate of different trapping sets (TSs) that contribute to the frame error rate in the error floor region. For each such TS, we model the dynamics of SPA in the vicinity of the TS by a linear state-space model that incorporates the information of the layered message-passing schedule. Consequently, the model parameters and the failure rate of the TS change as a result of the change in the order by which the messages of different layers are updated. This, in turn, causes the error floor of the code to change as a function of scheduling. Based on the proposed analysis, we then devise an efficient search algorithm to find a schedule that minimizes the error floor. Simulation results are presented to verify the accuracy of the proposed error floor estimation technique.


title: Simulating a stellar contact binary merger -- I. Stellar models

abstract: We study the initial conditions of a common envelope (CE) event resulting in a stellar merger. A merger's dynamics could be understood through its light curve, but no synthetic light curve has yet been created for the full evolution. Using the Smoothed Particle Hydrodynamics (SPH) code StarSmasher, we have created three-dimensional (3D) models of a 1.52 $M_\odot$ star that is a plausible donor in the V1309 Sco progenitor. The integrated total energy profiles of our 3D models match their initial one-dimensional (1D) models to within a 0.1 per cent difference in the top 0.1 $M_\odot$ of their envelopes. We have introduced a new method for obtaining radiative flux by linking intrinsically optically thick SPH particles to a single stellar envelope solution from a set of unique solutions. For the first time, we calculated our 3D models' effective temperatures to within a few per cent of the initial 1D models, and found a corresponding improvement in luminosity by a factor of $\gtrsim10^6$ compared to ray tracing. We let our highest resolution 3D model undergo Roche-lobe overflow with a 0.16 $M_\odot$ point-mass accretor ($P\simeq1.6$ days) and found a bolometric magnitude variability amplitude of $\sim0.3$ -- comparable to that of the V1309 Sco progenitor. Our 3D models are, in the top 0.1 $M_\odot$ of the envelope and in terms of total energy, the most accurate models so far of the V1309 Sco donor star. A dynamical simulation that uses the initial conditions we presented in this paper can be used to create the first ever synthetic CE evolution light curve.


title: Similarity Based Label Smoothing For Dialogue Generation

abstract: Generative neural conversational systems are generally trained with the objective of minimizing the entropy loss between the training "hard" targets and the predicted logits. Often, performance gains and improved generalization can be achieved by using regularization techniques like label smoothing, which converts the training "hard" targets to "soft" targets. However, label smoothing enforces a data independent uniform distribution on the incorrect training targets, which leads to an incorrect assumption of equi-probable incorrect targets for each correct target. In this paper we propose and experiment with incorporating data dependent word similarity based weighing methods to transforms the uniform distribution of the incorrect target probabilities in label smoothing, to a more natural distribution based on semantics. We introduce hyperparameters to control the incorrect target distribution, and report significant performance gains over networks trained using standard label smoothing based loss, on two standard open domain dialogue corpora.


title: Supershear surface waves reveal prestress and anisotropy of soft materials

abstract: Surface waves play important roles in many fundamental and applied areas from seismic detection to material characterizations. Supershear surface waves with propagation speeds greater than bulk shear waves have recently been reported, but their properties are not well understood. In this Letter, we describe theoretical and experimental results on supershear surface waves in rubbery materials. We find that supershear surface waves can be supported in viscoelastic materials with no restriction on the shear quality factor. Interestingly, the effect of prestress on the speed of the supershear surface wave is opposite to that of the Rayleigh surface wave. Furthermore, anisotropy of material affects the supershear wave much more strongly than the Rayleigh surface wave. We offer heuristic interpretation as well as theoretical verification of our experimental observations. Our work points to the potential applications of supershear waves for characterizing the bulk mechanical properties of soft solid from the free surface.


title: The Riemann-Hilbert problem and the generalized Neumann kernel on unbounded multiply connected regions

abstract: A Fredholm integral equation of the second kind with the generalized Neumann kernel associated with the Riemann-Hilbert problem on unbounded multiply connected regions will be derived and studied in this paper. The derived integral equation yields a uniquely solvable boundary integral equations for the modified Dirichlet problem on unbounded multiply connected regions.


title: Dzyaloshinskii-Moriya Induced Topological Magnon-Phonon Hybridization in 2D Antiferromagnetic Insulators with Tunable Chern Numbers

abstract: We theoretically study magnon-phonon hybrid excitations (magnon-polarons) in two-dimensional antiferromagnets on a honeycomb lattice. With an in-plane Dzyaloshinskii-Moriya interaction (DMI) allowed from mirror symmetry breaking from phonons, we find non-trivial Berry curvature around the anti-crossing rings among magnon and both optical and acoustic phonon bands, which gives rise to finite Chern numbers. We show that the Chern numbers of the magnon-polaron bands can be manipulated by changing the magnetic field direction or strength. We evaluate the thermal Hall conductivity reflecting the non-trivial Berry curvatures of magnon-polarons and propose a valley Hall effect resulting from spin-induced chiral phonons as a possible experimental signature. Our study complements prior work on magnon-phonon hybridized systems without optical phonons and suggests possible applications in spin caloritronics with topological magnons and chiral phonons.


title: Circular arc polygons, numerical conformal mappings, and moduli of quadrilaterals

abstract: We study numerical conformal mappings of planar Jordan domains with boundaries consisting of finitely many circular arcs and compute the moduli of quadrilaterals for these domains. Experimental error estimates are provided and, when possible, comparison to exact values or other methods are given. The main ingredients of the computation are boundary integral equations combined with the fast multipole method.


title: Measurement of the inclusive and differential Higgs boson production cross sections in the decay mode to a pair of $\tau$ leptons in pp collisions at $\sqrt{s}$ = 13 TeV

abstract: Measurements of the inclusive and differential fiducial cross sections of the Higgs boson are presented, using the $\tau$ lepton decay channel. The differential cross sections are measured as functions of the Higgs boson transverse momentum, jet multiplicity, and transverse momentum of the leading jet in the event if any. The analysis is performed using proton-proton data collected with the CMS detector at the LHC at a center-of-mass energy of 13 TeV and corresponding to an integrated luminosity of 138 fb$^{-1}$. These are the first differential measurements of the Higgs boson cross section in the final state of two $\tau$ leptons. In final states with a large jet multiplicity or with a Lorentz-boosted Higgs boson, these measurements constitute a significant improvement over measurements performed in other final states.


title: A Map of Diffuse Radio Emission at 182 MHz to Enhance Epoch of Reionization Observations in the Southern Hemisphere

abstract: We present a broadband map of polarized diffuse emission at 167-198 MHz developed from data from the Murchison Widefield Array (MWA). The map is designed to improve visibility simulation and precision calibration for 21 cm Epoch of Reionization (EoR) experiments. It covers a large swath - 11,000 sq. deg. - of the Southern Hemisphere sky in all four Stokes parameters and captures emission on angular scales of 1 to 9 degrees. The band-averaged diffuse structure is predominantly unpolarized but has significant linearly polarized structure near RA = 0 h. We evaluate the accuracy of the map by combining it with the GLEAM catalog and simulating an observation from the MWA, demonstrating that the accuracy of the short baselines (6.1-50 wavelengths) now approaches the accuracy of the longer baselines typically used for EoR calibration. We discuss how to use the map for visibility simulation for a variety of interferometric arrays. The map has potential to improve calibration accuracy for experiments such as the Hydrogen Epoch of Reionization Array (HERA) and the forthcoming Square Kilometre Array (SKA) as well as the MWA.


title: Reports on families of imaginary abelian fields with pseudo-null unramified Iwasawa modules

abstract: Let $p$ be a prime number. We show that, there exists an infinite family of imaginary abelian fields such that, the Iwasawa module of the maximal multiple ${\Bbb Z}_p$-extension is non trivial and pseudo-null for each field in the family. We also discuss on an application to non-abelian Iwasawa theory in the sense of Ozaki.


title: High-Frequency Instabilities of Stokes Waves

abstract: Euler's equations govern the behavior of gravity waves on the surface of an incompressible, inviscid, and irrotational fluid of arbitrary depth. We investigate the spectral stability of sufficiently small-amplitude, one-dimensional Stokes waves, i.e., periodic gravity waves of permanent form and constant velocity, in both finite and infinite depth. Using a nonlocal formulation of Euler's equations developed by Ablowitz et al. (2006), we develop a perturbation method to describe the first few high-frequency instabilities away from the origin, present in the spectrum of the linearization about the small-amplitude Stokes waves. Asymptotic and numerical computations of these instabilities are compared for the first time to excellent agreement.


title: Local Group timing argument and virial theorem mass estimators from cosmological simulations

abstract: We identify Local Group (LG) analogs in the IllustrisTNG cosmological simulation, and use these to study two mass estimators for the LG: one based on the timing argument (TA) and one based on the virial theorem (VT). Including updated measurements of the Milky Way-M31 tangential velocity and the cosmological constant, we show that the TA mass estimator slightly overestimates the true median LG-mass, though the ratio of the TA to the true mass is consistent at the approximate 90\% c.l. These are in broad agreement with previous results using dark matter-only simulations. We show that the VT estimator better estimates the true LG-mass, though there is a larger scatter in the virial mass to true mass ratio relative to the corresponding ratio for the TA. We attribute the broader scatter in the VT estimator to several factors, including the predominantly radial orbits for LG satellite galaxies, which differs from the VT assumption of isotropic orbits. With the systematic uncertainties we derive, the updated measurements of the LG mass at 90\% c.l. are $4.75_{-2.41}^{+2.22} \times 10^{12}$ M$_\odot$ from the TA and $2.0_{-1.5}^{+2.1} \times 10^{12}$ M$_\odot$ from the VT. We consider the LMC's effect on the TA and VT LG mass estimates, and do not find exact LMC-MW-M31 analogues in the Illustris simulations. However, in LG simulations with satellite companions as massive as the LMC we find that the effect on the TA and VT estimators is small, though we need further studies on a larger sample of LMC-MW-M31 systems to confirm these results.


title: Dark Matter Neutrino Scattering in the Galactic Center with IceCube

abstract: While there is evidence for the existence of dark matter, its properties have yet to be discovered. Simultaneously, the nature of high-energy astrophysical neutrinos detected by IceCube remains unresolved. If dark matter and neutrinos are coupled to each other, they may exhibit a non-zero elastic scattering cross section. Such an interaction between an isotropic extragalactic neutrino flux and dark matter would be concentrated in the Galactic Centre, where the dark matter column density is greatest. This scattering would attenuate the flux of high-energy neutrinos, which could be observed in IceCube. Using the seven-year Medium Energy Starting Events sample, we perform an unbinned likelihood analysis, searching for a signal based on a possible DM-neutrino interaction scenario. We search for a suppression of the high-energy astrophysical neutrino flux in the direction of the Galactic Centre, and compare these constraints to complementary low-energy information from large scale structure surveys and the cosmic microwave background.


title: Representability of cohomology of finite flat abelian group schemes

abstract: We prove various finiteness and representability results for flat cohomology of finite flat abelian group schemes. In particular, we show that if $f:X\rightarrow \mathrm{Spec} (k)$ is a projective scheme over a field $k$ and $G$ is a finite flat abelian group scheme over $X$ then $R^if_*G$ is an algebraic space for all $i$. More generally, we study the derived pushforwards $R^if_*G$ for $f:X\rightarrow S$ a projective morphism and $G$ a finite flat abelian group scheme over $X$. We also develop a theory of compactly supported cohomology for finite flat abelian group schemes, describe cohomology in terms of the cotangent complex for group schemes of height $1$, and relate the Dieudonn\'e modules of the group schemes $R^if_*\mu _p$ to cohomology generalizing work of Illusie. A higher categorical version of our main representability results is also presented.


title: Weighted norm inequalities for the maximal functions associated to a critical radius function on variable Lebesgue spaces

abstract: In this work we obtain boundedness on weighted variable Lebesgue spaces of some maximal functions that come from the localized analysis considering a critical radius function. This analysis appears naturally in the context of the Schr\"odinger operator $\mathcal{L}=-\Delta+V$ in $\mathbb{R}^d$, where $V$ a non-negative potential satisfying some specific reverse H\"older condition. We consider new classes of weights that locally behave as the Muckenhoupt class for Lebesgue spaces with variable exponents considered in Cruz Uribe et al. (J. Math. Anal. Appl. 394(2):744-760, 2012) and actually include them.


title: TinyAction Challenge: Recognizing Real-world Low-resolution Activities in Videos

abstract: This paper summarizes the TinyAction challenge which was organized in ActivityNet workshop at CVPR 2021. This challenge focuses on recognizing real-world low-resolution activities present in videos. Action recognition task is currently focused around classifying the actions from high-quality videos where the actors and the action is clearly visible. While various approaches have been shown effective for recognition task in recent works, they often do not deal with videos of lower resolution where the action is happening in a tiny region. However, many real world security videos often have the actual action captured in a small resolution, making action recognition in a tiny region a challenging task. In this work, we propose a benchmark dataset, TinyVIRAT-v2, which is comprised of naturally occuring low-resolution actions. This is an extension of the TinyVIRAT dataset and consists of actions with multiple labels. The videos are extracted from security videos which makes them realistic and more challenging. We use current state-of-the-art action recognition methods on the dataset as a benchmark, and propose the TinyAction Challenge.


title: A new semi-finite form of the quintuple product identity

abstract: The quintuple product identity are deduced from a new semi-finite form, which are obtained from the very-well-poised $_6\phi_5$ series.


title: Training multi-objective/multi-task collocation physics-informed neural network with student/teachers transfer learnings

abstract: This paper presents a PINN training framework that employs (1) pre-training steps that accelerates and improve the robustness of the training of physics-informed neural network with auxiliary data stored in point clouds, (2) a net-to-net knowledge transfer algorithm that improves the weight initialization of the neural network and (3) a multi-objective optimization algorithm that may improve the performance of a physical-informed neural network with competing constraints. We consider the training and transfer and multi-task learning of physics-informed neural network (PINN) as multi-objective problems where the physics constraints such as the governing equation, boundary conditions, thermodynamic inequality, symmetry, and invariant properties, as well as point cloud used for pre-training can sometimes lead to conflicts and necessitating the seek of the Pareto optimal solution. In these situations, weighted norms commonly used to handle multiple constraints may lead to poor performance, while other multi-objective algorithms may scale poorly with increasing dimensionality. To overcome this technical barrier, we adopt the concept of vectorized objective function and modify a gradient descent approach to handle the issue of conflicting gradients. Numerical experiments are compared the benchmark boundary value problems solved via PINN. The performance of the proposed paradigm is compared against the classical equal-weighted norm approach. Our numerical experiments indicate that the brittleness and lack of robustness demonstrated in some PINN implementations can be overcome with the proposed strategy.


title: Mori-Zwanzig formalism for general relativity: a new approach to the averaging problem

abstract: Cosmology relies on a coarse-grained description of the universe, assumed to be valid on large length scales. However, the nonlinearity of general relativity makes coarse-graining extremely difficult. We here address this problem by extending the Mori-Zwanzig projection operator formalism, a highly successful coarse-graining method from statistical mechanics, towards general relativity. Using the Buchert equations, we derive a new dynamic equation for the Hubble parameter which captures the effects of averaging through a memory function. This gives an empirical prediction for the cosmic jerk.

categories: gr-qc astro-ph.CO cond-mat.stat-mech hep-ph


title: Measurement of the $^{18}$Ne($\alpha,p$)$^{21}$Na reaction with ANASEN at $E_{c.m.} = $ 2.5-4 MeV

abstract: The $^{18}$Ne($\alpha,p$)$^{21}$Na reaction plays a significant role in Type-I X-ray bursts. It is a major path in the breakout from the hot-CNO cycles to the synthesis of heavier elements in the $\alpha p$-- and $rp$-processes. An experiment to determine the cross section of this reaction was performed with the ANASEN active-target detector system, determining the cross section at energies between 2.5 and 4 MeV in the center-of-mass frame. The measured cross sections for reactions populating the ground state in $^{21}$Na are consistent with results obtained from the time-inverse reaction, but significantly lower than the previously published experimental data of direct measurements. The total cross sections are also compared with those derived from indirect methods and statistical-model calculations. This experiment establishes a new experimental data set on the excitation function of the $^{18}$Ne($\alpha,p$)$^{21}$Na reaction, revealing the significance of the excited states' contributions to the total reaction cross section and allowing to separate the contribution of the $(\alpha,2p)$ reaction. The impact of the measured cross section on thermal reaction rates is discussed.


title: Low Complexity Hybrid Precoding Designs for Multiuser mmWave/THz Ultra Massive MIMO Systems

abstract: Millimeter-wave and terahertz technologies have been attracting attention from the wireless research community since they can offer large underutilized bandwidths which can enable the support of ultra-high-speed connections in future wireless communication systems. While the high signal attenuation occurring at these frequencies requires the adoption of very large (or the so-called ultra-massive) antenna arrays, in order to accomplish low complexity and low power consumption, hybrid analog/digital designs must be adopted. In this paper we present a hybrid design algorithm suitable for both mmWave and THz multiuser multiple-input multiple-output (MIMO) systems, which comprises separate computation steps for the digital precoder, analog precoder and multiuser interference mitigation. The design can also incorporate different analog architectures such as phase shifters, switches and inverters, antenna selection and so on. Furthermore, it is also applicable for different structures namely, fully connected, arrays of subarrays (AoSA) and dynamic arrays of subarrays (DAoSA), making it suitable for the support of ultra-massive MIMO (UM-MIMO) in severely hardware constrained THz systems. We will show that, by using the proposed approach, it is possible to achieve good trade-offs between spectral efficiency and simplified implementation, even as the number of users and data streams increases.)


title: $\mu$DARTS: Model Uncertainty-Aware Differentiable Architecture Search

abstract: We present a Model Uncertainty-aware Differentiable ARchiTecture Search ($\mu$DARTS) that optimizes neural networks to simultaneously achieve high accuracy and low uncertainty. We introduce concrete dropout within DARTS cells and include a Monte-Carlo regularizer within the training loss to optimize the concrete dropout probabilities. A predictive variance term is introduced in the validation loss to enable searching for architecture with minimal model uncertainty. The experiments on CIFAR10, CIFAR100, SVHN, and ImageNet verify the effectiveness of $\mu$DARTS in improving accuracy and reducing uncertainty compared to existing DARTS methods. Moreover, the final architecture obtained from $\mu$DARTS shows higher robustness to noise at the input image and model parameters compared to the architecture obtained from existing DARTS methods.


title: Computational Mean-field information dynamics associated with Reaction diffusion equations

abstract: We formulate and compute a class of mean-field information dynamics for reaction-diffusion equations. Given a class of nonlinear reaction-diffusion equations and entropy type Lyapunov functionals, we study their gradient flows formulations with generalized optimal transport metrics and mean-field control problems. We apply the primal-dual hybrid gradient algorithm to compute the mean-field control problems with potential energies. A byproduct of the proposed method contains a new and efficient variational scheme for solving implicit in time schemes of mean-field control problems. Several numerical examples demonstrate the solutions of mean-field control problems.


title: Ding injective envelopes in the category of complexes

abstract: A complex $X$ is called Ding injective if there exists an exact sequence of injective complexes $\ldots \rightarrow E_1 \rightarrow E_0 \rightarrow E_{-1} \rightarrow \ldots$ such that $X = Ker(E_0 \rightarrow E_{-1})$, and the sequence remains exact when the functor $Hom(A,-)$ is applied to it, for any $FP$-injective complex $A$. We prove that, over any ring $R$, a complex is Ding injective if and only if it is a complex of Ding injective modules. We use this to show that the class of Ding injective complexes is enveloping over any ring.


title: Efficient Inverse Design of 2D Elastic Metamaterial Systems Using Invertible Neural Networks

abstract: Locally resonant elastic metamaterials (LREM) can be designed, by optimizing the geometry of the constituent self-repeating unit cells, to potentially damp out vibration in selected frequency ranges, thus yielding desired bandgaps. However, it remains challenging to quickly arrive at unit cell designs that satisfy any requested bandgap specifications within a given global frequency range. This paper develops a computationally efficient framework for (fast) inverse design of LREM, by integrating a new type of machine learning models called invertible neural networks or INN. An INN can be trained to predict the bandgap bounds as a function of the unit cell design, and interestingly at the same time it learns to predict the unit cell design given a bandgap, when executed in reverse. In our case the unit cells are represented in terms of the width's of the outer matrix and middle soft filler layer of the unit cell. Training data on the frequency response of the unit cell is provided by Bloch dispersion analyses. The trained INN is used to instantaneously retrieve feasible (or near feasible) inverse designs given a specified bandgap constraint, which is then used to initialize a forward constrained optimization (based on sequential quadratic programming) to find the bandgap satisfying unit cell with minimum mass. Case studies show favorable performance of this approach, in terms of the bandgap characteristics and minimized mass, when compared to the median scenario over ten randomly initialized optimizations for the same specified bandgaps. Further analysis using FEA verify the bandgap performance of a finite structure comprised of $8\times 8$ arrangement of the unit cells obtained with INN-accelerated inverse design.


title: Gain-assisted optical tweezing of plasmonic and large refractive index microspheres

abstract: We have theoretically investigated optical tweezing of gain-functionalized microspheres using a highly focused single beam in the nonparaxial regime. We employ the Mie-Debye theory of optical tweezers to calculate the optical force acting on homogeneous and core-shell Mie microspheres with gain. We demonstrate that the optical gain plays a crucial role in optical manipulation, especially to optimize the restoring force and thus allowing for trapping of large refractive index and plasmonic particles. Indeed we demonstrate that one can trap such particles, which is usually not possible in the case of passive media, by functionalizing them with an optical gain material. We show that by varying the value of the gain, which can be realized by changing the pump power, one can not only achieve trapping but also manipulate the equilibrium position of the tweezed particle. Altogether our findings open new venues for gain-assisted optomechanics, where gain functionalized systems could facilitate optical trapping and manipulation of plasmonic nanoparticles in particular, with potential applications in self-assembling of nanoparticle suspensions and on a chip.


title: Efficient Dataflow Modeling of Peripheral Encoding in the Human Visual System

abstract: Computer graphics seeks to deliver compelling images, generated within a computing budget, targeted at a specific display device, and ultimately viewed by an individual user. The foveated nature of human vision offers an opportunity to efficiently allocate computation and compression to appropriate areas of the viewer's visual field, especially with the rise of high resolution and wide field-of-view display devices. However, while the ongoing study of foveal vision is advanced, much less is known about how humans process imagery in the periphery of their vision -- which comprises, at any given moment, the vast majority of the pixels in the image. We advance computational models for peripheral vision aimed toward their eventual use in computer graphics. In particular, we present a dataflow computational model of peripheral encoding that is more efficient than prior pooling - based methods and more compact than contrast sensitivity-based methods. Further, we account for the explicit encoding of "end stopped" features in the image, which was missing from previous methods. Finally, we evaluate our model in the context of perception of textures in the periphery. Our improved peripheral encoding may simplify development and testing of more sophisticated, complete models in more robust and realistic settings relevant to computer graphics.


title: Use of speaker recognition approaches for learning and evaluating embedding representations of musical instrument sounds

abstract: Constructing an embedding space for musical instrument sounds that can meaningfully represent new and unseen instruments is important for downstream music generation tasks such as multi-instrument synthesis and timbre transfer. The framework of Automatic Speaker Verification (ASV) provides us with architectures and evaluation methodologies for verifying the identities of unseen speakers, and these can be repurposed for the task of learning and evaluating a musical instrument sound embedding space that can support unseen instruments. Borrowing from state-of-the-art ASV techniques, we construct a musical instrument recognition model that uses a SincNet front-end, a ResNet architecture, and an angular softmax objective function. Experiments on the NSynth and RWC datasets show our model's effectiveness in terms of equal error rate (EER) for unseen instruments, and ablation studies show the importance of data augmentation and the angular softmax objective. Experiments also show the benefit of using a CQT-based filterbank for initializing SincNet over a Mel filterbank initialization. Further complementary analysis of the learned embedding space is conducted with t-SNE visualizations and probing classification tasks, which show that including instrument family labels as a multi-task learning target can help to regularize the embedding space and incorporate useful structure, and that meaningful information such as playing style, which was not included during training, is contained in the embeddings of unseen instruments.


title: Universality of free random variables: atoms for non-commutative rational functions

abstract: Consider a tuple $(Y_1,\dots,Y_d)$ of normal operators in a tracial operator algebra setting with prescribed sizes of the eigenspaces for each $Y_i$. We address the question what one can say about the sizes of the eigenspaces for any non-commutative polynomial $P(Y_1,\dots,Y_d)$ in those operators? We show that for each polynomial $P$ there are unavoidable eigenspaces, which occur in $P(Y_1,\dots,Y_d)$ for any $(Y_1,\dots,Y_d)$ with the prescribed eigenspaces for the marginals. We will describe this minimal situation both in algebraic terms - where it is given by realizations via matrices over the free skew field and via rank calculations - and in analytic terms - where it is given by freely independent random variables with prescribed atoms in their distributions. The fact that the latter situation corresponds to this minimal situation allows to draw many new conclusions about atoms in polynomials of free variables. In particular, we give a complete description of atoms in the free commutator and the free anti-commutator. Furthermore, our results do not only apply to polynomials, but much more general also to non-commutative rational functions. Since many random matrix models become asymptotically free in the large $N$ limit, our results allow us to calculate the location and size of atoms in the asymptotic eigenvalue distribution of polynomials and rational functions in randomly rotated matrices.


title: Imbalanced Big Data Oversampling: Taxonomy, Algorithms, Software, Guidelines and Future Directions

abstract: Learning from imbalanced data is among the most challenging areas in contemporary machine learning. This becomes even more difficult when considered the context of big data that calls for dedicated architectures capable of high-performance processing. Apache Spark is a highly efficient and popular architecture, but it poses specific challenges for algorithms to be implemented for it. While oversampling algorithms are an effective way for handling class imbalance, they have not been designed for distributed environments. In this paper, we propose a holistic look on oversampling algorithms for imbalanced big data. We discuss the taxonomy of oversampling algorithms and their mechanisms used to handle skewed class distributions. We introduce a Spark library with 14 state-of-the-art oversampling algorithms implemented and evaluate their efficacy via extensive experimental study. Using binary and multi-class massive data sets, we analyze the effectiveness of oversampling algorithms and their relationships with different types of classifiers. We evaluate the trade-off between accuracy and time complexity of oversampling algorithms, as well as their scalability when increasing the size of data. This allows us to gain insight into the usefulness of specific components of oversampling algorithms for big data, as well as formulate guidelines and recommendations for designing future resampling approaches for massive imbalanced data. Our library can be downloaded from https://github.com/fsleeman/spark-class-balancing.git.


title: Cycled Compositional Learning between Images and Text

abstract: We present an approach named the Cycled Composition Network that can measure the semantic distance of the composition of image-text embedding. First, the Composition Network transit a reference image to target image in an embedding space using relative caption. Second, the Correction Network calculates a difference between reference and retrieved target images in the embedding space and match it with a relative caption. Our goal is to learn a Composition mapping with the Composition Network. Since this one-way mapping is highly under-constrained, we couple it with an inverse relation learning with the Correction Network and introduce a cycled relation for given Image We participate in Fashion IQ 2020 challenge and have won the first place with the ensemble of our model.


title: Neural Differential Equations for Inverse Modeling in Model Combustors

abstract: Monitoring the dynamics processes in combustors is crucial for safe and efficient operations. However, in practice, only limited data can be obtained due to limitations in the measurable quantities, visualization window, and temporal resolution. This work proposes an approach based on neural differential equations to approximate the unknown quantities from available sparse measurements. The approach tackles the challenges of nonlinearity and the curse of dimensionality in inverse modeling by representing the dynamic signal using neural network models. In addition, we augment physical models for combustion with neural differential equations to enable learning from sparse measurements. We demonstrated the inverse modeling approach in a model combustor system by simulating the oscillation of an industrial combustor with a perfectly stirred reactor. Given the sparse measurements of the temperature inside the combustor, upstream fluctuations in compositions and/or flow rates can be inferred. Various types of fluctuations in the upstream, as well as the responses in the combustor, were synthesized to train and validate the algorithm. The results demonstrated that the approach can efficiently and accurately infer the dynamics of the unknown inlet boundary conditions, even without assuming the types of fluctuations. Those demonstrations shall open a lot of opportunities in utilizing neural differential equations for fault diagnostics and model-based dynamic control of industrial power systems.


title: Primary-Auxiliary Model Scheduling Based Estimation of the Vertical Wheel Force in a Full Vehicle System

abstract: In this work, we study estimation problems in nonlinear mechanical systems subject to non-stationary and unknown excitation, which are common and critical problems in design and health management of mechanical systems. A primary-auxiliary model scheduling procedure based on time-domain transmissibilities is proposed and performed under switching linear dynamics: In addition to constructing a primary transmissibility family from the pseudo-inputs to the output during the offline stage, an auxiliary transmissibility family is constructed by further decomposing the pseudo-input vector into two parts. The auxiliary family enables to determine the unknown working condition at which the system is currently running at, and then an appropriate transmissibility from the primary transmissibility family for estimating the unknown output can be selected during the online estimation stage. As a result, the proposed approach offers a generalizable and explainable solution to the signal estimation problems in nonlinear mechanical systems in the context of switching linear dynamics with unknown inputs. A real-world application to the estimation of the vertical wheel force in a full vehicle system are, respectively, conducted to demonstrate the effectiveness of the proposed method. During the vehicle design phase, the vertical wheel force is the most important one among Wheel Center Loads (WCLs), and it is often measured directly with expensive, intrusive, and hard-to-install measurement devices during full vehicle testing campaigns. Meanwhile, the estimation problem of the vertical wheel force has not been solved well and is still of great interest. The experimental results show good performances of the proposed method in the sense of estimation accuracy for estimating the vertical wheel force.


title: Emergent Cosmology from Matrix Theory

abstract: Matrix theory is a proposed non-perturbative definition of superstring theory in which space is emergent. We begin a study of cosmology in the context of matrix theory. Specifically, we show that matrix theory can lead to an emergent non-singular cosmology which, at late times, can be described by an expanding phase of Standard Big Bang cosmology. The horizon problem of Standard Big Bang cosmology is automatically solved. We show that thermal fluctuations in the emergent phase source an approximately scale-invariant spectrum of cosmological perturbations and a scale-invariant spectrum of gravitational waves. Hence, it appears that matrix theory can lead to a successful scenario for the origin of perturbations responsible for the currently observed structure in the universe while providing a consistent UV-complete description.


title: Distributed stochastic inertial-accelerated methods with delayed derivatives for nonconvex problems

abstract: Stochastic gradient methods (SGMs) are predominant approaches for solving stochastic optimization. On smooth nonconvex problems, a few acceleration techniques have been applied to improve the convergence rate of SGMs. However, little exploration has been made on applying a certain acceleration technique to a stochastic subgradient method (SsGM) for nonsmooth nonconvex problems. In addition, few efforts have been made to analyze an (accelerated) SsGM with delayed derivatives. The information delay naturally happens in a distributed system, where computing workers do not coordinate with each other. In this paper, we propose an inertial proximal SsGM for solving nonsmooth nonconvex stochastic optimization problems. The proposed method can have guaranteed convergence even with delayed derivative information in a distributed environment. Convergence rate results are established to three classes of nonconvex problems: weakly-convex nonsmooth problems with a convex regularizer, composite nonconvex problems with a nonsmooth convex regularizer, and smooth nonconvex problems. For each problem class, the convergence rate is $O(1/K^{\frac{1}{2}})$ in the expected value of the gradient norm square, for $K$ iterations. In a distributed environment, the convergence rate of the proposed method will be slowed down by the information delay. Nevertheless, the slow-down effect will decay with the number of iterations for the latter two problem classes. We test the proposed method on three applications. The numerical results clearly demonstrate the advantages of using the inertial-based acceleration. Furthermore, we observe higher parallelization speed-up in asynchronous updates over the synchronous counterpart, though the former uses delayed derivatives. Our source code is released at https://github.com/RPI-OPT/Inertial-SsGM


title: Multi-Perspective Content Delivery Networks Security Framework Using Optimized Unsupervised Anomaly Detection

abstract: Content delivery networks (CDNs) provide efficient content distribution over the Internet. CDNs improve the connectivity and efficiency of global communications, but their caching mechanisms may be breached by cyber-attackers. Among the security mechanisms, effective anomaly detection forms an important part of CDN security enhancement. In this work, we propose a multi-perspective unsupervised learning framework for anomaly detection in CDNs. In the proposed framework, a multi-perspective feature engineering approach, an optimized unsupervised anomaly detection model that utilizes an isolation forest and a Gaussian mixture model, and a multi-perspective validation method, are developed to detect abnormal behaviors in CDNs mainly from the client Internet Protocol (IP) and node perspectives, therefore to identify the denial of service (DoS) and cache pollution attack (CPA) patterns. Experimental results are presented based on the analytics of eight days of real-world CDN log data provided by a major CDN operator. Through experiments, the abnormal contents, compromised nodes, malicious IPs, as well as their corresponding attack types, are identified effectively by the proposed framework and validated by multiple cybersecurity experts. This shows the effectiveness of the proposed method when applied to real-world CDN data.


title: Monotone subsets in lattices and the Schensted shape of a S\'os permutation

abstract: For a fixed irrational number $\alpha$ and $n\in \mathbb{N}$, we look at the shape of the sequence $(f(1),\ldots,f(n))$ after Schensted insertion, where $f(i) = \alpha i \mod 1$. Our primary result is that the boundary of the Schensted shape is approximated by a piecewise linear function with at most two slopes. This piecewise linear function is explicitly described in terms of the continued fraction expansion for $\alpha$. Our results generalize those of Boyd and Steele, who studied longest monotone subsequences. Our proofs are based on a careful analysis of monotone sets in two-dimensional lattices.


title: Architecting Optically-Controlled Phase Change Memory

abstract: Phase Change Memory (PCM) is an attractive candidate for main memory as it offers non-volatility and zero leakage power, while providing higher cell densities, longer data retention time, and higher capacity scaling compared to DRAM. In PCM, data is stored in the crystalline or amorphous state of the phase change material. The typical electrically-controlled PCM (EPCM), however, suffers from longer write latency and higher write energy compared to DRAM and limited multi-level cell (MLC) capacities. These challenges limit the performance of data-intensive applications running on computing systems with EPCMs. Recently, researchers demonstrated optically-controlled PCM (OPCM) cells, with support for 5 bits/cell in contrast to 2 bits/cell in EPCM. These OPCM cells can be accessed directly with optical signals that are multiplexed in high-bandwidth-density silicon-photonic links. The higher MLC capacity in OPCM and the direct cell access using optical signals enable an increased read/write throughput and lower energy per access than EPCM. However, due to the direct cell access using optical signals, OPCM systems cannot be designed using conventional memory architecture. We need a complete redesign of the memory architecture that is tailored to the properties of OPCM technology. This paper presents the design of a unified network and main memory system called COSMOS that combines OPCM and silicon-photonic links to achieve high memory throughput. COSMOS is composed of a hierarchical multi-banked OPCM array with novel read and write access protocols, and uses an Electrical-Optical-Electrical (E-O-E) control unit to interface with the processor. Our evaluation of a 2.5D-integrated system containing a processor and COSMOS demonstrates 2.14x average speedup compared to an EPCM system. COSMOS consumes 3.8x lower read energy-per-bit and 5.97x lower write energy-per-bit compared to EPCM.


title: Crosslink-Net: Double-branch Encoder Segmentation Network via Fusing Vertical and Horizontal Convolutions

abstract: Accurate image segmentation plays a crucial role in medical image analysis, yet it faces great challenges of various shapes, diverse sizes, and blurry boundaries. To address these difficulties, square kernel-based encoder-decoder architecture has been proposed and widely used, but its performance remains still unsatisfactory. To further cope with these challenges, we present a novel double-branch encoder architecture. Our architecture is inspired by two observations: 1) Since the discrimination of features learned via square convolutional kernels needs to be further improved, we propose to utilize non-square vertical and horizontal convolutional kernels in the double-branch encoder, so features learned by the two branches can be expected to complement each other. 2) Considering that spatial attention can help models to better focus on the target region in a large-sized image, we develop an attention loss to further emphasize the segmentation on small-sized targets. Together, the above two schemes give rise to a novel double-branch encoder segmentation framework for medical image segmentation, namely Crosslink-Net. The experiments validate the effectiveness of our model on four datasets. The code is released at https://github.com/Qianyu1226/Crosslink-Net.


title: Ranks of homotopy and cohomology groups for rationally elliptic spaces and algebraic varieties

abstract: We discuss inequalities between the values of \emph{homotopical and cohomological Poincar\'e polynomials} of the self-products of rationally elliptic spaces. For rationally elliptic quasi-projective varieties, we prove inequalities between the values of generating functions for the ranks of the graded pieces of the weight and Hodge filtrations of the canonical mixed Hodge structures on homotopy and cohomology groups. Several examples of such mixed Hodge polynomials and related inequalities for rationally elliptic quasi-projective algebraic varieties are presented. One of the consequences is that the homotopical (resp. cohomological) mixed Hodge polynomial of a rationally elliptic toric manifold is a sum (resp. a product) of polynomials of projective spaces. We introduce an invariant called \emph{stabilization threshold} $\frak{pp} (X;\varepsilon)$ for a simply connected rationally elliptic space $X$ and a positive real number $\varepsilon$, and we show that the Hilali conjecture implies that $\frak{pp} (X;1) \le 3$.