title: Magnetic, thermal, and topographic imaging with a nanometer-scale SQUID-on-cantilever scanning probe

abstract: Scanning superconducting quantum interference device (SQUID) microscopy is a magnetic imaging technique combining high-field sensitivity with nanometer-scale spatial resolution. State-of-the-art SQUID-on-tip probes are now playing an important role in mapping correlation phenomena, such as superconductivity and magnetism, which have recently been observed in two-dimensional van der Waals materials. Here, we demonstrate a scanning probe that combines the magnetic and thermal imaging provided by an on-tip SQUID with the tip-sample distance control and topographic contrast of a non-contact atomic force microscope (AFM). We pattern the nanometer-scale SQUID, including its weak-link Josephson junctions, via focused ion beam milling at the apex of a cantilever coated with Nb, yielding a sensor with an effective diameter of 365 nm, field sensitivity of 9.5 $\text{nT}/\sqrt{\text{Hz}}$ and thermal sensitivity of 620 $\text{nK}/\sqrt{\text{Hz}}$, operating in magnetic fields up to 1.0 T. The resulting SQUID-on-lever is a robust AFM-like scanning probe that expands the reach of sensitive nanometer-scale magnetic and thermal imaging beyond what is currently possible.


title: First Direct Measurement of an Astrophysical p-Process Reaction Cross Section Using a Radioactive Ion Beam

abstract: We have performed the first direct measurement of the 83Rb(p,g) radiative capture reaction cross section in inverse kinematics using a radioactive beam of 83Rb at incident energies of 2.4 and 2.7 A MeV. The measured cross section at an effective relative kinetic energy of Ecm = 2.393 MeV, which lies within the relevant energy window for core collapse supernovae, is smaller than the prediction of statistical model calculations. This leads to the abundance of 84Sr produced in the astrophysical p process being higher than previously calculated. Moreover, the discrepancy of the present data with theoretical predictions indicates that further experimental investigation of p-process reactions involving unstable projectiles is clearly warranted.


title: Automatic Reuse, Adaption, and Execution of Simulation Experiments via Provenance Patterns

abstract: Simulation experiments are typically conducted repeatedly during the model development process, for example, to re-validate if a behavioral property still holds after several model changes. Approaches for automatically reusing and generating simulation experiments can support modelers in conducting simulation studies in a more systematic and effective manner. They rely on explicit experiment specifications and, so far, on user interaction for initiating the reuse. Thereby, they are constrained to support the reuse of simulation experiments in a specific setting. Our approach now goes one step further by automatically identifying and adapting the experiments to be reused for a variety of scenarios. To achieve this, we exploit provenance graphs of simulation studies, which provide valuable information about the previous modeling and experimenting activities, and contain meta-information about the different entities that were used or produced during the simulation study. We define provenance patterns and associate them with a semantics, which allows us to interpret the different activities, and construct transformation rules for provenance graphs. Our approach is implemented in a Reuse and Adapt framework for Simulation Experiments (RASE) which can interface with various modeling and simulation tools. In the case studies, we demonstrate the utility of our framework for a) the repeated sensitivity analysis of an agent-based model of migration routes, and b) the cross-validation of two models of a cell signaling pathway.


title: PETGEN: Personalized Text Generation Attack on Deep Sequence Embedding-based Classification Models

abstract: What should a malicious user write next to fool a detection model? Identifying malicious users is critical to ensure the safety and integrity of internet platforms. Several deep learning-based detection models have been created. However, malicious users can evade deep detection models by manipulating their behavior, rendering these models of little use. The vulnerability of such deep detection models against adversarial attacks is unknown. Here we create a novel adversarial attack model against deep user sequence embedding based classification models, which use the sequence of user posts to generate user embeddings and detect malicious users. In the attack, the adversary generates a new post to fool the classifier. We propose a novel end-to-end Personalized Text Generation Attack model, called PETGEN, that simultaneously reduces the efficacy of the detection model and generates posts that have several key desirable properties. Specifically, PETGEN generates posts that are personalized to the user's writing style, have knowledge about a given target context, are aware of the user's historical posts on the target context, and encapsulate the user's recent topical interests. We conduct extensive experiments on two real-world datasets (Yelp and Wikipedia, both with ground-truth of malicious users) to show that PETGEN significantly reduces the performance of popular deep user sequence embedding-based classification models. PETGEN outperforms five attack baselines in terms of text quality and attack efficacy in both white-box and black-box classifier settings. Overall, this work paves the path towards the next generation of adversary-aware sequence classification models.


title: Integral points on singular del Pezzo surfaces

abstract: In order to study integral points of bounded log-anticanonical height on weak del Pezzo surfaces, we classify weak del Pezzo pairs. As a representative example, we consider a quartic del Pezzo surface of singularity type $\mathbf{A}_1+\mathbf{A}_3$ and prove an analogue of Manin's conjecture for integral points with respect to its singularities and its lines.


title: Autonomous Domination

abstract: The well-known notion of domination in a graph abstracts the idea of protecting locations with guards. This paper introduces a new graph invariant, the autonomous domination number, which abstracts the idea of defending a collection of locations with autonomous agents following a simple protocol to coordinate their defense using only local information.


title: Benchmarking the Spectrum of Agent Capabilities

abstract: Evaluating the general abilities of intelligent agents requires complex simulation environments. Existing benchmarks typically evaluate only one narrow task per environment, requiring researchers to perform expensive training runs on many different environments. We introduce Crafter, an open world survival game with visual inputs that evaluates a wide range of general abilities within a single environment. Agents either learn from the provided reward signal or through intrinsic objectives and are evaluated by semantically meaningful achievements that can be unlocked during each episode, such as discovering resources and crafting tools. Consistently unlocking all achievements requires strong generalization, deep exploration, and long-term reasoning. We experimentally verify that Crafter is of appropriate difficulty to drive future research and provide baselines scores of reward agents and unsupervised agents. Furthermore, we observe sophisticated behaviors emerging from maximizing the reward signal, such as building tunnel systems, bridges, houses, and plantations. We hope that Crafter will accelerate research progress by quickly evaluating a wide spectrum of abilities.


title: Generation of photonic tensor network states with Circuit QED

abstract: We propose a circuit QED platform and protocol to generate microwave photonic tensor network states deterministically. We first show that using a microwave cavity as ancilla and a transmon qubit as emitter is a good platform to produce photonic matrix product states. The ancilla cavity combines a large controllable Hilbert space with a long coherence time, which we predict translates into a high number of entangled photons and states with a high bond dimension. Going beyond this paradigm, we then consider a natural generalization of this platform, in which several cavity-qubit pairs are coupled to form a chain. The photonic states thus produced feature a two-dimensional entanglement structure and can be interpreted as $\textit{radial plaquette}$ projected entangled pair states [Wei, Malz, and Cirac, Phys. Rev. Lett. 128, 010607 (2022)], which include many paradigmatic states, such as the broad class of isometric tensor network states, graph states, and string-net states.


title: The index of families of projective operators

abstract: Let $1 \to \Gamma \to \tilde{G} \to G \to 1$ be a central extension by an abelian finite group. In this paper, we compute the index of families of $\tilde{G}$-transversally elliptic operators on a $G$-principal bundle $P$. We then introduce the notion of families of projective operators on fibrations equipped with an Azumaya bundle $\mathcal{A}$. We define and compute the index of such families using the cohomological index formula for families of $SU(N)$-transversally elliptic operators. More precisely, a family $A$ of projective operators can be pulled back in a family $\tilde{A}$ of $SU(N)$-transversally elliptic operators on the $PU(N)$-principal bundle of trivialisations of $\mathcal{A}$. Through the distributional index of $\tilde{A}$, we can define an index for the family $A$ of projective operators and using the index formula in equivariant cohomology for families of $SU(N)$-transversally elliptic operators, we derive an explicit cohomological index formula in de Rham cohomology. Once this is done, we define and compute the index of families of projective Dirac operators. As a second application of our computation of the index of families of $\tilde{G}$-transversally elliptic operators on a $G$-principal bundle $P$, we consider the special case of a family of $Spin(2n)$-transversally elliptic Dirac operators over the bundle of oriented orthonormal frames of an oriented fibration and we relate its distributional index with the index of the corresponding family of projective Dirac operators.


title: Learning to Navigate Intersections with Unsupervised Driver Trait Inference

abstract: Navigation through uncontrolled intersections is one of the key challenges for autonomous vehicles. Identifying the subtle differences in hidden traits of other drivers can bring significant benefits when navigating in such environments. We propose an unsupervised method for inferring driver traits such as driving styles from observed vehicle trajectories. We use a variational autoencoder with recurrent neural networks to learn a latent representation of traits without any ground truth trait labels. Then, we use this trait representation to learn a policy for an autonomous vehicle to navigate through a T-intersection with deep reinforcement learning. Our pipeline enables the autonomous vehicle to adjust its actions when dealing with drivers of different traits to ensure safety and efficiency. Our method demonstrates promising performance and outperforms state-of-the-art baselines in the T-intersection scenario.


title: Quantum nature of the minimal potentially realistic $\mathrm{SO}(10)$ Higgs model

abstract: We study several aspects of the quantum structure of the minimal potentially realistic renormalizable $\mathrm{SO}(10)$ Higgs model in which the $\mathbf{45}\oplus \mathbf{126}$ scalars spontaneously break the symmetry down to the Standard Model group $\mathrm{SU}(3)_{c}\times \mathrm{SU}(2)_{L}\times \mathrm{U}(1)_{Y}$. With a complete information about the one-loop corrections to the masses of all scalars in the theory and the one-loop beta functions governing the running of all dimensionless scalar self-couplings, the domains of the parameter space where the model can be treated perturbatively are established, along with improved bounds from the requirements of the SM vacuum stability and gauge coupling unification. We demonstrate that the model is fully consistent and potentially realistic only in very narrow regions of the parameter space corresponding to the breaking chains with well pronounced $\mathrm{SU}(4)_{C}\times \mathrm{SU}(2)_L\times \mathrm{U}(1)_R$ and $\mathrm{SU}(3)_{c}\times \mathrm{SU}(2)_L\times \mathrm{SU}(2)_R\times \mathrm{U}(1)_{B-L}$ intermediate symmetries, with a clear preference for the former case. Barring accidental fine-tunings in the scalar sector, this makes it possible to provide a very sharp prediction for the position of the unification scale and the value of the associated gauge coupling, with clear implications for the phenomenology of grand unified models based on this structure.


title: A maximum likelihood estimate of the parameters of the FRB population

abstract: We consider a sample of $82$ non-repeating FRBs detected at Parkes, ASKAP, CHIME and UTMOST each of which operates over a different frequency range and has a different detection criteria. Using simulations, we perform a maximum likelihood analysis to determine the FRB population model which best fits this data. Our analysis shows that models where the pulse scatter broadening increases moderately with redshift ($z$) are preferred over those where this increases very sharply or where scattering is absent. Further, models where the comoving event rate density is constant over $z$ are preferred over those where it follows the cosmological star formation rate. Two models for the host dispersion measure ($DM_{\rm host}$) distribution (a fixed and a random $DM_{\rm host}$) are found to predict comparable results. We obtain the best fit parameter values $\alpha=-1.53^{+0.29}_{-0.19}$, $\overline{E}_{33}=1.55^{+0.26}_{-0.22}$ and $\gamma=0.77\pm 0.24$. Here $\alpha$ is the spectral index, $\gamma$ is the exponent of the Schechter luminosity function and $\overline{E}_{33}$ is the mean FRB energy in units of $10^{33} \, {\rm J}$ across $2128 - 2848\; {\rm MHz}$ in the FRB rest frame.


title: Multiple shooting for training neural differential equations on time series

abstract: Neural differential equations have recently emerged as a flexible data-driven/hybrid approach to model time-series data. This work experimentally demonstrates that if the data contains oscillations, then standard fitting of a neural differential equation may result in a flattened out trajectory that fails to describe the data. We then introduce the multiple shooting method and present successful demonstrations of this method for the fitting of a neural differential equation to two datasets (synthetic and experimental) that the standard approach fails to fit. Constraints introduced by multiple shooting can be satisfied using a penalty or augmented Lagrangian method.


title: Chemical control of polarization in thin strained films of a multiaxial ferroelectric: phase diagrams and polarization rotation

abstract: The emergent behaviors in thin films of a multiaxial ferroelectric due to an electrochemical coupling between the rotating polarization and surface ions are explored within the framework of the 2-4 Landau-Ginzburg-Devonshire (LGD) thermodynamic potential combined with the Stephenson-Highland (SH) approach. The combined LGD-SH approach allows to describe the electrochemical switching and rotation of polarization vector in the multiaxial ferroelectric film covered by surface ions with a charge density dependent to the relative partial oxygen pressure. We calculate the phase diagrams and analyze the dependence of polarization components on the applied voltage, and discuss the peculiarities of quasi-static ferroelectric, dielectric and piezoelectric hysteresis loops in thin strained multiaxial ferroelectric films. The nonlinear surface screening by oxygen ions makes the diagrams very different from the known diagrams of e.g., strained BaTiO3 films. Quite unexpectedly we predict the appearance of the ferroelectric reentrant phases. Obtained results point on the possibility to control the appearance and features of ferroelectric, dielectric and piezoelectric hysteresis in multiaxial FE films covered by surface ions by varying their concentration via the partial oxygen pressure. The LGD-SH description of a multiaxial FE film can be further implemented within the Bayesian optimization framework, opening the pathway towards predictive materials optimization.


title: Computing Balanced Solutions for Large International Kidney Exchange Schemes

abstract: To overcome incompatibility issues, kidney patients may swap their donors. In international kidney exchange programmes (IKEPs), countries merge their national patient-donor pools. We consider a recently introduced credit system. In each round, countries are given an initial ``fair'' allocation of the total number of kidney transplants. This allocation is adjusted by a credit function yielding a target allocation. The goal is to find a solution that approaches the target allocation as closely as possible, to ensure long-term stability of the international pool. As solutions, we use maximum matchings that lexicographically minimize the country deviations from the target allocation. We perform, for the first time, a computational study for a {\it large} number of countries. For the initial allocations we use two easy-to-compute solution concepts, the benefit value and the contribution value, and four classical but hard-to-compute concepts, the Shapley value, nucleolus, Banzhaf value and tau value. By using state-of-the-art software we show that the latter four concepts are now within reach for IKEPs of up to fifteen countries. Our experiments show that using lexicographically minimal maximum matchings instead of ones that only minimize the largest deviation from the target allocation (as previously done) may make an IKEP up to 54% more balanced.


title: Recovery of a Space-Time Dependent Diffusion Coefficient in Subdiffusion: Stability, Approximation and Error Analysis

abstract: In this work, we study an inverse problem of recovering a space-time dependent diffusion coefficient in the subdiffusion model from the distributed observation, where the mathematical model involves a Djrbashian-Caputo fractional derivative of order $\alpha\in(0,1)$ in time. The main technical challenges of both theoretical and numerical analysis lie in the limited smoothing properties due to the fractional differential operator and high degree of nonlinearity of the forward map from the unknown diffusion coefficient to the distributed observation. We establish two conditional stability results using a novel test function, which leads to a stability bound in $L^2(0,T;L^2(\Omega))$ under a suitable positivity condition. The positivity condition is verified for a large class of problem data. Numerically, we develop a rigorous procedure for recovering the diffusion coefficient based on a regularized least-squares formulation, which is then discretized by the standard Galerkin method with continuous piecewise linear elements in space and backward Euler convolution quadrature in time. We provide a complete error analysis of the fully discrete formulation, by combining several new error estimates for the direct problem (optimal in terms of data regularity), a discrete version of fractional maximal $L^p$ regularity, and a nonstandard energy argument. Under the positivity condition, we obtain a standard $\ell^2(L^2(\Omega))$ error estimate consistent with the conditional stability. Further, we illustrate the analysis with some numerical examples.


title: A Deep Learning Approach for Masking Fetal Gender in Ultrasound Images

abstract: Ultrasound (US) imaging is highly effective with regards to both cost and versatility in real-time diagnosis; however, determination of fetal gender by US scan in the early stages of pregnancy is also a cause of sex-selective abortion. This work proposes a deep learning object detection approach to accurately mask fetal gender in US images in order to increase the accessibility of the technology. We demonstrate how the YOLOv5L architecture exhibits superior performance relative to other object detection models on this task. Our model achieves 45.8% AP[0.5:0.95], 92% F1-score and 0.006 False Positive Per Image rate on our test set. Furthermore, we introduce a bounding box delay rule based on frame-to-frame structural similarity to reduce the false negative rate by 85%, further improving masking reliability.


title: Effective Scenarios in Multistage Distributionally Robust Optimization with a Focus on Total Variation Distance

abstract: We study multistage distributionally robust optimization (DRO) to hedge against ambiguity in quantifying the underlying uncertainty of a problem. Recognizing that not all the realizations and scenario paths might have an "effect" on the optimal value, we investigate the question of how to define and identify critical scenarios for nested multistage DRO problems. Our analysis extends the work of Rahimian, Bayraksan, and Homem-de-Mello [Math. Program. 173(1--2): 393--430, 2019], which was in the context of a static/two-stage setting, to the multistage setting. To this end, we define the notions of effectiveness of scenario paths and the conditional effectiveness of realizations along a scenario path for a general class of multistage DRO problems. We then propose easy-to-check conditions to identify the effectiveness of scenario paths in the multistage setting when the distributional ambiguity is modeled via the total variation distance. Numerical results show that these notions provide useful insight on the underlying uncertainty of the problem.


title: The Logic of Quantum Programs

abstract: We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and various linear operators. As an example we sketch an analysis of the teleportation protocol.


title: Signatures of UV radiation in low-mass protostars I. Origin of HCN and CN emission in the Serpens Main region

abstract: Context: Ultraviolet radiation (UV) influences the physics and chemistry of star-forming regions, but its properties and significance in the immediate surroundings of low-mass protostars are still poorly understood. Aims: We aim to extend the use of the CN/HCN ratio, already established for high-mass protostars, to the low-mass regime to trace and characterize the UV field around low-mass protostars on $\sim 0.6\times0.6$ pc scales. Methods: We present $5'\times5'$ maps of the Serpens Main Cloud encompassing 10 protostars observed with the EMIR receiver at the IRAM 30 m telescope in CN 1-0, HCN 1-0, CS 3-2, and some of their isotopologues. The radiative-transfer code RADEX and the chemical model Nahoon are used to determine column densities of molecules, gas temperature and density, and the UV field strength, $G_\mathrm{0}$. Results: The spatial distribution of HCN and CS are well-correlated with CO 6-5 emission that traces outflows. The CN emission is extended from the central protostars to their immediate surroundings also tracing outflows, likely as a product of HCN photodissociation. The ratio of CN to HCN total column densities ranges from $\sim$1 to 12 corresponding to G$_0$ $\approx$ $10^{1}-10^{3}$ for gas densities and temperatures typical for outflows of low-mass protostars. Conclusions: UV radiation associated with protostars and their outflows is indirectly identified in a significant part of the Serpens Main low-mass star-forming region. Its strength is consistent with the values obtained from the OH and H$_2$O ratios observed with Herschel and compared with models of UV-illuminated shocks. From a chemical viewpoint, the CN to HCN ratio is an excellent tracer of UV fields around low- and intermediate-mass star-forming regions.


title: Jacobians with with automorphisms of prime order

abstract: In this paper we study principally polarized abelian varieties that admit an automorphism of prime order $p>2$. It turns out that certain natural conditions on the multiplicities of its action on the differentials of the first kind do guarantee that those polarized varieties are not jacobians of curves.


title: ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation

abstract: In a multirobot system, a number of cyber-physical attacks (e.g., communication hijack, observation perturbations) can challenge the robustness of agents. This robustness issue worsens in multiagent reinforcement learning because there exists the non-stationarity of the environment caused by simultaneously learning agents whose changing policies affect the transition and reward functions. In this paper, we propose a minimax MARL approach to infer the worst-case policy update of other agents. As the minimax formulation is computationally intractable to solve, we apply the convex relaxation of neural networks to solve the inner minimization problem. Such convex relaxation enables robustness in interacting with peer agents that may have significantly different behaviors and also achieves a certified bound of the original optimization problem. We evaluate our approach on multiple mixed cooperative-competitive tasks and show that our method outperforms the previous state of the art approaches on this topic.


title: A comprehensive secure protocol for all D2D scenarios

abstract: To fulfill two integral aims of abating cellular traffic and enhancing efficiency of cellular network, D2D is considered as a novel channel of communication. This form of communication has introduced for 4th cellular communication and enacts a significant role in the 5th generation. Four D2D communication scenarios defined in the references, includes direct D2D and relaying D2D communication both with and without cellular infrastructure. One of the major challenges addressing D2D protocols contributes to the fact that they have one single secure protocol that can adapt to the four scenarios. In the current study, we propose a secure D2D protocol based on ARIADNE. To authenticate and key agreement between Source and Destination, we employ LTE-A AKA protocol, further for broadcast authentication between relaying nodes TESLA was applied. In Contrary to the recent protocols, our proposed protocol has inconsiderable computation overhead and trivial communication overhead than SODE and preserve many security properties such as Authentication, Authorization, Confidentiality, Integrity, Secure Key Agreement, and Secure Routing Transmission. We check Authentication, Confidentiality, Reachability, and Secure Key Agreement of the proposed protocol with ProVerif verification tools.


title: Unsupervised topological learning approach of crystal nucleation

abstract: Nucleation phenomena commonly observed in our every day life are of fundamental, technological and societal importance in many areas, but some of their most intimate mechanisms remain however to be unravelled. Crystal nucleation, the early stages where the liquid-to-solid transition occurs upon undercooling, initiates at the atomic level on nanometre length and sub-picoseconds time scales and involves complex multidimensional mechanisms with local symmetry breaking that can hardly be observed experimentally in the very details. To reveal their structural features in simulations without a priori, an unsupervised learning approach founded on topological descriptors loaned from persistent homology concepts is proposed. Applied here to monatomic metals, it shows that both translational and orientational ordering always come into play simultaneously when homogeneous nucleation starts in regions with low five-fold symmetry. It also reveals the specificity of the nucleation pathways depending on the element considered, with features beyond the hypothesis of Classical Nucleation Theory.


title: Everything Is All It Takes: A Multipronged Strategy for Zero-Shot Cross-Lingual Information Extraction

abstract: Zero-shot cross-lingual information extraction (IE) describes the construction of an IE model for some target language, given existing annotations exclusively in some other language, typically English. While the advance of pretrained multilingual encoders suggests an easy optimism of "train on English, run on any language", we find through a thorough exploration and extension of techniques that a combination of approaches, both new and old, leads to better performance than any one cross-lingual strategy in particular. We explore techniques including data projection and self-training, and how different pretrained encoders impact them. We use English-to-Arabic IE as our initial example, demonstrating strong performance in this setting for event extraction, named entity recognition, part-of-speech tagging, and dependency parsing. We then apply data projection and self-training to three tasks across eight target languages. Because no single set of techniques performs the best across all tasks, we encourage practitioners to explore various configurations of the techniques described in this work when seeking to improve on zero-shot training.


title: Equation of state of neutron star matter and its warm extension with an interacting hadron resonance gas

abstract: We propose an interpolating equation of state that satisfies phenomenologically established boundary conditions in two extreme regimes at high temperature and low baryon density and at low temperature and high baryon density. We confirm that the hadron resonance gas model with the Carnahan-Starling excluded volume effect can reasonably fit the empirical equation of state at high density up to several times the normal nuclear density. We identify the onsets of strange particles and quantify the strangeness contents in dense matter. We finally discuss the finite temperature effects and estimate the thermal index $\Gamma_{\rm th}$ as a function of the baryon density, which should be a crucial input for the core-collapse supernova and the binary neutron star merger simulations.


title: Rethinking Trust in Social Robotics

abstract: In 2018 the European Commission highlighted the demand of a human-centered approach to AI. Such a claim is gaining even more relevance considering technologies specifically designed to directly interact and physically collaborate with human users in the real world. This is notably the case of social robots. The domain of Human-Robot Interaction (HRI) emerged to investigate these issues. "Human-robot trust" has been highlighted as one of the most challenging and intriguing factors influencing HRI. On the one hand, user studies and technical experts underline how trust is a key element to facilitate users' acceptance, consequently increasing the chances to pursue the given task. On the other hand, such a phenomenon raises also ethical and philosophical concerns leading scholars in these domains to argue that humans should not trust robots. However, trust in HRI is not an index of fragility, it is rooted in anthropomorphism, and it is a natural characteristic of every human being. Thus, instead of focusing solely on how to inspire user trust in social robots, this paper argues that what should be investigated is to what extent and for which purpose it is suitable to trust robots. Such an endeavour requires an interdisciplinary approach taking into account (i) technical needs and (ii) psychological implications.


title: An effective three-dimensional de Sitter cosmology in string theory

abstract: Motivated by the lack of consensus on whether or not de Sitter (dS) lies in the Swampland, we use a recently developed braneworld construction and known Anti-de Sitter (AdS) vacua to compute an explicit effective dS cosmology in three dimensions. We consider a non-perturbative AdS$_4$ vacuum decaying to another lower AdS$_4$ vacuum via bubble-nucleation. We also consider the more speculative case where a dS$_4$ decay to a Minkowski$_4$. The Israel junction conditions are solved across the bubble and we obtain the Friedmann equations from which the cosmological constants can be read off, in the respective cases. The cosmological constants are computed in a flux background yielding small positive values admitting a dS cosmology. However, we find that an energetically viable model in the AdS to AdS case requires more fine-tuning.


title: Measuring neutrino dynamics in NMSSM with a right-handed sneutrino LSP at the ILC

abstract: We study the possibility of measuring neutrino Yukawa couplings in the Next-to-Minimal Supersymmetric Standard Model with right-handed neutrinos (NMSSMr) when the lightest right-handed sneutrino is the Dark Matter (DM) candidate, by exploiting a `dijet + dilepton + Missing Transverse Energy' signature. We show that, contrary to the miminal realisation of Supersymmetry (SUSY), the MSSM, wherein the DM candidate is typically a much heavier (fermionic) neutralino state, this extended model of SUSY offers one with a much lighter (bosonic) state as DM that can then be produced at the next generation of $e^+e^-$ colliders with energies up to 500 GeV or so. The ensuing signal, energing from chargino pair production and subsequent decay, is extremely pure so it also affords one with the possibility of extracting the Yukawa parameters of the (s)neutrino sector. Altogether, our results serve the purpose of motivating searches for light DM signals at such machines, where the DM candidate can have a mass around the electroweak scale.


title: Noise-Induced Coherence in Molecular Processes

abstract: Excitation of molecules by incident incoherent electromagnetic radiation, such as sunlight, is described in detail and contrasted with the effect of coherent (e.g. laser) light. The nature of the quantum coherences induced by the former, relevant to transport processes in nature and in technology, is emphasized. Both equilibrium and steady state scenarios are discussed, Three examples: simple models, calcium excitation in polarized light, and the isomerization of retinal in rhodopsin are used to expose the underlying qualitative nature of the established coherences.

categories: quant-ph physics.atom-ph physics.bio-ph physics.chem-ph


title: Coverability, Termination, and Finiteness in Recursive Petri Nets

abstract: In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and context-free grammars, most of the usual problems (reachability, coverability, finiteness, boundedness and termination) were known to be solvable by using non-primitive recursive algorithms. For almost all other extended Petri nets models containing a stack, the complexity of coverability and termination are unknown or strictly larger than EXPSPACE. In contrast, we establish here that for Recursive Petri nets, the coverability, termination, boundedness and finiteness problems are EXPSPACE-complete as for Petri nets. From an expressiveness point of view, we show that coverability languages of Recursive Petri nets strictly include the union of coverability languages of Petri nets and context-free languages. Thus we get a more powerful model than Petri net for free.


title: Noise-Resistant Quantum State Compression Readout

abstract: Qubit measurement is generally the most error-prone operation that degrades the performance of near-term quantum devices, and the exponential decay of readout fidelity severely impedes the development of large-scale quantum information processing. Given these disadvantages, we present a quantum state readout method, named \textit{compression readout}, that naturally avoids large multi-qubit measurement errors by compressing the quantum state into a single qubit for measurement. Our method generally outperforms direct measurements in terms of accuracy, and the advantage grows with the system size. Moreover, because only one-qubit measurements are performed, our method requires solely a fine readout calibration on one qubit and is free of correlated measurement error, which drastically diminishes the demand for device calibration. These advantages suggest that our method can immediately boost the readout performance of near-term quantum devices and will greatly benefit the development of large-scale quantum computing.


title: High-Power Ferro-Electric Fast Reactive Tuner

abstract: We present a novel design of a FerroElectric Fast Reactive Tuner (FE-FRT) capable of modulating Mega VAR reactive power on a sub-microsecond time scale. We show detailed analytical estimates of the performance of this device and benchmark these estimates against finite element method eigenmode and frequency domain electromagnetic simulations.


title: A Temporal Variational Model for Story Generation

abstract: Recent language models can generate interesting and grammatically correct text in story generation but often lack plot development and long-term coherence. This paper experiments with a latent vector planning approach based on a TD-VAE (Temporal Difference Variational Autoencoder), using the model for conditioning and reranking for text generation. The results demonstrate strong performance in automatic cloze and swapping evaluations. The human judgments show stories generated with TD-VAE reranking improve on a GPT-2 medium baseline and show comparable performance to a hierarchical LSTM reranking model. Conditioning on the latent vectors proves disappointing and deteriorates performance in human evaluation because it reduces the diversity of generation, and the models don't learn to progress the narrative. This highlights an important difference between technical task performance (e.g. cloze) and generating interesting stories.


title: What are the attackers doing now? Automating cyber threat intelligence extraction from text on pace with the changing threat landscape: A survey

abstract: Cybersecurity researchers have contributed to the automated extraction of CTI from textual sources, such as threat reports and online articles, where cyberattack strategies, procedures, and tools are described. The goal of this article is to aid cybersecurity researchers understand the current techniques used for cyberthreat intelligence extraction from text through a survey of relevant studies in the literature. We systematically collect "CTI extraction from text"-related studies from the literature and categorize the CTI extraction purposes. We propose a CTI extraction pipeline abstracted from these studies. We identify the data sources, techniques, and CTI sharing formats utilized in the context of the proposed pipeline. Our work finds ten types of extraction purposes, such as extraction indicators of compromise extraction, TTPs (tactics, techniques, procedures of attack), and cybersecurity keywords. We also identify seven types of textual sources for CTI extraction, and textual data obtained from hacker forums, threat reports, social media posts, and online news articles have been used by almost 90% of the studies. Natural language processing along with both supervised and unsupervised machine learning techniques such as named entity recognition, topic modelling, dependency parsing, supervised classification, and clustering are used for CTI extraction. We observe the technical challenges associated with these studies related to obtaining available clean, labelled data which could assure replication, validation, and further extension of the studies. As we find the studies focusing on CTI information extraction from text, we advocate for building upon the current CTI extraction work to help cybersecurity practitioners with proactive decision making such as threat prioritization, automated threat modelling to utilize knowledge from past cybersecurity incidents.


title: Electronic properties of correlated kagom\'e metals AV$_3$Sb$_5$(A = K, Rb, Cs): A perspective

abstract: Following the discovery of a new family of kagom\'e prototypical materials with structure AV$_3$Sb$_5$ (A = K, Rb, Cs), there has been heightened interest in studying the correlation-driven electronic phenomena in these kagom\'e lattice systems. The study of these materials has gone beyond magneto-transport measurements to reveal exciting features such as Dirac bands, anomalous Hall effect, bulk superconductivity with $T_c$ $\sim$ 0.9 K-2.5 K, and the observation of charge density wave instabilities, suggesting an intertwining of topological physics and new quantum orders. Moreover, very recent works on numerous types of experiments have appeared further examining the unconventional superconductivity and the exotic electronic states found within these kagom\'e materials. Theories on the strong interactions that play a role in these systems have been proposed to shed light on the nature of these topological charge density waves. In this brief review, we summarize these recent experimental findings and theoretical proposals, and envision the materials as new platforms to study the interplay between topological physics and strongly-correlated electronic systems.


title: Design and Model Predictive Control of Mars Coaxial Quadrotor

abstract: Mars has been a prime candidate for planetary exploration of the solar system because of the science discoveries that support chances of future habitation on this planet. Martian caves and lava tubes like terrains, which consists of uneven ground, poor visibility and confined space, makes it impossible for wheel based rovers to navigate through these areas. In order to address these limitations and advance the exploration capability in a Martian terrain, this article presents the design and control of a novel coaxial quadrotor Micro Aerial Vehicle (MAV). As it will be presented, the key contributions on the design and control architecture of the proposed Mars coaxial quadrotor, are introducing an alternative and more enhanced, from a control point of view concept, when compared in terms of autonomy to Ingenuity. Based on the presented design, the article will introduce the mathematical modelling and automatic control framework of the vehicle that will consist of a linearised model of a co-axial quadrotor and a corresponding Model Predictive Controller (MPC) for the trajectory tracking. Among the many models, proposed for the aerial flight on Mars, a reliable control architecture lacks in the related state of the art. The MPC based closed loop responses of the proposed MAV will be verified in different conditions during the flight with additional disturbances, induced to replicate a real flight scenario. In order to further validate the proposed control architecture and prove the efficacy of the suggested design, the introduced Mars coaxial quadrotor and the MPC scheme will be compared to a PID-type controller, similar to the Ingenuity helicopter's control architecture for the position and the heading.


title: Egalitarian Byzantine Fault Tolerance

abstract: Minimizing end-to-end latency in geo-replicated systems usually makes it necessary to compromise on resilience, resource efficiency, or throughput performance, because existing approaches either tolerate only crashes, require additional replicas, or rely on a global leader for consensus. In this paper, we eliminate the need for such tradeoffs by presenting Isos, a leaderless replication protocol that tolerates up to $f$ Byzantine faults with a minimum of $3f+1$ replicas. To reduce latency in wide-area environments, Isos relies on an efficient consensus algorithm that allows all participating replicas to propose new requests and thereby enables clients to avoid delays by submitting requests to their nearest replica. In addition, Isos minimizes overhead by limiting message ordering to requests that conflict with each other (e.g., due to accessing the same state parts) and by already committing them after three communication steps if at least $f+1$ replicas report each conflict. Our experimental evaluation with a geo-replicated key-value store shows that these properties allow Isos to provide lower end-to-end latency than existing protocols, especially for use-case scenarios in which the clients of a system are distributed across multiple locations.


title: Parallel transport and layer-resolved thermodynamic measurements in twisted bilayer graphene

abstract: We employ dual-gated 30{\deg}-twisted bilayer graphene to demonstrate simultaneous ultra-high mobility and conductivity (up to 40 mS at room temperature), unattainable in a single-layer of graphene. We find quantitative agreement with a simple phenomenology of parallel conduction between two pristine graphene sheets, with a gate-controlled carrier distribution. Based on the parallel transport mechanism, we then introduce a method for in situ measurements of the chemical potential of the two layers. This twist-enabled approach, neither requiring a dielectric spacer, nor separate contacting, has the potential to greatly simplify the measurement of thermodynamic quantities in graphene-based systems of high current interest.


title: Automatic Inverse Treatment Planning for Gamma Knife Radiosurgery via Deep Reinforcement Learning

abstract: Purpose: Several inverse planning algorithms have been developed for Gamma Knife (GK) radiosurgery to determine a large number of plan parameters via solving an optimization problem, which typically consists of multiple objectives. The priorities among these objectives need to be repetitively adjusted to achieve a clinically good plan for each patient. This study aimed to achieve automatic and intelligent priority-tuning, by developing a deep reinforcement learning (DRL) based method to model the tuning behaviors of human planners. Methods: We built a priority-tuning policy network using deep convolutional neural networks. Its input was a vector composed of the plan metrics that were used in our institution for GK plan evaluation. The network can determine which tuning action to take, based on the observed quality of the intermediate plan. We trained the network using an end-to-end DRL framework to approximate the optimal action-value function. A scoring function was designed to measure the plan quality. Results: Vestibular schwannoma was chosen as the test bed in this study. The number of training, validation and testing cases were 5, 5, and 16, respectively. For these three datasets, the average plan scores with initial priorities were 3.63 $\pm$ 1.34, 3.83 $\pm$ 0.86 and 4.20 $\pm$ 0.78, respectively, while can be improved to 5.28 $\pm$ 0.23, 4.97 $\pm$ 0.44 and 5.22 $\pm$ 0.26 through manual priority tuning by human expert planners. Our network achieved competitive results with 5.42 $\pm$ 0.11, 5.10 $\pm$ 0. 42, 5.28 $\pm$ 0.20, respectively. Conclusions: Our network can generate GK plans of comparable or slightly higher quality comparing with the plans generated by human planners via manual priority tuning. The network can potentially be incorporated into the clinical workflow to improve GK planning efficiency.


title: Constraining Progenitors of Observed LMXBs Using CARB Magnetic Braking

abstract: We present a new method for constraining the mass transfer evolution of low mass X-ray binaries (LMXBs) - a reverse population synthesis technique. This is done using the detailed 1D stellar evolution code MESA (Modules for Experiments in Stellar Astrophysics) to evolve a high-resolution grid of binary systems spanning a comprehensive range of initial donor masses and orbital periods. We use the recently developed Convection And Rotation Boosted (CARB) magnetic braking scheme. The CARB magnetic braking scheme is the only magnetic braking prescription capable of reproducing an entire sample of well studied persistent LMXBs -- those with their mass ratios, periods and mass transfer rates that have been observationally determined. Using the reverse population synthesis technique, where we follow any simulated system that successfully reproduces an observed LMXB backwards, we have constrained possible progenitors for each observed well-studied persistent LMXB. We also determined that the minimum number of LMXB formations in the Milky Way is 1500 per Gyr if we exclude Cyg X-2. For Cyg X-2, the most likely formation rate is 9000 LMXB per Gyr. The technique we describe can be applied to any observed LMXB with well-constrained mass ratios, period and mass transfer rate. With the upcoming GAIA DR3 containing information on binary systems, this technique can be applied to the data release to search for progenitors of observed persistent LMXBs.


title: Predicting Loss Risks for B2B Tendering Processes

abstract: Sellers and executives who maintain a bidding pipeline of sales engagements with multiple clients for many opportunities significantly benefit from data-driven insight into the health of each of their bids. There are many predictive models that offer likelihood insights and win prediction modeling for these opportunities. Currently, these win prediction models are in the form of binary classification and only make a prediction for the likelihood of a win or loss. The binary formulation is unable to offer any insight as to why a particular deal might be predicted as a loss. This paper offers a multi-class classification model to predict win probability, with the three loss classes offering specific reasons as to why a loss is predicted, including no bid, customer did not pursue, and lost to competition. These classes offer an indicator of how that opportunity might be handled given the nature of the prediction. Besides offering baseline results on the multi-class classification, this paper also offers results on the model after class imbalance handling, with the results achieving a high accuracy of 85% and an average AUC score of 0.94.


title: Quantum Battery with Ultracold Atoms: Bosons vs. Fermions

abstract: We design a quantum battery made up of bosons or fermions in an ultracold-atom setup, described by Fermi-Hubbard and Bose-Hubbard models, respectively. We compare the performance of bosons and fermions to determine which can function as a quantum battery more effectively given a particular on-site interaction and initial state temperature. The performance of a quantum battery is quantified by the maximum energy stored per unit time over the evolution under an on-site charging Hamiltonian. We report that when the initial battery state is in the ground state, fermions outperform bosons in a certain configuration over a large range of on-site interactions which are shown analytically for a smaller number of lattice sites and numerically for a considerable number of sites. Bosons take the lead when the temperature is comparatively high in the initial state for a longer range of on-site interaction. We study a number of up and down fermions as well as the number of bosons per site to find the optimal filling factor for maximizing the average power of the battery. We also introduce disorder in both on-site and hopping parameters and demonstrate that the maximum average power is robust against impurities. Moreover, we identify a range of tuning parameters in the fermionic and bosonic systems where the disorder-enhanced power is observed.


title: Automatic hippocampal surface generation via 3D U-net and active shape modeling with hybrid particle swarm optimization

abstract: In this paper, we proposed and validated a fully automatic pipeline for hippocampal surface generation via 3D U-net coupled with active shape modeling (ASM). Principally, the proposed pipeline consisted of three steps. In the beginning, for each magnetic resonance image, a 3D U-net was employed to obtain the automatic hippocampus segmentation at each hemisphere. Secondly, ASM was performed on a group of pre-obtained template surfaces to generate mean shape and shape variation parameters through principal component analysis. Ultimately, hybrid particle swarm optimization was utilized to search for the optimal shape variation parameters that best match the segmentation. The hippocampal surface was then generated from the mean shape and the shape variation parameters. The proposed pipeline was observed to provide hippocampal surfaces at both hemispheres with high accuracy, correct anatomical topology, and sufficient smoothness.


title: Acoustic Source Localization in Shallow Water: A Probabilistic Focalization Approach

abstract: This paper presents a Bayesian estimation method for the passive localization of an acoustic source in shallow water. Our probabilistic focalization approach estimates the time-varying source location by associating direction of arrival (DOA) observations to DOAs predicted based on a statistical model. Embedded ray tracing makes it possible to incorporate environmental parameters and characterize the nonlinear acoustic waveguide. We demonstrate performance advantages of our approach compared to matched field processing using data collected during the SWellEx-96 experiment.


title: Development and characterization of a slow wavelength shifting coating for background rejection in liquid argon detectors

abstract: We describe a technique, applicable to liquid-argon-based dark matter detectors, allowing for discrimination of alpha-decays in detector regions with incomplete light collection from nuclear-recoil-like events. Nuclear recoils and alpha events preferentially excite the liquid argon (LAr) singlet state, which has a decay time of ~6 ns. The wavelength-shifter TPB, which is typically applied to the inside of the active detector volume to make the LAr scintillation photons visible, has a short re-emission time that preserves the LAr scintillation timing. We developed a wavelength-shifting polymeric film - pyrene-doped polystyrene - for the DEAP-3600 detector and describe the production method and characterization. At liquid argon temperature, the film's re-emission timing is dominated by a modified exponential decay with time constant of 279(14) ns and has a wavelength-shifting efficiency of 46.4(2.9) % relative to TPB, measured at room temperature. By coating the detector neck (a region outside the active volume where the scintillation light collection efficiency is low) with this film, the visible energy and the scintillation pulse shape of alpha events in the neck region are modified, and we predict that through pulse shape discrimination, the coating will afford a suppression factor of O($10^{5}$) against these events.


title: Transoceanic Phase and Polarization Fiber Sensing using Real-Time Coherent Transceiver

abstract: We implement a real-time coherent transceiver with fast streaming outputs for environmental sensing. Continuous sensing using phase and equalizer outputs over 12800km of a submarine cable is demonstrated to enable time resolved spectroscopy in broad spectral range of 10mHz - 1kHz.


title: Finite determinacy and approximation of flat maps

abstract: This paper considers the problems of finite determinacy and approximation of flat analytic maps from germs of real or complex analytic spaces. It is shown that the flatness of analytic maps from germs of real or complex analytic spaces whose local rings are Cohen-Macaulay is finitely determined. Further, it is shown that flat maps from complete intersection and Cohen-Macaulay analytic germs can be arbitrarily closely approximated by algebraic and Nash maps respectively in such a way that the Hilbert-Samuel function of the special fibre is preserved. It is also proved that in the complex case the preservation of the Hilbert-Samuel function implies the preservation of Whitney's tangent cone.


title: LM-Critic: Language Models for Unsupervised Grammatical Error Correction

abstract: Training a model for grammatical error correction (GEC) requires a set of labeled ungrammatical / grammatical sentence pairs, but manually annotating such pairs can be expensive. Recently, the Break-It-Fix-It (BIFI) framework has demonstrated strong results on learning to repair a broken program without any labeled examples, but this relies on a perfect critic (e.g., a compiler) that returns whether an example is valid or not, which does not exist for the GEC task. In this work, we show how to leverage a pretrained language model (LM) in defining an LM-Critic, which judges a sentence to be grammatical if the LM assigns it a higher probability than its local perturbations. We apply this LM-Critic and BIFI along with a large set of unlabeled sentences to bootstrap realistic ungrammatical / grammatical pairs for training a corrector. We evaluate our approach on GEC datasets across multiple domains (CoNLL-2014, BEA-2019, GMEG-wiki and GMEG-yahoo) and show that it outperforms existing methods in both the unsupervised setting (+7.7 F0.5) and the supervised setting (+0.5 F0.5).


title: Quantum violation of local causality in urban network with hybrid photonic technologies

abstract: Quantum networks play a crucial role for distributed quantum information processing, enabling the establishment of entanglement and quantum communication among distant nodes. Fundamentally, networks with independent sources allow for new forms of nonlocality, beyond the paradigmatic Bell's theorem. Here we implement the simplest of such networks -- the bilocality scenario -- in an urban network connecting different buildings with a fully scalable and hybrid approach. Two independent sources using different technologies, respectively a quantum dot and a nonlinear crystal, are used to share photonic entangled state among three nodes connected through a 270 m free-space channel and fiber links. By violating a suitable non-linear Bell inequality, we demonstrate the nonlocal behaviour of the correlations among the nodes of the network. Our results pave the way towards the realization of more complex networks and the implementation of quantum communication protocols in an urban environment, leveraging on the capabilities of hybrid photonic technologies.


title: Self-Supervised Metric Learning With Graph Clustering For Speaker Diarization

abstract: In this paper, we propose a novel algorithm for speaker diarization using metric learning for graph based clustering. The graph clustering algorithms use an adjacency matrix consisting of similarity scores. These scores are computed between speaker embeddings extracted from pairs of audio segments within the given recording. In this paper, we propose an approach that jointly learns the speaker embeddings and the similarity metric using principles of self-supervised learning. The metric learning network implements a neural model of the probabilistic linear discriminant analysis (PLDA). The self-supervision is derived from the pseudo labels obtained from a previous iteration of clustering. The entire model of representation learning and metric learning is trained with a binary cross entropy loss. By combining the self-supervision based metric learning along with the graph-based clustering algorithm, we achieve significant relative improvements of 60% and 7% over the x-vector PLDA agglomerative hierarchical clustering (AHC) approach on AMI and the DIHARD datasets respectively in terms of diarization error rates (DER).


title: Estimating initial conditions for dynamical systems with incomplete information

abstract: In this paper we study the problem of inferring the initial conditions of a dynamical system under incomplete information. Studying several model systems, we infer the latent microstates that best reproduce an observed time series when the observations are sparse,noisy and aggregated under a (possibly) nonlinear observation operator. This is done by minimizing the least-squares distance between the observed time series and a model-simulated time series using gradient-based methods. We validate this method for the Lorenz and Mackey-Glass systems by making out-of-sample predictions. Finally, we analyze the predicting power of our method as a function of the number of observations available. We find a critical transition for the Mackey-Glass system, beyond which it can be initialized with arbitrary precision.


title: Few-shot Quality-Diversity Optimization

abstract: In the past few years, a considerable amount of research has been dedicated to the exploitation of previous learning experiences and the design of Few-shot and Meta Learning approaches, in problem domains ranging from Computer Vision to Reinforcement Learning based control. A notable exception, where to the best of our knowledge, little to no effort has been made in this direction is Quality-Diversity (QD) optimization. QD methods have been shown to be effective tools in dealing with deceptive minima and sparse rewards in Reinforcement Learning. However, they remain costly due to their reliance on inherently sample inefficient evolutionary processes. We show that, given examples from a task distribution, information about the paths taken by optimization in parameter space can be leveraged to build a prior population, which when used to initialize QD methods in unseen environments, allows for few-shot adaptation. Our proposed method does not require backpropagation. It is simple to implement and scale, and furthermore, it is agnostic to the underlying models that are being trained. Experiments carried in both sparse and dense reward settings using robotic manipulation and navigation benchmarks show that it considerably reduces the number of generations that are required for QD optimization in these environments.


title: Types of Out-of-Distribution Texts and How to Detect Them

abstract: Despite agreement on the importance of detecting out-of-distribution (OOD) examples, there is little consensus on the formal definition of OOD examples and how to best detect them. We categorize these examples by whether they exhibit a background shift or a semantic shift, and find that the two major approaches to OOD detection, model calibration and density estimation (language modeling for text), have distinct behavior on these types of OOD data. Across 14 pairs of in-distribution and OOD English natural language understanding datasets, we find that density estimation methods consistently beat calibration methods in background shift settings, while performing worse in semantic shift settings. In addition, we find that both methods generally fail to detect examples from challenge data, highlighting a weak spot for current methods. Since no single method works well across all settings, our results call for an explicit definition of OOD examples when evaluating different detection methods.


title: A Multi-scale Visual Analytics Approach for Exploring Biomedical Knowledge

abstract: This paper describes an ongoing multi-scale visual analytics approach for exploring and analyzing biomedical knowledge at scale.We utilize global and local views, hierarchical and flow-based graph layouts, multi-faceted search, neighborhood recommendations, and document visualizations to help researchers interactively explore, query, and analyze biological graphs against the backdrop of biomedical knowledge. The generality of our approach - insofar as it re-quires only knowledge graphs linked to documents - means it can support a range of therapeutic use cases across different domains, from disease propagation to drug discovery. Early interactions with domain experts support our approach for use cases with graphs with over 40,000 nodes and 350,000 edges.


title: Weighted central limit theorems for central values of $L$-functions

abstract: We establish a central limit theorem for the central values of Dirichlet $L$-functions with respect to a weighted measure on the set of primitive characters modulo $q$ as $q \rightarrow \infty$. Under the Generalized Riemann Hypothesis (GRH), we also prove a weighted central limit theorem for the joint distribution of the central $L$-values corresponding to twists of two distinct primitive Hecke eigenforms. As applications, we obtain (under GRH) positive proportions of twists for which the central $L$-values simultaneously grow or shrink with $q$ as well as a positive proportion of twists for which linear combinations of the central $L$-values are nonzero.


title: Effective Hamiltonians and Lagrangians for conditioned Markov processes at large volume

abstract: When analysing statistical systems or stochastic processes, it is often interesting to ask how they behave given that some observable takes some prescribed value. This conditioning problem is well understood within the linear operator formalism based on rate matrices or Fokker-Planck operators, which describes the dynamics of many independent random walkers. Relying on certain spectral properties of the biased linear operators, guaranteed by the Perron-Frobenius theorem, an effective process can be found such that its path probability is equivalent to the conditional path probability. In this paper, we extend those results for nonlinear Markov processes that appear when the many random walkers are no longer independent, and which can be described naturally through a Lagrangian-Hamiltonian formalism within the theory of large deviations at large volume. We identify the appropriate spectral problem as being a Hamilton-Jacobi equation for a biased Hamiltonian, for which we conjecture that two special global solutions exist, replacing the Perron-Frobenius theorem concerning the positivity of the dominant eigenvector. We then devise a rectification procedure based on a canonical gauge transformation of the biased Hamiltonian, yielding an effective dynamics in agreement with the original conditioning. Along the way, we present simple examples in support of our conjecture, we examine its consequences on important physical objects such as the fluctuation symmetries of the biased and rectified processes as well as the dual dynamics obtained through time-reversal. We apply all those results to simple independent and interacting models, including a stochastic chemical reaction network and a population process called the Brownian Donkey.


title: Multi-Agent Deep Reinforcement Learning For Persistent Monitoring With Sensing, Communication, and Localization Constraints

abstract: Determining multi-robot motion policies for persistently monitoring a region with limited sensing, communication, and localization constraints in non-GPS environments is a challenging problem. To take the localization constraints into account, in this paper, we consider a heterogeneous robotic system consisting of two types of agents: anchor agents with accurate localization capability and auxiliary agents with low localization accuracy. To localize itself, the auxiliary agents must be within the communication range of an {anchor}, directly or indirectly. The robotic team's objective is to minimize environmental uncertainty through persistent monitoring. We propose a multi-agent deep reinforcement learning (MARL) based architecture with graph convolution called Graph Localized Proximal Policy Optimization (GALOPP), which incorporates the limited sensor field-of-view, communication, and localization constraints of the agents along with persistent monitoring objectives to determine motion policies for each agent. We evaluate the performance of GALOPP on open maps with obstacles having a different number of anchor and auxiliary agents. We further study (i) the effect of communication range, obstacle density, and sensing range on the performance and (ii) compare the performance of GALOPP with non-RL baselines, namely, greedy search, random search, and random search with communication constraint. For its generalization capability, we also evaluated GALOPP in two different environments -- 2-room and 4-room. The results show that GALOPP learns the policies and monitors the area well. As a proof-of-concept, we perform hardware experiments to demonstrate the performance of GALOPP.


title: First Measurement of Inclusive Electron-Neutrino and Antineutrino Charged Current Differential Cross Sections in Charged Lepton Energy on Argon in MicroBooNE

abstract: We present the first measurement of the single-differential $\nu_e + \bar{\nu}_e$ charged-current inclusive cross sections on argon in electron or positron energy and in electron or positron scattering cosine over the full angular range. Data were collected using the MicroBooNE liquid argon time projection chamber located off-axis from the Fermilab Neutrinos at the Main Injector beam over an exposure of $2.0\times10^{20}$ protons on target. The signal definition includes a 60 MeV threshold on the $\nu_e$ or $\bar{\nu}_e$ energy and a 120 MeV threshold on the electron or positron energy. The measured total and differential cross sections are found to be in agreement with the GENIE, NuWro, and GiBUU neutrino generators.


title: On the best Ulam constant of the linear differential operator with constant coefficients

abstract: The linear differential operator with constant coefficients $$D(y)=y^{(n)}+a_1 y^{(n-1)}+\ldots+a_n y,\quad y\in \mathcal{C}^{n}(\mathbb{R}, X)$$ acting in a Banach space $X$ is Ulam stable if and only if its characteristic equation has no roots on the imaginary axis. We prove that if the characteristic equation of $D$ has distinct roots $r_k$ satisfying $\Real r_k>0,$ $1\leq k\le n,$ then the best Ulam constant of $D$ is $K_D=\frac{1}{|V|}\int_{0}^{\infty}\left|\sum\limits_{k=1}^n(-1)^kV_ke^{-r_k x}\right|dx,$ where $V=V(r_1,r_2,\ldots,r_n)$ and $V_k=V(r_1,\ldots,r_{k-1},r_{k+1}, \ldots, r_n),$ $1\leq k\leq n,$ are Vandermonde determinants.


title: Dynamics and Structural Transformations of Carbon Onion-Like under High-Velocity Impacts

abstract: Carbon nano-onions (CNO) are multi-shell fullerenes. In the present work, we used fully atomistic reactive (ReaxFF) molecular dynamics simulations to study the dynamics and structural transformations of CNO structures under high-velocity impacts against a fixed and rigid substrate. We considered single and multi-shell CNO (up to six shells) and at different impact velocities (from 2 up to 7 Km/s). Our results indicated three regimes formed after the CNO impact: slightly deformed CNO (quasi-elastic collision, below 2.0 Km/s), collapsed CNO (inelastic collisions, between 3.0 and 5.0 Km/s) forming a diamondoid-like core, and fragmented CNO yielding linear atomic carbon chains (above 5.0 Km/s). We also discussed the dynamical reconfiguration of carbon-carbon bonds during the collision process. The impact of CNO against the substrate yielded $sp^3$-like bond types for all the used initial velocities. At intermediate velocities (between 3.0 and 5.0 Km/s), the inelastic collision forms diamondoid-like cores by converting a substantial quantity of $sp^2$ bonds into $sp^3$ ones. In the high velocities regime, the total number of $sp^1$, $sp^2$, and $sp^3$ bonds tend to be similar.


title: The Perils of Using Mechanical Turk to Evaluate Open-Ended Text Generation

abstract: Recent text generation research has increasingly focused on open-ended domains such as story and poetry generation. Because models built for such tasks are difficult to evaluate automatically, most researchers in the space justify their modeling choices by collecting crowdsourced human judgments of text quality (e.g., Likert scores of coherence or grammaticality) from Amazon Mechanical Turk (AMT). In this paper, we first conduct a survey of 45 open-ended text generation papers and find that the vast majority of them fail to report crucial details about their AMT tasks, hindering reproducibility. We then run a series of story evaluation experiments with both AMT workers and English teachers and discover that even with strict qualification filters, AMT workers (unlike teachers) fail to distinguish between model-generated text and human-generated references. We show that AMT worker judgments improve when they are shown model-generated output alongside human-generated references, which enables the workers to better calibrate their ratings. Finally, interviews with the English teachers provide deeper insights into the challenges of the evaluation process, particularly when rating model-generated text.


title: Security, Privacy, and Decentralization in Web3

abstract: Much of the recent excitement around decentralized finance (DeFi) comes from hopes that DeFi can be a secure, private, less centralized alternative to traditional finance systems. However, people moving to DeFi sites in hopes of improving their security and privacy may end up with less of both as recent attacks have demonstrated. In this work, we improve the understanding of DeFi by conducting the first Web measurements of the security, privacy, and decentralization properties of popular DeFi front ends. We find that DeFi applications -- or dapps -- suffer from the same security and privacy risks that frequent other parts of the Web but those risks are greatly exacerbated considering the money that is involved in DeFi. Our results show that a common tracker can observe user behavior on over 56% of websites we analyzed and many trackers on DeFi sites can trivially link a user's Ethereum address with PII (e.g., user name or demographic information), or phish users by initiating fake Ethereum transactions. Lastly, we establish that despite claims to the opposite, because of companies like Amazon and Cloudflare operating significant Web infrastructure, DeFi as a whole is considerably less decentralized than previously believed.


title: Simultaneous Object Reconstruction and Grasp Prediction using a Camera-centric Object Shell Representation

abstract: Being able to grasp objects is a fundamental component of most robotic manipulation systems. In this paper, we present a new approach to simultaneously reconstruct a mesh and a dense grasp quality map of an object from a depth image. At the core of our approach is a novel camera-centric object representation called the "object shell" which is composed of an observed "entry image" and a predicted "exit image". We present an image-to-image residual ConvNet architecture in which the object shell and a grasp-quality map are predicted as separate output channels. The main advantage of the shell representation and the corresponding neural network architecture, ShellGrasp-Net, is that the input-output pixel correspondences in the shell representation are explicitly represented in the architecture. We show that this coupling yields superior generalization capabilities for object reconstruction and accurate grasp quality estimation implicitly considering the object geometry. Our approach yields an efficient dense grasp quality map and an object geometry estimate in a single forward pass. Both of these outputs can be used in a wide range of robotic manipulation applications. With rigorous experimental validation, both in simulation and on a real setup, we show that our shell-based method can be used to generate precise grasps and the associated grasp quality with over 90% accuracy. Diverse grasps computed on shell reconstructions allow the robot to select and execute grasps in cluttered scenes with more than 93% success rate.


title: ePiC: Employing Proverbs in Context as a Benchmark for Abstract Language Understanding

abstract: While large language models have shown exciting progress on several NLP benchmarks, evaluating their ability for complex analogical reasoning remains under-explored. Here, we introduce a high-quality crowdsourced dataset of narratives for employing proverbs in context as a benchmark for abstract language understanding. The dataset provides fine-grained annotation of aligned spans between proverbs and narratives, and contains minimal lexical overlaps between narratives and proverbs, ensuring that models need to go beyond surface-level reasoning to succeed. We explore three tasks: (1) proverb recommendation and alignment prediction, (2) narrative generation for a given proverb and topic, and (3) identifying narratives with similar motifs. Our experiments show that neural language models struggle on these tasks compared to humans, and these tasks pose multiple learning challenges.


title: Surveying the Bright Stars by Optical Interferometry III: A Magnitude-Limited Multiplicity Survey of Classical Be-Stars

abstract: We present the results of a multiplicity survey for a magnitude-limited sample of 31 classical Be stars conducted with the Navy Precision Optical Interferometer and the Mark III Stellar Interferometer. The interferometric observations were used to detect companions in ten previously known binary systems. For two of these sources (66 Oph and $\beta$ Cep) new orbital solutions were obtained, while for a third source ($\upsilon$ Sgr) our observations provide the first direct, visual detection of the hot sdO companion to the Be primary star. Combining our interferometric observations with an extensive literature search, we conclude that an additional four sources (o Cas, 15 Mon, $\beta$ Lyr, and $\beta$ Cep) also contain wider binary components that are physical companions to the narrow binaries, thus forming hierarchical multiple systems. Among the sources not previously confirmed as spectroscopic or visual binaries, BK Cam was resolved on a number of nights within a close physical proximity of another star with relative motion possibly suggesting a physical binary. Combining our interferometric observations with an extensive literature search, we provide a detailed listing of companions known around each star in the sample, and discuss the multiplicity frequency in the sample. We also discuss the prospects for future multiplicity studies of classical Be stars by long baseline optical interferometry.


title: Quantum magnetism of ferromagnetic spin dimers in $\alpha$-KVOPO$_4$

abstract: Magnetism of the spin-$\frac12$ $\alpha$-KVOPO$_4$ is studied by thermodynamic measurements, $^{31}$P nuclear magnetic resonance (NMR), neutron diffraction, and density-functional band-structure calculations. Ferromagnetic Curie-Weiss temperature of $\theta_{\rm CW}\simeq 15.9$ K and the saturation field of $\mu_0H_s\simeq 11.3$ T suggest the predominant ferromagnetic coupling augmented by a weaker antiferromagnetic exchange that leads to a short-range order below 5 K and the long-range antiferromagnetic order below $T_{\rm N}\simeq 2.7$ K in zero field. Magnetic structure with the propagation vector $\mathbf k=(0,\frac12,0)$ and the ordered magnetic moment of 0.58 $\mu_B$ at 1.5 K exposes a non-trivial spin lattice where strong ferromagnetic dimers are coupled antiferromagnetically. The reduction in the ordered magnetic moment with respect to the classical value (1 $\mu_{\rm B}$) indicates sizable quantum fluctuations in this setting, despite the predominance of ferromagnetic exchange. We interpret this tendency toward ferromagnetism as arising from the effective orbital order in the folded chains of the VO$_6$ octahedra.


title: Large Deviations for the Spatial and Energy Distributions of Systems of Classical Ensemble

abstract: Boltzmann-Sanov and Cramer-Chernoff's theorems provide large deviation probabilities, entropy, and rate functions for the spatial distribution of systems and the total internal energy of an ensemble respectively. By the method of Lagrange's undetermined multipliers, the results of both theorems, the differentials of entropies or rate functions with respect to numbers of systems, establish the statistical equilibrium condition. We connect the large deviation statistics to the reversible and irreversible processes of the spatial arrangements of the systems and the energy exchange of the ensemble with the heat reservoir. We obtain the equalities between the differentials of entropies and other thermodynamic variables in the reversible processes and suggest inequalities of entropy productions for the irreversible processes.


title: Fast, high precision autofocus on a motorised microscope: automating blood sample imaging on the OpenFlexure Microscope

abstract: The OpenFlexure Microscope is a 3D printed, low-cost microscope capable of automated image acquisition through the use of a motorised translation stage and a Raspberry Pi imaging system. This automation has applications in research and healthcare, including in supporting the diagnosis of malaria in low resource settings. The plasmodium parasites which cause malaria require high magnification imaging, which has a shallow depth of field, necessitating the development of an accurate and precise autofocus procedure. We present methods of identifying the focal plane of the microscope, and procedures for reliably acquiring a stack of focused images on a system affected by backlash and drift. We also present and assess a method to verify the success of autofocus during the scan. The speed, reliability and precision of each method is evaluated, and the limitations discussed in terms of the end users' requirements.


title: Tunneling dynamics in cosmological bounce models

abstract: Quasiclassical methods are used to define dynamical tunneling times in models of quantum cosmological bounces. These methods provide relevant new information compared with the traditional treatment of quantum tunneling by means of tunneling probabilities. As shown here, the quantum dynamics in bounce models is not secure from reaching zero scale factor, re-opening the question of how the classical singularity may be avoided. Moreover, in the examples studied here, tunneling times remain small even for large barriers, highlighting the quantum instability of underlying bounce models.


title: A Remarkable Summation Formula, Lattice Tilings, and Fluctuations

abstract: We derive and prove an explicit formula for the sum of the fractional parts of certain geometric series. Although the proof is straightforward, we have been unable to locate any reference to this result. This summation formula allows us to efficiently analyze the average behavior of certain common nonlinear dynamical systems, such as the angle-doubling map, $x \mapsto 2x$ modulo 1. In particular, one can use this information to analyze how the behavior of individual orbits deviates from the global average (called fluctuations). More generally, the formula is valid in $\mathbb{R}^m$, where expanding maps give rise to so-called number systems. To illustrate the usefulness in this setting, we compute the fluctuations of a certain map on the plane.


title: Aluminum Cayley trees as scalable, broadband, multi-resonant optical antennas

abstract: An optical antenna can convert a propagative optical radiation into a localized excitation, and reciprocally. Although optical antennas can be readily created using resonant nanoparticles (metallic or dielectric) as elementary building blocks, the realization of antennas sustaining multiple resonances over a broad range of frequencies remains a challenging task. Here, we use aluminum self-similar, fractal-like structures as broadband optical antennas. Using electron energy loss spectroscopy, we experimentally evidence that a single aluminum Cayley tree, a simple self-similar structure, sustains multiple plasmonic resonances. The spectral position of these resonances is scalable over a broad spectral range spanning two decades, from ultraviolet to mid-infrared. Such multi-resonant structures are highly desirable for applications ranging from non-linear optics to light harvesting and photodetection, as well as surface-enhanced infrared absorption spectroscopy.


title: Amplitude-squared squeezing of Schr\"odinger cat states via Postselected von Neumann Measurement

abstract: We know that the original Schr\"odinger cat states has no amplitude-squared squeezing. In this paper, we investigate the amplitude-squared squeezing of Schr\"odinger cat states using postselected von Neumann measurement. The results show that after postselected von Neumann measurement, the amplitude-squared squeezing of Schr\"odinger cat states change dramatically and this can be considered a result of weak value amplification. The squeezing effect also investigated by studying the Wigner function of Schr\"odinger cat states after postselected measurement.


title: Wrapping trust for interoperability. A study of wrapped tokens

abstract: As known, blockchains are traditionally blind to the real world. This implies the reliance on third parties called oracles when extrinsic data is needed for smart contracts. However, reintroducing trust and single point of failure, oracles implementation is still controversial and debated. The blindness to the real world makes blockchains also unable to communicate with each other preventing any form of interoperability. An early approach to the interoperability issue is constituted by wrapped tokens, representing blockchain native tokens issued on a non-native blockchain. Similar to how oracles reintroduce trust, and single point of failure, the issuance of wrapped tokens involves third parties whose characteristics need to be considered when evaluating the advantages of crossing-chains. This paper provides an overview of the wrapped tokens and the main technologies implemented in their issuance. Advantages, as well as limitations, are also listed and discussed.


title: Realizing all-to-all couplings among detachable quantum modules using a microwave quantum state router

abstract: One of the primary challenges in realizing large-scale quantum processors is the realization of qubit couplings that balance interaction strength, connectivity, and mode confinement. Moreover, it is very desirable for the device elements to be detachable, allowing components to be built, tested, and replaced independently. In this work, we present a microwave quantum state router, centered on parametrically driven, Josephson-junction based three-wave mixing, that realizes all-to-all couplings among four detachable quantum modules. We demonstrate coherent exchange among all four communication modes, with an average full-iSWAP time of 764ns and average inferred inter-module exchange fidelity of 0.969, limited by mode coherence. We also demonstrate photon transfer and pairwise entanglement between module qubits, and parallel operation of simultaneous iSWAP exchange across the router. Our router-module architecture serves as a prototype of modular quantum computer that has great potential for enabling flexible, demountable, large-scale quantum networks of superconducting qubits and cavities.


title: A geometric perspective on functional outlier detection

abstract: We consider functional outlier detection from a geometric perspective, specifically: for functional data sets drawn from a functional manifold which is defined by the data's modes of variation in amplitude and phase. Based on this manifold, we develop a conceptualization of functional outlier detection that is more widely applicable and realistic than previously proposed. Our theoretical and experimental analyses demonstrate several important advantages of this perspective: It considerably improves theoretical understanding and allows to describe and analyse complex functional outlier scenarios consistently and in full generality, by differentiating between structurally anomalous outlier data that are off-manifold and distributionally outlying data that are on-manifold but at its margins. This improves practical feasibility of functional outlier detection: We show that simple manifold learning methods can be used to reliably infer and visualize the geometric structure of functional data sets. We also show that standard outlier detection methods requiring tabular data inputs can be applied to functional data very successfully by simply using their vector-valued representations learned from manifold learning methods as input features. Our experiments on synthetic and real data sets demonstrate that this approach leads to outlier detection performances at least on par with existing functional data-specific methods in a large variety of settings, without the highly specialized, complex methodology and narrow domain of application these methods often entail.


title: BenchIE: A Framework for Multi-Faceted Fact-Based Open Information Extraction Evaluation

abstract: Intrinsic evaluations of OIE systems are carried out either manually -- with human evaluators judging the correctness of extractions -- or automatically, on standardized benchmarks. The latter, while much more cost-effective, is less reliable, primarily because of the incompleteness of the existing OIE benchmarks: the ground truth extractions do not include all acceptable variants of the same fact, leading to unreliable assessment of the models' performance. Moreover, the existing OIE benchmarks are available for English only. In this work, we introduce BenchIE: a benchmark and evaluation framework for comprehensive evaluation of OIE systems for English, Chinese, and German. In contrast to existing OIE benchmarks, BenchIE is fact-based, i.e., it takes into account informational equivalence of extractions: our gold standard consists of fact synsets, clusters in which we exhaustively list all acceptable surface forms of the same fact. Moreover, having in mind common downstream applications for OIE, we make BenchIE multi-faceted; i.e., we create benchmark variants that focus on different facets of OIE evaluation, e.g., compactness or minimality of extractions. We benchmark several state-of-the-art OIE systems using BenchIE and demonstrate that these systems are significantly less effective than indicated by existing OIE benchmarks. We make BenchIE (data and evaluation code) publicly available on https://github.com/gkiril/benchie.


title: Semiclassical Ohsawa-Takegoshi extension theorem and asymptotics of the orthogonal Bergman kernel

abstract: We study the asymptotics of Ohsawa-Takegoshi extension operator and orthogonal Bergman projector associated with high tensor powers of a positive line bundle. More precisely, for a fixed complex submanifold in a complex manifold, we consider the operator which associates to a given holomorphic section of a positive line bundle over the submanifold the holomorphic extension of it to the ambient manifold with the minimal $L^2$-norm. When the tensor power of the line bundle tends to infinity, we obtain an explicit asymptotic expansion of this operator. This is done by proving an exponential estimate for the associated Schwartz kernel and showing that this Schwartz kernel admits a full asymptotic expansion. We prove similar results for the projection onto holomorphic sections orthogonal to those which vanish along the submanifold.


title: On Warped String Vacuum Profiles and Cosmologies, I. Supersymmetric Strngs

abstract: We investigate in detail solutions of supergravity that involve warped products of flat geometries of the type M(p+1) x R x T(D-p-2) depending on a single coordinate. In the absence of fluxes, the solutions include flat space and Kasner-like vacua that break all supersymmetries. In the presence of a symmetric flux, there are three families of solutions that are characterized by a pair of boundaries and have a singularity at one of them, the origin. The first family comprises supersymmetric vacua, which capture a universal limiting behavior at the origin. The first and second families also contain non--supersymmetric solutions whose behavior at the other boundary, which can lie at a finite or infinite distance, is captured by the no--flux solutions. The solutions of the third family have a second boundary at a finite distance where they approach again the supersymmetric backgrounds. These vacua exhibit a variety of interesting scenarios, which include compactifications on finite intervals and (p+1)-dimensional effective theories where the string coupling has an upper bound. We also build corresponding cosmologies, and in some of them the string coupling can be finite throughout the evolution.


title: Summarize-then-Answer: Generating Concise Explanations for Multi-hop Reading Comprehension

abstract: How can we generate concise explanations for multi-hop Reading Comprehension (RC)? The current strategies of identifying supporting sentences can be seen as an extractive question-focused summarization of the input text. However, these extractive explanations are not necessarily concise i.e. not minimally sufficient for answering a question. Instead, we advocate for an abstractive approach, where we propose to generate a question-focused, abstractive summary of input paragraphs and then feed it to an RC system. Given a limited amount of human-annotated abstractive explanations, we train the abstractive explainer in a semi-supervised manner, where we start from the supervised model and then train it further through trial and error maximizing a conciseness-promoted reward function. Our experiments demonstrate that the proposed abstractive explainer can generate more compact explanations than an extractive explainer with limited supervision (only 2k instances) while maintaining sufficiency.


title: Reinterpretation of proton strangeness between ATLAS and CMS measurements

abstract: We reexamine the shapes of the strange quark parton distribution functions (PDFs) of the proton by means of quantum chromodynamics (QCD) analysis of {\hera} deep inelastic scattering cross section measurement at DESY, and inclusive gauge boson production and $W$ boson production associated with a charm quark from LHC at CERN. We find that there is an overall agreement on the strange quark distributions obtained from CMS $W$ + charm and ATLAS $W/Z$ data at the parton momentum fraction range $x \lesssim 10^{-2}$. Meanwhile, there is also a strong tension between these data towards large $x$. We find that this tension fades away if the ATLAS measurement of $W/Z$ production is analyzed together with the ATLAS $W$ + charm data. The $W/Z$ and $W$ + charm data both from ATLAS and CMS experiments agree that the proton strangeness is enhanced towards small momentum fraction $x$ and is smoothly suppressed at large $x$. Furthermore, a strong $x$ dependence of the strange-to-non-strange parton ratio $R_s(x,Q^2)$ is observed.


title: Timely Status Updating Over Erasure Channels Using an Energy Harvesting Sensor: Single and Multiple Sources

abstract: A status updating system is considered in which data from multiple sources are sampled by an energy harvesting sensor and transmitted to a remote destination through an erasure channel. The goal is to deliver status updates of all sources in a timely manner, such that the cumulative long-term average age-of-information (AoI) is minimized. The AoI for each source is defined as the time elapsed since the generation time of the latest successful status update received at the destination from that source. Transmissions are subject to energy availability, which arrives in units according to a Poisson process, with each energy unit capable of carrying out one transmission from only one source. The sensor is equipped with a unit-sized battery to save the incoming energy. A scheduling policy is designed in order to determine which source is sampled using the available energy. The problem is studied in two main settings: no erasure status feedback, and perfect instantaneous feedback.


title: Performance of a Markovian neural network versus dynamic programming on a fishing control problem

abstract: Fishing quotas are unpleasant but efficient to control the productivity of a fishing site. A popular model has a stochastic differential equation for the biomass on which a stochastic dynamic programming or a Hamilton-Jacobi-Bellman algorithm can be used to find the stochastic control -- the fishing quota. We compare the solutions obtained by dynamic programming against those obtained with a neural network which preserves the Markov property of the solution. The method is extended to a similar multi species model to check its robustness in high dimension.


title: $\widehat{sl_2}$ symmetry of ${\mathbb R}^{1,3}$ gravity

abstract: We propose novel asymptotically locally flat boundary conditions for Einstein Gravity without cosmological constant in four dimensions that are consistent with the variational principle. They allow for complex solutions that are asymptotically diffeomorphic to flat space-times under complexified diffeomorphisms. We show that the resultant asymptotic symmetries are an extension of the Poincare algebra to a copy of Virasoro, a chiral $\mathfrak{sl}(2,{\mathbb C})$ current algebra along with two chiral $\mathfrak{u}(1)$ currents. We posit that these bulk symmetries are direct analogues of the recently discovered chiral algebra symmetries of gravitational scattering amplitudes as celestial CFT correlation functions.


title: CyberBunker 2.0 -- A Domain and Traffic Perspective on a Bulletproof Hoster

abstract: In September 2019, 600 armed German cops seized the physical premise of a Bulletproof Hoster (BPH) referred to as CyberBunker 2.0. The hoster resided in a decommissioned NATO bunker and advertised to host everything but child porn and anything related to terrorism while keeping servers online no matter what. While the anatomy, economics and interconnection-level characteristics of BPHs are studied, their traffic characteristics are unknown. In this poster, we present the first analysis of domains, web pages, and traffic captured at a major tier-1 ISP and a large IXP at the time when the CyberBunker was in operation. Our study sheds light on traffic characteristics of a BPH in operation. We show that a traditional BGP-based BPH identification approach cannot detect the CyberBunker, but find characteristics from a domain and traffic perspective that can add to future identification approaches.