title: On Feature Learning in Neural Networks with Global Convergence Guarantees

abstract: We study the optimization of wide neural networks (NNs) via gradient flow (GF) in setups that allow feature learning while admitting non-asymptotic global convergence guarantees. First, for wide shallow NNs under the mean-field scaling and with a general class of activation functions, we prove that when the input dimension is no less than the size of the training set, the training loss converges to zero at a linear rate under GF. Building upon this analysis, we study a model of wide multi-layer NNs whose second-to-last layer is trained via GF, for which we also prove a linear-rate convergence of the training loss to zero, but regardless of the input dimension. We also show empirically that, unlike in the Neural Tangent Kernel (NTK) regime, our multi-layer model exhibits feature learning and can achieve better generalization performance than its NTK counterpart.


title: Search for the charged-lepton-flavor-violating decay $Z\rightarrow e\mu$ in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: A search for the charged-lepton-flavor-violating process $Z\rightarrow e\mu$ is presented, using 139 fb$^{-1}$ of $\sqrt{s}=13$ TeV $pp$ collision data collected by the ATLAS experiment at the LHC. An excess in the $e\mu$ invariant mass spectrum near the $Z$ boson mass would be a striking signature of new physics. No excess is observed, and an upper limit $B(Z\rightarrow e\mu) < 2.62 \times 10^{-7}$ is placed on the branching fraction at 95% confidence level, which is the most stringent limit to date.


title: MCBeth: A Measurement Based Quantum Programming Language

abstract: Gate-based quantum programming languages are ubiquitous but measurement-based languages currently exist only on paper. This work introduces MCBeth, a quantum programming language which allows programmers to directly represent, program, and simulate measurement-based and cluster state computation by building upon the measurement calculus. While MCBeth programs are meant to be executed directly on hardware, to take advantage of current machines we also provide a compiler to gate-based instructions. We argue that there are clear advantages to measurement-based quantum computation compared to gate-based when it comes to implementing common quantum algorithms and distributed quantum computation.


title: Localizing Router Configuration Errors Using Minimal Correction Sets

abstract: Router configuration errors are unfortunately common and difficult to localize using current network verifiers. We introduce a novel configuration error localizer (CEL) that precisely identifies which configuration segments contribute to the violation of forwarding requirements. In particular, CEL generates a system of satisfiability modulo theories (SMT) constraints-which encode a network's configurations, control logic, and forwarding requirements-and uses a domain-specific minimal correction set (MCS) enumeration algorithm to identify problematic configuration segments. CEL efficiently locates several configuration errors in real university networks and identifies all routing-related and at least half of all ACL-related errors we introduce.


title: IBM quantum platforms: a quantum battery perspective

abstract: We characterize for the first time the performances of IBM quantum chips as quantum batteries, specifically addressing the single-qubit Armonk processor. By exploiting the Pulse access enabled to some of the IBM Quantum processors via the Qiskit package, we investigate advantages and limitations of different profiles for classical drives used to charge these miniaturized batteries, establishing the optimal compromise between charging time and stored energy. Moreover, we consider the role played by various possible initial conditions on the functioning of the quantum batteries. As main result of our analysis, we observe that unavoidable errors occurring in the initialization phase of the qubit, which can be detrimental for quantum computing applications, only marginally affects energy transfer and storage. This can lead counter-intuitively to improvements of the performances. This is a strong indication of the fact that IBM quantum devices are already in the proper range of parameters to be considered as good and stable quantum batteries, comparable to state of the art devices recently discussed in literature.


title: MNL-Bandits under Inventory and Limited Switches Constraints

abstract: Optimizing the assortment of products to display to customers is a key to increasing revenue for both offline and online retailers. To trade-off between exploring customers' preference and exploiting customers' choices learned from data, in this paper, by adopting the Multi-Nomial Logit (MNL) choice model to capture customers' choices over products, we study the problem of optimizing assortments over a planning horizon $T$ for maximizing the profit of the retailer. To make the problem setting more practical, we consider both the inventory constraint and the limited switches constraint, where the retailer cannot use up the resource inventory before time $T$ and is forbidden to switch the assortment shown to customers too many times. Such a setting suits the case when an online retailer wants to dynamically optimize the assortment selection for a population of customers. We develop an efficient UCB-like algorithm to optimize the assortments while learning customers' choices from data. We prove that our algorithm can achieve a sub-linear regret bound $\tilde{O}\left(T^{1-\alpha/2}\right)$ if $O(T^\alpha)$ switches are allowed. %, and our regret bound is optimal with respect to $T$. Extensive numerical experiments show that our algorithm outperforms baselines and the gap between our algorithm's performance and the theoretical upper bound is small.


title: Towards Accelerated Localization Performance Across Indoor Positioning Datasets

abstract: The localization speed and accuracy in the indoor scenario can greatly impact the Quality of Experience of the user. While many individual machine learning models can achieve comparable positioning performance, their prediction mechanisms offer different complexity to the system. In this work, we propose a fingerprinting positioning method for multi-building and multi-floor deployments, composed of a cascade of three models for building classification, floor classification, and 2D localization regression. We conduct an exhaustive search for the optimally performing one in each step of the cascade while validating on 14 different openly available datasets. As a result, we bring forward the best-performing combination of models in terms of overall positioning accuracy and processing speed and evaluate on independent sets of samples. We reduce the mean prediction time by 71% while achieving comparable positioning performance across all considered datasets. Moreover, in case of voluminous training dataset, the prediction time is reduced down to 1% of the benchmark's.


title: Verification of Locally Tight Programs

abstract: Program completion is a translation from the language of logic programs into the language of first-order theories. Its original definition has been extended to programs that include integer arithmetic, accept input, and distinguish between output predicates and auxiliary predicates. For tight programs, that generalization of completion is known to match the stable model semantics, which is the basis of answer set programming. We show that the tightness condition in this theorem can be replaced by a less restrictive "local tightness" requirement. From this fact we conclude that the proof assistant anthem-p2p can be used to verify equivalence between locally tight programs. Under consideration for publication in Theory and Practice of Logic Programming


title: Analogous Hawking radiation and quantum entanglement in two-component Bose-Einstein condensates: the gapped excitations

abstract: The condensates of cold atoms at zero temperature in the tunable binary Bose-Einstein condensate system are studied with the Rabi transition between atomic hyperfine states where the system can be represented by a coupled two-field model of gapless excitations and gapped excitations. We set up the configuration of the supersonic and subsonic regimes with the acoustic horizon between them in the elongated two-component Bose-Einstein condensates, trying to mimic Hawking radiations, in particular due to the gapped excitations. The simplified step-like sound speed change is adopted for the subsonic-supersonic transition so that the model can be analytically treatable. The effective energy gap term in the dispersion relation of the gapped excitations introduces the threshold frequency $\omega_\text{min}$ in the subsonic regime, below which the propagating modes do not exist. Thus, the particle spectrum of the Hawking modes significantly deviates from that of the gapless cases near the threshold frequency due to the modified grey-body factor, which vanishes as the mode frequency is below $\omega_\text{min}$. The influence from the gapped excitations to the quantum entanglement of the Hawking mode and its partner of the gapless excitations is also studied according to the Peres-Horodecki-Simon (PHS) criterion. It is found that the presence of the gapped excitations will deteriorate the quantumness of the pair modes of the gapless excitations when the frequency of the pair modes in particular is around $\omega \sim \omega_\text{min}$. On top of that, when the coupling constant between the gapless and gapped excitations becomes large enough, the huge particle density of the gapped excitations in the small $\omega$ regime will significantly disentangle the pair modes of the gapless excitations. The detailed time-dependent PHS criterion will be discussed.


title: Hexagonal Geometric Triangulations

abstract: It is well-known that the Euclidean plane has a standard 6-regular geodesic triangulation , and the unit sphere has a 5-regular geodesic triangulation, which is induced from the regular Dodecahedron, and the hyperbolic plane has an n-regular geodesic triangulation for any n > 6. Here we constructed a 6-regular geodesic triangulation of the hyperbolic plane.


title: Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems

abstract: This paper demonstrates an equivalence between observation problems, control problems (with partial observation), and diagnosis problems of decentralized discrete-event systems, namely, the three classes of problems are Turing equivalent, as one class Turing reduces to another. The equivalence allows decomposition of a control problem into a collection of simpler control sub\-/problems, which are each equivalent to an observation problem; and similarly allows converting a diagnosis problem to a formally simpler observation problem. Since observation problems in their most general formulation have been shown to be undecidable in previous work, the equivalence produced here demonstrates that control problems are also undecidable; whereas the undecidability of diagnosis problems is a known result.


title: Optimal Scaling for the Proximal Langevin Algorithm in High Dimensions

abstract: The Metropolis-adjusted Langevin (MALA) algorithm is a sampling algorithm that incorporates the gradient of the logarithm of the target density in its proposal distribution. In an earlier joint work \cite{pill:stu:12}, the author had extended the seminal work of \cite{Robe:Rose:98} and showed that in stationarity, MALA applied to an $N$-dimensional approximation of the target will take ${\cal O}(N^{\frac13})$ steps to explore its target measure. It was also shown in \cite{Robe:Rose:98,pill:stu:12} that, as a consequence of the diffusion limit, the MALA algorithm is optimized at an average acceptance probability of $0.574$. In \cite{pere:16}, Pereyra introduced the proximal MALA algorithm where the gradient of the log target density is replaced by the proximal function (mainly aimed at implementing MALA non-differentiable target densities). In this paper, we show that for a wide class of twice differentiable target densities, the proximal MALA enjoys the same optimal scaling as that of MALA in high dimensions and also has an average optimal acceptance probability of $0.574$. The results of this paper thus give the following practically useful guideline: for smooth target densities where it is expensive to compute the gradient while implementing MALA, users may replace the gradient with the corresponding proximal function (that can be often computed relatively cheaply via convex optimization) \emph{without} losing any efficiency. This confirms some of the empirical observations made in \cite{pere:16}.


title: Operator residuation in orthomodular posets of finite height

abstract: We show that for every orthomodular poset P of finite height there can be defined two operators forming an adjoint pair with respect to an order-like relation defined on the power set of P. This enables us to introduce the so-called operator residuated poset corresponding to P from which the original orthomodular poset P can be recovered. Moreover, this correspondence is almost one-to-one. We show that this construction of operators can be applied also to so-called weakly orthomodular and dually weakly orthomodular posets. Examples of such posets are included.


title: An Empirical Review of Model-based Adaptive Sampling for Global Optimization of Expensive Black-box Functions

abstract: This paper reviews the state-of-the-art model-based adaptive sampling approaches for single-objective black-box optimization (BBO). While BBO literature includes various promising sampling techniques, there is still a lack of comprehensive investigations of the existing research across the vast scope of BBO problems. We first classify BBO problems into two categories: engineering design and algorithm design optimization and discuss their challenges. We then critically discuss and analyze the adaptive model-based sampling techniques focusing on key acquisition functions. We elaborate on the shortcomings of the variance-based sampling techniques for engineering design problems. Moreover, we provide in-depth insights on the impact of the discretization schemes on the performance of acquisition functions. We emphasize the importance of dynamic discretization for distance-based exploration and introduce EEPA+, an improved variant of a previously proposed Pareto-based sampling technique. Our empirical analyses reveal the effectiveness of variance-based techniques for algorithm design and distance-based methods for engineering design optimization problems.


title: DACSR: Decoupled-Aggregated End-to-End Calibrated Sequential Recommendation

abstract: Sequential recommendations have made great strides in accurately predicting the future behavior of users. However, seeking accuracy alone may bring side effects such as unfair and overspecialized recommendation results. In this work, we focus on the calibrated recommendations for sequential recommendation, which is connected to both fairness and diversity. On the one hand, it aims to provide fairer recommendations whose preference distributions are consistent with users' historical behaviors. On the other hand, it can improve the diversity of recommendations to a certain degree. But existing methods for calibration have mainly relied on the post-processing on the candidate lists, which require more computation time in generating recommendations. In addition, they fail to establish the relationship between accuracy and calibration, leading to the limitation of accuracy. To handle these problems, we propose an end-to-end framework to provide both accurate and calibrated recommendations for sequential recommendation. We design an objective function to calibrate the interests between recommendation lists and historical behaviors. We also provide distribution modification approaches to improve the diversity and mitigate the effect of imbalanced interests. In addition, we design a decoupled-aggregated model to improve the recommendation. The framework assigns two objectives to two individual sequence encoders, and aggregates the outputs by extracting useful information. Experiments on benchmark datasets validate the effectiveness of our proposed model.


title: Numerical properties of exceptional divisors of birational morphisms of smooth surfaces

abstract: We make a very detailed analysis of the numerical properties of effective divisors whose support is contained in the exceptional locus of a birational morphism of smooth projective surfaces. As an application we extend Miyaoka's inequality on the number of canonical singularities on a projective normal surface with non-negative Kodaira dimension to the non minimal case, obtaining a slightly better result than known extensions by Megyesi and Langer.


title: Frequency estimation under non-Markovian spatially correlated quantum noise: Restoring superclassical precision scaling

abstract: We study the estimation precision attainable by entanglement-enhanced Ramsey interferometry in the presence of spatiotemporally correlated non-classical noise. Our analysis relies on an exact expression of the reduced density matrix of the qubit probes under general zero-mean Gaussian stationary dephasing, which is established through cumulant-expansion techniques and may be of independent interest in the context of non-Markovian open dynamics. By continuing and expanding our previous work [Beaudoin et al., Phys. Rev. A 98, 020102(R) (2018)], we analyze the effects of a non-collective coupling regime between the qubit probes and their environment, focusing on two limiting scenarios where the couplings may take only two or a continuum of possible values. In the paradigmatic case of spin-boson dephasing noise from a thermal environment, we find that it is possible to suppress, on average, the effect of spatial correlations by randomizing the location of the probes, as long as enough configurations are sampled where noise correlations are negative. As a result, superclassical precision scaling is asymptotically restored for initial entangled states, including experimentally accessible one-axis spin-squeezed states.


title: On some simple geometric structure of affine Deligne-Lusztig varieties for $GL_n$

abstract: In this paper we study the geometric structure of affine Deligne-Lusztig varieties for $GL_n$ and $b$ basic. We introduce a new condition on $\lambda$. If this is satisfied, then the corresponding affine Deligne-Lusztig variety is the disjoint union of classical Deligne-Lusztig varieties times finite-dimensional affine spaces.


title: Energy Dependent Model of Isotopic Production Cross Sections from Proton-$^{16}$O Interactions

abstract: Proton interactions with $^{16}$O nuclei are the most frequent nuclear interaction leading to secondary radiation in tissues for space radiation and cancer therapy with protons. In addition, $^{16}$O has the largest fluence of galactic cosmic rays, and interacts with hydrogen in tissue or water and polyethylene shielding. The fragmentation of oxygen produces a large number of heavy ion (A>4) target fragments (TF) with high ionization density. Here we develop an analytical model of energy dependent proton-$^{16}$O cross sections. We introduce corrections to measurements of total charge changing cross sections to extend data on nuclear absorption cross sections. Using experimental data and a 2nd order optical model an accurate formula for the p-$^{16}$O absorption cross section from <10 MeV/n to >10 GeV/N is obtained. The energy dependence of the isotopic cross sections is modeled as multiplicities scaled to absorption cross section resulting in an accurate model over the full energy range.


title: On the Q-BOR-FDTD method

abstract: We discuss a recently proposed approach termed Q-BOR-FDTD method and develop its main equations in a clearer and more rigorous way. We show that it is unsuitable for the calculation of the eigenfunctions in the case of degenerate states and propose an improvement to overcome such limitation.


title: Masses of Heavy Flavour Mesons in a potential Model Approach with Wave Function containing Airy's Infinite Series

abstract: We report the masses of $B$ and $D$ sectors heavy-flavoured mesons obtained by using our recently developed meson wave function employing potential model approach with linear confinement term in potential as parent in the perturbation method. As the wave-function involves infinite Airy's polynomial series, in carrying out the mass calculation, to avoid divergences, we have introduced some cut-off parameter for inter-quark separation. Our results for ground state masses of heavy-flavoured $B$ and $D$ sector mesons are reasonably closer to the PDG masses.


title: Pay "Attention" to Adverse Weather: Weather-aware Attention-based Object Detection

abstract: Despite the recent advances of deep neural networks, object detection for adverse weather remains challenging due to the poor perception of some sensors in adverse weather. Instead of relying on one single sensor, multimodal fusion has been one promising approach to provide redundant detection information based on multiple sensors. However, most existing multimodal fusion approaches are ineffective in adjusting the focus of different sensors under varying detection environments in dynamic adverse weather conditions. Moreover, it is critical to simultaneously observe local and global information under complex weather conditions, which has been neglected in most early or late-stage multimodal fusion works. In view of these, this paper proposes a Global-Local Attention (GLA) framework to adaptively fuse the multi-modality sensing streams, i.e., camera, gated camera, and lidar data, at two fusion stages. Specifically, GLA integrates an early-stage fusion via a local attention network and a late-stage fusion via a global attention network to deal with both local and global information, which automatically allocates higher weights to the modality with better detection features at the late-stage fusion to cope with the specific weather condition adaptively. Experimental results demonstrate the superior performance of the proposed GLA compared with state-of-the-art fusion approaches under various adverse weather conditions, such as light fog, dense fog, and snow.


title: Inverted oscillator: pseudo hermiticity and coherent states

abstract: It is known that the standard and the inverted harmonic oscillator are different. Replacing thus of {\omega} by i{\omega} in the regular oscillator is necessary going to give the inverted oscillator H^{r}. This replacement would lead to anti- PT-symmetric harmonic oscillator Hamiltonian (iH^{os}). The pseudo-hermiticity relation has been used here to relate the anti-PT-symmetric harmonic Hamiltonian to the inverted oscillator. By using a simple algebra, we introduce the ladder operators describing the inverted harmonic oscillator to reproduce the analytical solutions.We construct the inverted coherent states which minimize the quantum mechanical uncertainty between the position and the momentum.


title: Revise and Resubmit: An Intertextual Model of Text-based Collaboration in Peer Review

abstract: Peer review is a key component of the publishing process in most fields of science. The increasing submission rates put a strain on reviewing quality and efficiency, motivating the development of applications to support the reviewing and editorial work. While existing NLP studies focus on the analysis of individual texts, editorial assistance often requires modeling interactions between pairs of texts -- yet general frameworks and datasets to support this scenario are missing. Relationships between texts are the core object of the intertextuality theory -- a family of approaches in literary studies not yet operationalized in NLP. Inspired by prior theoretical work, we propose the first intertextual model of text-based collaboration, which encompasses three major phenomena that make up a full iteration of the review-revise-and-resubmit cycle: pragmatic tagging, linking and long-document version alignment. While peer review is used across the fields of science and publication formats, existing datasets solely focus on conference-style review in computer science. Addressing this, we instantiate our proposed model in the first annotated multi-domain corpus in journal-style post-publication open peer review, and provide detailed insights into the practical aspects of intertextual annotation. Our resource is a major step towards multi-domain, fine-grained applications of NLP in editorial support for peer review, and our intertextual framework paves the path for general-purpose modeling of text-based collaboration. Our corpus and accompanying code are publicly available.


title: A Taxonomy of Human and ML Strengths in Decision-Making to Investigate Human-ML Complementarity

abstract: Hybrid human-ML systems increasingly make consequential decisions in a wide range of domains. These systems are often introduced with the expectation that the combined human-ML system will achieve complementary performance, that is, the combined decision-making system will be an improvement compared with either decision-making agent in isolation. However, empirical results have been mixed, and existing research rarely articulates the sources and mechanisms by which complementary performance is expected to arise. Our goal in this work is to provide conceptual tools to advance the way researchers reason and communicate about human-ML complementarity. Drawing upon prior literature in human psychology, machine learning, and human-computer interaction, we propose a taxonomy characterizing distinct ways in which human and ML-based decision-making can differ. In doing so, we conceptually map potential mechanisms by which combining human and ML decision-making may yield complementary performance, developing a language for the research community to reason about design of hybrid systems in any decision-making domain. To illustrate how our taxonomy can be used to investigate complementarity, we provide a mathematical aggregation framework to examine enabling conditions for complementarity. Through synthetic simulations, we demonstrate how this framework can be used to explore specific aspects of our taxonomy and shed light on the optimal mechanisms for combining human-ML judgments


title: Predicting highway lane-changing maneuvers: A benchmark analysis of machine and ensemble learning algorithms

abstract: Understanding and predicting highway lane-change maneuvers is essential for driving modeling and its automation. The development of data-based lane-changing decision-making algorithms is nowadays in full expansion. We compare empirically in this article different machine and ensemble learning classification techniques to the MOBIL rule-based model using trajectory data of European two-lane highways. The analysis relies on instantaneous measurements of up to twenty-four spatial-temporal variables with the four neighboring vehicles on current and adjacent lanes. Preliminary descriptive investigations by principal component and logistic analyses allow identifying main variables intending a driver to change lanes. We predict two types of discretionary lane-change maneuvers: overtaking (from the slow to the fast lane) and fold-down (from the fast to the slow lane). The prediction accuracy is quantified using total, lane-changing and lane-keeping errors and associated receiver operating characteristic curves. The benchmark analysis includes logistic model, linear discriminant, decision tree, na\"ive Bayes classifier, support vector machine, neural network machine learning algorithms, and up to ten bagging and stacking ensemble learning meta-heuristics. If the rule-based model provides limited predicting accuracy, the data-based algorithms, devoid of modeling bias, allow significant prediction improvements. Cross validations show that selected neural networks and stacking algorithms allow predicting from a single observation both fold-down and overtaking maneuvers up to four seconds in advance with high accuracy.


title: Spinors in $\mathbb{K}$-Hilbert Spaces

abstract: We consider a structure of the $\mathbb{K}$-Hilbert space, where $\mathbb{K}\simeq\mathbb{R}$ is a field of real numbers, $\mathbb{K}\simeq\mathbb{C}$ is a field of complex numbers, $\mathbb{K}\simeq\mathbb{H}$ is a quaternion algebra, within the framework of division rings of Clifford algebras. The $\mathbb{K}$-Hilbert space is generated by the Gelfand-Naimark-Segal construction, while the generating $C^\ast$-algebra consists of the energy operator $H$ and the generators of the group $SU(2,2)$ attached to $H$. The cyclic vectors of the $\mathbb{K}$-Hilbert space corresponding to the tensor products of quaternionic algebras define the pure separable states of the operator algebra. Depending on the division ring $\mathbb{K}$, all states of the operator algebra are divided into three classes: 1) charged states with $\mathbb{K}\simeq\mathbb{C}$; 2) neutral states with $\mathbb{K}\simeq\mathbb{H}$; 3) truly neutral states with $\mathbb{K}\simeq\mathbb{R}$. For pure separable states that define the fermionic and bosonic states of the energy spectrum, the fusion, doubling (complexification) and annihilation operations are determined.


title: Dynamical relaxation of cosmological constant

abstract: A special class of conformal gravity theories is proposed to solve the long standing problem of the fine-tuned cosmological constant. In the proposed model time evolution of the inflaton field leaves behind a nearly vanishing, but finite value of dark energy density of order (a few meV)$^4$ to explain the late-time accelerating universe. A multiple scalar inflaton field is assumed to have a conformal coupling to the Ricci scalar curvature in the lagrantian, which results in, after a Weyl rescaling to the Einstein metric frame, modification of inflaton kinetic and potential terms along with its coupling to Higgs fields in the standard model. One may define an effective cosmological $\Lambda$ function in the Einstein metric frame, which controls, when the potential is added, a slow-roll inflation and subsequent oscillation at the potential minimum of a spontaneous symmetry breaking phase. The inflaton oscillation accompanies particle production towards thermalized hot big-bang universe. At the same time zero-point quantum fluctuation of second inflaton field is generated,and its accumulated fluctuation gives rise to a symmetry restoration, pushing back the inflaton field towards the infinity. This gives a dynamical relaxation of vanishing effective cosmological constant. Both inhomogeneous inflaton modes and their collapsed black holes of primordial origin are good candidates of cold dark matter.


title: Learning to Scaffold: Optimizing Model Explanations for Teaching

abstract: Modern machine learning models are opaque, and as a result there is a burgeoning academic subfield on methods that explain these models' behavior. However, what is the precise goal of providing such explanations, and how can we demonstrate that explanations achieve this goal? Some research argues that explanations should help teach a student (either human or machine) to simulate the model being explained, and that the quality of explanations can be measured by the simulation accuracy of students on unexplained examples. In this work, leveraging meta-learning techniques, we extend this idea to improve the quality of the explanations themselves, specifically by optimizing explanations such that student models more effectively learn to simulate the original model. We train models on three natural language processing and computer vision tasks, and find that students trained with explanations extracted with our framework are able to simulate the teacher significantly more effectively than ones produced with previous methods. Through human annotations and a user study, we further find that these learned explanations more closely align with how humans would explain the required decisions in these tasks. Our code is available at https://github.com/coderpat/learning-scaffold


title: Evolution of social norms for moral judgment

abstract: Reputations provide a powerful mechanism to sustain cooperation, as individuals cooperate with those of good social standing. But how should moral reputations be updated as we observe social behavior, and when will a population converge on a common norm of moral assessment? Here we develop a mathematical model of cooperation conditioned on reputations, for a population that is stratified into groups. Each group may subscribe to a different social norm for assessing reputations, and so norms compete as individuals choose to move from one group to another. We show that a group initially comprising a minority of the population may nonetheless overtake the entire population--especially if it adopts the Stern Judging norm, which assigns a bad reputation to individuals who cooperate with those of bad standing. When individuals do not change group membership, stratifying reputation information into groups tends to destabilize cooperation, unless individuals are strongly insular and favor in-group social interactions. We discuss the implications of our results for the structure of information flow in a population and the evolution of social norms of moral judgment.


title: Partitioning qubits in hypergraph product codes to implement logical gates

abstract: The promise of high-rate low-density parity check (LDPC) codes to substantially reduce the overhead of fault-tolerant quantum computation depends on constructing efficient, fault-tolerant implementations of logical gates on such codes. Transversal gates are the simplest type of fault-tolerant gate, but the potential of transversal gates on LDPC codes has hitherto been largely neglected. We investigate the transversal gates that can be implemented in hypergraph product codes, a class of LDPC codes. Our analysis is aided by the construction of a symplectic canonical basis for the logical operators of hypergraph product codes, a result that may be of independent interest. We show that in these codes transversal gates can implement Hadamard (up to logical SWAP gates) and control-Z on all logical qubits. Moreover, we show that sequences of transversal operations, interleaved with error correction, allow implementation of entangling gates between arbitrary pairs of logical qubits in the same code block. We thereby demonstrate that transversal gates can be used as the basis for universal quantum computing on LDPC codes, when supplemented with state injection.


title: Deep-tomography: iterative velocity model building with deep learning

abstract: The accurate and fast estimation of velocity models is crucial in seismic imaging. Conventional methods, like Tomography and Full-Waveform Inversion (FWI), obtain appropriate velocity models; however, they require intense and specialized human supervision and consume much time and computational resources. In recent years, some works investigated deep learning(DL) algorithms to obtain the velocity model directly from shots or migrated angle panels, obtaining encouraging predictions of synthetic models. This paper proposes a new flow to increase the complexity of velocity models recovered with DL. Inspired by the conventional geophysical velocity model building methods, instead of predicting the entire model in one step, we predict the velocity model iteratively. We implement the iterative nature of the process when, for each iteration, we train the DL algorithm to determine the velocity model with a certain level of precision/resolution for the next iteration; we name this process as Deep-Tomography. Starting from an initial model that roughly approaches the true model, the Deep-Tomography is able to predict an appropriate final model, even in complete unseen data, like the Marmousi model.


title: "Public(s)-in-the-Loop": Facilitating Deliberation of Algorithmic Decisions in Contentious Public Policy Domains

abstract: This position paper offers a framework to think about how to better involve human influence in algorithmic decision-making of contentious public policy issues. Drawing from insights in communication literature, we introduce a "public(s)-in-the-loop" approach and enumerates three features that are central to this approach: publics as plural political entities, collective decision-making through deliberation, and the construction of publics. It explores how these features might advance our understanding of stakeholder participation in AI design in contentious public policy domains such as recidivism prediction. Finally, it sketches out part of a research agenda for the HCI community to support this work.


title: A Vocabulary-Free Multilingual Neural Tokenizer for End-to-End Task Learning

abstract: Subword tokenization is a commonly used input pre-processing step in most recent NLP models. However, it limits the models' ability to leverage end-to-end task learning. Its frequency-based vocabulary creation compromises tokenization in low-resource languages, leading models to produce suboptimal representations. Additionally, the dependency on a fixed vocabulary limits the subword models' adaptability across languages and domains. In this work, we propose a vocabulary-free neural tokenizer by distilling segmentation information from heuristic-based subword tokenization. We pre-train our character-based tokenizer by processing unique words from multilingual corpus, thereby extensively increasing word diversity across languages. Unlike the predefined and fixed vocabularies in subword methods, our tokenizer allows end-to-end task learning, resulting in optimal task-specific tokenization. The experimental results show that replacing the subword tokenizer with our neural tokenizer consistently improves performance on multilingual (NLI) and code-switching (sentiment analysis) tasks, with larger gains in low-resource languages. Additionally, our neural tokenizer exhibits a robust performance on downstream tasks when adversarial noise is present (typos and misspelling), further increasing the initial improvements over statistical subword tokenizers.


title: Propagation of a fast radio burst through a birefringent relativistic plasma

abstract: The study of impulsive astrophysical radio emission makes it possible to probe the intervening plasma between the emission source and the Earth. In cold electron-ion plasmas, the circular propagating wave modes primarily alter the linear polarization plane that scales with the inverse-square of the emission frequency. In relativistic plasmas, the wave modes are elliptically polarized, and it is possible to convert linearly polarized emission into circular and vice versa. Fast radio bursts (FRBs) enable the study of not only the electron-ion plasma of the intergalactic medium but potentially the extreme magneto-ionic medium in which these intense pulses are produced. Here we report on the polarimetric analysis of a repeat burst from the FRB 20201124A source. The burst displayed a significant frequency-dependent circularly polarized component, unlike other bursts from this source or any other FRB found to date. We model the frequency dependence of the circular polarization using a phenomenological generalized Faraday rotation framework. We find that the observed circular polarization in the burst can be adequately explained by the propagation of an initially linearly polarised burst signal through a relativistic plasma along the line of sight from the progenitor.


title: Reward Reports for Reinforcement Learning

abstract: Building systems that are good for society in the face of complex societal effects requires a dynamic approach. Recent approaches to machine learning (ML) documentation have demonstrated the promise of discursive frameworks for deliberation about these complexities. However, these developments have been grounded in a static ML paradigm, leaving the role of feedback and post-deployment performance unexamined. Meanwhile, recent work in reinforcement learning has shown that the effects of feedback and optimization objectives on system behavior can be wide-ranging and unpredictable. In this paper we sketch a framework for documenting deployed and iteratively updated learning systems, which we call Reward Reports. Taking inspiration from various contributions to the technical literature on reinforcement learning, we outline Reward Reports as living documents that track updates to design choices and assumptions behind what a particular automated system is optimizing for. They are intended to track dynamic phenomena arising from system deployment, rather than merely static properties of models or data. After presenting the elements of a Reward Report, we discuss a concrete example: Meta's BlenderBot 3 chatbot. Several others for game-playing (DeepMind's MuZero), content recommendation (MovieLens), and traffic control (Project Flow) are included in the appendix.


title: Convergence of the Riemannian Langevin Algorithm

abstract: We study the Riemannian Langevin Algorithm for the problem of sampling from a distribution with density $\nu$ with respect to the natural measure on a manifold with metric $g$. We assume that the target density satisfies a log-Sobolev inequality with respect to the metric and prove that the manifold generalization of the Unadjusted Langevin Algorithm converges rapidly to $\nu$ for Hessian manifolds. This allows us to reduce the problem of sampling non-smooth (constrained) densities in ${\bf R}^n$ to sampling smooth densities over appropriate manifolds, while needing access only to the gradient of the log-density, and this, in turn, to sampling from the natural Brownian motion on the manifold. Our main analytic tools are (1) an extension of self-concordance to manifolds, and (2) a stochastic approach to bounding smoothness on manifolds. A special case of our approach is sampling isoperimetric densities restricted to polytopes by using the metric defined by the logarithmic barrier.


title: Parameterized Sensitivity Oracles and Dynamic Algorithms using Exterior Algebras

abstract: We design the first efficient sensitivity oracles and dynamic algorithms for a variety of parameterized problems. Our main approach is to modify the algebraic coding technique from static parameterized algorithm design, which had not previously been used in a dynamic context. We particularly build off of the `extensor coding' method of Brand, Dell and Husfeldt [STOC'18], employing properties of the exterior algebra over different fields. For the $k$-Path detection problem for directed graphs, it is known that no efficient dynamic algorithm exists (under popular assumptions from fine-grained complexity). We circumvent this by designing an efficient sensitivity oracle, which preprocesses a directed graph on $n$ vertices in $2^k poly(k) n^{\omega+o(1)}$ time, such that, given $\ell$ updates (mixing edge insertions and deletions, and vertex deletions) to that input graph, it can decide in time $\ell^2 2^kpoly(k)$ and with high probability, whether the updated graph contains a path of length $k$. We also give a deterministic sensitivity oracle requiring $4^k poly(k) n^{\omega+o(1)}$ preprocessing time and $\ell^2 2^{\omega k + o(k)}$ query time, and obtain a randomized sensitivity oracle for the task of approximately counting the number of $k$-paths. For $k$-Path detection in undirected graphs, we obtain a randomized sensitivity oracle with $O(1.66^k n^3)$ preprocessing time and $O(\ell^3 1.66^k)$ query time, and a better bound for undirected bipartite graphs. In addition, we present the first fully dynamic algorithms for a variety of problems: $k$-Partial Cover, $m$-Set $k$-Packing, $t$-Dominating Set, $d$-Dimensional $k$-Matching, and Exact $k$-Partial Cover. For example, for $k$-Partial Cover we show a randomized dynamic algorithm with $2^k poly(k)polylog(n)$ update time, and a deterministic dynamic algorithm with $4^kpoly(k)polylog(n)$ update time.


title: How causal machine learning can leverage marketing strategies: Assessing and improving the performance of a coupon campaign

abstract: We apply causal machine learning algorithms to assess the causal effect of a marketing intervention, namely a coupon campaign, on the sales of a retailer. Besides assessing the average impacts of different types of coupons, we also investigate the heterogeneity of causal effects across different subgroups of customers, e.g., between clients with relatively high vs. low prior purchases. Finally, we use optimal policy learning to determine (in a data-driven way) which customer groups should be targeted by the coupon campaign in order to maximize the marketing intervention's effectiveness in terms of sales. We find that only two out of the five coupon categories examined, namely coupons applicable to the product categories of drugstore items and other food, have a statistically significant positive effect on retailer sales. The assessment of group average treatment effects reveals substantial differences in the impact of coupon provision across customer groups, particularly across customer groups as defined by prior purchases at the store, with drugstore coupons being particularly effective among customers with high prior purchases and other food coupons among customers with low prior purchases. Our study provides a use case for the application of causal machine learning in business analytics to evaluate the causal impact of specific firm policies (like marketing campaigns) for decision support.


title: Routes to chaos in a class-B laser coupled to a neutral resonator

abstract: We study the dynamics of a class-B semiconductor microring laser coupled to a neutral microring resonator for common fabrication parameters. For zero detuning between the resonators, we identify five dynamical regions controlled by the normalized pump rate of the laser and coupling strength between the resonators. These regions show stable lasing with phase locking for either sufficiently small or large coupling strength parameter values. Multistability and chaos arise in between these stable regions where at least one fixed point is attractive. The transition from stable to unstable lasing regions in the parameter space phase diagram is a crossover.


title: Robust and efficient primal-dual Newton-Krylov solvers for viscous-plastic sea-ice models

abstract: We present a Newton-Krylov solver for a viscous-plastic sea-ice model. This constitutive relation is commonly used in climate models to describe the material properties of sea ice. Due to the strong nonlinearity introduced by the material law in the momentum equation, the development of fast, robust and scalable solvers is still a substantial challenge. In this paper, we propose a novel primal-dual Newton linearization for the implicitly-in-time discretized momentum equation. Compared to existing methods, it converges faster and more robustly with respect to mesh refinement, and thus enables numerically converged sea-ice simulations at high resolutions. Combined with an algebraic multigrid-preconditioned Krylov method for the linearized systems, which contain strongly varying coefficients, the resulting solver scales well and can be used in parallel. We present experiments for two challenging test problems and study solver performance for problems with up to 8.4 million spatial unknowns.


title: R-Drive: Resilient Data Storage and Sharing for Mobile Edge Computing Systems

abstract: Mobile edge computing (MEC) systems (in which intensive computation and data storage tasks are performed locally, due to the absence of communication infrastructure for connectivity to the cloud) are currently being developed for disaster response applications and for tactical environments. MEC applications for these scenarios generate and process significant mission-critical and personal data that require resilient and secure storage and sharing. In this paper, we present the design, implementation, and evaluation of R-Drive, a resilient data storage and sharing framework for disaster response and tactical MEC applications. R-Drive employs erasure coding and data encryption, ensuring resilient and secure data storage against device failure. R-Drive adaptively chooses erasure coding parameters to ensure the highest data availability with a minimal storage cost. R-Drive's distributed directory service provides a resilient and secure namespace for files with rigorous access control management. R-Drive leverages opportunistic networking, allowing data storage and sharing in mobile and loosely connected edge computing environments. We implemented R-Drive on Android, and integrated it with existing MEC applications. Performance evaluation results show that R-Drive enables resilient and secure data storage and sharing.


title: Scalable symmetric Tucker tensor decomposition

abstract: We study the best low-rank Tucker decomposition of symmetric tensors. The motivating application is decomposing higher-order multivariate moments. Moment tensors have special structure and are important to various data science problems. We advocate for projected gradient descent (PGD) method and higher-order eigenvalue decomposition (HOEVD) approximation as computation schemes. Most importantly, we develop scalable adaptations of the basic PGD and HOEVD methods to decompose sample moment tensors. With the help of implicit and streaming techniques, we evade the overhead cost of building and storing the moment tensor. Such reductions make computing the Tucker decomposition realizable for large data instances in high dimensions. Numerical experiments demonstrate the efficiency of the algorithms and the applicability of moment tensor decompositions to real-world datasets. Finally we study the convergence on the Grassmannian manifold, and prove that the update sequence derived by the PGD solver achieves first- and second-order criticality.


title: Meet Your Favorite Character: Open-domain Chatbot Mimicking Fictional Characters with only a Few Utterances

abstract: In this paper, we consider mimicking fictional characters as a promising direction for building engaging conversation models. To this end, we present a new practical task where only a few utterances of each fictional character are available to generate responses mimicking them. Furthermore, we propose a new method named Pseudo Dialog Prompting (PDP) that generates responses by leveraging the power of large-scale language models with prompts containing the target character's utterances. To better reflect the style of the character, PDP builds the prompts in the form of dialog that includes the character's utterances as dialog history. Since only utterances of the characters are available in the proposed task, PDP matches each utterance with an appropriate pseudo-context from a predefined set of context candidates using a retrieval model. Through human and automatic evaluation, we show that PDP generates responses that better reflect the style of fictional characters than baseline methods.


title: A Fully-autonomous Framework of Unmanned Surface Vehicles in Maritime Environments using Gaussian Process Motion Planning

abstract: Unmanned surface vehicles (USVs) are of increasing importance to a growing number of sectors in the maritime industry, including offshore exploration, marine transportation and defence operations. A major factor in the growth in use and deployment of USVs is the increased operational flexibility that is offered through use of autonomous navigation systems that generate optimised trajectories. Unlike path planning in terrestrial environments, planning in the maritime environment is more demanding as there is need to assure mitigating action is taken against the significant, random and often unpredictable environmental influences from winds and ocean currents. With the focus of these necessary requirements as the main basis of motivation, this paper proposes a novel motion planner, denoted as GPMP2*, extending the application scope of the fundamental GP-based motion planner, GPMP2, into complex maritime environments. An interpolation strategy based on Monte-Carlo stochasticity has been innovatively added to GPMP2* to produce a new algorithm named GPMP2* with Monte-Carlo stochasticity (MC-GPMP2*), which can increase the diversity of the paths generated. In parallel with algorithm design, a ROS based fully-autonomous framework for an advanced unmanned surface vehicle, the WAM-V 20 USV, has been proposed. The practicability of the proposed motion planner as well as the fully-autonomous framework have been functionally validated in a simulated inspection missions for an offshore wind farm in ROS.


title: Chirality distributions inside baryons in ${\rm QCD_2}$

abstract: The connection between the spin distribution and the topological structure of the baryon is an open and important problem. Here we address it using QCD in $(1+1)$ spacetime dimensions, which is exactly solvable at large number of colors $N$. It is found that the distribution of chirality inside a baryon is drastically different from a chirality distribution inside states with zero baryon number, ``mesons". This difference is shown to arise from the topological structure of the baryon -- at large $N$, all of the baryon's chirality is concentrated near $x=0$, whereas in a meson state it vanishes in the small $x$ limit. Our results illustrate how the constituent features of the baryon reemerge and are tied to the topological features of the bosonized solitonic solution. Possible implications for QCD in $(3+1)$ dimensions and for deep inelastic scattering experiments are discussed.


title: Holographic RG flow and reparametrization invariance of Wilson Loops

abstract: We study the fate of reparametrization invariance of Wilson loops, also known as 'zig-zag' symmetry, under the RG flow using some simple cases as guidance. We restrict our analysis to large-$N$, strongly coupled CFTs and use the holographic dual description of a Wilson loop as a fundamental string embedded in asymptotically AdS spaces, at zero and nonzero temperature. We then introduce a cutoff in the holographic radial direction and integrate out the the section of the string closer to the AdS boundary in the spirit of holographic Wilsonian renormalization. We make explicit the map between Wilson loop reparametrizations and conformal transformation of the string worldsheet and show that a cutoff anchored to the worldsheet breaks conformal invariance and induces an effective defect action for reparametrizations at the cutoff scale, in a way similar to nearly-$AdS_2$ gravity or SYK models. On the other hand, a cutoff in the target space breaks worldsheet diffeomorphisms and Weyl transformations but keeps conformal transformations unbroken and does not generate a non-trivial action for reparametrizations.


title: Bayesian operator inference for data-driven reduced-order modeling

abstract: This work proposes a Bayesian inference method for the reduced-order modeling of time-dependent systems. Informed by the structure of the governing equations, the task of learning a reduced-order model from data is posed as a Bayesian inverse problem with Gaussian prior and likelihood. The resulting posterior distribution characterizes the operators defining the reduced-order model, hence the predictions subsequently issued by the reduced-order model are endowed with uncertainty. The statistical moments of these predictions are estimated via a Monte Carlo sampling of the posterior distribution. Since the reduced models are fast to solve, this sampling is computationally efficient. Furthermore, the proposed Bayesian framework provides a statistical interpretation of the regularization term that is present in the deterministic operator inference problem, and the empirical Bayes approach of maximum marginal likelihood suggests a selection algorithm for the regularization hyperparameters. The proposed method is demonstrated on two examples: the compressible Euler equations with noise-corrupted observations, and a single-injector combustion process.


title: Memory Bounds for Continual Learning

abstract: Continual learning, or lifelong learning, is a formidable current challenge to machine learning. It requires the learner to solve a sequence of $k$ different learning tasks, one after the other, while retaining its aptitude for earlier tasks; the continual learner should scale better than the obvious solution of developing and maintaining a separate learner for each of the $k$ tasks. We embark on a complexity-theoretic study of continual learning in the PAC framework. We make novel uses of communication complexity to establish that any continual learner, even an improper one, needs memory that grows linearly with $k$, strongly suggesting that the problem is intractable. When logarithmically many passes over the learning tasks are allowed, we provide an algorithm based on multiplicative weights update whose memory requirement scales well; we also establish that improper learning is necessary for such performance. We conjecture that these results may lead to new promising approaches to continual learning.


title: A note on graph drawings with star-shaped boundaries in the plane

abstract: In this note, we propose a straightforward method to produce an straight-line embedding of a planar graph where one face of a graph is fixed in the plane as a star-shaped polygon. It is based on minimizing discrete Dirichlet energies, following the idea of Tutte's embedding theorem. We will call it a geodesic triangulation of the star-shaped polygon. Moreover, we study the homotopy property of spaces of all straight-line embeddings. We give a simple argument to show that this space is contractible if the boundary is a non-convex quadrilateral. We conjecture that the same statement holds for general star-shaped polygons.


title: Longitudinal Variation of H$_2$O Ice Absorption on Miranda

abstract: Many tidally locked icy satellites in the outer Solar System show leading/trailing hemispherical asymmetries in the strength of near-infrared (NIR) H$_2$O ice absorption bands, in which the absorption bands are stronger on the leading hemisphere. This is often attributed to a combination of magnetospheric irradiation effects and impact gardening, which can modify grain size, expose fresh ice, and produce dark contaminating compounds that reduce the strength of absorption features. Previous research identified this leading/trailing asymmetry on the four largest classical Uranian satellites but did not find a clear leading/trailing asymmetry on Miranda, the smallest and innermost classical moon. We undertook an extensive observational campaign to investigate variations of the NIR spectral signature of H$_2$O ice with longitude on Miranda's northern hemisphere. We acquired 22 new spectra with the TripleSpec spectrograph on the ARC 3.5m telescope and 4 new spectra with GNIRS on Gemini North. Our analysis also includes 3 unpublished and 7 previously published spectra taken with SpeX on the 3m IRTF. We confirm that Miranda has no substantial leading/trailing hemispherical asymmetry in the strength of its H$_2$O ice absorption features. We additionally find evidence for an anti-Uranus/sub-Uranus asymmetry in the strength of the 1.5-$\mu$m H$_2$O ice band that is not seen on the other Uranian satellites, suggesting that additional endogenic or exogenic processes influence the longitudinal distribution of H$_2$O ice band strengths on Miranda.


title: Spaces of Geodesic Triangulations Are Cells

abstract: It has been shown that spaces of geodesic triangulations of surfaces with negative curvature are contractible. Here we propose an approach aiming to prove that the spaces of geodesic triangulations of a surface with negative curvature are homeomorphic to Euclidean spaces $\mathbb{R}^n$.


title: Learning for Spatial Branching: An Algorithm Selection Approach

abstract: The use of machine learning techniques to improve the performance of branch-and-bound optimization algorithms is a very active area in the context of mixed integer linear problems, but little has been done for non-linear optimization. To bridge this gap, we develop a learning framework for spatial branching and show its efficacy in the context of the Reformulation-Linearization Technique for polynomial optimization problems. The proposed learning is performed offline, based on instance-specific features and with no computational overhead when solving new instances. Novel graph-based features are introduced, which turn out to play an important role for the learning. Experiments on different benchmark instances from the literature show that the learning-based branching rule significantly outperforms the standard rules.


title: The impact of time-dependent stellar activity on exoplanet atmospheres

abstract: M-dwarfs are thought to be hostile environments for exoplanets. Stellar events are very common on such stars. These events might cause the atmospheres of exoplanets to change significantly over time. It is not only the major stellar flare events that contribute to this disequilibrium, but the smaller flares might also affect the atmospheres in an accumulating manner. In this study, we aim to investigate the effects of time-dependent stellar activity on the atmospheres of known exoplanets. We simulate the chemistry of GJ876c, GJ581c, and GJ832c that go from H$_2$-dominated to N$_2$-dominated atmospheres using observed stellar spectra from the MUSCLES-collaboration. We make use of the chemical kinetics code VULCAN and implement a flaring routine that stochastically generates synthetic flares based on observed flare statistics. Using the radiative transfer code petitRADTrans we also simulate the evolution of emission and transmission spectra. We investigate the effect of recurring flares for a total of 11 days covering 515 flares. Results show a significant change in abundance for some relevant species such as H, OH, and CH$_4$, with factors going up to 3 orders of magnitude difference with respect to the preflare abundances. We find a maximum change of $\sim$12 ppm for CH$_4$ in transmission spectra on GJ876c. These changes in the spectra remain too small to observe. We also find that the change in abundance and spectra of the planets accumulate throughout time, causing permanent changes in the chemistry. We conclude this small but gradual change in chemistry arises due to the recurring flares.


title: Federated Learning Enables Big Data for Rare Cancer Boundary Detection

abstract: Although machine learning (ML) has shown promise in numerous domains, there are concerns about generalizability to out-of-sample data. This is currently addressed by centrally sharing ample, and importantly diverse, data from multiple sites. However, such centralization is challenging to scale (or even not feasible) due to various limitations. Federated ML (FL) provides an alternative to train accurate and generalizable ML models, by only sharing numerical model updates. Here we present findings from the largest FL study to-date, involving data from 71 healthcare institutions across 6 continents, to generate an automatic tumor boundary detector for the rare disease of glioblastoma, utilizing the largest dataset of such patients ever used in the literature (25,256 MRI scans from 6,314 patients). We demonstrate a 33% improvement over a publicly trained model to delineate the surgically targetable tumor, and 23% improvement over the tumor's entire extent. We anticipate our study to: 1) enable more studies in healthcare informed by large and diverse data, ensuring meaningful results for rare diseases and underrepresented populations, 2) facilitate further quantitative analyses for glioblastoma via performance optimization of our consensus model for eventual public release, and 3) demonstrate the effectiveness of FL at such scale and task complexity as a paradigm shift for multi-site collaborations, alleviating the need for data sharing.


title: Morse matching method for conformal cohomologies

abstract: We apply discrete algebraic Morse theory to the computation of Hochschild cohomologies of associative conformal algebras. As an example, we evaluate the dimensions of the universal associative conformal envelope $U(3)$ of the Virasoro Lie conformal algebra relative to the associative locality $N=3$ on the generator with scalar coefficients.


title: S2AMP: A High-Coverage Dataset of Scholarly Mentorship Inferred from Publications

abstract: Mentorship is a critical component of academia, but is not as visible as publications, citations, grants, and awards. Despite the importance of studying the quality and impact of mentorship, there are few large representative mentorship datasets available. We contribute two datasets to the study of mentorship. The first has over 300,000 ground truth academic mentor-mentee pairs obtained from multiple diverse, manually-curated sources, and linked to the Semantic Scholar (S2) knowledge graph. We use this dataset to train an accurate classifier for predicting mentorship relations from bibliographic features, achieving a held-out area under the ROC curve of 0.96. Our second dataset is formed by applying the classifier to the complete co-authorship graph of S2. The result is an inferred graph with 137 million weighted mentorship edges among 24 million nodes. We release this first-of-its-kind dataset to the community to help accelerate the study of scholarly mentorship: \url{https://github.com/allenai/S2AMP-data}


title: How Sampling Impacts the Robustness of Stochastic Neural Networks

abstract: Stochastic neural networks (SNNs) are random functions whose predictions are gained by averaging over multiple realizations. Consequently, a gradient-based adversarial example is calculated based on one set of samples and its classification on another set. In this paper, we derive a sufficient condition for such a stochastic prediction to be robust against a given sample-based attack. This allows us to identify the factors that lead to an increased robustness of SNNs and gives theoretical explanations for: (i) the well known observation, that increasing the amount of samples drawn for the estimation of adversarial examples increases the attack's strength, (ii) why increasing the number of samples during an attack can not fully reduce the effect of stochasticity, (iii) why the sample size during inference does not influence the robustness, and (iv) why a higher gradient variance and a shorter expected value of the gradient relates to a higher robustness. Our theoretical findings give a unified view on the mechanisms underlying previously proposed approaches for increasing attack strengths or model robustness and are verified by an extensive empirical analysis.


title: Probabilistic Methods in the Study of Topological Indices on Random Spider Trees

abstract: In this paper, we characterize the structure and topological indices of a class of random spider trees (RSTs) such as degree-based Gini index, degree-based Hoover index, generalized Zagreb index and other indices associated with these. We obtain the exact and asymptotic distributions of the number of leaves via probabilistic methods. Moreover, we relate this model to the class of RSTs that evolves in a preferential attachment manner.


title: Detecting early signs of depression in the conversational domain: The role of transfer learning in low-resource scenarios

abstract: The high prevalence of depression in society has given rise to the need for new digital tools to assist in its early detection. To this end, existing research has mainly focused on detecting depression in the domain of social media, where there is a sufficient amount of data. However, with the rise of conversational agents like Siri or Alexa, the conversational domain is becoming more critical. Unfortunately, there is a lack of data in the conversational domain. We perform a study focusing on domain adaptation from social media to the conversational domain. Our approach mainly exploits the linguistic information preserved in the vector representation of text. We describe transfer learning techniques to classify users who suffer from early signs of depression with high recall. We achieve state-of-the-art results on a commonly used conversational dataset, and we highlight how the method can easily be used in conversational agents. We publicly release all source code.


title: Transient phenomena in the axion assisted Schwinger effect

abstract: Particle production induced by a time-dependent background is well understood as the projection of the time-evolved initial state onto a set of final states. While the asymptotic initial and final states are well defined in the usual way, the definition of particles and antiparticles at intermediate times in the presence of external fields is ambiguous. These external fields moreover induce divergences which require regularization. In this paper we clarify some subtleties in the computation of transient effects in physical quantities for fermions in a homogeneous axion background, including Schwinger production in background electromagnetic fields. The presence of the axion requires particular care as well as knowledge of the UV theory when regulating the theory and computing the vacuum contribution to the fermion energy.


title: Optical trapping of high-aspect-ratio NaYF hexagonal prisms for kHz-MHz gravitational wave detectors

abstract: We present experimental results on optical trapping of Yb-doped $\beta-$NaYF sub-wavelength-thickness high-aspect-ratio hexagonal prisms with a micron-scale radius. The prisms are trapped in vacuum using an optical standing wave, oriented with the normal vector to their face along the beam propagation direction, and exhibit characteristic modes of three translational and two torsional degrees of freedom. The measured motional spectra are compared with numerical simulations. This plate-like geometry simultaneously enables trapping with low photon-recoil-heating, high mass, and high trap frequency, potentially leading to advances in high frequency gravitational wave searches in the Levitated Sensor Detector (LSD), currently under construction. The material used here has previously been shown to exhibit internal cooling via laser refrigeration when optically trapped and illuminated with light of suitable wavelength. Employing such laser refrigeration methods in the context of our work may enable higher trapping intensity thus and higher trap frequencies for gravitational wave searches approaching the several hundred kHz range.


title: Emerging research landscape of altermagnetism

abstract: Magnetism is one of the largest, most fundamental, and technologically most relevant fields of condensed-matter physics. Traditionally, two basic magnetic phases have been considered -- ferromagnetism and antiferromagnetism. The breaking of the time-reversal symmetry and spin splitting of the electronic states by the magnetization in ferromagnets underpins a range of macroscopic responses in this extensively explored and exploited type of magnets. By comparison, antiferromagnets have vanishing net magnetization. This Perspective reflects on recent observations of materials hosting an intriguing ferromagnetic-antiferromagnetic dichotomy, in which spin-split spectra and macroscopic observables, akin to ferromagnets, are accompanied by antiparallel magnetic order with vanishing magnetization, typical of antiferromagnets. An unconventional non-relativistic symmetry-group formalism offers a resolution of this apparent contradiction by delimiting a third basic magnetic phase, dubbed altermagnetism. Our Perspective starts with an overview of the still emerging unique phenomenology of the phase, and of the wide array of altermagnetic material candidates. In the main part of the article, we illustrate how altermagnetism can enrich our understanding of overarching condensed-matter physics concepts, and have impact on prominent condensed-matter research areas.


title: Unraveling the $0\nu\beta\beta$ Decay Mechanisms

abstract: We discuss the possibilities of distinguishing among different mechanisms of neutrinoless double beta decay arising in the effective field theory framework. Following the review and detailed investigation of the particular ways of discrimination, we conclude that the 32 different low-energy effective operators can be split into multiple groups that are in principle distinguishable from each other by measurements of the phase-space observables and by comparison of the decay rates obtained using different isotopes. This would require not only a substantial experimental precision but necessarily also a considerable improvement of the current theoretical knowledge of the underlying nuclear physics. Specifically, the limiting aspect in our approach turns out to be the currently unknown or uncertain values of low-energy constants. Besides the study adopting the effective field theory language we also look into several typical UV models.


title: Self-Supervised Video Object Segmentation via Cutout Prediction and Tagging

abstract: We propose a novel self-supervised Video Object Segmentation (VOS) approach that strives to achieve better object-background discriminability for accurate object segmentation. Distinct from previous self-supervised VOS methods, our approach is based on a discriminative learning loss formulation that takes into account both object and background information to ensure object-background discriminability, rather than using only object appearance. The discriminative learning loss comprises cutout-based reconstruction (cutout region represents part of a frame, whose pixels are replaced with some constant values) and tag prediction loss terms. The cutout-based reconstruction term utilizes a simple cutout scheme to learn the pixel-wise correspondence between the current and previous frames in order to reconstruct the original current frame with added cutout region in it. The introduced cutout patch guides the model to focus as much on the significant features of the object of interest as the less significant ones, thereby implicitly equipping the model to address occlusion-based scenarios. Next, the tag prediction term encourages object-background separability by grouping tags of all pixels in the cutout region that are similar, while separating them from the tags of the rest of the reconstructed frame pixels. Additionally, we introduce a zoom-in scheme that addresses the problem of small object segmentation by capturing fine structural information at multiple scales. Our proposed approach, termed CT-VOS, achieves state-of-the-art results on two challenging benchmarks: DAVIS-2017 and Youtube-VOS. A detailed ablation showcases the importance of the proposed loss formulation to effectively capture object-background discriminability and the impact of our zoom-in scheme to accurately segment small-sized objects.


title: Controlling the spontaneous firing behavior of a neuron with astrocyte

abstract: Mounting evidence in recent years suggests that astrocytes, a sub-type of glial cells, not only serve metabolic and structural support for neurons and synapses but also play critical roles in regulation of proper functioning of the nervous system. In this work, we investigate the effect of astrocyte on the spontaneous firing activity of a neuron through a combined model which includes a neuron-astrocyte pair. First, we show that an astrocyte may provide a kind of multistability in neuron dynamics by inducing different firing modes such as random and bursty spiking. Then, we identify the underlying mechanism of this behavior and search for the astrocytic factors that may have regulatory roles in different firing regimes. More specifically, we explore how an astrocyte can participate in occurrence and control of spontaneous irregular spiking activity of a neuron in random spiking mode. Additionally, we systematically investigate the bursty firing regime dynamics of the neuron under the variation of biophysical facts related to the intracellular environment of the astrocyte. It is found that an astrocyte coupled to a neuron can provide a control mechanism for both spontaneous firing irregularity and burst firing statistics, i.e., burst regularity and size.


title: MOLE: Digging Tunnels Through Multimodal Multi-Objective Landscapes

abstract: Recent advances in the visualization of continuous multimodal multi-objective optimization (MMMOO) landscapes brought a new perspective to their search dynamics. Locally efficient (LE) sets, often considered as traps for local search, are rarely isolated in the decision space. Rather, intersections by superposing attraction basins lead to further solution sets that at least partially contain better solutions. The Multi-Objective Gradient Sliding Algorithm (MOGSA) is an algorithmic concept developed to exploit these superpositions. While it has promising performance on many MMMOO problems with linear LE sets, closer analysis of MOGSA revealed that it does not sufficiently generalize to a wider set of test problems. Based on a detailed analysis of shortcomings of MOGSA, we propose a new algorithm, the Multi-Objective Landscape Explorer (MOLE). It is able to efficiently model and exploit LE sets in MMMOO problems. An implementation of MOLE is presented for the bi-objective case, and the practicality of the approach is shown in a benchmarking experiment on the Bi-Objective BBOB testbed.


title: Metric Learning and Adaptive Boundary for Out-of-Domain Detection

abstract: Conversational agents are usually designed for closed-world environments. Unfortunately, users can behave unexpectedly. Based on the open-world environment, we often encounter the situation that the training and test data are sampled from different distributions. Then, data from different distributions are called out-of-domain (OOD). A robust conversational agent needs to react to these OOD utterances adequately. Thus, the importance of robust OOD detection is emphasized. Unfortunately, collecting OOD data is a challenging task. We have designed an OOD detection algorithm independent of OOD data that outperforms a wide range of current state-of-the-art algorithms on publicly available datasets. Our algorithm is based on a simple but efficient approach of combining metric learning with adaptive decision boundary. Furthermore, compared to other algorithms, we have found that our proposed algorithm has significantly improved OOD performance in a scenario with a lower number of classes while preserving the accuracy for in-domain (IND) classes.


title: Control-NeRF: Editable Feature Volumes for Scene Rendering and Manipulation

abstract: We present a novel method for performing flexible, 3D-aware image content manipulation while enabling high-quality novel view synthesis. While NeRF-based approaches are effective for novel view synthesis, such models memorize the radiance for every point in a scene within a neural network. Since these models are scene-specific and lack a 3D scene representation, classical editing such as shape manipulation, or combining scenes is not possible. Hence, editing and combining NeRF-based scenes has not been demonstrated. With the aim of obtaining interpretable and controllable scene representations, our model couples learnt scene-specific feature volumes with a scene agnostic neural rendering network. With this hybrid representation, we decouple neural rendering from scene-specific geometry and appearance. We can generalize to novel scenes by optimizing only the scene-specific 3D feature representation, while keeping the parameters of the rendering network fixed. The rendering function learnt during the initial training stage can thus be easily applied to new scenes, making our approach more flexible. More importantly, since the feature volumes are independent of the rendering model, we can manipulate and combine scenes by editing their corresponding feature volumes. The edited volume can then be plugged into the rendering model to synthesize high-quality novel views. We demonstrate various scene manipulations, including mixing scenes, deforming objects and inserting objects into scenes, while still producing photo-realistic results.


title: Exploiting Session Information in BERT-based Session-aware Sequential Recommendation

abstract: In recommendation systems, utilizing the user interaction history as sequential information has resulted in great performance improvement. However, in many online services, user interactions are commonly grouped by sessions that presumably share preferences, which requires a different approach from ordinary sequence representation techniques. To this end, sequence representation models with a hierarchical structure or various viewpoints have been developed but with a rather complex network structure. In this paper, we propose three methods to improve recommendation performance by exploiting session information while minimizing additional parameters in a BERT-based sequential recommendation model: using session tokens, adding session segment embeddings, and a time-aware self-attention. We demonstrate the feasibility of the proposed methods through experiments on widely used recommendation datasets.


title: A Generalization of Ripley's K Function for the Detection of Spatial Clustering in Areal Data

abstract: Spatial clustering detection has a variety of applications in diverse fields, including identifying infectious disease outbreaks, assessing land use patterns, pinpointing crime hotspots, and identifying clusters of neurons in brain imaging applications. While performing spatial clustering analysis on point process data is common, applications to areal data are frequently of interest. For example, researchers might wish to know if census tracts with a case of a rare medical condition or an outbreak of an infectious disease tend to cluster together spatially. Since few spatial clustering methods are designed for areal data, researchers often reduce the areal data to point process data (e.g., using the centroid of each areal unit) and apply methods designed for point process data, such as Ripley's K function or the average nearest neighbor method. However, since these methods were not designed for areal data, a number of issues can arise. For example, we show that they can result in loss of power and/or a significantly inflated type I error rate. To address these issues, we propose a generalization of Ripley's K function designed specifically to detect spatial clustering in areal data. We compare its performance to that of the traditional Ripley's K function, the average nearest neighbor method, and the spatial scan statistic with an extensive simulation study. We then evaluate the real world performance of the method by using it to detect spatial clustering in land parcels containing conservation easements and US counties with high pediatric overweight/obesity rates.


title: An active approach towards monitoring and enhancing drivers' capabilities -- the ADAM cogtec solution

abstract: Driver's cognitive ability at a given moment is the most elusive variable in assessing driver's safety. In contrast to other physical conditions, such as short-sight, or manual disability cognitive ability is transient. Safety regulations attempt to reduce risk related to driver's cognitive ability by removing risk factors such as alcohol or drug consumption, forbidding secondary tasks such as texting, and urging drivers to take breaks when feeling tired. However, one cannot regulate all factors that affect driver's cognition, furthermore, the driver's momentary cognitive ability in most cases is covert even to driver. Here, we introduce an active approach aiming at monitoring a specific cognitive process that is affected by all these forementioned causes and directly affects the driver's performance in the driving task. We lean on the scientific approach that was framed by Karl Friston (Friston, 2010). We developed a closed loop-method in which driver's ocular responses to visual probing were recorded. Machine-learning-algorithms were trained on ocular responses of vigilant condition and were able to detect decrease in capability due fatigue and substance abuse. Our results show that we manage to correctly classify subjects with impaired and unimpaired cognitive process regardless of the cause of impairment (77% accuracy, 5% false alarms).


title: Delivering data differently

abstract: Human-computer interaction relies on mouse/touchpad, keyboard, and screen, but tools have recently been developed that engage sound, smell, touch, muscular resistance, voice dialogue, balance, and multiple senses at once. How might these improvements impact upon the practice of statistics and data science? People with low vision may be better able to grasp and explore data. More generally, methods developed to enable this have the potential to allow sighted people to use more senses and become better analysts. We would like to adapt some of the wide range of available computer and sensory input/output technologies to transform data science workflows. Here is a vision of what this synthesis might accomplish.


title: ParticLS: Object-oriented software for discrete element methods and peridynamics

abstract: ParticLS (\emph{Partic}le \emph{L}evel \emph{S}ets) is a software library that implements the discrete element method (DEM) and meshfree methods. ParticLS tracks the interaction between individual particles whose geometries are defined by level sets capable of capturing complex shapes. These particles either represent rigid bodies or material points within a continuum. Particle-particle interactions using various contact laws numerically approximate solutions to energy and mass conservation equations, simulating rigid body dynamics or deformation/fracture. By leveraging multiple contact laws, ParticLS can simulate interacting bodies that deform, fracture, and are composed of many particles. In the continuum setting, we numerically solve the peridynamic equations -- integro-differential equations capable of modeling objects with discontinuous displacement fields and complex fracture dynamics. We show that the discretized peridynamic equations can be solved using the same software infrastructure that implements the DEM. Therefore, we design a unique software library where users can easily add particles with arbitrary geometries and new contact laws that model either rigid-body interaction or peridynamic constitutive relationships. We demonstrate ParticLS' versatility on test problems meant to showcase features applicable to a broad selection of fields such as tectonics, granular media, multiscale simulations, glacier calving, and sea ice.


title: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization

abstract: In the last decade, a plethora of algorithms for single-objective Boolean optimization has been proposed that rely on the iterative usage of a highly effective Propositional Satisfiability (SAT) solver. But the use of SAT solvers in Multi-Objective Combinatorial Optimization (MOCO) algorithms is still scarce. Due to this shortage of efficient tools for MOCO, many real-world applications formulated as multi-objective are simplified to single-objective, using either a linear combination or a lexicographic ordering of the objective functions to optimize. In this paper, we extend the state of the art of MOCO solvers with two novel unsatisfiability-based algorithms. The first is a core-guided MOCO solver. The second is a hitting set-based MOCO solver. Experimental results obtained in a wide range of benchmark instances show that our new unsatisfiability-based algorithms can outperform state-of-the-art SAT-based algorithms for MOCO.


title: Blockchain and Cryptocurrency in Human Computer Interaction: A Systematic Literature Review and Research Agenda

abstract: We present a systematic literature review of cryptocurrency and blockchain research in Human-Computer Interaction (HCI) published between 2014 and 2021. We aim to provide an overview of the field, consolidate existing knowledge, and chart paths for future research. Our analysis of 99 articles identifies six major themes: (1) the role of trust, (2) understanding motivation, risk, and perception of cryptocurrencies, (3) cryptocurrency wallets, (4) engaging users with blockchain, (5) using blockchain for application-specific use cases, and (6) support tools for blockchain. We discuss the focus of the existing research body and juxtapose it to the changing landscape of emerging blockchain technologies to highlight future research avenues for HCI and interaction design. With this review, we identify key aspects where interaction design is critical for the adoption of blockchain systems. Doing so, we provide a starting point for new scholars and designers and help them position future contributions.


title: Designing Trustworthy User Interfaces for the Voluntary Carbon Market: A Randomized Online Experiment

abstract: The voluntary carbon market is an important building block in the fight against climate change. However, it is not trivial for consumers to verify whether carbon offset projects deliver what they promise. While technical solutions for measuring their impact are emerging, there is a lack of understanding of how to translate this data into interface designs that mediate the establishment of trust. With interaction between users and offset projects mainly happening online, it is critical to meet this design challenge. To this end, we designed and evaluated interfaces with varying trust cues for carbon offset projects in a randomized online experiment (n=244). Our results show that content design, particularly financial and forest-related quantitative data presented at the right detail level, increases the perceived trustworthiness, while images have no significant effect. We contribute the first specific guidance for interface designers for carbon offsets and discuss implications for interaction design.


title: Bayesian Data Analysis for Sky-averaged 21-cm Experiments in the Presence of Ionospheric Effects

abstract: The ionosphere introduces chromatic distortions on low frequency radio waves, and thus poses a hurdle for 21-cm cosmology. In this paper we introduce time-varying chromatic ionospheric effects on simulated antenna temperature data of a global 21-cm data analysis pipeline, and try to detect the injected global signal. We demonstrate that given turbulent ionospheric conditions, more than 5\% error in our knowledge of the ionospheric parameters could lead to comparatively low evidence and high root-mean-square error (RMSE), suggesting a false or null detection. When using a constant antenna beam for cases that include data at different times, the significance of the detection lowers as the number of time samples increases. It is also shown that for observations that include data at different times, readjusting beam configurations according to the time-varying ionospheric conditions should greatly improve the significance of a detection, yielding higher evidences and lower RMSE, and that it is a necessary procedure for a successful detection when the ionospheric conditions are not ideal.


title: On Quantum and Classical Treatments of Radiative Recombination

abstract: The quantum-mechanical solution to the problem of radiative recombination of an electron in a Coulomb field, obtained in the approximation of the smallness of the electron coupling with the radiation field, has been known for a long time. However, in astrophysics, the classical approach, which does not explicitly use this smallness, is sometimes used to describe similar processes in systems of magnetic monopoles or self-interacting dark matter particles. The importance of such problems is determined by the fact that recombination processes play a crucial role in the evolution of the large-scale structure of the Universe. Therefore, of particular interest is the fact that the classical and quantum expressions for the recombination cross section differ significantly in magnitude. It is shown that the applicability of quantum and classical approaches to radiative recombination is closely related to the radiated angular momentum and its quantization. For situations where the classical approach is not suitable, a semi-classical approach based on the angular momentum quantization is proposed, in some respects an alternative to the well-known semi-classical Kramers' approach.


title: Generalizations Of Graded Prime Ideals Over Graded Near Rings

abstract: This paper considers graded near-rings over a monoid G as a generalizations of the graded rings over groups, introduce certain innovative graded weakly prime ideals and graded almost prime ideals as a generalizations of graded prime ideals over graded near-rings, and explore their various properties and their generalizations in graded near-rings.


title: The Hilbert space basis and Hilbert's eighth problem

abstract: The paper considers the Hilbert space $\hat{H}_r$ of real functions summable with the square $L^2(a,b)_r$ on any interval $\{(a,b)_r\}_{r=1}^{\infty}\in \mathbb{R}$. It is shown on the basis of the theorem on zeros of real orthogonal polynomials if in $\hat{H}_r$ there exists a complete orthonormal basis $\{f(x)_k\}_{k=1}^{\infty}$ and the function $f(x)\in\{f(x)_k\}_{k=1}^{\infty}$ has zeros, then these zeros are simple and real. The generalized Hardy function $Z(\sigma,t)=\Re\zeta(\sigma+it)e^{i\theta(t)}$ is considered. It is shown that in the Hilbert space $\hat{H}_r$ there exists a complete basis $\{Z(\lambda_k,t\}_{k=1}^{\infty}$ where $\lambda_k\in\mathbb{Q}$ and $Z(t)\in\{Z(\lambda_k,t\}_{k=1}^{\infty}$ when $\lambda_k=1/2$, hence the Hardy function $Z(t)=\zeta(1/2+it)e^{i\theta(t)}$ has all simple and real zeros.


title: Two New Methods for Counting and Tracking the Evolution of Polar Faculae

abstract: Polar faculae (PFe) are the footpoints of magnetic field lines near the Sun's poles that are seen as bright regions along the edges of granules. The time variation in the number of PFe has been shown to correlate with the strength of the polar magnetic field and to be a predictor of the subsequent solar cycle. Due to the small size and transient nature of these features, combined with different techniques and observational factors, previous counts of PFe differ in magnitude. Further, there were no scalable techniques to measure the statistical properties of faculae. Using data from the Helioseismic and Magnetic Imager (HMI) onboard the Solar Dynamics Observatory (SDO), we present two new methods for tracking faculae and measuring their properties. In the first, we calculate the standard deviation of the HMI images over one day, visualizing the faculae as streaks. The facular lifetime is found by dividing the angular streak length by the latitude-dependent rotation rate. We apply this method to 134 days of data over 11 years. The distribution of facular lifetimes has a mean of 6.0 hours, a FWHM of 5.4 hours, and a skew towards longer lifetimes, with some lasting up to 1 day. In the second method, we overlay images of the progressive standard deviation with the HMI magnetogram to show the close relationship between facular candidates and the magnetic field. The results allow us to distinguish between motion due to the Sun's rotation and "proper motion" due to faculae moving across the Sun's surface, confirming that PFe participate in convective motions at the poles. Counts of PFe using both methods agree with previous counts in their variation with the solar cycle and the polar magnetic field. These methods can be extended to automate the identification and measurement of other properties of of PFe, which would allow for daily measurements of all faculae since SDO began operation in 2010.


title: A Kilonova Following a Long-Duration Gamma-Ray Burst at 350 Mpc

abstract: Here, we report the discovery of a kilonova associated with the nearby (350 Mpc) minute-duration GRB 211211A. In tandem with deep optical limits that rule out the presence of an accompanying supernova to $M_I > -13$ mag at 17.7 days post-burst, the identification of a kilonova confirms that this burst's progenitor was a compact object merger. While the spectrally softer tail in GRB 211211A's gamma-ray light curve is reminiscent of previous extended emission short GRBs (EE-SGRBs), its prompt, bright spikes last $\gtrsim 12$ s, separating it from past EE-SGRBs. GRB 211211A's kilonova has a similar luminosity, duration and color to AT2017gfo, the kilonova found in association with the gravitational wave (GW)-detected binary neutron star (BNS) merger GW170817. We find that the merger ejected $\approx 0.04 M_{\odot}$ of r-process-rich material, and is consistent with the merger of two neutron stars (NSs) with masses close to the canonical $1.4 M_{\odot}$. This discovery implies that GRBs with long, complex light curves can be spawned from compact object merger events and that a population of kilonovae following GRBs with durations $\gg 2$ s should be accounted for in calculations of the NS merger r-process contribution and rate. At 350 Mpc, the current network of GW interferometers at design sensitivity would have detected the merger precipitating GRB 211211A, had it been operating at the time of the event. Further searches for GW signals coincident with long GRBs are therefore a promising route for future multi-messenger astronomy.


title: Continuous Mott transition in moir\'e semiconductors: role of long-wavelength inhomogeneities

abstract: Recent experiments in moir\'{e} transition metal dichalcogenide materials have reported the observation of a continuous bandwidth-tuned transition from a metal to a paramagnetic Mott insulator at a fixed filling of one electron per moir\'{e} unit cell. The electrical transport measurements reveal a number of puzzling features that are seemingly at odds with the theoretical expectations of an interaction induced, but disorder-free, bandwidth-tuned metal-insulator transition. In this work, we include the effects of long-wavelength inhomogeneities, building on the results for a continuous metal-insulator transition at fixed filling in the clean limit. We examine the effects of meso-scale inhomogeneities near the critical point on transport using the framework of random resistor networks, highlighting the salient differences from a simple percolation-based picture. We place our results in the context of recent and ongoing experiments.