title: Differential measurements of jet substructure and partonic energy loss in Au$+$Au collisions at $\sqrt{s_{\rm{NN}}} =200$ GeV

abstract: The STAR collaboration presents jet substructure measurements related to both the momentum fraction and the opening angle within jets in \pp and \AuAu collisions at \sqrtsn $= 200$ GeV. The substructure observables include SoftDrop groomed momentum fraction (\zg), groomed jet radius (\rg), and subjet momentum fraction (\zsj) and opening angle (\tsj). The latter observable is introduced for the first time. Fully corrected subjet measurements are presented for \pp collisions and are compared to leading order Monte Carlo models. The subjet \tsj~distributions reflect the jets leading opening angle and are utilized as a proxy for the resolution scale of the medium in \AuAu collisions. We compare data from \AuAu collisions to those from \pp which are embedded in minimum-bias \AuAu events in order to include the effects of detector smearing and the heavy-ion collision underlying event. The subjet observables are shown to be more robust to the background than \zg~and \rg. We observe no significant modifications of the subjet observables within the two highest-energy, back-to-back jets, resulting in a distribution of opening angles and the splittings that are vacuum-like. We also report measurements of the differential di-jet momentum imbalance ($A_{\rm{J}}$) for jets of varying \tsj. We find no qualitative differences in energy loss signatures for varying angular scales in the range $0.1 < $ \tsj $ < 0.3$, leading to the possible interpretation that energy loss in this population of high momentum di-jet pairs, is due to soft medium-induced gluon radiation from a single color-charge as it traverses the medium.


title: Cluster Fragments in Amorphous Phosphorus and their Evolution under Pressure

abstract: Amorphous phosphorus (a-P) has long attracted interest because of its complex atomic structure, and more recently as an anode material for batteries. However, accurately describing and understanding a-P at the atomistic level remains a challenge. Here we show that large-scale molecular-dynamics simulations, enabled by a machine learning (ML)-based interatomic potential for phosphorus, can give new insights into the atomic structure of a-P and how this structure changes under pressure. The structural model so obtained contains abundant five-membered rings, as well as more complex seven- and eight-atom clusters. Changes in the simulated first sharp diffraction peak during compression and decompression indicate a hysteresis in the recovery of medium-range order. An analysis of cluster fragments, large rings, and voids suggests that moderate pressure (up to about 5 GPa) does not break the connectivity of clusters, but higher pressure does. Our work provides a starting point for further computational studies of the structure and properties of a-P, and more generally it exemplifies how ML-driven modeling can accelerate the understanding of disordered functional materials.


title: The Vision and the Perspective of Digital Tourism

abstract: The dynamics of the modern information society changes the usual areas of human activity, generates various innovations based on the widespread use of Information and Communication Technologies (ICTs). Virtually, every activity today is technology related. In these conditions, scientific activity is also changing. Digitalization processes act as integrative to various scientific directions, which form the base for interdisciplinary scientific research. The study of their formation is an important scientific task aimed at predicting the development of both science and society as a whole. In this study, based on the integrated use of ICTs, we consider methods of the terminology base analysis in various interdisciplinary research directions on the instance of tourism in the digital age. The development of scientific interest in the area of digital tourism in Russian and global scientific discourses is also compared. The purpose of this paper is to proof the relevance of scientific study in the field of tourism digitalization, to identify the generic directions and trends of digital tourism, and to specify technologies for the implementation of digital tourism using the case study of St. Petersburg.


title: Transforming Fake News: Robust Generalisable News Classification Using Transformers

abstract: As online news has become increasingly popular and fake news increasingly prevalent, the ability to audit the veracity of online news content has become more important than ever. Such a task represents a binary classification challenge, for which transformers have achieved state-of-the-art results. Using the publicly available ISOT and Combined Corpus datasets, this study explores transformers' abilities to identify fake news, with particular attention given to investigating generalisation to unseen datasets with varying styles, topics and class distributions. Moreover, we explore the idea that opinion-based news articles cannot be classified as real or fake due to their subjective nature and often sensationalised language, and propose a novel two-step classification pipeline to remove such articles from both model training and the final deployed inference system. Experiments over the ISOT and Combined Corpus datasets show that transformers achieve an increase in F1 scores of up to 4.9% for out of distribution generalisation compared to baseline approaches, with a further increase of 10.1% following the implementation of our two-step classification pipeline. To the best of our knowledge, this study is the first to investigate generalisation of transformers in this context.


title: Effective potential of scalar-tensor gravity with quartic self-interaction of scalar field

abstract: One-loop effective potential of scalar-tensor gravity with a quartic scalar field self-interaction is evaluated up to first post-Minkowskian order. The potential develops an instability in the strong field regime which is expected from an effective theory. Depending on model parameters the instability region can be exponentially far in a strong field region. Possible applications of the model for inflationary scenarios are highlighted. It is shown that the model can enter the slow-roll regime with a certain set of parameters.


title: Metamorphic Relation Prioritization for Effective Regression Testing

abstract: Metamorphic testing (MT) is widely used for testing programs that face the oracle problem. It uses a set of metamorphic relations (MRs), which are relations among multiple inputs and their corresponding outputs to determine whether the program under test is faulty. Typically, MRs vary in their ability to detect faults in the program under test, and some MRs tend to detect the same set of faults. In this paper, we propose approaches to prioritize MRs to improve the efficiency and effectiveness of MT for regression testing. We present two MR prioritization approaches: (1) fault-based and (2) coverage-based. To evaluate these MR prioritization approaches, we conduct experiments on three complex open-source software systems. Our results show that the MR prioritization approaches developed by us significantly outperform the current practice of executing the source and follow-up test cases of the MRs in an ad-hoc manner in terms of fault detection effectiveness. Further, fault-based MR prioritization leads to reducing the number of source and follow-up test cases that needs to be executed as well as reducing the average time taken to detect a fault, which would result in saving time and cost during the testing process.


title: Understanding charging dynamics of fully-electrified taxi services using large-scale trajectory data

abstract: An accurate understanding of "when, where and why" of charging activities is crucial for the optimal planning and operation of E-shared mobility services. In this study, we leverage a unique trajectory of a city-wide fully electrified taxi fleet in Shenzhen, China, and we present one of the first studies to investigate charging behavioral dynamics of a fully electrified shared mobility system from both system-level and individual driver perspectives. The electric taxi (ET) trajectory data contain detailed travel information of over 20,000 ETs over one month period. By combing the trajectory and charging infrastructure data, we reveal remarkable regularities in infrastructure utilization, temporal and spatial charging dynamics as well as individual driver level charging preferences. Specifically, we report that both temporal and spatial distributions of system-level charging activities present strong within-day and daily regularities, and most charging activities are induced from drivers' shift schedules. Further, with 425 charging stations, we observe that the drivers show strong preferences over a small subset of charging stations, and the power-law distribution can well characterize the charging frequency at each charging station. Finally, we show that drivers' shift schedules also dominate the individual charging behavior, and there are strikingly stable daily charging patterns at the individual level. The results and findings of our study represent lessons and insights that may be carried over to the planning and operation of E-shared mobility in other cities and deliver important justifications for future studies on the modeling of E-shared mobility services.


title: A motivic change of variables formula for Artin stacks

abstract: Let $\mathcal{X} \to Y$ be a birational map from a smooth Artin stack to a (possibly singular) variety. We prove a change of variables formula that relates motivic integrals over arcs of $Y$ to motivic integrals over arcs of $\mathcal{X}$. With a view toward the study of stringy Hodge numbers, this change of variables formula leads to a new notion of crepantness for the map $\mathcal{X} \to Y$ that coincides with the usual notion in the special case that $\mathcal{X}$ is a scheme.


title: Chromosomal rearrangements as a source of local adaptation in island Drosophila

abstract: Chromosomal rearrangements act as a source of genetic novelty by shuffling DNA throughout the genome. These mutations can produce chimeric genes, induce de novo gene formation, or alter gene expression changes for existing genes. Here, we explore how these mutations may serve as agents of evolutionary change as populations adapt to new environments during habitat shifts. We identify 16,480 rearrangements in mainland D. yakuba and two locally adapted populations of D. santomea and D yakuba on Sao Tome. Three loci that are associated with signals of strong differentiation in D. santomea lie adjacent to UV resistance or DNA repair genes, suggesting that these rearrangements confer selective advantages in high altitude environments with greater UV stressors. Some 55% of these mutations are facilitated by TE insertions, and 28% are TE facilitated ectopic recombination. In D. santomea 468 mutations are associated with strong signals of differentiation from the mainland while in island D yakuba we identify 383 candidates of local adaptation. A total of 49.4% of mutations associated with signals of local adaptation also show significant changes in transcript levels, suggesting that the adaptive value of rearrangements is related to effects on gene expression. Together, this survey of structural variation identifies key modes of evolutionary innovation that would be missed in SNP-based screens. This work offers a portrait of how these mutations appear and help organisms to survive during habitat shifts, furthering our understanding of evolutionary processes.


title: Integrated Photonic Functions Using Anisotropic 2D Material Structures

abstract: Plasmonic waveguides based on 2D materials, which enable the formations of guided modes confined around few-layered material, are promising plasmonic platforms for the miniaturization of photonic devices. Nonetheless, such waveguides support modes that are evanescent in the waveguide core with the majority of the fields concentrated around waveguide edges, which are different from those supported by 3D dielectric waveguides where the modal fields are of oscillatory nature and peak at the center. As a result, many photonic devices and functionalities that can be achieved within 3D dielectric waveguides based on total-internal-reflation modes cannot be realized using 2D material-based plasmonic structures. In this work, we propose and demonstrate how to leverage anisotropy in 2D materials to tailor of modal fields supported by 2D material waveguide for the first time. By regulating material absorption of the constituent 2D materials, the modal fields of these 2D modes can be tailored to localize around the waveguide center, which in turn can improve the efficiencies of coupling-based photonic functions using 2D materials, from in-plane multimode-interference couplers to out-of-plane optical radiation. Using natural anisotropic 2D materials such as black phosphorus, these pivotal functions can expand existing device capabilities that are typically achieved in 3D dielectrics but using 2D materials, thus allowing for the implementation of 2D plasmonic circuits with no need to relying on 3D layers.


title: Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in $\mathbf{a}(2)$-finite Coxeter systems

abstract: A Coxeter group is said to be \emph{$\mathbf{a}(2)$-finite} if it has finitely many elements of $\mathbf{a}$-value 2 in the sense of Lusztig. In this paper, we give explicit combinatorial descriptions of the left, right, and two-sided Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in an irreducible $\mathbf{a}(2)$-finite Coxeter group. In particular, we introduce elements we call \emph{stubs} to parameterize the one-sided cells and we characterize the one-sided cells via both star operations and weak Bruhat orders. We also compute the cardinalities of all the one-sided and two-sided cells.


title: More on the SW-QNM correspondence

abstract: We exploit the recently proposed correspondence between gravitational perturbations and quantum Seiberg-Witten curves to compute the spectrum of quasi-normal modes of asymptotically flat Kerr Newman black holes and establish detailed gauge/gravity dictionaries for a large class of black holes, D-branes and fuzzballs in diverse dimensions. QNM frequencies obtained from the quantum periods of $SU(2)$ ${\cal N}=2$ SYM with $N_f=3$ flavours are compared against numerical results, WKB (eikonal) approximation and geodetic motion showing remarkable agreement. Starting from the master example relating quasi-normal modes of Kerr-Newman black holes in AdS$_4$ to $SU(2)$ gauge theory with $N_f=4$, we illustrate the procedure for some simple toy-models that allow analytic solutions. We also argue that the AGT version of the gauge/gravity correspondence may give precious hints as to the physical/geometric origin of the quasi-normal modes/Seiberg-Witten connection and further elucidate interesting properties (such as tidal Love numbers and grey-body factors) that can help discriminating black holes from fuzzballs.


title: Trichotomy for positive cones and a maximality counterexample

abstract: In [4] we developed the theory of positive cones on finite-dimensional simple algebras with involution, inspired by the classical Artin-Schreier theory of orderings on fields, and based on the notion of signatures of hermitian forms [1]. In a subsequent paper [3], we developed the associated "valuation theory", based on Tignol-Wadsworth gauges [7, 8, 9]. In this short note, we present the following two additional results: (1) Whereas positive cones on fields correspond to total order relations, positive cones on algebras with involution only give rise to partial order relations. We show that the order relation defined by a positive cone is as close to total as possible, cf. Theorem 2.5. (2) Positive cones are maximal prepositive cones, which begs the question if there are prepositive cones that are not maximal. We answer this question in the affirmative in Section 3, using techniques that illustrate the interplay between positive cones and gauges.


title: Dirac operators on foliations with invariant transverse measures

abstract: We extend the groundbreaking results of Gromov and Lawson on positive scalar curvature and the Dirac operator on complete Riemannian manifolds to Dirac operators defined along the leaves of foliations of non-compact complete Riemannian manifolds which admit invariant transverse measures. We prove a relative measured index theorem for pairs of such manifolds, foliations and operators, which are identified off compact subsets of the manifolds. We assume that the spectral projections of the leafwise operators for some interval $[0,\epsilon]$, $\epsilon > 0$, have finite dimensional images when paired with the invariant transverse measures. As a prime example, we show that if the zeroth order operators in the associated Bochner Identities are uniformly positive off compact subsets of the manifolds, then they satisfies the hypotheses of our relative measured index theorem. Using these results, we show that for a large collection of spin foliations, the space of positive scalar curvature metrics on each foliation has infinitely many path connected components.


title: I Know You Can't See Me: Dynamic Occlusion-Aware Safety Validation of Strategic Planners for Autonomous Vehicles Using Hypergames

abstract: A particular challenge for both autonomous and human driving is dealing with risk associated with dynamic occlusion, i.e., occlusion caused by other vehicles in traffic. Based on the theory of hypergames, we develop a novel multi-agent dynamic occlusion risk (DOR) measure for assessing situational risk in dynamic occlusion scenarios. Furthermore, we present a white-box, scenario-based, accelerated safety validation framework for assessing safety of strategic planners in AV. Based on evaluation over a large naturalistic database, our proposed validation method achieves a 4000% speedup compared to direct validation on naturalistic data, a more diverse coverage, and ability to generalize beyond the dataset and generate commonly observed dynamic occlusion crashes in traffic in an automated manner.


title: Integrated Construction of Multimodal Atlases with Structural Connectomes in the Space of Riemannian Metrics

abstract: The structural network of the brain, or structural connectome, can be represented by fiber bundles generated by a variety of tractography methods. While such methods give qualitative insights into brain structure, there is controversy over whether they can provide quantitative information, especially at the population level. In order to enable population-level statistical analysis of the structural connectome, we propose representing a connectome as a Riemannian metric, which is a point on an infinite-dimensional manifold. We equip this manifold with the Ebin metric, a natural metric structure for this space, to get a Riemannian manifold along with its associated geometric properties. We then use this Riemannian framework to apply object-oriented statistical analysis to define an atlas as the Fr\'echet mean of a population of Riemannian metrics. This formulation ties into the existing framework for diffeomorphic construction of image atlases, allowing us to construct a multimodal atlas by simultaneously integrating complementary white matter structure details from DWMRI and cortical details from T1-weighted MRI. We illustrate our framework with 2D data examples of connectome registration and atlas formation. Finally, we build an example 3D multimodal atlas using T1 images and connectomes derived from diffusion tensors estimated from a subset of subjects from the Human Connectome Project.


title: Counterfactual Instances Explain Little

abstract: In many applications, it is important to be able to explain the decisions of machine learning systems. An increasingly popular approach has been to seek to provide \emph{counterfactual instance explanations}. These specify close possible worlds in which, contrary to the facts, a person receives their desired decision from the machine learning system. This paper will draw on literature from the philosophy of science to argue that a satisfactory explanation must consist of both counterfactual instances and a causal equation (or system of equations) that support the counterfactual instances. We will show that counterfactual instances by themselves explain little. We will further illustrate how explainable AI methods that provide both causal equations and counterfactual instances can successfully explain machine learning predictions.


title: Robust economic model predictive control with zone tracking

abstract: This paper presents a robust economic model predictive control (EMPC) formulation with zone tracking for discrete-time uncertain nonlinear systems. The proposed design ensures that the zone tracking objective is achieved in finite steps and at the same time optimizes the economic performance. In the proposed design, instead of tracking the original target zone, a robust control invariant set within the target zone is determined and is used as the actual zone tracked in the proposed EMPC. This approach ensures that the zone tracking objective is achieved within finite steps and once the zone tracking objective is achieved (the system state enters the robust control invariant set), the system state does not come out of the target zone anymore. To optimize the economic performance within the zone in the presence of disturbances, we introduce the notion of risk factor in the controller design. An algorithm to determine the economic zone to be tracked is provided. The risk factor determines the conservativeness of the controller and provides a way to tune the EMPC for better economic performance. A nonlinear chemical example is presented to demonstrate the performance of the proposed formulation.


title: Improving Span Representation for Domain-adapted Coreference Resolution

abstract: Recent work has shown fine-tuning neural coreference models can produce strong performance when adapting to different domains. However, at the same time, this can require a large amount of annotated target examples. In this work, we focus on supervised domain adaptation for clinical notes, proposing the use of concept knowledge to more efficiently adapt coreference models to a new domain. We develop methods to improve the span representations via (1) a retrofitting loss to incentivize span representations to satisfy a knowledge-based distance function and (2) a scaffolding loss to guide the recovery of knowledge from the span representation. By integrating these losses, our model is able to improve our baseline precision and F-1 score. In particular, we show that incorporating knowledge with end-to-end coreference models results in better performance on the most challenging, domain-specific spans.


title: GPGPU-Parallel Re-indexing of Triangle Meshes with Duplicate-Vertex and Unused-Vertex Removal

abstract: We describe a simple yet highly parallel method for re-indexing "indexed" data sets like triangle meshes or unstructured-mesh data sets -- which is useful for operations such as removing duplicate or un-used vertices, merging different meshes, etc. In particlar, our method is parallel and GPU-friendly in the sense that it all its steps are either trivially parallel, or use GPU-parallel primitives like sorting, prefix-sum; thus making it well suited for highly parallel architectures like GPUs.


title: A Data-Driven Democratized Control Architecture for Regional Transmission Operators

abstract: As probably the most complicated and critical infrastructure system, U.S. power grids become increasingly vulnerable to extreme events such as cyber-attacks and severe weather, as well as higher DER penetrations and growing information mismatch among system operators, utilities (transmission or generation owners), and end-users. This paper proposes a data-driven democratized control architecture considering two democratization pathways to assist transmission system operators, with a targeted use case of developing online proactive islanding strategies. Detailed discussions on load capability profiling at transmission buses and disaggregation of DER generations are provided and illustrated with real-world utility data. By Combining network and operational constraints, transmission system operators can be equipped with new tools built on top of this architecture, to derive accurate, proactive, and strategic islanding decisions to incorporate the wide range of dynamic portfolios and needs when facing extreme events or unseen grid contingencies.


title: Dynamics and Observational Signatures of Shell-like Black Hole Mimickers

abstract: We undertake the task of studying the non-linear dynamics of quantum gravity motivated alternatives to black holes that in the classical limit appear as ultra-compact shells of matter. We develop a formalism that should be amenable to numerical solution in generic situations. For a concrete model we focus on the spherically symmetric AdS black bubble -- a shell of matter at the Buchdahl radius separating a Schwarzschild exterior from an AdS interior. We construct a numerical code to study the radial dynamics of and accretion onto AdS black bubbles, with exterior matter provided by scalar fields. In doing so we develop numerical methods that could be extended to future studies beyond spherical symmetry. Regarding AdS black bubbles in particular, we find that the original prescription for the internal matter fluxes needed to stabilize the black bubble is inadequate in dynamical settings, and we propose a two parameter generalization of the flux model to fix this. To allow for more efficient surveys of parameter space, we develop a simpler numerical model adapted to spherically symmetric bubble dynamics. We identify regions of parameter space that do allow for stable black bubbles, and moreover allow control to a desired end-state after an accretion episode. Based on these results, and evolution of scalar fields on black bubble backgrounds, we speculate on some observational consequences if what are currently presumed to be black holes in the universe were actually black bubbles.


title: Few-femtosecond resolved imaging of laser-driven nanoplasma expansion

abstract: The free expansion of a planar plasma surface is a fundamental non-equilibrium process relevant for various fields but as-yet experimentally still difficult to capture. The significance of the associated spatiotemporal plasma motion ranges from astrophysics and controlled fusion to laser machining, surface high-harmonic generation, plasma mirrors, and laser-particle acceleration. Here, we show that x-ray coherent diffractive imaging can surpass existing approaches and enables the quantitative real-time analysis of the sudden free expansion of nanoplasmas. For laser-ionized SiO$_2$ nanospheres, we resolve the formation of the emerging nearly self-similar plasma profile evolution and expose the so far inaccessible shell-wise expansion dynamics including the associated startup delay and rarefaction front velocity. Our results establish time-resolved diffractive imaging as an accurate quantitative diagnostic platform for tracing and characterizing plasma expansion and indicate the possibility to resolve various laser-driven processes including shock formation and wave-breaking phenomena with unprecedented resolution.


title: Deviation-Based Learning: Training Recommender Systems Using Informed User Choice

abstract: This paper proposes a new approach to training recommender systems called deviation-based learning. The recommender and rational users have different knowledge. The recommender learns user knowledge by observing what action users take upon receiving recommendations. Learning eventually stalls if the recommender always suggests a choice: Before the recommender completes learning, users start following the recommendations blindly, and their choices do not reflect their knowledge. The learning rate and social welfare improve substantially if the recommender abstains from recommending a particular choice when she predicts that multiple alternatives will produce a similar payoff.


title: Molecular Energy Learning Using Alternative Blackbox Matrix-Matrix Multiplication Algorithm for Exact Gaussian Process

abstract: We present an application of the blackbox matrix-matrix multiplication (BBMM) algorithm to scale up the Gaussian Process (GP) training of molecular energies in the molecular-orbital based machine learning (MOB-ML) framework. An alternative implementation of BBMM (AltBBMM) is also proposed to train more efficiently (over four-fold speedup) with the same accuracy and transferability as the original BBMM implementation. The training of MOB-ML was limited to 220 molecules, and BBMM and AltBBMM scale the training of MOB-ML up by over 30 times to 6500 molecules (more than a million pair energies). The accuracy and transferability of both algorithms are examined on the benchmark datasets of organic molecules with 7 and 13 heavy atoms. These lower-scaling implementations of the GP preserve the state-of-the-art learning efficiency in the low-data regime while extending it to the large-data regime with better accuracy than other available machine learning works on molecular energies.


title: Skin Deep Unlearning: Artefact and Instrument Debiasing in the Context of Melanoma Classification

abstract: Convolutional Neural Networks have demonstrated dermatologist-level performance in the classification of melanoma from skin lesion images, but prediction irregularities due to biases seen within the training data are an issue that should be addressed before widespread deployment is possible. In this work, we robustly remove bias and spurious variation from an automated melanoma classification pipeline using two leading bias unlearning techniques. We show that the biases introduced by surgical markings and rulers presented in previous studies can be reasonably mitigated using these bias removal methods. We also demonstrate the generalisation benefits of unlearning spurious variation relating to the imaging instrument used to capture lesion images. Our experimental results provide evidence that the effects of each of the aforementioned biases are notably reduced, with different debiasing techniques excelling at different tasks.


title: Seriema: RDMA-based Remote Invocationwith a Case-Study on Monte-Carlo Tree Search

abstract: We introduce Seriema, a middleware that integrates RDMA-based remote invocation, asynchronous data transfer, NUMA-aware automatic management of registered memory, and message aggregation in idiomatic C++1x. Seriema supports the notion that remote invocation and asynchronous data transfer are complementary services that, when tightly-integrated, allow distributed data structures, overlay networks, and Cloud & datacenter service applications to be expressed effectively and naturally, resembling sequential code. In order to evaluate the usability of Seriema, we implement a Monte-Carlo Tree Search (MCTS) application framework, which runs distributed simulations given only a sequential problem specification. Micro-benchmarks show that Seriema provides remote invocations with low overhead, and that our MCTS application framework scales well up to the number of non-hyperthreaded CPU cores while simulating plays of the board game Hex.


title: CorAl -- Are the point clouds Correctly Aligned?

abstract: In robotics perception, numerous tasks rely on point cloud registration. However, currently there is no method that can automatically detect misaligned point clouds reliably and without environment-specific parameters. We propose "CorAl", an alignment quality measure and alignment classifier for point cloud pairs, which facilitates the ability to introspectively assess the performance of registration. CorAl compares the joint and the separate entropy of the two point clouds. The separate entropy provides a measure of the entropy that can be expected to be inherent to the environment. The joint entropy should therefore not be substantially higher if the point clouds are properly aligned. Computing the expected entropy makes the method sensitive also to small alignment errors, which are particularly hard to detect, and applicable in a range of different environments. We found that CorAl is able to detect small alignment errors in previously unseen environments with an accuracy of 95% and achieve a substantial improvement to previous methods.


title: Encrypted Data Processing

abstract: In this paper, we present a comprehensive architecture for confidential computing, which we show to be general purpose and quite efficient. It executes the application as is, without any added burden or discipline requirements from the application developers. Furthermore, it does not require the trust of system software at the computing server and does not impose any added burden on the communication subsystem. The proposed Encrypted Data Processing (EDAP) architecture accomplishes confidentiality, authenticity, and freshness of the key-based cryptographic data protection by adopting data encryption with a multi-level key protection scheme. It guarantees that the user data is visible only in non-privileged mode to a designated program trusted by the data owner on a designated hardware, thus protecting the data from an untrusted hardware, hypervisor, OS, or other users' applications. The cryptographic keys and protocols used for achieving these confidential computing requirements are described in a use case example. Encrypting and decrypting data in an EDAP-enabled processor can lead to performance degradation as it adds cycle time to the overall execution. However, our simulation result shows that the slowdown is only 6% on average across a collection of commercial workloads when the data encryption engine is placed between the L1 and L2 cache. We demonstrate that the EDAP architecture is valuable and practicable in the modern cloud environment for confidential computing. EDAP delivers a zero trust model of computing where the user software does not trust system software and vice versa.


title: Dilaton in scalar QFT: a no-go theorem in $4-\varepsilon$ and $3-\varepsilon$ dimensions

abstract: Spontaneous scale invariance breaking and the associated Goldstone boson, the dilaton, is investigated in renormalizable, unitary, interacting non-supersymmetric scalar field theories in $4-\varepsilon$ dimensions. At leading order it is possible to construct models which give rise to spontaneous scale invariance breaking classically and indeed a massless dilaton can be identified. Beyond leading order, in order to have no anomalous scale symmetry breaking in QFT, the models need to be defined at a Wilson-Fisher fixed point with exact conformal symmetry. It is shown that this requirement on the couplings is incompatible with having the type of flat direction which would be necessary for an exactly massless dilaton. As a result spontaneous scale symmetry breaking and an exactly massless dilaton can not occur in renormalizable, unitary $4-\varepsilon$ dimensional scalar QFT. The arguments apply to $\phi^6$ theory in $3-\varepsilon$ dimensions as well.


title: Roughening of the Anharmonic Elastic Interface in Correlated Random Media

abstract: We study the roughening properties of the anharmonic elastic interface in the presence of temporally correlated noise. The model can be seen as a generalization of the anharmonic Larkin model, recently introduced by Purrello, Iguain, and Kolton [Phys. Rev. E {\bf 99}, 032105 (2019)], to investigate the effect of higher-order corrections to linear elasticity in the fate of interfaces. We find analytical expressions for the critical exponents as a function of the anharmonicity index $n$, the noise correlator range $\theta \in[0,1/2]$, and dimension $d$. In $d=1$ we find that the interface becomes faceted and exhibits anomalous scaling for $\theta > 1/4$ for any degree of anharmonicity $n > 1$. Analytical expressions for the anomalous exponents $\alpha_\mathrm{loc}$ and $\kappa$ are obtained and compared with a numerical integration of the model. Our theoretical results show that anomalous roughening cannot exist for this model in dimensions $d > 1$.


title: Well Googled is Half Done: Multimodal Forecasting of New Fashion Product Sales with Image-based Google Trends

abstract: New fashion product sales forecasting is a challenging problem that involves many business dynamics and cannot be solved by classical forecasting approaches. In this paper, we investigate the effectiveness of systematically probing exogenous knowledge in the form of Google Trends time series and combining it with multi-modal information related to a brand-new fashion item, in order to effectively forecast its sales despite the lack of past data. In particular, we propose a neural network-based approach, where an encoder learns a representation of the exogenous time series, while the decoder forecasts the sales based on the Google Trends encoding and the available visual and metadata information. Our model works in a non-autoregressive manner, avoiding the compounding effect of large first-step errors. As a second contribution, we present VISUELLE, a publicly available dataset for the task of new fashion product sales forecasting, containing multimodal information for 5577 real, new products sold between 2016-2019 from Nunalie, an Italian fast-fashion company. The dataset is equipped with images of products, metadata, related sales, and associated Google Trends. We use VISUELLE to compare our approach against state-of-the-art alternatives and several baselines, showing that our neural network-based approach is the most accurate in terms of both percentage and absolute error. It is worth noting that the addition of exogenous knowledge boosts the forecasting accuracy by 1.5% in terms of Weighted Absolute Percentage Error (WAPE), revealing the importance of exploiting informative external information. The code and dataset are both available at https://github.com/HumaticsLAB/GTM-Transformer.


title: Data Augmentation Methods for Anaphoric Zero Pronouns

abstract: In pro-drop language like Arabic, Chinese, Italian, Japanese, Spanish, and many others, unrealized (null) arguments in certain syntactic positions can refer to a previously introduced entity, and are thus called anaphoric zero pronouns. The existing resources for studying anaphoric zero pronoun interpretation are however still limited. In this paper, we use five data augmentation methods to generate and detect anaphoric zero pronouns automatically. We use the augmented data as additional training materials for two anaphoric zero pronoun systems for Arabic. Our experimental results show that data augmentation improves the performance of the two systems, surpassing the state-of-the-art results.


title: Warning: The mini gamma-ray-bursts in planning hadron colliders beyond the LHC energies

abstract: Gluons may converge to a stable state at a critical momentum in nucleon. This gluon condensation will greatly increase the proton-proton cross section provided that the collision energies exceed the gluon condensation threshold. Based on the analyses of cosmic gamma-ray spectra, we find that the $p-Pb$ and $Pb-Pb$ collisions at the LHC are close to the energy region of the gluon condensation effect. We warn that for the next generation of hadron colliders increasing the collision energies, the extremely strong gamma-rays will be emitted in a narrow space of the accelerator due to the gluon condensation effect. Such artificial mini gamma-ray-bursts in the laboratory may damage the detectors.


title: Viewpoint Invariant Dense Matching for Visual Geolocalization

abstract: In this paper we propose a novel method for image matching based on dense local features and tailored for visual geolocalization. Dense local features matching is robust against changes in illumination and occlusions, but not against viewpoint shifts which are a fundamental aspect of geolocalization. Our method, called GeoWarp, directly embeds invariance to viewpoint shifts in the process of extracting dense features. This is achieved via a trainable module which learns from the data an invariance that is meaningful for the task of recognizing places. We also devise a new self-supervised loss and two new weakly supervised losses to train this module using only unlabeled data and weak labels. GeoWarp is implemented efficiently as a re-ranking method that can be easily embedded into pre-existing visual geolocalization pipelines. Experimental validation on standard geolocalization benchmarks demonstrates that GeoWarp boosts the accuracy of state-of-the-art retrieval architectures. The code and trained models are available at https://github.com/gmberton/geo_warp


title: iRNN: Integer-only Recurrent Neural Network

abstract: Recurrent neural networks (RNN) are used in many real-world text and speech applications. They include complex modules such as recurrence, exponential-based activation, gate interaction, unfoldable normalization, bi-directional dependence, and attention. The interaction between these elements prevents running them on integer-only operations without a significant performance drop. Deploying RNNs that include layer normalization and attention on integer-only arithmetic is still an open problem. We present a quantization-aware training method for obtaining a highly accurate integer-only recurrent neural network (iRNN). Our approach supports layer normalization, attention, and an adaptive piecewise linear approximation of activations (PWL), to serve a wide range of RNNs on various applications. The proposed method is proven to work on RNN-based language models and challenging automatic speech recognition, enabling AI applications on the edge. Our iRNN maintains similar performance as its full-precision counterpart, their deployment on smartphones improves the runtime performance by $2\times$, and reduces the model size by $4\times$.


title: Towards Energy-Efficient and Secure Edge AI: A Cross-Layer Framework

abstract: The security and privacy concerns along with the amount of data that is required to be processed on regular basis has pushed processing to the edge of the computing systems. Deploying advanced Neural Networks (NN), such as deep neural networks (DNNs) and spiking neural networks (SNNs), that offer state-of-the-art results on resource-constrained edge devices is challenging due to the stringent memory and power/energy constraints. Moreover, these systems are required to maintain correct functionality under diverse security and reliability threats. This paper first discusses existing approaches to address energy efficiency, reliability, and security issues at different system layers, i.e., hardware (HW) and software (SW). Afterward, we discuss how to further improve the performance (latency) and the energy efficiency of Edge AI systems through HW/SW-level optimizations, such as pruning, quantization, and approximation. To address reliability threats (like permanent and transient faults), we highlight cost-effective mitigation techniques, like fault-aware training and mapping. Moreover, we briefly discuss effective detection and protection techniques to address security threats (like model and data corruption). Towards the end, we discuss how these techniques can be combined in an integrated cross-layer framework for realizing robust and energy-efficient Edge AI systems.


title: Similarity of competing risks models with constant intensities in an application to clinical healthcare pathways involving prostate cancer surgery

abstract: The recent availability of routine medical data, especially in a university-clinical context, may enable the discovery of typical healthcare pathways, i.e., typical temporal sequences of clinical interventions or hospital readmissions. However, such pathways are heterogeneous in a large provider such as a university hospital, and it is important to identify similar care pathways that can still be considered typical pathways. We understand the pathway as a temporal process with possible transitions from a single initial treatment state to hospital readmission of different types, which constitutes a competing risk setting. In this paper, we propose a multi-state model-based approach to uncover pathway similarity between two groups of individuals. We describe a new bootstrap procedure for testing the similarity of transition intensities from two competing risk models with constant transition intensities. In a large simulation study, we investigate the performance of our similarity approach with respect to different sample sizes and different similarity thresholds. The studies are motivated by an application from urological clinical routine and we show how the results can be transferred to the application example.


title: SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization

abstract: Algorithm parameters, in particular hyperparameters of machine learning algorithms, can substantially impact their performance. To support users in determining well-performing hyperparameter configurations for their algorithms, datasets and applications at hand, SMAC3 offers a robust and flexible framework for Bayesian Optimization, which can improve performance within a few evaluations. It offers several facades and pre-sets for typical use cases, such as optimizing hyperparameters, solving low dimensional continuous (artificial) global optimization problems and configuring algorithms to perform well across multiple problem instances. The SMAC3 package is available under a permissive BSD-license at https://github.com/automl/SMAC3.


title: Weak Signals in the Mobility Landscape: Car Sharing in Ten European Cities

abstract: Car sharing is one the pillars of a smart transportation infrastructure, as it is expected to reduce traffic congestion, parking demands and pollution in our cities. From the point of view of demand modelling, car sharing is a weak signal in the city landscape: only a small percentage of the population uses it, and thus it is difficult to study reliably with traditional techniques such as households travel diaries. In this work, we depart from these traditional approaches and we leverage web-based, digital records about vehicle availability in 10 European cities for one of the major active car sharing operators. We discuss which sociodemographic and urban activity indicators are associated with variations in car sharing demand, which forecasting approach (among the most popular in the related literature) is better suited to predict pickup and drop-off events, and how the spatio-temporal information about vehicle availability can be used to infer how different zones in a city are used by customers. We conclude the paper by presenting a direct application of the analysis of the dataset, aimed at identifying where to locate maintenance facilities within the car sharing operation area.


title: Revisiting the Characteristics of Stochastic Gradient Noise and Dynamics

abstract: In this paper, we characterize the noise of stochastic gradients and analyze the noise-induced dynamics during training deep neural networks by gradient-based optimizers. Specifically, we firstly show that the stochastic gradient noise possesses finite variance, and therefore the classical Central Limit Theorem (CLT) applies; this indicates that the gradient noise is asymptotically Gaussian. Such an asymptotic result validates the wide-accepted assumption of Gaussian noise. We clarify that the recently observed phenomenon of heavy tails within gradient noise may not be intrinsic properties, but the consequence of insufficient mini-batch size; the gradient noise, which is a sum of limited i.i.d. random variables, has not reached the asymptotic regime of CLT, thus deviates from Gaussian. We quantitatively measure the goodness of Gaussian approximation of the noise, which supports our conclusion. Secondly, we analyze the noise-induced dynamics of stochastic gradient descent using the Langevin equation, granting for momentum hyperparameter in the optimizer with a physical interpretation. We then proceed to demonstrate the existence of the steady-state distribution of stochastic gradient descent and approximate the distribution at a small learning rate.


title: A Hybrid Symbolic/Numeric Solution To Polynomial SEM

abstract: There are many approaches to nonlinear SEM (structural equation modeling) but it seems that a rather straightforward approach using Isserlis' theorem has not yet been investigated although it allows the direct extension of the standard linear approach to nonlinear linear SEM. The reason may be that this method requires some symbolic calculations done at runtime. This paper describes the class of appropriate models and outlines the algorithm that calculates the covariance matrix and higher moments. Simulation studies show that the method works very well and especially that tricky models can be estimated accurately by taking higher movements into account, too.


title: Fast Projection Onto Convex Smooth Constraints

abstract: The Euclidean projection onto a convex set is an important problem that arises in numerous constrained optimization tasks. Unfortunately, in many cases, computing projections is computationally demanding. In this work, we focus on projection problems where the constraints are smooth and the number of constraints is significantly smaller than the dimension. The runtime of existing approaches to solving such problems is either cubic in the dimension or polynomial in the inverse of the target accuracy. Conversely, we propose a simple and efficient primal-dual approach, with a runtime that scales only linearly with the dimension, and only logarithmically in the inverse of the target accuracy. We empirically demonstrate its performance, and compare it with standard baselines.


title: On lax epimorphisms and the associated factorization

abstract: We study lax epimorphisms in 2-categories, with special attention to $\mathsf{Cat}$ and $\mathcal{V}$-$\mathsf{Cat}$. We show that any 2-category with convenient colimits has an orthogonal $LaxEpi$-factorization system, and we give a concrete description of this factorization in $\mathsf{Cat}$.


title: Physics-Guided and Physics-Explainable Recurrent Neural Network for Time Dynamics in Optical Resonances

abstract: Understanding the time evolution of physical systems is crucial to revealing fundamental characteristics that are hidden in frequency domain. In optical science, high-quality resonance cavities and enhanced interactions with matters are at the heart of modern quantum technologies. However, capturing their time dynamics in real-world scenarios suffers from long data acquisition and low analysis accuracy due to slow convergence and limited time window. Here, we report a physics-guided and physics-explainable recurrent neural network to precisely forecast the time-domain response of resonance features with the shortest acquired input sequence being 7\% of full length, and to infer corresponding resonance frequencies. The model is trained in a two-step multi-fidelity framework for high-accuracy forecast, where the first step is based on a large amount of low-fidelity physical-model-generated synthetic data and second step involves a small set of high-fidelity application-oriented observational data. Through both simulations and experiments, we demonstrate that the model is universally applicable to a wide range of resonances, including dielectric metasurfaces, graphene plasmonics, and ultrastrongly coupled Landau polaritons, where our model accurately captures small signal features and learns essential physical quantities. The demonstrated machine learning algorithm offers a new way to accelerate the exploration of physical phenomena and the design of devices under resonance-enhanced light-matter interaction.


title: Robust Multi-Robot Active Target Tracking Against Sensing and Communication Attacks

abstract: The problem of multi-robot target tracking asks for actively planning the joint motion of robots to track targets. In this paper, we focus on such target tracking problems in adversarial environments, where attacks or failures may deactivate robots' sensors and communications. In contrast to the previous works that consider no attacks or sensing attacks only, we formalize the first robust multi-robot tracking framework that accounts for any fixed numbers of worst-case sensing and communication attacks. To secure against such attacks, we design the first robust planning algorithm, named Robust Active Target Tracking (RATT), which approximates the communication attacks to equivalent sensing attacks and then optimizes against the approximated and original sensing attacks. We show that RATT provides provable suboptimality bounds on the tracking quality for any non-decreasing objective function. Our analysis utilizes the notations of curvature for set functions introduced in combinatorial optimization. In addition, RATT runs in polynomial time and terminates with the same running time as state-of-the-art algorithms for (non-robust) target tracking. Finally, we evaluate RATT with both qualitative and quantitative simulations across various scenarios. In the evaluations, RATT exhibits a tracking quality that is near-optimal and superior to varying non-robust heuristics. We also demonstrate RATT's superiority and robustness against varying attack models (e.g., worst-case and bounded rational attacks).


title: A Shortcut to Self-Consistent Light-Matter Interaction and Realistic Spectra from First-Principles

abstract: We introduce a simple approach how an electromagnetic environment can be efficiently embedded into state-of-the-art electronic structure methods, taking the form of radiation-reaction forces. We demonstrate that this self-consistently provides access to radiative emission, natural linewidth, Lamb shifts, strong-coupling, electromagnetically induced transparency, Purcell-enhanced and superradiant emission. As an example, we illustrate its seamless integration into time-dependent density-functional theory with virtually no additional cost, presenting a convenient shortcut to light-matter interactions.


title: Sequential Joint Shape and Pose Estimation of Vehicles with Application to Automatic Amodal Segmentation Labeling

abstract: Shape and pose estimation is a critical perception problem for a self-driving car to fully understand its surrounding environment. One fundamental challenge in solving this problem is the incomplete sensor signal (e.g., LiDAR scans), especially for faraway or occluded objects. In this paper, we propose a novel algorithm to address this challenge, which explicitly leverages the sensor signal captured over consecutive time: the consecutive signals can provide more information about an object, including different viewpoints and its motion. By encoding the consecutive signals via a recurrent neural network, not only our algorithm improves the shape and pose estimates, but also produces a labeling tool that can benefit other tasks in autonomous driving research. Specifically, building upon our algorithm, we propose a novel pipeline to automatically annotate high-quality labels for amodal segmentation on images, which are hard and laborious to annotate manually. Our code and data will be made publicly available.


title: On the influence of gravity in the dynamics of geophysical flows

abstract: In the present paper, we study a multiscale limit for the barotropic Navier-Stokes system with Coriolis and gravitational forces, for vanishing values of the Mach, Rossby and Froude numbers ($\rm Ma$, $\rm Ro$ and $\rm Fr$, respectively). The focus here is on the effects of gravity: albeit remaining in a low stratification regime ${\rm Ma}/{\rm Fr}\,\rightarrow\,0$, we consider scaling for the Froude number which go beyond the "critical" value $\rm Fr\,=\,\sqrt{\rm Ma}$. The rigorous derivation of suitable limiting systems for the various choices of the scaling is shown by means of a compensated compactness argument. Exploiting the precise structure of the gravitational force is the key to get the convergence.


title: Path homology of directed hypergraphs

abstract: We describe various path homology theories constructed for a directed hypergraph. We introduce the category of directed hypergraphs and the notion of a homotopy in this category. Also, we investigate the functoriality and the homotopy invariance of the introduced path homology groups. We provide examples of computation of these homology groups.


title: System Size and Flavour Dependence of Chemical Freeze-out Temperatures in ALICE Data from pp, pPb and PbPb Collisions at LHC Energies

abstract: We present the system size and flavour dependence of the chemical freeze-out temperature ($T_\mathrm{ch}$) at vanishing baryo-chemical potential calculated via thermal fits to experimental yields for several multiplicity classes in pp, pPb and PbPb collisions measured by ALICE. Using the Thermal-FIST Hadron Resonance Gas model package, we compare the quality of fits across various treatments of strangeness conservation under different freeze-out conditions as a function of the charged particle multiplicity density $\big \langle dN_\mathrm{ch}/d\eta \big \rangle$. Additionally, we examine how the anti-hadron to pion yield ratios of light and strange baryons, as well as the $\phi$ meson, evolve within a flavour-dependent model. Through a unique two-temperature chemical freeze-out approach, we show that flavour dependence of $T_\mathrm{ch}$ in a Strangeness Canonical Ensemble leads to a natural explanation of strangeness enhancement from small to large systems at LHC energies without requiring any non-equilibrium particle production at small $\big \langle dN_\mathrm{ch}/d\eta \big \rangle$.


title: Assessing clinical utility of Machine Learning and Artificial Intelligence approaches to analyze speech recordings in Multiple Sclerosis: A Pilot Study

abstract: Background: An early diagnosis together with an accurate disease progression monitoring of multiple sclerosis is an important component of successful disease management. Prior studies have established that multiple sclerosis is correlated with speech discrepancies. Early research using objective acoustic measurements has discovered measurable dysarthria. Objective: To determine the potential clinical utility of machine learning and deep learning/AI approaches for the aiding of diagnosis, biomarker extraction and progression monitoring of multiple sclerosis using speech recordings. Methods: A corpus of 65 MS-positive and 66 healthy individuals reading the same text aloud was used for targeted acoustic feature extraction utilizing automatic phoneme segmentation. A series of binary classification models was trained, tuned, and evaluated regarding their Accuracy and area-under-curve. Results: The Random Forest model performed best, achieving an Accuracy of 0.82 on the validation dataset and an area-under-curve of 0.76 across 5 k-fold cycles on the training dataset. 5 out of 7 acoustic features were statistically significant. Conclusion: Machine learning and artificial intelligence in automatic analyses of voice recordings for aiding MS diagnosis and progression tracking seems promising. Further clinical validation of these methods and their mapping onto multiple sclerosis progression is needed, as well as a validating utility for English-speaking populations.


title: Variational Embedding Multiscale Sample Entropy:complexity-based analysis for multichannel systems

abstract: To quantify the complexity of a system, entropy-based methods have received considerable critical attentions in real-world data analysis. Among numerous entropy algorithms, amplitude-based formulas, represented by Sample Entropy, suffer from a limitation of data length especially when it comes to practical scenarios. And this shortcoming is further highlighted by involving coarse graining procedure in multi-scale process. The unbalance between embedding dimension and data size will undoubtedly result in inaccurate and undefined estimation. To that cause, Variational Embedding Multiscale Sample Entropy is proposed in this paper, which assigns signals from various channels with distinct embedding dimensions. And this algorithm is tested by both stimulated and real signals. Furthermore, the performance of the new entropy is investigated and compared with Multivariate Multiscale Sample Entropy and Variational Embedding Multiscale Diversity Entropy. Two real-world database, wind data sets with varying regimes and physiological database recorded from young and elderly people, were utilized. As a result, the proposed algorithm gives an improved separation for both situations.


title: Easing Reliance on Collision-free Planning with Contact-aware Control

abstract: We believe that the future of robot motion planning will look very different than how it looks today: instead of complex collision avoidance trajectories with a brittle dependence on sensing and estimation of the environment, motion plans should consist of smooth, simple trajectories and be executed by robots that are not afraid of making contact. Here we present a "contact-aware" controller which continues to execute a given trajectory despite unexpected collisions while keeping the contact force stable and small. We introduce a quadratic programming (QP) formulation, which minimizes a trajectory-tracking error subject to quasistatic dynamics and contact-force constraints. Compared with the classical null-space projection technique, the inequality constraint on contact forces in the proposed QP controller allows for more gentle release when the robot comes out of contact. In the quasistatic dynamics model, control actions consist only of commanded joint positions, allowing the QP controller to run on stiffness-controlled robots which do not have a straightforward torque-control interface nor accurate dynamic models. The effectiveness of the proposed QP controller is demonstrated on a KUKA iiwa arm.


title: Fast TreeSHAP: Accelerating SHAP Value Computation for Trees

abstract: SHAP (SHapley Additive exPlanation) values are one of the leading tools for interpreting machine learning models, with strong theoretical guarantees (consistency, local accuracy) and a wide availability of implementations and use cases. Even though computing SHAP values takes exponential time in general, TreeSHAP takes polynomial time on tree-based models. While the speedup is significant, TreeSHAP can still dominate the computation time of industry-level machine learning solutions on datasets with millions or more entries, causing delays in post-hoc model diagnosis and interpretation service. In this paper we present two new algorithms, Fast TreeSHAP v1 and v2, designed to improve the computational efficiency of TreeSHAP for large datasets. We empirically find that Fast TreeSHAP v1 is 1.5x faster than TreeSHAP while keeping the memory cost unchanged. Similarly, Fast TreeSHAP v2 is 2.5x faster than TreeSHAP, at the cost of a slightly higher memory usage, thanks to the pre-computation of expensive TreeSHAP steps. We also show that Fast TreeSHAP v2 is well-suited for multi-time model interpretations, resulting in as high as 3x faster explanation of newly incoming samples.


title: Counting extensions of imaginary quadratic fields

abstract: The goal is to obtain an asymptotic formula for the number of quadratic extensions with bounded discriminant of a some quadratic number field with odd class number. This extends an already known result for Q.


title: Determination of positive anode sheath in anodic carbon arc for synthesis of nanomaterials

abstract: In the atmospheric pressure anodic carbon arc, ablation of the anode serves as a feedstock of carbon for production of nanomaterials. It is known that the ablation of the graphite anode in this arc can have two distinctive modes with low and high ablation rates. The transition between these modes is governed by the power deposition at the arc attachment to the anode and depends on the gap between the anode and the cathode electrodes. Probe measurements combined with optical emission spectroscopy (OES) are used to analyze the voltage drop between the arc electrodes. These measurements corroborated previous predictions of a positive anode sheath (i.e. electron attracting sheath) in this arc, which appears in both low and high ablation modes. Another key result is a relatively low electron temperature (~ 0.6 eV) obtained from OES using a collisional radiative model. This result partially explains a higher arc voltage (~ 20 V) required to sustain the arc current of 50-70 A than predicted by existing simulations of this discharge.


title: Balanced-MixUp for Highly Imbalanced Medical Image Classification

abstract: Highly imbalanced datasets are ubiquitous in medical image classification problems. In such problems, it is often the case that rare classes associated to less prevalent diseases are severely under-represented in labeled databases, typically resulting in poor performance of machine learning algorithms due to overfitting in the learning process. In this paper, we propose a novel mechanism for sampling training data based on the popular MixUp regularization technique, which we refer to as Balanced-MixUp. In short, Balanced-MixUp simultaneously performs regular (i.e., instance-based) and balanced (i.e., class-based) sampling of the training data. The resulting two sets of samples are then mixed-up to create a more balanced training distribution from which a neural network can effectively learn without incurring in heavily under-fitting the minority classes. We experiment with a highly imbalanced dataset of retinal images (55K samples, 5 classes) and a long-tail dataset of gastro-intestinal video frames (10K images, 23 classes), using two CNNs of varying representation capabilities. Experimental results demonstrate that applying Balanced-MixUp outperforms other conventional sampling schemes and loss functions specifically designed to deal with imbalanced data. Code is released at https://github.com/agaldran/balanced_mixup .


title: Variable Selection in GLM and Cox Models with Second-Generation P-Values

abstract: Variable selection has become a pivotal choice in data analyses that impacts subsequent inference and prediction. In linear models, variable selection using Second-Generation P-Values (SGPV) has been shown to be as good as any other algorithm available to researchers. Here we extend the idea of Penalized Regression with Second-Generation P-Values (ProSGPV) to the generalized linear model (GLM) and Cox regression settings. The proposed ProSGPV extension is largely free of tuning parameters, adaptable to various regularization schemes and null bound specifications, and is computationally fast. Like in the linear case, it excels in support recovery and parameter estimation while maintaining strong prediction performance. The algorithm also preforms as well as its competitors in the high dimensional setting (n>p). Slight modifications of the algorithm improve its performance when data are highly correlated or when signals are dense. This work significantly strengthens the case for the ProSGPV approach to variable selection.


title: C/2014 UN271 (Bernardinelli-Bernstein): the nearly spherical cow of comets

abstract: C/2014 UN271 (Bernardinelli-Bernstein) is a comet incoming from the Oort cloud which is remarkable in having the brightest (and presumably largest) nucleus of any well-measured comet, and having been discovered at heliocentric distance $r_h\approx29$ au farther than any Oort-cloud member. We describe the properties that can be inferred from images recorded until the first reports of activity in June 2021. The orbit has $i=95^\circ,$ with perihelion of 10.97 au to be reached in 2031, and previous aphelion at $40,400\pm260$ au. Backwards integration of the orbit under a standard Galactic tidal model and known stellar encounters suggests this is a pristine new comet, with a perihelion of $q\approx18$ au on its previous perihelion passage 3.5 Myr ago. The photometric data show an unresolved nucleus with absolute magnitude $H_r=8.0,$ colors that are typical of comet nuclei or Damocloids, and no secular trend as it traversed the range 34--23 au. For $r$-band geometric albedo $p_r,$ this implies a diameter of $150 (p_r/0.04)^{-0.5}$ km. There is strong evidence of brightness fluctuations at $\pm0.2$ mag level, but no rotation period can be discerned. A coma consistent with a ``stationary' $1/\rho$ surface-brightness distribution grew in scattering cross-section at an exponential rate from $A f \rho\approx1$ m to $\approx150$ m as the comet approached from 28 to 20 au. The activity is consistent with a simple model of sublimation of a surface species in radiative equilibrium with the Sun. The inferred enthalpy of sublimation matches those of $CO_2$ and $NH_3$. More-volatile species -- $N_2,$ $CH_4,$ and $CO$ -- must be far less abundant on the sublimating surfaces.


title: StreamSide: A Fully-Customizable Open-Source Toolkit for Efficient Annotation of Meaning Representations

abstract: This demonstration paper presents StreamSide, an open-source toolkit for annotating multiple kinds of meaning representations. StreamSide supports frame-based annotation schemes e.g., Abstract Meaning Representation (AMR) and frameless annotation schemes e.g., Widely Interpretable Semantic Representation (WISeR). Moreover, it supports both sentence-level and document-level annotation by allowing annotators to create multi-rooted graphs for input text. It can open and automatically convert between several types of input formats including plain text, Penman notation, and its own JSON format enabling richer annotation. It features reference frames for AMR predicate argument structures, and also concept-to-text alignment. StreamSide is released under the Apache 2.0 license, and is completely open-source so that it can be customized to annotate enriched meaning representations in different languages (e.g., Uniform Meaning Representations). All StreamSide resources are publicly distributed through our open source project at: https://github.com/emorynlp/StreamSide.


title: Object Detection in Thermal Spectrum for Advanced Driver-Assistance Systems (ADAS)

abstract: Object detection in thermal infrared spectrum provides more reliable data source in low-lighting conditions and different weather conditions, as it is useful both in-cabin and outside for pedestrian, animal, and vehicular detection as well as for detecting street-signs & lighting poles. This paper is about exploring and adapting state-of-the-art object detection and classifier framework on thermal vision with seven distinct classes for advanced driver-assistance systems (ADAS). The trained network variants on public datasets are validated on test data with three different test approaches which include test-time with no augmentation, test-time augmentation, and test-time with model ensembling. Additionally, the efficacy of trained networks is tested on locally gathered novel test-data captured with an uncooled LWIR prototype thermal camera in challenging weather and environmental scenarios. The performance analysis of trained models is investigated by computing precision, recall, and mean average precision scores (mAP). Furthermore, the trained model architecture is optimized using TensorRT inference accelerator and deployed on resource-constrained edge hardware Nvidia Jetson Nano to explicitly reduce the inference time on GPU as well as edge devices for further real-time onboard installations.


title: Reinforcement Learning for Finite-Horizon Restless Multi-Armed Multi-Action Bandits

abstract: We study a finite-horizon restless multi-armed bandit problem with multiple actions, dubbed R(MA)^2B. The state of each arm evolves according to a controlled Markov decision process (MDP), and the reward of pulling an arm depends on both the current state of the corresponding MDP and the action taken. The goal is to sequentially choose actions for arms so as to maximize the expected value of the cumulative rewards collected. Since finding the optimal policy is typically intractable, we propose a computationally appealing index policy which we call Occupancy-Measured-Reward Index Policy. Our policy is well-defined even if the underlying MDPs are not indexable. We prove that it is asymptotically optimal when the activation budget and number of arms are scaled up, while keeping their ratio as a constant. For the case when the system parameters are unknown, we develop a learning algorithm. Our learning algorithm uses the principle of optimism in the face of uncertainty and further uses a generative model in order to fully exploit the structure of Occupancy-Measured-Reward Index Policy. We call it the R(MA)^2B-UCB algorithm. As compared with the existing algorithms, R(MA)^2B-UCB performs close to an offline optimum policy, and also achieves a sub-linear regret with a low computational complexity. Experimental results show that R(MA)^2B-UCB outperforms the existing algorithms in both regret and run time.


title: SFFDD: Deep Neural Network with Enriched Features for Failure Prediction with Its Application to Computer Disk Driver

abstract: A classification technique incorporating a novel feature derivation method is proposed for predicting failure of a system or device with multivariate time series sensor data. We treat the multivariate time series sensor data as images for both visualization and computation. Failure follows various patterns which are closely related to the root causes. Different predefined transformations are applied on the original sensors data to better characterize the failure patterns. In addition to feature derivation, ensemble method is used to further improve the performance. In addition, a general algorithm architecture of deep neural network is proposed to handle multiple types of data with less manual feature engineering. We apply the proposed method on the early predict failure of computer disk drive in order to improve storage systems availability and avoid data loss. The classification accuracy is largely improved with the enriched features, named smart features.


title: One-loop renormalisation of cubic gravity in six dimensions

abstract: We present the complete set of universal one-loop beta functions of cubic gravity in six dimensions. The system admits over 8000 distinct fixed points, of which more than 200 are real. Some of them might be relevant for the quantisation of gravity in the physical case of four dimensions.


title: Intensionalizing Abstract Meaning Representations: Non-Veridicality and Scope

abstract: Abstract Meaning Representation (AMR) is a graphical meaning representation language designed to represent propositional information about argument structure. However, at present it is unable to satisfyingly represent non-veridical intensional contexts, often licensing inappropriate inferences. In this paper, we show how to resolve the problem of non-veridicality without appealing to layered graphs through a mapping from AMRs into Simply-Typed Lambda Calculus (STLC). At least for some cases, this requires the introduction of a new role :content which functions as an intensional operator. The translation proposed is inspired by the formal linguistics literature on the event semantics of attitude reports. Next, we address the interaction of quantifier scope and intensional operators in so-called de re/de dicto ambiguities. We adopt a scope node from the literature and provide an explicit multidimensional semantics utilizing Cooper storage which allows us to derive the de re and de dicto scope readings as well as intermediate scope readings which prove difficult for accounts without a scope node.


title: Sharp global convergence guarantees for iterative nonconvex optimization: A Gaussian process perspective

abstract: We consider a general class of regression models with normally distributed covariates, and the associated nonconvex problem of fitting these models from data. We develop a general recipe for analyzing the convergence of iterative algorithms for this task from a random initialization. In particular, provided each iteration can be written as the solution to a convex optimization problem satisfying some natural conditions, we leverage Gaussian comparison theorems to derive a deterministic sequence that provides sharp upper and lower bounds on the error of the algorithm with sample-splitting. Crucially, this deterministic sequence accurately captures both the convergence rate of the algorithm and the eventual error floor in the finite-sample regime, and is distinct from the commonly used "population" sequence that results from taking the infinite-sample limit. We apply our general framework to derive several concrete consequences for parameter estimation in popular statistical models including phase retrieval and mixtures of regressions. Provided the sample size scales near-linearly in the dimension, we show sharp global convergence rates for both higher-order algorithms based on alternating updates and first-order algorithms based on subgradient descent. These corollaries, in turn, yield multiple consequences, including: (a) Proof that higher-order algorithms can converge significantly faster than their first-order counterparts (and sometimes super-linearly), even if the two share the same population update and (b) Intricacies in super-linear convergence behavior for higher-order algorithms, which can be nonstandard (e.g., with exponent 3/2) and sensitive to the noise level in the problem. We complement these results with extensive numerical experiments, which show excellent agreement with our theoretical predictions.


title: Coprime Mappings and Lonely Runners

abstract: For $x$ real, let $ \{ x \}$ be the fractional part of $x$ (i.e. $\{x\} = x - \lfloor x \rfloor $). The lonely runner conjecture can be stated as follows: for any $n$ positive integers $ v_1 < v_2 < \dots < v_n $ there exists a real number $t$ such that $ 1/(n+1) \le \{ v_i t\} \le n/(n+1) $ for $ i = 1, \dots, n$. In this paper we prove that if $ \epsilon >0 $ and $n$ is sufficiently large (relative to $\epsilon$) then such a $t$ exists for any collection of positive integers $ v_1 < v_2 < \dots < v_n$ such that $ v_n < (2-\epsilon)n$. This is an approximate version of a natural next step for the study of the lonely runner conjecture suggested by Tao. The key ingredient in our proof is a result on coprime mappings. Let $A$ and $B$ be sets of integers. A bijection $ f:A \to B$ is a coprime mapping if $ a $ and $f(a)$ are coprime for every $ a \in A$. We show that if $A,B \subset [n]$ are intervals of length $2m$ where $ m = e^{ \Omega({(\log\log n)}^2)}$ then there exists a coprime mapping from $A$ to $B$. We do not believe that this result is sharp.


title: Generalized dynamic cognitive hierarchy models for strategic driving behavior

abstract: While there has been an increasing focus on the use of game theoretic models for autonomous driving, empirical evidence shows that there are still open questions around dealing with the challenges of common knowledge assumptions as well as modeling bounded rationality. To address some of these practical challenges, we develop a framework of generalized dynamic cognitive hierarchy for both modelling naturalistic human driving behavior as well as behavior planning for autonomous vehicles (AV). This framework is built upon a rich model of level-0 behavior through the use of automata strategies, an interpretable notion of bounded rationality through safety and maneuver satisficing, and a robust response for planning. Based on evaluation on two large naturalistic datasets as well as simulation of critical traffic scenarios, we show that i) automata strategies are well suited for level-0 behavior in a dynamic level-k framework, and ii) the proposed robust response to a heterogeneous population of strategic and non-strategic reasoners can be an effective approach for game theoretic planning in AV.


title: Language Identification with a Reciprocal Rank Classifier

abstract: Language identification is a critical component of language processing pipelines (Jauhiainen et al.,2019) and is not a solved problem in real-world settings. We present a lightweight and effective language identifier that is robust to changes of domain and to the absence of copious training data. The key idea for classification is that the reciprocal of the rank in a frequency table makes an effective additive feature score, hence the term Reciprocal Rank Classifier (RRC). The key finding for language classification is that ranked lists of words and frequencies of characters form a sufficient and robust representation of the regularities of key languages and their orthographies. We test this on two 22-language data sets and demonstrate zero-effort domain adaptation from a Wikipedia training set to a Twitter test set. When trained on Wikipedia but applied to Twitter the macro-averaged F1-score of a conventionally trained SVM classifier drops from 90.9% to 77.7%. By contrast, the macro F1-score of RRC drops only from 93.1% to 90.6%. These classifiers are compared with those from fastText and langid. The RRC performs better than these established systems in most experiments, especially on short Wikipedia texts and Twitter. The RRC classifier can be improved for particular domains and conversational situations by adding words to the ranked lists. Using new terms learned from such conversations, we demonstrate a further 7.9% increase in accuracy of sample message classification, and 1.7% increase for conversation classification. Surprisingly, this made results on Twitter data slightly worse. The RRC classifier is available as an open source Python package (https://github.com/LivePersonInc/lplangid).


title: Neural Network Based Pore Flow Field Prediction in Porous Media Using Super Resolution

abstract: Direct pore-scale simulations of fluid flow through porous media are computationally expensive to perform for realistic systems. Previous works have demonstrated using the geometry of the microstructure of porous media to predict the velocity fields therein based on neural networks. However, such trained neural networks do not perform well for unseen porous media with a large degree of heterogeneity. In this study we propose that incorporating a coarse velocity field in the input of neural networks is an effective way to improve the prediction performance. The coarse velocity field can be simulated with a low computational cost and provides global information to regularize the ill-posedness of the learning problem, which is usually caused by the use of local geometries due to the computational resource constraints. We show that incorporating the coarse-mesh velocity field significantly improves the prediction accuracy of the fine-mesh velocity field by comparison to the prediction that relies on geometric information alone, especially for the porous medium with a large interior vuggy pore space. We also show the flexibility of training the network in using coarse velocity fields with various resolutions. The results suggest that even using coarse velocity field with a very low resolution, the predictions are still enhanced and close to the ground truths. The feasibility of the method is further demonstrated by testing the trained network on real rocks. This study highlights the merits of incorporating a coarse-mesh velocity field into the input for neural networks, which provides global, physics-based information for the model, thereby improving the model's generalization capability.


title: Severi varieties on blow--ups of the symmetric square of an elliptic curve

abstract: We prove that certain Severi varieties of nodal curves of positive genus on general blow-ups of the twofold symmetric product of a general elliptic curve are non-empty and smooth of the expected dimension. This result, besides its intrinsic value, is an important preliminary step for the proof of nonemptiness of Severi varieties on general Enriques surfaces in arXiv:2109.10735.


title: Singularities and Soft-Big Bang in a viscous $\Lambda$CDM model

abstract: In this paper we explore the different types of singularities that arise in the $\Lambda$CDM model when dissipative processes are considered, in the framework of the Eckart's theory. In particular, we study the late-time behavior of $\Lambda$CDM model with viscous cold dark matter (CDM) and an early-time viscous radiation domination era with cosmological constant (CC). The fluids are described by the barotropic equation of state (EoS) $p=(\gamma-1)\rho$, where $p$ is the equilibrium pressure of the fluid, $\rho$ their energy density, and $\gamma$ is the barotropic index. We explore two particular cases for the bulk viscosity $\xi$, a constant bulk viscosity $\xi=\xi_{0}$, and a bulk viscosity proportional to the energy density of the fluid $\xi=\xi_{0}\rho$. Due to some previous investigations that have explored to describe the behavior of the universe with a negative CC, we extend our analysis to this case. We found that future singularities like Big-Rip are allowed but without having a phantom EoS associated to the DE fluid. Big-Crunch singularities also appears when a negative CC is present, but also de Sitter and even Big-Rip types are allowed due to the negative pressure of the viscosity, which opens the possibility of an accelerated expansion in AdS cosmologies. We also discuss a very particular solution without Big Bang singularity that arises in the early-time radiation dominant era of our model known as Soft-Big Bang.


title: Triple Ladder Lumped Circuit with Sixth Order Modal Exceptional Degeneracy

abstract: We introduce a circuit topology based on a simple triple-ladder circuit realized with lumped reactive components that provides a sixth order degenerate band-edge (6DBE). The 6DBE is a special kind of sixth-order exceptional point of degeneracy in a lossless and gainless periodic ladder. This degeneracy provides a very flat band edge in the phase-frequency dispersion diagram. The proposed topology exhibits unique structured resonance features associated with a high loaded Q-factor. We investigate the Floquet-Bloch modes in an infinite-length periodic triple-ladder and their dispersion relation using the S parameter formalism. We also provide the approximate analytic expressions of the eigenmodes and dispersion relation around the degenerate point based on the Puiseux series expansion. We investigate the filtering characteristics of a finite-length structure terminated with loads to highlight the special properties of the 6DBE compared to ladders with regular band edge (RBE) and fourth order degenerate band edge (DBE). The circuit framework introduced here with a 6DBE can be exploited in designing novel high Q-factor oscillators, filters, sensors, and pulse shaping networks.


title: Stable rank for inclusions of Banach algebras

abstract: We give a formula for the stable rank of inclusions of unital Banach algebras in the sense of finite Watatani index. As an application we show that the stable rank of $\ell^1$-algebras of Disk algebras by any action of finite groups is 2.


title: ApproxIFER: A Model-Agnostic Approach to Resilient and Robust Prediction Serving Systems

abstract: Due to the surge of cloud-assisted AI services, the problem of designing resilient prediction serving systems that can effectively cope with stragglers/failures and minimize response delays has attracted much interest. The common approach for tackling this problem is replication which assigns the same prediction task to multiple workers. This approach, however, is very inefficient and incurs significant resource overheads. Hence, a learning-based approach known as parity model (ParM) has been recently proposed which learns models that can generate parities for a group of predictions in order to reconstruct the predictions of the slow/failed workers. While this learning-based approach is more resource-efficient than replication, it is tailored to the specific model hosted by the cloud and is particularly suitable for a small number of queries (typically less than four) and tolerating very few (mostly one) number of stragglers. Moreover, ParM does not handle Byzantine adversarial workers. We propose a different approach, named Approximate Coded Inference (ApproxIFER), that does not require training of any parity models, hence it is agnostic to the model hosted by the cloud and can be readily applied to different data domains and model architectures. Compared with earlier works, ApproxIFER can handle a general number of stragglers and scales significantly better with the number of queries. Furthermore, ApproxIFER is robust against Byzantine workers. Our extensive experiments on a large number of datasets and model architectures also show significant accuracy improvement by up to 58% over the parity model approaches.


title: Robustness Analysis of Deep Learning Frameworks on Mobile Platforms

abstract: With the recent increase in the computational power of modern mobile devices, machine learning-based heavy tasks such as face detection and speech recognition are now integral parts of such devices. This requires frameworks to execute machine learning models (e.g., Deep Neural Networks) on mobile devices. Although there exist studies on the accuracy and performance of these frameworks, the quality of on-device deep learning frameworks, in terms of their robustness, has not been systematically studied yet. In this paper, we empirically compare two on-device deep learning frameworks with three adversarial attacks on three different model architectures. We also use both the quantized and unquantized variants for each architecture. The results show that, in general, neither of the deep learning frameworks is better than the other in terms of robustness, and there is not a significant difference between the PC and mobile frameworks either. However, in cases like Boundary attack, mobile version is more robust than PC. In addition, quantization improves robustness in all cases when moving from PC to mobile.


title: A note on gradient Ricci soliton warped metrics

abstract: In this note, we prove triviality and nonexistence results for gradient Ricci soliton warped metrics. The proofs stem from the construction of gradient Ricci solitons that are realized as warped products, from which we know that the base spaces of these products are Ricci-Hessian type manifolds. We study this latter class of manifolds as the most appropriate setting to prove our results.


title: Overinference from Weak Signals and Underinference from Strong Signals

abstract: We study how overreaction and underreaction to signals depend on their informativeness. While a large literature has studied belief updating in response to highly informative signals, people in important real-world settings are often faced with a steady stream of weak signals. We use a tightly controlled experiment and new empirical evidence from betting and financial markets to demonstrate that updating behavior differs meaningfully by signal strength: across domains, our consistent and robust finding is overreaction to weak signals and underreaction to strong signals. Both sets of results align well with a simple theory of cognitive imprecision about signal informativeness. Our framework and findings can help harmonize apparently contradictory results from the experimental and empirical literatures.


title: Mode-by-mode Relative Binning: Fast Likelihood Estimation for Gravitational Waveforms with Spin-Orbit Precession and Multiple Harmonics

abstract: Faster likelihood evaluation enhances the efficiency of gravitational wave signal analysis. We present Mode-by-mode Relative Binning (MRB), a new method designed for obtaining fast and accurate likelihoods for advanced waveform models that include spin-orbit precession effects and multiple radiation harmonics from compact binary coalescence. Leveraging the "twisting-up" procedure of constructing precessing waveform modes from non-precessing ones, the new method mitigates degrade of relative binning accuracy due to interference from superimposed modes. Additionally, we supplement algorithms for optimizing the choice of frequency bins specific to any given strain signal under analysis. Using the new method, we are able to evaluate the likelihood with up to an order of magnitude reduction in the number of waveform model calls per frequency compared to the previously used relative binning scheme, and achieve better likelihood accuracy than is sufficient for obtaining source parameter posterior distributions that are indistinguishable from the exact ones.


title: Load Estimation for Electric Power Distribution Networks

abstract: Distribution Load Estimation (DLE) is a key function of Distribution Management System (DMS). In this paper a novel method for presenting historical load data in the form of Representative Load Curves (RLC) is presented. Adaptive Neuro-Fuzzy Inference Systems (ANFIS) is used in this regard to estimate the RLC. Accurate RLCs provide better pseudo-measurements for real-time load estimation in distribution networks. The performance of the proposed method is demonstrated on an 11kV radial distribution network with the aid of the MATLAB software. The mean absolute percent error (MAPE) criterion is used to quantify the accuracy of the estimated RLC.


title: Clique-Based Separators for Geometric Intersection Graphs

abstract: Let $F$ be a set of $n$ objects in the plane and let $G(F)$ be its intersection graph. A balanced clique-based separator of $G(F)$ is a set $S$ consisting of cliques whose removal partitions $G(F)$ into components of size at most $\delta n$, for some fixed constant $\delta<1$. The weight of a clique-based separator is defined as $\sum_{C\in S}\log (|C|+1)$. Recently De Berg et al. (SICOMP 2020) proved that if $S$ consists of convex fat objects, then $G(F)$ admits a balanced clique-based separator of weight $O(\sqrt{n})$. We extend this result in several directions, obtaining the following results. Map graphs admit a balanced clique-based separator of weight $O(\sqrt{n})$, which is tight in the worst case. Intersection graphs of pseudo-disks admit a balanced clique-based separator of weight $O(n^{2/3}\log n)$. If the pseudo-disks are polygonal and of total complexity $O(n)$ then the weight of the separator improves to $O(\sqrt{n}\log n)$. Intersection graphs of geodesic disks inside a simple polygon admit a balanced clique-based separator of weight $O(n^{2/3}\log n)$. Visibility-restricted unit-disk graphs in a polygonal domain with $r$ reflex vertices admit a balanced clique-based separator of weight $O(\sqrt{n}+r\log(n/r))$, which is tight in the worst case. These results immediately imply sub-exponential algorithms for MAXIMUM INDEPENDENT SET (and, hence, VERTEX COVER), for FEEDBACK VERTEX SET, and for $q$-COLORING for constant $q$ in these graph classes.


title: The cosmic coincidences of primordial-black-hole dark matter

abstract: If primordial black holes (PBHs) contribute more than 10 percent of the dark matter (DM) density, their energy density today is of the same order as that of the baryons. Such a cosmic coincidence might hint at a mutual origin for the formation scenario of PBHs and the baryon asymmetry of the Universe. Baryogenesis can be triggered by a sharp transition of the rolling rate of inflaton from slow-roll to (nearly) ultraslow-roll phases that produces large curvature perturbations for PBH formation in single-field inflationary models. We show that the baryogenesis requirement drives the PBH contribution to DM, along with the inferred PBH mass range, the resulting stochastic gravitational wave background frequency window, and the associated cosmic microwave background tensor-to-scalar ratio amplitude, into potentially observable regimes.


abstract: Hierarchical reinforcement learning has focused on discovering temporally extended actions, such as options, that can provide benefits in problems requiring extensive exploration. One promising approach that learns these options end-to-end is the option-critic (OC) framework. We examine and show in this paper that OC does not decompose a problem into simpler sub-problems, but instead increases the size of the search over policy space with each option considering the entire state space during learning. This issue can result in practical limitations of this method, including sample inefficient learning. To address this problem, we introduce Context-Specific Representation Abstraction for Deep Option Learning (CRADOL), a new framework that considers both temporal abstraction and context-specific representation abstraction to effectively reduce the size of the search over policy space. Specifically, our method learns a factored belief state representation that enables each option to learn a policy over only a subsection of the state space. We test our method against hierarchical, non-hierarchical, and modular recurrent neural network baselines, demonstrating significant sample efficiency improvements in challenging partially observable environments.


title: Proof of a conjectural supercongruence modulo $p^5$

abstract: In this paper we prove the supercongruence $$\sum_{n=0}^{(p-1)/2}\frac{6n+1}{256^n}\binom{2n}n^3\equiv p(-1)^{(p-1)/2}+(-1)^{(p-1)/2}\frac{7}{24}p^4B_{p-3}\pmod{p^5}$$ for any prime $p>3$, which was conjectured by Sun in 2019.