title: On equidistant polytopes in the Euclidean space

abstract: An equidistant polytope is a special equidistant set in the space $\mathbb{R}^n$ all of whose boundary points have equal distances from two finite systems of points. Since one of the finite systems of the given points is required to be in the interior of the convex hull of the other one we can speak about inner and outer focal points of the equidistant polytope. It is of type $(q, p)$, where $q$ is the number of the outer focal points and $p$ is the number of the inner focal points. The equidistancy is the generalization of convexity because a convex polytope can be given as an equidistant polytope of type $(q, 1)$, where $q\geq n+1$. In the paper we present some general results about the basic properties of the equidistant polytopes: convex components, graph representations, connectedness, correspondence to the Voronoi decomposition of the space etc. Especially, we are interested in equidistant polytopes of dimension $2$ (equidistant polygons). Equidistant polygons of type $(3,2)$ will be characterized in terms of a constructive (ruler-and-compass) process to recognize them. In general they are pentagons with exactly two concave angles such that the vertices, where the concave angles appear at, are joined by an inner diagonal related to the adjacent sides of the polygon in a special way via the three reflection theorem for concurrent lines. The last section is devoted to some special arrangements of the focal points to get the concave quadrangles as equidistant polygons of type $(3,2)$.


title: N3H-Core: Neuron-designed Neural Network Accelerator via FPGA-based Heterogeneous Computing Cores

abstract: Accelerating the neural network inference by FPGA has emerged as a popular option, since the reconfigurability and high performance computing capability of FPGA intrinsically satisfies the computation demand of the fast-evolving neural algorithms. However, the popular neural accelerators on FPGA (e.g., Xilinx DPU) mainly utilize the DSP resources for constructing their processing units, while the rich LUT resources are not well exploited. Via the software-hardware co-design approach, in this work, we develop an FPGA-based heterogeneous computing system for neural network acceleration. From the hardware perspective, the proposed accelerator consists of DSP- and LUT-based GEneral Matrix-Multiplication (GEMM) computing cores, which forms the entire computing system in a heterogeneous fashion. The DSP- and LUT-based GEMM cores are computed w.r.t a unified Instruction Set Architecture (ISA) and unified buffers. Along the data flow of the neural network inference path, the computation of the convolution/fully-connected layer is split into two portions, handled by the DSP- and LUT-based GEMM cores asynchronously. From the software perspective, we mathematically and systematically model the latency and resource utilization of the proposed heterogeneous accelerator, regarding varying system design configurations. Through leveraging the reinforcement learning technique, we construct a framework to achieve end-to-end selection and optimization of the design specification of target heterogeneous accelerator, including workload split strategy, mixed-precision quantization scheme, and resource allocation of DSP- and LUT-core. In virtue of the proposed design framework and heterogeneous computing system, our design outperforms the state-of-the-art Mix&Match design with latency reduced by 1.12-1.32x with higher inference accuracy. The N3H-core is open-sourced at: https://github.com/elliothe/N3H_Core.


title: Relevance of photon-photon dispersion within the jet for blazar axionlike particle searches

abstract: Axionlike particles (ALPs) could mix with photons in the presence of astrophysical magnetic fields. Searching for this effect in gamma-ray observations of blazars has provided some of the strongest constraints on ALP parameter space so far. Previously, photon-photon dispersion of gamma-rays off of the CMB has been shown to be important for these calculations, and is universally included in ALP-photon mixing models. Here, we assess the effects of dispersion off of other photon fields within the blazar (produced by the accretion disk, the broad line region, the dust torus, starlight, and the synchrotron field) by modelling the jet and fields of the flat spectrum radio quasar 3C454.3 and propagating ALPs through the model both with and without the full dispersion calculation. We find that the full dispersion calculation can strongly affect the mixing, particularly at energies above 100 GeV -- often reducing the ALP-photon conversion probability. This could have implications for future searches planned with, e.g., the Cherenkov Telescope Array, particularly those looking for a reduced opacity of the universe at the highest energies.


title: Generative Adversarial Networks for Labelled Vibration Data Generation

abstract: As Structural Health Monitoring (SHM) being implemented more over the years, the use of operational modal analysis of civil structures has become more significant for the assessment and evaluation of engineering structures. Machine Learning (ML) and Deep Learning (DL) algorithms have been in use for structural damage diagnostics of civil structures in the last couple of decades. While collecting vibration data from civil structures is a challenging and expensive task for both undamaged and damaged cases, in this paper, the authors are introducing Generative Adversarial Networks (GAN) that is built on the Deep Convolutional Neural Network (DCNN) and using Wasserstein Distance for generating artificial labelled data to be used for structural damage diagnostic purposes. The authors named the developed model 1D W-DCGAN and successfully generated vibration data which is very similar to the input. The methodology presented in this paper will pave the way for vibration data generation for numerous future applications in the SHM domain.


title: Generative Adversarial Networks for Data Generation in Structural Health Monitoring

abstract: Structural Health Monitoring (SHM) has been continuously benefiting from the advancements in the field of data science. Various types of Artificial Intelligence (AI) methods have been utilized for the assessment and evaluation of civil structures. In AI, Machine Learning (ML) and Deep Learning (DL) algorithms require plenty of datasets to train; particularly, the more data DL models are trained with, the better output it yields. Yet, in SHM applications, collecting data from civil structures through sensors is expensive and obtaining useful data (damage associated data) is challenging. In this paper, 1-D Wasserstein loss Deep Convolutional Generative Adversarial Networks using Gradient Penalty (1-D WDCGAN-GP) is utilized to generate damage associated vibration datasets that are similar to the input. For the purpose of vibration-based damage diagnostics, a 1-D Deep Convolutional Neural Network (1-D DCNN) is built, trained, and tested on both real and generated datasets. The classification results from the 1-D DCNN on both datasets resulted to be very similar to each other. The presented work in this paper shows that for the cases of insufficient data in DL or ML-based damage diagnostics, 1-D WDCGAN-GP can successfully generate data for the model to be trained on. Keywords: 1-D Generative Adversarial Networks (GAN), Deep Convolutional Generative Adversarial Networks (DCGAN), Wasserstein Generative Adversarial Networks with Gradient Penalty (WGAN-GP), 1-D Convolutional Neural Networks (CNN), Structural Health Monitoring (SHM), Structural Damage Diagnostics, Structural Damage Detection


title: Real-Time Holography and Hybrid WKB for BTZ Wormholes

abstract: We study probe scalar correlation functions in a Solodukhin wormhole corresponding to the non-rotating BTZ black hole, as a toy model for microstate geometries thereof. Using real-time holography, we obtain the retarded scalar correlator in the wormhole geometry and quantitatively compare it to the result of the hybrid WKB method for the same correlator. We also calculate an off-diagonal correlator $\sim\langle H L L H' \rangle$ involving two different (heavy) wormhole states.


title: Single Image Automatic Radial Distortion Compensation Using Deep Convolutional Network

abstract: In many computer vision domains, the input images must conform with the pinhole camera model, where straight lines in the real world are projected as straight lines in the image. Performing computer vision tasks on live sports broadcast footage imposes challenging requirements where the algorithms cannot rely on a specific calibration pattern must be able to cope with unknown and uncalibrated cameras, radial distortion originating from complex television lenses, few visual clues to compensate distortion by, and the necessity for real-time performance. We present a novel method for single-image automatic lens distortion compensation based on deep convolutional neural networks, capable of real-time performance and accuracy using two highest-order coefficients of the polynomial distortion model operating in the application domain of sports broadcast. Keywords: Deep Convolutional Neural Network, Radial Distortion, Single Image Rectification


title: M-Estimation based on quasi-processes from discrete samples of Levy processes

abstract: We consider M-estimation problems, where the target value is determined using a minimizer of an expected functional of a Levy process. With discrete observations from the Levy process, we can produce a "quasi-path" by shuffling increments of the Levy process, we call it a quasi-process. Under a suitable sampling scheme, a quasi-process can converge weakly to the true process according to the properties of the stationary and independent increments. Using this resampling technique, we can estimate objective functionals similar to those estimated using the Monte Carlo simulations, and it is available as a contrast function. The M-estimator based on these quasi-processes can be consistent and asymptotically normal.


title: Taming Overconfident Prediction on Unlabeled Data from Hindsight

abstract: Minimizing prediction uncertainty on unlabeled data is a key factor to achieve good performance in semi-supervised learning (SSL). The prediction uncertainty is typically expressed as the \emph{entropy} computed by the transformed probabilities in output space. Most existing works distill low-entropy prediction by either accepting the determining class (with the largest probability) as the true label or suppressing subtle predictions (with the smaller probabilities). Unarguably, these distillation strategies are usually heuristic and less informative for model training. From this discernment, this paper proposes a dual mechanism, named ADaptive Sharpening (\ADS), which first applies a soft-threshold to adaptively mask out determinate and negligible predictions, and then seamlessly sharpens the informed predictions, distilling certain predictions with the informed ones only. More importantly, we theoretically analyze the traits of \ADS by comparing with various distillation strategies. Numerous experiments verify that \ADS significantly improves the state-of-the-art SSL methods by making it a plug-in. Our proposed \ADS forges a cornerstone for future distillation-based SSL research.


title: Shedding light on Dark Matter through 21 cm Cosmology and Reionization constraints

abstract: During the last decades, our understanding of the universe has reached a remarkable level, being able to test cosmological predictions with an astonishing precision. Nonetheless, the nature, composition, mass and interactions of the Dark Matter still remain unknown, presenting one of the most intriguing conundrums in current cosmology. In this doctoral thesis, signatures of Dark Matter candidates which can leave an impact on the process of formation of structures and on the evolution of the Intergalactic Medium are studied. This thesis is organized in three parts. Part I is devoted to a broad introduction to the fundamentals, describing the state of the art of the topics considered. The basics of the $\Lambda$CDM are presented in Chapter 1. Chapter 2 overviews the historical progress of evidences of Dark Matter, followed by a discussion of the status and small-scale issues of the Cold Dark Matter paradigm, examining two alternative non-standard scenarios: Warm Dark Matter and Interacting Dark Matter. Chapter 3 considers Primordial Black Holes as another Dark Matter candidate, discussing the effects of accretion of surrounding matter and the enhancement of small-scale fluctuations due to the Poisson shot noise, both of which could leave an observational impact in the Intergalactic Medium. The fundamentals of the 21 cm cosmological signal are reviewed in Chapter 4, summarizing the main processes which drive the brightness temperature, and discussing its spatial fluctuations via the power spectrum. Finally, Chapter 5 is dedicated to the ionization and thermal evolution of the Intergalactic Medium during the Cosmic Dawn and the Reionization epochs. Part II includes seven original scientific articles published during the development of the PhD, which constitute the main work of this thesis. Finally, Part III contains a summary of the main results in Spanish.


title: Limit on intergalactic magnetic field from ultra-high-energy cosmic ray hotspot in Perseus-Pisces region

abstract: Telescope Array collaboration has reported an evidence for existence of a source of ultra-high-energy cosmic ray (UHECR) events in Perseus-Pisces supercluster. We show that the mere existence of such a source imposes an upper bound on the strength of intergalactic magnetic field (IGMF) in the Taurus void lying between the Perseus-Pisces supercluster and the Milky Way galaxy. This limit is at the level of 10^{-10} G for a field with correlation length larger than the distance of the super-cluster ~ 70 Mpc. This bound is an order-of-magnitude stronger that the previously known bound on IGMF from radio Faraday rotation measurements and it is the first upper bound on magnetic field in the voids of the Large Scale Structure.


title: Central Limit Type Theorem and Large Deviation Principle for Multi-Scale McKean-Vlasov SDEs

abstract: In this paper, we aim to study the asymptotic behavior for multi-scale McKean-Vlasov stochastic dynamical systems. Firstly, we obtain a central limit type theorem, i.e, the deviation between the slow component $X^{\varepsilon}$ and the solution $\bar{X}$ of the averaged equation converges weakly to a limiting process. More precisely, $\frac{X^{\varepsilon}-\bar{X}}{\sqrt{\varepsilon}}$ converges weakly in $C([0,T],\RR^n)$ to the solution of certain distribution dependent stochastic differential equation, which involves an extra explicit stochastic integral term. Secondly, in order to estimate the probability of deviations away from the limiting process, we further investigate the Freidlin-Wentzell's large deviation principle for multi-scale McKean-Vlasov stochastic system. The main techniques are based on the Poisson equation for central limit type theorem and the weak convergence approach for large deviation principle.


title: Spherically symmetric solutions of higher-spin gravity in the IKKT matrix model

abstract: We present a systematic study of spherically symmetric vacuum solutions of the IKKT matrix model, within the framework of semi-classical covariant quantum geometries. All asymptotically flat solutions of the equations of motion of the frame are found explicitly. They reproduce the linearized Schwarzschild geometry for large $r$ but deviate from it at the non-linear level, and include contributions from dilaton and axion. They are pertinent to the pre-gravity theory arising on classical brane solutions within the classical matrix model, before taking into account the Einstein-Hilbert term induced by quantum effects. We also address the problem of reconstructing matrix configurations corresponding to some given frame, and show that this problem can always be solved at the geometrical level of the underlying higher spin theory, ignoring possible higher spin modes.


title: Odd moments for the trace of Frobenius and the Sato--Tate conjecture in arithmetic progressions

abstract: In this paper, we consider the moments of the trace of Frobenius of elliptic curves if the trace is restricted to a fixed arithmetic progression. We determine the asymptotic behavior for the ratio of the $(2k+1)$-th moment to the zeroeth moment as the size of the finite field $\mathbb{F}_{p^r}$ goes to infinity. These results follow from similar asymptotic formulas relating sums and moments of Hurwitz class numbers where the sums are restricted to certain arithmetic progressions. As an application, we prove that the distribution of the trace of Frobenius in arithmetic progressions is equidistributed with respect to the Sato--Tate measure.


title: Synchronization in a class of chaotic systems

abstract: In this work, the synchronization problem of a master-slave system of autonomous ordinary differential equations (ODEs) is considered. Here, the systems are, chaotic with a nonlinearity represented by a piecewise linear function, non-identical and linearly coupled. The idea behind our methodology is quite simple: we couple the systems with a linear function of the difference between the states of the systems and we propose a formal solution for the ODE that governs the evolution of that difference and then we determine what the parameters should be of the coupling function, so that the solution of that ODE is a fixed point close to zero. As the main result, we obtain conditions for the coupling function that guarantize the synchronization, based on a suitable descomposition of the system joined to a fixed point theorem. The scheme seems to be valid for a wide class of chaotic systems of great practical utility.


title: Using the DELPHI Method for Model for Role Assignment in the Software Industry

abstract: Over the past two decades, there has been a growing interest in modeling the elements that need to be considered when assigning people to roles in software projects, as evidenced by the number of available publications related to the topic. However, for the most part, these studies, have taken only a partial approach to the issue. Some have focused on the target roles competency profile, while others have tried to understand the preferences of software developers for activities linked to certain roles and the relationship between these preferences and the candidates personal traits, to mention only two examples. Our research aims to find elements that can be integrated into an allocation model that complements current approaches by including competencies, personal traits, and project team building theories. To do so we performed an experts consultation exercise using the DELPHI method; which allowed us to validate a set of patterns related to different candidates personal traits, and the link between the teams motivational motors and their roles within the software development.


title: Universal interference-based construction of Gaussian operations in hybrid quantum systems

abstract: Beam-splitter operations are an indispensable resource for processing quantum information encoded in bosonic modes. However, in hybrid quantum systems, it can be challenging to implement reliable beam-splitters between two distinct bosonic modes due to various experimental imperfections. Without beam-splitters, realizing arbitrary Gaussian operations between bosonic modes can become highly non-trivial or even infeasible. In this work, we develop novel interference-based protocols for engineering Gaussian operations in multi-mode hybrid bosonic systems without requiring beam-splitters. Specifically, for a given generic multi-mode Gaussian unitary coupler, we demonstrate a universal scheme for constructing Gaussian operations on a desired subset of bosonic modes, requiring only multiple uses of the given coupler interleaved with single-mode Gaussian unitaries. Our results provide efficient construction of operations crucial to quantum information science and are derived from fundamental physical properties of bosonic systems. The proposed scheme is thus widely applicable to existing platforms and couplers, with the exception of certain edge cases. We introduce a systematic approach to identify and treat these edge cases by utilizing a novel intrinsically invariant structure associated with our interference-based construction.


title: Modelling fatigue crack growth in Shape Memory Alloys

abstract: We present a phase field-based framework for modelling fatigue damage in Shape Memory Alloys (SMAs). The model combines, for the first time: (i) a generalised phase field description of fracture, incorporating multiple phase field formulations, (ii) a constitutive model for SMAs, based on a Drucker-Prager form of the transformation surface, and (iii) a fatigue degradation function, with damage driven by both elastic and transformation strains. The theoretical framework is numerically implemented, and the resulting linearised system is solved using a robust monolithic scheme, based on quasi-Newton methods. Several paradigmatic boundary value problems are addressed to gain insight into the role of transformation stresses, stress-strain hysteresis and temperature. Namely, we compute $\Delta \varepsilon-N$ curves, quantify Paris law parameters and predict fatigue crack growth rates in several geometries. In addition, the potential of the model for solving large-scale problems is demonstrated by simulating the fatigue failure of a 3D lattice structure.


title: Ab-initio coupled-cluster calculations of ground and dipole excited states in 8He

abstract: We perform coupled-cluster calculations of ground- and dipole excited-state properties of the 8He halo nucleus with nucleon-nucleon and three-nucleon interactions from chiral effective field theory, both with and without explicit delta degrees of freedom. By increasing the precision in our coupled-cluster calculations via the inclusion of leading order three-particle three-hole excitations in the cluster operator, we obtain a ground-state energy and a charge radius that are consistent with experiment, albeit with a slight under-binding. We also investigate the excited states induced by the electric dipole operator and present a discussion on the Thomas-Reiche-Kuhn and cluster sum rules. Finally, we compute the electric dipole polarizability, providing a theoretical benchmark for future experimental determinations that will study this exotic nucleus.


title: TrialGraph: Machine Intelligence Enabled Insight from Graph Modelling of Clinical Trials

abstract: A major impediment to successful drug development is the complexity, cost, and scale of clinical trials. The detailed internal structure of clinical trial data can make conventional optimization difficult to achieve. Recent advances in machine learning, specifically graph-structured data analysis, have the potential to enable significant progress in improving the clinical trial design. TrialGraph seeks to apply these methodologies to produce a proof-of-concept framework for developing models which can aid drug development and benefit patients. In this work, we first introduce a curated clinical trial data set compiled from the CT.gov, AACT and TrialTrove databases (n=1191 trials; representing one million patients) and describe the conversion of this data to graph-structured formats. We then detail the mathematical basis and implementation of a selection of graph machine learning algorithms, which typically use standard machine classifiers on graph data embedded in a low-dimensional feature space. We trained these models to predict side effect information for a clinical trial given information on the disease, existing medical conditions, and treatment. The MetaPath2Vec algorithm performed exceptionally well, with standard Logistic Regression, Decision Tree, Random Forest, Support Vector, and Neural Network classifiers exhibiting typical ROC-AUC scores of 0.85, 0.68, 0.86, 0.80, and 0.77, respectively. Remarkably, the best performing classifiers could only produce typical ROC-AUC scores of 0.70 when trained on equivalent array-structured data. Our work demonstrates that graph modelling can significantly improve prediction accuracy on appropriate datasets. Successive versions of the project that refine modelling assumptions and incorporate more data types can produce excellent predictors with real-world applications in drug development.


title: Nicely structured positive bases with maximal cosine measure

abstract: The properties of positive bases make them a useful tool in derivative-free optimization (DFO) and an interesting concept in mathematics. The notion of the \emph{cosine measure} helps to quantify the quality of a positive basis. It provides information on how well the vectors in the positive basis uniformly cover the space considered. The number of vectors in a positive basis is known to be between $n+1$ and $2n$ inclusively. When the number of vectors is strictly between $n+1$ and $2n$, we say that it is an intermediate positive basis. In this paper, the structure of intermediate positive bases with maximal cosine measure is investigated. The structure of an intermediate positive basis with maximal cosine measure over a certain subset of positive bases is provided. This type of positive bases has a simple structure that makes them easy to generate with a computer software.


title: Enhancing operations management through smart sensors: measuring and improving well-being, interaction and performance of logistics workers

abstract: Purpose The purpose of the research is to conduct an exploratory investigation of the material handling activities of an Italian logistics hub. Wearable sensors and other smart tools were used for collecting human and environmental features during working activities. These factors were correlated with workers' performance and well-being. Design/methodology/approach Human and environmental factors play an important role in operations management activities since they significantly influence employees' performance, well-being and safety. Surprisingly, empirical studies about the impact of such aspects on logistics operations are still very limited. Trying to fill this gap, the research empirically explores human and environmental factors affecting the performance of logistics workers exploiting smart tools. Findings Results suggest that human attitudes, interactions, emotions and environmental conditions remarkably influence workers' performance and well-being, however, showing different relationships depending on individual characteristics of each worker. Practical implications The authors' research opens up new avenues for profiling employees and adopting an individualized human resource management, providing managers with an operational system capable to potentially check and improve workers' well-being and performance. Originality/value The originality of the study comes from the in-depth exploration of human and environmental factors using body-worn sensors during work activities, by recording individual, collaborative and environmental data in real-time. To the best of the authors' knowledge, the current paper is the first time that such a detailed analysis has been carried out in real-world logistics operations.


title: Morse index for the ground state in the energy supercritical Gross--Pitaevskii equation

abstract: The ground state of the energy super-critical Gross--Pitaevskii equation with a harmonic potential converges in the energy space to the singular solution in the limit of large amplitudes. The ground state can be represented by a solution curve which has either oscillatory or monotone behavior, depending on the dimension of the system and the power of the focusing nonlinearity. We address here the monotone case for the cubic nonlinearity in the spatial dimensions $d \geq 13$. By using the shooting method for the radial Schr\"{o}dinger operators, we prove that the Morse index of the ground state is finite and is independent of the (large) amplitude. It is equal to the Morse index of the limiting singular solution, which can be computed from numerical approximations. The numerical results suggest that the Morse index of the ground state is one and that it is stable in the time evolution of the cubic Gross--Pitaevskii equation in dimensions $d \geq 13$.

categories: math.AP math-ph math.CA math.DS math.MP nlin.PS


title: Two-Price Equilibrium

abstract: Walrasian equilibrium is a prominent market equilibrium notion, but rarely exists in markets with indivisible items. We introduce a new market equilibrium notion, called two-price equilibrium (2PE). A 2PE is a relaxation of Walrasian equilibrium, where instead of a single price per item, every item has two prices: one for the item's owner and a (possibly) higher one for all other buyers. Thus, a 2PE is given by a tuple $(\textbf{S},\mathbf{\hat{p}},\mathbf{\check{p}})$ of an allocation $\textbf{S}$ and two price vectors $\mathbf{\hat{p}},\mathbf{\check{p}}$, where every buyer $i$ is maximally happy with her bundle $S_i$, given prices $\mathbf{\check{p}}$ for items in $S_i$ and prices $\mathbf{\hat{p}}$ for all other items. 2PE generalizes previous market equilibrium notions, such as conditional equilibrium, and is related to relaxed equilibrium notions like endowment equilibrium. We define the {\em discrepancy} of a 2PE -- a measure of distance from Walrasian equilibrium -- as the sum of differences $\hat{p}_j-\check{p}_j$ over all items (normalized by social welfare). We show that the social welfare degrades gracefully with the discrepancy; namely, the social welfare of a 2PE with discrepancy $d$ is at least a fraction $\frac{1}{d+1}$ of the optimal welfare. We use this to establish welfare guarantees for markets with subadditive valuations over identical items. In particular, we show that every such market admits a 2PE with at least $1/7$ of the optimal welfare. This is in contrast to Walrasian equilibrium or conditional equilibrium which may not even exist. Our techniques provide new insights regarding valuation functions over identical items, which we also use to characterize instances that admit a WE.


title: Unified approach to cyclotron and plasmon resonances in a periodic 2DEG hosting the Hofstadter butterfly

abstract: We present theoretical calculations for the cyclotron resonance and various magnetoplasmon modes of a Coulomb interacting two-dimensional GaAs electron gas (2DEG) modulated as a lateral superlattice of quantum dots subjected to an external perpendicular constant magnetic field. We use a real-time excitation approach based on the Liouville-von Neumann equation for the density operator, that can go beyond linear response delivering information of all longitudinal and transverse collective modes of interest to the same order. We perform an extensive analysis of the coexisting collective modes due to the lateral confinement and the magnetic field for a different number of electrons in each dot. In the limit of vanishing dot modulation of the 2DEG we find signs of the structure of the Hofstadter butterfly in the excitation spectra.


title: Probabilistic Forecasting with Generative Networks via Scoring Rule Minimization

abstract: Probabilistic forecasting relies on past observations to provide a probability distribution for a future outcome, which is often evaluated against the realization using a scoring rule. Here, we perform probabilistic forecasting with generative neural networks, which parametrize distributions on high-dimensional spaces by transforming draws from a latent variable. Generative networks are typically trained in an adversarial framework. In contrast, we propose to train generative networks to minimize a predictive-sequential (or prequential) scoring rule on a recorded temporal sequence of the phenomenon of interest, which is appealing as it corresponds to the way forecasting systems are routinely evaluated. Adversarial-free minimization is possible for some scoring rules; hence, our framework avoids the cumbersome hyperparameter tuning and uncertainty underestimation due to unstable adversarial training, thus unlocking reliable use of generative networks in probabilistic forecasting. Further, we prove consistency of the minimizer of our objective with dependent data, while adversarial training assumes independence. We perform simulation studies on two chaotic dynamical models and a benchmark data set of global weather observations; for this last example, we define scoring rules for spatial data by drawing from the relevant literature. Our method outperforms state-of-the-art adversarial approaches, especially in probabilistic calibration, while requiring less hyperparameter tuning.


title: Characterizing epochs of star formation across the Milky Way disc using age-metallicity distributions of GALAH stars

abstract: We provide a detailed map of the ages and metallicities of turnoff stars in the Milky Way disc based on data from GALAH DR3 and Gaia EDR3. From this map, we identify previously undetected features in the age-metallicity distribution of disc stars and interpret these results as indicating a three-phase formation history of the Milky Way. In the first phase, inner disc stars form along a single age-metallicity sequence and are today kinematically hot. The end of this phase is marked by a local minimum in the inner disc age distribution 10 Gyr ago. At this time, we find the stellar populations to transition from high to low alpha-element abundances and from high to low vertical velocity dispersion. In the second phase, stars form across the disc with outwardly decreasing metallicity. In this phase, inner disc stars form at super-solar metallicites in a continuation of the early age-metallicity relation while outer disc stars begin forming at metallicities at least 0.5 dex lower. Finally, the third phase is associated with a recent burst of star formation across the local disc marked by a local minimum in the age-metallicity distribution 4 to 6 Gyr ago. Future quantitative comparisons between the observed age-metallicity distribution and those of simulated galaxies could help constrain the processes driving each of the star formation phases.


title: Quantitative analysis of visual representation of sign elements in COVID-19 context

abstract: Representation is the way in which human beings re-present the reality of what is happening, both externally and internally. Thus, visual representation as a means of communication uses elements to build a narrative, just as spoken and written language do. We propose using computer analysis to perform a quantitative analysis of the elements used in the visual creations that have been produced in reference to the epidemic, using the images compiled in The Covid Art Museum's Instagram account to analyze the different elements used to represent subjective experiences with regard to a global event. This process has been carried out with techniques based on machine learning to detect objects in the images so that the algorithm can be capable of learning and detecting the objects contained in each study image. This research reveals that the elements that are repeated in images to create narratives and the relations of association that are established in the sample, concluding that, despite the subjectivity that all creation entails, there are certain parameters of shared and reduced decisions when it comes to selecting objects to be included in visual representations


title: On the optimal consensus of crab submarines in one dimension

abstract: We consider the problem of computing the optimal meeting point of a set of N crab submarines. First, we analyze the case where the submarines are allowed any position on the real line: we provide a constructive proof of optimality and we use it to provide a linear-time algorithm to find the optimal meeting point for the case of sorted starting points. Second, we use the results for the continuous case to solve the case where the crab submarines are restricted to integer locations: we show that, given the solution of the corresponding continuous problem, we can find the optimal integer solution in linear time.


title: Computational statistical physics and hypocoercivity

abstract: This note provides an introduction to molecular dynamics, the computational implementation of the theory of statistical physics. The discussion is focused on the properties of Langevin dynamics, a degenerate stochastic differential equation which can be seen as a perturbation of Hamiltonian dynamics. From an analytical point of view, the generator of Langevin dynamics is a degenerate elliptic operator. The evolution of the law of the stochastic process is governed by the Fokker-Planck equation, and its longtime convergence can be obtained via hypocoercive techniques, some of which are reviewed here. One consequence of these analytical results in terms of error estimates for the computation of average properties of molecular systems is the estimation of the asymptotic variance of time averages in a central limit theorem.


title: Guaranteed Nonlinear Tracking in the Presence of DNN-Learned Dynamics With Contraction Metrics and Disturbance Estimation

abstract: This paper presents an approach to trajectory-centric learning control based on contraction metrics and disturbance estimation for nonlinear systems subject to matched uncertainties. The approach uses deep neural networks to learn uncertain dynamics while still providing guarantees of transient tracking performance throughout the learning phase. Within the proposed approach, a disturbance estimation law is adopted to estimate the pointwise value of the uncertainty, with pre-computable estimation error bounds (EEBs). The learned dynamics, the estimated disturbances, and the EEBs are then incorporated in a robust Riemann energy condition to compute the control law that guarantees exponential convergence of actual trajectories to desired ones throughout the learning phase, even when the learned model is poor. On the other hand, with improved accuracy, the learned model can help improve the robustness of the tracking controller, e.g., against input delays, and can be incorporated to plan better trajectories with improved performance, e.g., lower energy consumption and shorter travel time.The proposed framework is validated on a planar quadrotor example.


title: Dijet Production in Neutral Current and Charged Current Polarized Deep Inelastic Scattering

abstract: We calculate the fully differential Next-to-Leading Order (NLO) corrections to (longitudinally) polarized dijet production in deep inelastic scattering, featuring both neutral current and charged current processes. We also analyze their phenomenological impact in the Electron-Ion Collider (EIC) kinematics.


title: Disparities in Social Determinants among Performances of Mortality Prediction with Machine Learning for Sepsis Patients

abstract: Background Sepsis is one of the most life-threatening circumstances for critically ill patients in the US, while a standardized criteria for sepsis identification is still under development. Disparities in social determinants of sepsis patients can interfere with the risk prediction performances using machine learning. Methods Disparities in social determinants, including race, gender, marital status, insurance types and languages, among patients identified by six available sepsis criteria were revealed by forest plots. Sixteen machine learning classifiers were trained to predict in-hospital mortality for sepsis patients. The performance of the trained model was tested on the entire randomly conducted test set and each sub-population built based on each of the following social determinants: race, gender, marital status, insurance type, and language. Results We analyzed a total of 11,791 critical care patients from the MIMIC-III database. Within the population identified by each sepsis identification method, significant differences were observed among sub-populations regarding race, marital status, insurance type, and language. On the 5,783 sepsis patients identified by the Sepsis-3 criteria statistically significant performance decreases for mortality prediction were observed when applying the trained machine learning model on Asian and Hispanic patients. With pairwise comparison, we detected performance discrepancies in mortality prediction between Asian and White patients, Asians and patients of other races, as well as English-speaking and Spanish-speaking patients. Conclusions Disparities in proportions of patients identified by various sepsis criteria were detected among the different social determinant groups. To achieve accurate diagnosis, a versatile diagnostic system for sepsis is needed to overcome the social determinant disparities of patients.


title: Inverse Optimal Safety Filters

abstract: CBF-QP safety filters are pointwise minimizers of the control effort at a given state vector, i.e., myopically optimal at each time instant. But are they optimal over the entire infinite time horizon? What does it even mean for a controlled dynamic systems to be "optimally safe" as opposed to, conventionally "optimally stable"? When disturbances, deterministic and stochastic, have unknown upper bounds, how should safety be defined to allow a graceful degradation under disturbances? Can safety filters be designed to guarantee such weaker safety properties as well as the optimality of safety over the infinite time horizon? We pose and answer these questions for general systems affine in control and disturbances and illustrate the answers using several examples. In the process, using the existing QP safety filters, as well as more general safety-ensuring feedbacks, we generate entire families of safety filters which are optimal over the infinite horizon though they are conservative (favoring safety over `alertness') relative to the standard QP.


title: A New Framework for Higher Loop Witten Diagrams

abstract: The differential representation is a novel formalism for studying boundary correlators in $(d+1)$-dimensional anti-de Sitter space. In this letter, we generalize the differential representation beyond tree level using the notion of operator-valued integrals. We use the differential representation to compute three-point bubble and triangle Witten diagrams with external states of conformal dimension $\Delta=d$. We compare the former to a position space computation.


title: An Experimental Study of the Impact of Pre-training on the Pruning of a Convolutional Neural Network

abstract: In recent years, deep neural networks have known a wide success in various application domains. However, they require important computational and memory resources, which severely hinders their deployment, notably on mobile devices or for real-time applications. Neural networks usually involve a large number of parameters, which correspond to the weights of the network. Such parameters, obtained with the help of a training process, are determinant for the performance of the network. However, they are also highly redundant. The pruning methods notably attempt to reduce the size of the parameter set, by identifying and removing the irrelevant weights. In this paper, we examine the impact of the training strategy on the pruning efficiency. Two training modalities are considered and compared: (1) fine-tuned and (2) from scratch. The experimental results obtained on four datasets (CIFAR10, CIFAR100, SVHN and Caltech101) and for two different CNNs (VGG16 and MobileNet) demonstrate that a network that has been pre-trained on a large corpus (e.g. ImageNet) and then fine-tuned on a particular dataset can be pruned much more efficiently (up to 80% of parameter reduction) than the same network trained from scratch.


title: DC and optical signatures of the topological reconstruction of the Fermi surface for electrons with parabolic band dispersion

abstract: We study the main intra-band and inter-band transport properties at zero temperature of free electron-like system undergoing a topological reconstruction of the Fermi surface for the two-dimensional and three-dimensional case. The calculated intra-band properties include the single-particle density of states, the total and the effective concentrations of electrons and the thermopower. As for the inter-band case, the real part of the conductivity has been calculated within the vanishing inter-band relaxation approximation as a function of the incident photon energy. Within this approach, it is shown that the optical conductivity has a nonvanishing component parallel to the reconstruction wave vector and the shape which depends on the value of the Fermi energy. Each dimensionality has its particular features in the transport quantities presented in the paper, which are discussed and compared with those in the free electron scenario. Finally, we identify the signature of the topological reconstruction of the Fermi surface in the intra-band and inter-band transport functions.


title: Quasi-Triangularization of Matrix Polynomials over Arbitrary Fields

abstract: In [19], Taslaman, Tisseur, and Zaballa show that any regular matrix polynomial $P(\lambda)$ over an algebraically closed field is spectrally equivalent to a triangular matrix polynomial of the same degree. When $P(\lambda)$ is real and regular, they also show that there is a real quasi-triangular matrix polynomial of the same degree that is spectrally equivalent to $P(\lambda)$, in which the diagonal blocks are of size at most $2 \times 2$. This paper generalizes these results to regular matrix polynomials $P(\lambda)$ over arbitrary fields $\mathbb{F}$, showing that any such $P(\lambda)$ can be quasi-triangularized to a spectrally equivalent matrix polynomial over $\mathbb{F}$ of the same degree, in which the largest diagonal block size is bounded by the highest degree appearing among all of the $\mathbb{F}$-irreducible factors in the Smith form for $P(\lambda)$.


title: What a direct neutrino mass measurement might teach us about the dark sector

abstract: Searches for Dark Matter suggest that it couples to ordinary matter only very weakly and possibly only through the Higgs or other scalar bosons. On the other hand, neutrinos might not couple to the Higgs boson directly, but only through a loop of Dark Matter particles, which would naturally explain the small neutrino masses. We demonstrate that current experimental constraints on such a ``scotogenic'' scenario allow to make the linear dependence of the lightest neutrino mass on the dark sector-Higgs coupling explicit, so that a measurement by the KATRIN experiment would directly determine its value.


title: Eclipse timing the Milky Way's gravitational potential

abstract: We show that a small, but \textit{measurable} shift in the eclipse mid-point time of eclipsing binary (EBs) stars of $\sim$ 0.1 seconds over a decade baseline can be used to directly measure the Galactic acceleration of stars in the Milky Way at $\sim$ kpc distances from the Sun. We consider contributions to the period drift rate from dynamical mechanisms other than the Galaxy's gravitational field, and show that the Galactic acceleration can be reliably measured using a sample of $\textit{Kepler}$ EBs with orbital and stellar parameters from the literature. Given the uncertainties on the formulation of tidal decay, our approach here is necessarily approximate, and the contribution from tidal decay is an upper limit assuming the stars are not tidally synchronized. We also use simple analytic relations to search for well-timed sources in the \textit{Kepler} field, and find $\sim$ 70 additional detached EBs with low eccentricities that have estimated timing precision better than 1 second. We illustrate the method with a prototypical, precisely timed EB using an archival \textit{Kepler} light curve and a modern synthetic \textit{HST} light curve (which provides a decade baseline). This novel method establishes a realistic possibility for obtaining fundamental Galactic parameters using eclipse timing to measure Galactic accelerations, along with other emerging new methods, including pulsar timing and extreme precision radial velocity observations. This acceleration signal grows quadratically with time. Therefore, given baselines established in the near-future for distant EBs, we can expect to measure the period drift in the future with space missions like \textit{JWST} and the \textit{Roman Space Telescope}.


title: RA V-Net: Deep learning network for automated liver segmentation

abstract: Accurate segmentation of the liver is a prerequisite for the diagnosis of disease. Automated segmentation is an important application of computer-aided detection and diagnosis of liver disease. In recent years, automated processing of medical images has gained breakthroughs. However, the low contrast of abdominal scan CT images and the complexity of liver morphology make accurate automatic segmentation challenging. In this paper, we propose RA V-Net, which is an improved medical image automatic segmentation model based on U-Net. It has the following three main innovations. CofRes Module (Composite Original Feature Residual Module) is proposed. With more complex convolution layers and skip connections to make it obtain a higher level of image feature extraction capability and prevent gradient disappearance or explosion. AR Module (Attention Recovery Module) is proposed to reduce the computational effort of the model. In addition, the spatial features between the data pixels of the encoding and decoding modules are sensed by adjusting the channels and LSTM convolution. Finally, the image features are effectively retained. CA Module (Channel Attention Module) is introduced, which used to extract relevant channels with dependencies and strengthen them by matrix dot product, while weakening irrelevant channels without dependencies. The purpose of channel attention is achieved. The attention mechanism provided by LSTM convolution and CA Module are strong guarantees for the performance of the neural network. The accuracy of U-Net network: 0.9862, precision: 0.9118, DSC: 0.8547, JSC: 0.82. The evaluation metrics of RA V-Net, accuracy: 0.9968, precision: 0.9597, DSC: 0.9654, JSC: 0.9414. The most representative metric for the segmentation effect is DSC, which improves 0.1107 over U-Net, and JSC improves 0.1214.


title: Dust Accumulation near the Magnetospheric Truncation of Protoplanetary Discs around T Tauri Stars

abstract: The prevalence of short-period super-Earths that are independent of host metallicity challenges the theoretical construction of their origin. We propose that dust trapping in the global pressure bump induced by magnetospheric truncation in evolved protoplanetary discs (PPDs) around T Tauri stars offers a promising formation mechanism for super-Earths, where the host metallicity is already established. To better understand this planet forming scenario, we construct a toy inner disc model and focus on the evolution of dust trapped in the bump, taking into account the supply from drifting pebbles and loss due to funnel flows. We develop an implicit coagulation-fragmentation code, $\mathtt{Rubble}$, and perform a suite of simulations to evolve the local dust size distributions. Our study for the first time considers dust feedback effect on turbulent diffusion in this kind of model. We report that efficient dust growth and significant accumulation of dust mass is possible in less turbulent disc with sturdier solids and with faster external supply, laying out a solid foundation for further growth towards planetesimals and planetary embryos. We further find that, depending on the dominant process, solid mass may predominantly accumulate in cm-sized grains or particles in runaway growth, indicating different ways of forming planetesimals. Furthermore, these various outcomes show different efficiencies in saving dust from funnel flows, suggesting that they may be distinguishable by constraining the opacity of funnel flows. Also, these diverse dust behaviours may help explain the observed dipper stars and rapidly varying shadows in PPDs.


title: Zeta zero dependence and the critical line

abstract: On the critical line the conditional distribution of the zeta function's magnitude around zeta zeros exists and predicts the well-known pair correlation between nontrivial zeta zeros. However, this conditional distribution does not exist at most distances above or below any nontrivial zeta zeros that are off the critical line. This shows that the zeta function's magnitude cannot have vertical statistical structure at most distances around nontrivial zeta zeros off the critical line. The proofs of these results are straightforward, using only statistical properties of certain prime sums, elementary properties of normal and elliptical random variables, and the pole structure of the zeta function. These results readily generalize to L-functions.


title: The Transformative Journey of HD 93521

abstract: HD 93521 is a massive, rapidly rotating star that is located about 1 kpc above the Galactic disk, and the evolutionary age for its estimated mass is much less than the time-of-flight if it was ejected from the disk. Here we present a re-assessment of both the evolutionary and kinematical timescales for HD 93521. We calculate a time-of-flight of 39 +/- 3 Myr based upon the distance and proper motions from Gaia EDR3 and a summary of radial velocity measurements. We then determine the stellar luminosity using a rotational model combined with the observed spectral energy distribution and distance. A comparison with evolutionary tracks for rotating stars from Brott et al. yields an evolutionary age of about 5 +/- 2 Myr. We propose that the solution to the timescale discrepancy is that HD 93521 is a stellar merger product. It was probably ejected from the Galactic disk as a close binary system of lower mass stars that eventually merged to create the rapidly rotating and single massive star we observe today.


title: Quantum field theoretical structure of electrical conductivity of cold and dense fermionic matter in the presence of a magnetic field

abstract: We have gone through a detailed calculation of the two-point correlation function of vector currents at finite density and magnetic field by employing the real time formalism of finite temperature field theory and Schwinger's proper time formalism. With respect to the direction of external magnetic field, the parallel and perpendicular components of electric conductivity for the degenerate relativistic fermionic matter are obtained from the zero momentum limit of the current-current correlator, owing to Kubo formula. Our quantum field theoretical expressions and numerical estimations are compared with the same, obtained from the relaxation time approximation methods of kinetic theory and its Landau quantized extension, which may be called as classical and quantum results respectively. All the results are merged in the classical domain i.e. high density and low magnetic field region but in the remaining (quantum) domain, quantum results carry a quantized information like Shubnikov-de Haas oscillation along density and magnetic field axes. We have obtained completely new quantum field theoretical expression for perpendicular conductivity of degenerate relativistic fermionic matter. Interestingly, our quantum field theoretical calculation provide a new mathematical form of cyclotron frequency with respect to its classical definition, which might require more future research to interpret the phenomena.


title: Exposure Inequality in People Recommender Systems: The Long-Term Effects

abstract: People recommender systems may affect the exposure that users receive in social networking platforms, influencing attention dynamics and potentially strengthening pre-existing inequalities that disproportionately affect certain groups. In this paper we introduce a model to simulate the feedback loop created by multiple rounds of interactions between users and a link recommender in a social network. This allows us to study the long-term consequences of those particular recommendation algorithms. Our model is equipped with several parameters to control (i) the level of homophily in the network, (ii) the relative size of the groups, (iii) the choice among several state-of-the-art link recommenders, and (iv) the choice among three different user behavior models, that decide which recommendations are accepted or rejected. Our extensive experimentation with the proposed model shows that a minority group, if homophilic enough, can get a disproportionate advantage in exposure from all link recommenders. Instead, when it is heterophilic, it gets under-exposed. Moreover, while the homophily level of the minority affects the speed of the growth of the disparate exposure, the relative size of the minority affects the magnitude of the effect. Finally, link recommenders strengthen exposure inequalities at the individual level, exacerbating the "rich-get-richer" effect: this happens for both the minority and the majority class and independently of their level of homophily.


title: Red Blood Cell Sphericity Index Obtained by Defocusing Microscopy and Retinopathy Severity in Sickle Cell Disease

abstract: Proliferative sickle cell retinopathy (PSCR) is the most important ocular manifestation of sickle cell disease (SCD), but understanding of its pathophysiology remains incomplete. Red blood cell (RBC) deformability has been identified as a critical factor in SCD and is intrinsically related with cell sphericity index (SI). The aim of this study was to develop an algorithm that automatically analyzes defocusing microscopy (DM) images, providing biomechanical parameters of individual RBCs, including cellular SI. Furthermore, association of RBC SI with severity of PSCR in individuals with HbSC-SCD was also investigated. We determined the SI of 255 RBCs from 17 individuals using DM. Nine individuals (53%) were healthy and eight (47%) had HbSC-SCD. Mean SI was significantly lower in SCD than in control group (0.69 versus 0.73), and also in severe than in mild PSCR (0.67 versus 0.70). Lower SI was also associated with more severe retinopathy (ROC AUC = 0.85) and the proportion of participants with SI <= 0.69 was significantly greater in severe than in mild PSCR (100% versus 25%). In conclusion, lower RBC SI determined by DM was associated not only with the presence of SCD, but also with more severe PSCR, possibly being a surrogate biomarker of disease severity.


title: Some evaluations of the fractional $p$-Laplace operator on radial functions

abstract: We face a rigidity problem for the fractional $p$-Laplace operator to extend to this new framework some tools useful for the linear case. It is known that $(-\Delta)^s(1-|x|^{2})^s_+$ and $-\Delta_p(1-|x|^{\frac{p}{p-1}})$ are constant functions in $(-1,1)$ for fixed $p$ and $s$. We evaluated $(-\Delta_p)^s(1-|x|^{\frac{p}{p-1}})^s_+$ proving that it is not constant in $(-1,1)$ for some $p\in (1,+\infty)$ and $s\in (0,1)$. This conclusion is obtained numerically thanks to the use of very accurate Gaussian numerical quadrature formulas.


title: Homophily impacts the success of vaccine roll-outs

abstract: Physical contacts do not occur randomly, rather, individuals with similar socio-demographic and behavioural characteristics are more likely to interact among them, a phenomenon known as homophily. Concurrently, the same characteristics correlate with the adoption of prophylactic tools. As a result, the latter do not unfold homogeneously in a population, affecting their ability to control the spread of infectious diseases. Here, focusing on the case of vaccines, we reveal three different dynamical regimes as a function of the mixing rate between vaccinated and non vaccinated individuals. Specifically, depending on the epidemic pressure, vaccine coverage and efficacy, we find the attack rate to decrease, increase or vary non monotonously with respect to the mixing rate. We corroborate the phenomenology through Monte Carlo simulations on a temporal physical contact network. Besides vaccines, our findings hold for a wide range of prophylactic tools, indicating a universal mechanism in spreading dynamics


title: Geometric models for algebraic suspensions

abstract: We analyze the question of which motivic homotopy types admit smooth schemes as representatives. We show that given a pointed smooth affine scheme $X$ and an embedding into affine space, the affine deformation space of the embedding gives a model for the ${\mathbb P}^1$ suspension of $X$; we also analyze a host of variations on this observation. Our approach yields many examples of ${\mathbb A}^1$-$(n-1)$-connected smooth affine $2n$-folds and strictly quasi-affine ${\mathbb A}^1$-contractible smooth schemes.


title: Gaussian Limits for Subcritical Chaos

abstract: We present a simple criterion, only based on second moment assumptions, for the convergence of polynomial or Wiener chaos to a Gaussian limit. We exploit this criterion to obtain new Gaussian asymptotics for the partition functions of two-dimensional directed polymers in the sub-critical regime, including a singular product between the partition function and the disorder. These results can also be applied to the KPZ and Stochastic Heat Equation. As a tool of independent interest, we derive an explicit chaos expansion which sharply approximates the logarithm of the partition function.


title: Light Deviation around a Spherical Rotating Black Hole to Fifth Order. Lindstedt-Poincar\'e and Pad\'e Approximations

abstract: Light deviation around a rotating black hole is calculated using the Kerr metric for both small and large deviation angles. For small angles the Lindstedt-Poincar\'e method is employed to get well-behaved solutions, as well as Pad\'e approximants. For large deviation angles numerical integration has been used.


title: Baryonic mass budgets for haloes in the EAGLE simulation, including ejected and prevented gas

abstract: Feedback processes are expected to shape galaxy evolution by ejecting gas from galaxies and their associated dark matter haloes, and also by preventing diffuse gas from ever being accreted. We present predictions from the EAGLE simulation project for the mass budgets associated with "ejected" and "prevented" gas, as well as for ejected metals. We find that most of the baryons that are associated with haloes of mass $10^{11} < M_{200} \, /\mathrm{M_\odot} < 10^{13}$ at $z=0$ have been ejected beyond the virial radius after having been accreted. When the gas ejected from satellites (and their progenitors) is accounted for, the combined ejected mass represents half of the total baryon budget even in the most massive simulated galaxy clusters ($M_{200} \approx 10^{14.5} \, \mathrm{M_\odot}$), with the consequence that the total baryon budget exceeds the cosmic average if ejected gas is included. We find that gas is only prevented from being accreted onto haloes for $M_{200} < 10^{12} \, \mathrm{M_\odot}$, and that this component accounts for about half the total baryon budget for $M_{200} < 10^{11} \, \mathrm{M_\odot}$, with ejected gas making up most of the remaining half. For metals, most of the mass that is not locked into stars has been ejected beyond the virial radius, at least for $M_{200} < 10^{13} \, \mathrm{M_\odot}$. Finally, within the virial radius we find that most of the mass in the circum-galactic medium (CGM) has not passed through the ISM of a progenitor galaxy, for all halo masses and redshifts. About half of the CGM within half the virial radius has passed through the ISM in the past, however.


title: The formation and heating of chromospheric fibrils in a radiation-MHD simulation

abstract: Aims: We examine the movements of mass elements within dense fibrils using passive tracer particles (corks) in order to understand fibril creation and destruction processes. Methods: Simulated fibrils were selected at times when they were visible in an H$\alpha$ image proxy. The corks were selected within fibril H$\alpha$ formation regions. From this set, a cork was selected, and the field line passing through it was constructed. Other fibrilar corks close to this fieldline were also selected. Pathlines were constructed, revealing the locations of the mass elements forward and backward in time. The forces acting on these mass elements were analysed. Results: The main process of fibrilar loading in the simulation is different to the mass loading scenario in which waves steepen into shocks and push material upwards along the fieldlines from near their footpoints. Twisted low lying fieldlines were destabilised and then they untwisted, lifting the material trapped above their apexes via the Lorentz force. Subsequently, the majority of the mass drained down the fieldlines towards one or both footpoints under gravity. Material with large horizontal velocities could also elevated in rising fieldlines, creating somewhat parabolic motions, but material was not generally moving upward along a stationary magnetic fieldline during loading. Conclusions: The processes observed in the simulation are plausible additional scenarios. Criteria for observing such events are described. It is desirable that our simulations can also form more densely-packed fibrils from material fed from the base of field footpoints. Experimental parameters required to achieve this are discussed.


title: A geometric proof of the classification of $T$-polygons

abstract: We give a new geometric proof of the classification of $T$-polygons, a theorem originally due to Kasprzyk, Nill, and Prince, and highlight some of its applications in the context of mirror symmetry.


title: Cumulants asymptotics for the zeros counting measure of real Gaussian processes

abstract: We compute the exact asymptotics for the cumulants of linear statistics associated with the zeros counting measure of a large class of real Gaussian processes. Precisely, we show that if the underlying covariance function is regular and square integrable, the cumulants of order higher than two of these statistics asymptotically vanish. This result implies in particular that the number of zeros of such processes satisfies a central limit theorem. Our methods refines the recent approach by T. Letendre and M. Ancona and allows us to prove a stronger quantitative asymptotics, under weaker hypotheses on the underlying process. The proof exploits in particular the elegant interplay between the combinatorial structures of cumulants and factorial moments in order to simplify the determination of the asymptotics of nodal observables. The class of processes addressed by our main theorem englobes as motivating examples random Gaussian trigonometric polynomials, random orthogonal polynomials and the universal Gaussian process with sinc kernel on the real line, for which the asymptotics of higher moments of the number of zeros were so far only conjectured.


title: Commensurate stacking phase transitions in an intercalated transition metal dichalcogenide

abstract: Intercalation and stacking order modulation are two active ways in manipulating the interlayer interaction of transition metal dichalcogenides (TMDCs), which lead to a variety of emergent phases and allow for engineering material properties. Herein, the growth of Pb intercalated TMDCs--Pb(Ta$_{1+x}$Se$_2$)$_2$, the first 124-phase, is reported. Pb(Ta$_{1+x}$Se$_2$)$_2$ exhibits a unique two-step first-order structural phase transition at around 230 K. The transitions are solely associated with the stacking degree of freedom, evolving from a high temperature phase with ABC stacking and symmetry $R3m$ to an intermediate phase with AB stacking and $P3m1$, and finally to a low temperature phase with again symmetry $R3m$, but with ACB stacking. Each step involves a rigid slide of building blocks by a vector [1/3, 2/3, 0]. Intriguingly, gigantic lattice contractions occur at the transitions on warming. At low temperature, bulk superconductivity with $T_\textrm{c}\approx$ 1.8 K is observed. The underlying physics of the structural phase transitions are discussed from first-principle calculations. The symmetry analysis reveals topological nodal lines in the band structure. Our results demonstrate the possibility to realize higher order metal intercalated phases of TMDCs, advance our knowledge of polymorphic transitions and may inspire stacking order engineering in TMDCs and beyond.


title: New estimates on the size of $(\alpha,2\alpha)$-Furstenberg sets

abstract: We use recent advances on the discretized sum-product problem to obtain new bounds on the Hausdorff dimension of planar $(\alpha,2\alpha)$-Fursterberg sets. This provides a quantitative improvement to the $2\alpha+\epsilon$ bound of H\'era-Shmerkin-Yavicoli. In particular, we show that every $1/2$-Furstenberg set has dimension at least $1 + 1/4536$.


title: Predicting the utility of search spaces for black-box optimization: a simple, budget-aware approach

abstract: Black box optimization requires specifying a search space to explore for solutions, e.g. a d-dimensional compact space, and this choice is critical for getting the best results at a reasonable budget. Unfortunately, determining a high quality search space can be challenging in many applications. For example, when tuning hyperparameters for machine learning pipelines on a new problem given a limited budget, one must strike a balance between excluding potentially promising regions and keeping the search space small enough to be tractable. The goal of this work is to motivate -- through example applications in tuning deep neural networks -- the problem of predicting the quality of search spaces conditioned on budgets, as well as to provide a simple scoring method based on a utility function applied to a probabilistic response surface model, similar to Bayesian optimization. We show that the method we present can compute meaningful budget-conditional scores in a variety of situations. We also provide experimental evidence that accurate scores can be useful in constructing and pruning search spaces. Ultimately, we believe scoring search spaces should become standard practice in the experimental workflow for deep learning.


title: Relativistic Magnetized Astrophysical Plasma Outflows in Black-Hole Microquasars

abstract: Recently, microquasar jets have aroused the interest of many researchers focusing on the astrophysical plasma outflows and various jet ejections. In this work, we concentrate on the investigation of electromagnetic radiation and particle emissions from the jets of stellar black hole binary systems characterized by the hadronic content in their jets. Such emissions are reliably described within the context of the relativistic magneto-hydrodynamics. Our model calculations are based on the Fermi acceleration mechanism through which the primary particles (mainly protons) of the jet are accelerated. As a result, a small portion of thermal protons of the jet acquire relativistic energies, through shock-waves generated into the jet plasma. From the inelastic collisions of fast (non-thermal) protons with the thermal (cold) ones, secondary charged and neutral particles (pions, kaons, muons, $\eta$-particles, etc.) are created as well as electromagnetic radiation from the radio wavelength band, to X-rays and even to very high energy gamma-rays. One of our main goals is, through the appropriate solution of the transport equation and taking into account the various mechanisms that cause energy losses to the particles, to study the secondary particle concentrations within hadronic astrophysical jets. After testing our method on the Galactic MQs SS 433 and Cyg X-1, as a concrete extragalactic binary system, we examine the LMC X-1 located in the Large Magellanic Cloud, a satellite galaxy of our Milky Way Galaxy. It is worth mentioning that, for the companion O star (and its extended nebula structure) of the LMC X-1 system, new observations using spectroscopic data from VLT/UVES have been published few years ago.


title: Sampling rare trajectories using stochastic bridges

abstract: The numerical quantification of the statistics of rare events in stochastic processes is a challenging computational problem. We present a sampling method that constructs an ensemble of stochastic trajectories that are constrained to have fixed start and end points (so-called stochastic bridges). We then show that by carefully choosing a set of such bridges and assigning an appropriate statistical weight to each bridge, one can focus more processing power on the rare events of a target stochastic process while faithfully preserving the statistics of these rate trajectories. Further, we also compare the stochastic bridges produced using our method to the Wentzel-Kramers-Brillouin (WKB) optimal paths of the target process, derived in the limit of low noise. We see that the paths produced using our method, encoding the full statistics of the process, collapse onto the WKB optimal path as the level of noise is reduced. We propose that our method can be used to judge the accuracy of the WKB approximation at finite levels of noise.


title: Online Feature Selection for Efficient Learning in Networked Systems

abstract: Current AI/ML methods for data-driven engineering use models that are mostly trained offline. Such models can be expensive to build in terms of communication and computing cost, and they rely on data that is collected over extended periods of time. Further, they become out-of-date when changes in the system occur. To address these challenges, we investigate online learning techniques that automatically reduce the number of available data sources for model training. We present an online algorithm called Online Stable Feature Set Algorithm (OSFS), which selects a small feature set from a large number of available data sources after receiving a small number of measurements. The algorithm is initialized with a feature ranking algorithm, a feature set stability metric, and a search policy. We perform an extensive experimental evaluation of this algorithm using traces from an in-house testbed and from a data center in operation. We find that OSFS achieves a massive reduction in the size of the feature set by 1-3 orders of magnitude on all investigated datasets. Most importantly, we find that the accuracy of a predictor trained on a OSFS-produced feature set is somewhat better than when the predictor is trained on a feature set obtained through offline feature selection. OSFS is thus shown to be effective as an online feature selection algorithm and robust regarding the sample interval used for feature selection. We also find that, when concept drift in the data underlying the model occurs, its effect can be mitigated by recomputing the feature set and retraining the prediction model.


title: Numerical evaluation and robustness of the quantum mean force Gibbs state

abstract: We introduce a numerical method to determine the Hamiltonian of Mean Force (HMF) Gibbs state for a quantum system strongly coupled to a reservoir. The method adapts the Time Evolving Matrix Product Operator (TEMPO) algorithm to imaginary time propagation. By comparing the real-time and imaginary-time propagation for a generalized spin-boson model, we confirm that the HMF Gibbs state correctly predicts the steady state. We show that the numerical dynamics match the polaron master equation at strong coupling. We illustrate the potential of the imaginary-time TEMPO approach by exploring reservoir-induced entanglement between qubits.


title: Atomic bonding and electrical characteristics of two-dimensional graphene/boron nitride van der Waals heterostuctures with manufactured defects via binding energy and bond-charge model

abstract: We used the binding energy-bond-charge model to study the atomic bonding and electrical properties of the two-dimensional graphene/BN van der Waals heterostructure. We manipulated its atomic bonding and electrical properties by manufacturing defects. We discovered that this process yielded a band structure with a flat band, i.e., a horizontal band structure without dispersion at the Fermi level. Thus, our research is significant because it is the first report on this flat band of defect graphene/BN van der Waals heterostructures.


title: Est-ce que vous compute? Code-switching, cultural identity, and AI

abstract: Cultural code-switching concerns how we adjust our overall behaviours, manners of speaking, and appearance in response to a perceived change in our social environment. We defend the need to investigate cultural code-switching capacities in artificial intelligence systems. We explore a series of ethical and epistemic issues that arise when bringing cultural code-switching to bear on artificial intelligence. Building upon Dotson's (2014) analysis of testimonial smothering, we discuss how emerging technologies in AI can give rise to epistemic oppression, and specifically, a form of self-silencing that we call 'cultural smothering'. By leaving the socio-dynamic features of cultural code-switching unaddressed, AI systems risk negatively impacting already-marginalised social groups by widening opportunity gaps and further entrenching social inequalities.


title: Discrete nonlinear Fourier transforms and their inverses

abstract: We study two discretisations of the nonlinear Fourier transform of AKNS-ZS type, ${\cal F}^E$ and ${\cal F}^D$. Transformation ${\cal F}^D$ is suitable for studying the distributions of the form $u = \sum_{n = 1}^N u_n \, \delta_{x_n}$, where $\delta _{x_n}$ are delta functions. The poles $x_n$ are not equidistant. The central result of the paper is the construction of recursive algorithms for inverses of these two transformations. The algorithm for $({\cal F}^D)^{- 1}$ is numerically more demanding than that for $({\cal F}^E)^{- 1}$. We describe an important symmetry property of ${\cal F}^D$. It enables the reduction of the nonlinear Fourier analysis of the constant mass distributions $u = \sum_{n = 1}^N u_c \, \delta _{x_n}$ for the numerically more efficient ${\cal F}^E$ and its inverse.


title: Analysis of the Operation of Industrial Trucks based on Position Data

abstract: Indoor positioning systems (IPSs) can make an important contribution to the analysis and optimization of internal transport processes. The overall aim of this work is to examine how position data can be used to analyze the operation of industrial trucks in warehouses. This is achieved by developing a concept for the analysis of industrial truck operations based merely on position data. The concept consists of a signal processing scheme to derive kinematic data and three analysis methods - Monitoring, Area analysis, and Motion analysis. Schemes for the signal processing and detection of motion events were developed and implemented as part of the TrOpLocerApp (Truck Operation Localization Analyzer-Application) for recording, displaying, and processing position data, according to the proposed system concept. The TrOpLocer-App source code is published on GitLab. Different filter algorithms were examined, as part of the signal processing scheme, from which the low pass Butterworth filter has shown the best results in static experiments. Validation of the motion detection scheme shows good detection quality for distinct events in a realistic movement experiment.


title: or2yw: Modeling and Visualizing OpenRefineHistories as YesWorkflow Diagrams

abstract: OpenRefine is a popular open-source data cleaning tool. It allows users to export a previously executed data cleaning workflow in a JSON format for possible reuse on other datasets. We have developed or2yw, a novel tool that maps a JSON-formatted OpenRefine operation history to a YesWorkflow (YW) model, which then can be visualized and queried using the YW tool. The latter was originally developed to allow researchers a simple way to annotate their program scripts in order to reveal the workflow steps and dataflow dependencies implicit in those scripts. With or2yw the user can automatically generate YW models from OpenRefine operation histories, thus providing a 'workflow view' on a previously executed sequence of data cleaning operations. The or2yw tool can generate different types of YesWorkflow models, e.g., a linear model which mirrors the sequential execution order of operations in OpenRefine, and a \emph{parallel model} which reveals independent workflow branches, based on a simple analysis of dependencies between steps: if two operations are independent of each other (e.g., when the columns they read and write do not overlap) then these can be viewed as parallel steps in the data cleaning workflow. The resulting YW models can be understood as a form of prospective provenance, i.e., knowledge artifacts that can be queried and visualized (i) to help authors document their own data cleaning workflows, thereby increasing transparency, and (ii) to help other users, who might want to reuse such workflows, to understand them better.


title: Lifshitz and hyperscaling violated Yang-Mills-dilaton black holes

abstract: We obtain two types of Yang-Mills-dilaton black hole solutions in both Lifshitz and hyperscaling violation spacetimes. We must consider at least three Yang-Mills gauge fields that interact with a scalar field and either $SO(n)$ or $SO(n-1,1)$ gauge symmetry groups, where $n+1$ denotes the dimension of the spacetime. They lead to the spherical and hyperbolic solutions. The obtained solutions in the hyperscaling violation spacetime fall into two categories for $z\neq n-3-\frac{n-5}{n-1}\theta$ and $z= n-3-\frac{n-5}{n-1}\theta$, where $\theta=0$ represents the Lifshitz spacetime. In order to have a real asymptotic behavior for the hyperscaling violated black hole solutions, we should consider a negative value for the hyperscaling violation parameter as $\theta<0$. We also evaluate the thermodynamic quantities of the mentioned black holes and probe their thermal stability in the grand canonical ensemble. For $z\geq2$, the hyperscaling violated solutions are not thermally stable for $z\leq n-3-\frac{n-5}{n-1}\theta$, while they are stable for large $r_{+}$ with $z>n-3-\frac{n-5}{n-1}\theta$. We also check out the critical behavior of the obtained black holes and obtain a Smarr relation for the solutions. The results also announce of a first-order small-large phase transition for both black holes in the case $T>T_{C}$.


title: One System to Rule them All: a Universal Intent Recognition System for Customer Service Chatbots

abstract: Customer service chatbots are conversational systems designed to provide information to customers about products/services offered by different companies. Particularly, intent recognition is one of the core components in the natural language understating capabilities of a chatbot system. Among the different intents that a chatbot is trained to recognize, there is a set of them that is universal to any customer service chatbot. Universal intents may include salutation, switch the conversation to a human agent, farewells, among others. A system to recognize those universal intents will be very helpful to optimize the training process of specific customer service chatbots. We propose the development of a universal intent recognition system, which is trained to recognize a selected group of 11 intents that are common in 28 different chatbots. The proposed system is trained considering state-of-the-art word-embedding models such as word2vec and BERT, and deep classifiers based on convolutional and recurrent neural networks. The proposed model is able to discriminate between those universal intents with a balanced accuracy up to 80.4\%. In addition, the proposed system is equally accurate to recognize intents expressed both in short and long text requests. At the same time, misclassification errors often occurs between intents with very similar semantic fields such as farewells and positive comments. The proposed system will be very helpful to optimize the training process of a customer service chatbot because some of the intents will be already available and detected by our system. At the same time, the proposed approach will be a suitable base model to train more specific chatbots by applying transfer learning strategies.


title: Isospin-breaking Effects in Octet and Decuplet Baryon Masses

abstract: We present work designed to compute baryon masses on $N_f = 2 + 1$ CLS ensembles including isospin-breaking effects due to non-degenerate light quark masses and electromagnetic interactions. These effects are determined at leading order via a perturbative expansion around the iso-symmetric theory. We furthermore apply a group-theoretical operator construction for the various interpolators describing the different members of the baryon octet and decuplet based on a classification by spin, parity, and flavor content.


title: Discovering the nanoscale origins of localized corrosion in additive manufactured stainless steel 316L by in situ liquid cell TEM

abstract: Additive manufacturing (AM) by laser powder bed fusion (L-PBF) leads to the formation of a rich, hierarchical microstructure, including dislocation cell structures and elemental segregation. This structure has profound impacts on the corrosion behavior and mechanical properties of printed materials. In this study, we use in situ liquid cell scanning transmission electron microscope (STEM) to directly characterize the nanoscale origins of corrosion initiation in AM 316L stainless steel. Under applied anodic potentials, we found that the dislocation cellular boundaries were preferentially corroded and that pit-like features formed along the cellular boundaries. We directly observed the earliest stages of corrosion by controlling the biasing parameters to decelerate the corrosion processes. The results show that highly localized corrosion occurs via inclusion dissolution along dislocation cell boundaries. More widespread corrosion initiates at the dislocation cell boundaries and spreads throughout the dislocation networks.


title: LBcuda: a high-performance CUDA port of LBsoft for simulation of colloidal systems

abstract: We present LBcuda, a GPU accelerated version of LBsoft, our open-source MPI-based software for the simulation of multi-component colloidal flows. We describe the design principles, the optimization and the resulting performance as compared to the CPU version, using both an average cost GPU and high-end NVidia GPU cards (V100 and the latest A100). The results show a substantial acceleration for the fluid solver reaching up to 200 GLUPS (Giga Lattice Updates Per Second) on a cluster made of 512 A100 NVIDIA cards simulating a grid of eight billion lattice points. These results open attractive prospects for the computational design of new materials based on colloidal particles.


title: Causality in Requirements Artifacts: Prevalence, Detection, and Impact

abstract: Background: Causal relations in natural language (NL) requirements convey strong, semantic information. Automatically extracting such causal information enables multiple use cases, such as test case generation, but it also requires to reliably detect causal relations in the first place. Currently, this is still a cumbersome task as causality in NL requirements is still barely understood and, thus, barely detectable. Objective: In our empirically informed research, we aim at better understanding the notion of causality and supporting the automatic extraction of causal relations in NL requirements. Method: In a first case study, we investigate 14.983 sentences from 53 requirements documents to understand the extent and form in which causality occurs. Second, we present and evaluate a tool-supported approach, called CiRA, for causality detection. We conclude with a second case study where we demonstrate the applicability of our tool and investigate the impact of causality on NL requirements. Results: The first case study shows that causality constitutes around 28% of all NL requirements sentences. We then demonstrate that our detection tool achieves a macro-F1 score of 82% on real-world data and that it outperforms related approaches with an average gain of 11.06% in macro-Recall and 11.43% in macro-Precision. Finally, our second case study corroborates the positive correlations of causality with features of NL requirements. Conclusion: The results strengthen our confidence in the eligibility of causal relations for downstream reuse, while our tool and publicly available data constitute a first step in the ongoing endeavors of utilizing causality in RE and beyond.


title: KGR^4: Retrieval, Retrospect, Refine and Rethink for Commonsense Generation

abstract: Generative commonsense reasoning requires machines to generate sentences describing an everyday scenario given several concepts, which has attracted much attention recently. However, existing models cannot perform as well as humans, since sentences they produce are often implausible and grammatically incorrect. In this paper, inspired by the process of humans creating sentences, we propose a novel Knowledge-enhanced Commonsense Generation framework, termed KGR^4, consisting of four stages: Retrieval, Retrospect, Refine, Rethink. Under this framework, we first perform retrieval to search for relevant sentences from external corpus as the prototypes. Then, we train the generator that either edits or copies these prototypes to generate candidate sentences, of which potential errors will be fixed by an autoencoder-based refiner. Finally, we select the output sentence from candidate sentences produced by generators with different hyper-parameters. Experimental results and in-depth analysis on the CommonGen benchmark strongly demonstrate the effectiveness of our framework. Particularly, KGR^4 obtains 33.56 SPICE points in the official leaderboard, outperforming the previously-reported best result by 2.49 SPICE points and achieving state-of-the-art performance.


title: Harvesting Production GraphQL Queries to Detect Schema Faults

abstract: GraphQL is a new paradigm to design web APIs. Despite its growing popularity, there are few techniques to verify the implementation of a GraphQL API. We present a new testing approach based on GraphQL queries that are logged while users interact with an application in production. Our core motivation is that production queries capture real usages of the application, and are known to trigger behavior that may not be tested by developers. For each logged query, a test is generated to assert the validity of the GraphQL response with respect to the schema. We implement our approach in a tool called AutoGraphQL, and evaluate it on two real-world case studies that are diverse in their domain and technology stack: an open-source e-commerce application implemented in Python called Saleor, and an industrial case study which is a PHP-based finance website called Frontapp. AutoGraphQL successfully generates test cases for the two applications. The generated tests cover 26.9% of the Saleor schema, including parts of the API not exercised by the original test suite, as well as 48.7% of the Frontapp schema, detecting 8 schema faults, thanks to production queries.


title: Prescriptive Machine Learning for Automated Decision Making: Challenges and Opportunities

abstract: Recent applications of machine learning (ML) reveal a noticeable shift from its use for predictive modeling in the sense of a data-driven construction of models mainly used for the purpose of prediction (of ground-truth facts) to its use for prescriptive modeling. What is meant by this is the task of learning a model that stipulates appropriate decisions about the right course of action in real-world scenarios: Which medical therapy should be applied? Should this person be hired for the job? As argued in this article, prescriptive modeling comes with new technical conditions for learning and new demands regarding reliability, responsibility, and the ethics of decision making. Therefore, to support the data-driven design of decision-making agents that act in a rational but at the same time responsible manner, a rigorous methodological foundation of prescriptive ML is needed. The purpose of this short paper is to elaborate on specific characteristics of prescriptive ML and to highlight some key challenges it implies. Besides, drawing connections to other branches of contemporary AI research, the grounding of prescriptive ML in a (generalized) decision-theoretic framework is advocated.


title: Double Bubbles with High Constant Mean Curvatures in Riemannian Manifolds

abstract: We obtain existence of double bubbles of large and constant mean curvatures in Riemannian manifolds. These arise as perturbations of geodesic standard double bubbles centered at critical points of the ambient scalar curvature and aligned along eigen-vectors of the ambient Ricci tensor. We also obtain general multiplicity results via Lusternik-Schnirelman theory, and extra ones in case of double bubbles whose opposite boundaries have the same mean curvature.


title: Next-generation Web Applications with WebAssembly and TruffleWasm

abstract: In modern software development, the JavaScript ecosystem of various frameworks and libraries used to develop contemporary web applications presents many advantages. JavaScript is a widely known interpreted programming language, simple to learn and start development, and with numerous third-party libraries and extensions. However, with the rise of highly user-interactive websites and browser-based games, in some cases, JavaScripts executable engine could lack in performance. Therefore, developers could combine several other programming languages to create a polyglot user-interactive interoperable system to develop efficient modern web applications. The interoperability modules offer significant advantages but also present challenges in the execution due to high complexity and longer compilation times. This paper explores WebAssembly, a binary format compilation target with a low-level assembly-like language used for targeting from other programming languages. The binary format allows near-native performance level due to its compactness, as it prioritizes usage of low-level languages. Moreover, as a continuation of our previous research of the GraalVM ecosystem, we analyzed a guest language implementation of a WebAssembly based system, TruffleWasm, hosted on GraalVM and Truffle Java framework. This paper presents the architecture and review of the TruffleWasm within the GraalVM-based ecosystem as well as from performance test results within our academic environment.


title: Large scalar gaps in 2D CFTs with generalized polynomials

abstract: We present an analytic way of writing simple crossing symmetric expressions and use them to search for unitary 4-point functions in 2D CFTs. We've applied our method for a class of functions we called generalized polynomials to achieve large gaps for operators with integer scaling dimension less or equal to 18.


title: Reflective Metagraph Rewriting as a Foundation for an AGI "Language of Thought"

abstract: MeTTa (Meta Type Talk) is a novel programming language created for use in the OpenCog Hyperon AGI system. It is designed as a meta-language with very basic and general facilities for handling symbols, groundings, variables, types, substitutions and pattern matching. Primitives exist for creating new type systems and associated DSLs. IInformally, MeTTa is Hyperon's lowest-level "language of thought" -- the meta-language in which algorithms for learning more particular knowledge representations, will operate, and in which these algorithms themselves may be represented. Here we explain how one might go about formalizing the MeTTa language as a system of metagraph rewrite rules, an approach that fits in naturally to the Hyperon framework given that the latter's core component is a distributed metagraph knowledge store (the Atomspace). The metagraph rewrite rules constituting MeTTa programs can also be represented as metagraphs, giving a natural model for MeTTa reflection and self-modifying code. Considering MeTTa programs that compute equivalences between execution traces of other MeTTa programs allows us to model spaces of MeTTa execution traces using Homotopy Type Theory. Considering the limit of MeTTa programs mapping between execution traces of MeTTa programs that map between execution traces of MeTTa programs that ..., we find that a given MeTTa codebase is effectively modeled as an infinity-groupoid, and the space of all MeTTa codebases as an (infinity,1)-topis This topos is basically the same as the so-called "Ruliad" previously derived from rewrite rules on hypergraphs, in a discrete physics context. The formalization of MeTTA as metagraph rewrite rules may also provide a useful framework for structuring the implementation of efficient methods for pattern matching and equality inference within the MeTTa interpreter.


title: Programming Knowledge Tracing: A Comprehensive Dataset and A New Model

abstract: In this paper, we study knowledge tracing in the domain of programming education and make two important contributions. First, we harvest and publish so far the most comprehensive dataset, namely BePKT, which covers various online behaviors in an OJ system, including programming text problems, knowledge annotations, user-submitted code and system-logged events. Second, we propose a new model PDKT to exploit the enriched context for accurate student behavior prediction. More specifically, we construct a bipartite graph for programming problem embedding, and design an improved pre-training model PLCodeBERT for code embedding, as well as a double-sequence RNN model with exponential decay attention for effective feature fusion. Experimental results on the new dataset BePKT show that our proposed model establishes state-of-the-art performance in programming knowledge tracing. In addition, we verify that our code embedding strategy based on PLCodeBERT is complementary to existing knowledge tracing models to further enhance their accuracy. As a side product, PLCodeBERT also results in better performance in other programming-related tasks such as code clone detection.