title: Position-Dependent Excitations and UV/IR Mixing in the $\mathbb{Z}_{N}$ Rank-2 Toric Code and its Low-Energy Effective Field Theory

abstract: We investigate how symmetry and topological order are coupled in the ${2+1}$d $\mathbb{Z}_{N}$ rank-2 toric code for general $N$, which is an exactly solvable point in the Higgs phase of a symmetric rank-2 $U(1)$ gauge theory. The symmetry enriched topological order present has a non-trivial realization of square-lattice translation (and rotation/reflection) symmetry, where anyons on different lattice sites have different types and belong to different superselection sectors. We call such particles "position-dependent excitations." As a result, in the rank-2 toric code anyons can hop by one lattice site in some directions while only by $N$ lattice sites in others, reminiscent of fracton topological order in ${3+1}$d. We find that while there are $N^2$ flavors of $e$ charges and $2N$ flavors of $m$ fluxes, there are not $N^{N^{2} + 2N}$ anyon types. Instead, there are $N^{6}$ anyon types, and we can use Chern-Simons theory with six $U(1)$ gauge fields to describe all of them. While the lattice translations permute anyon types, we find that such permutations cannot be expressed as transformations on the six $U(1)$ gauge fields. Thus the realization of translation symmetry in the $U^6(1)$ Chern-Simons theory is not known. Despite this, we find a way to calculate the translation-dependent properties of the theory. In particular, we find that the ground state degeneracy on an ${L_{x}\times L_{y}}$ torus is ${N^{3}\gcd(L_{x},N) \gcd(L_{y},N) \gcd(L_{x},L_{y},N)}$, where $\gcd$ stands for "greatest common divisor." We argue that this is a manifestation of UV/IR mixing which arises from the interplay between lattice symmetries and topological order.


title: A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm

abstract: Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a less recognized obstacle to correctness is that of human programming errors -- "bugs". Techniques familiar to most programmers from the classical domain for avoiding, discovering, and diagnosing bugs do not easily transfer, at scale, to the quantum domain because of its unique characteristics. To address this problem, we have been working to adapt formal methods to quantum programming. With such methods, a programmer writes a mathematical specification alongside their program, and semi-automatically proves the program correct with respect to it. The proof's validity is automatically confirmed -- certified -- by a "proof assistant". Formal methods have successfully yielded high-assurance classical software artifacts, and the underlying technology has produced certified proofs of major mathematical theorems. As a demonstration of the feasibility of applying formal methods to quantum programming, we present the first formally certified end-to-end implementation of Shor's prime factorization algorithm, developed as part of a novel framework for applying the certified approach to general applications. By leveraging our framework, one can significantly reduce the effects of human errors and obtain a high-assurance implementation of large-scale quantum applications in a principled way.


title: Tuning nanosecond switching of spin-orbit torque driven magnetic tunnel junctions

abstract: Since the discovery of the spin orbit torque (SOT) induced by spin Hall effect in heavy metals, much effort has been devoted to understanding the mechanism of the charge-to-spin conversion as well as to developing new schemes for high speed, low energy magnetic recording technologies. While fast switching has been demonstrated in three terminal magnetic tunnel junctions (3T-MTJs) through applying short voltage pulses in the heavy metal channel, detailed understanding of the switching mechanism is lacking due to the complexity of the multi-layered magnetic structure and the three-terminal geometry. We show in this letter that current-induced effective fields play a key role in the fast switching and by tuning the applied external field we can finely tune the symmetry of the pulse switching between two switching polarities, namely parallel to anti-parallel (P-AP) and anti-parallel to parallel (AP-P). These results show that the manipulation of detailed magnetic configuration is the key to fast switching and is a useful way for future optimization of SOT memory and further applications.


title: Look Back and Forth: Video Super-Resolution with Explicit Temporal Difference Modeling

abstract: Temporal modeling is crucial for video super-resolution. Most of the video super-resolution methods adopt the optical flow or deformable convolution for explicitly motion compensation. However, such temporal modeling techniques increase the model complexity and might fail in case of occlusion or complex motion, resulting in serious distortion and artifacts. In this paper, we propose to explore the role of explicit temporal difference modeling in both LR and HR space. Instead of directly feeding consecutive frames into a VSR model, we propose to compute the temporal difference between frames and divide those pixels into two subsets according to the level of difference. They are separately processed with two branches of different receptive fields in order to better extract complementary information. To further enhance the super-resolution result, not only spatial residual features are extracted, but the difference between consecutive frames in high-frequency domain is also computed. It allows the model to exploit intermediate SR results in both future and past to refine the current SR output. The difference at different time steps could be cached such that information from further distance in time could be propagated to the current frame for refinement. Experiments on several video super-resolution benchmark datasets demonstrate the effectiveness of the proposed method and its favorable performance against state-of-the-art methods.


title: Risk measures under model uncertainty: a Bayesian viewpoint

abstract: We introduce two kinds of risk measures with respect to some reference probability measure, which both allow for a certain order structure and domination property. Analyzing their relation to each other leads to the question when a certain minimax inequality is actually an equality. We then provide conditions under which the corresponding robust risk measures, being defined as the supremum over all risk measures induced by a set of probability measures, can be represented classically in terms of one single probability measure. We focus in particular on the mixture probability measure obtained via mixing over a set of probability measures using some prior, which represents for instance the regulator's beliefs. The classical representation in terms of the mixture probability measure can then be interpreted as a Bayesian approach to robust risk measures.


title: Spherical varieties and non-ordinary families of cohomology classes

abstract: We give a construction of non-ordinary $p$-adic families of classes in the cohomology of locally symmetric spaces associated to spherical pairs of reductive groups. In the \'etale case, we show how to map these classes into Galois cohomology. The methods developed in this paper can be used to give new constructions of $p$-adic families of Euler systems and $p$-adic $L$-functions. As an example, we show how the constructions of this paper can be used to construct norm-compatible classes associated to non-ordinary Siegel modular forms, generalising $p$-part of the Lemma--Flach Euler system constructed by Loeffler--Skinner--Zerbes.


title: A 5.7 THz GaN/AlGaN quantum cascade detector based on polar step quantum wells

abstract: We report on a GaN/AlGaN quantum cascade detector operating in the terahertz spectral range. The device was grown by metal organic chemical vapor deposition on a c-sapphire substrate and relies on polar GaN/AlGaN step quantum wells. The active region thickness is in micrometer range. The structural, electrical and optical investigations attest of high structural quality of the synthetized nitride material. The detector exhibits a peak photocurrent at 5.7 THz (23.6 meV) with a responsivity of 0.1 mA/W at 10 K under surface normal irradiation through a 10 um period grating. The photocurrent persists up to 20 K.


title: DeiT III: Revenge of the ViT

abstract: A Vision Transformer (ViT) is a simple neural architecture amenable to serve several computer vision tasks. It has limited built-in architectural priors, in contrast to more recent architectures that incorporate priors either about the input data or of specific tasks. Recent works show that ViTs benefit from self-supervised pre-training, in particular BerT-like pre-training like BeiT. In this paper, we revisit the supervised training of ViTs. Our procedure builds upon and simplifies a recipe introduced for training ResNet-50. It includes a new simple data-augmentation procedure with only 3 augmentations, closer to the practice in self-supervised learning. Our evaluations on Image classification (ImageNet-1k with and without pre-training on ImageNet-21k), transfer learning and semantic segmentation show that our procedure outperforms by a large margin previous fully supervised training recipes for ViT. It also reveals that the performance of our ViT trained with supervision is comparable to that of more recent architectures. Our results could serve as better baselines for recent self-supervised approaches demonstrated on ViT.


title: Loop representation and r-Fock measures for $SU(N)$ gauge theories

abstract: In this article we continue the work on translating elements of the perturbative quantum field theory defined on Minkowski spacetime into the background independent framework of Loop Quantum Gravity. We present the construction of r-Fock measures for $SU(N)$ gauge theories and provide a relation between these new r-Fock measures and the difeomorphism invariant measure used in loop quantum gravity.


title: Exploring Dual Encoder Architectures for Question Answering

abstract: Dual encoders have been used for question-answering (QA) and information retrieval (IR) tasks with good results. Previous research focuses on two major types of dual encoders, Siamese Dual Encoder (SDE), with parameters shared across two encoders, and Asymmetric Dual Encoder (ADE), with two distinctly parameterized encoders. In this work, we explore different ways in which the dual encoder can be structured, and evaluate how these differences can affect their efficacy in terms of QA retrieval tasks. By evaluating on MS MARCO, open domain NQ and the MultiReQA benchmarks, we show that SDE performs significantly better than ADE. We further propose three different improved versions of ADEs by sharing or freezing parts of the architectures between two encoder towers. We find that sharing parameters in projection layers would enable ADEs to perform competitively with or outperform SDEs. We further explore and explain why parameter sharing in projection layer significantly improves the efficacy of the dual encoders, by directly probing the embedding spaces of the two encoder towers with t-SNE algorithm.


title: Facing the Illusion and Reality of Safety in Social VR

abstract: The ethical design of social Virtual Reality (VR) is not a new topic, but "safety" concerns of using social VR are escalated to a different level given the heat of the Metaverse. For example, it was reported that nearly half of the female-identifying VR participants have had at least one instance of virtual sexual harassment. Feeling safe is a basic human right - in any place, regardless in real or virtual spaces. In this paper, we are seeking to understand the discrepancy between user concerns and designs in protecting user safety in social VR applications. We study safety concerns on social VR experience first by analyzing Twitter posts and then synthesize practices on safety protection adopted by four mainstream social VR platforms. We argue that future research and platforms should explore the design of social VR with boundary-awareness.


title: MIMO Channel Estimation using Score-Based Generative Models

abstract: Channel estimation is a critical task in multiple-input multiple-output (MIMO) digital communications that substantially effects end-to-end system performance. In this work, we introduce a novel approach for channel estimation using deep score-based generative models. A model is trained to estimate the gradient of the logarithm of a distribution and is used to iteratively refine estimates given measurements of a signal. We introduce a framework for training score-based generative models for wireless MIMO channels and performing channel estimation based on posterior sampling at test time. We derive theoretical robustness guarantees for channel estimation with posterior sampling in single-input single-output scenarios, and experimentally verify performance in the MIMO setting. Our results in simulated channels show competitive in-distribution performance, and robust out-of-distribution performance, with gains of up to $5$ dB in end-to-end coded communication performance compared to supervised deep learning methods. Simulations on the number of pilots show that high fidelity channel estimation with $25$% pilot density is possible for MIMO channel sizes of up to $64 \times 256$. Complexity analysis reveals that model size can efficiently trade performance for estimation latency, and that the proposed approach is competitive with compressed sensing in terms of floating-point operation (FLOP) count.


title: Retrospective on the 2021 BASALT Competition on Learning from Human Feedback

abstract: We held the first-ever MineRL Benchmark for Agents that Solve Almost-Lifelike Tasks (MineRL BASALT) Competition at the Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021). The goal of the competition was to promote research towards agents that use learning from human feedback (LfHF) techniques to solve open-world tasks. Rather than mandating the use of LfHF techniques, we described four tasks in natural language to be accomplished in the video game Minecraft, and allowed participants to use any approach they wanted to build agents that could accomplish the tasks. Teams developed a diverse range of LfHF algorithms across a variety of possible human feedback types. The three winning teams implemented significantly different approaches while achieving similar performance. Interestingly, their approaches performed well on different tasks, validating our choice of tasks to include in the competition. While the outcomes validated the design of our competition, we did not get as many participants and submissions as our sister competition, MineRL Diamond. We speculate about the causes of this problem and suggest improvements for future iterations of the competition.


title: Learning Optimal Dynamic Treatment Regimes Using Causal Tree Methods in Medicine

abstract: Dynamic treatment regimes (DTRs) are used in medicine to tailor sequential treatment decisions to patients by considering patient heterogeneity. Common methods for learning optimal DTRs, however, have shortcomings: they are typically based on outcome prediction and not treatment effect estimation, or they use linear models that are restrictive for patient data from modern electronic health records. To address these shortcomings, we develop two novel methods for learning optimal DTRs that effectively handle complex patient data. We call our methods DTR-CT and DTR-CF. Our methods are based on a data-driven estimation of heterogeneous treatment effects using causal tree methods, specifically causal trees and causal forests, that learn non-linear relationships, control for time-varying confounding, are doubly robust, and explainable. To the best of our knowledge, our paper is the first that adapts causal tree methods for learning optimal DTRs. We evaluate our proposed methods using synthetic data and then apply them to real-world data from intensive care units. Our methods outperform state-of-the-art baselines in terms of cumulative regret and percentage of optimal decisions by a considerable margin. Our work improves treatment recommendations from electronic health record and is thus of direct relevance for personalized medicine.


title: Online Aggregation based Approximate Query Processing: A Literature Survey

abstract: In the current world, OLAP (Online Analytical Processing) is used intensively by modern organizations to perform ad hoc analysis of data, providing insight for better decision making. Thus, the performance for OLAP is crucial; however, it is costly to support OLAP for a large data-set. An approximate query process (AQP) was proposed to efficiently compute approximate values as close as to the exact answer. Existing AQP techniques can be categorized into two parts, online aggregation, and offline synopsis generation, each having its limitations and challenges. Online aggregation-based AQP progressively generates approximate results with some error estimates (i.e., confidence interval) until the processing of all data is done. In Offline synopsis generation-based AQP, synopses are generated offline using a-priori knowledge such as query workload or data statistics. Later, OLAP queries are answered using these synopses. This paper focuses on surveying only the online aggregation-based AQP. For this purpose, firstly, we discuss the research challenges in online aggregation-based AQP and summarize existing approaches to address these challenges. In addition, we also discuss the advantages and limitations of existing online aggregation mechanisms. Lastly, we discuss some research challenges and opportunities for further advancing online aggregation research. Our goal is for people to understand the current progress in the online aggregation-based AQP area and find new insights into it.


title: GIFS: Neural Implicit Function for General Shape Representation

abstract: Recent development of neural implicit function has shown tremendous success on high-quality 3D shape reconstruction. However, most works divide the space into inside and outside of the shape, which limits their representing power to single-layer and watertight shapes. This limitation leads to tedious data processing (converting non-watertight raw data to watertight) as well as the incapability of representing general object shapes in the real world. In this work, we propose a novel method to represent general shapes including non-watertight shapes and shapes with multi-layer surfaces. We introduce General Implicit Function for 3D Shape (GIFS), which models the relationships between every two points instead of the relationships between points and surfaces. Instead of dividing 3D space into predefined inside-outside regions, GIFS encodes whether two points are separated by any surface. Experiments on ShapeNet show that GIFS outperforms previous state-of-the-art methods in terms of reconstruction quality, rendering efficiency, and visual fidelity. Project page is available at https://jianglongye.com/gifs .


title: Relaxation dynamics and long-time tails explain shear-induced diffusion of soft athermal particles near jamming

abstract: We numerically study shear-induced diffusion of soft athermal particles in two dimensions. The Green-Kubo (GK) relation is applicable to diffusion coefficient of the particles near jamming, where both mean squared particle velocities and relaxation time included in the GK formula are well explained by critical scaling. We show that auto-correlation functions of the transverse velocities are stretched exponential if the system is below jamming or shear rate is large enough. However, if the system is above jamming and the shear rate is sufficiently small, the auto-correlations exhibit long-time tails such that time integral in the GK formula diverges in two dimensions. We propose empirical scaling relations for the critical exponents and demonstrate that the long-time tails cause finite size effects on the shear-induced diffusion coefficient.


title: Label Semantic Aware Pre-training for Few-shot Text Classification

abstract: In text classification tasks, useful information is encoded in the label names. Label semantic aware systems have leveraged this information for improved text classification performance during fine-tuning and prediction. However, use of label-semantics during pre-training has not been extensively explored. We therefore propose Label Semantic Aware Pre-training (LSAP) to improve the generalization and data efficiency of text classification systems. LSAP incorporates label semantics into pre-trained generative models (T5 in our case) by performing secondary pre-training on labeled sentences from a variety of domains. As domain-general pre-training requires large amounts of data, we develop a filtering and labeling pipeline to automatically create sentence-label pairs from unlabeled text. We perform experiments on intent (ATIS, Snips, TOPv2) and topic classification (AG News, Yahoo! Answers). LSAP obtains significant accuracy improvements over state-of-the-art models for few-shot text classification while maintaining performance comparable to state of the art in high-resource settings.


title: On The Complexity of Matching Cut for Graphs of Bounded Radius and $H$-Free Graphs

abstract: For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of diameter at most $d$ if $d\leq 2$ and NP-complete if $d\geq 3$. We prove the same dichotomy for graphs of bounded radius. For a graph $H$, a graph is $H$-free if it does not contain $H$ as an induced subgraph. As a consequence of our result, we can solve Matching Cut in polynomial time for $P_6$-free graphs, extending a recent result of Feghali for $P_5$-free graphs. We then extend our result to hold even for $(sP_3+P_6)$-free graphs for every $s\geq 0$ and initiate a complexity classification of Matching Cut for $H$-free graphs.


title: Non-perturbative Double Copy in Flatland

abstract: We derive a non-perturbative, Lagrangian-level formulation of the double copy in two spacetime dimensions. Our results elucidate the field theoretic underpinnings of the double copy in a broad class of scalar theories which can include masses and higher-dimension operators. An immediate corollary is the amplitudes-level double copy at all orders in perturbation theory. Applied to certain integrable models, the double copy defines an isomorphism between Lax connections, Wilson lines, and infinite towers of conserved currents. We also implement the double copy at the level of non-perturbative classical solutions, both analytically and numerically, and present a generalization of the double copy map that includes a fixed tower of higher-dimension corrections given by the Moyal algebra.


title: Systematic Analysis of Experiment Precision Measures and Methods for Experiments Comparison

abstract: The notion of experiment precision quantifies the variance of user ratings in a subjective experiment. Although there exist measures that assess subjective experiment precision, there are no systematic analyses of these measures available in the literature. To the best of our knowledge, there is also no systematic framework in the Multimedia Quality Assessment field for comparing subjective experiments in terms of their precision. Therefore, the main idea of this paper is to propose a framework for comparing subjective experiments in the field of MQA based on appropriate experiment precision measures. We present three experiment precision measures and three related experiment precision comparison methods. We systematically analyse the performance of the measures and methods proposed. We do so both through a simulation study (varying user rating variance and bias) and by using data from four real-world Quality of Experience (QoE) subjective experiments. In the simulation study we focus on crowdsourcing QoE experiments, since they are known to generate ratings with higher variance and bias, when compared to traditional subjective experiment methodologies. We conclude that our proposed measures and related comparison methods properly capture experiment precision (both when tested on simulated and real-world data). One of the measures also proves capable of dealing with even significantly biased responses. We believe our experiment precision assessment framework will help compare different subjective experiment methodologies. For example, it may help decide which methodology results in more precise user ratings. This may potentially inform future standardisation activities.


title: The Merino--Welsh conjecture for split matroids

abstract: In 1999 Merino and Welsh conjectured that evaluations of the Tutte polynomial of a graph satisfy an inequality. In this short article we show that the conjecture generalized to matroids holds for the large class of all split matroids by exploiting the structure of their lattice of cyclic flats. This class of matroids strictly contains all paving and copaving matroids.


title: Fundamental solution of the Vladimirov-Taibleson operator on noncommutative Vilenkin groups

abstract: The fundamental solution and the heat semigroup of the Vladimirov-Taibleson operator on constant-order noncommutative Vilenkin groups are obtained, together with some estimates on the associated heat kernel. We also show the existence of a fundamental solution for the "Vladimirov Laplacian" on the $p$-adic Heisenberg group and the $p$-adic Engel group, and discuss possible extensions of our results to more general homogeneous operators on graded $p$-adic Lie groups.


title: Reinforcement Learning Policy Recommendation for Interbank Network Stability

abstract: In this paper, we analyze the effect of a policy recommendation on the performance of an artificial interbank market. Financial institutions stipulate lending agreements following a public recommendation and their individual information. The former is modeled by a reinforcement learning optimal policy that maximizes the system's fitness and gathers information on the economic environment. The policy recommendation directs economic actors to create credit relationships through the optimal choice between a low interest rate or a high liquidity supply. The latter, based on the agents' balance sheet, allows determining the liquidity supply and interest rate that the banks optimally offer their clients within the market. Thanks to the combination between the public and the private signal, financial institutions create or cut their credit connections over time via a preferential attachment evolving procedure able to generate a dynamic network. Our results show that the emergence of a core-periphery interbank network, combined with a certain level of homogeneity in the size of lenders and borrowers, is essential to ensure the system's resilience. Moreover, the optimal policy recommendation obtained through reinforcement learning is crucial in mitigating systemic risk.


title: Scalable and Robust Self-Learning for Skill Routing in Large-Scale Conversational AI Systems

abstract: Skill routing is an important component in large-scale conversational systems. In contrast to traditional rule-based skill routing, state-of-the-art systems use a model-based approach to enable natural conversations. To provide supervision signal required to train such models, ideas such as human annotation, replication of a rule-based system, relabeling based on user paraphrases, and bandit-based learning were suggested. However, these approaches: (a) do not scale in terms of the number of skills and skill on-boarding, (b) require a very costly expert annotation/rule-design, (c) introduce risks in the user experience with each model update. In this paper, we present a scalable self-learning approach to explore routing alternatives without causing abrupt policy changes that break the user experience, learn from the user interaction, and incrementally improve the routing via frequent model refreshes. To enable such robust frequent model updates, we suggest a simple and effective approach that ensures controlled policy updates for individual domains, followed by an off-policy evaluation for making deployment decisions without any need for lengthy A/B experimentation. We conduct various offline and online A/B experiments on a commercial large-scale conversational system to demonstrate the effectiveness of the proposed method in real-world production settings.


title: Constraining nucleosynthesis in neutrino-driven winds: observations, simulations and nuclear physics

abstract: A promising astrophysical site to produce the lighter heavy elements of the first $r$-process peak ($Z = 38-47$) is the moderately neutron rich ($0.4 < Y_e < 0.5$) neutrino-driven ejecta of explosive environments, such as core-collapse supernovae and neutron star mergers, where the weak $r$-process operates. This nucleosynthesis exhibits uncertainties from the absence of experimental data from $(\alpha,xn)$ reactions on neutron-rich nuclei, which are currently based on statistical model estimates. In this work, we report on a new study of the nuclear reaction impact using a Monte Carlo approach and improved $(\alpha,xn)$ rates based on the Atomki-V2 $\alpha$ Optical Model Potential ($\alpha$OMP). We compare our results with observations from an up-to-date list of metal-poor stars with [Fe/H] $<$ -1.5 to find conditions of the neutrino-driven wind where the lighter heavy elements can be synthesized. We identified a list of $(\alpha,xn)$ reaction rates that affect key elemental ratios in different astrophysical conditions. Our study aims on motivating more nuclear physics experiments on $(\alpha, xn)$ reactions using current and the new generation of radioactive beam facilities and also more observational studies of metal-poor stars.


title: Accelerated Policy Learning with Parallel Differentiable Simulation

abstract: Deep reinforcement learning can generate complex control policies, but requires large amounts of training data to work effectively. Recent work has attempted to address this issue by leveraging differentiable simulators. However, inherent problems such as local minima and exploding/vanishing numerical gradients prevent these methods from being generally applied to control tasks with complex contact-rich dynamics, such as humanoid locomotion in classical RL benchmarks. In this work we present a high-performance differentiable simulator and a new policy learning algorithm (SHAC) that can effectively leverage simulation gradients, even in the presence of non-smoothness. Our learning algorithm alleviates problems with local minima through a smooth critic function, avoids vanishing/exploding gradients through a truncated learning window, and allows many physical environments to be run in parallel. We evaluate our method on classical RL control tasks, and show substantial improvements in sample efficiency and wall-clock time over state-of-the-art RL and differentiable simulation-based algorithms. In addition, we demonstrate the scalability of our method by applying it to the challenging high-dimensional problem of muscle-actuated locomotion with a large action space, achieving a greater than 17x reduction in training time over the best-performing established RL algorithm.


title: Type III seesaw with R-parity violation in light of $m_W$ (CDF)

abstract: Motivated by the recently reported measurement of the $W$ boson mass $M_W = 80.4335 \pm 0.0094$ GeV by the CDF collaboration, we propose a type III seesaw extension of the minimal supersymmetric standard model (MSSM) which also includes an R-parity violating term. Without taking potential SUSY radiative corrections into account, we show that the CDF measurement of $M_W$ and the LEP measurement of the $\rho$ parameter can be simultaneously accommodated at the $2 \sigma$ level. A long-lived gravitino in a few GeV mass range is a unique viable dark matter candidate in this framework.


title: The images of multilinear and semihomogeneous polynomials on the algebra of octonions

abstract: The generalized L'vov-Kaplansky conjecture states that for any finite-dimensional simple algebra $A$ the image of a multilinear polynomial on $A$ is a vector space. In this paper we prove it for the algebra of octonions $\mathbb{O}$ over a field satisfying certain specified conditions (in particular, we prove it for quadratically closed field and for field $\mathbb{R}$). In fact, we prove that the image set must be either $\{0\}$, $F$, the space of pure octonions $V$, or $\mathbb{O}$. We discuss possible evaluations of semihomogeneous polynomials on $\mathbb{O}$ and of arbitrary polynomials on the corresponding Malcev algebra.


title: De-projecting the EFThedron

abstract: The space of Wilson coefficients of EFT that can be UV completed into consistent theories was recently shown to be described analytically by a positive geometry, termed the EFThedron. However, this geometry, as well as complementary numerical methods of semi-definite programming, have so far focused on the positivity of the partial wave expansion, which allows bounding only ratios of couplings. In this paper we describe how the unitarity upper bound of the partial waves can be incorporated. This new problem can be formulated in terms of the well known $L$-moment problem, which we generalize and solve from a geometrical perspective. We find the non-projective generalization of the EFThedron has an infinite number of non-linear facets, which in some cases have remarkably simple descriptions. We use these results to derive bounds on single couplings, finding that the leading derivative operators are bounded by unity, when normalized by the cut-off scale and loop factors. For general operators of mass dimension $2k$ we find the upper bound is heavily suppressed at large $k$, with an $1/k$ fall-off.


title: Masked Siamese Networks for Label-Efficient Learning

abstract: We propose Masked Siamese Networks (MSN), a self-supervised learning framework for learning image representations. Our approach matches the representation of an image view containing randomly masked patches to the representation of the original unmasked image. This self-supervised pre-training strategy is particularly scalable when applied to Vision Transformers since only the unmasked patches are processed by the network. As a result, MSNs improve the scalability of joint-embedding architectures, while producing representations of a high semantic level that perform competitively on low-shot image classification. For instance, on ImageNet-1K, with only 5,000 annotated images, our base MSN model achieves 72.4% top-1 accuracy, and with 1% of ImageNet-1K labels, we achieve 75.7% top-1 accuracy, setting a new state-of-the-art for self-supervised learning on this benchmark. Our code is publicly available.


title: CLUES: A Benchmark for Learning Classifiers using Natural Language Explanations

abstract: Supervised learning has traditionally focused on inductive learning by observing labeled examples of a task. In contrast, humans have the ability to learn new concepts from language. Here, we explore training zero-shot classifiers for structured data purely from language. For this, we introduce CLUES, a benchmark for Classifier Learning Using natural language ExplanationS, consisting of a range of classification tasks over structured data along with natural language supervision in the form of explanations. CLUES consists of 36 real-world and 144 synthetic classification tasks. It contains crowdsourced explanations describing real-world tasks from multiple teachers and programmatically generated explanations for the synthetic tasks. To model the influence of explanations in classifying an example, we develop ExEnt, an entailment-based model that learns classifiers using explanations. ExEnt generalizes up to 18% better (relative) on novel tasks than a baseline that does not use explanations. We delineate key challenges for automated learning from explanations, addressing which can lead to progress on CLUES in the future. Code and datasets are available at: https://clues-benchmark.github.io.


title: Neighborhood Attention Transformer

abstract: We present Neighborhood Attention (NA), the first efficient and scalable sliding-window attention mechanism for vision. NA is a pixel-wise operation, localizing self attention (SA) to the nearest neighboring pixels, and therefore enjoys a linear time and space complexity compared to the quadratic complexity of SA. The sliding-window pattern allows NA's receptive field to grow without needing extra pixel shifts, and preserves translational equivariance, unlike Swin Transformer's Window Self Attention (WSA). We develop NATTEN (Neighborhood Attention Extension), a Python package with efficient C++ and CUDA kernels, which allows NA to run up to 40% faster than Swin's WSA while using up to 25% less memory. We further present Neighborhood Attention Transformer (NAT), a new hierarchical transformer design based on NA that boosts image classification and downstream vision performance. Experimental results on NAT are competitive; NAT-Tiny reaches 83.2% top-1 accuracy on ImageNet, 51.4% mAP on MS-COCO and 48.4% mIoU on ADE20K, which is 1.9% ImageNet accuracy, 1.0% COCO mAP, and 2.6% ADE20K mIoU improvement over a Swin model with similar size. To support more research based on sliding-window attention, we open source our project and release our checkpoints at: https://github.com/SHI-Labs/Neighborhood-Attention-Transformer .


title: On the $W$-mass and New Higgs Bosons

abstract: We discuss the prediction of the $W$ boson mass in a simple extension of the Standard Model ($\Sigma {\rm SM}$) with a real scalar triplet. A shift in the $W$ mass as reported by the CDF II collaboration can naturally be accommodated by the model without modifying the Standard Model value for the $Z$ mass. We discuss the main implications and the properties of the new Higgs bosons. Namely, the partial decay widths of the new charged Higgs are predicted. Furthermore, the neutral Higgs has suppressed couplings to fermions and decays predominantly into a pair of $W$ gauge bosons.


title: Performance of optimal linear-response processes in driven Brownian motion far from equilibrium

abstract: Considering the paradigmatic driven Brownian motion, we perform extensive numerical analysis on the performance of optimal linear-response processes far from equilibrium. We focus on the overdamped regime where exact optimal processes are known analytically, and most experiments operate. This allows us to compare the optimal processes obtained in linear response and address their relevance to experiments, using realistic parameter values from experiments with optical tweezers. Our results help assess the accuracy of perturbative methods in calculating the irreversible work for cases where an exact solution does not exist. For that, we present a performance metric comparing the approximate optimal solution to the exact one. Our main result is that optimal linear-response processes can perform surprisingly well, even far from where they were expected.

categories: cond-mat.stat-mech cond-mat.mes-hall cond-mat.soft physics.bio-ph


title: GelSight Fin Ray: Incorporating Tactile Sensing into a Soft Compliant Robotic Gripper

abstract: To adapt to constantly changing environments and be safe for human interaction, robots should have compliant and soft characteristics as well as the ability to sense the world around them. Even so, the incorporation of tactile sensing into a soft compliant robot, like the Fin Ray finger, is difficult due to its deformable structure. Not only does the frame need to be modified to allow room for a vision sensor, which enables intricate tactile sensing, the robot must also retain its original mechanically compliant properties. However, adding high-resolution tactile sensors to soft fingers is difficult since many sensorized fingers, such as GelSight-based ones, are rigid and function under the assumption that changes in the sensing region are only from tactile contact and not from finger compliance. A sensorized soft robotic finger needs to be able to separate its overall proprioceptive changes from its tactile information. To this end, this paper introduces the novel design of a GelSight Fin Ray, which embodies both the ability to passively adapt to any object it grasps and the ability to perform high-resolution tactile reconstruction, object orientation estimation, and marker tracking for shear and torsional forces. Having these capabilities allow soft and compliant robots to perform more manipulation tasks that require sensing. One such task the finger is able to perform successfully is a kitchen task: wine glass reorientation and placement, which is difficult to do with external vision sensors but is easy with tactile sensing. The development of this sensing technology could also potentially be applied to other soft compliant grippers, increasing their viability in many different fields.


title: Floquet-heating-induced Bose condensation in a scar-like mode of an open driven optical-lattice system

abstract: Periodically driven quantum systems suffer from heating via resonant excitation. While such Floquet heating guides a generic isolated system towards the infinite-temperature state, a driven open system, coupled to a thermal bath, will approach a non-equilibrium steady state. We show that the interplay of bath-induced dissipation and controlled Floquet heating can give rise to non-equilibrium Bose condensation in a mode protected from Floquet heating. In particular, we consider a one-dimensional (1D) Bose gas in an optical lattice of finite extent, which is coupled weakly to a three-dimensional thermal bath given by a second atomic species. The bath temperature $T$ lies well above the crossover temperature, below which the majority of the system's particles form a (finite-size) Bose condensate in the ground state. However, when a strong local potential modulation is switched on, which resonantly excites the system, a non-equilibrium Bose condensate is formed in a state that decouples from the drive. Our predictions, which are based on a microscopic model that is solved using kinetic equations of motion derived from Floquet-Born-Markov theory, can be probed under realistic experimental conditions.


title: Quantifying protocols for safe school activities

abstract: By the peak of COVID-19 restrictions on April 8, 2020, up to 1.5 billion students across 188 countries were by the suspension of physical attendance in schools. Schools were among the first services to reopen as vaccination campaigns advanced. With the emergence of new variants and infection waves, the question now is to find safe protocols for the continuation of school activities. We need to understand how reliable these protocols are under different levels of vaccination coverage, as many countries have a meager fraction of their population vaccinated, including Uganda where the coverage is about 8\%. We investigate the impact of face-to-face classes under different protocols and quantify the surplus number of infected individuals in a city. Using the infection transmission when schools were closed as a baseline, we assess the impact of physical school attendance in classrooms with poor air circulation. We find that (i) resuming school activities with people only wearing low-quality masks leads to a near fivefold city-wide increase in the number of cases even if all staff is vaccinated, (ii) resuming activities with students wearing good-quality masks and staff wearing N95s leads to about a threefold increase, (iii) combining high-quality masks and active monitoring, activities may be carried out safely even with low vaccination coverage. These results highlight the effectiveness of good mask-wearing. Compared to ICU costs, high-quality masks are inexpensive and can help curb the spreading. Classes can be carried out safely, provided the correct set of measures are implemented.


title: An Integrated Design Pipeline for Tactile Sensing Robotic Manipulators

abstract: Traditional robotic manipulator design methods require extensive, time-consuming, and manual trial and error to produce a viable design. During this process, engineers often spend their time redesigning or reshaping components as they discover better topologies for the robotic manipulator. Tactile sensors, while useful, often complicate the design due to their bulky form factor. We propose an integrated design pipeline to streamline the design and manufacturing of robotic manipulators with knitted, glove-like tactile sensors. The proposed pipeline allows a designer to assemble a collection of modular, open-source components by applying predefined graph grammar rules. The end result is an intuitive design paradigm that allows the creation of new virtual designs of manipulators in a matter of minutes. Our framework allows the designer to fine-tune the manipulator's shape through cage-based geometry deformation. Finally, the designer can select surfaces for adding tactile sensing. Once the manipulator design is finished, the program will automatically generate 3D printing and knitting files for manufacturing. We demonstrate the utility of this pipeline by creating four custom manipulators tested on real-world tasks: screwing in a wing screw, sorting water bottles, picking up an egg, and cutting paper with scissors.


title: FREDA: Flexible Relation Extraction Data Annotation

abstract: To effectively train accurate Relation Extraction models, sufficient and properly labeled data is required. Adequately labeled data is difficult to obtain and annotating such data is a tricky undertaking. Previous works have shown that either accuracy has to be sacrificed or the task is extremely time-consuming, if done accurately. We are proposing an approach in order to produce high-quality datasets for the task of Relation Extraction quickly. Neural models, trained to do Relation Extraction on the created datasets, achieve very good results and generalize well to other datasets. In our study, we were able to annotate 10,022 sentences for 19 relations in a reasonable amount of time, and trained a commonly used baseline model for each relation.


title: Deformable Sprites for Unsupervised Video Decomposition

abstract: We describe a method to extract persistent elements of a dynamic scene from an input video. We represent each scene element as a \emph{Deformable Sprite} consisting of three components: 1) a 2D texture image for the entire video, 2) per-frame masks for the element, and 3) non-rigid deformations that map the texture image into each video frame. The resulting decomposition allows for applications such as consistent video editing. Deformable Sprites are a type of video auto-encoder model that is optimized on individual videos, and does not require training on a large dataset, nor does it rely on pre-trained models. Moreover, our method does not require object masks or other user input, and discovers moving objects of a wider variety than previous work. We evaluate our approach on standard video datasets and show qualitative results on a diverse array of Internet videos. Code and video results can be found at https://deformable-sprites.github.io


title: Enhanced Gravitational Waves from Inflaton Oscillons

abstract: In broad classes of inflationary models the period of accelerated expansion is followed by fragmentation of the inflaton scalar field into localized, long-lived and massive oscillon excitations. We demonstrate that matter-dominance of oscillons, followed by their rapid decay, significantly enhances the primordial gravitational wave (GW) spectrum. These oscillon-induced GWs, sourced by second-order perturbations, are distinct and could be orders of magnitude lower in frequency than the previously considered GWs associated with oscillon formation. We show that detectable oscillon-induced GW signatures establish direct tests independent from cosmic microwave background radiation (CMB) for regions of parameter space of monodromy, logarithmic and pure natural (plateau) potential classes of inflationary models, among others. We demonstrate that oscillon-induced GWs in a model based on pure natural inflation could be directly observable with the Einstein Telescope, Cosmic Explorer and DECIGO. These signatures offer a new route for probing the underlying inflationary physics.


title: What's in your hands? 3D Reconstruction of Generic Objects in Hands

abstract: Our work aims to reconstruct hand-held objects given a single RGB image. In contrast to prior works that typically assume known 3D templates and reduce the problem to 3D pose estimation, our work reconstructs generic hand-held object without knowing their 3D templates. Our key insight is that hand articulation is highly predictive of the object shape, and we propose an approach that conditionally reconstructs the object based on the articulation and the visual input. Given an image depicting a hand-held object, we first use off-the-shelf systems to estimate the underlying hand pose and then infer the object shape in a normalized hand-centric coordinate frame. We parameterized the object by signed distance which are inferred by an implicit network which leverages the information from both visual feature and articulation-aware coordinates to process a query point. We perform experiments across three datasets and show that our method consistently outperforms baselines and is able to reconstruct a diverse set of objects. We analyze the benefits and robustness of explicit articulation conditioning and also show that this allows the hand pose estimation to further improve in test-time optimization.


title: MiniViT: Compressing Vision Transformers with Weight Multiplexing

abstract: Vision Transformer (ViT) models have recently drawn much attention in computer vision due to their high model capability. However, ViT models suffer from huge number of parameters, restricting their applicability on devices with limited memory. To alleviate this problem, we propose MiniViT, a new compression framework, which achieves parameter reduction in vision transformers while retaining the same performance. The central idea of MiniViT is to multiplex the weights of consecutive transformer blocks. More specifically, we make the weights shared across layers, while imposing a transformation on the weights to increase diversity. Weight distillation over self-attention is also applied to transfer knowledge from large-scale ViT models to weight-multiplexed compact models. Comprehensive experiments demonstrate the efficacy of MiniViT, showing that it can reduce the size of the pre-trained Swin-B transformer by 48\%, while achieving an increase of 1.0\% in Top-1 accuracy on ImageNet. Moreover, using a single-layer of parameters, MiniViT is able to compress DeiT-B by 9.7 times from 86M to 9M parameters, without seriously compromising the performance. Finally, we verify the transferability of MiniViT by reporting its performance on downstream benchmarks. Code and models are available at here.


title: Tight Bounds for Quantum State Certification with Incoherent Measurements

abstract: We consider the problem of quantum state certification, where we are given the description of a mixed state $\sigma \in \mathbb{C}^{d \times d}$, $n$ copies of a mixed state $\rho \in \mathbb{C}^{d \times d}$, and $\varepsilon > 0$, and we are asked to determine whether $\rho = \sigma$ or whether $\| \rho - \sigma \|_1 > \varepsilon$. When $\sigma$ is the maximally mixed state $\frac{1}{d} I_d$, this is known as mixedness testing. We focus on algorithms which use incoherent measurements, i.e. which only measure one copy of $\rho$ at a time. Unlike those that use entangled, multi-copy measurements, these can be implemented without persistent quantum memory and thus represent a large class of protocols that can be run on current or near-term devices. For mixedness testing, there is a folklore algorithm which uses incoherent measurements and only needs $O(d^{3/2} / \varepsilon^2)$ copies. The algorithm is non-adaptive, that is, its measurements are fixed ahead of time, and is known to be optimal for non-adaptive algorithms. However, when the algorithm can make arbitrary incoherent measurements, the best known lower bound is only $\Omega (d^{4/3} / \varepsilon^2)$ [Bubeck-Chen-Li '20], and it has been an outstanding open problem to close this polynomial gap. In this work, 1) we settle the copy complexity of mixedness testing with incoherent measurements and show that $\Omega (d^{3/2} / \varepsilon^2)$ copies are necessary, and 2) we show the instance-optimal bounds for state certification to general $\sigma$ first derived by [Chen-Li-O'Donnell '21] for non-adaptive measurements also hold for arbitrary incoherent measurements. Qualitatively, our results say that adaptivity does not help at all for these problems. Our results are based on new techniques that allow us to reduce the problem to understanding certain matrix martingales, which we believe may be of independent interest.


title: Any-resolution Training for High-resolution Image Synthesis

abstract: Generative models operate at fixed resolution, even though natural images come in a variety of sizes. As high-resolution details are downsampled away and low-resolution images are discarded altogether, precious supervision is lost. We argue that every pixel matters and create datasets with variable-size images, collected at their native resolutions. To take advantage of varied-size data, we introduce continuous-scale training, a process that samples patches at random scales to train a new generator with variable output resolutions. First, conditioning the generator on a target scale allows us to generate higher resolution images than previously possible, without adding layers to the model. Second, by conditioning on continuous coordinates, we can sample patches that still obey a consistent global layout, which also allows for scalable training at higher resolutions. Controlled FFHQ experiments show that our method can take advantage of multi-resolution training data better than discrete multi-scale approaches, achieving better FID scores and cleaner high-frequency details. We also train on other natural image domains including churches, mountains, and birds, and demonstrate arbitrary scale synthesis with both coherent global layouts and realistic local details, going beyond 2K resolution in our experiments. Our project page is available at: https://chail.github.io/anyres-gan/.


title: Joint Forecasting of Panoptic Segmentations with Difference Attention

abstract: Forecasting of a representation is important for safe and effective autonomy. For this, panoptic segmentations have been studied as a compelling representation in recent work. However, recent state-of-the-art on panoptic segmentation forecasting suffers from two issues: first, individual object instances are treated independently of each other; second, individual object instance forecasts are merged in a heuristic manner. To address both issues, we study a new panoptic segmentation forecasting model that jointly forecasts all object instances in a scene using a transformer model based on 'difference attention.' It further refines the predictions by taking depth estimates into account. We evaluate the proposed model on the Cityscapes and AIODrive datasets. We find difference attention to be particularly suitable for forecasting because the difference of quantities like locations enables a model to explicitly reason about velocities and acceleration. Because of this, we attain state-of-the-art on panoptic segmentation forecasting metrics.


title: A non-associative incidence near-ring with a generalized M\"obius function

abstract: There is a convolution product on 3-variable partial flag functions of a locally finite poset that produces a generalized M\"obius function. Under the product this generalized M\"obius function is a one sided inverse of the zeta function and satisfies many generalizations of classical results. In particular we prove analogues of Phillip Hall's Theorem on the M\"obius function as an alternating sum of chain counts, Weisner's theorem, and Rota's Crosscut Theorem. A key ingredient to these results is that this function is an overlapping product of classical M\"obius functions. Using this generalized M\"obius function we define analogues of the characteristic polynomial and M\"obius polynomials for ranked lattices. We compute these polynomials for certain families of matroids and prove that this generalized M\"obius polynomial has -1 as root if the matroid is modular. Using results from Ardila and Sanchez we prove that this generalized characteristic polynomial is a matroid valuation.


title: A Level Set Theory for Neural Implicit Evolution under Explicit Flows

abstract: Coordinate-based neural networks parameterizing implicit surfaces have emerged as efficient representations of geometry. They effectively act as parametric level sets with the zero-level set defining the surface of interest. We present a framework that allows applying deformation operations defined for triangle meshes onto such implicit surfaces. Several of these operations can be viewed as energy-minimization problems that induce an instantaneous flow field on the explicit surface. Our method uses the flow field to deform parametric implicit surfaces by extending the classical theory of level sets. We also derive a consolidated view for existing methods on differentiable surface extraction and rendering, by formalizing connections to the level-set theory. We show that these methods drift from the theory and that our approach exhibits improvements for applications like surface smoothing, mean-curvature flow, inverse rendering and user-defined editing on implicit geometry.


title: Fast Bayesian analysis of individual binaries in pulsar timing array data

abstract: Searching for gravitational waves in pulsar timing array data is computationally intensive. The data is unevenly sampled, and the noise is heteroscedastic, necessitating the use of a time-domain likelihood function with attendant expensive matrix operations. The computational cost is exacerbated when searching for individual supermassive black hole binaries, which have a large parameter space due to the additional pulsar distance, phase offset and noise model parameters needed for each pulsar. We introduce a new formulation of the likelihood function which can be used to make the Bayesian analysis significantly faster. We divide the parameters into projection and shape parameters. We then accelerate the exploration of the projection parameters by more than four orders of magnitude by precomputing the expensive inner products for each set of shape parameters. The projection parameters include nuisance parameters such as the gravitational wave phase offset at each pulsar. In the new scheme, these troublesome nuisance parameters are efficiently marginalized over using multiple-try Markov chain Monte Carlo sampling as part of a Metropolis-within-Gibbs scheme. The acceleration provided by our method will become increasingly important as pulsar timing datasets rapidly grow. Our method also makes sophisticated analyses more tractable, such as searches for multiple binaries, or binaries with non-negligible eccentricities.


title: Spatio-temporally graded causality: a model

abstract: In this paper we consider a claim that in the natural world there is no fact of the matter about the spatio-temporal separation of events. In order to make sense of such a notion and construct useful models of the world, it is proposed to use elements of a non-classical logic. Specifically, a model is proposed here, according to which causality can be considered to be spatio-temporally graded. It is outlined how this can be described using the formalism of fuzzy sets theory, with the degree of causality varying between 1, that is no separation between causes and effects, and 0, that is perfect separation between causes and their effects as in classical 'billiard balls' models of physical systems, namely such based on the notion of ideal mathematical point. Our model posits that subjective moments of time are like fuzzy sets, with their extension determined by local degrees of causality, resulting from information integration processes extended gradually in space and time. This, we argue, is how a notion of causality could be, to a certain degree, spared and reconciled with a variant of Bergsonian duration theory as formulated in the theory of continuous change. Relation of the proposed viewpoint to other theories, as well as possible solutions it suggests to various problems, in particular the measurement problem, are also discussed.

categories: q-bio.NC math-ph math.MP physics.hist-ph


title: Spatio-Temporal Analysis of Transformer based Architecture for Attention Estimation from EEG

abstract: For many years now, understanding the brain mechanism has been a great research subject in many different fields. Brain signal processing and especially electroencephalogram (EEG) has recently known a growing interest both in academia and industry. One of the main examples is the increasing number of Brain-Computer Interfaces (BCI) aiming to link brains and computers. In this paper, we present a novel framework allowing us to retrieve the attention state, i.e degree of attention given to a specific task, from EEG signals. While previous methods often consider the spatial relationship in EEG through electrodes and process them in recurrent or convolutional based architecture, we propose here to also exploit the spatial and temporal information with a transformer-based network that has already shown its supremacy in many machine-learning (ML) related studies, e.g. machine translation. In addition to this novel architecture, an extensive study on the feature extraction methods, frequential bands and temporal windows length has also been carried out. The proposed network has been trained and validated on two public datasets and achieves higher results compared to state-of-the-art models. As well as proposing better results, the framework could be used in real applications, e.g. Attention Deficit Hyperactivity Disorder (ADHD) symptoms or vigilance during a driving assessment.


title: Cross-Frequency Coupling Increases Memory Capacity in Oscillatory Neural Networks

abstract: An open problem in neuroscience is to explain the functional role of oscillations in neural networks, contributing, for example, to perception, attention, and memory. Cross-frequency coupling (CFC) is associated with information integration across populations of neurons. Impaired CFC is linked to neurological disease. It is unclear what role CFC has in information processing and brain functional connectivity. We construct a model of CFC which predicts a computational role for observed $\theta - \gamma$ oscillatory circuits in the hippocampus and cortex. Our model predicts that the complex dynamics in recurrent and feedforward networks of coupled oscillators performs robust information storage and pattern retrieval. Based on phasor associative memories (PAM), we present a novel oscillator neural network (ONN) model that includes subharmonic injection locking (SHIL) and which reproduces experimental observations of CFC. We show that the presence of CFC increases the memory capacity of a population of neurons connected by plastic synapses. CFC enables error-free pattern retrieval whereas pattern retrieval fails without CFC. In addition, the trade-offs between sparse connectivity, capacity, and information per connection are identified. The associative memory is based on a complex-valued neural network, or phasor neural network (PNN). We show that for values of $Q$ which are the same as the ratio of $\gamma$ to $\theta$ oscillations observed in the hippocampus and the cortex, the associative memory achieves greater capacity and information storage than previous models. The novel contributions of this work are providing a computational framework based on oscillator dynamics which predicts the functional role of neural oscillations and connecting concepts in neural network theory and dynamical system theory.


title: A Higher Dimension of Consciousness: Constructing an empirically falsifiable panpsychist model of consciousness

abstract: Panpsychism is a solution to the mind-body problem that presumes that consciousness is a fundamental aspect of reality instead of a product or consequence of physical processes (i.e., brain activity). Panpsychism is an elegant solution to the mind-body problem: it effectively rids itself of the explanatory gap materialist theories of consciousness suffer from. However, many theorists and experimentalists doubt panpsychism can ever be successful as a scientific theory, as it cannot be empirically verified or falsified. In this paper, I present a panpsychist model based on the controversial idea that consciousness may be a so called higher physical dimension. Although this notion seems outrageous, I show that the idea has surprising explanatory power, even though the model (as most models) is most likely wrong. Most importantly, though, it results in a panpsychist model that yields predictions that can be empirically verified or falsified. As such, the model's main purpose is to serve as an example how a metaphysical model of consciousness can be specified in such a way that they can be tested in a scientifically rigorous way.


title: Power graphs of Moufang loops

abstract: Power graphs of both groups and semigroups have been widely studied. While the power graph of a quasigroup can be defined analogously to that of a group, power graphs of quasigroups and loops have thus far been little studied. In this paper we begin transferring results on the power graphs of groups to the context of loops by addressing a question posed by Peter Cameron: if two Moufang loops have isomorphic undirected power graphs, must they have isomorphic directed power graphs? It is known that two groups with isomorphic undirected power graphs must have isomorphic directed power graphs. We are able to extend that result to Moufang loops by showing that Moufang loops with isomorphic undirected power graphs have isomorphic directed power graphs. Along the way we investigate a class of Moufang loops which we term the generalized octonion loops and behave similarly to the generalized quaternion groups.


title: Simulated assessment of light transport through ischaemic skin flaps

abstract: Currently, free flaps and pedicled flaps are assessed for reperfusion in post-operative care using colour, capillary refill, temperature, texture and Doppler signal (if available). While these techniques are effective, they are prone to error due to their qualitative nature. In this research, we explore using different wavelengths of light to quantify the response of ischaemic tissue. The assessment provides us with indicators that are key to our goal of developing a point-of-care diagnostics device, capable of observing reduced perfusion quantitatively. We set up a detailed optical model of the layers of the skin. The layers of the model are given appropriate optical properties of the tissue, with due consideration of melanin and haemoglobin concentrations. We simulate 24 models of healthy, perfused tissue and perfusion-deprived tissue to assess the responses when illuminated with visible and near-infrared wavelengths of light. In addition to detailed fluence maps of photon propagation, we propose a simple mathematical model to assess the differential propagation of photons in tissue; the optical reperfusion factor (ORF). Our results show clear advantages of using light at longer wavelengths (red, near-infrared) and the inferences drawn from the simulations hold significant clinical relevance. The simulated scenarios and results consolidate the belief of a multi-wavelength, point-of-care diagnostics device and inform its design for quantifying blood flow in transplanted tissue. The modelling approach is applicable beyond the current research, wherein other medical conditions that can be mathematically represented in the skin can be investigated. Through these, additional inferences and approaches to other point-of-care devices can be realised.

categories: physics.med-ph physics.app-ph physics.bio-ph physics.optics


title: Towards Porting Operating Systems with Program Synthesis

abstract: The end of Moore's Law has ushered in a diversity of hardware not seen in decades. Operating system (and system software) portability is accordingly becoming increasingly critical. Simultaneously, there has been tremendous progress in program synthesis. We set out to explore the feasibility of using modern program synthesis to generate the machine-dependent parts of an operating system. Our ultimate goal is to generate new ports automatically from descriptions of new machines. One of the issues involved is writing specifications, both for machine-dependent operating system functionality and for instruction set architectures. We designed two domain-specific languages: Alewife for machine-independent specifications of machine-dependent operating system functionality and Cassiopea for describing instruction set architecture semantics. Automated porting also requires an implementation. We developed a toolchain that, given an Alewife specification and a Cassiopea machine description, specializes the machine-independent specification to the target instruction set architecture and synthesizes an implementation in assembly language with a customized symbolic execution engine. Using this approach, we demonstrate successful synthesis of a total of 140 OS components from two pre-existing OSes for four real hardware platforms. We also developed several optimization methods for OS-related assembly synthesis to improve scalability. The effectiveness of our languages and ability to synthesize code for all 140 specifications is evidence of the feasibility of program synthesis for machine-dependent OS code. However, many research challenges remain; we also discuss the benefits and limitations of our synthesis-based approach to automated OS porting.


title: The Extremal Function for Apex Graphs

abstract: McCarty and Thomas conjectured that a linklessly embeddable graph with $n\ge 7 $ vertices and $t$ triangles has at most $3n-9 +\frac{t}{3}$ edges. Thomas and Yoo proved this to be true for apex graphs. We give a shorter and simpler proof for the apex case.


title: Formation of Low-mass Black Holes and Single Millisecond Pulsars in Globular Clusters

abstract: Close encounters between neutron stars and main-sequence stars occur in globular clusters and may lead to various outcomes. Here we study encounters resulting in tidal disruption of the star. Using $N$-body models, we predict the typical stellar masses in these disruptions and the dependence of the event rate on host cluster properties. We find that tidal disruption events occur most frequently in core-collapsed globular clusters and that roughly $25\%$ of the disrupted stars are merger products (i.e., blue straggler stars). Using hydrodynamic simulations, we model the tidal disruptions themselves (over timescales of days) to determine the mass bound to the neutron star and the properties of the accretion disks formed. In general, we find that roughly $80-90\%$ of the initial stellar mass becomes bound to the neutron star following disruption. Additionally, we find that neutron stars receive impulsive kicks of up to about $20\,$km/s as a result of the asymmetry of unbound ejecta; these kicks place these neutron stars on elongated orbits within their host cluster, with apocenter distances well outside the cluster core. Finally, we model the evolution of the (hypercritical) accretion disks on longer timescales (days to years after disruption) to estimate the accretion rate onto the neutron stars and accompanying spin-up. As long as $\gtrsim1\%$ of the bound mass accretes onto the neutron star, millisecond spin periods can be attained. We argue the growing numbers of isolated millisecond pulsars observed in globular clusters may have formed, at least in part, through this mechanism. In the case of significant mass growth, some of these neutron stars may collapse to form low-mass ($\lesssim3\,M_{\odot}$) black holes.


title: Linearizing the BPS Equations with Vector and Tensor Multiplets

abstract: We analyse the BPS equations of $\mathcal{N} = (1,0)$ supergravity theory in six dimensions coupled to a vector and tensor multiplet. We show how these BPS equations can be reduced to a set of linear differential equations. This system is triangular in that each layer of equations, while linear, is quadratically sourced by the solutions of the previous layers. We examine several explicit examples and discuss the construction of new families of microstate geometries. We expect that the result presented here will open up new branches of superstrata in which the momentum is encoded in a new class of charge carriers.


title: Holography and the KKLT Scenario

abstract: The KKLT scenario, one of the few ideas to realize dS vacua in string theory, consists of two steps: the first involves the construction of a supersymmetric AdS vacuum with a small negative cosmological constant, and the second involves breaking supersymmetry and uplifting the energy to achieve dS. In this paper we use conventional holography to argue why it is not possible to complete the first step. We obtain this by putting a bound on the central charge of the dual theory which involves branes wrapping special Lagrangian cycles in CY 4-folds. We find that $l_{\rm AdS}^2 \lesssim \chi(CY_4)$. Since $l_{\rm species}^2\gtrsim \chi(CY_4)$ this leads to $l_{\rm AdS}/l_{\rm species}\lesssim 1$ leading at best to a highly curved AdS which is beyond the validity of the EFT.


title: Diagnosing and Fixing Manifold Overfitting in Deep Generative Models

abstract: Likelihood-based, or explicit, deep generative models use neural networks to construct flexible high-dimensional densities. This formulation directly contradicts the manifold hypothesis, which states that observed data lies on a low-dimensional manifold embedded in high-dimensional ambient space. In this paper we investigate the pathologies of maximum-likelihood training in the presence of this dimensionality mismatch. We formally prove that degenerate optima are achieved wherein the manifold itself is learned but not the distribution on it, a phenomenon we call manifold overfitting. We propose a class of two-step procedures consisting of a dimensionality reduction step followed by maximum-likelihood density estimation, and prove that they recover the data-generating distribution in the nonparametric regime, thus avoiding manifold overfitting. We also show that these procedures enable density estimation on the manifolds learned by implicit models, such as generative adversarial networks, hence addressing a major shortcoming of these models. Several recently proposed methods are instances of our two-step procedures; we thus unify, extend, and theoretically justify a large class of models.


title: Implications of the Milky Way travel velocity for dynamical mass estimates of the Local Group

abstract: The total mass of the Local Group (LG) is a fundamental quantity that enables interpreting the orbits of its constituent galaxies and placing the LG in a cosmological context. One of the few methods that allows inferring the total mass directly is the "Timing Argument," which models the relative orbit of the Milky Way (MW) and M31 in equilibrium. The MW itself is not in equilibrium, a byproduct of its merger history including the recent pericentric passage of the LMC, and recent work has found that the MW disk is moving with a lower bound "travel velocity" of $\sim 32~{\rm km}~{\rm s}^{-1}$ with respect to the outer stellar halo. Previous Timing Argument measurements attempt to account for this non-equilibrium state, but have been restricted to theoretical predictions for the impact of the LMC specifically. In this paper, we quantify the impact of a travel velocity on recovered LG mass estimates using several different compilations of recent kinematic measurements of M31. We find that incorporating the measured value of the travel velocity lowers the inferred LG mass by 10--12\% compared to a static MW halo. Measurements of the travel velocity with more distant tracers could yield even larger values, which would further decrease the inferred LG mass. Therefore, the newly measured travel velocity directly implies a lower LG mass than from a model with a static MW halo and must be considered in future dynamical studies of the Local Volume.


title: Investigating the source of hysteresis in the Soil-Water Characteristic Curve using the multiphase lattice Boltzmann method

abstract: The soil-water characteristic curve (SWCC) is the most fundamental relationship in unsaturated soil mechanics, relating the amount of water in the soil to the corresponding matric suction. From experimental evidence, it is known that SWCC exhibits hysteresis (i.e. wetting/drying path dependence). Various factors have been proposed as contributors to SWCC hysteresis, including air entrapment, contact angle hysteresis, ink-bottle effect, and change of soil fabric due to swelling and shrinkage, however, the significance of their contribution is debated. From our pore-scale numerical simulations, using the multiphase lattice Boltzmann method, we see that even when controlling for all these factors SWCC hysteresis still occurs, indicating that there is some underlying source that is not accounted for in these factors. We find this underlying source by comparing the liquid/gas phase distributions for simulated wetting and drying experiments of 2D and 3D granular packings. We see that during wetting (i.e. pore filling) many liquid bridges expand simultaneously and join together to fill the pores from the smallest to the largest, allowing menisci with larger radii of curvature (lower matric suction). Whereas, during drying (i.e. pore emptying), only the limited existing gas clusters can expand, which become constrained by the size of the pore openings surrounding them and result in menisci with smaller radii of curvature (higher matric suction).


title: Fundamentals of Compositional Rewriting Theory

abstract: A foundational theory of compositional categorical rewriting theory is presented, based on a collection of fibration-like properties that collectively induce and intrinsically structure the large collection of lemmata used in the proofs of theorems such as concurrency and associativity. The resulting highly generic proofs of these theorems are given. It is noteworthy that the proof of the concurrency theorem takes only a few lines and, while that of associativity remains somewhat longer, it would be unreadably long if written directly in terms of the basic lemmata. In essence, our framework improves the readability and ease of comprehension of these proofs by exposing latent modularity. A curated list of known instances of our framework is used to conclude the paper with a detailed discussion of the conditions under which the Double Pushout and Sesqui-Pushout semantics of graph transformation are compositional.


title: A collaborative decomposition-based evolutionary algorithm integrating normal and penalty-based boundary intersection for many-objective optimization

abstract: Decomposition-based evolutionary algorithms have become fairly popular for many-objective optimization in recent years. However, the existing decomposition methods still are quite sensitive to the various shapes of frontiers of many-objective optimization problems (MaOPs). On the one hand, the cone decomposition methods such as the penalty-based boundary intersection (PBI) are incapable of acquiring uniform frontiers for MaOPs with very convex frontiers. On the other hand, the parallel reference lines of the parallel decomposition methods including the normal boundary intersection (NBI) might result in poor diversity because of under-sampling near the boundaries for MaOPs with concave frontiers. In this paper, a collaborative decomposition method is first proposed to integrate the advantages of parallel decomposition and cone decomposition to overcome their respective disadvantages. This method inherits the NBI-style Tchebycheff function as a convergence measure to heighten the convergence and uniformity of distribution of the PBI method. Moreover, this method also adaptively tunes the extent of rotating an NBI reference line towards a PBI reference line for every subproblem to enhance the diversity of distribution of the NBI method. Furthermore, a collaborative decomposition-based evolutionary algorithm (CoDEA) is presented for many-objective optimization. A collaborative decomposition-based environmental selection mechanism is primarily designed in CoDEA to rank all the individuals associated with the same PBI reference line in the boundary layer and pick out the best ranks. CoDEA is compared with several popular algorithms on 85 benchmark test instances. The experimental results show that CoDEA achieves high competitiveness benefiting from the collaborative decomposition maintaining a good balance among the convergence, uniformity, and diversity of distribution.


title: Active Learning for Regression by Inverse Distance Weighting

abstract: This paper proposes an active learning (AL) algorithm to solve regression problems based on inverse-distance weighting functions for selecting the feature vectors to query. The algorithm has the following features: (i) supports both pool-based and population-based sampling; (ii) is not tailored to a particular class of predictors; (iii) can handle known and unknown constraints on the queryable feature vectors; and (iv) can run either sequentially, or in batch mode, depending on how often the predictor is retrained. The potentials of the method are shown in numerical tests on illustrative synthetic problems and real-world datasets. An implementation of the algorithm, which we call IDEAL (Inverse-Distance based Exploration for Active Learning), is available at http://cse.lab.imtlucca.it/~bemporad/ideal.


title: Relaxing Equivariance Constraints with Non-stationary Continuous Filters

abstract: Equivariances provide useful inductive biases in neural network modeling, with the translation equivariance of convolutional neural networks being a canonical example. Equivariances can be embedded in architectures through weight-sharing and place symmetry constraints on the functions a neural network can represent. The type of symmetry is typically fixed and has to be chosen in advance. Although some tasks are inherently equivariant, many tasks do not strictly follow such symmetries. In such cases, equivariance constraints can be overly restrictive. In this work, we propose a parameter-efficient relaxation of equivariance that can effectively interpolate between a (i) non-equivariant linear product, (ii) a strict-equivariant convolution, and (iii) a strictly-invariant mapping. The proposed parameterisation can be thought of as a building block to allow adjustable symmetry structure in neural networks. In addition, we demonstrate that the amount of equivariance can be learned from the training data using backpropagation. Gradient-based learning of equivariance achieves similar or improved performance compared to the best value found by cross-validation and outperforms baselines with partial or strict equivariance on CIFAR-10 and CIFAR-100 image classification tasks.


title: ADAPT-VQE is insensitive to rough parameter landscapes and barren plateaus

abstract: Variational quantum eigensolvers (VQEs) represent a powerful class of hybrid quantum-classical algorithms for computing molecular energies. Various numerical issues exist for these methods, however, including barren plateaus and large numbers of local minima. In this work, we consider Adaptive, Problem-Tailored (ADAPT)-VQE ans\"atze, and examine how they are impacted by these local minima. We find that while ADAPT-VQE does not remove local minima, the gradient-informed, one-operator-at-a-time circuit construction seems to accomplish two things: First, it provides an initialization strategy that is dramatically better than random initialization, and which is applicable in situations where chemical intuition cannot help with initialization, i.e., when Hartree-Fock is a poor approximation to the ground state. Second, even if an ADAPT-VQE iteration converges to a local trap at one step, it can still "burrow" toward the exact solution by adding more operators, which preferentially deepens the occupied trap. This same mechanism helps highlight a surprising feature of ADAPT-VQE: It should not suffer optimization problems due to "barren plateaus". Even if barren plateaus appear in the parameter landscape, our analysis and simulations reveal that ADAPT-VQE avoids such regions by design.


title: Visible Energy Alternative to Dark Energy

abstract: Quantum gravitational effects usually are assumed to be important on small scale (Planck scale), but actually these effects are also very significant on large (cosmological) scales. It is recognized that in curved spacetime, the existence of a minimal measurable momentum is inevitable. In this paper, we study thermodynamic properties of the late time universe in the presence of a minimal measurable momentum cutoff that encodes infra-red modification of the underlying field theory. In this regard, we consider a non-relativistic regime and show that the existence of a minimal measurable momentum in the very essence of the theory leads to accelerating expansion of the universe, which can be interpreted as an alternative to Dark Energy. The universe in this model has experienced the phantom line crossing in the near past.


title: Cumulants of conserved charges in hydrodynamic simulations

abstract: We introduce a fast and simple method of computing cumulants of net-proton or net-charge fluctuations in event-by-event hydrodynamic simulations of heavy-ion collisions. One evaluates the mean numbers of particles in every hydrodynamic event. Cumulants are then expressed as a function of these mean numbers. We implement the corrections due to global conservation laws. The method is tested using ideal hydrodynamic simulations of Au+Au collisions at $\sqrt{s_{NN}}=200$ AGeV with the NeXSPheRIO code. Results are in good agreement with experimental data on net-proton and net-charge fluctuations by the STAR collaboration.


title: Analysing similarities between legal court documents using natural language processing approaches based on Transformers

abstract: Recent advances in Artificial Intelligence (AI) have leveraged promising results in solving complex problems in the area of Natural Language Processing (NLP), being an important tool to help in the expeditious resolution of judicial proceedings in the legal area. In this context, this work targets the problem of detecting the degree of similarity between judicial documents that can be achieved in the inference group, by applying six NLP techniques based on the transformers architecture to a case study of legal proceedings in the Brazilian judicial system. The NLP transformer-based models, namely BERT, GPT-2 and RoBERTa, were pre-trained using a general purpose corpora of the Brazilian Portuguese language, and then were fine-tuned and specialised for the legal sector using 210,000 legal proceedings. Vector representations of each legal document were calculated based on their embeddings, which were used to cluster the lawsuits, calculating the quality of each model based on the cosine of the distance between the elements of the group to its centroid. We noticed that models based on transformers presented better performance when compared to previous traditional NLP techniques, with the RoBERTa model specialised for the Brazilian Portuguese language presenting the best results. This methodology can be also applied to other case studies for different languages, making it possible to advance in the current state of the art in the area of NLP applied to the legal sector.


title: Interactive Object Segmentation in 3D Point Clouds

abstract: We propose an interactive approach for 3D instance segmentation, where users can iteratively collaborate with a deep learning model to segment objects in a 3D point cloud directly. Current methods for 3D instance segmentation are generally trained in a fully-supervised fashion, which requires large amounts of costly training labels, and does not generalize well to classes unseen during training. Few works have attempted to obtain 3D segmentation masks using human interactions. Existing methods rely on user feedback in the 2D image domain. As a consequence, users are required to constantly switch between 2D images and 3D representations, and custom architectures are employed to combine multiple input modalities. Therefore, integration with existing standard 3D models is not straightforward. The core idea of this work is to enable users to interact directly with 3D point clouds by clicking on desired 3D objects of interest~(or their background) to interactively segment the scene in an open-world setting. Specifically, our method does not require training data from any target domain, and can adapt to new environments where no appropriate training sets are available. Our system continuously adjusts the object segmentation based on the user feedback and achieves accurate dense 3D segmentation masks with minimal human effort (few clicks per object). Besides its potential for efficient labeling of large-scale and varied 3D datasets, our approach, where the user directly interacts with the 3D environment, enables new applications in AR/VR and human-robot interaction.


title: Separating the World and Ego Models for Self-Driving

abstract: Training self-driving systems to be robust to the long-tail of driving scenarios is a critical problem. Model-based approaches leverage simulation to emulate a wide range of scenarios without putting users at risk in the real world. One promising path to faithful simulation is to train a forward model of the world to predict the future states of both the environment and the ego-vehicle given past states and a sequence of actions. In this paper, we argue that it is beneficial to model the state of the ego-vehicle, which often has simple, predictable and deterministic behavior, separately from the rest of the environment, which is much more complex and highly multimodal. We propose to model the ego-vehicle using a simple and differentiable kinematic model, while training a stochastic convolutional forward model on raster representations of the state to predict the behavior of the rest of the environment. We explore several configurations of such decoupled models, and evaluate their performance both with Model Predictive Control (MPC) and direct policy learning. We test our methods on the task of highway driving and demonstrate lower crash rates and better stability. The code is available at https://github.com/vladisai/pytorch-PPUU/tree/ICLR2022.


title: This Is the Moment for Probabilistic Loops

abstract: We present a novel static analysis technique to derive higher moments for program variables for a large class of probabilistic loops with potentially uncountable state spaces. Our approach is fully automatic, meaning it does not rely on externally provided invariants or templates. We employ algebraic techniques based on linear recurrences and introduce program transformations to simplify probabilistic programs while preserving their statistical properties. We develop power reduction techniques to further simplify the polynomial arithmetic of probabilistic programs and define the theory of moment-computable probabilistic loops for which higher moments can precisely be computed. Our work has applications towards recovering probability distributions of random variables and computing tail probabilities. The empirical evaluation of our results demonstrates the applicability of our work on many challenging examples.


title: Optimal quadratic binding for relational reasoning in vector symbolic neural architectures

abstract: Binding operation is fundamental to many cognitive processes, such as cognitive map formation, relational reasoning, and language comprehension. In these processes, two different modalities, such as location and objects, events and their contextual cues, and words and their roles, need to be bound together, but little is known about the underlying neural mechanisms. Previous works introduced a binding model based on quadratic functions of bound pairs, followed by vector summation of multiple pairs. Based on this framework, we address following questions: Which classes of quadratic matrices are optimal for decoding relational structures? And what is the resultant accuracy? We introduce a new class of binding matrices based on a matrix representation of octonion algebra, an eight-dimensional extension of complex numbers. We show that these matrices enable a more accurate unbinding than previously known methods when a small number of pairs are present. Moreover, numerical optimization of a binding operator converges to this octonion binding. We also show that when there are a large number of bound pairs, however, a random quadratic binding performs as well as the octonion and previously-proposed binding methods. This study thus provides new insight into potential neural mechanisms of binding operations in the brain.


title: ALMA Lensing Cluster Survey: ALMA-Herschel Joint Study of Lensed Dusty Star-Forming Galaxies across $z\simeq0.5-6$

abstract: We present an ALMA-Herschel joint analysis of sources detected by the ALMA Lensing Cluster Survey (ALCS) at 1.15 mm. Herschel/PACS and SPIRE data at 100-500 $\mu$m are deblended for 180 ALMA sources in 33 lensing cluster fields that are either detected securely (141 sources; in our main sample) or tentatively at S/N$\geq$4 with cross-matched HST/Spitzer counterparts, down to a delensed 1.15-mm flux density of $\sim0.02$ mJy. We performed far-infrared spectral energy distribution modeling and derived the physical properties of dusty star formation for 125 sources (109 independently) that are detected at $>2\sigma$ in at least one Herschel band. 27 secure ALCS sources are not detected in any Herschel bands, including 17 optical/near-IR-dark sources that likely reside at $z=4.2\pm1.2$. The 16-50-84 percentiles of the redshift distribution are 1.15-2.08-3.59 for ALCS sources in the main sample, suggesting an increasing fraction of $z\simeq1-2$ galaxies among fainter millimeter sources ($f_{1150}\sim 0.1$ mJy). With a median lensing magnification factor of $\mu = 2.6_{-0.8}^{+2.6}$, ALCS sources in the main sample exhibit a median intrinsic star-formation rate of $94_{-54}^{+84}\,\mathrm{M}_\odot\,\mathrm{yr}^{-1}$, lower than that of conventional submillimeter galaxies at similar redshifts by a factor of $\sim$3. Our study suggests weak or no redshift evolution of dust temperature with $L_\mathrm{IR}<10^{12}\,\mathrm{L}_\odot$ galaxies within our sample at $z \simeq 0 - 2$. At $L_\mathrm{IR}>10^{12}\,\mathrm{L}_\odot$, the dust temperatures show no evolution across $z \simeq 1 -4$ while being lower than those in the local Universe. For the highest-redshift source in our sample ($z=6.07$), we can rule out an extreme dust temperature ($>$80 K) that was reported for MACS0416 Y1 at $z=8.31$.


title: Flexible Marginal Models for Dependent Data

abstract: Models for dependent data are distinguished by their targets of inference. Marginal models are useful when interest lies in quantifying associations averaged across a population of clusters. When the functional form of a covariate-outcome association is unknown, flexible regression methods are needed to allow for potentially non-linear relationships. We propose a novel marginal additive model (MAM) for modelling cluster-correlated data with non-linear population-averaged associations. The proposed MAM is a unified framework for estimation and uncertainty quantification of a marginal mean model, combined with inference for between-cluster variability and cluster-specific prediction. We propose a fitting algorithm that enables efficient computation of standard errors and corrects for estimation of penalty terms. We demonstrate the proposed methods in simulations and in application to (i) a longitudinal study of beaver foraging behaviour, and (ii) a spatial analysis of Loaloa infection in West Africa. R code for implementing the proposed methodology is available at https://github.com/awstringer1/mam.


title: Peeling away neutron skin in ultracentral collisions of relativistic nuclei

abstract: In heavy nuclei the ratio between local densities of neutrons and protons increases towards the nuclear periphery. The excess of neutrons is known as the neutron skin (NS) with a subtle difference ($<0.5$~fm) between the r.m.s radii of the distributions of neutrons and protons. We show that the presence of NS in $^{208}$Pb leads to extra spectator neutrons in ultracentral $^{208}$Pb--$^{208}$Pb collisions at the CERN SPS and LHC. The yields of spectator neutrons and protons were calculated within a new version of Abrasion-Ablation Monte Carlo for Colliders model (AAMCC-MST) taking into account NS and pre-equilibrium clustering of spectator matter. While the average numbers of spectator neutrons and protons in ultracentral collisions vary insignificantly, the cross sections of emission of certain numbers of spectator neutrons in events with 0,1,...5 spectator protons are changed by 50--250\%, depending on the thickness of NS. These cross sections are less sensitive to other parameters in calculations, and their measurements in the ALICE experiment at the LHC will make it possible to restrict the existing variety of neutron density parameterizations in $^{208}$Pb.