title: Label Propagation across Graphs: Node Classification using Graph Neural Tangent Kernels

abstract: Graph neural networks (GNNs) have achieved superior performance on node classification tasks in the last few years. Commonly, this is framed in a transductive semi-supervised learning setup wherein the entire graph, including the target nodes to be labeled, is available for training. Driven in part by scalability, recent works have focused on the inductive case where only the labeled portion of a graph is available for training. In this context, our current work considers a challenging inductive setting where a set of labeled graphs are available for training while the unlabeled target graph is completely separate, i.e., there are no connections between labeled and unlabeled nodes. Under the implicit assumption that the testing and training graphs come from similar distributions, our goal is to develop a labeling function that generalizes to unobserved connectivity structures. To that end, we employ a graph neural tangent kernel (GNTK) that corresponds to infinitely wide GNNs to find correspondences between nodes in different graphs based on both the topology and the node features. We augment the capabilities of the GNTK with residual connections and empirically illustrate its performance gains on standard benchmarks.


title: User Requirements for Software Game Process; An Empirical Investigation

abstract: This study attempts to provide a better understanding of the user dimension as a factor in software game success. It focuses mainly on an empirical investigation of the effect of user factors on the software game development process and finally on the quality of the resulting game. A quantitative survey was developed and conducted to identify key user dimensions. For this study, a survey was used to test the research model and hypotheses. The main contribution of this paper is to investigate empirically the influence of user key factors on software game development process that ultimately results in a higher quality final product. The results provide evidence that game development organizations must deal with multiple user key factors to remain competitive and handle high pressure in the soft-ware game industry.


title: Spectroscopy Approaches for Food Safety Applications: Improving Data Efficiency Using Active Learning and Semi-Supervised Learning

abstract: The past decade witnesses a rapid development in the measurement and monitoring technologies for food science. Among these technologies, spectroscopy has been widely used for the analysis of food quality, safety, and nutritional properties. Due to the complexity of food systems and the lack of comprehensive predictive models, rapid and simple measurements to predict complex properties in food systems are largely missing. Machine Learning (ML) has shown great potential to improve classification and prediction of these properties. However, the barriers to collect large datasets for ML applications still persists. In this paper, we explore different approaches of data annotation and model training to improve data efficiency for ML applications. Specifically, we leverage Active Learning (AL) and Semi-Supervised Learning (SSL) and investigate four approaches: baseline passive learning, AL, SSL, and a hybrid of AL and SSL. To evaluate these approaches, we collect two spectroscopy datasets: predicting plasma dosage and detecting foodborne pathogen. Our experimental results show that, compared to the de facto passive learning approach, AL and SSL methods reduce the number of labeled samples by 50% and 25% for each ML application, respectively.


title: Trusted and Secured D2D-Aided Communications in 5G Networks

abstract: The design of the forthcoming fifth generation (5G) system shall meet the severe requirement of managing an always increasing amount of traffic generated by both humans and machines, while guaranteeing data security. Among the enabling technologies that will turn 5G into a reality, Device-to-Device (D2D) and Multicasting will certainly play a key role because of their capability to largely improve network resources utilization and to address emerging use cases requiring the delivery of the same content to a large number of devices. D2D communications can help to improve traditional point-to-multipoint transmissions by reducing the multicast coverage area and exploiting properly selected relay nodes as data forwarders towards users with worse channel conditions. However, security issues are even more challenging for D2D connections, as data exchange happens directly between nodes in proximity. To enhance performance and security of delivered traffic in 5G-oriented networks, in this paper we design SeT-D2D (Secure and Trust D2D), according to which trustworthiness inferred from both direct interactions and social-awareness parameters is exploited to properly select relay nodes. Main contributions of our research consist in the introduction of a model for the assessment of network nodes' trustworthiness and the implementation of security mechanisms to protect the data transmitted in D2D communications and the privacy of the involved users. The conducted simulation campaign testifies to the ability of the proposed solution to effectively select relay nodes, which leads to an improved network performance.


title: The Cauchy Problem for properly hyperbolic equations in one space variable

abstract: In this paper we consider the Cauchy problem for higher order weakly hyperbolic equations. We assume that the principal symbol depends only on one space variable and the characteristic roots $\tau_j$ verify the inequality \[\tau_j^2(x) + \tau_k^2(x) \le M \bigl(\tau_j(x)-\tau_k(x)\bigr)^2\] for some constant $M$ independent of $x$. We prove that if the lower order terms verify a suitable Levi condition, the Cauchy problem is well-posed in $\mathcal{C}$-infinity.


title: De-randomizing MCMC dynamics with the diffusion Stein operator

abstract: Approximate Bayesian inference estimates descriptors of an intractable target distribution - in essence, an optimization problem within a family of distributions. For example, Langevin dynamics (LD) extracts asymptotically exact samples from a diffusion process because the time evolution of its marginal distributions constitutes a curve that minimizes the KL-divergence via steepest descent in the Wasserstein space. Parallel to LD, Stein variational gradient descent (SVGD) similarly minimizes the KL, albeit endowed with a novel Stein-Wasserstein distance, by deterministically transporting a set of particle samples, thus de-randomizes the stochastic diffusion process. We propose de-randomized kernel-based particle samplers to all diffusion-based samplers known as MCMC dynamics. Following previous work in interpreting MCMC dynamics, we equip the Stein-Wasserstein space with a fiber-Riemannian Poisson structure, with the capacity of characterizing a fiber-gradient Hamiltonian flow that simulates MCMC dynamics. Such dynamics discretizes into generalized SVGD (GSVGD), a Stein-type deterministic particle sampler, with particle updates coinciding with applying the diffusion Stein operator to a kernel function. We demonstrate empirically that GSVGD can de-randomize complex MCMC dynamics, which combine the advantages of auxiliary momentum variables and Riemannian structure, while maintaining the high sample quality from an interacting particle system.


title: Validating Synthetic Galaxy Catalogs for Dark Energy Science in the LSST Era

abstract: Large simulation efforts are required to provide synthetic galaxy catalogs for ongoing and upcoming cosmology surveys. These extragalactic catalogs are being used for many diverse purposes covering a wide range of scientific topics. In order to be useful, they must offer realistically complex information about the galaxies they contain. Hence, it is critical to implement a rigorous validation procedure that ensures that the simulated galaxy properties faithfully capture observations and delivers an assessment of the level of realism attained by the catalog. We present here a suite of validation tests that have been developed by the Rubin Observatory Legacy Survey of Space and Time (LSST) Dark Energy Science Collaboration (DESC). We discuss how the inclusion of each test is driven by the scientific targets for static ground-based dark energy science and by the availability of suitable validation data. The validation criteria that are used to assess the performance of a catalog are flexible and depend on the science goals. We illustrate the utility of this suite by showing examples for the validation of cosmoDC2, the extragalactic catalog recently released for the LSST DESC second Data Challenge.


title: Infrared spectroscopy of hydrogenated and chlorinated amorphous silicon

abstract: The evolution is presented of infrared transmission spectra of hydrogenated and chlorinated amorphous silicon films versus the chlorine concentration and the annealing temperature. As the chlorine content increases, an increase of the 2100 cm-1 band intensity is observed. We associate this effect with the existence of SiH2CI2, mixed configurations. The Sic1 stretching band, located at 545 cm-1 in unannealed samples, shifts continuously up to 590 cm-1 as the annealing temperature increases. This displacement is attributed to a predominance of SiCI2, species around 500{\deg}C and their transformation to SiCl, species and SiCl, molecules above 700{\deg}C.


title: Wake-Cough: cough spotting and cougher identification for personalised long-term cough monitoring

abstract: We present `wake-cough', an application of wake-word spotting to coughs using a Resnet50 and the identification of coughers using i-vectors, for the purpose of a long-term, personalised cough monitoring system. Coughs, recorded in a quiet (73$\pm$5 dB) and noisy (34$\pm$17 dB) environment, were used to extract i-vectors, x-vectors and d-vectors, used as features to the classifiers. The system achieves 90.02\% accuracy when using an MLP to discriminate between 51 coughers using 2-sec long cough segments in the noisy environment. When discriminating between 5 and 14 coughers using longer (100 sec) segments in the quiet environment, this accuracy improves to 99.78% and 98.39% respectively. Unlike speech, i-vectors outperform x-vectors and d-vectors in identifying coughers. These coughs were added as an extra class to the Google Speech Commands dataset and features were extracted by preserving the end-to-end time-domain information in a trigger phrase. The highest accuracy of 88.58% is achieved in spotting coughs among 35 other trigger phrases using a Resnet50. Thus, wake-cough represents a personalised, non-intrusive cough monitoring system, which is power-efficient as on-device wake-word detection can keep a smartphone-based monitoring device mostly dormant. This makes wake-cough extremely attractive in multi-bed ward environments to monitor patients' long-term recovery from lung ailments such as tuberculosis (TB) and COVID-19.


title: CondiDiag1.0: A flexible online diagnostic tool for conditional sampling and budget analysis in the E3SM atmosphere model (EAM)

abstract: Numerical models used in weather and climate prediction take into account a comprehensive set of atmospheric processes such as the resolved and unresolved fluid dynamics, radiative transfer, cloud and aerosol life cycles, and mass or energy exchanges with the Earth's surface. In order to identify model deficiencies and improve predictive skills, it is important to obtain process-level understanding of the interactions between different processes. Conditional sampling and budget analysis are powerful tools for process-oriented model evaluation, but they often require tedious ad hoc coding and large amounts of instantaneous model output, resulting in inefficient use of human and computing resources. This paper presents an online diagnostic tool that addresses this challenge by monitoring model variables in a generic manner as they evolve within the time integration cycle. The tool is convenient to use. It allows users to select sampling conditions and specify monitored variables at run time. Both the evolving values of the model variables and their increments caused by different atmospheric processes can be monitored and archived. Online calculation of vertical integrals is also supported. Multiple sampling conditions can be monitored in a single simulation in combination with unconditional sampling. The paper explains in detail the design and implementation of the tool in the Energy Exascale Earth System Model (E3SM) version 1. The usage is demonstrated through three examples: a global budget analysis of dust aerosol mass concentration, a composite analysis of sea salt emission and its dependency on surface wind speed, and a conditionally sampled relative humidity budget. The tool is expected to be easily portable to closely related atmospheric models that use the same or similar data structures and time integration methods.


title: Isolation of connected graphs

abstract: For a connected $n$-vertex graph $G$ and a set $\mathcal{F}$ of graphs, let $\iota(G,\mathcal{F})$ denote the size of a smallest set $D$ of vertices of $G$ such that the graph obtained from $G$ by deleting the closed neighbourhood of $D$ contains no graph in $\mathcal{F}$. Let $\mathcal{E}_k$ denote the set of connected graphs that have at least $k$ edges. By a result of Caro and Hansberg, $\iota(G,\mathcal{E}_1) \leq n/3$ if $n \neq 2$ and $G$ is not a $5$-cycle. The author recently showed that if $G$ is not a triangle and $\mathcal{C}$ is the set of cycles, then $\iota(G,\mathcal{C}) \leq n/4$. We improve this result by showing that $\iota(G,\mathcal{E}_3) \leq n/4$ if $G$ is neither a triangle nor a $7$-cycle. Let $r$ be the number of vertices of $G$ that have only one neighbour. We determine a set $\mathcal{S}$ of six graphs such that $\iota(G,\mathcal{E}_2) \leq (4n - r)/14$ if $G$ is not a copy of a member of $\mathcal{S}$. The bounds are sharp.


title: Data-driven Tissue Mechanics with Polyconvex Neural Ordinary Differential Equations

abstract: Data-driven methods are becoming an essential part of computational mechanics due to their unique advantages over traditional material modeling. Deep neural networks are able to learn complex material response without the constraints of closed-form approximations. However, imposing the physics-based mathematical requirements that any material model must comply with is not straightforward for data-driven approaches. In this study, we use a novel class of neural networks, known as neural ordinary differential equations (N-ODEs), to develop data-driven material models that automatically satisfy polyconvexity of the strain energy function with respect to the deformation gradient, a condition needed for the existence of minimizers for boundary value problems in elasticity. We take advantage of the properties of ordinary differential equations to create monotonic functions that approximate the derivatives of the strain energy function with respect to the invariants of the right Cauchy-Green deformation tensor. The monotonicity of the derivatives guarantees the convexity of the energy. The N-ODE material model is able to capture synthetic data generated from closed-form material models, and it outperforms conventional models when tested against experimental data on skin, a highly nonlinear and anisotropic material. We also showcase the use of the N-ODE material model in finite element simulations. The framework is general and can be used to model a large class of materials. Here we focus on hyperelasticity, but polyconvex strain energies are a core building block for other problems in elasticity such as viscous and plastic deformations. We therefore expect our methodology to further enable data-driven methods in computational mechanics


title: Proposing a System Level Machine Learning Hybrid Architecture and Approach for a Comprehensive Autism Spectrum Disorder Diagnosis

abstract: Autism Spectrum Disorder (ASD) is a severe neuropsychiatric disorder that affects intellectual development, social behavior, and facial features, and the number of cases is still significantly increasing. Due to the variety of symptoms ASD displays, the diagnosis process remains challenging, with numerous misdiagnoses as well as lengthy and expensive diagnoses. Fortunately, if ASD is diagnosed and treated early, then the patient will have a much higher chance of developing normally. For an ASD diagnosis, machine learning algorithms can analyze both social behavior and facial features accurately and efficiently, providing an ASD diagnosis in a drastically shorter amount of time than through current clinical diagnosis processes. Therefore, we propose to develop a hybrid architecture fully utilizing both social behavior and facial feature data to improve the accuracy of diagnosing ASD. We first developed a Linear Support Vector Machine for the social behavior based module, which analyzes Autism Diagnostic Observation Schedule (ADOS) social behavior data. For the facial feature based module, a DenseNet model was utilized to analyze facial feature image data. Finally, we implemented our hybrid model by incorporating different features of the Support Vector Machine and the DenseNet into one model. Our results show that the highest accuracy of 87% for ASD diagnosis has been achieved by our proposed hybrid model. The pros and cons of each module will be discussed in this paper.


title: Attractor-driven matter

abstract: The state of a classical point-particle system may often be specified by giving the position and momentum for each constituent particle. For non-pointlike particles, the center-of-mass position may be augmented by an additional coordinate that specifies the internal state of each particle. The internal state space is typically topologically simple, in the sense that the particle's internal coordinate belongs to a suitable symmetry group. In this paper we explore the idea of giving internal complexity to the particles, by attributing to each particle an internal state space that is represented by a point on a strange (or otherwise) attracting set. It is of course very well known that strange attractors arise in a variety of nonlinear dynamical systems. However, rather than considering strange attractors as emerging from complex dynamics, we may employ strange attractors to {\em drive} such dynamics. In particular, by using an attractor (strange or otherwise) to model each particle's internal state space, we present a class of matter coined ``attractor-driven matter''. We outline the general formalism for attractor-driven matter and explore several specific examples, some of which are reminiscent of active matter. Beyond the examples studied in this paper, our formalism for attractor-driven dynamics may be applicable more broadly, to model complex dynamical and emergent behaviors in a variety of contexts.


title: Manipulating the shape of flexible magnetoelastic nanodiscs with meron-like magnetic states

abstract: The control of the magnetic properties of shapeable devices and the manipulation of flexible structures by external magnetic fields is a keystone of future magnetoelectronics-based devices. This work studies the elastic properties of a magnetoelastic nanodisc that hosts a meron as the magnetic state and can be deformed from structures with positive to negative Gaussian curvature. We show that the winding number of the hosted meron is crucial to determine the curvature sign of the stable obtained shape. Additionally, we show that the optimum curvature reached by the nanodisc depends on geometrical and mechanical parameters. It is shown that an increase in the external radius, thickness, and Young's modulus lead to a decrease in the optimum curvature absolute value. Finally, it is shown that the nanodisc's shape also depends on the connection between the polarity and chirality of the vortex-like meron.


title: Isotropic radiative transfer as a phase space process: Lorentz covariant Green's functions and first-passage times

abstract: The solutions of the radiative transfer equation, known for the energy density, do not satisfy the fundamental transitivity property for Green's functions expressed by Chapman-Kolmogorov's relation. I show that this property is retrieved by considering the radiance distribution in phase space. Exact solutions are obtained in one and two dimensions as probability density functions of continous-time persistent random walks, the Fokker-Planck equation of which is the radiative transfer equation. The expected property of Lorentz covariance is verified. I also discuss the measured signal from a pulse source in one dimension, which is a first-passage time distribution, and unveil an effective random delay when the pulse is emitted away from the observer.


title: Discovery of interstellar 3-cyano propargyl radical, CH2CCCN

abstract: We report the first detection in interstellar space of the 3-cyano propargyl radical (CH2C3N). This species was observed in the cold dark cloud TMC-1 using the Yebes 40m telescope. A total of seven rotational transitions for both ortho- and para-CH2C3N species were observed in the 31.0-50.4 GHz range. We derive a total column density of (1.6 +/- 0.4)e11 cm-2 and an ortho/para ratio of 2.4 +/- 1.2, which implies an abundance ratio CH2C3N/CH3C3N around 0.1, in sharp contrast with the smaller analogues, in which case CH2CN/CH3CN = 3. This indicates that the chemistry of the cyanides CH2C3N and CH3C3N behaves differently to that of the smaller analogues CH2CN and CH3CN. According to our chemical model calculations, the radical CH2C3N is mostly formed through the neutral-neutral reactions C + CH2CHCN, C2 + CH3CN, and CN + CH2CCH together with the dissociative recombination of the CH3C3NH+ ion with electrons. The neutral-neutral reaction N + C4H3 could also lead to CH2C3N, although its role is highly uncertain. The identified radical CH2C3N could play a role in the synthesis of large organic N-bearing molecules, such as benzonitrile (c-C6H5CN) or nitrogen heterocycles.


title: A composable autoencoder-based iterative algorithm for accelerating numerical simulations

abstract: Numerical simulations for engineering applications solve partial differential equations (PDE) to model various physical processes. Traditional PDE solvers are very accurate but computationally costly. On the other hand, Machine Learning (ML) methods offer a significant computational speedup but face challenges with accuracy and generalization to different PDE conditions, such as geometry, boundary conditions, initial conditions and PDE source terms. In this work, we propose a novel ML-based approach, CoAE-MLSim (Composable AutoEncoder Machine Learning Simulation), which is an unsupervised, lower-dimensional, local method, that is motivated from key ideas used in commercial PDE solvers. This allows our approach to learn better with relatively fewer samples of PDE solutions. The proposed ML-approach is compared against commercial solvers for better benchmarks as well as latest ML-approaches for solving PDEs. It is tested for a variety of complex engineering cases to demonstrate its computational speed, accuracy, scalability, and generalization across different PDE conditions. The results show that our approach captures physics accurately across all metrics of comparison (including measures such as results on section cuts and lines).


title: 5G Traffic Prediction with Time Series Analysis

abstract: In todays day and age, a mobile phone has become a basic requirement needed for anyone to thrive. With the cellular traffic demand increasing so dramatically, it is now necessary to accurately predict the user traffic in cellular networks, so as to improve the performance in terms of resource allocation and utilisation. By leveraging the power of machine learning and identifying its usefulness in the field of cellular networks we try to achieve three main objectives classification of the application generating the traffic, prediction of packet arrival intensity and burst occurrence. The design of the prediction and classification system is done using Long Short Term Memory model. The LSTM predictor developed in this experiment would return the number of uplink packets and also estimate the probability of burst occurrence in the specified future time interval. For the purpose of classification, the regression layer in our LSTM prediction model is replaced by a softmax classifier which is used to classify the application generating the cellular traffic into one of the four applications including surfing, video calling, voice calling, and video streaming.


title: Hasse norm principle for Galois dihedral extensions

abstract: Let $L/k$ an Galois extension of number fields with Galois group isomorphic to a dihedral group of order $2n$. In this note, we give a general description of the Hasse norm principle for $L/k$ and the weak approximation for the norm one torus $R^1_{L/k}(\mathbb{G}_m)$ associated to $L/k$.


title: Machine Learning approaches to do size based reasoning on Retail Shelf objects to classify product variants

abstract: There has been a surge in the number of Machine Learning methods to analyze products kept on retail shelves images. Deep learning based computer vision methods can be used to detect products on retail shelves and then classify them. However, there are different sized variants of products which look exactly the same visually and the method to differentiate them is to look at their relative sizes with other products on shelves. This makes the process of deciphering the sized based variants from each other using computer vision algorithms alone impractical. In this work, we propose methods to ascertain the size variant of the product as a downstream task to an object detector which extracts products from shelf and a classifier which determines product brand. Product variant determination is the task which assigns a product variant to products of a brand based on the size of bounding boxes and brands predicted by classifier. While gradient boosting based methods work well for products whose facings are clear and distinct, a noise accommodating Neural Network method is proposed for cases where the products are stacked irregularly.


title: An Alternative to Vinberg's Algorithm

abstract: Vinberg's algorithm is the main method for finding fundamental domains for reflection groups acting on hyperbolic space. Experience shows that it can be slow. We explain why this should be expected, and prove this slowness in some cases. And we provide an alternative algorithm that should be much faster. It depends on an algorithm for finding vectors with small positive norm in indefinite binary quadratic forms, of independent interest.


title: Addressing practical challenges in Active Learning via a hybrid query strategy

abstract: Active Learning (AL) is a powerful tool to address modern machine learning problems with significantly fewer labeled training instances. However, implementation of traditional AL methodologies in practical scenarios is accompanied by multiple challenges due to the inherent assumptions. There are several hindrances, such as unavailability of labels for the AL algorithm at the beginning; unreliable external source of labels during the querying process; or incompatible mechanisms to evaluate the performance of Active Learner. Inspired by these practical challenges, we present a hybrid query strategy-based AL framework that addresses three practical challenges simultaneously: cold-start, oracle uncertainty and performance evaluation of Active Learner in the absence of ground truth. While a pre-clustering approach is employed to address the cold-start problem, the uncertainty surrounding the expertise of labeler and confidence in the given labels is incorporated to handle oracle uncertainty. The heuristics obtained during the querying process serve as the fundamental premise for accessing the performance of Active Learner. The robustness of the proposed AL framework is evaluated across three different environments and industrial settings. The results demonstrate the capability of the proposed framework to tackle practical challenges during AL implementation in real-world scenarios.


title: Efficient large-scale image retrieval with deep feature orthogonality and Hybrid-Swin-Transformers

abstract: We present an efficient end-to-end pipeline for largescale landmark recognition and retrieval. We show how to combine and enhance concepts from recent research in image retrieval and introduce two architectures especially suited for large-scale landmark identification. A model with deep orthogonal fusion of local and global features (DOLG) using an EfficientNet backbone as well as a novel Hybrid-Swin-Transformer is discussed and details how to train both architectures efficiently using a step-wise approach and a sub-center arcface loss with dynamic margins are provided. Furthermore, we elaborate a novel discriminative re-ranking methodology for image retrieval. The superiority of our approach was demonstrated by winning the recognition and retrieval track of the Google Landmark Competition 2021.


title: Recent results from the Pierre Auger Observatory

abstract: The Pierre Auger Observatory has by now achieved an exposure of order $10^5~{\rm km}^2$ sr yr, exploring about 85% of the sky. In this talk, I will review some of the recent results, including the detailed measurements of the features in the cosmic ray spectrum, the study of the anisotropies in the cosmic ray arrival directions both at large and intermediate angular scales, the inferred mass composition, and multimessenger searches.


title: A ruthenium oxide thermometer for dilution refrigerators operating down to 5 mK

abstract: At the lowest temperatures achieved in dilution refrigerators, ruthenium oxide resistance thermometers often saturate and therefore lose their sensitivity. In an effort to extend the range of such temperature sensors, we built a thermometer which maintains sensitivity to 5~mK. A key component of this thermometer is an in situ radio frequency filter which is based on a modern rf absorption material. We show that the use of such a filter is only effective when it is encased in the same rf-tight enclosure as the ruthenium oxide sensor. Our design delivers an attenuation level that is necessary to mitigate the effects of parasitic heating of a fraction of pW present in our circuit. Furthermore, we show that the likely origin of this parasitic heating is the black body radiation present within the experimental space of the refrigerator. We found that the equilibration time of the thermometer increases rapidly as the temperature is lowered; below 5~mK this thermometer becomes impractical because of the prohibitively long equilibration times.


title: Knowledge Sheaves: A Sheaf-Theoretic Framework for Knowledge Graph Embedding

abstract: Knowledge graph embedding involves learning representations of entities -- the vertices of the graph -- and relations -- the edges of the graph -- such that the resulting representations encode the known factual information represented by the knowledge graph and can be used in the inference of new relations. We show that knowledge graph embedding is naturally expressed in the topological and categorical language of \textit{cellular sheaves}: a knowledge graph embedding can be described as an approximate global section of an appropriate \textit{knowledge sheaf} over the graph, with consistency constraints induced by the knowledge graph's schema. This approach provides a generalized framework for reasoning about knowledge graph embedding models and allows for the expression of a wide range of prior constraints on embeddings. Further, the resulting embeddings can be easily adapted for reasoning over composite relations without special training. We implement these ideas to highlight the benefits of the extensions inspired by this new perspective.


title: Scaling Bayesian Optimization With Game Theory

abstract: We introduce the algorithm Bayesian Optimization (BO) with Fictitious Play (BOFiP) for the optimization of high dimensional black box functions. BOFiP decomposes the original, high dimensional, space into several sub-spaces defined by non-overlapping sets of dimensions. These sets are randomly generated at the start of the algorithm, and they form a partition of the dimensions of the original space. BOFiP searches the original space with alternating BO, within sub-spaces, and information exchange among sub-spaces, to update the sub-space function evaluation. The basic idea is to distribute the high dimensional optimization across low dimensional sub-spaces, where each sub-space is a player in an equal interest game. At each iteration, BO produces approximate best replies that update the players belief distribution. The belief update and BO alternate until a stopping condition is met. High dimensional problems are common in real applications, and several contributions in the BO literature have highlighted the difficulty in scaling to high dimensions due to the computational complexity associated to the estimation of the model hyperparameters. Such complexity is exponential in the problem dimension, resulting in substantial loss of performance for most techniques with the increase of the input dimensionality. We compare BOFiP to several state-of-the-art approaches in the field of high dimensional black box optimization. The numerical experiments show the performance over three benchmark objective functions from 20 up to 1000 dimensions. A neural network architecture design problem is tested with 42 up to 911 nodes in 6 up to 92 layers, respectively, resulting into networks with 500 up to 10,000 weights. These sets of experiments empirically show that BOFiP outperforms its competitors, showing consistent performance across different problems and increasing problem dimensionality.


title: Field-tuned ferroquadrupolar quantum phase transition in the insulator TmVO$_{4}$

abstract: We report results of low-temperature heat capacity, magnetocaloric effect and neutron diffraction measurements of TmVO$_{4}$, an insulator that undergoes a continuous ferroquadrupolar phase transition associated with local partially-filled $4f$ orbitals of the thulium (Tm$^{3+}$) ions. The ferroquadrupolar transition, a realization of Ising nematicity, can be tuned to a quantum critical point using a magnetic field oriented along the $c$-axis of the tetragonal crystal lattice, which acts as an effective transverse field for the Ising-nematic order. In small magnetic fields, the thermal phase transition can be well-described using a semi-classical mean field treatment of the transverse field Ising model. However, in higher magnetic fields, closer to the field-tuned quantum phase transition, subtle deviations from this semi-classical behavior are observed due to quantum fluctuations. Although the phase transition is driven by the local $4f$ degrees of freedom, the crystal lattice still plays a crucial role, both in terms of mediating the interactions between the local quadrupoles, and in determining the critical scaling exponents, even though the phase transition itself can be described via mean field. In particular, bilinear coupling of the nematic order parameter to acoustic phonons changes the spatial and temporal fluctuations of the former in a fundamental way, resulting in different critical behavior of the nematic transverse-field Ising model as compared to the usual case of the magnetic transverse-field Ising model. Our results establish TmVO$_{4}$ as a model material, and electronic nematicity as a paradigmatic example, for quantum criticality in insulators.


title: A Probabilistic Graphical Model Approach to the Structure-and-Motion Problem

abstract: We present a means of formulating and solving the well known structure-and-motion problem in computer vision with probabilistic graphical models. We model the unknown camera poses and 3D feature coordinates as well as the observed 2D projections as Gaussian random variables, using sigma point parameterizations to effectively linearize the nonlinear relationships between these variables. Those variables involved in every projection are grouped into a cluster, and we connect the clusters in a cluster graph. Loopy belief propagation is performed over this graph, in an iterative re-initialization and estimation procedure, and we find that our approach shows promise in both simulation and on real-world data. The PGM is easily extendable to include additional parameters or constraints.


title: Weak approximation for certain quadric surface bundles

abstract: We investigate weak approximation for a class of biquadratic fourfolds inside $\mathbb{P}^3 \times \mathbb{P}^2$, some of which appear in the recent work of Hassett--Pirutka--Tschinkel.


title: Optimal Deployment and Operation of Robotic Aerial 6G Small Cells with Grasping End Effectors

abstract: Although airborne base stations (ABSs) mounted on drones show a significant potential to enhance network capacity and coverage due to their flexible deployment, the system performance is severely limited by the endurance of the on-board battery. To overcome this key shortcoming, we are exploring robotic airborne base station (RABS) with energy neutral grasping end-effectors able to autonomously perch at tall urban landforms. This paper studies the optimal deployment (fly to another grasping location or remain in the same one) and operation (active or sleep at an epoch) of RABS based on the spatio-temporal characteristics of underlying traffic demand from end-users. Specifically, an integer linear programming (ILP) is formulated by exploiting the coupling between these two decisions, that is, the RABS only needs to visit the locations where it is active. A Lagrangian heuristic algorithm is then proposed by exploiting the totally unimodular structure of the ILP formulation. A wide set of numerical investigations reveal that thanks to its mobility, a single robotic aerial small cell is able to outperform five (5) fixed small cells in terms of served user generated traffic within a 16 to 41 hours period.


title: Calculus rules of the generalized concave Kurdyka-\L ojasiewicz property

abstract: In this paper, we propose several calculus rules for the generalized concave Kurdyka-\L ojasiewicz (KL) property, which generalize Li and Pong's results for KL exponents. The optimal concave desingularizing function has various forms and may be nondifferentiable. Our calculus rules do not assume desingularizing functions to have any specific form nor differentiable, while the known results do. Several examples are also given to show that our calculus rules are applicable to a broader class of functions than the known ones.


title: ShinyCOPASI: a web-based exploratory interface for COPASI models

abstract: COPASI is a popular application for simulation and analysis of biochemical networks and their dynamics. While this software is widely used, it works as a standalone application and until now it was not possible for users to interact with its models through the web. We built ShinyCOPASI, a web-based application that allows COPASI models to be explored through a web browser. ShinyCOPASI was written in R with the CoRC package, which provides a high-level R API for COPASI, and the Shiny package to expose it as a web application. The web view provided by ShinyCOPASI follows a similar interface to the standalone COPASI and allows users to explore the details of a model, as well as running a subset of the tasks available in COPASI from within a browser. A generic version allows users to load model files from their computer, while another one pre-loads a specific model from the server and may be useful to provide web access to published models. The application is available at: http://shiny.copasi.org/; and the source code is at: https://github.com/copasi/shinyCOPASI.


title: Sudoku-Inspired High-Shannon-Entropy Alloys

abstract: Current definition of high-entropy alloys (HEAs) is commonly based on the configurational entropy. But this definition depends only on the chemical composition of a HEA and therefore cannot distinguish the information content that is encoded in various local atomic arrangements and measurable by the Shannon entropy in information theory. Here, inspired by the finding that two-dimensional (2D) Sudoku matrices exhibit higher average Shannon entropy than 2D random matrix counterparts, we propose high-Shannon-entropy alloys (HSEA), whose structures are based on 3D Sudoku matrices. Despite the constraints on the atomic arrangements to form a 3D Sudoku 4 x 4 x 4 matrix, we find that, a prototypical HSEA, NbMoTaW has a lower energy than the same HEA with a random structure due to the smaller lattice distortion. We compute the electronic structures and mechanical properties and find that the HSEA exhibits enhanced average Fermi velocity and ductility over the random NbMoTaW HEA. Finally, we evaluate the formation energies of single vacancies and a vacancy cluster in the HSEA, whose configurations mimic Sudoku puzzles with one and several missing numbers, respectively. We find that a range of large energies are required to generate such vacancies, which depend on the location and species of missing atoms. Our work shows that introducing the Shannon entropy to HEAs offers a useful metric to reveal more atomic details of HEAs and that HSEAs represent an uncharted domain in the complicated energy landscape of HEAs which may be endowed with improved properties.


title: MPD: Moving Target Defense through Communication Protocol Dialects

abstract: Communication protocol security is among the most significant challenges of the Internet of Things (IoT) due to the wide variety of hardware and software technologies involved. Moving target defense (MTD) has been adopted as an innovative strategy to solve this problem by dynamically changing target system properties and configurations to obfuscate the attack surface. Nevertheless, the existing work of MTD primarily focuses on lower-level properties (e.g., IP addresses or port numbers), and only a limited number of variations can be generated based on these properties. In this paper, we propose a new approach of MTD through communication protocol dialects (MPD) - which dynamically customizes a communication protocol into various protocol dialects and leverages them to create a moving target defense. Specifically, MPD harnesses a dialect generating function to create protocol dialects and then a mapping function to select one specific dialect for each packet during communication. To keep different network entities in synchronization, we also design a self-synchronization mechanism utilizing a pseudo-random number generator with the input of a pre-shared secret key and previously sent packets. We implement a prototype of MPD and evaluate its feasibility on standard network protocol (i.e., File Transfer Protocol) and internet of things protocol (i.e., Message Queuing Telemetry Transport). The results indicate that MPD can create a moving target defense with protocol dialects to effectively address various attacks - including the denial of service attack and malicious packet modifications - with negligible overhead.


title: The physicist Enrique Loedel Palumbo in the Montevideo-Buenos Aires-La Plata scientific corridor: 1920-1930

abstract: In this paper we consider Montevideo's liberal progressive atmosphere towards the end of the nineteenth century and, within it, the trajectory of young science student Enrique Loedel Palumbo. We discuss some of his activities in Argentina, where he moved to study Physics at a new and well-equipped Physics Institute at the National University of La Plata, where he would later become a leading figure. Initially Loedel Palumbo worked on the structure of complex molecules based on their magnetic, electric and optical properties. Later, when Einstein visited Argentina in 1925, he had chance to exchange ideas, which led to the publication of the first of a series of papers on the Theory of Relativity in some of Germany's leading scientific journals. Loedel Palumbo integrated fully with the intellectual life of his adopted country, becoming one of Argentina's top physicists and philosophers of science of his day. He is a valuable example of the deep intertwining of the intellectual life of Uruguay and Argentina in the first-half of the twentieth century. Like his Argentine colleagues, he also experienced the consequences of living through a complex historical period.


title: CCGG: A Deep Autoregressive Model for Class-Conditional Graph Generation

abstract: Graph data structures are fundamental for studying connected entities. With an increase in the number of applications where data is represented as graphs, the problem of graph generation has recently become a hot topic. However, despite its significance, conditional graph generation that creates graphs with desired features is relatively less explored in previous studies. This paper addresses the problem of class-conditional graph generation that uses class labels as generation constraints by introducing the Class Conditioned Graph Generator (CCGG). We built CCGG by injecting the class information as an additional input into a graph generator model and including a classification loss in its total loss along with a gradient passing trick. Our experiments show that CCGG outperforms existing conditional graph generation methods on various datasets. It also manages to maintain the quality of the generated graphs in terms of distribution-based evaluation metrics.


title: Optimal SNR Analysis for Single-user RIS Systems in Ricean and Rayleigh Environments

abstract: We present an analysis of the optimal uplink (UL) SNR of a SIMO Reconfigurable Intelligent Surface (RIS)-aided wireless link. We assume that the channel between base station (BS) and RIS is a rank-1 LOS channel while the user (UE)-RIS and UE-BS channels are correlated Ricean. For the optimal RIS matrix, we derive an exact closed form expression for the mean SNR and an approximation for the SNR variance leading to an accurate gamma approximation to the distribution of the UL SNR. Furthermore, we analytically characterise the effects of correlation and the Ricean K-factor on SNR, showing that increasing the K-factor and correlation in the UE-BS channel can have negative effects on the mean SNR, while increasing the K-factor and correlation in the UE-RIS channel improves system performance. We also present favourable and unfavourable channel scenarios which provide insight into the sort of environments that improve or degrade the mean SNR. We also show that the relative gain in the mean SNR when transitioning from an unfavourable to a favourable environment saturates to $(4-\pi)/\pi$ as $N \rightarrow \infty $


title: Hitting the Target: Stopping Active Learning at the Cost-Based Optimum

abstract: Active learning allows machine learning models to be trained using fewer labels while retaining similar performance to traditional supervised learning. An active learner selects the most informative data points, requests their labels, and retrains itself. While this approach is promising, it raises the question of how to determine when the model is `good enough' without the additional labels required for traditional evaluation. Previously, different stopping criteria have been proposed aiming to identify the optimal stopping point. Yet, optimality can only be expressed as a domain-dependent trade-off between accuracy and the number of labels, and no criterion is superior in all applications. As a further complication, a comparison of criteria for a particular real-world application would require practitioners to collect additional labelled data they are aiming to avoid by using active learning in the first place. This work enables practitioners to employ active learning by providing actionable recommendations for which stopping criteria are best for a given real-world scenario. We contribute the first large-scale comparison of stopping criteria for pool-based active learning, using a cost measure to quantify the accuracy/label trade-off, public implementations of all stopping criteria we evaluate, and an open-source framework for evaluating stopping criteria. Our research enables practitioners to substantially reduce labelling costs by utilizing the stopping criterion which best suits their domain.


title: Convective dissolution of CO$_2$ in 2D and 3D porous media: the impact of hydrodynamic dispersion

abstract: Convective dissolution is the process by which CO$_2$ injected in deep geological formations dissolves into the aqueous phase, which allows storing it perennially by gravity. The process results from buoyancy-coupled Darcy flow and solute transport. Proper theoretical modeling of the process should consider in the transport equation a diffusive term accounting for hydrodynamics (or, mechanical) dispersion, with an effective diffusion coefficient that is proportional to the local interstitial velocity. A few two-dimensional (2D) numerical studies, and three-dimensional (3D) experimental investigations, have investigated the impact of hydrodynamic dispersion on convection dynamics, with contradictory conclusions. Here, we investigate systematically the impact of the dispersion strength $S$ (relative to molecular diffusion), and of the anisotropy $\alpha$ of its tensor, on convective dissolution in 2D and 3D geometries. We use a new numerical model and analyze the solute fingers' number density (FND), penetration depth and maximum velocity; the onset time of convection; the dissolution flux in the quasi-constant flux regime; the mean concentration of the dissolved CO2; and the scalar dissipation rate. The efficiency of convective dissolution over long times is observed to be mostly controlled by the onset time of convection. For most natural porous media ($\alpha = 0.1$), the onset time is found to increase as a function of $S$, in agreement with previous experimental findings and in stark contrast to previous numerical findings. However, if $\alpha$ is sufficiently large this behavior is reversed. Furthermore, results in 3D are fully consistent with the 2D results on all accounts, except that in 3D the onset time is slightly smaller, the dissolution flux in the quasi-constant flux regime is slightly larger, and the dependence of the FND on the dispersion parameters is impacted by $Ra$.


title: FOCUS: Familiar Objects in Common and Uncommon Settings

abstract: Standard training datasets for deep learning often contain objects in common settings (e.g., "a horse on grass" or "a ship in water") since they are usually collected by randomly scraping the web. Uncommon and rare settings (e.g., "a plane on water", "a car in snowy weather") are thus severely under-represented in the training data. This can lead to an undesirable bias in model predictions towards common settings and create a false sense of accuracy. In this paper, we introduce FOCUS (Familiar Objects in Common and Uncommon Settings), a dataset for stress-testing the generalization power of deep image classifiers. By leveraging the power of modern search engines, we deliberately gather data containing objects in common and uncommon settings in a wide range of locations, weather conditions, and time of day. We present a detailed analysis of the performance of various popular image classifiers on our dataset and demonstrate a clear drop in performance when classifying images in uncommon settings. By analyzing deep features of these models, we show that such errors can be due to the use of spurious features in model predictions. We believe that our dataset will aid researchers in understanding the inability of deep models to generalize well to uncommon settings and drive future work on improving their distributional robustness.


title: Inference for a Large Directed Acyclic Graph with Unspecified Interventions

abstract: Statistical inference of directed relations given some unspecified interventions (i.e., the intervention targets are unknown) is challenging. In this article, we test hypothesized directed relations with unspecified interventions. First, we derive conditions to yield an identifiable model. Unlike classical inference, testing directed relations requires identifying the ancestors and relevant interventions of hypothesis-specific primary variables. To this end, we propose a peeling algorithm based on nodewise regressions to establish a topological order of primary variables. Moreover, we prove that the peeling algorithm yields a consistent estimator in low-order polynomial time. Second, we propose a likelihood ratio test integrated with a data perturbation scheme to account for the uncertainty of identifying ancestors and interventions. Also, we show that the distribution of a data perturbation test statistic converges to the target distribution. Numerical examples demonstrate the utility and effectiveness of the proposed methods, including an application to infer gene regulatory networks. The R implementation is available at https://github.com/chunlinli/intdag.


title: Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load

abstract: Current approaches to making programming languages and reasoning assistants more effective for people focus on leveraging feedback from users and on evaluating the success of particular techniques. These approaches, although helpful, may not result in systems that are as usable as possible, and may not lead to general design principles. This paper advocates for leveraging theories from cognitive science, focusing on cognitive load theory, to design more effective programming languages and reasoning assistants. Development of these theories may enable designers to create more effective programming languages and reasoning assistants at lower cost.


title: Chemical templates that assemble the metal superhydrides

abstract: The recent discoveries of many metal superhydrides provide a new route to room-temperature superconductors. However, their stability and structure trends and the large chemical driving force needed to dissociate H2 molecules and form H covalent network cannot be explained by direct metal-hydrogen bonds and volume effect. Here, we demonstrate that the understanding of superhydrides formation needs a perspective beyond traditional chemical bond theory. Using high-throughput calculations, we show that, after removing H atoms, the remaining metal lattices exhibit large electron localization at the interstitial regions, which matches excellently to the H lattice like a template. Furthermore, H lattices consist of 3D aromatic building units that are greatly stabilized by chemical templates of metals close to s-d border. The chemical template theory can naturally explain the stability and structure trends of superhydrides and help to predict new materials such as two-metal superhydrides.


title: Diffusive scaling limit of the Busemann process in Last Passage Percolation

abstract: In exponential last passage percolation, we consider the rescaled Busemann process $x\mapsto N^{-1/3}B^\rho_{0,[xN^{2/3}]e_1} \,\, (x\in\mathbb{R})$, as a process parametrized by the scaled density $\rho=1/2+\frac{\mu}{4} N^{-1/3}$, and taking values in $C(\mathbb{R})$. We show that these processes, as $N\rightarrow \infty$, have a c\`adl\`ag scaling limit $G=(G_\mu)_{\mu\in \mathbb{R}}$, parametrized by $\mu$ and taking values in $C(\mathbb{R})$. The limiting process $G$, which can be thought of as the Busemann process under the KPZ scaling, can be described as an ensemble of "sticky" lines of Brownian regularity. We believe $G$ is the universal scaling limit of Busemann processes in the KPZ universality class. Our proof provides insight into this limiting behaviour by highlighting a connection between the joint distribution of Busemann functions obtained by Fan and Sepp\"al\"ainen in arXiv:1808.09069, and a sorting algorithm of random walks introduced by O'Connell and Yor [32]


title: Towards Quantum Simulations in Particle Physics and Beyond on Noisy Intermediate-Scale Quantum Devices

abstract: We review two algorithmic advances that bring us closer to reliable quantum simulations of model systems in high energy physics and beyond on noisy intermediate-scale quantum (NISQ) devices. The first method is the dimensional expressivity analysis of quantum circuits, which allows for constructing minimal but maximally expressive quantum circuits. The second method is an efficient mitigation of readout errors on quantum devices. Both methods can lead to significant improvements in quantum simulations, e.g., when variational quantum eigensolvers are used.


title: Optimal Turnover, Liquidity, and Autocorrelation

abstract: The steady-state turnover of a trading strategy is of clear interest to practitioners and portfolio managers, as is the steady-state Sharpe ratio. In this article, we show that in a convenient Gaussian process model, the steady-state turnover can be computed explicitly, and obeys a clear relation to the liquidity of the asset and to the autocorrelation of the alpha forecast signals. Indeed, we find that steady-state optimal turnover is given by $\gamma \sqrt{n+1}$ where $\gamma$ is a liquidity-adjusted notion of risk-aversion, and $n$ is the ratio of mean-reversion speed to $\gamma$.


title: Vorticity amplification in viscoelastic channel flows with long-wave surface distortions

abstract: Surface distortions to an otherwise planar channel flow introduce vorticity perturbations. We examine this scenario in viscoelastic fluids, and identify new mechanisms by which significant vorticity perturbations can be generated in both inertialess and elasto-inertial channel flows. We focus on the case where the lengthscale of the surface distortion is much longer than the channel depth, where we find significant departure from plane shear (Page & Zaki, J. Fluid Mech. 801 2016) due to the non-monotonic base-flow streamwise-normal elastic stress. In inertialess flows, a purely elastic response results in streamlines deforming to match the bottom topography in the lower half the channel. However, the vanishing stress at the centreline introduces a blocking effect, and the associated $O(1)$ jump in normal velocity is balanced by a narrow, large amplitude streamwise-oscillating `jet', resulting in a localised, chevron-shaped vorticity perturbation field. In elasto-inertial flows, resonance between the frequency of elasto-inertial `Alfven' waves and the frequency apparent to an observer moving with the fluid results in vorticity amplification in a pair of critical layers on either side of the channel. The vorticity in both layers is equal in magnitude and as such the perturbation vorticity field penetrates the full channel depth even when inertia is dominant. The results demonstrate that long-wave distortions - which are relatively innocuous in Newtonian fluids - can drive a significant flow distortion in viscoelastic fluids for a wide range of parameter values.


title: Complementarity spectrum of digraphs

abstract: In this paper we study the complementarity spectrum of digraphs, with special attention to the problem of digraph characterization through this complementarity spectrum. That is, whether two non-isomorphic digraphs with the same number of vertices can have the same complementarity eigenvalues. The complementarity eigenvalues of matrices, also called Pareto eigenvalues, has led to the study of the complementarity spectrum of (undirected) graphs and, in particular, the characterization of undirected graphs through these eigenvalues is an open problem. We characterize the digraphs with one and two complementarity eigenvalues, and we give examples of non-isomorphic digraphs with the same complementarity spectrum.


title: Multitude of Topological Phase Transitions in Bipartite Dice and Lieb Lattices with Interacting Electrons and Rashba Coupling

abstract: We report the results of a Hartree-Fock study applied to interacting electrons moving in two different bipartite lattices: the dice and the Lieb lattices, at half-filling. Both lattices develop ferrimagnetic order in the phase diagram $U$-$\lambda$, where $U$ is the Hubbard onsite repulsion and $\lambda$ the Rashba spin-orbit coupling strength. Our main result is the observation of an unexpected multitude of topological phases for both lattices. All these phases are ferrimagnetic, but they differ among themselves in their set of six Chern numbers (six numbers because the unit cells have three atoms). The Chern numbers $|C|$ observed in our study range from 0 to 3, showing that large Chern numbers can be obtained by the effect of electronic correlations, adding to the recently discussed methodologies to increase $|C|$ based on extending the hopping range in tight-binding models, using sudden quenches, or photonic crystals, all without including electronic interactions.


title: StyleGAN-induced data-driven regularization for inverse problems

abstract: Recent advances in generative adversarial networks (GANs) have opened up the possibility of generating high-resolution photo-realistic images that were impossible to produce previously. The ability of GANs to sample from high-dimensional distributions has naturally motivated researchers to leverage their power for modeling the image prior in inverse problems. We extend this line of research by developing a Bayesian image reconstruction framework that utilizes the full potential of a pre-trained StyleGAN2 generator, which is the currently dominant GAN architecture, for constructing the prior distribution on the underlying image. Our proposed approach, which we refer to as learned Bayesian reconstruction with generative models (L-BRGM), entails joint optimization over the style-code and the input latent code, and enhances the expressive power of a pre-trained StyleGAN2 generator by allowing the style-codes to be different for different generator layers. Considering the inverse problems of image inpainting and super-resolution, we demonstrate that the proposed approach is competitive with, and sometimes superior to, state-of-the-art GAN-based image reconstruction methods.


title: Combined $13\times2$-point analysis of the Cosmic Microwave Background and Large-Scale Structure: implications for the $S_8$-tension and neutrino mass constraints

abstract: We present cosmological constraints for the flat $\Lambda$CDM model, including the sum of neutrino masses, by performing a multi-probe analysis of a total of 13 tomographic auto- and cross-angular power spectra. This is achieved by combining, at map level, the latest primary CMB and CMB-lensing measurements from the Planck 2018 data release, as well as spectroscopic galaxy samples from BOSS DR12, and the latest Kilo-Degree Survey (KiDS-1000) tomographic weak lensing shear data release. Our analysis includes auto- and cross-correlations as well as calibration parameters for all cosmological probes, thus providing a self-calibration of the combined data sets. We find a good fit (reduced $\chi^2$=1.7) for the combined probes with calibration parameters only moderately different from their nominal value, thus giving a possible interpretation of the tension between the early- and late-Universe probes. The resulting value for the structure growth parameter is $S_8 = 0.754 \pm 0.016$ (68\% CL). We also obtain a $\sim$2.3$\sigma$ constraint on the neutrino mass sum of $\sum m_\nu = 0.51^{+0.21}_{-0.24}$ eV (68\% CL), which is compatible with current particle physics limits. We perform several tests by fixing the neutrino mass sum to a low value, considering narrower priors on the multiplicative bias parameters for cosmic shear, and by fixing all calibration parameters to their expected values. These tests result in worse fits compared to our fiducial run, especially for the case when all calibration parameters are fixed. This latter test also yields a lower upper limit of the neutrino mass sum. We discuss how the interplay between the cosmological and calibration parameters impact the $S_8$-tension and the constraints on the neutrino mass sum. [abridged]


title: AS-Level BGP Community Usage Classification

abstract: BGP communities are a popular mechanism used by network operators for traffic engineering, blackholing, and to realize network policies and business strategies. In recent years, many research works have contributed to our understanding of how BGP communities are utilized, as well as how they can reveal secondary insights into real-world events such as outages and security attacks. However, one fundamental question remains unanswered: "Which ASes tag announcements with BGP communities and which remove communities in the announcements they receive?" A grounded understanding of where BGP communities are added or removed can help better model and predict BGP-based actions in the Internet and characterize the strategies of network operators. In this paper we develop, validate, and share data from the first algorithm that can infer BGP community tagging and cleaning behavior at the AS-level. The algorithm is entirely passive and uses BGP update messages and snapshots, e.g. from public route collectors, as input. First, we quantify the correctness and accuracy of the algorithm in controlled experiments with simulated topologies. To validate in the wild, we announce prefixes with communities and confirm that more than 90% of the ASes that we classify behave as our algorithm predicts. Finally, we apply the algorithm to data from four sets of BGP collectors: RIPE, RouteViews, Isolario, and PCH. Tuned conservatively, our algorithm ascribes community tagging and cleaning behaviors to more than 13k ASes, the majority of which are large networks and providers. We make our algorithm and inferences available as a public resource to the BGP research community.


title: An averaging principle for a completely integrable stochastic Hamiltonian system

abstract: We investigate the effective behaviour of a small transversal perturbation of order $\epsilon$ to a completely integrable stochastic Hamiltonian system, by which we mean a stochastic differential equation whose diffusion vector fields are formed from a completely integrable family of Hamiltonian functions $H_i, i=1,\dots n$. An averaging principle is shown to hold and the action component of the solution converges, as $\epsilon \to 0$, to the solution of a deterministic system of differential equations when the time is rescaled at $1/\epsilon$. An estimate for the rate of the convergence is given. In the case when the perturbation is a Hamiltonian vector field, the limiting deterministic system is constant in which case we show that the action component of the solution scaled at $1/\epsilon^2$ converges to that of a limiting stochastic differentiable equation.


title: Social Groups Based Content Caching in Wireless Networks

abstract: The unprecedented growth of wireless mobile traffic, mainly due to multimedia traffic over online social platforms has strained the resources in the mobile backhaul network. A promising approach to reduce the backhaul load is to proactively cache content at the network edge, taking into account the overlaid social network. Known caching schemes require complete knowledge of the social graph and mainly focus on one-to-one interactions forgoing the prevalent mode of content sharing among circles of 'friends'. We propose Bingo, a proactive content caching scheme that leverages the presence of interest groups in online social networks. The mobile network operator (MNO) can choose to incrementally deploy Bingo at select network nodes (base stations, packet core, data center) based on user profiles and revenue numbers. We approximate the group memberships of users using the available user-content request logs without any prior knowledge of the overlaid social graph. Bingo can cater to the evolving nature of online social groups and file popularity distribution for making caching decisions. We use synthetically generated group structures and simulate user requests at the base station for empirical evaluation against traditional and recent caching schemes. Bingo achieves up to 30%-34% gain over the best baseline.


title: Estimation of Constrained Mean-Covariance of Normal Distributions

abstract: Estimation of the mean vector and covariance matrix is of central importance in the analysis of multivariate data. In the framework of generalized linear models, usually the variances are certain functions of the means with the normal distribution being an exception. We study some implications of functional relationships between covariance and the mean by focusing on the maximum likelihood and Bayesian estimation of the mean-covariance under the joint constraint $\bm{\Sigma}\bm{\mu} = \bm{\mu}$ for a multivariate normal distribution. A novel structured covariance is proposed through reparameterization of the spectral decomposition of $\bm{\Sigma}$ involving its eigenvalues and $\bm{\mu}$. This is designed to address the challenging issue of positive-definiteness and to reduce the number of covariance parameters from quadratic to linear function of the dimension. We propose a fast (noniterative) method for approximating the maximum likelihood estimator by maximizing a lower bound for the profile likelihood function, which is concave. We use normal and inverse gamma priors on the mean and eigenvalues, and approximate the maximum aposteriori estimators by both MH within Gibbs sampling and a faster iterative method. A simulation study shows good performance of our estimators.


title: How Tertiary Studies perform Quality Assessment of Secondary Studies in Software Engineering

abstract: Context: Tertiary studies are becoming increasingly popular in software engineering as an instrument to synthesise evidence on a research topic in a systematic way. In order to understand and contextualize their findings, it is important to assess the quality of the selected secondary studies. Objective: This paper aims to provide a state of the art on the assessment of secondary studies' quality as conducted in tertiary studies in the area of software engineering, reporting the frameworks used as instruments, the facets examined in these frameworks, and the purposes of the quality assessment. Method: We designed this study as a systematic mapping responding to four research questions derived from the objective above. We applied a rigorous search protocol over the Scopus digital library, resulting in 47 papers after application of inclusion and exclusion criteria. The extracted data was synthesised using content analysis. Results: A majority of tertiary studies perform quality assessment. It is not often used for excluding studies, but to support some kind of investigation. The DARE quality assessment framework is the most frequently used, with customizations in some cases to cover missing facets. We outline the first steps towards building a new framework to address the shortcomings identified. Conclusion: This paper is a step forward establishing a foundation for researchers in two different ways. As authors of tertiary studies, understanding the different possibilities in which they can perform quality assessment of secondary studies. As readers, having an instrument to understand the methodological rigor upon which tertiary studies may claim their findings.


title: Uniform Guarded Fragments

abstract: In this paper we prove that the uniform one-dimensional guarded fragment, which is a natural polyadic generalization of the guarded two-variable logic, has the Craig interpolation property. We will also prove that the satisfiability problem of uniform guarded fragment is NEXPTIME-complete.


title: Non-detection of $^6$Li in Spite plateau stars with ESPRESSO

abstract: The detection of $^6$Li in Spite plateau stars contradicts the standard Big Bang nucleosynthesis prediction, known as the second cosmological lithium problem. We measure the isotopic ratio $^6$Li/$^7$Li in three Spite plateau stars: HD 84937, HD 140283, and LP 815-43. We use 3D NLTE radiative transfer and for the first time apply this to high resolution, high-S/N data from the ultra-stable VLT/ESPRESSO spectrograph. These are amongst the best spectra ever taken of any metal-poor stars. As the measurement of $^6$Li/$^7$Li is degenerate with other physical stellar parameters, we employ Markov chain Monte Carlo methods to find the probability distributions of measured parameters. As a test of systematics we also use three different fitting methods. We do not detect $^6$Li in any of the three stars, and find consistent results between our different methods. We estimate 2$\sigma$ upper limits to $^6$Li/$^7$Li of 0.7%, 0.6%, and 1.7% respectively for HD 84937, HD 140283, and LP 815-43. Our results indicate that there is no second cosmological lithium problem, as there is no evidence of $^6$Li in Spite Plateau stars.


title: Erbium-doped-fiber-based broad visible range frequency comb with a 30 GHz mode spacing for astronomical applications

abstract: Optical frequency combs have the potential to improve the precision of the radial velocity measurement of celestial bodies, leading to breakthroughs in such fields as exoplanet exploration. For these purposes, the comb must have a broad spectral coverage in the visible wavelength region, a wide mode spacing that can be resolved with a high dispersion spectrograph, and sufficient robustness to operate for long periods even in remote locations. We have realized a comb system with a 30 GHz mode spacing, 62 % available wavelength coverage in the visible region, and 40 dB spectral contrast by combining a robust erbium-doped-fiber-based femtosecond laser, mode filtering with newly designed optical cavities, and broadband-visible-range comb generation using a chirped periodically-poled LiNbO3 ridge waveguide. The system durability and reliability are also promising because of the stable spectrum, which is due to the use of almost all polarization-maintaining fiber optics, moderate optical power, and good frequency repeatability obtained with a wavelength-stabilized laser.


title: The completed SDSS-IV extended Baryon Oscillation Spectroscopic Survey: Cosmological implications from multi-tracer BAO analysis with galaxies and voids

abstract: We construct cosmic void catalogues with the DIVE void finder upon SDSS BOSS DR12 and eBOSS DR16 galaxy samples with BAO reconstruction applied, and perform a joint BAO analysis using different types of galaxies and the corresponding voids. The BAO peak is evident for the galaxy-galaxy, galaxy-void, and void-void correlation functions of all datasets, including the ones cross correlating luminous red galaxy and emission line galaxy samples. Two multi-tracer BAO fitting schemes are then tested, one combining the galaxy and void correlation functions with a weight applied to voids, and the other using a single BAO dilation parameter for all clustering measurements of different tracers. Both methods produce consistent results with mock catalogues, and on average ~10 per cent improvements of the BAO statistical uncertainties are observed for all samples, compared to the results from galaxies alone. By combining the clustering of galaxies and voids, the uncertainties of BAO measurements from the SDSS data are reduced by 5 to 15 per cent, yielding 0.9, 0.8, 1.1, 2.3, and 2.9 per cent constraints on the distance $D_{_{\rm V}}(z)$, at effective redshifts of 0.38, 0.51, 0.70, 0.77, and 0.85, respectively. When combined with BAO measurements from SDSS MGS, QSO, and Ly$\alpha$ samples, as well as the BBN results, we obtain $H_0 = 67.58 \pm 0.91\,{\rm km}\,{\rm s}^{-1}\,{\rm Mpc}^{-1}$, $\Omega_{\rm m} = 0.290 \pm 0.015$, and $\Omega_\Lambda h^2 = 0.3241 \pm 0.0079$ in the flat-$\Lambda$CDM framework, where the 1$\,\sigma$ uncertainties are around 6, 6, and 17 per cent smaller respectively, compared to constraints from the corresponding anisotropic BAO measurements without voids and LRG-ELG cross correlations.


title: Exploring Architectural Ingredients of Adversarially Robust Deep Neural Networks

abstract: Deep neural networks (DNNs) are known to be vulnerable to adversarial attacks. A range of defense methods have been proposed to train adversarially robust DNNs, among which adversarial training has demonstrated promising results. However, despite preliminary understandings developed for adversarial training, it is still not clear, from the architectural perspective, what configurations can lead to more robust DNNs. In this paper, we address this gap via a comprehensive investigation on the impact of network width and depth on the robustness of adversarially trained DNNs. Specifically, we make the following key observations: 1) more parameters (higher model capacity) does not necessarily help adversarial robustness; 2) reducing capacity at the last stage (the last group of blocks) of the network can actually improve adversarial robustness; and 3) under the same parameter budget, there exists an optimal architectural configuration for adversarial robustness. We also provide a theoretical analysis explaning why such network configuration can help robustness. These architectural insights can help design adversarially robust DNNs. Code is available at \url{https://github.com/HanxunH/RobustWRN}.


title: Hom-Leibniz bialgebras and BiHom-Leibniz dendriform algebras

abstract: The notion of a Hom-Leibniz bialgebra is introduced and it is shown that matched pairs of Hom-Leibniz algebras, Manin triples of Hom-Leibniz algebras and Hom-Leibniz bialgebras are equivalent in a certain sense. The notion of Hom-Leibniz dendriform algebra is established, their bimodules and matched pairs are defined and their properties and theorems about their interplay and construction are obtained. Furthermore, the concept of BiHom-Leibniz dendriform algebras is introduced and discussed, their bimodules and matched pairs are constructed and properties are described. Finally, the connections between all these algebraic structures using $\mathcal{O}$-operators are shown.


title: A meta-analytic framework to adjust for bias in external control studies

abstract: While randomized controlled trials (RCTs) are the gold standard for estimating treatment effects in medical research, there is increasing use of and interest in using real-world data for drug development. One such use case is the construction of external control arms for evaluation of efficacy in single-arm trials, particularly in cases where randomization is either infeasible or unethical. However, it is well known that treated patients in non-randomized studies may not be comparable to control patients -- on either measured or unmeasured variables -- and that the underlying population differences between the two groups may result in biased treatment effect estimates as well as increased variability in estimation. To address these challenges for analyses of time-to-event outcomes, we developed a meta-analytic framework that uses historical reference studies to adjust a log hazard ratio estimate in a new external control study for its additional bias and variability. The set of historical studies is formed by constructing external control arms for historical RCTs, and a meta-analysis compares the trial controls to the external control arms. Importantly, a prospective external control study can be performed independently of the meta-analysis using standard causal inference techniques for observational data. We illustrate our approach with a simulation study and an empirical example based on reference studies for advanced non-small cell lung cancer. In our empirical analysis, external control patients had lower survival than trial controls (hazard ratio: 0.907), but our methodology is able to correct for this bias. An implementation of our approach is available in the R package ecmeta.


title: SkullEngine: A Multi-stage CNN Framework for Collaborative CBCT Image Segmentation and Landmark Detection

abstract: We propose a multi-stage coarse-to-fine CNN-based framework, called SkullEngine, for high-resolution segmentation and large-scale landmark detection through a collaborative, integrated, and scalable JSD model and three segmentation and landmark detection refinement models. We evaluated our framework on a clinical dataset consisting of 170 CBCT/CT images for the task of segmenting 2 bones (midface and mandible) and detecting 175 clinically common landmarks on bones, teeth, and soft tissues.


title: Solution of quantum eigenvalue problems by means of algebraic consistency conditions

abstract: We present a simple algebraic procedure that can be applied to solve a range of quantum eigenvalue problems without the need to know the solution of the Schr\"odinger equation. The procedure, presented with a pedagogical purpose, is based on algebraic consistency conditions that must be satisfied by the eigenvalues of a couple of operators proper of the problem. These operators can be either bilinear forms of the raising and lowering operators appropriate to the problem, or else auxiliary operators constructed by resorting to the factorization of the Hamiltonian. Different examples of important quantum-mechanical textbook problems are worked out to exhibit the clarity and simplicity of the algebraic procedure for determining the spectrum of eigenvalues without knowing the eigenfunctions. For this reason the material presented may be particularly useful for undergraduate students or young physicists.


title: Nauyaca: a new tool to determine planetary masses and orbital elements through transit timing analysis

abstract: Transit Timing Variations (TTVs) is currently the most successful method to determine dynamical masses and orbital elements for Earth-sized transiting planets. Precise mass determination is fundamental to restrict planetary densities and thus infer planetary compositions. In this work, we present Nauyaca, a Python package dedicated to find planetary masses and orbital elements through the fitting of observed mid-transit times from a N-body approach. The fitting strategy consists in performing a sequence of minimization algorithms (optimizers) that are used to identify high probability regions in the parameter space. These results from optimizers are used for initialization of a Markov chain Monte Carlo (MCMC) method, using an adaptive Parallel-Tempering algorithm. A set of runs are performed in order to obtain posterior distributions of planetary masses and orbital elements. In order to test the tool, we created a mock catalog of synthetic planetary systems with different number of planets where all of them transit. We calculate their mid-transit times to give them as an input to Nauyaca, testing statistically its efficiency in recovering the planetary parameters from the catalog. For the recovered planets, we find typical dispersions around the real values of $\sim$1-14 M$_{\oplus}$ for masses, between 10-110 seconds for periods and between $\sim$0.01-0.03 for eccentricities. We also investigate the effects of the signal-to-noise and number of transits in the correct determination of the planetary parameters. Finally, we suggest choices of the parameters that govern the tool, for the usage with real planets, according to the complexity of the problem and computational facilities.


title: The Stefan problem and free targets of optimal Brownian martingale transport

abstract: We formulate and solve a free target optimal Brownian stopping problem from a given distribution while the target distribution is free and is conditioned to satisfy a given density height constraint. The free target optimization problem exhibits monotonicity, from which a remarkable universality follows, in the sense that the optimal target is independent of its Lagrangian cost type. In particular, the solutions to this optimization problem generate solutions to both unstable and stable type of the Stefan problem, where former stands for freezing of supercooled fluid $(St_1)$ and the latter for ice melting $(St_2)$. This unified approach to both types of Stefan problem is new. In particular we obtain global-time existence and weak-strong uniqueness for the ill-posed freezing problem $(St_1)$, for a given initial data and for a well-prepared class of initial domains generated from the initial data.


title: Budget-constrained rail electrification modeling using symmetric traffic assignment -- a North American case study

abstract: We consider a budget constrained rail network electrification problem with associated changes in costs of energy usage (via path gradient and curvature), operations, and long-term maintenance. In particular, we consider that freight flows on such a network form a user equilibrium. Interactions between electric and diesel trains on the same corridor are represented with nonseparable link performance functions, which nevertheless have a symmetric Jacobian. This bi-level formulation is solved for the North American railroad network using a genetic algorithm (GA), incorporating domain-specific insights to reduce the number of solutions which must be considered. We analyze solution characteristics and decision-making implications. Results show that broad connectivity would be beneficial for most impact. Increasing demand shifts electrified corridors towards the more populous east and gulf coasts, while increased operational costs results in electrification of routes through mountainous terrains.


title: A Maximum Weighted Logrank Test in Detecting Crossing Hazards

abstract: In practice, the logrank test is the most widely used method for testing the equality of survival distributions. It is the optimal method under the proportional hazard assumption. However, since non-proportional hazards are often encountered in oncology trials, alternative tests have been proposed. The maximum weighted logrank test was shown to be robust in general situations. In this manuscript, we propose a new maximum test that incorporates the weight for detecting crossing hazards. The new weight is a function of the crossing time-point. Extensive simulation studies are conducted to compare our methods with other methods proposed in the literature under scenarios with various hazard ratio patterns, sample sizes, censoring rates, and censoring patterns. For crossing hazards, the proposed test is shown to be the most powerful one with a known crossing time-point. It has a similar performance as the Maxcombo test in the misspecified crossing time-point scenario. Under other alternative situations, the new test remains comparatively powerful as the Maxcombo test. Finally, we illustrate the test in a real data example and discuss the procedures to extend the test to detect crossing hazards specifically.


title: Machine Learning interpretation of the correlation between infrared emission features of interstellar polycyclic aromatic hydrocarbons

abstract: Supervised machine learning models are trained with various molecular descriptors to predict infrared emission spectra of interstellar polycyclic aromatic hydrocarbons. We demonstrate that a feature importance analysis based on the random forest algorithm can be utilized to explore the physical correlation between emission features. Astronomical correlations between infrared bands are analyzed as examples of demonstration by finding the common molecular fragments responsible for different bands, which improves the current understanding of the long-observed correlations. We propose a way to quantify the band correlation by measuring the similarity of the feature importance arrays of different bands, via which a correlation map is obtained for emissions in the out-of-plane bending region. Moreover, a comparison between the predictions using different combinations of descriptors underscores the strong prediction power of the extended-connectivity molecular fingerprint, and shows that the combinations of multiple descriptors of other types in general lead to improved predictivity.


title: A pitfall in applying non-anticommuting $\gamma_5$ in $q\overline{q} \rightarrow ZH$ amplitudes

abstract: In computing the two-loop QCD corrections to a class of Feynman diagrams for the process $q\overline{q} \rightarrow ZH$ in Higgs effective field theory, we discover a striking phenomenon. We find the need for an additional local composite operator in the renormalised Lagrangian while employing a non-anticommuting $\gamma_5$ in dimensional regularisation. The computation using anticommuting $\gamma_5$, however, does not require any such amendment.


title: On the Complexity of Triangle Counting using Emptiness Queries

abstract: Beame et al. [ITCS 2018 & TALG 2021] introduced and used the Bipartite Independent Set (BIS) and Independent Set (IS) oracle access to an unknown, simple, unweighted and undirected graph and solved the edge estimation problem. The introduction of this oracle set forth a series of works in a short span of time that either solved open questions mentioned by Beame et al. or were generalizations of their work as in Dell and Lapinskas [STOC 2018], Dell, Lapinskas and Meeks [SODA 2020], Bhattacharya et al. [ISAAC 2019 & Theory Comput. Syst. 2021], and Chen et al. [SODA 2020]. Edge estimation using BIS can be done using polylogarithmic queries, while IS queries need sub-linear but more than polylogarithmic queries. Chen et al. improved Beame et al.'s upper bound result for edge estimation using IS and also showed an almost matching lower bound. Beame et al. in their introductory work asked a few open questions out of which one was on estimating structures of higher order than edges, like triangles and cliques, using BIS queries. In this work, we completely resolve the query complexity of estimating triangles using BIS oracle. While doing so, we prove a lower bound for an even stronger query oracle called Edge Emptiness (EE) oracle, recently introduced by Assadi, Chakrabarty and Khanna [ESA 2021] to test graph connectivity.


title: Reconstructing the Pleiades with Gaia EDR3

abstract: We search through an eight-million cubic-parsec volume surrounding the Pleiades star cluster and the Sun to identify both the current and past members of the Pleiades cluster within the Gaia EDR3 dataset. We find nearly 1,300 current cluster members and 289 former cluster candidates. Many of these candidates lie well in front or behind the cluster from our point of view, so formerly they were considered cluster members, but their parallaxes put them more than 10 pc from the centre of the cluster today. Over the past 100 Myr we estimate that the cluster has lost twenty percent of its mass including two massive white dwarf stars and the $\alpha^2$ Canum Venaticorum-type variable star, 41 Tau. All three white dwarfs associated with the cluster are massive ($1.01-1.06~\textrm{M}_\odot$) and have progenitors with main-sequence masses of about six solar masses. Although we did not associate any giant stars with the cluster, the cooling time of the oldest white dwarf of 60~Myr gives a firm lower limit on the age of the cluster.


title: High-order Corrected Trapezoidal Rules for Functions with Fractional Singularities

abstract: In this paper, we introduce and analyze arbitrarily high-order quadrature rules for evaluating the two-dimensional singular integrals of the forms \begin{align} I_{i,j} = \int_{\mathbb{R}^2}\phi(x)\frac{x_ix_j}{|x|^{2+\alpha}} \d x, \quad 0< \alpha < 2 \end{align} where $i,j\in\{1,2\}$ and $\phi\in C_c^N$ for $N\geq 2$. This type of singular integrals and its quadrature rule appear in the numerical discretization of fractional Laplacian in non-local Fokker-Planck Equations in 2D. The quadrature rules are trapezoidal rules equipped with correction weights for points around singularity. We prove the order of convergence is $2p+4-\alpha$, where $p\in\mathbb{N}_{0}$ is associated with total number of correction weights. Although we work in 2D setting, we formulate definitions and theorems in $n\in\mathbb{N}$ dimensions when appropriate for the sake of generality. We present numerical experiments to validate the order of convergence of the proposed modified quadrature rules.


title: Multifile Partitioning for Record Linkage and Duplicate Detection

abstract: Merging datafiles containing information on overlapping sets of entities is a challenging task in the absence of unique identifiers, and is further complicated when some entities are duplicated in the datafiles. Most approaches to this problem have focused on linking two files assumed to be free of duplicates, or on detecting which records in a single file are duplicates. However, it is common in practice to encounter scenarios that fit somewhere in between or beyond these two settings. We propose a Bayesian approach for the general setting of multifile record linkage and duplicate detection. We use a novel partition representation to propose a structured prior for partitions that can incorporate prior information about the data collection processes of the datafiles in a flexible manner, and extend previous models for comparison data to accommodate the multifile setting. We also introduce a family of loss functions to derive Bayes estimates of partitions that allow uncertain portions of the partitions to be left unresolved. The performance of our proposed methodology is explored through extensive simulations. Code implementing the methodology is available at https://github.com/aleshing/multilink .


title: Toward a Wearable Biosensor Ecosystem on ROS 2 for Real-time Human-Robot Interaction Systems

abstract: Wearable biosensors can enable continuous human data capture, facilitating development of real-world Human-Robot Interaction (HRI) systems. However, a lack of standardized libraries and implementations adds extraneous complexity to HRI system designs, and precludes collaboration across disciplines and institutions. Here, we introduce a novel wearable biosensor package for the Robot Operating System 2 (ROS 2) system. The ROS2 officially supports real-time computing and multi-robot systems, and thus provides easy-to-use and reliable streaming data from multiple nodes. The package standardizes biosensor HRI integration, lowers the technical barrier of entry, and expands the biosensor ecosystem into the robotics field. Each biosensor package node follows a generalized node and topic structure concentrated on ease of use. Current package capabilities, listed by biosensor, highlight package standardization. Collected example data demonstrate a full integration of each biosensor into ROS2. We expect that standardization of this biosensors package for ROS2 will greatly simplify use and cross-collaboration across many disciplines. The wearable biosensor package is made publicly available on GitHub at \https://github.com/SMARTlab-Purdue/ros2-foxy-wearable-biosensors.


title: Input Length Matters: Improving RNN-T and MWER Training for Long-form Telephony Speech Recognition

abstract: End-to-end models have achieved state-of-the-art results on several automatic speech recognition tasks. However, they perform poorly when evaluated on long-form data, e.g., minutes long conversational telephony audio. One reason the model fails on long-form speech is that it has only seen short utterances during training. In this paper we study the effect of training utterance length on the word error rate (WER) for RNN-transducer (RNN-T) model. We compare two widely used training objectives, log loss (or RNN-T loss) and minimum word error rate (MWER) loss. We conduct experiments on telephony datasets in four languages. Our experiments show that for both losses, the WER on long-form speech reduces substantially as the training utterance length increases. The average relative WER gain is 15.7% for log loss and 8.8% for MWER loss. When training on short utterances, MWER loss leads to a lower WER than the log loss. Such difference between the two losses diminishes when the input length increases.


title: A Short Note on the Exact Counting of Tree-Child Networks

abstract: Tree-child networks are an important network class which are used in phylogenetics to model reticulate evolution. In a recent paper, Pons and Batle (2021) conjectured a relation between tree-child networks and certain words. In this short note, we prove their conjecture for the (important) class of one-component tree-child networks.


title: The HETDEX Instrumentation: Hobby-Eberly Telescope Wide Field Upgrade and VIRUS

abstract: The Hobby-Eberly Telescope (HET) Dark Energy Experiment (HETDEX) is undertaking a blind wide-field low-resolution spectroscopic survey of 540 square degrees of sky to identify and derive redshifts for a million Lyman-alpha emitting galaxies (LAEs) in the redshift range 1.9 < z < 3.5. The ultimate goal is to measure the expansion rate of the Universe at this epoch, to sharply constrain cosmological parameters and thus the nature of dark energy. A major multi-year wide field upgrade (WFU) of the HET was completed in 2016 that substantially increased the field of view to 22 arcminutes diameter and the pupil to 10 meters, by replacing the optical corrector, tracker, and prime focus instrument package and by developing a new telescope control system. The new, wide-field HET now feeds the Visible Integral-field Replicable Unit Spectrograph (VIRUS), a new low-resolution integral field spectrograph (LRS2), and the Habitable Zone Planet Finder (HPF), a precision near-infrared radial velocity spectrograph. VIRUS consists of 156 identical spectrographs fed by almost 35,000 fibers in 78 integral field units arrayed at the focus of the upgraded HET. VIRUS operates in a bandpass of 3500-5500 Angstroms with resolving power R~800. VIRUS is the first example of large scale replication applied to instrumentation in optical astronomy to achieve spectroscopic surveys of very large areas of sky. This paper presents technical details of the HET WFU and VIRUS, as flowed-down from the HETDEX science requirements, along with experience from commissioning this major telescope upgrade and the innovative instrumentation suite for HETDEX.


title: Ballistic magnetotransport in graphene

abstract: We report that a perpendicular magnetic field introduces an anomalous interaction correction, $\delta \sigma$, to the static conductivity of doped graphene in the ballistic regime. The correction implies that the magnetoresistance, $\delta \rho_{xx}$ scales inversely with temperature $\delta \rho_{xx}(T) \propto 1/T$ in a parametrically large interval. When the disorder is scalar-like, the $\propto 1/T$ behavior is the leading contribution in the crossover between diffusive regime exhibiting weak localization and quantum magnetooscillations. The behavior originates from the field-induced breaking of the chiral symmetry of Dirac electrons around a single valley. The result is specific for generic two-dimensional Dirac materials which deviate from the half-filling. We conclude by proposing magnetotransport experiments, which have the capacity to detect the nature of impurities and defects in high-mobility Dirac monolayers such as recently fabricated ballistic graphene samples.