title: Sparse recovery of elliptic solvers from matrix-vector products

abstract: In this work, we show that solvers of elliptic boundary value problems in $d$ dimensions can be approximated to accuracy $\epsilon$ from only $\mathcal{O}\left(\log(N)\log^{d}(N / \epsilon)\right)$ matrix-vector products with carefully chosen vectors (right-hand sides). The solver is only accessed as a black box, and the underlying operator may be unknown and of an arbitrarily high order. Our algorithm (1) has complexity $\mathcal{O}\left(N\log^2(N)\log^{2d}(N / \epsilon)\right)$ and represents the solution operator as a sparse Cholesky factorization with $\mathcal{O}\left(N\log(N)\log^{d}(N / \epsilon)\right)$ nonzero entries, (2) allows for embarrassingly parallel evaluation of the solution operator and the computation of its log-determinant, (3) allows for $\mathcal{O}\left(\log(N)\log^{d}(N / \epsilon)\right)$ complexity computation of individual entries of the matrix representation of the solver that, in turn, enables its recompression to an $\mathcal{O}\left(N\log^{d}(N / \epsilon)\right)$ complexity representation. As a byproduct, our compression scheme produces a homogenized solution operator with near-optimal approximation accuracy. By polynomial approximation, we can also approximate the continuous Green's function (in operator and Hilbert-Schmidt norm) to accuracy $\epsilon$ from $\mathcal{O}\left(\log^{1 + d}\left(\epsilon^{-1}\right)\right)$ solutions of the PDE. We include rigorous proofs of these results. To the best of our knowledge, our algorithm achieves the best known trade-off between accuracy $\epsilon$ and the number of required matrix-vector products.


title: All One Needs to Know about Metaverse: A Complete Survey on Technological Singularity, Virtual Ecosystem, and Research Agenda

abstract: Since the popularisation of the Internet in the 1990s, the cyberspace has kept evolving. We have created various computer-mediated virtual environments including social networks, video conferencing, virtual 3D worlds (e.g., VR Chat), augmented reality applications (e.g., Pokemon Go), and Non-Fungible Token Games (e.g., Upland). Such virtual environments, albeit non-perpetual and unconnected, have bought us various degrees of digital transformation. The term `metaverse' has been coined to further facilitate the digital transformation in every aspect of our physical lives. At the core of the metaverse stands the vision of an immersive Internet as a gigantic, unified, persistent, and shared realm. While the metaverse may seem futuristic, catalysed by emerging technologies such as Extended Reality, 5G, and Artificial Intelligence, the digital `big bang' of our cyberspace is not far away. This survey paper presents the first effort to offer a comprehensive framework that examines the latest metaverse development under the dimensions of state-of-the-art technologies and metaverse ecosystems, and illustrates the possibility of the digital `big bang'. First, technologies are the enablers that drive the transition from the current Internet to the metaverse. We thus examine eight enabling technologies rigorously - Extended Reality, User Interactivity (Human-Computer Interaction), Artificial Intelligence, Blockchain, Computer Vision, IoT and Robotics, Edge and Cloud computing, and Future Mobile Networks. In terms of applications, the metaverse ecosystem allows human users to live and play within a self-sustaining, persistent, and shared realm. Therefore, we discuss six user-centric factors -- Avatar, Content Creation, Virtual Economy, Social Acceptability, Security and Privacy, and Trust and Accountability. Finally, we propose a concrete research agenda for the development of the metaverse.


title: Enhanced thermal radiation from a tidally heated exomoon with a single hot spot

abstract: An exomoon on a non perfectly circular orbit experiences tidal heating that is capable to significantly contribute to the thermal brightness of the moon. Here we argue that the thermal heat is unevenly distributed on the moon's surface, the emission of the tidal heat is limited to a few hot spots on the surface. A well-known example is the tidally heated Io. Due to their significantly increased temperature, the hot spots enhance the energy emission in thermal wavelengths. We made simulations using Monte-Carlo method to examine this contribution, and to predict about the possible detectability of such a spotted exomoon. We found that in the case of large, Earth sized companions to jupiters around red dwarf stars exhibit a thermal flux that enables the direct detection of the moon, due to its photometric signal that can exceed $\approx$100 ppm in the most favourable configurations.


title: Internal Language Model Adaptation with Text-Only Data for End-to-End Speech Recognition

abstract: Text-only adaptation of an end-to-end (E2E) model remains a challenging task for automatic speech recognition (ASR). Language model (LM) fusion-based approaches require an additional external LM during inference, significantly increasing the computation cost. To overcome this, we propose an internal LM adaptation (ILMA) of the E2E model using text-only data. Trained with audio-transcript pairs, an E2E model implicitly learns an internal LM that characterizes the token sequence probability which is approximated by the E2E model output after zeroing out the encoder contribution. During ILMA, we fine-tune the internal LM, i.e., the E2E components excluding the encoder, to minimize a cross-entropy loss. To make ILMA effective, it is essential to train the E2E model with an internal LM loss besides the standard E2E loss. Furthermore, we propose to regularize ILMA by minimizing the Kullback-Leibler divergence between the output distributions of the adapted and unadapted internal LMs. ILMA is the most effective when we update only the last linear layer of the joint network. ILMA enables a fast text-only adaptation of the E2E model without increasing the run-time computational cost. Experimented with 30K-hour trained transformer transducer models, ILMA achieves up to 34.9% relative word error rate reduction from the unadapted baseline.


title: Instance-based Label Smoothing For Better Calibrated Classification Networks

abstract: Label smoothing is widely used in deep neural networks for multi-class classification. While it enhances model generalization and reduces overconfidence by aiming to lower the probability for the predicted class, it distorts the predicted probabilities of other classes resulting in poor class-wise calibration. Another method for enhancing model generalization is self-distillation where the predictions of a teacher network trained with one-hot labels are used as the target for training a student network. We take inspiration from both label smoothing and self-distillation and propose two novel instance-based label smoothing approaches, where a teacher network trained with hard one-hot labels is used to determine the amount of per class smoothness applied to each instance. The assigned smoothing factor is non-uniformly distributed along with the classes according to their similarity with the actual class. Our methods show better generalization and calibration over standard label smoothing on various deep neural architectures and image classification datasets.


title: Weak Convergence of Non-neutral Genealogies to Kingman's Coalescent

abstract: Interacting particle systems undergoing repeated mutation and selection steps model genetic evolution, and also describe a broad class of sequential Monte Carlo methods. The genealogical tree embedded into the system is important in both applications. Under neutrality, when fitnesses of particles are independent from those of their parents, rescaled genealogies are known to converge to Kingman's coalescent. Recent work has established convergence under non-neutrality, but only for finite-dimensional distributions. We prove weak convergence of non-neutral genealogies on the space of c\`adl\`ag paths under standard assumptions, enabling analysis of the whole genealogical tree.


title: Graph-Guided Network for Irregularly Sampled Multivariate Time Series

abstract: In many domains, including healthcare, biology, and climate science, time series are irregularly sampled with varying time intervals between successive readouts and different subsets of variables (sensors) observed at different time points. Here, we introduce RAINDROP, a graph neural network that embeds irregularly sampled and multivariate time series while also learning the dynamics of sensors purely from observational data. RAINDROP represents every sample as a separate sensor graph and models time-varying dependencies between sensors with a novel message passing operator. It estimates the latent sensor graph structure and leverages the structure together with nearby observations to predict misaligned readouts. This model can be interpreted as a graph neural network that sends messages over graphs that are optimized for capturing time-varying dependencies among sensors. We use RAINDROP to classify time series and interpret temporal dynamics on three healthcare and human activity datasets. RAINDROP outperforms state-of-the-art methods by up to 11.4% (absolute F1-score points), including techniques that deal with irregular sampling using fixed discretization and set functions. RAINDROP shows superiority in diverse setups, including challenging leave-sensor-out settings.


title: Effects of order $\alpha^3$ on the determination of the Pauli form factor $F_2$ of the $\tau$-lepton

abstract: We introduce optimal observables to measure the Pauli form factor $F_2$ of the $\tau$-lepton in the pair-production process $e^-e^+ \to \tau^- \tau^+$ from the intensity distribution of the decay products. The spin-density matrix for the production process is calculated in QED up to order $\alpha^3$ including virtual photon-loops and soft bremsstrahlung, as well the $\gamma Z^0$ interference. We find that the decay channel $(\rho^- \nu_\tau)\times(\rho^+ \bar\nu_\tau)$ yields the best resolution for Re$F_2(s)$ and Im$F_2(s)$ due to its high branching fraction. We also study the bias that is introduced in the determination of $F_2$ , if the production spin-density matrix is taken in tree-level (one-photon exchange) approximation.


title: Scalar resonances in the final state interactions of the decays $D^{0} \rightarrow \pi^{0}\pi^{0}\pi^{0}, \pi^{0}\pi^{0}\eta,\pi^{0}\eta\eta$

abstract: We investigate the scalar resonances in the processes of $D^{0} \rightarrow \pi^{0}\pi^{0}\pi^{0}, \pi^{0}\pi^{0}\eta, \pi^{0}\eta\eta$ decays based on the chiral unitary approach for the final state interaction. We start from singly Cabibbo-suppressed production diagrams which provide a primary quark pair to hadronize two pseudoscalar mesons in $D^{0}$ decays. The resonances $f_{0}(500)$, $f_{0}(980)$ and $a_{0}(980)$ are dynamically produced from the final state interactions of the meson pairs. In our results, the experimental data for the $\pi^{0}\eta$ invariant mass spectrum of the $D^{0} \rightarrow \pi^{0}\eta\eta$ decay can be described well. We also make the predictions for the $\pi^{0}\pi^{0}$ invariant mass spectrum of the $D^{0} \rightarrow \pi^{0}\pi^{0}\pi^{0}$, where the $f_{0}(980)$ can be found, and for the $\pi^{0}\pi^{0}$, $\pi^{0}\eta$ invariant mass spectrum of the $D^{0} \rightarrow \pi^{0}\pi^{0}\eta$, where the $f_{0}(500)$, $f_{0}(980)$ and $a_{0}(980)$ appear. Furthermore, the branching ratios of each decay channel are predicted. We expect more accurate measurements of these decays to better understand the nature of the states $f_{0}(500)$, $f_{0}(980)$ and $a_{0}(980)$.


title: Towards Providing Connectivity When and Where It Counts: An Overview of Deployable 5G Networks

abstract: Public safety operations require fast and reliable mission critical communications under various scenarios, in which the availability of wireless connectivity can be a question of life or death. To provide connectivity when and where it counts, we have witnessed a growing demand for deployable networks for public safety in natural disasters or emergency situations. This article investigates the opportunities of using the 5th generation (5G) new radio (NR) standard for designing flexible and reliable deployable networks. We describe use cases and provide an overview of deployable 5G network concepts, including architecture options, system performance analysis, and coexistence aspects. We also identify technical challenges that can be considered in the evolution of 5G NR to unlock the full potential of deployable 5G networks.


title: Dispersionless orbital excitations in (Li,Fe)OHFeSe superconductors

abstract: The superconducting critical temperature $T_{\mathrm{c}}$ of intercalated iron-selenide superconductor (Li,Fe)OHFeSe (FeSe11111) can be increased to 42 K from 8 K of bulk FeSe. It shows remarkably similar electronic properties as the high-$T_{\mathrm{c}}$ monolayer FeSe and provides a bulk counterpart to investigate the origin of enhanced superconductivity. Unraveling the nature of excitations is crucial for understanding the pairing mechanism in high-$T_{\mathrm{c}}$ iron selenides. Here we use resonant inelastic x-ray scattering (RIXS) to investigate the excitations in FeSe11111. Our high-quality data exhibit several Raman-like excitations, which are dispersionless and isotropic in momentum transfer and robust against varying $T_{\mathrm{c}}$. Using atomic multiplet calculations, we assign the low-energy $\sim 0.3$ and 0.7 eV Raman peaks as local $e_g-e_g$ and $e_g-t_{2g}$ orbital excitations. The intensity of these two features decreases with increasing temperature, suggesting a primary contribution of the orbital fluctuations. Our results highlight the importance of orbital degree of freedom for high-$T_{\mathrm{c}}$ iron selenides.


title: Focus on what matters: Applying Discourse Coherence Theory to Cross Document Coreference

abstract: Performing event and entity coreference resolution across documents vastly increases the number of candidate mentions, making it intractable to do the full $n^2$ pairwise comparisons. Existing approaches simplify by considering coreference only within document clusters, but this fails to handle inter-cluster coreference, common in many applications. As a result cross-document coreference algorithms are rarely applied to downstream tasks. We draw on an insight from discourse coherence theory: potential coreferences are constrained by the reader's discourse focus. We model the entities/events in a reader's focus as a neighborhood within a learned latent embedding space which minimizes the distance between mentions and the centroids of their gold coreference clusters. We then use these neighborhoods to sample only hard negatives to train a fine-grained classifier on mention pairs and their local discourse features. Our approach achieves state-of-the-art results for both events and entities on the ECB+, Gun Violence, Football Coreference, and Cross-Domain Cross-Document Coreference corpora. Furthermore, training on multiple corpora improves average performance across all datasets by 17.2 F1 points, leading to a robust coreference resolution model for use in downstream tasks where link distribution is unknown.


title: Periodic Trends in Adsorption Energies Around Single-Atom Alloy Active Sites

abstract: Single-Atom Alloys (SAAs) are a special class of alloy surface catalysts that offer well defined, isolated active sites in a more inert metal host. The dopant sites are generally assumed to have little or no influence on the properties of the host metal, and transport of chemical reactants and products to and from the dopant sites is generally assumed to be facile. Here, by performing density functional theory calculations and surface science experiments, we identify a new physical effect on SAA surfaces, whereby adsorption is destabilised by up to 300 meV on host sites within the perimeter of the reactive dopant site. We identify periodic trends for this behaviour, and demonstrate a zone of exclusion around the reactive sites for a range of adsorbates and combinations of host and dopant metals. Experiments confirm an increased barrier for CO diffusion towards the dopant on a RhCu SAA. This effect offers new possibilities for understanding and designing active sites with tunable energetic landscapes surrounding them.


title: Local vs non-local correlation effects in interacting quantum spin Hall insulators

abstract: The impact of Coulomb interaction on the electronic properties of a quantum spin-Hall insulator is studied using quantum cluster methods, disentangling local from non-local effects. We identify different regimes, according to the value of the bare mass term, characterized by drastically different self-energy contributions. For small mass, non-local correlations start to be important and eventually dominate over local ones when getting close enough to the zero-mass semi-metallic line. For intermediate and large mass, local correlation effects outweigh non-local corrections, leading to a first-order topological phase transition, in agreement with previous predictions.


title: Intriguing Properties of Input-dependent Randomized Smoothing

abstract: Randomized smoothing is currently considered the state-of-the-art method to obtain certifiably robust classifiers. Despite its remarkable performance, the method is associated with various serious problems such as "certified accuracy waterfalls", certification vs.\ accuracy trade-off, or even fairness issues. Input-dependent smoothing approaches have been proposed with intention of overcoming these flaws. However, we demonstrate that these methods lack formal guarantees and so the resulting certificates are not justified. We show that in general, the input-dependent smoothing suffers from the curse of dimensionality, forcing the variance function to have low semi-elasticity. On the other hand, we provide a theoretical and practical framework that enables the usage of input-dependent smoothing even in the presence of the curse of dimensionality, under strict restrictions. We present one concrete design of the smoothing variance function and test it on CIFAR10 and MNIST. Our design mitigates some of the problems of classical smoothing and is formally underlined, yet further improvement of the design is still necessary.


title: Monte Carlo simulations of spin transport in nanoscale In$_{0.7}$Ga$_{0.3}$As transistors: Temperature and size effects

abstract: Spin-based metal-oxide-semiconductor field-effect transistors (MOSFET) with a high-mobility III-V channel are studied using self-consistent quantum corrected ensemble Monte Carlo device simulations of charge and spin transport. The simulations including spin-orbit coupling mechanisms (Dresselhaus and Rashba coupling) examine the electron spin transport in the 25 nm gate length In$_{0.7}$Ga$_{0.3}$As MOSFET. The transistor lateral dimensions (the gate length, the source-to-gate, and the gate-to-drain spacers) are increased to investigate the spin-dependent drain current modulation induced by the gate from room temperature of 300 K down to 77 K. This modulation increases with increasing temperature due to increased Rashba coupling. Finally, an increase of up to 20 nm in the gate length, source-to-gate, or the gate-to-drain spacers increases the spin polarization and enhances the spin-dependent drain current modulation at the drain due to polarization-refocusing effects.


title: Improving Gender Fairness of Pre-Trained Language Models without Catastrophic Forgetting

abstract: Existing studies addressing gender bias of pre-trained language models, usually build a small gender-neutral data set and conduct a second phase pre-training on the model with such data. However, given the limited size and concentrated focus of the gender-neutral data, catastrophic forgetting would occur during second-phase pre-training. Forgetting information in the original training data may damage the model's downstream performance by a large margin. In this work, we empirically show that catastrophic forgetting occurs in such methods by evaluating them with general NLP tasks in GLUE. Then, we propose a new method, GEnder Equality Prompt (GEEP), to improve gender fairness of pre-trained models with less forgetting. GEEP freezes the pre-trained model and learns gender-related prompts with gender-neutral data. Empirical results show that GEEP not only achieves SOTA performances on gender fairness tasks, but also forgets less and performs better on GLUE by a large margin.


title: Truncated Rank-Based Tests for Two-Part Models with Excessive Zeros and Applications to Microbiome Data

abstract: High-throughput sequencing technology allows us to test the compositional difference of bacteria in different populations. One important feature of human microbiome data is that it often includes a large number of zeros. Such data can be treated as being generated from a two-part model that includes a zero point-mass. Motivated by analysis of such non-negative data with excessive zeros, we introduce several truncated rank-based two-group and multi-group tests for such data, including a truncated rank-based Wilcoxon rank-sum test for two-group comparison and two truncated Kruskal-Wallis tests for multi-group comparison. We show both analytically through asymptotic relative efficiency analysis and by simulations that the proposed tests have higher power than the standard rank-based tests, especially when the proportion of zeros in the data is high. The tests can also be applied to repeated measurements of compositional data via simple within-subject permutations. In a simple before-and-after treatment experiment, the within-subject permutation is similar to the paired rank test. However, the proposed tests handle the excessive zeros, which leads to a better power. We apply the tests to the analysis of a gut microbiome data set to compare the microbiome compositions of healthy and pediatric Crohn's disease patients and to assess the treatment effects on microbiome compositions. We identify several bacterial genera that are missed by the standard rank-based tests.


title: Explainable Fact-checking through Question Answering

abstract: Misleading or false information has been creating chaos in some places around the world. To mitigate this issue, many researchers have proposed automated fact-checking methods to fight the spread of fake news. However, most methods cannot explain the reasoning behind their decisions, failing to build trust between machines and humans using such technology. Trust is essential for fact-checking to be applied in the real world. Here, we address fact-checking explainability through question answering. In particular, we propose generating questions and answers from claims and answering the same questions from evidence. We also propose an answer comparison model with an attention mechanism attached to each question. Leveraging question answering as a proxy, we break down automated fact-checking into several steps -- this separation aids models' explainability as it allows for more detailed analysis of their decision-making processes. Experimental results show that the proposed model can achieve state-of-the-art performance while providing reasonable explainable capabilities.


title: Classifying SMEs for Approaching Cybersecurity Competence and Awareness

abstract: Cybersecurity is increasingly a concern for small and medium-sized enterprises (SMEs), and there exist many awareness training programs and tools for them. The literature mainly studies SMEs as a unitary type of company and provides one-size-fits-all recommendations and solutions. However, SMEs are not homogeneous. They are diverse with different vulnerabilities, cybersecurity needs, and competencies. Few studies considered such differences in standards and certificates for security tools adoption and cybersecurity tailoring for these SMEs. This study proposes a classification framework with an outline of cybersecurity improvement needs for each class. The framework suggests five SME types based on their characteristics and specific security needs: cybersecurity abandoned SME, unskilled SME, expert-connected SME, capable SME, and cybersecurity provider SME. In addition to describing the five classes, the study explains the framework's usage in sampled SMEs. The framework proposes solutions for each class to approach cybersecurity awareness and competence more consistent with SME needs. The final publication is available at ACM Digital Library via this https URL https://doi.org/10.1145/3465481.3469200


title: Graph-Based Machine Learning Improves Just-in-Time Defect Prediction

abstract: The increasing complexity of today's software requires the contribution of thousands of developers. This complex collaboration structure makes developers more likely to introduce defect-prone changes that lead to software faults. Determining when these defect-prone changes are introduced has proven challenging, and using traditional machine learning (ML) methods to make these determinations seems to have reached a plateau. In this work, we build contribution graphs consisting of developers and source files to capture the nuanced complexity of changes required to build software. By leveraging these contribution graphs, our research shows the potential of using graph-based ML to improve Just-In-Time (JIT) defect prediction. We hypothesize that features extracted from the contribution graphs may be better predictors of defect-prone changes than intrinsic features derived from software characteristics. We corroborate our hypothesis using graph-based ML for classifying edges that represent defect-prone changes. This new framing of the JIT defect prediction problem leads to remarkably better results. We test our approach on 14 open-source projects and show that our best model can predict whether or not a code change will lead to a defect with an F1 score as high as 77.55% and a Matthews correlation coefficient (MCC) as high as 53.16%. This represents a 152% higher F1 score and a 3% higher MCC over the state-of-the-art JIT defect prediction. We describe limitations, open challenges, and how this method can be used for operational JIT defect prediction.


title: Robustness of Quantum Systems Subject to Decoherence: Structured Singular Value Analysis?

abstract: We study the problem of robust performance of quantum systems under structured uncertainties. A specific feature of closed (Hamiltonian) quantum systems is that their poles lie on the imaginary axis and that neither a coherent controller nor physically relevant structured uncertainties can alter this situation. This changes for open systems where decoherence ensures asymptotic stability and creates a unique landscape of pure performance robustness, with the distinctive feature that closed-loop stability is secured by the underlying physics and needs not be enforced. This stability, however, is often detrimental to quantum-enhanced performance, and additive perturbations of the Hamiltonian give rise to dynamic generators that are nonlinear in the perturbed parameters, invalidating classical paradigms to assess robustness to structured perturbations such as singular value analysis. This problem is addressed using a fixed-point iteration approach to determine a maximum perturbation strength $\delta_{\max}$ that ensures that the transfer function remains bounded, $||T_\delta||<\delta^{-1}$ for $\delta<\delta_{\max}$.


title: Nonlocal measurement of quasiparticle charge and energy relaxation in proximitized semiconductor nanowires using quantum dots

abstract: The lowest-energy excitations of superconductors do not carry an electric charge, as their wave function is equally electron-like and hole-like. This fundamental property is not easy to study in electrical measurements that rely on the charge to generate an observable signal. The ability of a quantum dot to act as a charge filter enables us to solve this problem and measure the quasiparticle charge in superconducting-semiconducting hybrid nanowire heterostructures. We report measurements on a three-terminal circuit, in which an injection lead excites a non-equilibrium quasiparticle distribution in the hybrid system, and the electron or hole component of the resulting quasiparticles is detected using a quantum dot as a tunable charge and energy filter. The results verify the chargeless nature of the quasiparticles at the gap edge and reveal the complete relaxation of injected charge and energy in a proximitized nanowire, resolving open questions in previous three-terminal experiments.


title: When Janson meets McDiarmid: Bounded difference inequalities under graph-dependence

abstract: We establish concentration inequalities for Lipschitz functions of dependent random variables, whose dependencies are specified by forests. We also give concentration results for decomposable functions, improving Janson's Hoeffding-type inequality for the summation of graph-dependent bounded variables. These results extend McDiarmid's bounded difference inequality to the dependent cases.


title: Precision and Fitness in Object-Centric Process Mining

abstract: Traditional process mining considers only one single case notion and discovers and analyzes models based on this. However, a single case notion is often not a realistic assumption in practice. Multiple case notions might interact and influence each other in a process. Object-centric process mining introduces the techniques and concepts to handle multiple case notions. So far, such event logs have been standardized and novel process model discovery techniques were proposed. However, notions for evaluating the quality of a model are missing. These are necessary to enable future research on improving object-centric discovery and providing an objective evaluation of model quality. In this paper, we introduce a notion for the precision and fitness of an object-centric Petri net with respect to an object-centric event log. We give a formal definition and accompany this with an example. Furthermore, we provide an algorithm to calculate these quality measures. We discuss our precision and fitness notion based on an event log with different models. Our precision and fitness notions are an appropriate way to generalize quality measures to the object-centric setting since we are able to consider multiple case notions, their dependencies and their interactions.


title: Evaluating User Perception of Speech Recognition System Quality with Semantic Distance Metric

abstract: Measuring automatic speech recognition (ASR) system quality is critical for creating user-satisfying voice-driven applications. Word Error Rate (WER) has been traditionally used to evaluate ASR system quality; however, it sometimes correlates poorly with user perception/judgement of transcription quality. This is because WER weighs every word equally and does not consider semantic correctness which has a higher impact on user perception. In this work, we propose evaluating ASR output hypotheses quality with SemDist that can measure semantic correctness by using the distance between the semantic vectors of the reference and hypothesis extracted from a pre-trained language model. Our experimental results of 71K and 36K user annotated ASR output quality show that SemDist achieves higher correlation with user perception than WER. We also show that SemDist has higher correlation with downstream Natural Language Understanding (NLU) tasks than WER.


title: Multiway sparse distance weighted discrimination

abstract: Modern data often take the form of a multiway array. However, most classification methods are designed for vectors, i.e., 1-way arrays. Distance weighted discrimination (DWD) is a popular high-dimensional classification method that has been extended to the multiway context, with dramatic improvements in performance when data have multiway structure. However, the previous implementation of multiway DWD was restricted to classification of matrices, and did not account for sparsity. In this paper, we develop a general framework for multiway classification which is applicable to any number of dimensions and any degree of sparsity. We conducted extensive simulation studies, showing that our model is robust to the degree of sparsity and improves classification accuracy when the data have multiway structure. For our motivating application, magnetic resonance spectroscopy (MRS) was used to measure the abundance of several metabolites across multiple neurological regions and across multiple time points in a mouse model of Friedreich's ataxia, yielding a four-way data array. Our method reveals a robust and interpretable multi-region metabolomic signal that discriminates the groups of interest. We also successfully apply our method to gene expression time course data for multiple sclerosis treatment. An R implementation is available in the package MultiwayClassification at http://github.com/lockEF/MultiwayClassification .


title: Chemi-sorbed versus physi-sorbed surface charge and its impact on electrokinetic transport: carbon versus boron-nitride surface

abstract: The possibility to control electrokinetic transport through carbon and hexagonal boron nitride (hBN) nanotubes has recently opened new avenues for nanofluidic approaches to face outstanding challenges such as energy production and conversion or water desalination. The $p$H-dependence of experimental transport coefficients point to the sorption of hydroxide ions as the microscopic origin of the surface charge and recent ab initio calculations suggest that these ions behave differently on carbon and hBN, with only physisorption on the former and both physi- and chemisorption on the latter. Using classical non-equilibrium molecular dynamics simulations of interfaces between an aqueous electrolyte and three models of hBN and graphite surfaces, we demonstrate the major influence of the sorption mode of hydroxide ions on the interfacial transport properties. Physisorbed surface charge leads to a considerable enhancement of the surface conductivity as compared to its chemisorbed counterpart, while values of the $\zeta$-potential are less affected . The analysis of the MD results for the surface conductivity and $\zeta$-potential in the framework of Poisson-Boltzmann-Stokes theory, as is usually done to analyze experimental data, further confirms the importance of taking into account both the mobility of surface hydroxide ions and the decrease of the slip length with increasing titratable surface charge density.


title: Point Cloud Augmentation with Weighted Local Transformations

abstract: Despite the extensive usage of point clouds in 3D vision, relatively limited data are available for training deep neural networks. Although data augmentation is a standard approach to compensate for the scarcity of data, it has been less explored in the point cloud literature. In this paper, we propose a simple and effective augmentation method called PointWOLF for point cloud augmentation. The proposed method produces smoothly varying non-rigid deformations by locally weighted transformations centered at multiple anchor points. The smooth deformations allow diverse and realistic augmentations. Furthermore, in order to minimize the manual efforts to search the optimal hyperparameters for augmentation, we present AugTune, which generates augmented samples of desired difficulties producing targeted confidence scores. Our experiments show our framework consistently improves the performance for both shape classification and part segmentation tasks. Particularly, with PointNet++, PointWOLF achieves the state-of-the-art 89.7 accuracy on shape classification with the real-world ScanObjectNN dataset.


title: Vortical Quantum Memory

abstract: Quantum memory is a crucial component of a quantum information processor, just like a classical memory is a necessary ingredient of a conventional computer. Moreover, quantum memory of light would serve as a quantum repeater needed for quantum communication networks. Here we propose to realize the quantum memory coupled to magnetic modes of electromagnetic radiation (e.g. those found in cavities and optical fibers) using vortices in Quantum Hall systems. We describe the response to an external magnetic mode as a quench, and find that it sets an oscillation between vortices and antivortices, with the period controlled by the amplitude of the magnetic mode, and the phase locked to the phase of the magnetic mode. We support our proposal by real-time Hamiltonian field theory simulations.

categories: quant-ph cond-mat.mes-hall hep-ph hep-th nucl-th


title: The stable trace formula for Shimura varieties of abelian type

abstract: We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of Langlands and Kottwitz at primes where the level is hyperspecial.


title: SignBERT: Pre-Training of Hand-Model-Aware Representation for Sign Language Recognition

abstract: Hand gesture serves as a critical role in sign language. Current deep-learning-based sign language recognition (SLR) methods may suffer insufficient interpretability and overfitting due to limited sign data sources. In this paper, we introduce the first self-supervised pre-trainable SignBERT with incorporated hand prior for SLR. SignBERT views the hand pose as a visual token, which is derived from an off-the-shelf pose extractor. The visual tokens are then embedded with gesture state, temporal and hand chirality information. To take full advantage of available sign data sources, SignBERT first performs self-supervised pre-training by masking and reconstructing visual tokens. Jointly with several mask modeling strategies, we attempt to incorporate hand prior in a model-aware method to better model hierarchical context over the hand sequence. Then with the prediction head added, SignBERT is fine-tuned to perform the downstream SLR task. To validate the effectiveness of our method on SLR, we perform extensive experiments on four public benchmark datasets, i.e., NMFs-CSL, SLR500, MSASL and WLASL. Experiment results demonstrate the effectiveness of both self-supervised learning and imported hand prior. Furthermore, we achieve state-of-the-art performance on all benchmarks with a notable gain.


title: Detection of Berezinskii-Kosterlitz-Thouless transition via Generative Adversarial Networks

abstract: The detection of phase transitions in quantum many-body systems with lowest possible prior knowledge of their details is among the most rousing goals of the flourishing application of machine-learning techniques to physical questions. Here, we train a Generative Adversarial Network (GAN) with the Entanglement Spectrum of a system bipartition, as extracted by means of Matrix Product States ans\"atze. We are able to identify gapless-to-gapped phase transitions in different one-dimensional models by looking at the machine inability to reconstruct outsider data with respect to the training set. We foresee that GAN-based methods will become instrumental in anomaly detection schemes applied to the determination of phase-diagrams.


title: Gravitational torques dominate the dynamics of accreted gas at $z>2$

abstract: Galaxies form from the accretion of cosmological infall of gas. In the high redshift Universe, most of this gas infall is expected to be dominated by cold filamentary flows which connect deep down inside halos, and, hence, to the vicinity of galaxies. Such cold flows are important since they dominate the mass and angular momentum acquisition that can make up rotationally-supported disks at high-redshifts. We study the angular momentum acquisition of gas into galaxies, and in particular, the torques acting on the accretion flows, using hydrodynamical cosmological simulations of high-resolution zoomed-in halos of a few $10^{11}\,\rm M_\odot$ at $z=2$. Torques can be separated into those of gravitational origin, and hydrodynamical ones driven by pressure gradients. We find that coherent gravitational torques dominate over pressure torques in the cold phase, and are hence responsible for the spin-down and realignment of this gas. Pressure torques display small-scale fluctuations of significant amplitude, but with very little coherence on the relevant galaxy or halo-scale that would otherwise allow them to effectively re-orientate the gas flows. Dark matter torques dominate gravitational torques outside the galaxy, while within the galaxy, the baryonic component dominates. The circum-galactic medium emerges as the transition region for angular momentum re-orientation of the cold component towards the central galaxy's mid-plane.


title: Restricted Gr\"obner fans and re-embeddings of affine algebras

abstract: In this paper we continue the study of good re-embeddings of affine K-algebras started in [KLR]. The idea is to use special linear projections to find isomorphisms between a given affine K-algebra K[X]/I, where X=(x_1,...,x_n), and K-algebras having fewer generators. These projections are induced by particular tuples of indeterminates Z and by term orderings $\sigma$ which realize Z as leading terms of a tuple F of polynomials in I. In order to efficiently find such tuples, we provide two major new tools: an algorithm which reduces the check whether a given tuple F is Z-separating to an LP feasibility problem, and an isomorphism between the part of the Gr\"obner fan of I consisting of marked reduced Gr\"obner bases which contain a Z-separating tuple and the Gr\"obner fan of the intersection of I and K[X\Z]. We also indicate a possible generalization to tuples Z which consist of terms. All results are illustrated by explicit examples.


title: Towards Streaming Egocentric Action Anticipation

abstract: Egocentric action anticipation is the task of predicting the future actions a camera wearer will likely perform based on past video observations. While in a real-world system it is fundamental to output such predictions before the action begins, past works have not generally paid attention to model runtime during evaluation. Indeed, current evaluation schemes assume that predictions can be made offline, and hence that computational resources are not limited. In contrast, in this paper, we propose a "streaming" egocentric action anticipation evaluation protocol which explicitly considers model runtime for performance assessment, assuming that predictions will be available only after the current video segment is processed, which depends on the processing time of a method. Following the proposed evaluation scheme, we benchmark different state-of-the-art approaches for egocentric action anticipation on two popular datasets. Our analysis shows that models with a smaller runtime tend to outperform heavier models in the considered streaming scenario, thus changing the rankings generally observed in standard offline evaluations. Based on this observation, we propose a lightweight action anticipation model consisting in a simple feed-forward 3D CNN, which we propose to optimize using knowledge distillation techniques and a custom loss. The results show that the proposed approach outperforms prior art in the streaming scenario, also in combination with other lightweight models.


title: CASPR: A Commonsense Reasoning-based Conversational Socialbot

abstract: We report on the design and development of the CASPR system, a socialbot designed to compete in the Amazon Alexa Socialbot Challenge 4. CASPR's distinguishing characteristic is that it will use automated commonsense reasoning to truly "understand" dialogs, allowing it to converse like a human. Three main requirements of a socialbot are that it should be able to "understand" users' utterances, possess a strategy for holding a conversation, and be able to learn new knowledge. We developed techniques such as conversational knowledge template (CKT) to approximate commonsense reasoning needed to hold a conversation on specific topics. We present the philosophy behind CASPR's design as well as details of its implementation. We also report on CASPR's performance as well as discuss lessons learned.


title: Quantitative Equality in Substructural Logic via Lipschitz Doctrines

abstract: Substructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalence relations: they measure how much two objects are similar, rather than just saying whether they are equivalent or not. Hence, they provide the natural choice for modelling equality in a substructural setting. In this paper, we develop this idea, using the categorical language of Lawvere's doctrines. We work in a minimal fragment of Linear Logic enriched by graded modalities, which are needed to write a resource sensitive substitution rule for equality, enabling its quantitative interpretation as a distance. We introduce both a deductive calculus and the notion of Lipschitz doctrine to give it a sound and complete categorical semantics. The study of 2-categorical properties of Lipschitz doctrines provides us with a universal construction, which generates examples based for instance on metric spaces and quantitative realisability. Finally, we show how to smoothly extend our results to richer substructural logics, up to full Linear Logic with quantifiers.


title: A Practical Framework for Quantum Error Mitigation

abstract: Quantum error mitigation is expected to play a crucial role in the practical applications of quantum machines for the foreseeable future. Thus it is important to put the numerous quantum error mitigation schemes proposed under a coherent framework that can highlight their underlying connections while providing guidance for their practical performance. In this article, we construct a general framework named linear quantum error mitigation that includes most of the state-of-the-art quantum error mitigation schemes. Within the framework, quantum error mitigation can be effectively viewed as extracting the error-mitigated state out of the noisy state, which introduces a new metric called extraction rate for indicating the cost-effectiveness of a given mitigation scheme. Using the framework, we have derived and compared the extraction rate, improvement in the fidelity and sampling overhead across various mitigation schemes under practical assumptions. The structure, insights and intuitions provided by the framework can serve as a basis for the further development of new schemes.


title: Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching

abstract: We study the problem of synthesizing programs that include machine learning components such as deep neural networks (DNNs). We focus on statistical properties, which are properties expected to hold with high probability -- e.g., that an image classification model correctly identifies people in images with high probability. We propose novel algorithms for sketching and synthesizing such programs by leveraging ideas from statistical learning theory to provide statistical soundness guarantees. We evaluate our approach on synthesizing list processing programs that include DNN components used to process image inputs, as well as case studies on image classification and on precision medicine. Our results demonstrate that our approach can be used to synthesize programs with probabilistic guarantees.


title: Pairwise interaction function estimation of Gibbs point processes using basis expansion

abstract: The class of Gibbs point processes (GPP) is a large class of spatial point processes able to model both clustered and repulsive point patterns. They are specified by their conditional intensity, which for a point pattern $\mathbf{x}$ and a location $u$, is roughly speaking the probability that an event occurs in an infinitesimal ball around $u$ given the rest of the configuration is $\mathbf{x}$. The most simple and natural class of models is the class of pairwise interaction point processes where the conditional intensity depends on the number of points and pairwise distances between them. This paper is concerned with the problem of estimating the pairwise interaction function non parametrically. We propose to estimate it using an orthogonal series expansion of its logarithm. Such an approach has numerous advantages compared to existing ones. The estimation procedure is simple, fast and completely data-driven. We provide asymptotic properties such as consistency and asymptotic normality and show the efficiency of the procedure through simulation experiments and illustrate it with several datasets.


title: Local Effects of Grid-Forming Converters Providing Frequency Regulation to Bulk Power Grids

abstract: The progressive displacing of conventional generation in favour of renewable energy sources requires restoring an adequate capacity of regulating power to ensure reliable operation of power systems. Battery Energy Storage Systems (BESSs) are considered to be promising assets to restore suitable frequency regulation capacity levels. BESSs are typically connected to the grid with power-converters, able to operate in either grid-forming or grid-following modes. This paper quantitatively assesses the impact on the local distribution grid of BESSs providing frequency regulation to bulk power systems. Specific metrics are proposed to compare the performance of grid-forming and grid-following control. Experimental results are obtained taking advantage of a 720 kVA/500 kWh BESS connected to the 20 kV distribution grid of the EPFL campus. The quantitative evaluation based on suitably proposed metrics confirms the superior performance of the grid-forming strategy, compared to the grid-following one.


title: Multi-parameter analysis of the obstacle scattering problem

abstract: We consider the acoustic field scattered by a bounded impenetrable obstacle and we study its dependence upon a certain set of parameters. As usual, the problem is modeled by an exterior Dirichlet problem for the Helmholtz equation $\Delta u +k^2u=0$. We show that the solution $u$ and its far field pattern $u_\infty$ depend real analytically on the shape of the obstacle, the wave number $k$, and the Dirichlet datum. We also prove a similar result for the corresponding Dirichlet-to-Neumann map.


title: Noether symmetry approach in non-minimal derivative coupling gravity

abstract: In this work, we examine solutions of the system of equations obtained by applying the Noether gauge symmetry (NGS) and its conserved quantity for the standard general relativity (GR) and the non-minimal derivative coupling (NMDC) cosmological model. We discover two salient features of the solutions. The first one is $a(t)\propto t^{1/3}$ for a kinetic-dominant phase which may emerge before inflationary period at very early time. The second one is a new form of scalar field $\phi(t)$ govern by the exponential cosmological solution for GR and NMDC $\phi_{\rm GR}(t)= \sqrt{c_{1}+c_{2}t+c_{3}e^{-\lambda t}} $ and $\phi_{\rm NMDC}(t)= \sqrt{c_{1}+c_{2}e^{-\lambda_{1}t}+c_{3}e^{-\lambda_{2}t}}$, respectively.


title: Matrix models and non-Abelian T dual of $AdS_5 \times S^5 $

abstract: We compute Euclidean Wilson loops for BMN Plane Wave Matrix Models. The stringy counterpart of these Wilson loops corresponds to various semi-classical open string embedding that probe a class of half BPS geometries in Type IIA supergravity. These geometries fall under the general category of Lin-Lunin and Maldacena (LLM). As a special class of solutions within the LLM category, we construct Wilson operators corresponding to the non-Abelian T dual (NATD) of $ AdS_5 \times S^5 $. Our analysis shows close agreement between matrix model and string theory calculations.


title: The extended phase space thermodynamics of Planck-scale-corrected Reissner-Nordstr\"om-anti-de Sitter black hole

abstract: We analyze the effect of Planck-scale modified radiation equation of state on the Reissner-Nodstr\"om-anti-de Sitter black hole inspired by Kiselev's ansatz. Deformed thermodynamic quantities are found, phase transitions and black holes as heat engines are described for the Carnot and square cycles. Non-trivial differences between linear and quadratic Planck-scale corrections are discussed in detail.


title: Effective black hole interior and the Raychadhuri equation

abstract: We show that loop quantum gravity effects leads to the finiteness of expansion and its rate of change in the effective regime in the interior of the Schwarzschild black hole. As a consequence the singularity is resolved. We find this in line with previous results about curvature scalar and strong curvature singularities in Kantowski-Sachs model which is isometric to Schwarzschild interior.


title: Data for the green synthesis of exceptional braided, helical carbon nanotubes and nano spiral platelets made directly from CO$_2$

abstract: This article describes base-line data used in conjunction with the Materials Today Chemistry article: The green synthesis of exceptional braided, helical carbon nanotubes and nano spiral platelets made directly from CO$_2$. The data includes Raman, XRD, SEM, TEM, EDX and high contrast TEM of conventional carbon nanotubes (CNTs) synthesized from carbon dioxide electrolytic splitting in molten electrolyte for comparison to synthesized helical carbon nanotubes grown in the main article. This data article also presents SEM showing that uncontrolled electrolytic CO$_2$ splitting leads to bent and deformed CNTs, rather than straight or helical CNTs, and SEM that helical carbon nanotubes and helical carbon nanoplatelets can be produced with only partial control of the electrolysis current and with no defect inducing agents. A novel, cheap synthesis of high purity helical nanocarbon is discovered. A baseline and comparative experimental data for non-helical analogues is presented. Both the non-helical and helical nanocarbon are synthesized from the greenhouse gas CO$_2$ by molten carbonate electrolysis.


title: Structure of Chern-Simons Scattering Amplitudes from Topological Equivalence Theorem and Double-Copy

abstract: We study the mechanism of topological mass-generation for 3d Chern-Simons (CS) gauge theories, where the CS term can retain the gauge symmetry and make gauge boson topologically massive. Without CS term the 3d massless gauge boson has a single physical transverse polarization state, while adding the CS term converts it into a massive physical polarization state and conserves the total physical degrees of freedom. We newly formulate the mechanism of topological mass-generation at $S$-matrix level. For this, we propose and prove a new Topological Equivalence Theorem (TET) which connects the $N$-point scattering amplitude of the gauge boson's physical polarization states ($A^a_{\rm{P}}$) to that of the transverse polarization states ($A^a_{\rm{T}}$) under high energy expansion. We present a general 3d power counting method on the leading energy dependence of $N$-point scattering amplitudes in both topologically massive Yang-Mills (TMYM) and topologically massive gravity (TMG) theories. With these, we uncover a general energy cancellation mechanism for $N$-gauge boson scattering amplitudes which predicts the cancellation $E^4 \to E^{4-N}$ at tree level. Then, we compute the four-point amplitudes of $A^a_{\rm{P}}$'s and of $A^a_{\rm{T}}$'s, with which we explicitly demonstrate the TET and establish such energy cancellations. We further extend the double-copy approach and construct the four-point massive graviton amplitude of the TMG theory from the massive gauge boson amplitude of the TMYM theory. With these, we newly uncover striking large energy cancellations $E^{12}\to E^1$ in the four-graviton amplitude of the TMG, and establish its new correspondence to the leading energy cancellations $E^4 \to E^0$ in the four-gauge boson amplitude of the TMYM.


title: MAGORINO: Magnitude-only fat fraction and R2* estimation with Rician noise modelling

abstract: Purpose: Magnitude-based fitting of chemical shift-encoded data enables proton density fat fraction (PDFF) and R2* estimation where complex-based methods fail or when phase data is inaccessible or unreliable, such as in multi-centre studies. However, traditional magnitude-based fitting algorithms suffer from Rician noise-related bias and fat-water swaps. To address these issues, we propose an algorithm for Magnitude-Only PDFF and R2* estimation with Rician Noise modelling (MAGORINO). Methods: Simulations of multi-echo gradient echo signal intensities are used to investigate the performance and behavior of MAGORINO over the space of clinically plausible PDFF, R2* and SNR values. Fitting performance is assessed in terms of parameter bias, precision and fitting error. To gain deeper insights into algorithm behavior, the paths on the likelihood functions are visualized and statistics describing correct optimization are generated. MAGORINO is compared against Gaussian noise-based magnitude fitting and complex fitting. Results: Simulations show that MAGORINO reduces bias in both PDFF and R2* measurements compared to Gaussian fitting, through two main mechanisms: (i) a greater chance of selecting the true (non-swapped) optimum, and (ii) a shift in the position of the optima such that the estimates are closer to ground truth solutions, as a result of the correct noise model. Conclusion: MAGORINO reduces fat-water swaps and Rician noise-related bias in PDFF and R2* estimation, thus addressing key limitations of traditional Gaussian noise-based magnitude-only fitting.


title: On the minimal number of solutions of the equation $ \phi(n+k)= M \, \phi (n) $, $ M=1$, $2$

abstract: We fix a positive integer $k$ and look for solutions of the equations $\phi(n+k) = \phi(n)$ and $\phi(n + k) = 2\phi(n)$. We prove that Fermat primes can be used to build five solutions for the first equation when $k$ is even and five for the second one when $k$ is odd. These results hold for $k \le 2 \cdot 10^{100}$. We also show that for the second equation with even $k$ there are at least three solutions for $k \le 4 \cdot 10^{58}$. Our work increases the previous minimal number of known solutions for both equations.


title: Robustness in Nonorthogonal Multiple Access 5G Networks

abstract: The diversity of fifth generation (5G) network use cases, multiple access technologies, and network deployments requires measures of network robustness that complement throughput-centric error rates. In this paper, we investigate robustness in nonorthogonal multiple access (NOMA) 5G networks through temporal network theory. We develop a graph model and analytical framework to characterize time-varying network connectedness as a function of NOMA overloading. We extend our analysis to derive lower bounds and probability expressions for the number of medium access control frames required to achieve pairwise connectivity between all network devices. We support our analytical results through simulation.


title: Machine Learning for the Control and Monitoring of Electric Machine Drives: Advances and Trends

abstract: This review paper systematically summarizes the existing literature on utilizing machine learning (ML) techniques for the control and monitoring of electric machine drives. It is anticipated that with the rapid progress in learning algorithms and specialized embedded hardware platforms, machine learning-based data-driven approaches will become standard tools for the automated high-performance control and monitoring of electric drives. Additionally, this paper also provides some outlook toward promoting its widespread application in the industry with a focus on deploying ML algorithms onto embedded system-on-chip (SoC) field-programmable gate array (FPGA) devices.


title: Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages

abstract: The $\mathit{\Pi}$ family of reversible programming languages for boolean circuits is presented as a syntax of combinators witnessing type isomorphisms of algebraic datatypes. In this paper, we give a denotational semantics for this language, using the language of weak groupoids \`a la Homotopy Type Theory, and show how to derive an equational theory for it, presented by 2-combinators witnessing equivalences of reversible circuits. We establish a correspondence between the syntactic groupoid of the language and a formally presented univalent subuniverse of finite types. The correspondence relates 1-combinators to 1-paths, and 2-combinators to 2-paths in the universe, which is shown to be sound and complete for both levels, establishing full abstraction and adequacy. We extend the already established Curry-Howard correspondence for $\mathit{\Pi}$ to a Curry-Howard-Lambek correspondence between Reversible Logic, Reversible Programming Languages, and Symmetric Rig Groupoids, by showing that the syntax of $\mathit{\Pi}$ is presented by the free symmetric rig groupoid, given by finite sets and permutations. Our proof uses techniques from the theory of group presentations and rewriting systems to solve the word problem for symmetric groups. Using the formalisation of our results, we show how to perform normalisation-by-evaluation, verification, and synthesis of reversible logic gates, motivated by examples from quantum computing.


title: Human-verifiable proofs in the theory of word-representable graphs

abstract: A graph is word-representable if it can be represented in a certain way using alternation of letters in words. Word-representable graphs generalise several important and well-studied classes of graphs, and they can be characterised by semi-transitive orientations. Recognising word-representability is an NP-complete problem, and the bottleneck of the theory of word-representable graphs is convincing someone that a graph is non-word-representable, keeping in mind that references to (even publicly available and user-friendly) software are not always welcome. (Word-representability can be justified by providing a semi-transitive orientation as a certificate that can be checked in polynomial time.) In the literature, a variety of (usually ad hoc) proofs of non-word-representability for particular graphs, or families of graphs, appear, but for a randomly selected graph, one should expect looking at O(2^{#{edges}}) orientations and justifying that none of them is semi-transitive. In this paper, we develop methods for an automatic search of human-verifiable proofs of graph non-word-representability. As a proof-of-concept, we provide ``short'' proofs of non-word-representability, generated automatically by our publicly available user-friendly software, of the Shrikhande graph on 16 vertices and 48 edges (6 ``lines'' of proof) and the Clebsch graph on 16 vertices and 40 edges (10 ``lines'' of proof). As a bi-product of our studies, we correct two mistakes published multiple times (two graphs out of the 25 non-word-representable graphs on 7 vertices were actually word-representable, while two non-word-representable graphs on 7 vertices were missing).


title: Convergence and an explicit formula for the joint moments of the Circular Jacobi $\beta$-Ensemble characteristic polynomial

abstract: The problem of convergence of the joint moments, which depend on two parameters $s$ and $h$, of the characteristic polynomial of a random Haar-distributed unitary matrix and its derivative, as the matrix size goes to infinity, has been studied for two decades, beginning with the thesis of Hughes. Recently, Forrester considered the analogous problem for the Circular $\beta$-Ensemble (C$\beta$E) characteristic polynomial, proved convergence and obtained an explicit combinatorial formula for the limit for integer $s$ and complex $h$. In this paper we consider this problem for a generalisation of the C$\beta$E, the Circular Jacobi $\beta$-ensemble (CJ$\beta$E), depending on an additional complex parameter $\delta$ and we prove convergence of the joint moments for general positive real exponents $s$ and $h$. We give a representation for the limit in terms of the moments of a family of real random variables of independent interest. This is done by making use of some general results on consistent probability measures on interlacing arrays. Using these techniques, we also extend Forrester's explicit formula to the case of real $s$ and $\delta$ and integer $h$. Finally, we prove an analogous result for the moments of the logarithmic derivative of the characteristic polynomial of the Laguerre $\beta$-ensemble.


title: A new orbit closure in genus 8?

abstract: We provide numerical evidence that the orbit closure of the unfolding of the $(3,4,13)$-triangle is a previously unknown 4-dimensional variety.


title: Priors on Lagrangian bias parameters from galaxy formation modelling

abstract: We study the relations among the parameters of the hybrid Lagrangian bias expansion model, fitting biased auto and cross power spectra up to $k_{\rm max} = 0.7 \, h \, \mathrm{Mpc}^{-1}$. We consider $\sim 8000$ halo and galaxy samples, with different halo masses, redshifts, galaxy number densities, and varying the parameters of the galaxy formation model. Galaxy samples are obtained through state-of-the-art extended subhalo abundance matching techniques and include both stellar-mass and star-formation-rate selected galaxies. All of these synthetic galaxies samples are publicly available at https://bacco.dipc.org/galpk.html. We find that the hybrid Lagrangian bias model provides accurate fits to all of our halo and galaxy samples. The coevolution relations between galaxy bias parameters, although roughly compatible with those obtained for haloes, show systematic shifts and larger scatter. We explore possible sources of this difference in terms of dependence on halo occupation and assembly bias of each sample. The bias parameter relations displayed in this work can be used as a prior for future Bayesian analyses employing the hybrid Lagrangian bias expansion model.


title: Breaking the Softmax Bottleneck for Sequential Recommender Systems with Dropout and Decoupling

abstract: The Softmax bottleneck was first identified in language modeling as a theoretical limit on the expressivity of Softmax-based models. Being one of the most widely-used methods to output probability, Softmax-based models have found a wide range of applications, including session-based recommender systems (SBRSs). Softmax-based models consist of a Softmax function on top of a final linear layer. The bottleneck has been shown to be caused by rank deficiency in the final linear layer due to its connection with matrix factorization. In this paper, we show that there are more aspects to the Softmax bottleneck in SBRSs. Contrary to common beliefs, overfitting does happen in the final linear layer, while it is often associated with complex networks. Furthermore, we identified that the common technique of sharing item embeddings among session sequences and the candidate pool creates a tight-coupling that also contributes to the bottleneck. We propose a simple yet effective method, Dropout and Decoupling (D&D), to alleviate these problems. Our experiments show that our method significantly improves the accuracy of a variety of Softmax-based SBRS algorithms. When compared to other computationally expensive methods, such as MLP and MoS (Mixture of Softmaxes), our method performs on par with and at times even better than those methods, while keeping the same time complexity as Softmax-based models.


title: Probabilistic Pareto plan generation for semiautomated multicriteria radiation therapy treatment planning

abstract: Objective: We propose a semiautomatic pipeline for radiation therapy treatment planning, combining ideas from machine learning-automated planning and multicriteria optimization (MCO). Approach: Using knowledge extracted from historically delivered plans, prediction models for spatial dose and dose statistics are trained and furthermore systematically modified to simulate changes in tradeoff priorities, creating a set of differently biased predictions. Based on the predictions, an MCO problem is subsequently constructed using previously developed dose mimicking functions, designed in such a way that its Pareto surface spans the range of clinically acceptable yet realistically achievable plans as exactly as possible. The result is an algorithm outputting a set of Pareto optimal plans, either fluence-based or machine parameter-based, which the user can navigate between in real time to make adjustments before a final deliverable plan is created. Main results: Numerical experiments performed on a dataset of prostate cancer patients show that one may often navigate to a better plan than one produced by a single-plan-output algorithm. Significance: We demonstrate the potential of merging MCO and a data-driven workflow to automate labor-intensive parts of the treatment planning process while maintaining a certain extent of manual control for the user.


title: Jet substructure measurements in heavy-ion collisions with ALICE

abstract: Jet substructure, defined by observables constructed from the distribution of constituents within a jet, provides the versatility to tailor observables to specific regions of QCD radiation phase space. This flexibility provides exciting new opportunities to study jet quenching in heavy-ion collisions and to ultimately help reveal the nature of the quark-gluon plasma. The ALICE detector is particularly well-suited to jet substructure measurements in heavy-ion collisions due to its high-precision tracking system. In these proceedings, we report several new jet substructure measurements in Pb-Pb collisions at $\sqrt{s_{\mathrm{NN}}}=5.02$ TeV with ALICE. These include the first fully corrected measurements of the groomed jet momentum splitting fraction, $z_{\rm{g}}$, and the groomed jet radius, $\theta_{\rm{g}} \equiv R_{\rm{g}}/R$, as well as $N$-subjettiness and the fragmentation distribution of reclustered sub-jets. These measurements are compared to theoretical calculations and provide new constraints on the physics underlying jet quenching.


title: Free Commutative Monoids in Homotopy Type Theory

abstract: We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the categorical universal property of two, necessarily equivalent, algebraic presentations of free commutative monoids using 1-HITs. These presentations correspond to two different equational theories invariably including commutation axioms. In this setting, we prove important structural combinatorial properties of finite multisets. These properties are established in full generality without assuming decidable equality on the carrier set. As an application, we present a constructive formalisation of the relational model of classical linear logic and its differential structure. This leads to constructively establishing that free commutative monoids are conical refinement monoids. Thereon we obtain a characterisation of the equality type of finite multisets and a new presentation of the free commutative-monoid construction as a set-quotient of the list construction. These developments crucially rely on the commutation relation of creation/annihilation operators associated with the free commutative-monoid construction seen as a combinatorial Fock space.


title: Estimating IRI based on pavement distress type, density, and severity: Insights from machine learning techniques

abstract: Surface roughness is primary measure of pavement performance that has been associated with ride quality and vehicle operating costs. Of all the surface roughness indicators, the International Roughness Index (IRI) is the most widely used. However, it is costly to measure IRI, and for this reason, certain road classes are excluded from IRI measurements at a network level. Higher levels of distresses are generally associated with higher roughness. However, for a given roughness level, pavement data typically exhibits a great deal of variability in the distress types, density, and severity. It is hypothesized that it is feasible to estimate the IRI of a pavement section given its distress types and their respective densities and severities. To investigate this hypothesis, this paper uses data from in-service pavements and machine learning methods to ascertain the extent to which IRI can be predicted given a set of pavement attributes. The results suggest that machine learning can be used reliably to estimate IRI based on the measured distress types and their respective densities and severities. The analysis also showed that IRI estimated this way depends on the pavement type and functional class. The paper also includes an exploratory section that addresses the reverse situation, that is, estimating the probability of pavement distress type distribution and occurrence severity/extent based on a given roughness level.


title: Data-Driven Modeling of S0 -> S1 Excitation Energy in the BODIPY Chemical Space: High-Throughput Computation, Quantum Machine Learning, and Inverse Design

abstract: Derivatives of BODIPY are popular fluorophores due to their synthetic feasibility, structural rigidity, high quantum yield, and tunable spectroscopic properties. While the characteristic absorption maximum of BODIPY is at 2.5 eV, combinations of functional groups and substitution sites can shift the peak position by +/- 1 eV. Time-dependent long-range corrected hybrid density functional methods can model the lowest excitation energies offering a semi-quantitative precision of +/- 0.3 eV. Alas, the chemical space of BODIPYs stemming from combinatorial introduction of -- even a few dozen -- substituents is too large for brute-force high-throughput modeling. To navigate this vast space, we select 77,412 molecules and train a kernel-based quantum machine learning model providing < 2% hold-out error. Further reuse of the results presented here to navigate the entire BODIPY universe comprising over 253 giga (253 x 10^9) molecules is demonstrated by inverse-designing candidates with desired target excitation energies.


title: Safe Reinforcement Learning Using Robust Control Barrier Functions

abstract: Reinforcement Learning (RL) has been shown to be effective in many scenarios. However, it typically requires the exploration of a sufficiently large number of state-action pairs, some of which may be unsafe. Consequently, its application to safety-critical systems remains a challenge. An increasingly common approach to address safety involves the addition of a safety layer that projects the RL actions onto a safe set of actions. In turn, a difficulty for such frameworks is how to effectively couple RL with the safety layer to improve the learning performance. In this paper, we frame safety as a differentiable robust-control-barrier-function layer in a model-based RL framework. Moreover, we also propose an approach to modularly learn the underlying reward-driven task, independent of safety constraints. We demonstrate that this approach both ensures safety and effectively guides exploration during training in a range of experiments, including zero-shot transfer when the reward is learned in a modular way.


title: Board games, random boards and long boards

abstract: For any odd integer $n\geq3$ a board (of size $n$) is a square array of $n\times n$ positions with a simple rule of how to move between positions. The goal of the game we introduce is to find a path from the upper left corner of a board to the center of the square. If there exists such a path we say that the board is solvable, and we say that the length of this board is the length of a shortest such path. There are $8^{n^2}$ different boards. We discuss various properties of these boards and present some questions and conjectures. In particular, we show that for $n\gg1$ roughly $\frac{1}{3}$ of the boards are solvable, and that the expected length of a random solvable board tends to $\frac{209}{96}$, i.e., very big solvable boards tend to have extremely short solutions.


title: Learning Atomic Multipoles: Prediction of the Electrostatic Potential with Equivariant Graph Neural Networks

abstract: The accurate description of electrostatic interactions remains a challenging problem for fitted potential-energy functions. The commonly used fixed partial-charge approximation fails to reproduce the electrostatic potential at short range due to its insensitivity to conformational changes and anisotropic effects. At the same time, possibly more accurate machine-learned (ML) potentials struggle with the long-range behaviour due to their inherent locality ansatz. Employing a multipole expansion offers in principle an exact treatment of the electrostatic potential such that the long-range and short-range electrostatic interaction can be treated simultaneously with high accuracy. However, such an expansion requires the calculation of the electron density using computationally expensive quantum-mechanical (QM) methods. Here, we introduce an equivariant graph neural network (GNN) to address this issue. The proposed model predicts atomic multipoles up to the quadrupole, circumventing the need of expensive QM computations. By using an equivariant architecture, the model enforces the correct symmetry by design without relying on local reference frames. The GNN reproduces the electrostatic potential of various systems with high fidelity. Possible use cases for such an approach include the separate treatment of long-range interactions in ML potentials, the analysis of electrostatic potential surfaces, and for the static multipoles in polarizable force fields.


title: On loop corrections to integrable $2D$ sigma model backgrounds

abstract: We study regularization scheme dependence of $\beta$-function for sigma models with two-dimensional target space. Working within four-loop approximation, we conjecture the scheme in which the $\beta$-function retains only two tensor structures up to certain terms containing $\zeta_3$. Using this scheme, we provide explicit solutions to RG flow equation corresponding to Yang-Baxter- and $\lambda$-deformed $SU(2)/U(1)$ sigma models, for which these terms disappear.


title: Bottom-Up Constituency Parsing and Nested Named Entity Recognition with Pointer Networks

abstract: Constituency parsing and nested named entity recognition (NER) are similar tasks since they both aim to predict a collection of nested and non-crossing spans. In this work, we cast nested NER to constituency parsing and propose a novel pointing mechanism for bottom-up parsing to tackle both tasks. The key idea is based on the observation that if we traverse a constituency tree in post-order, i.e., visiting a parent after its children, then two consecutively visited spans would share a boundary. Our model tracks the shared boundaries and predicts the next boundary at each step by leveraging a pointer network. As a result, it needs only linear steps to parse and thus is efficient. It also maintains a parsing configuration for structural consistency, i.e., always outputting valid trees. Experimentally, our model achieves the state-of-the-art performance on PTB among all BERT-based models (96.01 F1 score) and competitive performance on CTB7 in constituency parsing; and it also achieves strong performance on three benchmark datasets of nested NER: ACE2004, ACE2005, and GENIA. Our code is publicly available at \url{https://github.com/sustcsonglin/pointer-net-for-nested}.


title: $p$-adic quotient sets: Cubic forms

abstract: For $A\subseteq \{1, 2, \ldots\}$, we consider $R(A)=\{a/b: a, b\in A\}$. It is an open problem to study the denseness of $R(A)$ in the $p$-adic numbers when $A$ is the set of nonzero values assumed by a cubic form. We study this problem for the cubic forms $ax^3+by^3$, where $a$ and $b$ are integers. We also prove that if $A$ is the set of nonzero values assumed by a non-degenerate, integral and primitive cubic form with more than 9 variables, then $R(A)$ is dense in $\mathbb{Q}_p$.


title: The One Step Malliavin scheme: new discretization of BSDEs implemented with deep learning regressions

abstract: A novel discretization is presented for forward-backward stochastic differential equations (FBSDE) with differentiable coefficients, simultaneously solving the BSDE and its Malliavin sensitivity problem. The control process is estimated by the corresponding linear BSDE driving the trajectories of the Malliavin derivatives of the solution pair, which implies the need to provide accurate $\Gamma$ estimates. The approximation is based on a merged formulation given by the Feynman-Kac formulae and the Malliavin chain rule. The continuous time dynamics is discretized with a theta-scheme. In order to allow for an efficient numerical solution of the arising semi-discrete conditional expectations in possibly high-dimensions, it is fundamental that the chosen approach admits to differentiable estimates. Two fully-implementable schemes are considered: the BCOS method as a reference in the one-dimensional framework and neural network Monte Carlo regressions in case of high-dimensional problems, similarly to the recently emerging class of Deep BSDE methods [Han et al. (2018), Hur\'e et al. (2020)]. An error analysis is carried out to show $L^2$ convergence of order $1/2$, under standard Lipschitz assumptions and additive noise in the forward diffusion. Numerical experiments are provided for a range of different semi- and quasi-linear equations up to $50$ dimensions, demonstrating that the proposed scheme yields a significant improvement in the control estimations.


title: Calibrate your listeners! Robust communication-based training for pragmatic speakers

abstract: To be good conversational partners, natural language processing (NLP) systems should be trained to produce contextually useful utterances. Prior work has investigated training NLP systems with communication-based objectives, where a neural listener stands in as a communication partner. However, these systems commonly suffer from semantic drift where the learned language diverges radically from natural language. We propose a method that uses a population of neural listeners to regularize speaker training. We first show that language drift originates from the poor uncertainty calibration of a neural listener, which makes high-certainty predictions on novel sentences. We explore ensemble- and dropout-based populations of listeners and find that the former results in better uncertainty quantification. We evaluate both population-based objectives on reference games, and show that the ensemble method with better calibration enables the speaker to generate pragmatic utterances while scaling to a large vocabulary and generalizing to new games and listeners.


title: Using Document Similarity Methods to create Parallel Datasets for Code Translation

abstract: Translating source code from one programming language to another is a critical, time-consuming task in modernizing legacy applications and codebases. Recent work in this space has drawn inspiration from the software naturalness hypothesis by applying natural language processing techniques towards automating the code translation task. However, due to the paucity of parallel data in this domain, supervised techniques have only been applied to a limited set of popular programming languages. To bypass this limitation, unsupervised neural machine translation techniques have been proposed to learn code translation using only monolingual corpora. In this work, we propose to use document similarity methods to create noisy parallel datasets of code, thus enabling supervised techniques to be applied for automated code translation without having to rely on the availability or expensive curation of parallel code datasets. We explore the noise tolerance of models trained on such automatically-created datasets and show that these models perform comparably to models trained on ground truth for reasonable levels of noise. Finally, we exhibit the practical utility of the proposed method by creating parallel datasets for languages beyond the ones explored in prior work, thus expanding the set of programming languages for automated code translation.


title: Nonlocal diffusion of variable order on complex networks

abstract: Some aspects of nonlocal dynamics on directed and undirected networks for an initial value problem whose Jacobian matrix is a variable-order fractional power of a Laplacian matrix are discussed here. This is a new extension to non-stationary behavior of a class of non-local phenomena on complex networks for which both directed and undirected graphs are considered. Under appropriate assumptions, the existence, uniqueness, and uniform asymptotic stability of the solutions of the underlying initial value problem are proved. Some examples giving a sample of the behavior of the dynamics are also included.


title: Turbulent bubbly channel flows: Effects of soluble surfactant and viscoelasticity

abstract: Interface-resolved direct numerical simulations are performed to examine the combined effects of soluble surfactant and viscoelasticity on the structure of a bubbly turbulent channel flow. The incompressible flow equations are solved fully coupled with the FENE-P viscoelastic model and the equations governing interfacial and bulk surfactant concentrations. The latter coupling is achieved through a non-linear equation of state which relates the surface tension to the surfactant concentration at the interface. The two-fluid Navier-Stokes equations are solved using a front-tracking method, augmented with a very efficient FFT-based pressure projection method that allows for massively parallel simulations of turbulent flows. It is found that, for the surfactant-free case, bubbles move toward the wall due to inertial lift force, resulting in formation of wall layers and a significant decrease in the flow rate. Conversely, a high-enough concentration of surfactant changes the direction of lateral migration of bubbles, i.e., the contaminated bubbles move toward the core region and spread out across the channel. When viscoelasticity is considered, viscoelastic stresses counteract the Marangoni stresses, promoting formation of bubbly wall-layers and consequently strong decrease in the flow rate. The formation of bubble wall-layers for combined case depends on the interplay of the inertial and elastic, and Marangoni forces.


title: On the p-adic interpolation of unitary Friedberg--Jacquet periods

abstract: We establish functoriality of higher Coleman theory for certain unitary Shimura varieties and use this to construct a $p$-adic analytic function interpolating unitary Friedberg--Jacquet periods.


title: Computationally driven discovery of SARS-CoV-2 Mpro inhibitors: from design to experimental validation

abstract: We report a fast-track computationally-driven discovery of new SARS-CoV2 Main Protease (M$^{pro}$) inhibitors whose potency range from mM for initial non-covalent ligands to sub-$\mu$M for the final covalent compound (IC50=830 +/- 50 nM). The project extensively relied on high-resolution all-atom molecular dynamics simulations and absolute binding free energy calculations performed using the polarizable AMOEBA force field. The study is complemented by extensive adaptive sampling simulations that are used to rationalize the different ligands binding poses through the explicit reconstruction of the ligand-protein conformation spaces. Machine Learning predictions are also performed to predict selected compound properties. While simulations extensively use High Performance Computing to strongly reduce time-to-solution, they were systematically coupled to Nuclear Magnetic Resonance experiments to drive synthesis and to in vitro characterization of compounds. Such study highlights the power of in silico strategies that rely on structure-based approaches for drug design and allows to address the protein conformational multiplicity problem. The proposed fluorinated tetrahydroquinolines open routes for further optimization of M$^{pro}$ inhibitors towards low nM affinities.


title: Learning Temporally Causal Latent Processes from General Temporal Data

abstract: Our goal is to recover time-delayed latent causal variables and identify their relations from measured temporal data. Estimating causally-related latent variables from observations is particularly challenging as the latent variables are not uniquely recoverable in the most general case. In this work, we consider both a nonparametric, nonstationary setting and a parametric setting for the latent processes and propose two provable conditions under which temporally causal latent processes can be identified from their nonlinear mixtures. We propose LEAP, a theoretically-grounded framework that extends Variational AutoEncoders (VAEs) by enforcing our conditions through proper constraints in causal process prior. Experimental results on various datasets demonstrate that temporally causal latent processes are reliably identified from observed variables under different dependency structures and that our approach considerably outperforms baselines that do not properly leverage history or nonstationarity information. This demonstrates that using temporal information to learn latent processes from their invertible nonlinear mixtures in an unsupervised manner, for which we believe our work is one of the first, seems promising even without sparsity or minimality assumptions.


title: Differentially Private Approximate Quantiles

abstract: In this work we study the problem of differentially private (DP) quantiles, in which given dataset $X$ and quantiles $q_1, ..., q_m \in [0,1]$, we want to output $m$ quantile estimations which are as close as possible to the true quantiles and preserve DP. We describe a simple recursive DP algorithm, which we call ApproximateQuantiles (AQ), for this task. We give a worst case upper bound on its error, and show that its error is much lower than of previous implementations on several different datasets. Furthermore, it gets this low error while running time two orders of magnitude faster that the best previous implementation.


title: Density-based interpretable hypercube region partitioning for mixed numeric and categorical data

abstract: Consider a structured dataset of features, such as $\{\textrm{SEX}, \textrm{INCOME}, \textrm{RACE}, \textrm{EXPERIENCE}\}$. A user may want to know where in the feature space observations are concentrated, and where it is sparse or empty. The existence of large sparse or empty regions can provide domain knowledge of soft or hard feature constraints (e.g., what is the typical income range, or that it may be unlikely to have a high income with few years of work experience). Also, these can suggest to the user that machine learning (ML) model predictions for data inputs in sparse or empty regions may be unreliable. An interpretable region is a hyper-rectangle, such as $\{\textrm{RACE} \in\{\textrm{Black}, \textrm{White}\}\}\:\&$ $\{10 \leq \:\textrm{EXPERIENCE} \:\leq 13\}$, containing all observations satisfying the constraints; typically, such regions are defined by a small number of features. Our method constructs an observation density-based partition of the observed feature space in the dataset into such regions. It has a number of advantages over others in that it works on features of mixed type (numeric or categorical) in the original domain, and can separate out empty regions as well. As can be seen from visualizations, the resulting partitions accord with spatial groupings that a human eye might identify; the results should thus extend to higher dimensions. We also show some applications of the partition to other data analysis tasks, such as inferring about ML model error, measuring high-dimensional density variability, and causal inference for treatment effect. Many of these applications are made possible by the hyper-rectangular form of the partition regions.


title: On the invertibility of a voice privacy system using embedding alignement

abstract: This paper explores various attack scenarios on a voice anonymization system using embeddings alignment techniques. We use Wasserstein-Procrustes (an algorithm initially designed for unsupervised translation) or Procrustes analysis to match two sets of x-vectors, before and after voice anonymization, to mimic this transformation as a rotation function. We compute the optimal rotation and compare the results of this approximation to the official Voice Privacy Challenge results. We show that a complex system like the baseline of the Voice Privacy Challenge can be approximated by a rotation, estimated using a limited set of x-vectors. This paper studies the space of solutions for voice anonymization within the specific scope of rotations. Rotations being reversible, the proposed method can recover up to 62% of the speaker identities from anonymized embeddings.


title: On the dynamics of overshooting convection in spherical shells: Effect of density stratification and rotation

abstract: Overshooting of turbulent motions from convective regions into adjacent stably stratified zones plays a significant role in stellar interior dynamics as this process may lead to mixing of chemical species, and contribute to the transport of angular momentum and magnetic fields. We present a series of fully non-linear, three-dimensional (3D) anelastic simulations of overshooting convection in a spherical shell which are focused on the dependence of the overshooting dynamics on the density stratification and the rotation, both key ingredients in stars which however have not been studied systematically together via global simulations. We demonstrate that the overshoot lengthscale is not simply a monotonic function of the density stratification in the convective region but instead, it depends on the ratio of the density stratifications in the two zones. Additionally, we find that the overshoot lengthscale decreases with decreasing Rossby number Ro and scales as Ro$^{0.23}$ while it also depends on latitude with higher Rossby cases leading to a weaker latitudinal variation. We examine the mean flows arising due to rotation and find that they extend beyond the base of the convection zone into the stable region. Our findings may provide a better understanding of the dynamical interaction between stellar convective and radiative regions, and motivate future studies particularly related to the solar tachocline and the implications of its overlapping with the overshoot region.


title: Mesh Draping: Parametrization-Free Neural Mesh Transfer

abstract: Despite recent advances in geometric modeling, 3D mesh modeling still involves a considerable amount of manual labor by experts. In this paper, we introduce Mesh Draping: a neural method for transferring existing mesh structure from one shape to another. The method drapes the source mesh over the target geometry and at the same time seeks to preserve the carefully designed characteristics of the source mesh. At its core, our method deforms the source mesh using progressive positional encoding. We show that by leveraging gradually increasing frequencies to guide the neural optimization, we are able to achieve stable and high quality mesh transfer. Our approach is simple and requires little user guidance, compared to contemporary surface mapping techniques which rely on parametrization or careful manual tuning. Most importantly, Mesh Draping is a parameterization-free method, and thus applicable to a variety of target shape representations, including point clouds, polygon soups, and non-manifold meshes. We demonstrate that the transferred meshing remains faithful to the source mesh design characteristics, and at the same time fits the target geometry well.


title: $f(T,B)$ cosmography for high redshifts

abstract: In light of the statistical performance of cosmological observations, in this work we present the cosmography in $f(T,B)$ gravity. In this scenario we found a cosmological viable standard case that allows to reduce the degeneracy between several $f(T,B)$ models already proposed in the literature. Furthermore, we constrain this model using Pantheon SNeIa compilation, Cosmic Chronometers and a newly GRB calibrated data sample. We found that with an appropriate strategy for including the cosmographic parameter, we do produce a viable cosmology with our model within $f(T,B)$ gravity.


title: Euclid preparation: XIX. Impact of magnification on photometric galaxy clustering

abstract: We investigate the importance of lensing magnification for estimates of galaxy clustering and its cross-correlation with shear for the photometric sample of Euclid. Using updated specifications, we study the impact of lensing magnification on the constraints and the shift in the estimation of the best fitting cosmological parameters that we expect if this effect is neglected. We follow the prescriptions of the official Euclid Fisher matrix forecast for the photometric galaxy clustering analysis and the combination of photometric clustering and cosmic shear. The slope of the luminosity function (local count slope), which regulates the amplitude of the lensing magnification, and the galaxy bias have been estimated from the Euclid Flagship simulation.We find that magnification significantly affects both the best-fit estimation of cosmological parameters and the constraints in the galaxy clustering analysis of the photometric sample. In particular, including magnification in the analysis reduces the 1$\sigma$ errors on $\Omega_{\text{m},0}, w_{0}, w_a$ at the level of 20-35%, depending on how well we will be able to independently measure the local count slope. In addition, we find that neglecting magnification in the clustering analysis leads to shifts of up to 1.6$\sigma$ in the best-fit parameters. In the joint analysis of galaxy clustering, cosmic shear, and galaxy-galaxy lensing, magnification does not improve precision, but it leads to an up to 6$\sigma$ bias if neglected. Therefore, for all models considered in this work, magnification has to be included in the analysis of galaxy clustering and its cross-correlation with the shear signal ($3\times2$pt analysis) for an accurate parameter estimation.