title: Multimodal Interactive Lung Lesion Segmentation: A Framework for Annotating PET/CT Images based on Physiological and Anatomical Cues

abstract: Recently, deep learning enabled the accurate segmentation of various diseases in medical imaging. These performances, however, typically demand large amounts of manual voxel annotations. This tedious process for volumetric data becomes more complex when not all required information is available in a single imaging domain as is the case for PET/CT data. We propose a multimodal interactive segmentation framework that mitigates these issues by combining anatomical and physiological cues from PET/CT data. Our framework utilizes the geodesic distance transform to represent the user annotations and we implement a novel ellipsoid-based user simulation scheme during training. We further propose two annotation interfaces and conduct a user study to estimate their usability. We evaluated our model on the in-domain validation dataset and an unseen PET/CT dataset. We make our code publicly available: https://github.com/verena-hallitschke/pet-ct-annotate.


title: The ASTRI Cherenkov Camera: from the prototype to the industrial version for the Mini-Array

abstract: The observation of energetic astronomical sources emitting very high-energy gamma-rays in the TeV spectral range (as e.g. supernova remnants or blazars) is mainly based on detecting the Cherenkov light induced by relativistic particles in the showers produced by the photon interaction with the Earth atmosphere. The ASTRI Mini-Array is an INAF-led project aimed observing such celestial objects in the 1 - 100 TeV energy range. It consists of an array of nine innovative imaging atmospheric Cherenkov telescopes that are an evolution of the dual-mirror aplanatic ASTRI-Horn telescope operating at the INAF "M.C. Fracastoro" observing station (Serra La Nave, Mount Etna, Italy). The ASTRI Mini-Array is currently under construction at the Observatorio del Teide (Tenerife, Spain). In this paper, we present the compact (diameter 660mm, height 520mm, weight 73kg) ASTRI-Horn prototype Cherenkov Camera based on a modular multipixel Silicon Photon Multiplier (SiPM) detector, has been acquiring data since 2016 and allowing us to obtain both scientific data and essential lessons. In this contribution, we report the main features of the camera and its evolution toward the new Cherenkov camera, which will be installed on each ASTRI Mini-Array telescope to cover an unprecedented field of view of 10.5{\deg}.


title: Segmentation of pores in cementitious materials based on backscattered electron measurements: a new proposal of regression-based approach for threshold estimation

abstract: In the following work, we described the problems of porosity analysis of cement materials using backscattered electron images. We noticed that despite its great utility, the overflow porosity segmentation method allows for the introduction of an additional error by the effect of the subjective researcher. For this purpose, two developed variants of this method - regression I and II - were completely algorithmized and compared with the literature methods of overflow, triangle, and method preserving to choose the fastest and most consistent measurement method. Based on the comparison of the two data sets, it was judged that the improved overflow-based methods are the best candidates for the automated porosity assessment, with particular emphasis on regression II. All the algorithms used are summarized as Python source code in Supplementary Material.


title: The SQUALO project (Star formation in QUiescent And Luminous Objects) I: clump-fed accretion mechanism in high-mass star-forming objects

abstract: The formation mechanism of the most massive stars is far from completely understood. It is still unclear if the formation is core-fed or clump-fed, i.e. if the process is an extension of what happens in low-mass stars, or if the process is more dynamical such as a continuous, multi-scale accretion from the gas at parsec (or even larger) scales. In this context we introduce the SQUALO project, an ALMA 1.3 mm and 3 mm survey designed to investigate the properties of 13 massive clumps selected at various evolutionary stages, with the common feature that they all show evidence for accretion at the clump scale. In this work we present the results obtained from the 1.3 mm continuum data. Our observations identify 55 objects with masses in the range 0.4 <~ M <~ 309 M_sun, with evidence that the youngest clumps already present some degree of fragmentation. The data show that physical properties such as mass and surface density of the fragments and their parent clumps are tightly correlated. The minimum distance between fragments decreases with evolution, suggesting a dynamical scenario in which massive clumps first fragment under the influence of non-thermal motions driven by the competition between turbulence and gravity. With time gravitational collapse takes over and the fragments organize themselves into more thermally supported objects while continuing to accrete from their parent clump. Finally, one source does not fragment, suggesting that the support of other mechanisms (such as magnetic fields) is crucial only in specific star-forming regions.


title: Smart tutor to provide feedback in programming courses

abstract: Artificial Intelligence (AI) is becoming more and more popular as time passes, allowing to perform tasks that were difficult to do in the past. From predictions to customization, AI is being used in many areas, not being educational environments outside this situation. AI is being used in educational settings to customize contents or to provide personalized feedback to the students, among others. In this scenario, AI in programming teaching is something that still has to be explored, since in this area we usually find assessment tools that allow grading the students work, but we can not find many tools aimed towards providing feedback to the students in the process of creating their program. In this work we present an AI based intelligent tutor that answers students programming questions. The tool has been tested by university students at the URJC along a whole course. Even if the tool is still in its preliminary phase, it helped the students with their questions, providing accurate answers and examples. The students were able to use the intelligent tutor easily and they thought that it could be a useful tool to use in other courses.


title: Opportunities and Challenges in Neural Dialog Tutoring

abstract: Designing dialog tutors has been challenging as it involves modeling the diverse and complex pedagogical strategies employed by human tutors. Although there have been significant recent advances in neural conversational systems using large language models (LLMs) and growth in available dialog corpora, dialog tutoring has largely remained unaffected by these advances. In this paper, we rigorously analyze various generative language models on two dialog tutoring datasets for language learning using automatic and human evaluations to understand the new opportunities brought by these advances as well as the challenges we must overcome to build models that would be usable in real educational settings. We find that although current approaches can model tutoring in constrained learning scenarios when the number of concepts to be taught and possible teacher strategies are small, they perform poorly in less constrained scenarios. Our human quality evaluation shows that both models and ground-truth annotations exhibit low performance in terms of equitable tutoring, which measures learning opportunities for students and how engaging the dialog is. To understand the behavior of our models in a real tutoring setting, we conduct a user study using expert annotators and find a significantly large number of model reasoning errors in 45% of conversations. Finally, we connect our findings to outline future work.


title: Cancellation effects as a fingerprint of quantum collapse models at atomic scale

abstract: In this work the spontaneous electromagnetic radiation from atomic systems, induced by dynamical wave-function collapse, is investigated in the X-rays domain. Strong departures are evidenced with respect to the simple cases considered until now in the literature, in which the emission is either perfectly coherent (protons in the same nuclei) or incoherent (electrons). In this low-energy regime the spontaneous radiation rate strongly depends on the atomic species under investigation and, for the first time, is found to depend on the specific collapse model.


title: Self-Supervised Learning for Enhancing Angular Resolution in Automotive MIMO Radars

abstract: A novel framework to enhance the angular resolution of automotive radars is proposed. An approach to enlarge the antenna aperture using artificial neural networks is developed using a self-supervised learning scheme. Data from a high angular resolution radar, i.e., a radar with a large antenna aperture, is used to train a deep neural network to extrapolate the antenna element's response. Afterward, the trained network is used to enhance the angular resolution of compact, low-cost radars. One million scenarios are simulated in a Monte-Carlo fashion, varying the number of targets, their Radar Cross Section (RCS), and location to evaluate the method's performance. Finally, the method is tested in real automotive data collected outdoors with a commercial radar system. A significant increase in the ability to resolve targets is demonstrated, which can translate to more accurate and faster responses from the planning and decision making system of the vehicle.


title: SN 2020uem: A Possible Thermonuclear Explosion within A Dense Circumstellar Medium (II) The Properties of The CSM from Polarimetry and Light Curve Modeling

abstract: Type IIn/Ia-CSM supernovae (SNe IIn/Ia-CSM) are classified by their characteristic spectra, which exhibit narrow hydrogen emission lines originating from a strong interaction with a circumstellar medium (CSM) together with broad lines of intermediate-mass elements. We performed intensive follow-up observations of SN IIn/Ia-CSM 2020uem, including photometry, spectroscopy, and polarimetry. In this paper, we focus on the results of polarimetry. We performed imaging polarimetry at $66$ days and spectropolarimetry at $103$ days after the discovery. SN 2020uem shows a high continuum polarization of $1.0-1.5\%$ without wavelength dependence. Besides, the polarization degree and position angle keep roughly constant. These results suggest that SN 2020uem is powered by a strong interaction with a confined and aspherical CSM. We performed a simple polarization modeling, based on which we suggest that SN 2020uem has an equatorial-disk/torus CSM. Besides, we performed semi-analytic light-curve modeling and estimated the CSM mass. We revealed that the mass-loss rate in the final few hundred years immediately before the explosion of SN 2020uem is in the range of $0.01 - 0.05 {\rm ~M_{\odot}~yr^{-1}}$, and that the total CSM mass is $0.5-4 {\rm ~M_{\odot}}$. The CSM mass can be accommodated by not only a red supergiant (RSG) but a red giant (RG) or an asymptotic-giant-branch (AGB) star. As a possible progenitor scenario of SN 2020uem, we propose a white-dwarf binary system including an RG, RSG or AGB star, especially a merger scenario via common envelope evolution, i.e., the core-degenerate scenario or its variant.


title: Lee-Yang theory of quantum phase transitions with neural network quantum states

abstract: Predicting the phase diagram of interacting quantum many-body systems is a central problem in condensed matter physics and related fields. A variety of quantum many-body systems, ranging from unconventional superconductors to spin liquids, exhibit complex competing phases whose theoretical description has been the focus of intense efforts. Here, we show that neural network quantum states can be combined with a Lee-Yang theory of quantum phase transitions to predict the critical points of strongly-correlated spin lattices. Specifically, we implement our approach for quantum phase transitions in the transverse-field Ising model on different lattice geometries in one, two, and three dimensions. We show that the Lee-Yang theory combined with neural network quantum states yields predictions of the critical field, which are consistent with large-scale quantum many-body methods. As such, our results provide a starting point for determining the phase diagram of more complex quantum many-body systems, including frustrated Heisenberg and Hubbard models.


title: Asymptotics for the infinite Brownian loop on noncompact symmetric spaces

abstract: The infinite Brownian loop on a Riemannian manifold is the limit in distribution of the Brownian bridge of length $T$ around a fixed origin when $T \rightarrow +\infty$. The aim of this note is to study its long-time asymptotics on Riemannian symmetric spaces $G/K$ of noncompact type and of general rank. This amounts to the behavior of solutions to the heat equation subject to the Doob transform induced by the ground spherical function. Unlike the standard Brownian motion, we observe in this case phenomena which are similar to the Euclidean setting, namely $L^1$ asymptotic convergence without requiring bi-$K$-invariance for initial data, and strong $L^{\infty}$ convergence.


title: Born approximation study of the strong disorder in magnetized surface states of topological insulator

abstract: In this study we investigate the effect of random point disorder on the surface states of a topological insulator with out-of-plane magnetization. We consider the disorder within a high order Born approximation. The Born series converges to the one branch of the self-consistent Born approximation (SCBA) solution at low disorder. As the disorder strength increases, the Born series converges to another SCBA solution with the finite density of states within the magnetization induced gap. Further increase of the disorder strength leads to a divergence of the Born series, showing the limits of the applicability of the Born approximation. We find that the convergence properties of this Born series are closely related to the properties of the logistic map, which is known as a prototypical model of chaos. We also calculate the longitudinal and Hall conductivities within the Kubo formulas at zero temperature with the vertex corrections for the velocity operator. Vertex corrections are important for describing transport properties in the strong disorder regime. In the case of strong disorder, the longitudinal conductivity is weakly dependent on the disorder strength, while the Hall conductivity decreases with increasing disorder.


title: A two stages Deep Learning Architecture for Model Reduction of Parametric Time-Dependent Problems

abstract: Parametric time-dependent systems are of a crucial importance in modeling real phenomena, often characterized by non-linear behaviors too. Those solutions are typically difficult to generalize in a sufficiently wide parameter space while counting on limited computational resources available. As such, we present a general two-stages deep learning framework able to perform that generalization with low computational effort in time. It consists in a separated training of two pipe-lined predictive models. At first, a certain number of independent neural networks are trained with data-sets taken from different subsets of the parameter space. Successively, a second predictive model is specialized to properly combine the first-stage guesses and compute the right predictions. Promising results are obtained applying the framework to incompressible Navier-Stokes equations in a cavity (Rayleigh-Bernard cavity), obtaining a 97% reduction in the computational time comparing with its numerical resolution for a new value of the Grashof number.


title: Predissociation dynamics of negative ion resonances of H$_2$ near 12 eV and 14.5 eV using velocity slice imaging technique

abstract: Dissociative electron attachment (DEA) is an important tool for investigating negative ion resonances. We have studied the negative ion resonances of H2 at 10 eV and 14 eV using the improved velocity slice imaging technique. We obtained modulations in the kinetic energy spectrum of H$^-$ ions obtained at 12 eV and 14.5 eV electron energy, consistent with the earlier reported vibrational state contributions from the higher lying bound resonances. We show that structures obtained at 12 eV are due to predissociation of the $C^2{\Sigma}_g^+$ resonance consistent with the current understanding. However, based on our angular distribution measurements, we propose that the structures obtained at 14.4 eV are due to predissociation of bound resonance of $^2{\Sigma}_g^+$ symmetry as against ${\delta}_g$ that was proposed earlier. We also report that the bound $^2{\Sigma}_g^+$ resonance contributes to the observed inversion symmetry breaking near 14 eV.


title: Validation and traceability of miniaturized multi-parameter cluster of radiosondes used for atmospheric observations

abstract: In this work we designed and developed a cluster of light expendable radiosondes that can float passively inside warm clouds to study their micro-physical processes. This involves the tracking of both saturated and unsaturated turbulent air parcels. The aim of this new kind of observation system is to obtain Lagrangian statistics of the intense turbulence inside warm clouds and of the lower intensity turbulence that is typical of the air surrounding such clouds. Each radiosonde in a cluster includes an electronic board, which is mounted onto a small, biodegradable balloon filled with a mixture of helium and air. The cluster is able to float inside clouds for a few hours and to measure air temperature, pressure, humidity and the associated position, velocity, acceleration and magnetic field readings of each radiosonde along their trajectory.


title: $q$-bic forms

abstract: A $q$-bic form is a pairing $V \times V \to \mathbf{k}$ that is linear in the second variable and $q$-power Frobenius linear in the first; here, $V$ is a vector space over a field $\mathbf{k}$ containing the finite field on $q^2$ elements. This article develops a geometric theory of $q$-bic forms in the spirit of that of bilinear forms. I find two filtrations intrinsically attached to a $q$-bic form, with which I define a series of numerical invariants. These are used to classify, study automorphism group schemes of, and describe specialization relations in the parameter space of $q$-bic forms.


title: Quadruple-star systems are not always nested triples: a machine learning approach to dynamical stability

abstract: The dynamical stability of quadruple-star systems has traditionally been treated as a problem involving two `nested' triples which constitute a quadruple. In this novel study, we employed a machine learning algorithm, the multi-layer perceptron (MLP), to directly classify 2+2 and 3+1 quadruples based on their stability (or long-term boundedness). The training data sets for the classification, comprised of $5\times10^5$ quadruples each, were integrated using the highly accurate direct $N$-body code MSTAR. We also carried out a limited parameter space study of zero-inclination systems to directly compare quadruples to triples. We found that both our quadruple MLP models perform better than a `nested' triple MLP approach, which is especially significant for 3+1 quadruples. The classification accuracies for the 2+2 MLP and 3+1 MLP models are 94% and 93% respectively, while the scores for the `nested' triple approach are 88% and 66% respectively. This is a crucial implication for quadruple population synthesis studies. Our MLP models, which are very simple and almost instantaneous to implement, are available on GitHub, along with Python3 scripts to access them.


title: Accurate Energy Barriers for Catalytic Reaction Pathways: An Automatic Training Protocol for Machine Learning Force Fields

abstract: In this study, we introduce a training protocol for developing machine learning force fields (MLFFs), capable of accurately determining energy barriers in catalytic reaction pathways. The protocol is validated on the extensively explored hydrogenation of carbon dioxide to methanol over indium oxide. With the help of active learning, the final force field obtains energy barriers within 0.05 eV of Density Functional Theory. Thanks to the computational speedup, not only do we reduce the cost of routine in-silico catalytic tasks, but also find a 40\% reduction in the previously established rate-limiting step. Furthermore, we illustrate the importance of finite-temperature effects and compute free energy barriers. The transferability of the protocol is demonstrated on the experimentally relevant, yet unexplored, top-layer reduced indium oxide surface. The ability of MLFFs to enhance our understanding of extensively studied catalysts underscores the need for fast and accurate alternatives to direct ab-intio simulations.


title: The photometric periods of rapidly rotating field ultra-cool dwarfs

abstract: We use 1-m class telescopes and the Transiting Exoplanet Survey Satellite (TESS) to explore the photometric variability of all known rapidly rotating ($v\sin{i}\gtrsim30$ km\,s$^{-1}$) ultra-cool ($\geq$M7) dwarfs brighter than $I\approx17.5$ mag. For a sample of 13 M7--L1.5 dwarfs without prior photometric periods, we obtained $I$-band light curves with the SMARTS 1.3m and WIYN 0.9m telescopes and detected rotation-modulated photometric variability in three of them. Seven of our targets were also observed by TESS and six of them show significant periodicities compatible with the estimated rotation periods of the targets. We investigate the potential of TESS to search for rotation-modulated photometric variability in ultra-cool dwarfs and find that its long stare enables $<$80~h periodic variations to be retrieved with $\leq$1\% amplitudes for ultra-cool dwarfs up to a TESS magnitude of 16.5. We combine these results with the periods of all other known photometrically-periodic ultra-cool dwarfs from the literature, and find that the periods of ultra-cool dwarfs range between 1 and 24 h, although the upper limit is likely an observational bias. We also observe that the minimum rotation periods follow a lower envelope that runs from $\approx$2 h at spectral type $\approx$M8 to $\approx$1 h at spectral type T.


title: On an $f$-coloring generalization of linear arboricity of multigraphs

abstract: Given a multigraph $G$ and function $f : V(G) \rightarrow \mathbb{Z}_{\ge 2}$ on its vertices, a degree-$f$ subgraph of $G$ is a spanning subgraph in which every vertex $v$ has degree at most $f(v)$. The degree-$f$ arboricity $a_f(G)$ of $G$ is the minimum number of colors required to edge-color $G$ into degree-$f$ forests. At least for constant $f$, Truszczy\'nski conjectured that $a_f(G) \le \max \{\Delta_f(G) + 1, a(G)\}$ for every multigraph $G$, where $\Delta_f(G) = \max_{v \in V(G)} \lceil d(v)/f(v) \rceil$ and $a(G)$ is the usual arboricity of $G$. This is a strong generalization of the Linear Arboricity Conjecture due to Akiyama, Exoo, and Harary. In this paper, we disprove Truszczy\'nski's conjecture in a strong sense for general multigraphs. On the other hand, extending known results for linear arboricity, we prove that the conjecture holds for simple graphs with sufficiently large girth, and that it holds for all simple graphs asymptotically. More strongly, we prove these partial results in the setting of directed graphs, where the color classes are required to be analogously defined degree-$f$ branchings.


title: Compton Polarimetry

abstract: Photons preferentially Compton scatter perpendicular to the plane of polarisation. This property can be exploited to design instruments to measure the linear polarisation of hard X-rays ($\sim$10 - 100 keV). Photons may undergo two interactions in the sensitive volume of the instrument, i.e. a scattering followed by an absorption. Depending on the materials used to detect these two interactions, the Compton polarimeter can be classified as single-phase (same material for scattering and absorption detectors) or dual-phase (different materials). Different designs have been studied and adopted, and current instruments are predominantly with sensors based on scintillation- or solid-state detectors. X-ray polarimetry requires much higher statistics than e.g. spectrometry or timing, thus systematic effects must be accurately measured and accounted for. In this chapter we introduce the basic formalism of the Compton effect; we describe the design schemes developed so far for scattering polarimeters, including both the single-phase and dual-phase approaches; we overview the calibration methods to reduce the systematic effects; and we describe sources of background which affect the measurements.


title: Time-evolving Impact of Trees on Street Canyon Microclimate

abstract: Nowadays, cities are frequently exposed to heatwaves, worsening the outdoor thermal comfort and increasing cooling energy demand in summer. Urban forestry is seen as one of the viable and preferable solutions to combating extreme heat events and urban heat island (UHI) in times of climate change. While many cities have initiated tree-planting programmes in recent years, the evolving impact of trees on street microclimate, in a time span of up to several decades, remains unclear. We investigate the cooling effects of linden trees in five groups, i.e., 10-20, 20-30, 30-40, 40-60, and 60-100 years old. The leaf area index (LAI) and leaf area density (LAD) vary nonlinearly as the trees grow, peaking at different ages. Computational fluid dynamics (CFD) simulations solving microclimate are performed for an idealized street canyon with trees of varied age groups. Turbulent airflow, heat and moisture transport, shortwave and longwave radiation, shading and transpiration are fully coupled and solved in OpenFOAM. The meteorological data, including air temperature, wind speed, moisture, and shortwave radiation of the heatwave in Zurich (June 2019), are applied as boundary conditions. The results show that young trees in the age group of 10-20 years old provide little heat mitigation at the pedestrian level in an extreme heat event. Optimal heat mitigation by trees is observed for the group of 30-60 years old trees. Finally, the potential impact of growing trees as a heat mitigation measure on air ventilation is evaluated.


title: Efficient learning of large sets of locally optimal classification rules

abstract: Conventional rule learning algorithms aim at finding a set of simple rules, where each rule covers as many examples as possible. In this paper, we argue that the rules found in this way may not be the optimal explanations for each of the examples they cover. Instead, we propose an efficient algorithm that aims at finding the best rule covering each training example in a greedy optimization consisting of one specialization and one generalization loop. These locally optimal rules are collected and then filtered for a final rule set, which is much larger than the sets learned by conventional rule learning algorithms. A new example is classified by selecting the best among the rules that cover this example. In our experiments on small to very large datasets, the approach's average classification accuracy is higher than that of state-of-the-art rule learning algorithms. Moreover, the algorithm is highly efficient and can inherently be processed in parallel without affecting the learned rule set and so the classification accuracy. We thus believe that it closes an important gap for large-scale classification rule induction.


title: Explainable Deep Reinforcement Learning: State of the Art and Challenges

abstract: Interpretability, explainability and transparency are key issues to introducing Artificial Intelligence methods in many critical domains: This is important due to ethical concerns and trust issues strongly connected to reliability, robustness, auditability and fairness, and has important consequences towards keeping the human in the loop in high levels of automation, especially in critical cases for decision making, where both (human and the machine) play important roles. While the research community has given much attention to explainability of closed (or black) prediction boxes, there are tremendous needs for explainability of closed-box methods that support agents to act autonomously in the real world. Reinforcement learning methods, and especially their deep versions, are such closed-box methods. In this article we aim to provide a review of state of the art methods for explainable deep reinforcement learning methods, taking also into account the needs of human operators - i.e., of those that take the actual and critical decisions in solving real-world problems. We provide a formal specification of the deep reinforcement learning explainability problems, and we identify the necessary components of a general explainable reinforcement learning framework. Based on these, we provide a comprehensive review of state of the art methods, categorizing them in classes according to the paradigm they follow, the interpretable models they use, and the surface representation of explanations provided. The article concludes identifying open questions and important challenges.


title: Search for exclusive Higgs and $Z$ boson decays to $\omega\gamma$ and Higgs boson decays to $K^{*}\gamma$ with the ATLAS detector

abstract: Searches for the exclusive decays of the Higgs boson to an $\omega$ meson and a photon or a $K^{*}$ meson and a photon can probe flavour-conserving and flavour-violating Higgs boson couplings to light quarks, respectively. Searches for these decays, along with the analogous $Z$ boson decay to an $\omega$ meson and a photon, are performed with a $pp$ collision data sample corresponding to integrated luminosities of up to 134 fb$^{-1}$ collected at $\sqrt{s}=13$ TeV with the ATLAS detector at the CERN Large Hadron Collider. The obtained 95% confidence-level upper limits on the respective branching fractions are ${\cal B}(H\rightarrow\omega\gamma)< 5.5\times 10^{-4}$, ${\cal B}(H\rightarrow K^{*}\gamma)< 2.2\times10^{-4}$ and ${\cal B}(Z\rightarrow \omega\gamma)<3.9\times 10^{-6}$. The limits for $H\rightarrow \omega\gamma$ and $Z\rightarrow \omega\gamma$ are 370 times and 140 times the Standard Model expected values, respectively. The result for $Z\rightarrow \omega\gamma$ corresponds to a two-orders-of-magnitude improvement over the limit obtained by the DELPHI experiment at LEP.


title: Solving the Discretised Neutron Diffusion Equations using Neural Networks

abstract: This paper presents a new approach which uses the tools within Artificial Intelligence (AI) software libraries as an alternative way of solving partial differential equations (PDEs) that have been discretised using standard numerical methods. In particular, we describe how to represent numerical discretisations arising from the finite volume and finite element methods by pre-determining the weights of convolutional layers within a neural network. As the weights are defined by the discretisation scheme, no training of the network is required and the solutions obtained are identical (accounting for solver tolerances) to those obtained with standard codes often written in Fortran or C++. We also explain how to implement the Jacobi method and a multigrid solver using the functions available in AI libraries. For the latter, we use a U-Net architecture which is able to represent a sawtooth multigrid method. A benefit of using AI libraries in this way is that one can exploit their power and their built-in technologies. For example, their executions are already optimised for different computer architectures, whether it be CPUs, GPUs or new-generation AI processors. In this article, we apply the proposed approach to eigenvalue problems in reactor physics where neutron transport is described by diffusion theory. For a fuel assembly benchmark, we demonstrate that the solution obtained from our new approach is the same (accounting for solver tolerances) as that obtained from the same discretisation coded in a standard way using Fortran. We then proceed to solve a reactor core benchmark using the new approach.


title: A Lopez-Escobar Theorem for Continuous Domains

abstract: We prove an effective version of the Lopez-Escobar theorem for continuous domains. Let $Mod(\tau)$ be the set of countable structures with universe $\omega$ in vocabulary $\tau$ topologized by the Scott topology. We show that an invariant set $X \subseteq Mod(\tau)$ is $\Pi^0_\alpha$ in the effective Borel hierarchy of this topology if and only if it is definable by a $\Pi^p_\alpha$ - formula, a positive $\Pi^0_\alpha$ formula in the infinitary logic $L_{\omega_1,\omega}$. As a corollary of this result we obtain a new pullback theorem for positive computable embeddings: Let $K$ be positively computably embeddable in $K'$ by $\Phi$, then for every $\Pi^p_\alpha$ formula $\xi$ in the vocabulary of $K'$ there is a $\Pi^p_\alpha$ formula $\xi^\star$ in the vocabulary of $K$ such that for all $A \in K$, $A \models \xi^\star$ if and only if $\Phi(A) \models \xi$. We use this to obtain new results on the possibility of positive computable embeddings into the class of linear orderings.


title: ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents

abstract: As reinforcement learning methods increasingly amass accomplishments, the need for comprehending their solutions becomes more crucial. Most explainable reinforcement learning (XRL) methods generate a static explanation depicting their developers' intuition of what should be explained and how. In contrast, literature from the social sciences proposes that meaningful explanations are structured as a dialog between the explainer and the explainee, suggesting a more active role for the user and her communication with the agent. In this paper, we present ASQ-IT -- an interactive tool that presents video clips of the agent acting in its environment based on queries given by the user that describe temporal properties of behaviors of interest. Our approach is based on formal methods: queries in ASQ-IT's user interface map to a fragment of Linear Temporal Logic over finite traces (LTLf), which we developed, and our algorithm for query processing is based on automata theory. User studies show that end-users can understand and formulate queries in ASQ-IT, and that using ASQ-IT assists users in identifying faulty agent behaviors.


title: An irreducible linear switching system whose unique Barabanov norm is not strictly convex

abstract: We construct a marginally stable linear switching system in continuous time, in four dimensions and with three switching states, which is exponentially stable with respect to constant switching laws and which has a unique Barabanov norm, but such that the Barabanov norm fails to be strictly convex. This resolves a question of Y. Chitour, M. Gaye and P. Mason.


title: Learning To Dive In Branch And Bound

abstract: Primal heuristics are important for solving mixed integer linear programs, because they find feasible solutions that facilitate branch and bound search. A prominent group of primal heuristics are diving heuristics. They iteratively modify and resolve linear programs to conduct a depth-first search from any node in the search tree. Existing divers rely on generic decision rules that fail to exploit structural commonality between similar problem instances that often arise in practice. Therefore, we propose L2Dive to learn specific diving heuristics with graph neural networks: We train generative models to predict variable assignments and leverage the duality of linear programs to make diving decisions based on the model's predictions. L2Dive is fully integrated into the open-source solver SCIP. We find that L2Dive outperforms standard divers to find better feasible solutions on a range of combinatorial optimization problems. For real-world applications from server load balancing and neural network verification, L2Dive improves the primal-dual integral by up to 7% (35%) on average over a tuned (default) solver baseline and reduces average solving time by 20% (29%).


title: Set-theoretical solutions of the pentagon equation on Clifford semigroups

abstract: Given a set-theoretical solution of the pentagon equation $s:S\times S\to S\times S$ on a set $S$ and writing $s(a, b)=(a\cdot b,\, \theta_a(b))$, with $\cdot$ a binary operation on $S$ and $\theta_a$ a map from $S$ into itself, for every $a\in S$, one naturally obtains that $\left(S,\,\cdot\right)$ is a semigroup. In this paper, we focus on solutions on Clifford semigroups $\left(S,\,\cdot\right)$ satisfying special properties on the set of the idempotents $E(S)$. Into the specific, we provide a complete description of idempotent-invariant solutions, namely, those solutions for which $\theta_a$ remains invariant in $E(S)$, for every $a\in S$. Moreover, considering $(S,\,\cdot)$ as a disjoint union of groups, we construct a family of idempotent-fixed solutions, i.e., those solutions for which $\theta_a$ fixes every element in $E(S)$, for every $a\in S$, starting from a solution on each group.


title: The concept of center as an equivariant map and a proof of an analogue of the center conjecture for equifacetal simplices

abstract: Several authors have remarked the convenience of understanding the different notions of center appearing in Geometry (centroid of a set of points, incenter of a triangle, center of a conic and many others) as functions. The most general way to do so is to define centers as equivariant maps between $G$-spaces. In this paper, we prove that, under certain hypothesis, for any two $G$-spaces $\mathcal A,\mathcal X$, for every $V\in \mathcal A$ and for every point $P\in\mathcal X$ fixed by the symmetry group of $V$, there exists some equivariant map $\mathfrak Z:\mathcal A\to \mathcal X$ such that $\mathfrak Z(V)=P$. As a consequence of this fact, we prove an analogue (for non-neccessarily continuous centers) of the \emph{center conjecture for equifacetal simplices}, proposed by A. L. Edmonds.


title: Quorum Tree Abstractions of Consensus Protocols

abstract: Distributed algorithms solving agreement problems like consensus or state machine replication are essential components of modern fault-tolerant distributed services. They are also notoriously hard to understand and reason about. Their complexity stems from the different assumptions on the environment they operate with, i.e., process or network link failures, Byzantine failures etc. In this paper, we propose a novel abstract representation of the dynamics of such protocols which focuses on quorums of responses (votes) to a request (proposal) that form during a run of the protocol. We show that focusing on such quorums, a run of a protocol can be viewed as working over a tree structure where different branches represent different possible outcomes of the protocol, the goal being to stabilize on the choice of a fixed branch. This abstraction resembles the description of recent protocols used in Blockchain infrastructures, e.g., the protocol supporting Bitcoin or HotStuff. We show that this abstraction supports reasoning about the safety of various algorithms, e.g., Paxos, PBFT, Raft, and HotStuff, in a uniform way. In general, it provides a novel induction based argument for proving that such protocols are safe.


title: High-resolution Imaging of Two Radio Quasars at the End of the Reionization Epoch

abstract: There are approximately 250 quasars discovered at redshift $z\geq6$, of which only a handful were detected in radio bands, and even fewer were imaged with the highest resolution very long baseline interferometry (VLBI) technique. Here we report the results of our dual-frequency observations with the Very Long Baseline Array (VLBA) of two such recently discovered quasars, VIKING J231818.35$-$311346.3 at $z=6.44$ and FIRST J233153.20$+$112952.11 at $z=6.57$. Both extremely distant sources were imaged with VLBI for the first time. The radio properties of the former are consistent with those of quasars with young radio jets. The latter has an UV/optical spectrum characteristic of BL Lac objects, of which no others have been found beyond redshift 4 so far. Our VLBA observations revealed a flat-spectrum compact radio source.


title: Forecasting the 2016-2017 Central Apennines Earthquake Sequence with a Neural Point Process

abstract: Point processes have been dominant in modeling the evolution of seismicity for decades, with the Epidemic Type Aftershock Sequence (ETAS) model being most popular. Recent advances in machine learning have constructed highly flexible point process models using neural networks to improve upon existing parametric models. We investigate whether these flexible point process models can be applied to short-term seismicity forecasting by extending an existing temporal neural model to the magnitude domain and we show how this model can forecast earthquakes above a target magnitude threshold. We first demonstrate that the neural model can fit synthetic ETAS data, however, requiring less computational time because it is not dependent on the full history of the sequence. By artificially emulating short-term aftershock incompleteness in the synthetic dataset, we find that the neural model outperforms ETAS. Using a new enhanced catalog from the 2016-2017 Central Apennines earthquake sequence, we investigate the predictive skill of ETAS and the neural model with respect to the lowest input magnitude. Constructing multiple forecasting experiments using the Visso, Norcia and Campotosto earthquakes to partition training and testing data, we target M3+ events. We find both models perform similarly at previously explored thresholds (e.g., above M3), but lowering the threshold to M1.2 reduces the performance of ETAS unlike the neural model. We argue that some of these gains are due to the neural model's ability to handle incomplete data. The robustness to missing data and speed to train the neural model present it as an encouraging competitor in earthquake forecasting.


title: Unifying warfighting functions in mathematical modelling: combat, manoeuvre, and C2

abstract: The outcomes of warfare have rarely only been characterised by the quantity and quality of individual combatant force elements. The ability to manoeuvre and adapt across force elements through effective Command and Control (C2) can allow smaller or weaker forces to overcome an adversary with greater resource and fire-power. In this paper, we combine the classic Lanchester combat model with the Kuramoto-Sakaguchi model for phase oscillators on a network to create a flexible Networked-Lanchester-C2 representation of force-on-force military engagement. The mathematical model thus unifies three of the military warfighting `functions': fires, manoeuvre and C2. We consider three illustrative use-cases, and show that an analytical treatment of a reduced model characterises global effects in the full system. For inhomogeneous forces we observe that with appropriate balance between internal organisational coupling, resource manoeuvrability and even weaker lethality the force can be adaptive to overcome an initially stronger adversary.


title: Multi-color Holograms Improve Brightness in Holographic Displays

abstract: Holographic displays generate Three-Dimensional (3D) images by displaying single-color holograms time-sequentially, each lit by a single-color light source. However, representing each color one by one limits brightness in holographic displays. This paper introduces a new driving scheme for realizing brighter images in holographic displays. Unlike the conventional driving scheme, our method utilizes three light sources to illuminate each displayed hologram simultaneously at various intensity levels. In this way, our method reconstructs a multiplanar three-dimensional target scene using consecutive multi-color holograms and persistence of vision. We co-optimize multi-color holograms and required intensity levels from each light source using a gradient descent-based optimizer with a combination of application-specific loss terms. We experimentally demonstrate that our method can increase the intensity levels in holographic displays up to three times, reaching a broader range and unlocking new potentials for perceptual realism in holographic displays.


title: Spatial regression modeling via the R2D2 framework

abstract: Spatially dependent data arises in many applications, and Gaussian processes are a popular modelling choice for these scenarios. While Bayesian analyses of these problems have proven to be successful, selecting prior distributions for these complex models remains a difficult task. In this work, we propose a principled approach for setting prior distributions on model variance components by placing a prior distribution on a measure of model fit. In particular, we derive the distribution of the prior coefficient of determination. Placing a beta prior distribution on this measure induces a generalized beta prime prior distribution on the global variance of the linear predictor in the model. This method can also be thought of as shrinking the fit towards the intercept-only (null) model. We derive an efficient Gibbs sampler for the majority of the parameters and use Metropolis-Hasting updates for the others. Finally, the method is applied to a marine protection area data set. We estimate the effect of marine policies on biodiversity and conclude that no-take restrictions lead to a slight increase in biodiversity and that the majority of the variance in the linear predictor comes from the spatial effect.\vspace{12pt}


title: Source Address Validation

abstract: Source address validation (SAV) is a standard formalized in RFC 2827 aimed at discarding packets with spoofed source IP addresses. The absence of SAV has been known as a root cause of reflection distributed denial-of-service (DDoS) attacks. Outbound SAV (oSAV): filtering applied at the network edge to traffic coming from inside the customer network to the outside. Inbound SAV (iSAV): filtering applied at the network edge to traffic coming from the outside to the customer network.


title: SN 2018hna: Adding a Piece to the Puzzles of the Explosion of Blue Supergiants

abstract: We present extensive optical/ultraviolet observations and modelling analysis for the nearby SN 1987A-like peculiar Type II supernova (SN) 2018hna. Both photometry and spectroscopy covered phases extending to $>$500 days after the explosion, making it one of the best-observed SN II of this subtype. SN 2018hna is obviously bluer than SN 1987A during the photospheric phase, suggesting higher photospheric temperature, which may account for weaker BaII $\mathrm{\lambda}$6142 lines in its spectra. Analysis of early-time temperature evolution suggests a radius of $\sim$45 $\mathrm{R_{\odot}}$ for the progenitor of SN 2018hna, consistent with a blue supergiant (BSG). By fitting the bolometric light curve with hydrodynamical models, we find that SN 2018hna has an ejecta mass of $\sim$(13.7--17.7) $\mathrm{M_{\odot}}$, a kinetic energy of $\sim$ (1.0--1.2) $\times 10^{51}$ erg, and a $^{56}$Ni mass of about 0.05 $\mathrm{M_{\odot}}$. Moreover, based on standard stellar evolution and the oxygen mass (0.44--0.73 $\mathrm{M_{\odot}}$) deduced from nebular [OI] lines, the progenitor of SN 2018hna is expected to have an initial main-sequence mass $<$16 $\mathrm{M_{\odot}}$. In principle, such a relatively low-mass star cannot end as a BSG just before core-collapse, except some unique mechanisms are involved, such as rapid rotation, restricted semiconvection, etc. On the other hand, binary scenario may be more favourable, like in the case of SN 1987A. While the much lower oxygen mass inferred for SN~2018hna may imply that its progenitor system also had much lower initial masses than that of SN 1987A.


title: Differentiable Forward Kinematics for TensorFlow 2

abstract: Robotic systems are often complex and depend on the integration of a large number of software components. One important component in robotic systems provides the calculation of forward kinematics, which is required by both motion-planning and perception related components. End-to-end learning systems based on deep learning require passing gradients across component boundaries.Typical software implementations of forward kinematics are not differentiable, and thus prevent the construction of gradient-based, end-to-end learning systems. In this paper we present a library compatible with ROS-URDF that computes forward kinematics while simultaneously giving access to the gradients w.r.t. joint configurations and model parameters, allowing gradient-based learning and model identification. Our Python library is based on Tensorflow~2 and is auto-differentiable. It supports calculating a large number of kinematic configurations on the GPU in parallel, yielding a considerable performance improvement compared to sequential CPU-based calculation. https://github.com/lumoe/dlkinematics.git


title: Linearization and H\"{o}lder continuity of generalized ODEs with application to measure differential equations

abstract: In this paper, we study the topological conjugacy between the linear generalized ODEs (for short, GODEs) \[ \frac{dx}{d\tau}=D[A(t)x] \] and their nonlinear perturbation \[ \frac{dx}{d\tau}=D[A(t)x+F(x,t)] \] on Banach space $\mathscr{X}$, where $A:\mathbb{R}\to\mathscr{B}(\mathscr{X})$ is a bounded linear operator on $\mathscr{X}$ and $F:\mathscr{X}\times \mathbb{R}\to \mathscr{X}$ is Kurzweil integrable. GODEs are completely different from the classical ODEs. Note that the GODEs in Banach space are defined via its solution. $\frac{dx}{d\tau}$ is only a notation and %$\frac{dx}{d\tau}$ it does not indicate that the solution has a derivative. The solution of the GODEs can be discontinuous and even the number of discontinuous points is countable, so that many classical theorems and tools are no longer applicable to the GODEs. For instances, the chain rule and the multiplication rule of derivatives, differential mean value theorem, and integral mean value theorem are not valid for the GODEs. In this paper, we study the linearization and its H\"{o}lder continuity of the GODEs. Firstly, we construct the formula for bounded solutions of the nonlinear GODEs in the Kurzweil integral sense. Afterwards, we establish a Hartman-Grobman type linearization theorem which is a bridge connecting the linear GODEs with their nonlinear perturbations. Further, we show that the conjugacies are both H\"{o}lder continuous by using the Gronwall-type inequality (in the Perron-Stieltjes integral sense) and other nontrivial estimate techniques. %The GODEs include measure differential equations, impulsive differential equations, functional differential equations and the classical ordinary differential equations as special cases. Finally, applications to the measure differential equations and impulsive differential equations, our results are very effective.


title: Membership Inference of Diffusion Models

abstract: Recent years have witnessed the tremendous success of diffusion models in data synthesis. However, when diffusion models are applied to sensitive data, they also give rise to severe privacy concerns. In this paper, we systematically present the first study about membership inference attacks against diffusion models, which aims to infer whether a sample was used to train the model. Two attack methods are proposed, namely loss-based and likelihood-based attacks. Our attack methods are evaluated on several state-of-the-art diffusion models, over different datasets in relation to privacy-sensitive data. Extensive experimental evaluations show that our attacks can achieve remarkable performance. Furthermore, we exhaustively investigate various factors which can affect attack performance. Finally, we also evaluate the performance of our attack methods on diffusion models trained with differential privacy.


title: Real-Time HAP-Assisted Vehicular Edge Computing for Rural Areas

abstract: Non-Terrestrial Networks (NTNs) are expected to be a key component of 6th generation (6G) networks to support broadband seamless Internet connectivity and expand the coverage even in rural and remote areas. In this context, High Altitude Platforms (HAPs) can act as edge servers to process computational tasks offloaded by energy-constrained terrestrial devices such as Internet of Things (IoT) sensors and ground vehicles (GVs). In this paper, we analyze the opportunity to support Vehicular Edge Computing (VEC) via HAP in a rural scenario where GVs can decide whether to process data onboard or offload them to a HAP. We characterize the system as a set of queues in which computational tasks arrive according to a Poisson arrival process. Then, we assess the optimal VEC offloading factor to maximize the probability of real-time service, given latency and computational capacity constraints.


title: Algebraic automatic continued fractions in characteristic $2$ II

abstract: We present two families of automatic sequences that define algebraic continued fractions in characteristic $2$. The period-doubling sequence belongs to the first first family $\mathcal{P}$; and its sum, the Thue-Morse sequence, belongs to the second family $\mathcal{G}$. The family $\mathcal{G}$ contains all the iterated sums of sequences from the $\mathcal{P}$ and more.


title: A Quenched Exploration of Heavy Quark Moments and their Perturbative Expansion

abstract: The parametric error on the QCD-coupling can be a dominant source of uncertainty in several important observables. One way to extract the coupling is to compare high order perturbative computations with lattice evaluated moments of heavy quark two-point functions. The truncation of the perturbative series is a sizable systematic uncertainty that needs to be under control. In this contribution we give an update on our study arXiv:hep-lat/2203.07936v1 on this issue. We measure pseudo-scalar two-point functions in volumes of $L=2$ fm with twisted-mass Wilson fermions in the quenched approximation. We use full twist, the non-perturbative clover term and lattice spacings down to $a=0.010$ fm to tame the large discretization effects. Our results show that both the continuum extrapolations and the extrapolation of the $\Lambda$-parameter to the asymptotic perturbative region are very challenging.


title: Acceleration of Multiple Precision Matrix Multiplication using Ozaki scheme

abstract: Optimized multiple precision basic linear computation, especially matrix multiplication, is crucial for solving ill-conditioned problems. The recently proposed Ozaki scheme, which implements accurate matrix multiplication using existing optimized low precision matrix multiplication, is known to be useful for multiple precision as well. In this paper, we implement fixed precision multi-component-way matrix multiplication using Ozaki scheme and show that in some cases it is faster than existing optimized matrix multiplications. We also show that arbitrary precision matrix multiplication using Ozaki scheme is also faster than Strassen matrix multiplication up to a certain precision.


title: On the finiteness of certain factorization invariants

abstract: Let $H$ be a monoid, $\mathscr F(X)$ be the free monoid on a set $X$, and $\pi_H$ be the unique extension of the identity map on $H$ to a monoid homomorphism $\mathscr F(H) \to H$. Given $A \subseteq H$, an $A$-word $\mathfrak z$ (i.e., an element of $\mathscr F(A)$) is minimal if $\pi_H(\mathfrak z) \ne \pi_H(\mathfrak z')$ for every permutation $\mathfrak z'$ of a proper subword of $\mathfrak z$. The minimal $A$-elasticity of $H$ is then the supremum of all rational numbers $m/n$ with $m, n \in \mathbb N^+$ such that there exist minimal $A$-words $\mathfrak a$ and $\mathfrak b$ of length $m$ and $n$, resp., with $\pi_H(\mathfrak a) = \pi_H(\mathfrak b)$. Among other things, we show that if $H$ is commutative and $A$ is finite, then the minimal $A$-elasticity of $H$ is finite. This yields a non-trivial generalization of the finiteness part of a classical theorem of Anderson et al. from the case where $H$ is cancellative, commutative, and finitely generated (f.g.) modulo units and $A$ is the set $\mathscr A(H)$ of its atoms. We also check that commutativity is somewhat essential here, by proving the existence of an atomic, cancellative, f.g. monoid with trivial group of units whose minimal $\mathscr A(H)$-elasticity is infinite.


title: A Comparison of Temporal Encoders for Neuromorphic Keyword Spotting with Few Neurons

abstract: With the expansion of AI-powered virtual assistants, there is a need for low-power keyword spotting systems providing a "wake-up" mechanism for subsequent computationally expensive speech recognition. One promising approach is the use of neuromorphic sensors and spiking neural networks (SNNs) implemented in neuromorphic processors for sparse event-driven sensing. However, this requires resource-efficient SNN mechanisms for temporal encoding, which need to consider that these systems process information in a streaming manner, with physical time being an intrinsic property of their operation. In this work, two candidate neurocomputational elements for temporal encoding and feature extraction in SNNs described in recent literature - the spiking time-difference encoder (TDE) and disynaptic excitatory-inhibitory (E-I) elements - are comparatively investigated in a keyword-spotting task on formants computed from spoken digits in the TIDIGITS dataset. While both encoders improve performance over direct classification of the formant features in the training data, enabling a complete binary classification with a logistic regression model, they show no clear improvements on the test set. Resource-efficient keyword spotting applications may benefit from the use of these encoders, but further work on methods for learning the time constants and weights is required to investigate their full potential.


title: Real-space imaging of dispersive triplon excitations in engineered quantum magnets

abstract: Quantum magnets provide a powerful platform to explore complex quantum many-body phenomena. One example is triplon excitations, exotic many-body modes emerging from deconfined singlet-triplet transitions with no single particle analog. Triplons are challenging to observe in conventional materials, as the energy scales of singlet-triplet transitions are associated with Hund's energy and are dramatically larger than the typical bandwidth of spin fluctuations. We engineer a minimal quantum magnet from organic molecules and demonstrate the emergence of dispersive triplon modes in one- and two-dimensional assemblies probed with scanning tunneling microscopy and spectroscopy. We show the variable bandwidth of triplon excitations in these two different geometries. Our results provide the first demonstration of dispersive triplon excitations from a real-space measurement, suggesting their potential engineering to realize exotic many-body phenomena in quantum magnets without breaking time-reversal symmetry.


title: Uncertainty-Aware Distillation for Semi-Supervised Few-Shot Class-Incremental Learning

abstract: Given a model well-trained with a large-scale base dataset, Few-Shot Class-Incremental Learning (FSCIL) aims at incrementally learning novel classes from a few labeled samples by avoiding overfitting, without catastrophically forgetting all encountered classes previously. Currently, semi-supervised learning technique that harnesses freely-available unlabeled data to compensate for limited labeled data can boost the performance in numerous vision tasks, which heuristically can be applied to tackle issues in FSCIL, i.e., the Semi-supervised FSCIL (Semi-FSCIL). So far, very limited work focuses on the Semi-FSCIL task, leaving the adaptability issue of semi-supervised learning to the FSCIL task unresolved. In this paper, we focus on this adaptability issue and present a simple yet efficient Semi-FSCIL framework named Uncertainty-aware Distillation with Class-Equilibrium (UaD-CE), encompassing two modules UaD and CE. Specifically, when incorporating unlabeled data into each incremental session, we introduce the CE module that employs a class-balanced self-training to avoid the gradual dominance of easy-to-classified classes on pseudo-label generation. To distill reliable knowledge from the reference model, we further implement the UaD module that combines uncertainty-guided knowledge refinement with adaptive distillation. Comprehensive experiments on three benchmark datasets demonstrate that our method can boost the adaptability of unlabeled data with the semi-supervised learning technique in FSCIL tasks.


title: Determinants of Laplacians on random hyperbolic surfaces

abstract: We investigate the behaviour of the regularized determinant of the Laplace-Beltrami operator on compact hyperbolic surfaces when the genus goes to infinity. We show that for all popular models of random surfaces, with high probability as the genus goes to infinity, the determinant has an exponential growth with a universal exponent. Limit results for some moments of the logarithm of the determinant are then derived.


title: Word-Mappings of level $3$

abstract: Sequences of numbers (either natural integers, or integers or rational) of level $k \in \mathbb{N}$ have been defined in \cite{Fra05,Fra-Sen06} as the sequences which can be computed by deterministic pushdown automata of level $k$. This definition has been extended to sequences of {\em words} indexed by {\em words} in \cite{Sen07,Fer-Mar-Sen14}. We characterise here the sequences of level 3 as the compositions of two HDT0L-systems. Two applications are derived: - the sequences of rational numbers of level 3 are characterised by polynomial recurrences - the equality problem for sequences of rational numbers of level 3 is decidable.


title: Test of the TMD gluon density in a proton with the longitudinal structure function $F_L(x,Q^2)$

abstract: We investigate the dependence of the deep inelastic proton structure function $F_L(x, Q^2)$ on different forms of the transverse momentum dependent (TMD, or unintegrated) gluon distribution. We present a comparison of theoretical results with the latest experimental data taken by the H1 and ZEUS Collaborations at HERA. We demonstrate that these data, despite of having quite large uncertainties, can test different kinds of the gluon TMD in a proton. Moreover, different phenomenological models at low $x$ could be tested by future experiments on deep inelastic scattering.


title: Impact of the Ukrainian crisis on the global food security

abstract: Using global wheat trade data and a network model for shock propagation, we study the impact of the Ukrainian crisis on food security. Depending on the level of reduction in Ukrainian wheat exports, the number of additional individuals falling under the minimum dietary energy requirement varies from 1 to 9 millions, and reaches about 4.8 millions for a $50\%$ reduction in exports. In the most affected countries, supply reductions are mainly related to indirect trade restrictions.


title: Generalizing rigid-foldable tubular structures of T-hedral type

abstract: We introduce an alternative way of constructing continuous flexible tubes and tubular structures based on a discrete, semi-discrete and smooth construction of surfaces known as T-hedra in the discrete case and profile-affine surfaces in the smooth setting, respectively. The geometric understanding of this method enables us to generalize discrete tubes with a rigid-foldability and to extend the construction to smooth and semi-discrete tubes with an isometric deformation. This achievement implies a unified treatment of continuous flexible structures, like surfaces and metamaterials, composed of tubes and it is the base for a deeper study of zipper tubes, and their generalization. Moreover, we discuss a potential application of the presented structures for the design of foldable bridges.


title: Boundness in almost Dedekind domains

abstract: We study different form of boundness for ideals of almost Dedekind domains, generalizing the notions of critical ideals, radical factorization, and SP-domains. We show that every almost Dedekind domain has at least one noncritical maximal ideals and, indeed, the set of noncritical maximal ideals is dense in the maximal space, with respect to the constructible topology; as a consequence, we show that every almost Dedekind domain is SP-scattered, and in particular that the group $\mathrm{Inv}(D)$ of invertible ideals of an almost Dedekind domain $D$ is always free. If $D$ is an almost Dedekind domain with nonzero Jacobson radical, we also show that there is at least one element whose ideal function is bounded.


title: Approximate Hofstadter- and Kapit-Mueller-like parent Hamiltonians for Laughlin states on fractals

abstract: Recently, it was shown that fractional quantum Hall states can be defined on fractal lattices. Proposed exact parent Hamiltonians for these states are nonlocal and contain three-site terms. In this work, we look for simpler, approximate parent Hamiltonians for bosonic Laughlin states at half filling, which contain only onsite potentials and two-site hopping with the interaction generated implicitly by hardcore constraints (as in the Hofstadter and Kapit-Mueller models on periodic lattices). We use an ``inverse method'' to determine such Hamiltonians on finite-generation Sierpi\'{n}ski carpet and triangle lattices. The ground states of some of the resulting models display relatively high overlap with the model states if up to third neighbor hopping terms are considered, and by increasing the maximum hopping distance one can achieve nearly perfect overlaps. When the number of particles is reduced and additional potentials are introduced to trap quasiholes, the overlap with a model quasihole wavefunction is also high in some cases, especially for the nonlocal Hamiltonians. We also study how the small system size affects the braiding properties for the model quasihole wavefunctions and perform analogous computations for Hamiltonian models.


title: The minimal volume of a lattice polytope

abstract: Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c$ that to the interior of $\mathcal{P}$. It follows from a lower bound theorem of Ehrhart polynomials that, when $c > 0$, the volume of $\mathcal{P}$ is bigger than or equal to $(dc + (d-1)b - d^2 + 2)/d!$. In the present paper, via triangulations, a short and elementary proof of the minimal volume formula is given.


title: Robust collimated beaming in 3D acoustic sonic crystals

abstract: We demonstrate strongly collimated beaming, at audible frequencies, in a three-dimensional acoustic phononic crystal where the wavelength is commensurate with the crystal elements; the crystal is a seemingly simple rectangular cuboid constructed from closely-spaced spheres, and yet demonstrates rich wave phenomena acting as a canonical three-dimensional metamaterial. We employ theory, numerical simulation and experiments to design and interpret this collimated beaming phenomenon and use a crystal consisting of a finite rectangular cuboid array of $4\times 10\times 10$ polymer spheres $1.38$~cm in diameter in air, arranged in a primitive cubic cell with the centre-to-centre spacing of the spheres, i.e. the pitch, as $1.5$~cm. Collimation effects are observed in the time domain for chirps with central frequencies at $14.2$~kHz and $18$~kHz, and we deployed a laser feedback interferometer or Self-Mixing Interferometer (SMI) -- a recently proposed technique to observe complex acoustic fields -- that enables experimental visualisation of the pressure field both within the crystal and outside of the crystal. Numerical exploration using a higher-order multi-scale finite element method designed for the rapid and detailed simulation of 3D wave physics further confirms these collimation effects and cross-validates with the experiments. Interpretation follows using High Frequency Homogenization and Bloch analysis whereby the different origin of the collimation at these two frequencies is revealed by markedly different isofrequency surfaces of the sonic crystal.


title: Back-Action Evading Measurement in Gravitational Wave Detectors to Overcome Standard Quantum Limit, Using Negative Radiation Pressure

abstract: Aiming at application for gravitational wave (GW) detection, we propose a novel scheme how to obtain quantum back action evading measurements performed on an opto-mechanical cavity, by introducing a negative radiation pressure coupling between the cavity field and the end mirror. The scheme consists of introducing a double cavity with end mirrors interlocked by a pivot and moving in opposite directions. The measurement is performed by sending a two-mode squeezed vacuum to both cavities and detecting the output through the heterodyne detection. Compared to the previously proposed hybrid negative mass spin-optomechanical system in Phys. Rev. Lett. 121, 031101 (2018), we see that our scheme is capable to suppress back action noise by nearly two orders of magnitude more in the lower frequency region. Overall, the setup has been able to squeeze the output noise below the standard quantum limit, with more efficiency. In addition, the scheme has also proven to be beneficial for reducing thermal noise by a significant amount. We confirm our result by a numerical analysis and compared it with the previous proposal Phys. Rev. Lett. 121, 031101 (2018).


title: Kamenev type conditions for oscillation of third order linear ordinary differential equations

abstract: The Riccati equation method is used to establish Kamenev type conditions for the existence of oscillatory solutions to third order linear ordinary differential equations. Three oscillatory theorems are proved, which generalize the Lazer's oscillation criterion.


title: Bridging Systems: Open Problems for Countering Destructive Divisiveness across Ranking, Recommenders, and Governance

abstract: Divisiveness appears to be increasing in much of the world, leading to concern about political violence and a decreasing capacity to collaboratively address large-scale societal challenges. In this working paper we aim to articulate an interdisciplinary research and practice area focused on what we call bridging systems: systems which increase mutual understanding and trust across divides, creating space for productive conflict, deliberation, or cooperation. We give examples of bridging systems across three domains: recommender systems on social media, collective response systems, and human-facilitated group deliberation. We argue that these examples can be more meaningfully understood as processes for attention-allocation (as opposed to "content distribution" or "amplification") and develop a corresponding framework to explore similarities - and opportunities for bridging - across these seemingly disparate domains. We focus particularly on the potential of bridging-based ranking to bring the benefits of offline bridging into spaces which are already governed by algorithms. Throughout, we suggest research directions that could improve our capacity to incorporate bridging into a world increasingly mediated by algorithms and artificial intelligence.


title: The Backpropagation algorithm for a math student

abstract: A Deep Neural Network (DNN) is a composite function of vector-valued functions, and in order to train a DNN, it is necessary to calculate the gradient of the loss function with respect to all parameters. This calculation can be a non-trivial task because the loss function of a DNN is a composition of several nonlinear functions, each with numerous parameters. The Backpropagation (BP) algorithm leverages the composite structure of the DNN to efficiently compute the gradient. As a result, the number of layers in the network does not significantly impact the complexity of the calculation. The objective of this paper is to express the gradient of the loss function in terms of a matrix multiplication using the Jacobian operator. This can be achieved by considering the total derivative of each layer with respect to its parameters and expressing it as a Jacobian matrix. The gradient can then be represented as the matrix product of these Jacobian matrices. This approach is valid because the chain rule can be applied to a composition of vector-valued functions, and the use of Jacobian matrices allows for the incorporation of multiple inputs and outputs. By providing concise mathematical justifications, the results can be made understandable and useful to a broad audience from various disciplines.


title: Feasibility of access EGI resources through the ESCAPE developed ESFRI Science Analysis Platform

abstract: The EU ESCAPE project is developing ESAP, ESFRI 1 Scientific Analysis Platform, as an API gateway that enables the seamless integration of independent services accessing distributed data and computing resources. In ESCAPE we are exploring the possibility of exploiting EGI's OpenStack cloud computing services through ESAP. In our contribution we briefly describe ESCAPE and ESAP, the the use cases, the work done to automate a virtual machine creation in EGI's OpenStack cloud computing, drawbacks and possible solutions.


title: General sharp upper bounds on the total coalition number

abstract: Let $G(V,E)$ be a finite, simple, isolate-free graph. Two disjoint sets $A,B\subset V$ form a total coalition in $G$, if none of them is a total dominating set, but their union $A\cup B$ is a total dominating set. A vertex partition $\Psi=\{C_1,C_2,\dots,C_k\}$ is a total coalition partition, if none of the partition classes is a total dominating set, meanwhile for every $i\in\{1,2,\dots,k\}$ there exists a distinct $j\in\{1,2,\dots,k\}$ such that $C_i$ and $C_j$ form a total coalition. The maximum cardinality of a total coalition partition of $G$ is the total coalition number of $G$ and denoted by $TC(G)$. We give a general sharp upper bound on the total coalition number as a function of the maximum degree. We further investigate this optimal case and study the total coalition graph. We show that every graph can be realised as a total coalition graph.


title: Electromagnetic lensing using the Aharonov-Bohm effect

abstract: We demonstrate theoretically and experimentally a new electromagnetic lensing concept using the magnetic vector potential - in a region free of classical electromagnetic fields - via the Aharonov-Bohm effect. This toroid-shaped lens with poloidal current flow allows for electromagnetic lensing which can be tuned to be convex or concave with a spherical aberration coefficient of opposite polarity to its focal length. This new lens combines the advantages of traditional electromagnetic and electrostatic field-based lenses and opens up new possibilities for the optical design of charged-particle systems. More generally, these results demonstrate that the Aharonov-Bohm effect can shape charged particle wavefronts beyond simple step shifts if topologies beyond simple flux lines are considered and supports the physical significance of the magnetic vector potential.


title: Decentralized ADMM with Compressed and Event-Triggered Communication

abstract: This paper focuses on the decentralized optimization problem, where agents in a network cooperate to minimize the sum of their local objective functions by information exchange and local computation. Based on the alternating direction method of multipliers (ADMM), we propose CC-DQM, a communication-efficient decentralized second-order optimization algorithm that combines compressed communication with event-triggered communication. Specifically, agents are allowed to transmit the compressed message only when the current primal variables have changed greatly compared to its last estimate. Moreover, to relieve the computation cost, the update of Hessian is scheduled by the trigger condition. To maintain exact linear convergence under compression, we compress the difference between the information to be transmitted and its estimate by a general contractive compressor. Theoretical analysis shows that CC-DQM can still achieve an exact linear convergence, despite the existence of compression error and intermittent communication, if the objective functions are strongly convex and smooth. Finally, we validate the performance of CC-DQM by numerical experiments.


title: Prenatal Sugar Consumption and Late-Life Human Capital and Health: Analyses Based on Postwar Rationing and Polygenic Scores

abstract: Maternal sugar consumption in utero may have a variety of effects on offspring. We exploit the abolishment of the rationing of sweet confectionery in the UK on April 24, 1949, and its subsequent reintroduction some months later, in an era of otherwise uninterrupted rationing of confectionery (1942-1953), sugar (1940-1953) and many other foods, and we consider effects on late-life cardiovascular disease, BMI, height, type-2 diabetes and the intake of sugar, fat and carbohydrates, as well as cognitive outcomes and birth weight. We use individual-level data from the UK Biobank for cohorts born between April 1947-May 1952. We also explore whether one's genetic "predisposition" to the outcome can moderate the effects of prenatal sugar exposure. We find that prenatal exposure to derationing increases education and reduces BMI and sugar consumption at higher ages, in line with the "developmental origins" explanatory framework, and that the sugar effects are stronger for those who are genetically "predisposed" to sugar consumption.


title: Transmission properties of time-dependent one-dimensional metamaterials

abstract: We solve the wave equation with periodically time-modulated material parameters in a one-dimensional high-contrast resonator structure in the subwavelength regime exactly, for which we compute the subwavelength quasifrequencies numerically using Muller's method. We prove a formula in the form of an ODE using a capacitance matrix approximation. Comparison of the exact results with the approximations reveals that the method of capacitance matrix approximation is accurate and significantly more efficient. We prove various transmission properties in the aforementioned structure and illustrate them with numerical simulations. In particular, we investigate the effect of time-modulated material parameters on the formation of degenerate points, band gaps and k-gaps.

categories: math.AP math-ph math.MP physics.app-ph physics.optics


title: Fair and skill-diverse student group formation via constrained k-way graph partitioning

abstract: Forming the right combination of students in a group promises to enable a powerful and effective environment for learning and collaboration. However, defining a group of students is a complex task which has to satisfy multiple constraints. This work introduces an unsupervised algorithm for fair and skill-diverse student group formation. This is achieved by taking account of student course marks and sensitive attributes provided by the education office. The skill sets of students are determined using unsupervised dimensionality reduction of course mark data via the Laplacian eigenmap. The problem is formulated as a constrained graph partitioning problem, whereby the diversity of skill sets in each group are maximised, group sizes are upper and lower bounded according to available resources, and `balance' of a sensitive attribute is lower bounded to enforce fairness in group formation. This optimisation problem is solved using integer programming and its effectiveness is demonstrated on a dataset of student course marks from Imperial College London.


title: Navigating the reporting guideline environment for computational pathology: A review

abstract: The application of new artificial intelligence (AI) discoveries is transforming healthcare research. However, the standards of reporting are variable in this still evolving field, leading to potential research waste. The aim of this work is to highlight resources and reporting guidelines available to researchers working in computational pathology. The EQUATOR Network library of reporting guidelines and extensions was systematically searched up to August 2022 to identify applicable resources. Inclusion and exclusion criteria were used and guidance was screened for utility at different stages of research and for a range of study types. Items were compiled to create a summary for easy identification of useful resources and guidance. Over 70 published resources applicable to pathology AI research were identified. Guidelines were divided into key categories, reflecting current study types and target areas for AI research: Literature & Research Priorities, Discovery, Clinical Trial, Implementation and Post-Implementation & Guidelines. Guidelines useful at multiple stages of research and those currently in development were also highlighted. Summary tables with links to guidelines for these groups were developed, to assist those working in cancer AI research with complete reporting of research. Issues with replication and research waste are recognised problems in AI research. Reporting guidelines can be used as templates to ensure the essential information needed to replicate research is included within journal articles and abstracts. Reporting guidelines are available and useful for many study types, but greater awareness is needed to encourage researchers to utilise them and for journals to adopt them. This review and summary of resources highlights guidance to researchers, aiming to improve completeness of reporting.


title: Predicting Socio-Economic Well-being Using Mobile Apps Data: A Case Study of France

abstract: Socio-economic indicators provide context for assessing a country's overall condition. These indicators contain information about education, gender, poverty, employment, and other factors. Therefore, reliable and accurate information is critical for social research and government policing. Most data sources available today, such as censuses, have sparse population coverage or are updated infrequently. Nonetheless, alternative data sources, such as call data records (CDR) and mobile app usage, can serve as cost-effective and up-to-date sources for identifying socio-economic indicators. This work investigates mobile app data to predict socio-economic features. We present a large-scale study using data that captures the traffic of thousands of mobile applications by approximately 30 million users distributed over 550,000 km square and served by over 25,000 base stations. The dataset covers the whole France territory and spans more than 2.5 months, starting from 16th March 2019 to 6th June 2019. Using the app usage patterns, our best model can estimate socio-economic indicators (attaining an R-squared score upto 0.66). Furthermore, using models' explainability, we discover that mobile app usage patterns have the potential to reveal socio-economic disparities in IRIS. Insights of this study provide several avenues for future interventions, including user temporal network analysis to understand evolving network patterns and exploration of alternative data sources.


title: Chemical Integration of ODEs using Idealized Abstract Solutions

abstract: In this work, we propose a general inversion framework to non-uniquely invert a very large class of ordinary differential equations (ODEs) into chemical reaction networks. A thorough treatment of the relevant chemical reaction network theory from the literature is given. Various simulation results are provided to augment the selection procedure for the inverse framework, where a previously known kineticization strategy is shown to be deterministically excellent but undesirable in chemical simulations. The utility of the framework is verified by simulating reaction network forms of meaningful ODE systems, and their time series are analyzed. In particular, we provide simulations of deterministic chaotic attractors whose newly discovered reaction networks are non-equivalent with any existing chemical interpretations within the literature, as well as presenting exemplary figures which may form a roadmap to the successful biochemical implementation of the integration of ODE systems.


title: Distant foreground and the Hubble constant tension

abstract: It is possible to explain the discrepancy (tension) between the local measurement of the cosmological parameter $H_0$ (the Hubble constant) and its value derived from the Planck-mission measurements of the Cosmic Microwave Background (CMB) by considering contamination of the CMB by emission from some medium surrounding distant extragalactic sources (a distant foreground), such as extremely cold coarse-grain (grey) dust. As any other foreground, it would alter the CMB power spectrum and contribute to the dispersion of CMB temperature fluctuations. By generating random samples of CMB with different dispersions, we have checked that the increased dispersion leads to a smaller estimated value of $H_0$, the rest of the cosmological model parameters remaining fixed. This might explain the reduced value of the {\it Planck}-derived parameter $H_0$ with respect to the local measurements. The cold grey dust for some time has been suspected to populate intergalactic space and it is known to be almost undetectable, except for the effect of dimming remote extragalactic sources.


title: Three-dimensional integration enables ultra-low-noise, isolator-free Si photonics

abstract: While photonic integrated circuits (PICs) are being widely used in applications such as telecommunications and datacenter interconnects, PICs capable of replacing bulk optics and fibers in high-precision, highly-coherent applications will require ultra-low-noise laser sources to be integrated with other photonic components in a compact and robustly aligned format -- that is, on a single chip. Such PICs could offer superior scalability for complex functionalities and volume production, as well as improved stability and reliability over time. However, there are two major issues preventing the realization of such envisioned PICs: the high phase noise of semiconductor lasers, and the difficulty of integrating optical isolators directly on chip. PICs are still considered as inferior solutions in optical systems such as microwave synthesizers, optical gyroscopes and atomic clocks, despite their advantages in size, weight, power consumption and cost (SWaPC). Here, we challenge this convention by introducing three-dimensional (3D) integration in silicon photonics that results in ultra-low-noise, isolator-free PICs. Through multiple monolithic and heterogeneous processing sequences, direct on-chip integration of III-V gain and ultra-low-loss (ULL) silicon nitride (SiN) waveguides with optical loss around 0.5 dB/m are demonstrated. Consequently, the demonstrated PIC enters a new regime, such that an integrated ultra-high-Q cavity reduces the laser noise close to that of fiber lasers. Moreover, the cavity acts as an effective block for any downstream on-chip or off-chip reflection-induced destabilization, thus eliminating the need for optical isolators. We further showcase isolator-free, widely-tunable, low-noise, heterodyne microwave generation using two ultra-low-noise lasers on the same silicon chip.


title: Using Excel software to calculate Bayesian factors: taking goodness of fit test (Chi-square test) as an example

abstract: Taking the goodness of fit test (Chi test) as an example, this paper attempts to calculate the Bayesian factor BF10 of n-fold Bernoulli test by the Excel software (using JASP software as the evidence). The results showed that in the range of 0.15-0.55 (the rate of samples which are all "true"), the calculated results of Excel were more accurate, and the differences between the two (Excel and JASP) were not statistically significant (P>0.3).


title: Solving the Discretised Boltzmann Transport Equations using Neural Networks: Applications in Neutron Transport

abstract: In this paper we solve the Boltzmann transport equation using AI libraries. The reason why this is attractive is because it enables one to use the highly optimised software within AI libraries, enabling one to run on different computer architectures and enables one to tap into the vast quantity of community based software that has been developed for AI and ML applications e.g. mixed arithmetic precision or model parallelism. Here we take the first steps towards developing this approach for the Boltzmann transport equation and develop the necessary methods in order to do that effectively. This includes: 1) A space-angle multigrid solution method that can extract the level of parallelism necessary to run efficiently on GPUs or new AI computers. 2) A new Convolutional Finite Element Method (ConvFEM) that greatly simplifies the implementation of high order finite elements (quadratic to quintic, say). 3) A new non-linear Petrov-Galerkin method that introduces dissipation anisotropically.


title: Multitask Instruction-based Prompting for Fallacy Recognition

abstract: Fallacies are used as seemingly valid arguments to support a position and persuade the audience about its validity. Recognizing fallacies is an intrinsically difficult task both for humans and machines. Moreover, a big challenge for computational models lies in the fact that fallacies are formulated differently across the datasets with differences in the input format (e.g., question-answer pair, sentence with fallacy fragment), genre (e.g., social media, dialogue, news), as well as types and number of fallacies (from 5 to 18 types per dataset). To move towards solving the fallacy recognition task, we approach these differences across datasets as multiple tasks and show how instruction-based prompting in a multitask setup based on the T5 model improves the results against approaches built for a specific dataset such as T5, BERT or GPT-3. We show the ability of this multitask prompting approach to recognize 28 unique fallacies across domains and genres and study the effect of model size and prompt choice by analyzing the per-class (i.e., fallacy type) results. Finally, we analyze the effect of annotation quality on model performance, and the feasibility of complementing this approach with external knowledge.


title: Isomorphism Classes of Vertex-Transitive Tournaments

abstract: Tournaments are graphs obtained by assigning a direction for every edge in an undirected complete graph. We give a formula for the number of isomorphism classes of vertex-transitive tournaments with prime order. For that, we introduce Cayley tournaments, which are special Cayley digraphs, and show that there is a one to one identification between the isomorphism classes of vertex-transitive tournaments with prime order and the isomorphism classes of Cayley tournaments with prime order.


title: Optical convolutional neural network with atomic nonlinearity

abstract: Due to their high degree of parallelism, fast processing speeds and low power consumption, analog optical functional elements offer interesting routes for realizing neuro-morphic computer hardware. For instance, convolutional neural networks lend themselves to analog optical implementations by exploiting the Fourier-transform characteristics of suitable designed optical setups. However, the efficient implementation of optical nonlinearities for such neural networks still represents challenges. In this work, we report on the realization and characterization of a three-layer optical convolutional neural network where the linear part is based on a 4f-imaging system and the optical nonlinearity is realized via the absorption profile of a cesium atomic vapor cell. This system classifies the handwritten digital dataset MNIST with 83.96% accuracy, which agrees well with corresponding simulations. Our results thus demonstrate the viability of utilizing atomic nonlinearities in neural network architectures with low power consumption.


title: Constraints on anomalous dimensions from the positivity of the S-matrix

abstract: We show that the analyticity and crossing symmetry of the S-matrix, together with the optical theorem, impose restrictions on the renormalisation group evolution of dimension-eight operators in the Standard Model Effective Field Theory. Moreover, in the appropriate basis of operators, the latter manifest as zeros in the anomalous dimension matrix that, to the best of our knowledge, have not been anticipated anywhere else in the literature. Our results can be trivially extended to other effective field theories.


title: Black-Scholes without stochastics or PDEs

abstract: We show how to derive the Black-Scholes model and its generalisation to the `exchange-option' (to exchange one asset for another) via the continuum limit of the Binomial tree. No knowledge of stochastic calculus or partial differential equations is assumed, as we do not use them.


title: Higher-Order Weakest Precondition Transformers via a CPS Transformation

abstract: Weakest precondition transformers are essential notions for program verification, and various extensions have been studied. However, only a few consider both higher-order languages and syntactic calculation of weakest precondition transformers. In this paper, we consider weakest precondition transformers for a higher-order functional language with computational effects and recursion and show that we can calculate them via a CPS transformation. We prove this in a general framework of categorical semantics. Because of this generality, two existing methods for program verification can be understood as instances of our result. Specifically, we show how to instantiate our result to (1) verification of trace properties by Kobayashi et al. and (2) expected cost analysis by Avanzini et al.


title: Re-appraisal of the global climatic role of natural forests for improved climate projections and policies

abstract: Along with the accumulation of atmospheric carbon dioxide, the loss of primary forests and other natural ecosystems is a major disruption of the Earth system causing global concern. Quantifying planetary warming from carbon emissions, global climate models highlight natural forests' high carbon storage potential supporting conservation policies. However, some model outcomes effectively deprioritize conservation of boreal and temperate forests suggesting that increased albedo upon deforestation could cool the planet. Potential conflict of global cooling versus regional forest conservation could harm environmental policies. Here we present theoretical and observational evidence to demonstrate that, compared to the carbon-related warming, the model skills for assessing climatic impacts of deforestation is low. We argue that deforestation-induced global cooling results from the models' limited capacity to account for the global effect of cooling from evapotranspiration of intact forests. Transpiration of trees can change the greenhouse effect via small modifications of the vertical temperature profile. Due to their convective parameterization (which postulates a certain critical temperature profile), global climate models do not properly capture this effect. This parameterization may lead to underestimation of warming from the loss of evapotranspiration in both high and low latitidues, and therefore, conclusions about deforestation-induced global cooling are not robust. To avoid deepening the environmental crisis, these conclusions should not inform policies of vegetation cover management. Studies are mounting quantifying the stabilizing impact of natural ecosystems evolved to maintain environmental homeostasis. Given the critical state and our limited understanding of both climate and ecosystems, an optimal policy would be a global moratorium on the exploitation of all natural forests.


title: Update of the INTEGRAL/IBIS AGN catalogue: deeper on the Galactic plane and wider beyond

abstract: In this work we have updated the list of AGN detected by INTEGRAL taking into account the new objects listed in the last published INTEGRAL/IBIS survey. We have collected 83 new AGN increasing the number of INTEGRAL detected active galaxies (436) by 19%. Half of these new additions are located behind the Galactic plane; for most of them we have full X-ray coverage obtained through archival data from Swift/XRT, XMM-Newton and NuSTAR. This allowed us to associate each high-energy emitter with a single or multiple X-ray counterpart/s and characterise the spectral shape of these new AGN by estimating the photon index, the intrinsic absorption and the 2-10 keV flux. A few cases where two soft X-ray counterparts fall within the INTEGRAL error circle and at least one is classified as an AGN have been found and discussed in detail. Thirty-four sources originally listed as AGN candidates or unidentified objects have been recognised as AGN by employing three diagnostic tests: WISE colours, radio emission and morphology. For 12 sources, among the 34 AGN candidates, we reduced optical spectra and confirmed their AGN nature, providing also their optical class and redshift. This paper is part of an on-going effort to keep the INTEGRAL AGN catalogue updated in order to provide the scientific community with a hard X-ray selected sample of active galaxies well classified and spectrally characterised.


title: No-go for the formation of heavy mass Primordial Black Holes in Single Field Inflation

abstract: We examine the possibility of Primordial Black Holes (PBHs) formation in single-field models of inflation. Using the adiabatic or wave function renormalization scheme in the short-range modes, we show that one-loop correction to the power spectrum is free from quadratic UV divergence. We consider a framework in which PBHs are produced during the transition from Slow Roll (SR) to Ultra Slow Roll (USR) followed by the end of inflation. We demonstrate that the renormalized power spectrum softens the contribution of the logarithmic IR divergence and severely restricts the possible mass range of produced PBHs in the said transition, namely, $M_{\rm PBH}\sim 10^{2}{\rm gm}$ ala a no-go theorem. In particular, we find that the produced PBHs are short-lived ($t^{\rm evap}_{\rm PBH}\sim 10^{-20}{\rm sec}$) and the corresponding number of e-folds in the USR region is restricted to $\Delta N_{\rm USR}\approx 2$.