title: The Far Side of DNS Amplification: Tracing the DDoS Attack Ecosystem from the Internet Core

abstract: In this paper, we shed new light on the DNS amplification ecosystem, by studying complementary data sources, bolstered by orthogonal methodologies. First, we introduce a passive attack detection method for the Internet core, i.e., at Internet eXchange Points (IXPs). Surprisingly, IXPs and honeypots observe mostly disjoint sets of attacks: 96% of IXP-inferred attacks were invisible to a sizable honeypot platform. Second, we assess the effectiveness of observed DNS attacks by studying IXP traces jointly with diverse data from independent measurement infrastructures. We find that attackers efficiently detect new reflectors and purposefully rotate between them. At the same time, we reveal that attackers are a small step away from bringing about significantly higher amplification factors (14x). Third, we identify and fingerprint a major attack entity by studying patterns in attack traces. We show that this entity dominates the DNS amplification ecosystem by carrying out 59% of the attacks, and provide an in-depth analysis of its behavior over time. Finally, our results reveal that operators of various .gov names do not adhere to DNSSEC key rollover best practices, which exacerbates amplification potential. We can verifiably connect this operational behavior to misuses and attacker decision-making.


title: Solving Inverse Problems with Conditional-GAN Prior via Fast Network-Projected Gradient Descent

abstract: The projected gradient descent (PGD) method has shown to be effective in recovering compressed signals described in a data-driven way by a generative model, i.e., a generator which has learned the data distribution. Further reconstruction improvements for such inverse problems can be achieved by conditioning the generator on the measurement. The boundary equilibrium generative adversarial network (BEGAN) implements an equilibrium based loss function and an auto-encoding discriminator to better balance the performance of the generator and the discriminator. In this work we investigate a network-based projected gradient descent (NPGD) algorithm for measurement-conditional generative models to solve the inverse problem much faster than regular PGD. We combine the NPGD with conditional GAN/BEGAN to evaluate their effectiveness in solving compressed sensing type problems. Our experiments on the MNIST and CelebA datasets show that the combination of measurement conditional model with NPGD works well in recovering the compressed signal while achieving similar or in some cases even better performance along with a much faster reconstruction. The achieved reconstruction speed-up in our experiments is up to 140-175.


title: QUICsand: Quantifying QUIC Reconnaissance Scans and DoS Flooding Events

abstract: In this paper, we present first measurements of Internet background radiation originating from the emerging transport protocol QUIC. Our analysis is based on the UCSD network telescope, correlated with active measurements. We find that research projects dominate the QUIC scanning ecosystem but also discover traffic from non-benign sources. We argue that although QUIC has been carefully designed to restrict reflective amplification attacks, the QUIC handshake is prone to resource exhaustion attacks, similar to TCP SYN floods. We confirm this conjecture by showing how this attack vector is already exploited in multi-vector attacks: On average, the Internet is exposed to four QUIC floods per hour and half of these attacks occur concurrently with other common attack types such as TCP/ICMP floods.


title: A Phylogeny-based Test of Mediation Effect in Microbiome

abstract: Recent studies suggest that the microbiome can be an important mediator in the effect of a treatment on an outcome. Microbiome data generated from sequencing experiments contain the relative abundance of a large number of microbial taxa with their evolutionary relationships represented by a phylogenetic tree. The compositional and high-dimensional nature of the microbiome mediator invalidates standard mediation analyses. We propose a phylogeny-based mediation analysis method (PhyloMed) for the microbiome mediator. PhyloMed models the microbiome mediation effect through a cascade of independent local mediation models on the internal nodes of the phylogenetic tree. Each local model captures the mediation effect of a subcomposition at a given taxonomic resolution. The method improves the power of the mediation test by enriching weak and sparse signals across mediating taxa that tend to cluster on the tree. In each local model, we further empower PhyloMed by using a mixture distribution to obtain the subcomposition mediation test p-value, which takes into account the composite nature of the null hypothesis. PhyloMed enables us to test the overall mediation effect of the entire microbial community and pinpoint internal nodes with significant subcomposition mediation effects. Our extensive simulations demonstrate the validity of PhyloMed and its substantial power gain over existing methods. An application to a real study further showcases the advantages of our method.


title: A first-principles investigation of pressure induced topological phase transition in Half-Heusler AgSrBi

abstract: Topological Insulators (TI) are materials with novel quantum states which exhibit a bulk insulating gap while the edge/surface is conducting. This has been extensively explored in several Half-Heusler (HH) compounds hosting the exotic TI behaviour. In the present work we employ, first-principles based Density Functional Theory to perform thorough investigations of pressure induced topological phase transition (TPT) in HH AgSrBi which belongs to the F-43m space group. AgSrBi is intrinsically semi-metallic in nature which, under isotropic pressure exhibits semi-metal to trivial insulator transition retaining the cubic symmetry whereas, on breaking the cubic symmetry we observe the much sought after non-trivial semi-metal to TI phase transition. We also explore the effect of lowering crystal symmetry in realizing TI nature. Following this we perform qualitative analysis of the electronic properties to understand the origin of this non-trivial behavior followed by the quantitative analysis of the Z$_2$ classification which indicates that AgSrBi is a strong TI (i.e., Z$_2$ = (1, 101)). We thus, propose AgSrBi as a dynamically stable TI which can be used as ultra-thin films thermoelectric and nanoelectronic applications.


title: Python Crypto Misuses in the Wild

abstract: Background: Previous studies have shown that up to 99.59 % of the Java apps using crypto APIs misuse the API at least once. However, these studies have been conducted on Java and C, while empirical studies for other languages are missing. For example, a controlled user study with crypto tasks in Python has shown that 68.5 % of the professional developers write a secure solution for a crypto task. Aims: To understand if this observation holds for real-world code, we conducted a study of crypto misuses in Python. Method: We developed a static analysis tool that covers common misuses of 5 different Python crypto APIs. With this analysis, we analyzed 895 popular Python projects from GitHub and 51 MicroPython projects for embedded devices. Further, we compared our results with the findings of previous studies. Results: Our analysis reveals that 52.26 % of the Python projects have at least one misuse. Further, some Python crypto libraries API design helps developers from misusing crypto functions, which were much more common in studies conducted with Java and C code. Conclusion: We conclude that we can see a positive impact of the good API design on crypto misuses for Python applications. Further, our analysis of MicroPython projects reveals the importance of hybrid analyses.


title: Evidence for an Algebra of $\boldsymbol{G_2}$ Instantons

abstract: In this short note, we present some evidence towards the existence of an algebra of BPS $G_2$ instantons. These are instantonic configurations that govern the partition functions of 7d SYM theories on local $G_2$ holonomy manifolds $\mathcal X$. To shed light on such structure, we begin investigating the relation with parent 4d $\mathcal N=1$ theories obtained by geometric engineering M-theory on $\mathcal X$. The main point of this paper is to substantiate the following dream: the holomorphic sector of such theories on multi-centered Taub-NUT spaces gives rise to an algebra whose characters organise the $G_2$ instanton partition function. As a first step towards this program, we argue by string duality that a multitude of geometries $\mathcal X$ exist that are dual to well-known 4d SCFTs arising from D3 branes probes of CY cones: all these models are amenable to analysis along the lines suggested by Dijkgraaf, Gukov, Neitzke and Vafa in the context of topological M-theory. Moreover, we discuss an interesting relation to Costello's twisted M-theory, which arises at local patches, and is a key ingredient in identifying the relevant algebras.


title: Relatively amenable actions of Thompson's groups

abstract: We investigate the notion of relatively amenable topological action and show that the action of Thompson's group $T$ on $S^1$ is relatively amenable with respect to Thompson's group $F$. We use this to conclude that $F$ is exact if and only if $T$ is exact. Moreover, we prove that the groupoid of germs of the action of $T$ on $S^1$ is Borel amenable.


title: Smooth components on special iterated Hilbert schemes

abstract: Let $S$ be a smooth projective surface with $p_g=q=0$. We show how to use derived categorical methods to study the geometry of certain special iterated Hilbert schemes associated to $S$ by showing that they contain a smooth connected component isomorphic to $S$.


title: Measurement of the W boson mass

abstract: The $W$ boson mass is measured using proton-proton collision data at $\sqrt{s}=13$ TeV corresponding to an integrated luminosity of 1.7 fb$^{-1}$ recorded during 2016 by the LHCb experiment. With a simultaneous fit of the muon $q/p_T$ distribution of a sample of $W \to \mu\nu$ decays and the $\phi^*$ distribution of a sample of $Z\to\mu\mu$ decays the $W$ boson mass is determined to be \begin{equation*} m_{W} = 80354 \pm 23_{\rm stat} \pm 10_{\rm exp} \pm 17_{\rm theory} \pm 9_{\rm PDF}~\mathrm{MeV}, \end{equation*} where uncertainties correspond to contributions from statistical, experimental systematic, theoretical and parton distribution function sources. This is an average of results based on three recent global parton distribution function sets. The measurement agrees well with the prediction of the global electroweak fit and with previous measurements.


title: Modular knots, automorphic forms, and the Rademacher symbols for triangle groups

abstract: \'{E}.\~Ghys proved that the linking numbers of modular knots and the "missing" trefoil $K_{2,3}$ in $S^3$ coincide with the values of a highly ubiquitous function called the Rademacher symbol for ${\rm SL}_2\mathbb{Z}$. In this paper, we replace ${\rm SL}_2\mathbb{Z}=\Gamma_{2,3}$ by the triangle group $\Gamma_{p,q}$ for any coprime pair $(p,q)$ of integers with $2\leq p<q$. We invoke the theory of harmonic Maass forms for $\Gamma_{p,q}$ to introduce the notion of the Rademacher symbol $\psi_{p,q}$, and provide several characterizations. Among other things, we generalize Ghys's theorem for modular knots around any "missing" torus knot $K_{p,q}$ in $S^3$ and in a lens space.


title: Learning Language-Conditioned Robot Behavior from Offline Data and Crowd-Sourced Annotation

abstract: We study the problem of learning a range of vision-based manipulation tasks from a large offline dataset of robot interaction. In order to accomplish this, humans need easy and effective ways of specifying tasks to the robot. Goal images are one popular form of task specification, as they are already grounded in the robot's observation space. However, goal images also have a number of drawbacks: they are inconvenient for humans to provide, they can over-specify the desired behavior leading to a sparse reward signal, or under-specify task information in the case of non-goal reaching tasks. Natural language provides a convenient and flexible alternative for task specification, but comes with the challenge of grounding language in the robot's observation space. To scalably learn this grounding we propose to leverage offline robot datasets (including highly sub-optimal, autonomously collected data) with crowd-sourced natural language labels. With this data, we learn a simple classifier which predicts if a change in state completes a language instruction. This provides a language-conditioned reward function that can then be used for offline multi-task RL. In our experiments, we find that on language-conditioned manipulation tasks our approach outperforms both goal-image specifications and language conditioned imitation techniques by more than 25%, and is able to perform visuomotor tasks from natural language, such as "open the right drawer" and "move the stapler", on a Franka Emika Panda robot.


title: An Empirical Study of Graph Contrastive Learning

abstract: Graph Contrastive Learning (GCL) establishes a new paradigm for learning graph representations without human annotations. Although remarkable progress has been witnessed recently, the success behind GCL is still left somewhat mysterious. In this work, we first identify several critical design considerations within a general GCL paradigm, including augmentation functions, contrasting modes, contrastive objectives, and negative mining techniques. Then, to understand the interplay of different GCL components, we conduct extensive, controlled experiments over a set of benchmark tasks on datasets across various domains. Our empirical studies suggest a set of general receipts for effective GCL, e.g., simple topology augmentations that produce sparse graph views bring promising performance improvements; contrasting modes should be aligned with the granularities of end tasks. In addition, to foster future research and ease the implementation of GCL algorithms, we develop an easy-to-use library PyGCL, featuring modularized CL components, standardized evaluation, and experiment management. We envision this work to provide useful empirical evidence of effective GCL algorithms and offer several insights for future research.


title: Nested canalizing functions minimize sensitivity and simultaneously promote criticality

abstract: We prove that nested canalizing functions are the minimum-sensitivity Boolean functions for any given activity ratio and we characterize the sensitivity boundary which has a nontrivial fractal structure. We further observe, on an extensive database of regulatory functions curated from the literature, that this bound severely constrains the robustness of biological networks. Our findings suggest that the accumulation near the "edge of chaos" in these systems is a natural consequence of a drive towards maximum stability while maintaining plasticity in transcriptional activity.


title: Combining Accelerometer and Gyroscope Data in Smartphone-Based Activity Recognition using Movelets

abstract: Physical activity patterns can be informative about a patient's health status. Traditionally, activity data have been gathered using patient self-report. However, these subjective data can suffer from bias and are difficult to collect over long time periods. Smartphones offer an opportunity to address these challenges. The smartphone has built-in sensors that can be programmed to collect data objectively, unobtrusively, and continuously. Due to their widespread adoption, smartphones are also accessible to most of the population. A main challenge in smartphone-based activity recognition is extracting information optimally from multiple sensors to identify the unique features of different activities. In our study, we analyze data collected by the accelerometer and gyroscope, which measure the phone's acceleration and angular velocity, respectively. We propose an extension to the "movelet method" that jointly incorporates both sensors. We also apply this joint-sensor method to a data set we collected previously. The findings show that combining data from the two sensors can result in more accurate activity recognition than using each sensor alone. For example, the joint-sensor method reduces errors of the gyroscope-only method in differentiating between standing and sitting. It also reduces errors of the accelerometer-only method in classifying vigorous activities.


title: Magnon heat transport in a two-dimensional Mott insulator

abstract: Whether or not anomalies in the thermal conductivity in insulating cuprates can be attributed to antiferromagnetic order and magnons in a 2D Mott insulator remains an intriguing open question. To shed light on this issue, we investigate the thermal conductivity $\kappa$ and its relationship with the specific heat $c_v$ in the half-filled 2D single-band Hubbard model, using the numerically exact determinant quantum Monte Carlo algorithm and maximum entropy analytic continuation. At low temperatures where the charge degrees of freedom are gapped-out and $c_v$ exhibits a clear magnon peak, we observe that thermal conductivity $\kappa$ also tends to form a peak at similar temperatures. Reducing temperature further produces a sharp upturn in $\kappa$, associated with an increasing mean-free path. We identify this as the high-temperature side of the anomalous peak in insulating cuprates, where the mean-free path eventually is cut-off by other scattering effects, including phonons, disorder, and physical size. Different scattering effects in our model are identified and analyzed in the thermal diffusivity.


title: Automatic Diagnosis of Schizophrenia in EEG Signals Using CNN-LSTM Models

abstract: Schizophrenia (SZ) is a mental disorder whereby due to the secretion of specific chemicals in the brain, the function of some brain regions is out of balance, leading to the lack of coordination between thoughts, actions, and emotions. This study provides various intelligent deep learning (DL)-based methods for automated SZ diagnosis via electroencephalography (EEG) signals. The obtained results are compared with those of conventional intelligent methods. To implement the proposed methods, the dataset of the Institute of Psychiatry and Neurology in Warsaw, Poland, has been used. First, EEG signals were divided into 25 s time frames and then were normalized by z-score or norm L2. In the classification step, two different approaches were considered for SZ diagnosis via EEG signals. In this step, the classification of EEG signals was first carried out by conventional machine learning methods, e.g., support vector machine, k-nearest neighbors, decision tree, na\"ive Bayes, random forest, extremely randomized trees, and bagging. Various proposed DL models, namely, long short-term memories (LSTMs), one-dimensional convolutional networks (1D-CNNs), and 1D-CNN-LSTMs, were used in the following. In this step, the DL models were implemented and compared with different activation functions. Among the proposed DL models, the CNN-LSTM architecture has had the best performance. In this architecture, the ReLU activation function with the z-score and L2-combined normalization was used. The proposed CNN-LSTM model has achieved an accuracy percentage of 99.25%, better than the results of most former studies in this field. It is worth mentioning that to perform all simulations, the k-fold cross-validation method with k = 5 has been used.


title: A Reasoning Engine for the Gamification of Loop-Invariant Discovery

abstract: We describe the design and implementation of a reasoning engine that facilitates the gamification of loop-invariant discovery. Our reasoning engine enables students, computational agents and regular software engineers with no formal methods expertise to collaboratively prove interesting theorems about simple programs using browser-based, online games. Within an hour, players are able to specify and verify properties of programs that are beyond the capabilities of fully-automated tools. The hour limit includes the time for setting up the system, completing a short tutorial explaining game play and reasoning about simple imperative programs. Players are never required to understand formal proofs; they only provide insights by proposing invariants. The reasoning engine is responsible for managing and evaluating the proposed invariants, as well as generating actionable feedback.


title: Stringy Bubbles Solve de Sitter Troubles

abstract: Finding four-dimensional de Sitter spacetime solutions in string theory has been a vexing quest ever since the discovery of the accelerating expansion of the universe. Building on a recent analysis of bubble-nucleation in the decay of (false-vacuum) AdS backgrounds where the interfacing bubbles themselves exhibit a de Sitter geometry we show that this resonates strongly with a stringy cosmic brane construction that naturally provides for an exponential mass-hierarchy, and localization of both gravity and matter, in addition to an exponentially suppressed positive cosmological constant. Finally, we argue that these scenarios can be realized in terms of a generalization of a small resolution of a conifold singularity in the context of a (Lorentzian) Calabi-Yau 5-fold, where the isolated (Lorentzian) two complex dimensional Fano variety is a four-dimensional de Sitter spacetime.


title: Benchmarking the Robustness of Instance Segmentation Models

abstract: This paper presents a comprehensive evaluation of instance segmentation models with respect to real-world image corruptions as well as out-of-domain image collections, e.g. images captured by a different set-up than the training dataset. The out-of-domain image evaluation shows the generalization capability of models, an essential aspect of real-world applications and an extensively studied topic of domain adaptation. These presented robustness and generalization evaluations are important when designing instance segmentation models for real-world applications and picking an off-the-shelf pretrained model to directly use for the task at hand. Specifically, this benchmark study includes state-of-the-art network architectures, network backbones, normalization layers, models trained starting from scratch versus pretrained networks, and the effect of multi-task training on robustness and generalization. Through this study, we gain several insights. For example, we find that group normalization enhances the robustness of networks across corruptions where the image contents stay the same but corruptions are added on top. On the other hand, batch normalization improves the generalization of the models across different datasets where statistics of image features change. We also find that single-stage detectors do not generalize well to larger image resolutions than their training size. On the other hand, multi-stage detectors can easily be used on images of different sizes. We hope that our comprehensive study will motivate the development of more robust and reliable instance segmentation models.


title: Domain-Robust Mitotic Figure Detection with Style Transfer

abstract: We propose a new training scheme for domain generalization in mitotic figure detection. Mitotic figures show different characteristics for each scanner. We consider each scanner as a 'domain' and the image distribution specified for each domain as 'style'. The goal is to train our network to be robust on scanner types by using various 'style' images. To expand the style variance, we transfer a style of the training image into arbitrary styles, by defining a module based on StarGAN. Our model with the proposed training scheme shows positive performance on MIDOG Preliminary Test-Set containing scanners never seen before.


title: Influence of an external electric field on the energy dissipation at the initial stage of laser ablation

abstract: A density-dependent two-temperature model is applied to describe laser excitation and the following relaxation processes of silicon in an external electric field. Two approaches on how to describe the effects of the external electric field are presented. The first approach avoids the buildup of internal electric fields due to charge separation by assuming ambipolar diffusion and adds an additional carrier-pair current. In the second approach, electrons and holes are treated separately to account for charge separation and the resulting shielding of the external electric field inside the material. The two approaches are compared to experimental results. Both the first approach and the experimental results show similar tendencies for optimization of laser ablation in the external electric field.


title: An Electro-Photonic System for Accelerating Deep Neural Networks

abstract: The number of parameters in deep neural networks (DNNs) is scaling at about 5$\times$ the rate of Moore's Law. To sustain this growth, photonic computing is a promising avenue, as it enables higher throughput in dominant general matrix-matrix multiplication (GEMM) operations in DNNs than their electrical counterpart. However, purely photonic systems face several challenges including lack of photonic memory and accumulation of noise. In this paper, we present an electro-photonic accelerator, ADEPT, which leverages a photonic computing unit for performing GEMM operations, a vectorized digital electronic ASIC for performing non-GEMM operations, and SRAM arrays for storing DNN parameters and activations. In contrast to prior works in photonic DNN accelerators, we adopt a system-level perspective and show that the gains while large are tempered relative to prior expectations. Our goal is to encourage architects to explore photonic technology in a more pragmatic way considering the system as a whole to understand its general applicability in accelerating today's DNNs. Our evaluation shows that ADEPT can provide, on average, 5.73$\times$ higher throughput per Watt compared to the traditional systolic arrays (SAs) in a full-system, and at least 6.8$\times$ and $2.5\times$ better throughput per Watt, compared to state-of-the-art electronic and photonic accelerators, respectively.


title: Cross-platform analysis of user comments in YouTube videos linked on Reddit conspiracy theory forum

abstract: We perform a cross-platform analysis in which we study how does linking YouTube content on Reddit conspiracy forum impact language used in user comments on YouTube. Our findings show a slight change in user language in that it becomes more similar to language used on Reddit.


title: Possible indications for new Higgs bosons in the reach of the LHC: N2HDM and NMSSM interpretations

abstract: In several searches for additional Higgs bosons at the LHC, in particular in a CMS search exploring decays to pairs of top quarks, $t \bar t$, and in an ATLAS search studying tau leptons, $\tau^+\tau^-$, local excesses of about $3\,\sigma$ standard deviations or above have been observed at a mass scale of approximately $ 400$GeV. We investigate to what extent a possible signal in these channels could be accommodated in the Next-to-Two-Higgs-Doublet Model (N2HDM) or the Next-to Minimal Supersymmetric Standard Model (NMSSM). In a second step we analyze whether such a model could be compatible with both a signal at around $400$GeV and $96$GeV, where the latter possibility is motivated by observed excesses in searches for the $b \bar b$ final state at LEP and the di-photon final state at CMS. The analysis for the N2HDM reveals that the observed excesses at $400GeV$ in the $t \bar t$ and $\tau^+\tau^-$ channels point towards different regions of the parameter space, while one such excess and an additional Higgs boson at around $96$GeV could simultaneously be accommodated. In the context of the NMSSM an experimental confirmation of a signal in the $t \bar t$ final state would favour the alignment-without-decoupling limit of the model, where the Higgs boson at $125$GeV could be essentially indistinguishable from the Higgs boson of the standard model. In contrast, a signal in the $\tau^+\tau^-$ channel can only be accommodated outside of this limit, and parts of the investigated parameter space could be probed with Higgs signal-rate measurements at the (HL-)LHC.


title: NerfingMVS: Guided Optimization of Neural Radiance Fields for Indoor Multi-view Stereo

abstract: In this work, we present a new multi-view depth estimation method that utilizes both conventional reconstruction and learning-based priors over the recently proposed neural radiance fields (NeRF). Unlike existing neural network based optimization method that relies on estimated correspondences, our method directly optimizes over implicit volumes, eliminating the challenging step of matching pixels in indoor scenes. The key to our approach is to utilize the learning-based priors to guide the optimization process of NeRF. Our system firstly adapts a monocular depth network over the target scene by finetuning on its sparse SfM+MVS reconstruction from COLMAP. Then, we show that the shape-radiance ambiguity of NeRF still exists in indoor environments and propose to address the issue by employing the adapted depth priors to monitor the sampling process of volume rendering. Finally, a per-pixel confidence map acquired by error computation on the rendered image can be used to further improve the depth quality. Experiments show that our proposed framework significantly outperforms state-of-the-art methods on indoor scenes, with surprising findings presented on the effectiveness of correspondence-based optimization and NeRF-based optimization over the adapted depth priors. In addition, we show that the guided optimization scheme does not sacrifice the original synthesis capability of neural radiance fields, improving the rendering quality on both seen and novel views. Code is available at https://github.com/weiyithu/NerfingMVS.


title: Stoechiometric and dynamical autocatalysis for diluted chemical reaction networks

abstract: Autocatalysis underlies the ability of chemical and biochemical systems to replicate. Recently, Blokhuis et al. gave a stoechiometric definition of autocatalysis for reaction networks, stating the existence of a combination of reactions such that the balance for all autocatalytic species is strictly positive, and investigated minimal autocatalytic networks, called {\em autocatalytic cores}. By contrast, spontaneous autocatalysis -- namely, exponential amplification of all species internal to a reaction network, starting from a diluted regime, i.e. low concentrations -- is a dynamical property. We introduce here a topological condition (Top) for autocatalysis, namely: restricting the reaction network description to highly diluted species, we assume existence of a strongly connected component possessing at least one reaction with multiple products (including multiple copies of a single species). We find this condition to be necessary and sufficient for stoechiometric autocatalysis. When degradation reactions have small enough rates, the topological condition further ensures dynamical autocatalysis, characterized by a strictly positive Lyapunov exponent giving the instantaneous exponential growth rate of the system. The proof is generally based on the study of auxiliary Markov chains. We provide as examples general autocatalytic cores of Type I and Type III in the typology of Blokhuis et al. In a companion article, Lyapunov exponents and the behavior in the growth regime are studied quantitatively beyond the present diluted regime .


title: Some model theory of $\operatorname{Th}(\mathbb{N},\cdot)$

abstract: 'Skolem arithmetic' is the complete theory $T$ of the multiplicative monoid $(\mathbb{N},\cdot)$. We give a full characterization of the $\varnothing$-definable stably embedded sets of $T$, showing in particular that, up to the relation of having the same definable closure, there is only one non-trivial one: the set of squarefree elements. We then prove that $T$ has weak elimination of imaginaries but not elimination of finite imaginaries.


title: A New Semi-Automated Algorithm for Volumetric Segmentation of the Left Ventricle in Temporal 3D Echocardiography Sequences

abstract: Purpose: Echocardiography is commonly used as a non-invasive imaging tool in clinical practice for the assessment of cardiac function. However, delineation of the left ventricle is challenging due to the inherent properties of ultrasound imaging, such as the presence of speckle noise and the low signal-to-noise ratio. Methods: We propose a semi-automated segmentation algorithm for the delineation of the left ventricle in temporal 3D echocardiography sequences. The method requires minimal user interaction and relies on a diffeomorphic registration approach. Advantages of the method include no dependence on prior geometrical information, training data, or registration from an atlas. Results: The method was evaluated using three-dimensional ultrasound scan sequences from 18 patients from the Mazankowski Alberta Heart Institute, Edmonton, Canada, and compared to manual delineations provided by an expert cardiologist and four other registration algorithms. The segmentation approach yielded the following results over the cardiac cycle: a mean absolute difference of 1.01 (0.21) mm, a Hausdorff distance of 4.41 (1.43) mm, and a Dice overlap score of 0.93 (0.02). Conclusions: The method performed well compared to the four other registration algorithms.


title: Superconductivity in the vicinity of an isospin-polarized state in a cubic Dirac band

abstract: We present a theory of superconducting pairing originating from soft critical fluctuations near isospin-polarized states in rhombohedral trilayer graphene. Using a symmetry-based approach, we determine possible isospin order types and derive the effective electron-electron interactions mediated by isospin fluctuations. Superconductitivty arising due to these interactions has symmetry and order parameter structure that depend in a unique way on the "mother" isospin order. This model naturally leads to a superconducting phase adjacent to isospin-ordering phase transition, which mimics the behavior observed in experiment. The symmetry of the paired state predicted for the isospin order type inferred in experiments matches the observations. These findings support a scenario of superconductivity originating from electron-electron interactions.


title: Learning to Prompt for Vision-Language Models

abstract: Large pre-trained vision-language models like CLIP have shown great potential in learning representations that are transferable across a wide range of downstream tasks. Different from the traditional representation learning that is based mostly on discretized labels, vision-language pre-training aligns images and texts in a common feature space, which allows zero-shot transfer to a downstream task via prompting, i.e., classification weights are synthesized from natural language describing classes of interest. In this work, we show that a major challenge for deploying such models in practice is prompt engineering, which requires domain expertise and is extremely time-consuming -- one needs to spend a significant amount of time on words tuning since a slight change in wording could have a huge impact on performance. Inspired by recent advances in prompt learning research in natural language processing (NLP), we propose Context Optimization (CoOp), a simple approach specifically for adapting CLIP-like vision-language models for downstream image recognition. Concretely, CoOp models a prompt's context words with learnable vectors while the entire pre-trained parameters are kept fixed. To handle different image recognition tasks, we provide two implementations of CoOp: unified context and class-specific context. Through extensive experiments on 11 datasets, we demonstrate that CoOp requires as few as one or two shots to beat hand-crafted prompts with a decent margin and is able to gain significant improvements over prompt engineering with more shots, e.g., with 16 shots the average gain is around 15% (with the highest reaching over 45%). Despite being a learning-based approach, CoOp achieves superb domain generalization performance compared with the zero-shot model using hand-crafted prompts.


title: Sequence-to-Sequence Learning with Latent Neural Grammars

abstract: Sequence-to-sequence learning with neural networks has become the de facto standard for sequence prediction tasks. This approach typically models the local distribution over the next word with a powerful neural network that can condition on arbitrary context. While flexible and performant, these models often require large datasets for training and can fail spectacularly on benchmarks designed to test for compositional generalization. This work explores an alternative, hierarchical approach to sequence-to-sequence learning with quasi-synchronous grammars, where each node in the target tree is transduced by a node in the source tree. Both the source and target trees are treated as latent and induced during training. We develop a neural parameterization of the grammar which enables parameter sharing over the combinatorial space of derivation rules without the need for manual feature engineering. We apply this latent neural grammar to various domains -- a diagnostic language navigation task designed to test for compositional generalization (SCAN), style transfer, and small-scale machine translation -- and find that it performs respectably compared to standard baselines.


title: Classes in Zakharevich K-groups constructed from Quillen K-theory

abstract: We show that the K-groups K_{n}(O) for O the integers or an order in a CM field and n>0 appear as direct summands of the homotopy groups of various localisations of Zakharevich's K-theory space. After rationalisation and going to the 1-connective cover, this even becomes a retract of spaces. As an application, we provide the first construction of classes of infinite order in the higher Zakharevich K-groups.


title: The Power of Points for Modeling Humans in Clothing

abstract: Currently it requires an artist to create 3D human avatars with realistic clothing that can move naturally. Despite progress on 3D scanning and modeling of human bodies, there is still no technology that can easily turn a static scan into an animatable avatar. Automating the creation of such avatars would enable many applications in games, social networking, animation, and AR/VR to name a few. The key problem is one of representation. Standard 3D meshes are widely used in modeling the minimally-clothed body but do not readily capture the complex topology of clothing. Recent interest has shifted to implicit surface models for this task but they are computationally heavy and lack compatibility with existing 3D tools. What is needed is a 3D representation that can capture varied topology at high resolution and that can be learned from data. We argue that this representation has been with us all along -- the point cloud. Point clouds have properties of both implicit and explicit representations that we exploit to model 3D garment geometry on a human body. We train a neural network with a novel local clothing geometric feature to represent the shape of different outfits. The network is trained from 3D point clouds of many types of clothing, on many bodies, in many poses, and learns to model pose-dependent clothing deformations. The geometry feature can be optimized to fit a previously unseen scan of a person in clothing, enabling the scan to be reposed realistically. Our model demonstrates superior quantitative and qualitative results in both multi-outfit modeling and unseen outfit animation. The code is available for research purposes.


title: APIzation: Generating Reusable APIs from StackOverflow Code Snippets

abstract: Developer forums like StackOverflow have become essential resources to modern software development practices. However, many code snippets lack a well-defined method declaration, and thus they are often incomplete for immediate reuse. Developers must adapt the retrieved code snippets by parameterizing the variables involved and identifying the return value. This activity, which we call APIzation of a code snippet, can be tedious and time-consuming. In this paper, we present APIzator to perform APIzations of Java code snippets automatically. APIzator is grounded by four common patterns that we extracted by studying real APIzations in GitHub. APIzator presents a static analysis algorithm that automatically extracts the method parameters and return statements. We evaluated APIzator with a ground-truth of 200 APIzations collected from 20 developers. For 113 (56.50 %) and 115 (57.50 %) APIzations, APIzator and the developers extracted identical parameters and return statements, respectively. For 163 (81.50 %) APIzations, either the parameters or the return statements were identical.


title: Interpreting connexive principles in coherence-based probability logic

abstract: We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form "If $\sim A$, then $A$", should not hold, since the conditional's antecedent $\sim A$ contradicts its consequent $A$. Our approach covers this intuition by observing that for an event A the only coherent probability assessment on the conditional event $A|\overline{A}$ is $p(A|\overline{A})=0$. Moreover, connexive logics aim to capture the intuition that conditionals should express some "connection" between the antecedent and the consequent or, in terms of inferences, validity should require some connection between the premise set and the conclusion. This intuition is covered by a number of principles, a selection of which we analyze in our contribution. We present two approaches to connexivity within coherence-based probability logic. Specifically, we analyze connections between antecedents and consequents firstly, in terms of probabilistic constraints on conditional events (in the sense of defaults, or negated defaults) and secondly, in terms of constraints on compounds of conditionals and iterated conditionals. After developing different notions of negations and notions of validity, we analyze the following connexive principles within both approaches: Aristotle's Theses, Aristotle's Second Thesis, Abelard's First Principle and selected versions of Boethius' Theses. We conclude by remarking that coherence-based probability logic offers a rich language to investigate the validity of various connexive principles.


title: Vacuum currents in partially compactified Rindler spacetime with an application to cylindrical black holes

abstract: The vacuum expectation value of the current density for a charged scalar field is investigated in Rindler spacetime with a part of spatial dimensions compactified to a torus. It is assumed that the field is prepared in the Fulling-Rindler vacuum state. For general values of the phases in the periodicity conditions and the lengths of compact dimensions, the expressions are provided for the Hadamard function and vacuum currents. The current density along compact dimensions is a periodic function of the magnetic flux enclosed by those dimensions and vanishes on the Rindler horizon. The obtained results are compared with the corresponding currents in the Minkowski vacuum. The near-horizon and large-distance asymptotics are discussed for the vacuum currents around cylindrical black holes. In the near-horizon approximation the lengths of compact dimensions are determined by the horizon radius. At large distances from the horizon the geometry is approximated by a locally anti-de Sitter spacetime with toroidally compact dimensions and the lengths of compact dimensions are determined by negative cosmological constant.


title: Metasurface Holography over 90% Efficiency in the Visible via Nanoparticle-Embedded-Resin Printing

abstract: Metasurface holography, the reconstruction of holographic images by modulating the spatial amplitude and phase of light using metasurfaces, has emerged as a next-generation display technology. However, conventional fabrication techniques used to realize metaholograms are limited by their small patterning areas, high manufacturing costs, and low throughput, which hinder their practical use. Herein, we demonstrate a high efficiency hologram using a one-step nanomanufacturing method with a titanium dioxide nanoparticle-embedded-resin, allowing for high-throughput and low-cost fabrication. At a single wavelength, a record high 96.4% theoretical efficiency is demonstrated with an experimentally measured conversion efficiency of 90.6% and zero-order diffraction of 7.3% producing an ultrahigh-efficiency, twin-image free hologram, that can even be directly observed under ambient light conditions. Moreover, we design a broadband meta-atom with an average efficiency of 76.0% and experimentally demonstrate a metahologram with an average efficiency of 62.4% at visible wavelengths from 450 to 650 nm.


title: The SVS13-A Class I chemical complexity as revealed by S-bearing species. SOLIS XIII

abstract: Aims: The goal is to obtain a census of S-bearing species using interferometric images, towards SVS13-A, a Class I object associated with a hot corino rich in interstellar complex organic molecules. Methods: We used data at 3mm and 1.4mm obtained with IRAM-NOEMA in the framework of the Large Program SOLIS. Results: We imaged the spatial distribution of the line emission of 32SO, 34SO, C32}S, C34S, C33S, OCS, H2C32S, H2C34S, and NS. The low excitation (9 K) 32SO line is tracing the fast collimated jet driven by the nearby SVS13-B. Conversely, the rest of the lines are confined in the inner SVS13-A region, where complex organics have been previously imaged. The non-LTE LVG analysis of SO, SO2, and H2CS indicates a hot corino origin (60-120 au). Temperatures between 50 K and 300 K, and volume densities larger than 10^5 cm-3 have been derived. The abundances are in the following ranges: 0.3-6 10^-6 (CS), 7 10^-9} - 1 10^-7 (SO), 1-10 10^-7 (SO2), a few 10^-10 (H2CS and OCS), and 10^{-10} - 10^{-9}(NS). The N(NS)/N(NS^+) ratio is larger than 10, supporting that the NS^+ ion is mainly formed in the extended envelope. Conclusions: The [H2CS]/[H2CO] ratio increases with time (from Class 0 to Class II objects) by more than one order of magnitude. This suggests that [S]/[O] changes along the Sun-like star forming process. The estimate of the [S]/[H] budget in SVS13-A is 2%-17% of the Solar System value (1.8 10^-5), being consistent with what was previously measured towards Class 0 objects (1%-8%). This supports that the enrichment of the sulphuretted species with respect to dark clouds keeps constant from the Class 0 to the Class I stages of low-mass star formation. The present findings stress the importance of investigating the chemistry of star forming regions using large observational surveys as well as sampling regions on a Solar System scale.


title: Solar oxygen abundance

abstract: Motivated by the controversy over the surface metallicity of the Sun, we present a re-analysis of the solar photospheric oxygen (O) abundance. New atomic models of O and Ni are used to perform Non-Local Thermodynamic Equilibrium (NLTE) calculations with 1D hydrostatic (MARCS) and 3D hydrodynamical (Stagger and Bifrost) models. The Bifrost 3D MHD simulations are used to quantify the influence of the chromosphere. We compare the 3D NLTE line profiles with new high-resolution, R = 700 000, spatially-resolved spectra of the Sun obtained using the IAG FTS instrument. We find that the O I lines at 777 nm yield the abundance of log A(O) = 8.74 +/- 0.03 dex, which depends on the choice of the H-impact collisional data and oscillator strengths. The forbidden [O I] line at 630 nm is less model-dependent, as it forms nearly in LTE and is only weakly sensitive to convection. However, the oscillator strength for this transition is more uncertain than for the 777 nm lines. Modelled in 3D NLTE with the Ni I blend, the 630 nm line yields an abundance of log A(O) = 8.77 +/- 0.05 dex. We compare our results with previous estimates in the literature and draw a conclusion on the most likely value of the solar photospheric O abundance, which we estimate at log A(O) = 8.75 +/- 0.03 dex.


title: J1721$+$8842: a gravitationally lensed binary quasar with a proximate damped Lyman-$\alpha$ absorber

abstract: High-redshift binary quasars provide key insights into mergers and quasar activity, and are useful tools for probing the spatial kinematics and chemistry of galaxies along the line-of-sight. However, only three sub-10-kpc binaries have been confirmed above $z=1$. Gravitational lensing would provide a way to easily resolve such binaries, study them in higher resolution, and provide more sightlines, though the required alignment with a massive foreground galaxy is rare. Through image deconvolution of StanCam Nordic Optical Telescope (NOT) monitoring data, we reveal two further point sources in the known, $z \approx 2.38$, quadruply lensed quasar (quad), J1721+8842. An ALFOSC/NOT long-slit spectrum shows that the brighter of these two sources is a quasar with $z = 2.369 \pm 0.007$ based on the C III] line, while the C III] redshift of the quad is $z = 2.364 \pm 0.003$. Lens modelling using point source positions rules out a single source model, favouring an isothermal lens mass profile with two quasar sources separated by $\sim6.0$ kpc (0.73$^{\prime \prime}$) in projection. Given the resolving ability from lensing and current lensed quasar statistics, this discovery suggests a large population of undiscovered, unlensed sub-10-kpc binaries. We also analyse spectra of two images of the quad, showing narrow Ly$\alpha$ emission within the trough of a proximate damped Ly$\alpha$ absorber (PDLA). An apparent mismatch between the continuum and narrow line flux ratios provides a new potential tool for simultaneously studying microlensing and the quasar host galaxy. Signs of the PDLA are also seen in the second source, however a deeper spectrum is still required to confirm this. Thanks to the multiple lines-of-sight from lensing and two quasar sources, this system offers simultaneous sub-parsec and kpc-scale probes of a PDLA.


title: Monopoles Entangle Fermions

abstract: We resolve the decades old mystery of what happens when a positron scatters off a minimal GUT monopole in an s-wave, first discussed by Callan in 1983. Using the language of on-shell amplitudes and pairwise helicity we show that the final state contains two up quarks and a down quark entangled with angular momentum stored in the gauge fields, which is the only particle final state that satisfies angular momentum and gauge charge conservation. The cross section for this process is as large as in the original Rubakov-Callan effect, only suppressed by the QCD scale. The final state we find cannot be seen in Callan's truncated 2D theory, since our entanglement requires more than 2 dimensions.


title: Extended Hernquist-Springel formalism for cosmic star formation

abstract: We present a revised and extended version of the analytic model for cosmic star formation originally given by Hernquist & Springel in 2003. The key assumption of this formalism is that star formation proceeds from cold gas, at a rate that is limited by an internal consumption timescale at early times, or by the rate of generation of gas via cooling at late times. These processes are analysed as a function of the mass of dark matter haloes and integrated over the halo population. We modify this approach in two main ways to make it more general: (1) halo collapse times are included explicitly, so that the behaviour is physically reasonable at late times; (2) allowance is made for a mass-dependent baryon fraction in haloes, which incorporates feedback effects. This model reproduces the main features of the observed baryonic Tully-Fisher relationship, and is consistent with observational estimates of the baryon mass fraction in the intergalactic medium. With minimal adjustment of parameters, our approach reproduces the observed history of cosmic star formation within a factor of two over the redshift range $0 < z < 10$. This level of agreement is comparable to that achieved by state-of-the-art cosmological simulations. Our simplified apparatus has pedagogical value in illuminating the results of such detailed calculations, and also serves as a means for rapid approximate exploration of non-standard cosmological models.


title: A general framework to test gravity using galaxy clusters VI: Realistic galaxy formation simulations to study clusters in modified gravity

abstract: We present a retuning of the IllustrisTNG baryonic physics model which can be used to run large-box realistic cosmological simulations with a lower resolution. This new model employs a lowered gas density threshold for star formation and reduced energy releases by stellar and black hole feedback. These changes ensure that our simulations can produce sufficient star formation to closely match the observed stellar and gas properties of galaxies and galaxy clusters, despite having $\sim$160 times lower mass resolution than the simulations used to tune the fiducial IllustrisTNG model. Using the retuned model, we have simulated Hu-Sawicki $f(R)$ gravity within a $301.75h^{-1}{\rm Mpc}$ box. This is, to date, the largest simulation that incorporates both screened modified gravity and full baryonic physics, offering a large sample ($\sim$500) of galaxy clusters and $\sim$8000 galaxy groups. We have reanalysed the effects of the $f(R)$ fifth force on the scaling relations between the cluster mass and four observable proxies: the mass-weighted gas temperature, the Compton $Y$-parameter of the thermal Sunyaev-Zel'dovich effect, the X-ray analogue of the $Y$-parameter, and the X-ray luminosity. We show that a set of mappings between the $f(R)$ scaling relations and their $\Lambda$CDM counterpart, which have been tested in a previous work using a much smaller cosmological volume, are accurate to within a few percent for the $Y$-parameters and $\lesssim7\%$ for the gas temperature for cluster-sized haloes ($10^{14}M_{\odot}\lesssim M_{500}\lesssim10^{15}M_{\odot}$). These mappings will be important for unbiased constraints of gravity using the data from ongoing and upcoming cluster surveys.


title: Simulating hyperbolic space on a circuit board

abstract: The Laplace operator encodes the behavior of physical systems at vastly different scales, describing heat flow, fluids, as well as electric, gravitational, and quantum fields. A key input for the Laplace equation is the curvature of space. Here we discuss and experimentally demonstrate that the spectral ordering of Laplacian eigenstates for hyperbolic (negatively curved) and flat two-dimensional spaces has a universally different structure. We use a lattice regularization of hyperbolic space in an electric-circuit network to measure the eigenstates of a "hyperbolic drum", and in a time-resolved experiment we verify signal propagation along the curved geodesics. Our experiments showcase both a versatile platform to emulate hyperbolic lattices in tabletop experiments, and a set of methods to verify the effective hyperbolic metric in this and other platforms. The presented techniques can be utilized to explore novel aspects of both classical and quantum dynamics in negatively curved spaces, and to realise the emerging models of topological hyperbolic matter.


title: Astrophysical constraints on compact objects in 4D Einstein-Gauss-Bonnet gravity

abstract: We study the properties of compact objects in a particular 4D Horndeski theory originating from higher dimensional Einstein-Gauss-Bonnet gravity. Remarkably, an exact vacuum solution is known. This compact object differs from general relativity mostly in the strong field regime. We discuss some properties of black holes in this framework and investigate in detail the properties of neutron stars, both static and in slow rotation. We find that for relatively modest deviations from general relativity, the secondary object in GW190814 is compatible with being a slowly-rotating neutron star, without resorting to very stiff or exotic equations of state. Remarkably, the equilibrium sequence of neutron stars matches asymptotically to the black hole limit, completetly closing the mass gap between neutron stars and black holes of same radius, although the stability of equilibrium solutions has yet to be determined. As a consequence, there exists a universal endpoint for the neutron star sequence, independent of the equation of state. In light of our results and of current observational constraints, we discuss specific constraints on the coupling constant that parametrizes deviations from general relativity in this theory.


title: Topological Link Models of Multipartite Entanglement

abstract: We introduce a novel model of multipartite entanglement based on topological links, generalizing the graph/hypergraph entropy cone program. We demonstrate that there exist link representations of entropy vectors which provably cannot be represented by graphs or hypergraphs. Furthermore, we show that the contraction map proof method generalizes to the topological setting, though now requiring oracular solutions to well-known but difficult problems in knot theory.


title: Observing Floquet topological order by symmetry resolution

abstract: Symmetry protected topological order in one dimension leads to protected degeneracies between symmetry blocks of the reduced density matrix. In the presence of periodic driving, topological Floquet phases can be identified in terms of a cycling of these symmetry blocks between different charge quantum numbers. We discuss an example of this phenomenon with an Ising $\mathbb{Z}_2$ symmetry, using both analytic methods and real quantum computers. By adiabatically moving along the phase diagram, we demonstrate that the cycling periodicity is broken in Floquet topological phase transitions. An equivalent signature of the topological Floquet phase is identified as a computational power allowing to teleport quantum information.


title: Quantum Complexity as Hydrodynamics

abstract: As a new step towards defining complexity for quantum field theories, we map Nielsen operator complexity for $SU(N)$ gates to two-dimensional hydrodynamics. We develop a tractable large $N$ limit that leads to regular geometries on the manifold of unitaries as $N$ is taken to infinity. To achieve this, we introduce a basis of non-commutative plane waves for the $\mathfrak{su}(N)$ algebra and define a metric with polynomial penalty factors. Through the Euler-Arnold approach we identify incompressible inviscid hydrodynamics on the two-torus as a novel effective theory of large-qudit operator complexity. For large $N$, our cost function captures two essential properties of holographic complexity measures: ergodicity and conjugate points.


title: Double Field Theory as the Double Copy of Yang-Mills

abstract: We show that double field theory arises from the color-kinematic double copy of Yang-Mills theory. A precise double copy prescription for the Yang-Mills action at quadratic and cubic order is provided that yields the double field theory action in which the duality invariant dilaton has been integrated out. More precisely, at quadratic order this yields the gauge invariant double field theory, while at cubic order it yields the cubic double field theory action subject to a gauge condition that originates from Siegel gauge in string field theory.


title: Partitioning the projective plane and the dunce hat

abstract: We show that any finite triangulation of the real projective plane or the dunce hat is partitionable. To prove this, we introduce simple yet useful gluing tools that allow us to reduce partitionability of a given complex to that of smaller constituent relative subcomplexes such as the disk or the open M\"obius strip. The gluing process generates partitioning schemes with a distinctive shelling/constructible flavor. We also give a tool to lift partitionability of relative simplicial complexes to that of the preimages of certain simplicial quotient maps.


title: Solving Tolman-Oppenheimer-Volkoff equations in f(T) gravity: a novel approach applied to some realistic equations of state

abstract: There are many ways to probe alternative theories of gravity, namely, via: experimental tests at solar system scale, cosmological data and models, gravitational waves and compact objects. In the present paper we consider a model of gravity with torsion $f(T)$ applied to compact objects such as neutron stars (NSs) for a couple of realistic equations of state (EOS). To do so we follow our previous articles, in which we show how to model compact stars in this $f(T)$ gravity by obtaining its corresponding Tolman-Oppenheimer-Volkof equations and applying this prescription to model polytropic compact stars. In these modelling of NS in $f(T)$ gravity presented here, we calculate, among other things, the maximum mass allowed for a given realistic EOS, which would also allow us to evaluate which models are in accordance with observations. The results already known to General Relativity must be reproduced to some extent and, eventually, we can find models that allow higher maximum masses for NSs than Relativity itself, which could explain, for example, the secondary component of the event GW190814, if this star is a massive NS.


title: Challenges in Generalization in Open Domain Question Answering

abstract: Recent work on Open Domain Question Answering has shown that there is a large discrepancy in model performance between novel test questions and those that largely overlap with training questions. However, it is unclear which aspects of novel questions make them challenging. Drawing upon studies on systematic generalization, we introduce and annotate questions according to three categories that measure different levels and kinds of generalization: training set overlap, compositional generalization (comp-gen), and novel-entity generalization (novel-entity). When evaluating six popular parametric and non-parametric models, we find that for the established Natural Questions and TriviaQA datasets, even the strongest model performance for comp-gen/novel-entity is 13.1/5.4% and 9.6/1.5% lower compared to that for the full test set -- indicating the challenge posed by these types of questions. Furthermore, we show that whilst non-parametric models can handle questions containing novel entities relatively well, they struggle with those requiring compositional generalization. Lastly, we find that key question difficulty factors are: cascading errors from the retrieval component, frequency of question pattern, and frequency of the entity.


title: Can the Fe K-alpha Line Reliably Predict Supernova Remnant Progenitors?

abstract: The centroid energy of the Fe K$\alpha$ line has been used to identify the progenitors of supernova remnants (SNRs). These investigations generally considered the energy of the centroid derived from the spectrum of the entire remnant. Here we use {\it XMM-Newton} data to investigate the Fe K$\alpha$ centroid in 6 SNRs: 3C~397, N132D, W49B, DEM L71, 1E 0102.2-7219, and Kes 73. In Kes 73 and 1E 0102.2-7219, we fail to detect any Fe K$\alpha$ emission. We report a tentative first detection of Fe K$\alpha$ emission in SNR DEM L71, with a centroid energy consistent with its Type Ia designation. In the remaining remnants, the spatial and spectral sensitivity is sufficient to investigate spatial variations of the Fe K$\alpha$ centroid. We find in N132D and W49B that the centroids in different regions are consistent with that derived from the overall spectrum, although not necessarily with the remnant type identified via other means. However, in SNR 3C~397, we find statistically significant variation in the centroid of up to 100 eV, aligning with the variation in the density structure around the remnant. These variations span the intermediate space between centroid energies signifying core-collapse and Type Ia remnants. Shifting the dividing line downwards by 50 eV can place all the centroids in the CC region, but contradicts the remnant type obtained via other means. Our results show that caution must be used when employing the Fe K$\alpha$ centroid of the entire remnant as the sole diagnostic for typing a remnant.


title: Fast MATLAB evaluation of nonlinear energies using FEM in 2D and 3D: nodal elements

abstract: Nonlinear energy functionals appearing in the calculus of variations can be discretized by the finite element (FE) method and formulated as a sum of energy contributions from local elements. A fast evaluation of energy functionals containing the first order gradient terms is a central part of this contribution. We describe a vectorized implementation using the simplest linear nodal (P1) elements in which all energy contributions are evaluated all at once without the loop over triangular or tetrahedral elements. Furthermore, in connection to the first-order optimization methods, the discrete gradient of energy functional is assembled in a way that the gradient components are evaluated over all degrees of freedom all at once. The key ingredient is the vectorization of exact or approximate energy gradients over nodal patches. It leads to a time-efficient implementation at higher memory-cost. Provided codes in MATLAB related to 2D/3D hyperelasticity and 2D p-Laplacian problem are available for download and structured in a way it can be easily extended to other types of vector or scalar forms of energies.


title: High-Order Multipole and Binary Love Number Universal Relations

abstract: Using a data set of approximately 2 million phenomenological equations of state consistent with observational constraints, we construct new equation-of-state-insensitive universal relations that exist between the multipolar tidal deformability parameters of neutron stars, $\Lambda_l$, for several high-order multipoles ($l = 5,6,7,8$). We confirm the existence of a universal relation between the radius of the $1.4 M_\odot$ NS, $R_{1.4}$ and the reduced tidal parameter of the binary, $\tilde{\Lambda}$, and the chirp mass. We extend this relation to a large number of chirp masses and to the radii of isolated NSs of different mass $M$, $R_M$. We find that there is an optimal value of $M$ for every $\mathcal{M}$ such that the uncertainty in the estimate of $R_M$ is minimized when using the relation. We discuss the utility and implications of these relations for the upcoming LIGO O4 run and third-generation detectors.


title: Quantum metrology with imperfect measurements

abstract: The impact of measurement imperfections on quantum metrology protocols has not been approached in a systematic manner so far. In this work, we tackle this issue by generalising firstly the notion of quantum Fisher information to account for noisy detection, and propose tractable methods allowing for its approximate evaluation. We then show that in canonical scenarios involving $N$ probes with local measurements undergoing readout noise, the optimal sensitivity depends crucially on the control operations allowed to counterbalance the measurement imperfections -- with global control operations, the ideal sensitivity (e.g.~the Heisenberg scaling) can always be recovered in the asymptotic $N$ limit, while with local control operations the quantum-enhancement of sensitivity is constrained to a constant factor. We illustrate our findings with an example of NV-centre magnetometry, as well as schemes involving spin-$1/2$ probes with bit-flip errors affecting their two-outcome measurements, for which we find the input states and control unitary operations sufficient to attain the ultimate asymptotic precision.


title: A buyer's guide to the Hubble Constant

abstract: Since the expansion of the universe was first established by Edwin Hubble and Georges Lemaitre about a century ago, the Hubble constant H0 which measures its rate has been of great interest to astronomers. Besides being interesting in its own right, few properties of the universe can be deduced without it. In the last decade a significant gap has emerged between different methods of measuring it, some anchored in the nearby universe, others at cosmological distances. The SH0ES team has found $H_0 = 73.2 \pm 1.3$ km sec$^{-1}$ Mpc$^{-1}$ locally, whereas the value found for the early universe by the Planck Collaboration is $H_0 = 67.4 \pm 0.5$ km sec$^{-1}$ Mpc$^{-1}$ from measurements of the cosmic microwave background. Is this gap a sign that the well-established $\Lambda$CDM cosmological model is somehow incomplete? Or are there unknown systematics? And more practically, how should humble astronomers pick between competing claims if they need to assume a value for a certain purpose? In this article, we review results and what changes to the cosmological model could be needed to accommodate them all. For astronomers in a hurry, we provide a buyer's guide to the results, and make recommendations.


title: Discontinuous yielding transition of amorphous materials with low bulk modulus

abstract: The yielding transition of amorphous materials is studied with a two-dimensional Hamiltonian model that allows both shear and volume deformations. The model is investigated as a function of the relative value of the bulk modulus $B$ with respect to the shear modulus $\mu$. When the ratio $B/\mu$ is small enough, the yielding transition becomes discontinuous, yet reversible. If the system is driven at constant strain rate in the coexistence region, a spatially localized shear band is observed while the rest of the system remains blocked. The crucial role of volume fluctuations in the origin of this behavior is clarified in a mean field version of the model.


title: Efficient conformer: Progressive downsampling and grouped attention for automatic speech recognition

abstract: The recently proposed Conformer architecture has shown state-of-the-art performances in Automatic Speech Recognition by combining convolution with attention to model both local and global dependencies. In this paper, we study how to reduce the Conformer architecture complexity with a limited computing budget, leading to a more efficient architecture design that we call Efficient Conformer. We introduce progressive downsampling to the Conformer encoder and propose a novel attention mechanism named grouped attention, allowing us to reduce attention complexity from $O(n^{2}d)$ to $O(n^{2}d / g)$ for sequence length $n$, hidden dimension $d$ and group size parameter $g$. We also experiment the use of strided multi-head self-attention as a global downsampling operation. Our experiments are performed on the LibriSpeech dataset with CTC and RNN-Transducer losses. We show that within the same computing budget, the proposed architecture achieves better performances with faster training and decoding compared to the Conformer. Our 13M parameters CTC model achieves competitive WERs of 3.6%/9.0% without using a language model and 2.7%/6.7% with an external n-gram language model on the test-clean/test-other sets while being 29% faster than our CTC Conformer baseline at inference and 36% faster to train.


title: Scalable Data Annotation Pipeline for High-Quality Large Speech Datasets Development

abstract: This paper introduces a human-in-the-loop (HITL) data annotation pipeline to generate high-quality, large-scale speech datasets. The pipeline combines human and machine advantages to more quickly, accurately, and cost-effectively annotate datasets with machine pre-labeling and fully manual auditing. Quality control mechanisms such as blind testing, behavior monitoring, and data validation have been adopted in the annotation pipeline to mitigate potential bias introduced by machine-generated labels. Our A/B testing and pilot results demonstrated the HITL pipeline can improve annotation speed and capacity by at least 80% and quality is comparable to or higher than manual double pass annotation. We are leveraging this scalable pipeline to create and continuously grow ultra-high volume off-the-shelf (UHV-OTS) speech corpora for multiple languages, with the capability to expand to 10,000+ hours per language annually. Customized datasets can be produced from the UHV-OTS corpora using dynamic packaging. UHV-OTS is a long-term Appen project to support commercial and academic research data needs in speech processing. Appen will donate a number of free speech datasets from the UHV-OTS each year to support academic and open source community research under the CC-BY-SA license. We are also releasing the code of the data pre-processing and pre-tagging pipeline under the Apache 2.0 license to allow reproduction of the results reported in the paper.


title: Black-Box Attacks on Sequential Recommenders via Data-Free Model Extraction

abstract: We investigate whether model extraction can be used to "steal" the weights of sequential recommender systems, and the potential threats posed to victims of such attacks. This type of risk has attracted attention in image and text classification, but to our knowledge not in recommender systems. We argue that sequential recommender systems are subject to unique vulnerabilities due to the specific autoregressive regimes used to train them. Unlike many existing recommender attackers, which assume the dataset used to train the victim model is exposed to attackers, we consider a data-free setting, where training data are not accessible. Under this setting, we propose an API-based model extraction method via limited-budget synthetic data generation and knowledge distillation. We investigate state-of-the-art models for sequential recommendation and show their vulnerability under model extraction and downstream attacks. We perform attacks in two stages. (1) Model extraction: given different types of synthetic data and their labels retrieved from a black-box recommender, we extract the black-box model to a white-box model via distillation. (2) Downstream attacks: we attack the black-box model with adversarial samples generated by the white-box recommender. Experiments show the effectiveness of our data-free model extraction and downstream attacks on sequential recommenders in both profile pollution and data poisoning settings.


title: Joint probabilities under expected value constraints, transportation problems, maximum entropy in the mean, and geometry in the space of probabilities

abstract: There are interesting extensions of the problem of determining a joint probability with known marginals. On the one hand, one may impose size constraints on the joint probabilities. On the other, one may impose additional constraints like the expected values of known random variables. If we think of the marginal probabilities as demands or supplies, and of the joint probability as the fraction of the supplies to be shipped from the production sites to the demand sites, instead of joint probabilities we can think of transportation policies. Clearly, fixing the cost of a transportation policy is equivalent to an integral constraints upon the joint probability. We will show how to solve the cost constrained transportation problem by means of the method of maximum entropy in the mean. We shall also show how this approach leads to an interior point like method to solve the associated linear programming problem. We shall also investigate some geometric structure the space of transportation policies, or joint probabilities or pixel space, using a Riemannian structure associated with the dual of the entropy used to determine bounds between probabilities or between transportation policies.


title: The dependence of the gradients of oxygen and nitrogen-to-oxygen on stellar age in MaNGA galaxies

abstract: We derive the oxygen abundance (O/H), the nitrogen-to-oxygen (N/O) abundance ratio, and their corresponding radial gradients for a sample of 1431 galaxies from MaNGA DR15 survey using two different realizations of the strong line method: empirical R calibration and the Bayesian model-based {\sc HII-CHI-mistry} ({\sc HCm}) code. We find that both abundance calculation methods reveal a correlation between the O/H gradient and the stellar mass of a galaxy. This relation is non-linear, with the steepest average gradients in the intermediate mass range and flatter average gradients for high- and low-mass galaxies. The relation between the N/O gradient and the stellar mass is, on average, non-linear with the steepest gradients in the intermediate mass range ($\log(M/M_\sun) \sim 10$), flatter gradients for high-mass galaxies, and the flattest gradients for low-mass galaxies. However, the general trend of steepening N/O gradient for higher masses, reported in previous studies, remains evident. We find a dependence between the O/H and N/O gradients and the galaxy mean stellar age traced by the $D$(4000) index. For galaxies of lower masses, both gradients are, generally, steeper for intermediate values of $D$(4000) and flatter for low and high values of $D$(4000). Only the most massive galaxies do not show this correlation. We interpret this behaviour as an evolution of the metallicity gradients with the age of stellar population. Though the galaxies with a positive slope of the $D$(4000) radial gradient tend to have a flatter O/H and N/O gradients, as compared to those with a negative $D$(4000) gradient.


title: ALMA Measurement of 10 kpc-scale Lensing Power Spectra towards the Lensed Quasar MG J0414+0534

abstract: The lensing power spectra for gravitational potential, astrometric shift, and convergence perturbations are powerful probes to investigate dark matter structures on small scales. We report the first lower and upper bounds of these lensing power spectra on angular scale $\sim 1$arcsec towards the anomalous quadruply lensed quasar MG$\,$J0414+0534 at a redshift $z=2.639$. To obtain the spectra, we conducted observations of MG$\,$J0414+0534 using the Atacama Large Millimeter/submillimeter Array (ALMA) with high angular resolution (0.02 arcsec to 0.05 arcsec). We developed a new partially non-parametric method in which Fourier coefficients of potential perturbation are adjusted to minimize the difference between linear combinations of weighted mean de-lensed images. Using positions of radio jet components, extended dust emission on scales $>1\,$kpc, and mid-infrared flux ratios, the range of measured convergence, astrometric shift, and potential powers at an angular scale of $\sim 1.1$arcsec (corresponding to an angular wave number of $l=1.2\times 10^6$ or $\sim 9\,$kpc in the primary lens plane) within $1\,\sigma$ are $\varDelta_\kappa=0.021-0.028$, $\varDelta_\alpha =7-9\,$mas, and $\varDelta_\psi=1.2-1.6\,$$\textrm{mas}^2$, respectively. Our result is consistent with the predicted abundance of halos in the line of sight and subhalos in cold dark matter models. Our partially non-parametric lens models suggest a presence of a clump in the vicinity of object Y, a possible dusty dwarf galaxy and some small clumps in the vicinity of other lensed quadruple images. Although much fainter than the previous report, we detected weak continuum emission possibly from object Y with a peak flux of $\sim 100\,\mu \textrm{Jy}\, \textrm{beam} ^{-1}$ at the $\sim 4\,\sigma$ level.


title: TLS Beyond the Broker: Enforcing Fine-grained Security and Trust in Publish/Subscribe Environments for IoT

abstract: Message queuing brokers are a fundamental building block of the Internet of Things, commonly used to store and forward messages from publishing clients to subscribing clients. Often a single trusted broker offers secured (e.g. TLS) and unsecured connections but relays messages regardless of their inbound and outbound protection. Such mixed mode is facilitated for the sake of efficiency since TLS is quite a burden for MQTT implementations on class-0 IoT devices. Such a broker thus transparently interconnects securely and insecurely connected devices; we argue that such mixed mode operation can actually be a significant security problem: Clients can only control the security level of their own connection to the broker, but they cannot enforce any protection towards other clients. We describe an enhancement of such a publish/subscribe mechanism to allow for enforcing specified security levels of publishers or subscribers by only forwarding messages via connections which satisfy the desired security levels. For example, a client publishing a message over a secured channel can instruct the broker to forward the message exclusively to subscribers that are securely connected. We prototypically implemented our solution for the MQTT protocol and provide detailed overhead measurements.


title: Volume Preserving Simulation of Soft Tissue with Skin

abstract: Simulation of human soft tissues in contact with their environment is essential in many fields, including visual effects and apparel design. Biological tissues are nearly incompressible. However, standard methods employ compressible elasticity models and achieve incompressibility indirectly by setting Poisson's ratio to be close to 0.5. This approach can produce results that are plausible qualitatively but inaccurate quantatively. This approach also causes numerical instabilities and locking in coarse discretizations or otherwise poses a prohibitive restriction on the size of the time step. We propose a novel approach to alleviate these issues by replacing indirect volume preservation using Poisson's ratios with direct enforcement of zonal volume constraints, while controlling fine-scale volumetric deformation through a cell-wise compression penalty. To increase realism, we propose an epidermis model to mimic the dramatically higher surface stiffness on real skinned bodies. We demonstrate that our method produces stable realistic deformations with precise volume preservation but without locking artifacts. Due to the volume preservation not being tied to mesh discretization, our method also allows a resolution consistent simulation of incompressible materials. Our method improves the stability of the standard neo-Hookean model and the general compression recovery in the Stable neo-Hookean model.


title: DNA self-organization controls valence in programmable colloid design

abstract: Just like atoms combine into molecules, colloids can self-organize into predetermined structures according to a set of design principles. Controlling valence -- the number of inter-particle bonds -- is a prerequisite for the assembly of complex architectures. The assembly can be directed via solid `patchy' particles with prescribed geometries to make, for example, a colloidal diamond. We demonstrate here that the nanoscale ordering of individual molecular linkers can combine to program the structure of microscopic assemblies. Specifically, we experimentally show that covering initially isotropic microdroplets with $N$ mobile DNA linkers results in spontaneous and reversible self-organization of the DNA into $Z(N)$ binding patches, selecting a predictable valence. We understand this valence thermodynamically, deriving a free energy functional for droplet-droplet adhesion that accurately predicts the equilibrium size of and molecular organization within patches, as well as the observed valence transitions with $N$. Thus, microscopic self-organization can be programmed by choosing the molecular properties and concentration of binders. These results are widely applicable to the assembly of any particle with mobile linkers, such as functionalized liposomes or protein interactions in cell-cell adhesion.


title: Modelling silicosis: dynamics of a model with piecewise constant rate coefficients

abstract: We study the dynamics about equilibria of an infinite dimension coagulation-fragmentation-death model for the silicosis disease mechanism introduced recently by da Costa, Drmota, and Grinfeld [Modelling silicosis: structure of equilibria, Euro. J. Appl. Math., 31 (6), (2020) 950-967] in the case where the rate coefficients are piecewise constant.


title: Matrix-oriented FEM formulation for stationary and time-dependent PDEs on x-normal domains

abstract: When numerical solution of elliptic and parabolic partial differential equations is required to be highly accurate in space, the discrete problem usually takes the form of large-scale and sparse linear systems. In this work, as an alternative, for spatial discretization we provide a Matrix-Oriented formulation of the classical Finite Element Method, called MO-FEM, of arbitrary order $k\in\mathbb{N}$. On structured 2D domains (e.g. squares or rectangles) the discrete problem is then reformulated as a Sylvester matrix equation, that we solve by the reduced approach in the associated spectral space. On a quite general class of domains, namely normal domains, and even on special surfaces, the MO-FEM yields a multiterm Sylvester matrix equation where the additional terms account for the geometric contribution of the domain shape. In particular, we obtain a sequence of these equations after time discretization of parabolic problems by the IMEX Euler method. We apply the matrix-oriented form of the Preconditioned Conjugate Gradient (MO-PCG) method to solve each multiterm Sylvester equation for MO-FEM of degree $k=1,\dots,4$ and for the lumped $\mathbb{P}_1$ case. We choose a matrix-oriented preconditioner with a single-term form that captures the spectral properties of the whole multiterm Sylvester operator. For several numerical examples, we show a gain in computational time and memory occupation wrt the classical vector approach solving large sparse linear systems by a direct method or by the vector PCG with same preconditioning. As an application, we show the advantages of the MO-FEM-PCG to approximate Turing patterns with high spatial resolution in a reaction-diffusion PDE system for battery modeling.


title: Thermodynamic size control in curvature-frustrated tubules: Self-limitation with open boundaries

abstract: We use computational modeling to investigate the assembly thermodynamics of a particle-based model for geometrically frustrated assembly, in which the local packing geometry of subunits is incompatible with uniform, strain-free large-scale assembly. The model considers discrete triangular subunits that drive assembly towards a closed, hexagonal-ordered tubule, but have geometries that locally favor negative Gaussian curvature. We use dynamical Monte Carlo simulations and enhanced sampling methods to compute the free energy landscape and corresponding self-assembly behavior as a function of experimentally accessible parameters that control assembly driving forces and the magnitude of frustration. The results determine the parameter range where finite-temperature self-limiting assembly occurs, in which the equilibrium assembly size distribution is sharply peaked around a well-defined finite size. The simulations also identify two mechanisms by which the system can escape frustration and assemble to unlimited size, and determine the particle-scale properties of subunits that suppress unbounded growth.


title: Supernova induced processing of interstellar dust: impact of ISM gas density and gas turbulence

abstract: Quantifying the efficiency of dust destruction in the interstellar medium (ISM) due to supernovae (SNe) is crucial for the understanding of galactic dust evolution. We present 3D hydrodynamic simulations of an SN blast wave propagating through the ISM. The interaction between the forward shock of the remnant and the surrounding ISM leads to destruction of ISM dust by the shock heated gas. We consider the dust processing due to ion sputtering, accretion of atoms/molecules and grain-grain collisions. Using 2D slices from the simulation timeseries, we apply post-processing calculations using the Paperboats code. We find that efficiency of dust destruction depends strongly on the rate of grain shattering due to grain-grain collisions. The effective dust destruction is similar to previous theoretical estimates when grain-grain collisions are omitted, but with grain shattering included, the net destruction efficiency is roughly one order of magnitude higher. This result indicates that the dust destruction rate in the ISM may have been severely underestimated in previous work, which only exacerbates the dust-budget crises seen in galaxies at high redshifts.


title: Food webs and the principle of evolutionary adaptation

abstract: A principle of evolutionary adaptation is applied to the Lotka--Volterra models, in particular to the food webs. We present a relatively simple computational algorithm of optimization with respect to a given criterion. This algorithm boils down to a sequence of easy to solve linear programming problems. As a criterion for the optimization we use the total weighted population size of the given community and an ecological fitness, which is an analogue of the potential energy in physics. We show by computational experiments that it is almost always possible to substantially increase the total weighed population size for an especially simple food web -- food chain; we also show that food chains are evolutionary unstable under the given optimization criteria and, if allowed, evolve into more complicated structures of food webs.


title: Variable stars in Local Group Galaxies -- V. The fast and early evolution of the low-mass Eridanus II dSph galaxy

abstract: We present a detailed study of the variable star population of Eridanus II (Eri II), an ultra-faint dwarf galaxy that lies close to the Milky Way virial radius. We analyze multi-epoch $g,r,i$ ground-based data from Goodman and the Dark Energy Camera, plus $F475W, F606W, F814W$ space data from the Advanced Camera for Surveys. We report the detection of 67 RR Lyrae (RRL) stars and 2 Anomalous Cepheids, most of them new discoveries. With the RRL stars, we measure the distance modulus of Eri II, $\mu_0=22.84\pm 0.05$ mag (D$_{\odot}=370\pm9$ kpc) and derive a metallicity spread of 0.3 dex (0.2 dex intrinsic). The colour distribution of the horizontal branch (HB) and the period distribution of the RRL stars can be nicely reproduced by a combination of two stellar models of [Fe/H]=($-2.62$, $-2.14$). The overall low metallicity is consistent with the red giant branch bump location, 0.65 mag brighter than the HB. These results are in agreement with previous spectroscopic studies. The more metal-rich RRL and the RRab stars have greater central concentration than the more metal-poor RRL and the RRc stars that are mainly located outside $\sim 1$ r$_{\rm h}$. This is similar to what is found in larger dwarf galaxies such as Sculptor, and in agreement with an outside-in galaxy formation scenario. This is remarkable in such a faint dwarf galaxy with an apparently single and extremely short ($<1$ Gyr) star formation burst. Finally, we have derived new and independent structural parameters for Eri II and its star cluster using our new data that are in very good agreement with previous estimates.


title: Multi-Agent Inverse Reinforcement Learning: Suboptimal Demonstrations and Alternative Solution Concepts

abstract: Multi-agent inverse reinforcement learning (MIRL) can be used to learn reward functions from agents in social environments. To model realistic social dynamics, MIRL methods must account for suboptimal human reasoning and behavior. Traditional formalisms of game theory provide computationally tractable behavioral models, but assume agents have unrealistic cognitive capabilities. This research identifies and compares mechanisms in MIRL methods which a) handle noise, biases and heuristics in agent decision making and b) model realistic equilibrium solution concepts. MIRL research is systematically reviewed to identify solutions for these challenges. The methods and results of these studies are analyzed and compared based on factors including performance accuracy, efficiency, and descriptive quality. We found that the primary methods for handling noise, biases and heuristics in MIRL were extensions of Maximum Entropy (MaxEnt) IRL to multi-agent settings. We also found that many successful solution concepts are generalizations of the traditional Nash Equilibrium (NE). These solutions include the correlated equilibrium, logistic stochastic best response equilibrium and entropy regularized mean field NE. Methods which use recursive reasoning or updating also perform well, including the feedback NE and archive multi-agent adversarial IRL. Success in modeling specific biases and heuristics in single-agent IRL and promising results using a Theory of Mind approach in MIRL imply that modeling specific biases and heuristics may be useful. Flexibility and unbiased inference in the identified alternative solution concepts suggest that a solution concept which has both recursive and generalized characteristics may perform well at modeling realistic social interactions.


title: Four-dimensional equations for the study of electromagnetic plasma turbulence in a drift kinetic limit

abstract: For a magnetised plasma in a straight magnetic guide field, we derive a set of four-dimensional kinetic equations, which can capture electromagnetic turbulence in the drift kinetic limit. To do so, we start from the gyrokinetic equations, employ a Laguerre decomposition in the perpendicular velocity direction, retain only the dominant gyroaverage contributions and only the first two Laguerre moments that source the electromagnetic fluctuations. The model conserves free energy, and can describe electromagnetic turbulence for a plasma at the transition between fluid and gyrokinetic regimes ($k_\perp \rho_i\approx 1$ range of scales), as dominant finite-Larmor-radius (FLR) effects are considered. In addition to the three dimensions in positions space, we retain the parallel velocity dependence, which we describe via a Hermite representation. Employing this system, but without any other physics based assumptions for the plasma species that can bias results, will allow us to investigate how fluid effects transition into the kinetic range, and analyse the interplay between spatial and velocity space mixing for electromagnetic plasma turbulence.


title: Observations on cycles in a variant of the Collatz Graph

abstract: It is well known that the Collatz Conjecture can be reinterpreted as the Collatz Graph with root vertex 1, asking whether all positive integers are within the tree generated. It is further known that any cycle in the Collatz Graph can be represented as a tuple, given that inputting them into a function outputs an odd positive integer; yet, it is an open question as to whether there exist any tuples not of the form $(2,2,...,2)$, thus disproving the Collatz Conjecture. In this paper, we explore a variant of the Collatz Graph, which allows the 3x+1 operation to be applied to both even and odd integers. We prove an analogous function for this variant, called the Loosened Collatz Function (LCF), and observe various properties of the LCF in relation to tuples and outputs. We prove a certain underlying unique factorisation monoid structure for tuples to the LCF and provide a geometric interpretation of satisfying tuples in higher dimensions. Research into this variant of the Collatz Graph may provide reason as to why there exist no cycles in the Collatz Graph.


title: Optimal Target Shape for LiDAR Pose Estimation

abstract: Targets are essential in problems such as object tracking in cluttered or textureless environments, camera (and multi-sensor) calibration tasks, and simultaneous localization and mapping (SLAM). Target shapes for these tasks typically are symmetric (square, rectangular, or circular) and work well for structured, dense sensor data such as pixel arrays (i.e., image). However, symmetric shapes lead to pose ambiguity when using sparse sensor data such as LiDAR point clouds and suffer from the quantization uncertainty of the LiDAR. This paper introduces the concept of optimizing target shape to remove pose ambiguity for LiDAR point clouds. A target is designed to induce large gradients at edge points under rotation and translation relative to the LiDAR to ameliorate the quantization uncertainty associated with point cloud sparseness. Moreover, given a target shape, we present a means that leverages the target's geometry to estimate the target's vertices while globally estimating the pose. Both the simulation and the experimental results (verified by a motion capture system) confirm that by using the optimal shape and the global solver, we achieve centimeter error in translation and a few degrees in rotation even when a partially illuminated target is placed 30 meters away. All the implementations and datasets are available at https://github.com/UMich-BipedLab/optimal_shape_global_pose_estimation.


title: COVID-19 Vaccine Hesitancy and Information Diffusion: An Agent-based Modeling Approach

abstract: Despite the unprecedented success in the rapid development of several effective vaccines against the Cov-SARS-2, global vaccination rollout efforts suffer from vaccine distribution inequality and vaccine acceptance, leading to insufficient public immunity provided by the vaccine products. While a major current focus in vaccine acceptance research is how to model and inform vaccine acceptance based on social-demographic parameters, characteristics of vaccine acceptance are not well understood and in particular, it is not known whether and how information diffusion influences vaccine acceptance. This study examines how information diffusion can change vaccine acceptance by developing a comprehensive computational model with an agent-based simulation technique to overcome the modeling and quantification complexity associated with socio-demographics, vaccine types, population statistics, and information diffusion. Our analyses, calibrated by the vaccine acceptance survey data from the provinces and territories of Canada, provide clear evidence that the propagation of information can greatly influence vaccine acceptance rates. The results illustrate that spread of negative messages about the COVID-19 vaccines can cause significant vaccine hesitancy that challenges the goal of a high public immunity provided by the vaccines. Our findings might help solve the vaccine hesitancy problem by focusing more on individuals' opinions and behavior.