title: LIBRA: An Economical Hybrid Approach for Cloud Applications with Strict SLAs

abstract: Function-as-a-Service (FaaS) has recently emerged to reduce the deployment cost of running cloud applications compared to Infrastructure-as-a-Service (IaaS). FaaS follows a serverless 'pay-as-you-go' computing model; it comes at a higher cost per unit of execution time but typically application functions experience lower provisioning time (startup delay). IaaS requires the provisioning of Virtual Machines, which typically suffer from longer cold-start delays that cause higher queuing delays and higher request drop rates. We present LIBRA, a balanced (hybrid) approach that leverages both VM-based and serverless resources to efficiently manage cloud resources for the applications. LIBRA closely monitors the application demand and provisions appropriate VM and serverless resources such that the running cost is minimized and Service-Level Agreements are met. Unlike state of the art, LIBRA not only hides VM cold-start delays, and hence reduces response time, by leveraging serverless, but also directs a low-rate bursty portion of the demand to serverless where it would be less costly than spinning up new VMs. We evaluate LIBRA on real traces in a simulated environment as well as on the AWS commercial cloud. Our results show that LIBRA outperforms other resource-provisioning policies, including a recent hybrid approach - LIBRA achieves more than 85% reduction in SLA violations and up to 53% cost savings.


title: Ground-state-energy universality of noninteracting fermionic systems

abstract: When noninteracting fermions are confined in a $D$-dimensional region of volume $\mathrm{O}(L^D)$ and subjected to a continuous (or piecewise continuous) potential $V$ which decays sufficiently fast with distance, in the thermodynamic limit, the ground state energy of the system does not depend on $V$. Here, we discuss this theorem from several perspectives and derive a proof for radially symmetric potentials valid in $D$ dimensions. We find that this universality property holds under a quite mild condition on $V$, with or without bounded states, and extends to thermal states. Moreover, it leads to an interesting analogy between Anderson's orthogonality catastrophe and first-order quantum phase transitions.


title: A Low-mass Cold and Quiescent Core Population in a Massive Star Protocluster

abstract: Pre-stellar cores represent the initial conditions of star formation. Although these initial conditions in nearby low-mass star-forming regions have been investigated in detail, such initial conditions remain vastly unexplored for massive star-forming regions. We report the detection of a cluster of low-mass starless and pre-stellar core candidates in a massive star protocluster forming cloud, NGC6334S. With the ALMA observations at a $\sim$0.02 pc spatial resolution, we identified 17 low-mass starless core candidates that do not show any evidence of protostellar activity. These candidates present small velocity dispersions, high fractional abundances of NH$_{2}$D, high NH$_{3}$ deuterium fractionations, and are completely dark in the infrared wavelengths from 3.6 up to 70~$\mu$m. Turbulence is significantly dissipated and the gas kinematics are dominated by thermal motions toward these candidates. Nine out of the 17 cores are gravitationally bound, and therefore are identified as pre-stellar core candidates. The embedded cores of NGC6334S show a wide diversity in masses and evolutionary stages.


title: System-Level Dynamics of Highly Directional Distributed Networks

abstract: While highly directional communications may offer considerable improvements in the link data rate and over-the-air latency of high-end wearable devices, the system-level capacity trade-offs call for separate studies with respect to the employed multiple access procedures and the network dynamics in general. This letter proposes a framework for estimating the system-level area throughput in dynamic distributed networks of highly-directional paired devices. We provide numerical expressions for the steady-state distribution of the number of actively communicating pairs and the probability of successful session initialization as well as derive the corresponding closed-form approximation for dense deployments.


title: An MRF-UNet Product of Experts for Image Segmentation

abstract: While convolutional neural networks (CNNs) trained by back-propagation have seen unprecedented success at semantic segmentation tasks, they are known to struggle on out-of-distribution data. Markov random fields (MRFs) on the other hand, encode simpler distributions over labels that, although less flexible than UNets, are less prone to over-fitting. In this paper, we propose to fuse both strategies by computing the product of distributions of a UNet and an MRF. As this product is intractable, we solve for an approximate distribution using an iterative mean-field approach. The resulting MRF-UNet is trained jointly by back-propagation. Compared to other works using conditional random fields (CRFs), the MRF has no dependency on the imaging data, which should allow for less over-fitting. We show on 3D neuroimaging data that this novel network improves generalisation to out-of-distribution samples. Furthermore, it allows the overall number of parameters to be reduced while preserving high accuracy. These results suggest that a classic MRF smoothness prior can allow for less over-fitting when principally integrated into a CNN model. Our implementation is available at https://github.com/balbasty/nitorch.


title: On the Energy Scaling Behaviour of a Singularly Perturbed Tartar Square

abstract: In this article we derive an (almost) optimal scaling law for a singular perturbation problem associated with the Tartar square. As in \cite{W97, C99}, our upper bound quantifies the well-known construction which is used in the literature to prove flexibility of the Tartar square in the sense of flexibility of approximate solutions to the differential inclusion. The main novelty of our article is the derivation of an (up to logarithmic powers matching) ansatz free lower bound which relies on a bootstrap argument in Fourier space and is related to a quantification of the interaction of a nonlinearity and a negative Sobolev space in the form of "a chain rule in a negative Sobolev space". Both the lower and the upper bound arguments give evidence of the involved "infinite order of lamination".


title: Modelling Brain Connectivity Networks by Graph Embedding for Dyslexia Diagnosis

abstract: Several methods have been developed to extract information from electroencephalograms (EEG). One of them is Phase-Amplitude Coupling (PAC) which is a type of Cross-Frequency Coupling (CFC) method, consisting in measure the synchronization of phase and amplitude for the different EEG bands and electrodes. This provides information regarding brain areas that are synchronously activated, and eventually, a marker of functional connectivity between these areas. In this work, intra and inter electrode PAC is computed obtaining the relationship among different electrodes used in EEG. The connectivity information is then treated as a graph in which the different nodes are the electrodes and the edges PAC values between them. These structures are embedded to create a feature vector that can be further used to classify multichannel EEG samples. The proposed method has been applied to classified EEG samples acquired using specific auditory stimuli in a task designed for dyslexia disorder diagnosis in seven years old children EEG's. The proposed method provides AUC values up to 0.73 and allows selecting the most discriminant electrodes and EEG bands.


title: Conservative algebras of $2$-dimensional algebras, III

abstract: In the present paper we prove that every local and $2$-local derivation on conservative algebras of $2$-dimensional algebras are derivations. Also, we prove that every local and $2$-local automorphism on conservative algebras of $2$-dimensional algebras are automorphisms.


title: L3DAS21 Challenge: Machine Learning for 3D Audio Signal Processing

abstract: The L3DAS21 Challenge is aimed at encouraging and fostering collaborative research on machine learning for 3D audio signal processing, with particular focus on 3D speech enhancement (SE) and 3D sound localization and detection (SELD). Alongside with the challenge, we release the L3DAS21 dataset, a 65 hours 3D audio corpus, accompanied with a Python API that facilitates the data usage and results submission stage. Usually, machine learning approaches to 3D audio tasks are based on single-perspective Ambisonics recordings or on arrays of single-capsule microphones. We propose, instead, a novel multichannel audio configuration based multiple-source and multiple-perspective Ambisonics recordings, performed with an array of two first-order Ambisonics microphones. To the best of our knowledge, it is the first time that a dual-mic Ambisonics configuration is used for these tasks. We provide baseline models and results for both tasks, obtained with state-of-the-art architectures: FaSNet for SE and SELDNet for SELD. This report is aimed at providing all needed information to participate in the L3DAS21 Challenge, illustrating the details of the L3DAS21 dataset, the challenge tasks and the baseline models.


title: Updater-Extractor Architecture for Inductive World State Representations

abstract: Developing NLP models traditionally involves two stages - training and application. Retention of information acquired after training (at application time) is architecturally limited by the size of the model's context window (in the case of transformers), or by the practical difficulties associated with long sequences (in the case of RNNs). In this paper, we propose a novel transformer-based Updater-Extractor architecture and a training procedure that can work with sequences of arbitrary length and refine its knowledge about the world based on linguistic inputs. We explicitly train the model to incorporate incoming information into its world state representation, obtaining strong inductive generalization and the ability to handle extremely long-range dependencies. We prove a lemma that provides a theoretical basis for our approach. The result also provides insight into success and failure modes of models trained with variants of Truncated Back-Propagation Through Time (such as Transformer XL). Empirically, we investigate the model performance on three different tasks, demonstrating its promise. This preprint is still a work in progress. At present, we focused on easily interpretable tasks, leaving the application of the proposed ideas to practical NLP applications for the future.


title: Fine-Tuning Transformers for Identifying Self-Reporting Potential Cases and Symptoms of COVID-19 in Tweets

abstract: We describe our straight-forward approach for Tasks 5 and 6 of 2021 Social Media Mining for Health Applications (SMM4H) shared tasks. Our system is based on fine-tuning Distill- BERT on each task, as well as first fine-tuning the model on the other task. We explore how much fine-tuning is necessary for accurately classifying tweets as containing self-reported COVID-19 symptoms (Task 5) or whether a tweet related to COVID-19 is self-reporting, non-personal reporting, or a literature/news mention of the virus (Task 6).


title: Dispersive Estimates for Nonlinear Schr\"odinger Equations with External Potentials

abstract: We consider the long time dynamics of nonlinear Schr\"odinger equations with an external potential. More precisely, we look at Hartree type equations in three or higher dimensions with small initial data. We prove an optimal decay estimate, which is comparable to the decay of free solutions. Our proof relies on good control on a high Sobolev norm of the solution to estimate the terms in Duhamel's formula.


title: Autonomous Drone Delivery to Your Door and Yard

abstract: In this work, we present a system that enables delivery drones to autonomously navigate and deliver packages at various locations around a house according to the desire of the recipient and without the need for any external markers as currently used. This development is motivated by recent advancements in deep learning that can potentially supplant the specialized markers presently used by delivery drones for identifying sites at which to deliver packages. The proposed system is more natural in that it takes instruction on where to deliver the package as input, similar to the instructions provided to human couriers. First, we propose a semantic image segmentation-based descending location estimator that enables the drone to find a safe spot around the house at which it can descend from higher altitudes. Following this, we propose a strategy for visually routing the drone from the descent location to a specific site at which it is to deliver the package, such as the front door. We extensively evaluate this approach in a simulated environment and demonstrate that with our system, a delivery drone can deliver a package to the front door and also to other specified locations around a house. Relative to a frontier exploration-based strategy, drones using the proposed system found and reached the front doors of the 20 test houses 161% faster.


title: Interpretable Methods for Identifying Product Variants

abstract: For e-commerce companies with large product selections, the organization and grouping of products in meaningful ways is important for creating great customer shopping experiences and cultivating an authoritative brand image. One important way of grouping products is to identify a family of product variants, where the variants are mostly the same with slight and yet distinct differences (e.g. color or pack size). In this paper, we introduce a novel approach to identifying product variants. It combines both constrained clustering and tailored NLP techniques (e.g. extraction of product family name from unstructured product title and identification of products with similar model numbers) to achieve superior performance compared with an existing baseline using a vanilla classification approach. In addition, we design the algorithm to meet certain business criteria, including meeting high accuracy requirements on a wide range of categories (e.g. appliances, decor, tools, and building materials, etc.) as well as prioritizing the interpretability of the model to make it accessible and understandable to all business partners.


title: Differential algebraic generating series of weighted walks in the quarter plane

abstract: In the present paper we study the nature of the trivariate generating series of weighted walks in the quarter plane. Combining the results of this paper to previous ones, we complete the proof of the following theorem. The series satisfies a nontrivial algebraic differential equation in one of its variable, if and only if it satisfies a nontrivial algebraic differential equation in each of its variables.


title: Global temperature goals should determine the time horizons for greenhouse gas emission metrics

abstract: Emission metrics, a crucial tool in setting effective equivalences between greenhouse gases, currently require a subjective, arbitrary choice of time horizon. Here, we propose a novel framework that uses a specific temperature goal to calculate the time horizon that aligns with scenarios achieving that temperature goal. We analyze the Intergovernmental Panel on Climate Change Special Report on Global Warming of 1.5 C Scenario Database to find that time horizons that align with the 1.5 and 2 C global warming goals of the Paris Agreement are 24 [90% prediction interval: 7, 41] and 58 [90% PI: 41, 74] years respectively. We then use these time horizons to quantify time-dependent emission metrics with methane as our main example. We find that the Global Warming Potential values that align with the 1.5 and 2 C goals are GWP1.5 C = 75 [90% PI: 54, 107] and GWP2 C = 42 [90% PI: 35, 54]; for the Global Temperature change Potential they are GTP1.5 C = 41 [90% PI: 16, 102] and GTP2 C = 9 [90% PI: 7, 16]. The most commonly used time horizon, 100 years, underestimates methane emission metrics by 34-38% relative to the values we calculate that align with the 2 C goal and 63-87% relative to the 1.5 C goal. To best align emission metrics with the 1.5 C goal of the Paris Agreement, we recommend a 24-year time horizon, using 2045 as the endpoint time, with its associated GWP1.5 C = 75 and GTP1.5 C = 41.


title: BART based semantic correction for Mandarin automatic speech recognition system

abstract: Although automatic speech recognition (ASR) systems achieved significantly improvements in recent years, spoken language recognition error occurs which can be easily spotted by human beings. Various language modeling techniques have been developed on post recognition tasks like semantic correction. In this paper, we propose a Transformer based semantic correction method with pretrained BART initialization, Experiments on 10000 hours Mandarin speech dataset show that character error rate (CER) can be effectively reduced by 21.7% relatively compared to our baseline ASR system. Expert evaluation demonstrates that actual improvement of our model surpasses what CER indicates.


title: Noether: The More Things Change, the More Stay the Same

abstract: Symmetries have proven to be important ingredients in the analysis of neural networks. So far their use has mostly been implicit or seemingly coincidental. We undertake a systematic study of the role that symmetry plays. In particular, we clarify how symmetry interacts with the learning algorithm. The key ingredient in our study is played by Noether's celebrated theorem which, informally speaking, states that symmetry leads to conserved quantities (e.g., conservation of energy or conservation of momentum). In the realm of neural networks under gradient descent, model symmetries imply restrictions on the gradient path. E.g., we show that symmetry of activation functions leads to boundedness of weight matrices, for the specific case of linear activations it leads to balance equations of consecutive layers, data augmentation leads to gradient paths that have "momentum"-type restrictions, and time symmetry leads to a version of the Neural Tangent Kernel. Symmetry alone does not specify the optimization path, but the more symmetries are contained in the model the more restrictions are imposed on the path. Since symmetry also implies over-parametrization, this in effect implies that some part of this over-parametrization is cancelled out by the existence of the conserved quantities. Symmetry can therefore be thought of as one further important tool in understanding the performance of neural networks under gradient descent.


title: Threshold-Based Data Exclusion Approach for Energy-Efficient Federated Edge Learning

abstract: Federated edge learning (FEEL) is a promising distributed learning technique for next-generation wireless networks. FEEL preserves the user's privacy, reduces the communication costs, and exploits the unprecedented capabilities of edge devices to train a shared global model by leveraging a massive amount of data generated at the network edge. However, FEEL might significantly shorten energy-constrained participating devices' lifetime due to the power consumed during the model training round. This paper proposes a novel approach that endeavors to minimize computation and communication energy consumption during FEEL rounds to address this issue. First, we introduce a modified local training algorithm that intelligently selects only the samples that enhance the model's quality based on a predetermined threshold probability. Then, the problem is formulated as joint energy minimization and resource allocation optimization problem to obtain the optimal local computation time and the optimal transmission time that minimize the total energy consumption considering the worker's energy budget, available bandwidth, channel states, beamforming, and local CPU speed. After that, we introduce a tractable solution to the formulated problem that ensures the robustness of FEEL. Our simulation results show that our solution substantially outperforms the baseline FEEL algorithm as it reduces the local consumed energy by up to 79%.


title: Duality for real and multivariate exponential families

abstract: Consider a measure $\mu$ on $\R^n$ generating a natural exponential family $F(\mu)$ with variance function $V_{F(\mu)}(m)$ and Laplace transform $$ \exp(\ell_{\mu}(s))=\int_{\R^n} \exp(-\<s,x\>)\mu(dx).$$ A dual measure $\mu^*$ satisfies $-\ell'_{\mu^*}(-\ell'_{\mu}(s))=s.$ Such a dual measure does not always exist. One important property is $\ell"_{\mu^*}(m)=(V_{F(\mu)}(m))^{-1},$ leading to the notion of duality among exponential families (or rather among the extended notion of T exponential families $T\hskip-2pt F$ obtained by considering all translations of a given exponential family $F$).


title: Strong-field response time and its implications on attosecond measurement

abstract: To measure and control the electron motion in atoms and molecules by the strong laser field on the attosecond time scale is one of the research frontiers of atomic and molecular photophysics. It involves many new phenomena and processes and raises a series of questions of concepts, theories and methods. Recent studies show that the Coulomb potential can cause the ionization time lag (about 100 attoseconds) between instants of the field maximum and the ionization-rate maximum. This lag can be understood as the response time of the electronic wave function to the strong-field-induced ionization event. It has a profound influence on the subsequent ultrafast dynamics of the ionized electron and can significantly change the time-frequency properties of electron trajectory (an important theoretical tool for attosecond measurement). Here, the research progress of response time and its implications on attosecond measurement are briefly introduced.


title: One-shot learning for solution operators of partial differential equations

abstract: Learning and solving governing equations of a physical system, represented by partial differential equations (PDEs), from data is a central challenge in a variety of areas of science and engineering. Traditional numerical methods for solving PDEs can be computationally expensive for complex systems and require the complete PDEs of the physical system. On the other hand, current data-driven machine learning methods require a large amount of data to learn a surrogate model of the PDE solution operator, which could be impractical. Here, we propose the first solution operator learning method that only requires one PDE solution, i.e., one-shot learning. By leveraging the principle of locality of PDEs, we consider small local domains instead of the entire computational domain and define a local solution operator. The local solution operator is then trained using a neural network, and utilized to predict the solution of a new input function via mesh-based fixed-point iteration (FPI), meshfree local-solution-operator informed neural network (LOINN) or local-solution-operator informed neural network with correction (cLOINN). We test our method on diverse PDEs, including linear or nonlinear PDEs, PDEs defined on complex geometries, and PDE systems, demonstrating the effectiveness and generalization capabilities of our method across these varied scenarios.


title: On the Evaluation of Surrogate Markers in Real World Data Settings

abstract: Shortcomings of randomized clinical trials are pronounced in urgent health crises, when rapid identification of effective treatments is critical. Leveraging short-term surrogates in real-world data (RWD) can guide policymakers evaluating new treatments. In this paper, we develop novel estimators for the proportion of treatment effect (PTE) on the true outcome explained by a surrogate in RWD settings. We propose inverse probability weighted and doubly robust (DR) estimators of an optimal transformation of the surrogate and PTE by semi-nonparametrically modeling the relationship between the true outcome and surrogate given baseline covariates. We show that our estimators are consistent and asymptotically normal, and the DR estimator is consistent when either the propensity score model or outcome regression model is correctly specified. We compare our proposed estimators to existing estimators and show a reduction in bias and gains in efficiency through simulations. We illustrate the utility of our method in obtaining an interpretable PTE by conducting a cross-trial comparison of two biologic therapies for ulcerative colitis.


title: Self-Training with Weak Supervision

abstract: State-of-the-art deep neural networks require large-scale labeled training data that is often expensive to obtain or not available for many tasks. Weak supervision in the form of domain-specific rules has been shown to be useful in such settings to automatically generate weakly labeled training data. However, learning with weak rules is challenging due to their inherent heuristic and noisy nature. An additional challenge is rule coverage and overlap, where prior work on weak supervision only considers instances that are covered by weak rules, thus leaving valuable unlabeled data behind. In this work, we develop a weak supervision framework (ASTRA) that leverages all the available data for a given task. To this end, we leverage task-specific unlabeled data through self-training with a model (student) that considers contextualized representations and predicts pseudo-labels for instances that may not be covered by weak rules. We further develop a rule attention network (teacher) that learns how to aggregate student pseudo-labels with weak rule labels, conditioned on their fidelity and the underlying context of an instance. Finally, we construct a semi-supervised learning objective for end-to-end training with unlabeled data, domain-specific rules, and a small amount of labeled data. Extensive experiments on six benchmark datasets for text classification demonstrate the effectiveness of our approach with significant improvements over state-of-the-art baselines.


title: Isogonic and isodynamic points of a simplex in a real affine space

abstract: A non-equilateral triangle in a Euclidean plane has exactly two isogonic and two isodynamic points. There are a number of different but equivalent characterizations of these triangle centers. The aim of this paper is to work out characteristic properties of isogonic and isodynamic centers of simplices that can be transferred to higher dimensions. In addition, a geometric description of the Weiszfeld algorithm for calculating the Fermat point of a simplex is given.


title: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head

abstract: MPC-in-the-Head (MitH) is a general framework that allows constructing efficient Zero Knowledge protocols for general NP-relations from secure multiparty computation (MPC) protocols. In this paper we give the first machine-checked implementation of this transformation. We begin with an EasyCrypt formalization of MitH that preserves the modular structure of MitH and can be instantiated with arbitrary MPC protocols that satisfy standard notions of security, which allows us to leverage an existing machine-checked secret-sharing-based MPC protocol development. The resulting concrete ZK protocol is proved secure and correct in EasyCrypt. Using a recently developed code extraction mechanism for EasyCrypt we synthesize a formally verified implementation of the protocol, which we benchmark to get an indication of the overhead associated with our formalization choices and code extraction mechanism.


title: Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes

abstract: We construct the semi-infinite tensor structure on the semiderived category of quasi-coherent torsion sheaves on an ind-scheme endowed with a flat affine morphism into an ind-Noetherian ind-scheme with a dualizing complex. The semitensor product is "a mixture of" the cotensor product along the base and the derived tensor product along the fibers. The inverse image of the dualizing complex is the unit object. This construction is a partial realization of the Semi-infinite Algebraic Geometry program, as outlined in the introduction to arXiv:1504.00700.


title: Diamond in the rough: Improving image realism by traversing the GAN latent space

abstract: In just a few years, the photo-realism of images synthesized by Generative Adversarial Networks (GANs) has gone from somewhat reasonable to almost perfect largely by increasing the complexity of the networks, e.g., adding layers, intermediate latent spaces, style-transfer parameters, etc. This trajectory has led many of the state-of-the-art GANs to be inaccessibly large, disengaging many without large computational resources. Recognizing this, we explore a method for squeezing additional performance from existing, low-complexity GANs. Formally, we present an unsupervised method to find a direction in the latent space that aligns with improved photo-realism. Our approach leaves the network unchanged while enhancing the fidelity of the generated image. We use a simple generator inversion to find the direction in the latent space that results in the smallest change in the image space. Leveraging the learned structure of the latent space, we find moving in this direction corrects many image artifacts and brings the image into greater realism. We verify our findings qualitatively and quantitatively, showing an improvement in Frechet Inception Distance (FID) exists along our trajectory which surpasses the original GAN and other approaches including a supervised method. We expand further and provide an optimization method to automatically select latent vectors along the path that balance the variation and realism of samples. We apply our method to several diverse datasets and three architectures of varying complexity to illustrate the generalizability of our approach. By expanding the utility of low-complexity and existing networks, we hope to encourage the democratization of GANs.


title: Cloth Interactive Transformer for Virtual Try-On

abstract: The 2D image-based virtual try-on has aroused increased interest from the multimedia and computer vision fields due to its enormous commercial value. Nevertheless, most existing image-based virtual try-on approaches directly combine the person-identity representation and the in-shop clothing items without taking their mutual correlations into consideration. Moreover, these methods are commonly established on pure convolutional neural networks (CNNs) architectures which are not simple to capture the long-range correlations among the input pixels. As a result, it generally results in inconsistent results. To alleviate these issues, in this paper, we propose a novel two-stage cloth interactive transformer (CIT) method for the virtual try-on task. During the first stage, we design a CIT matching block, aiming to precisely capture the long-range correlations between the cloth-agnostic person information and the in-shop cloth information. Consequently, it makes the warped in-shop clothing items look more natural in appearance. In the second stage, we put forth a CIT reasoning block for establishing global mutual interactive dependencies among person representation, the warped clothing item, and the corresponding warped cloth mask. The empirical results, based on mutual dependencies, demonstrate that the final try-on results are more realistic. Substantial empirical results on a public fashion dataset illustrate that the suggested CIT attains competitive virtual try-on performance.


title: Updatable Learned Index with Precise Positions

abstract: Index plays an essential role in modern database engines to accelerate the query processing. The new paradigm of "learned index" has significantly changed the way of designing index structures in DBMS. The key insight is that indexes could be regarded as learned models that predict the position of a lookup key in the dataset. While such studies show promising results in both lookup time and index size, they cannot efficiently support update operations. Although recent studies have proposed some preliminary approaches to support update, they are at the cost of scarifying the lookup performance as they suffer from the overheads brought by imprecise predictions in the leaf nodes. In this paper, we propose LIPP, a brand new framework of learned index to address such issues. Similar with state-of-the-art learned index structures, LIPP is able to support all kinds of index operations, namely lookup query, range query, insert, delete, update and bulkload. Meanwhile, we overcome the limitations of previous studies by properly extending the tree structure when dealing with update operations so as to eliminate the deviation of location predicted by the models in the leaf nodes. Moreover, we further propose a dynamic adjustment strategy to ensure that the height of the tree index is tightly bounded and provide comprehensive theoretical analysis to illustrate it. We conduct an extensive set of experiments on several real-life and synthetic datasets. The results demonstrate that our method consistently outperforms state-of-the-art solutions, achieving by up to 4x for a broader class of workloads with different index operations.


title: Optical conductivity signatures of open Dirac nodal lines

abstract: We investigate the optical conductivity and far-infrared magneto-optical response of BaNiS$_2$, a simple square-lattice semimetal characterized by Dirac nodal lines that disperse exclusively along the out-of-plane direction. With the magnetic field aligned along the nodal line the in-plane Landau level spectra show a nearly $\sqrt{B}$ behavior, the hallmark of a conical-band dispersion with a small spin-orbit coupling gap. The optical conductivity exhibits an unusual temperature-independent isosbestic line, ending at a Van Hove singularity. First-principles calculations unambiguously assign the isosbestic line to transitions across Dirac nodal states. Our work suggests a universal topology of the electronic structure of Dirac nodal lines.


title: Neural basis expansion analysis with exogenous variables: Forecasting electricity prices with NBEATSx

abstract: We extend the neural basis expansion analysis (NBEATS) to incorporate exogenous factors. The resulting method, called NBEATSx, improves on a well performing deep learning model, extending its capabilities by including exogenous variables and allowing it to integrate multiple sources of useful information. To showcase the utility of the NBEATSx model, we conduct a comprehensive study of its application to electricity price forecasting (EPF) tasks across a broad range of years and markets. We observe state-of-the-art performance, significantly improving the forecast accuracy by nearly 20% over the original NBEATS model, and by up to 5% over other well established statistical and machine learning methods specialized for these tasks. Additionally, the proposed neural network has an interpretable configuration that can structurally decompose time series, visualizing the relative impact of trend and seasonal components and revealing the modeled processes' interactions with exogenous factors. To assist related work we made the code available in https://github.com/cchallu/nbeatsx.


title: A class of adaptive multiresolution ultra-weak discontinuous Galerkin methods for some nonlinear dispersive wave equations

abstract: In this paper, we propose a class of adaptive multiresolution (also called adaptive sparse grid) ultra-weak discontinuous Galerkin (UWDG) methods for solving some nonlinear dispersive wave equations including the Korteweg-de Vries (KdV) equation and its two dimensional generalization, the Zakharov-Kuznetsov (ZK) equation. The UWDG formulation, which relies on repeated integration by parts, was proposed for KdV equation in \cite{cheng2008discontinuous}. For the ZK equation which contains mixed derivative terms, we develop a new UWDG formulation. The $L^2$ stability and the optimal error estimate with a novel local projection are established for this new scheme on regular meshes. Adaptivity is achieved based on multiresolution and is particularly effective for capturing solitary wave structures. Various numerical examples are presented to demonstrate the accuracy and capability of our methods.


title: Quantum Newtonian cosmology revisited

abstract: We formulate the Lagrangian of the Newtonian cosmology where the cosmological constant is also introduced. Following the affine quantization procedure, the Hamiltonian operator is derived. The wave functions of the Newtonian universe and the corresponding eigenvalues for the case of matter dominated by a negative cosmological constant are given.


title: East Asian VLBI Network Observations of Active Galactic Nuclei Jets: Imaging with KaVA+Tianma+Nanshan

abstract: The East Asian very-long-baseline interferometry (VLBI) Network (EAVN) is a rapidly evolving international VLBI array that is currently promoted under joint efforts among China, Japan, and Korea. EAVN aims at forming a joint VLBI Network by combining a large number of radio telescopes distributed over East Asian regions. After the combination of the Korean VLBI Network (KVN) and the VLBI Exploration of Radio Astrometry (VERA) into KaVA, further expansion with the joint array in East Asia is actively promoted. Here we report the first imaging results (at 22 and 43 GHz) of bright radio sources obtained with KaVA connected to Tianma 65-m and Nanshan 26-m Radio Telescopes in China. To test the EAVN imaging performance for different sources, we observed four active galactic nuclei (AGN) having different brightness and morphology. As a result, we confirmed that Tianma 65-m Radio Telescope (TMRT) significantly enhances the overall array sensitivity, a factor of 4 improvement in baseline sensitivity and 2 in image dynamic range compared to the case of KaVA only. The addition of Nanshan 26-m Radio Telescope (NSRT) further doubled the east-west angular resolution. With the resulting high-dynamic-range, high-resolution images with EAVN (KaVA+TMRT+NSRT), various fine-scale structures in our targets, such as the counter-jet in M87, a kink-like morphology of the 3C273 jet and the weak emission in other sources, are successfully detected. This demonstrates the powerful capability of EAVN to study AGN jets and to achieve other science goals in general. Ongoing expansion of EAVN will further enhance the angular resolution, detection sensitivity and frequency coverage of the network.


title: How to coordinate vaccination and social distancing to mitigate SARS-CoV-2 outbreaks

abstract: Most countries have started vaccinating people against COVID-19. However, due to limited production capacities and logistical challenges it will take months/years until herd immunity is achieved. Therefore, vaccination and social distancing have to be coordinated. In this paper, we provide some insight on this topic using optimization-based control on an age-differentiated compartmental model. For real-life decision making, we investigate the impact of the planning horizon on the optimal vaccination/social distancing strategy. We find that in order to reduce social distancing in the long run, without overburdening the healthcare system, it is essential to vaccinate the people with the highest contact rates first. That is also the case if the objective is to minimize fatalities provided that the social distancing measures are sufficiently strict. However, for short-term planning it is optimal to focus on the high-risk group.


title: A-FMI: Learning Attributions from Deep Networks via Feature Map Importance

abstract: Gradient-based attribution methods can aid in the understanding of convolutional neural networks (CNNs). However, the redundancy of attribution features and the gradient saturation problem, which weaken the ability to identify significant features and cause an explanation focus shift, are challenges that attribution methods still face. In this work, we propose: 1) an essential characteristic, Strong Relevance, when selecting attribution features; 2) a new concept, feature map importance (FMI), to refine the contribution of each feature map, which is faithful to the CNN model; and 3) a novel attribution method via FMI, termed A-FMI, to address the gradient saturation problem, which couples the target image with a reference image, and assigns the FMI to the difference-from-reference at the granularity of feature map. Through visual inspections and qualitative evaluations on the ImageNet dataset, we show the compelling advantages of A-FMI on its faithfulness, insensitivity to the choice of reference, class discriminability, and superior explanation performance compared with popular attribution methods across varying CNN architectures.


title: Traffic Forecasting using Vehicle-to-Vehicle Communication

abstract: We take the first step in using vehicle-to-vehicle (V2V) communication to provide real-time on-board traffic predictions. In order to best utilize real-world V2V communication data, we integrate first principle models with deep learning. Specifically, we train recurrent neural networks to improve the predictions given by first principle models. Our approach is able to predict the velocity of individual vehicles up to a minute into the future with improved accuracy over first principle-based baselines. We conduct a comprehensive study to evaluate different methods of integrating first principle models with deep learning techniques. The source code for our models is available at https://github.com/Rose-STL-Lab/V2V-traffic-forecast .


title: Rota-Baxter operators on Turaev's Hopf group (co)algebras I: Basic definitions and related algebraic structures

abstract: We find a natural compatible condition between the Rota-Baxter operator and Turaev's (Hopf) group-(co)algebras, which leads to the concept of Rota-Baxter Turaev's (Hopf) group-(co)algebra. Two characterizations of Rota-Baxter Turaev's group-algebras (abbr. T-algebras) are obtained: one by Atkinson factorization and the other by T-quasi-idempotent elements. The relations among some related Turaev's group algebraic structures (such as (tri)dendriform T-algebras, Zinbiel T-algebras, pre-Lie T-algebras, Lie T-algebras) are discussed, and some concrete examples from the algebras of dimensions 2,3 and 4 are given. At last we prove that Rota-Baxter Poisson T-algebras can produce pre-Poisson T-algebras and Poisson T-algebras can be obtained from pre-Poisson T-algebras.


title: A note on the distributions in quantum mechanical systems

abstract: In this paper, we study the distributions and the affine distributions of the quantum mechanical system. Also, we discuss the controllability of the quantum mechanical system with the related question concerning the minimum time needed to steer a quantum system from a unitary evolution $U(0)=I$ of the unitary propagator to a desired unitary propagator $U_f$. Furthermore, the paper introduces a description of a $\mathfrak{k} \oplus \mathfrak{p}$ sub-Finsler manifold with its geodesics, which equivalents to the problem of driving the quantum mechanical system from an arbitrary initial state $U(0)=I$ to the target state $U_f$, some illustrative examples are included. We prove that the Lie group $G$ on a Finsler symmetric manifold $G/K$ can be decomposed into $KAK$.


title: Reduced Density Matrix Sampling: Self-consistent Embedding and Multiscale Electronic Structure on Current Generation Quantum Computers

abstract: We investigate fully self-consistent multiscale quantum-classical algorithms on current generation superconducting quantum computers, in a unified approach to tackle the correlated electronic structure of large systems in both quantum chemistry and condensed matter physics. In both of these contexts, a strongly correlated quantum region of the extended system is isolated and self-consistently coupled to its environment via the sampling of reduced density matrices. We analyze the viability of current generation quantum devices to provide the required fidelity of these objects for a robust and efficient optimization of this subspace. We show that with a simple error mitigation strategy and optimization of compact tensor product bases to minimize the number of terms to sample, these self-consistent algorithms are indeed highly robust, even in the presence of significant noises on quantum hardware. Furthermore, we demonstrate the use of these density matrices for the sampling of non-energetic properties, including dipole moments and Fermi liquid parameters in condensed phase systems, achieving a reliable accuracy with sparse sampling. It appears that uncertainties derived from the iterative optimization of these subspaces is smaller than variances in the energy for a single subspace optimization with current quantum hardware. This boosts the prospect for routine self-consistency to improve the choice of correlated subspaces in hybrid quantum-classical approaches to electronic structure for large systems in this multiscale fashion.


title: GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation

abstract: Out-of-order speculation, a technique ubiquitous since the early 1990s, remains a fundamental security flaw. Via attacks such as Spectre and Meltdown, an attacker can trick a victim, in an otherwise entirely correct program, into leaking its secrets through the effects of misspeculated execution, in a way that is entirely invisible to the programmer's model. This has serious implications for application sandboxing and inter-process communication. Designing efficient mitigations, that preserve the performance of out-of-order execution, has been a challenge. The speculation-hiding techniques in the literature have been shown to not close such channels comprehensively, allowing adversaries to redesign attacks. Strong, precise guarantees are necessary, but at the same time mitigations must achieve high performance to be adopted. We present Strictness Ordering, a new constraint system that shows how we can comprehensively eliminate transient side channel attacks, while still allowing complex speculation and data forwarding between speculative instructions. We then present GhostMinion, a cache modification built using a variety of new techniques designed to provide Strictness Order at only 2.5% overhead.


title: Efficient Model Monitoring for Quality Control in Cardiac Image Segmentation

abstract: Deep learning methods have reached state-of-the-art performance in cardiac image segmentation. Currently, the main bottleneck towards their effective translation into clinics requires assuring continuous high model performance and segmentation results. In this work, we present a novel learning framework to monitor the performance of heart segmentation models in the absence of ground truth. Formulated as an anomaly detection problem, the monitoring framework allows deriving surrogate quality measures for a segmentation and allows flagging suspicious results. We propose two different types of quality measures, a global score and a pixel-wise map. We demonstrate their use by reproducing the final rankings of a cardiac segmentation challenge in the absence of ground truth. Results show that our framework is accurate, fast, and scalable, confirming it is a viable option for quality control monitoring in clinical practice and large population studies.


title: Enabling Content-Centric Device-to-Device Communication in the Millimeter-Wave Band

abstract: The growth in wireless traffic and mobility of devices have congested the core network significantly. This bottleneck, along with spectrum scarcity, made the conventional cellular networks insufficient for the dissemination of large contents. In this paper, we propose a novel scheme that enables efficient initialization of CCN-based D2D networks in the mmWave band through addressing decentralized D2D peer association and antenna beamwidth selection. The proposed scheme considers mmWave characteristics such as directional communication and blockage susceptibility. We propose a heuristic peer association algorithm to associate D2D users using context information, including link stability time and content availability. The performance of the proposed scheme in terms of data throughput and transmission efficiency is evaluated through extensive simulations. Simulation results show that the proposed scheme improves network performance significantly and outperforms other methods in the literature.


title: $L$-orthogonal elements and $L$-orthogonal sequences

abstract: Given a Banach space $X$, we say that a sequence $\{x_n\}$ in the unit ball of $X$ is $L$-orthogonal if $\Vert x+x_n\Vert\rightarrow 1+\Vert x\Vert$ for every $x\in X$. On the other hand, an element $x^{**}$ in the bidual sphere is said to be $L$-orthogonal (to $X$) if $\|x+x^{**}\|= 1+\Vert x\Vert$ for every $x\in X$. A result of V. Kadets, V. Shepelska and D. Werner asserts that a Banach space contains an isomorphic copy of $\ell_1$ if and only if there exists an equivalent renorming with an $L$-orthogonal sequence, whereas a result of G. Godefroy claims that containing an isomorphic copy of $\ell_1$ is equivalent to the existence of an equivalent renorming with $L$-orthogonals in the bidual. The aim of this paper is to clarify the relation between $L$-orthogonal sequences and $L$-orthogonal elements. Namely, we study whether every $L$-orthogonal sequence contains $L$-orthogonal elements in its weak*-closure. We provide an affirmative answer whenever the ambient space has small density character. Nevertheless, we show that, surprisingly, the general answer is independent of the usual axioms of set theory. We also prove that, even though the set of $L$-orthogonals is not a vector space, this set contains infinite-dimensional Banach spaces when the surrounding space is separable.


title: Lower Bounds for Maximum Weighted Cut

abstract: While there have been many results on lower bounds for Max Cut in unweighted graphs, the only lower bound for non-integer weights is that by Poljak and Turz{\'{\i}}k (1986). In this paper, we launch an extensive study of lower bounds for Max Cut in weighted graphs. We introduce a new approach for obtaining lower bounds for Weighted Max Cut. Using it, Probabilistic Method, Vizing's chromatic index theorem, and other tools, we obtain several lower bounds for arbitrary weighted graphs, weighted graphs of bounded girth and triangle-free weighted graphs. We pose conjectures and open questions.


title: Heated gas bubbles enrich, crystallize, dry, phosphorylate and encapsulate prebiotic molecules

abstract: Non-equilibrium conditions must have been crucial for the assembly of the first informational polymers of early life, but supporting their formation and continuous enrichment in a long-lasting environment. Here, we explore how gas bubbles in water subjected to a thermal gradient, a likely scenario within crustal mafic rocks on the early Earth, drive a complex, continuous enrichment of prebiotic molecules. NRA precursors, monomers, active ribozymes, oligonucleotides and lipids are shown to (1) cycle between dry and wet states, enabling the central step of RNA phosphorylation, (2) accumulate at the gas-water interface to drastically increase ribozymatic activity, (3) condense into hydrogels, (4) form pure crystals and (5) encapsulate into protecting vesicle aggregates that subsequently undergo fission. These effects occur within less than 30 min. The findings unite, in one location, the physical conditions that were crucial for the chemical emergence of biopolymers. They suggest that heated microbubbles could have hosted the first cycles of molecular evolution.


title: Cross-status Communication and Project Outcomesin OSS Development A Language Style Matching Perspective

abstract: The success of an open source software (OSS) project requires effective communication among its members. Given that OSS projects often have established social status systems, much communication may happen between individuals of different statuses, particularly, elite developers who have project management privileges and ordinary project contributors. Since sociolinguistics literature and our prior work have found that groups in different status would be likely develop different language styles, which may hinder critical cross status communication, and hereby influence the outcomes of the project. We seek to develop an understanding of cross status communication, as well as its impacts on the outcomes of an OSS project in terms of productivity and quality. The anticipated results describe the linguistic similarities and differences of cross status communication and reveal the relationships between these linguistic similarities and differences and project outcomes.


title: Bound States in the Continuum in Compact Acoustic Resonators

abstract: We reveal that finite-size solid acoustic resonators can support genuine bound states in the continuum (BICs) completely localized inside the resonator. The developed theory provides the multipole classification of such BICs in the resonators of various shapes. It is shown how breaking of the resonator's symmetry turns BICs into quasi-BICs manifesting themselves in the scattering spectra as high-Q Fano resonances. We believe that the revealed novel states will push the performance limits of acoustic devices and will serve as high-Q building blocks for acoustic sensors, antennas, and topological acoustic structures.


title: El Ni\~no Modoki thus far can be mostly predicted more than 10 years ahead of time

abstract: The 2014-2015 "Monster"/"Super" El Ni\~no failed to be predicted one year earlier due to the growing importance of a new type of El Ni\~no, El Ni\~no Modoki, which reportedly has much lower forecast skill with the classical models. In this study, we show that, so far as of today, this new El Ni\~no actually can be mostly predicted at a lead time of more than 10 years. This is achieved through tracing the predictability source with an information flow-based causality analysis, which is rigorously established from first principles in the past decade. We show that the information flowing from the solar activity 45 years ago to the sea surface temperature results in a causal structure resembling the El Ni\~no Modoki mode. Based on this, a multidimensional system is constructed out of the sunspot number series with time delays of 22-50 years. The first 25 principal components are then taken as the predictors to fulfill the prediction, which through information flow-based causal deep learning reproduces rather accurately the events 12 years in advance.


title: Optimizing the Whole-life Cost in End-to-end CNN Acceleration

abstract: The acceleration of CNNs has gained increasing atten-tion since their success in computer vision. With the heterogeneous functional layers that cannot be pro-cessed by the accelerators proposed for convolution layers only, modern end-to-end CNN acceleration so-lutions either transform the diverse computation into matrix/vector arithmetic, which loses data reuse op-portunities in convolution, or introduce dedicated functional unit to each kind of layer, which results in underutilization and high update expense. To enhance the whole-life cost efficiency, we need an acceleration solution that is efficient in processing CNN layers and has the generality to apply to all kinds of existing and emerging layers. To this end, we pro-pose GCONV Chain, a method to convert the entire CNN computation into a chain of standard general convolutions (GCONV) that can be efficiently pro-cessed by the existing CNN accelerators. This paper comprehensively analyzes the GCONV Chain model and proposes a full-stack implementation to support GCONV Chain. On one hand, the results on seven var-ious CNNs demonstrate that GCONV Chain improves the performance and energy efficiency of existing CNN accelerators by an average of 3.4x and 3.2x re-spectively. On the other hand, we show that GCONV Chain provides low whole-life costs for CNN accelera-tion, including both developer efforts and total cost of ownership for the users.


title: Positive hulls of random walks and bridges

abstract: We study random convex cones defned as positive hulls of $d$-dimensional random walks and bridges. We compute expectations of various geometric functionals of these cones such as the number of $k$-dimensional faces and the sums of conic quermassintegrals of their $k$-dimensional faces. These expectations are expressed in terms of Stirling numbers of both kinds and their $B$-analogues.


title: ADBSat: Methodology of a novel panel method tool for aerodynamic analysis of satellites

abstract: ADBSat is a novel software that determines the aerodynamic properties of any body in free-molecular flow. Its main advantage is the fast approximation of the aerodynamics of spacecraft in the lower end of the low-Earth orbit altitude range. It is a novel implementation of a panel method, where the body is represented as a set of fundamental elements and the sum of their individual aerodynamic properties makes up the properties of the whole. ADBSat's approach treats the shape as a set of flat triangular plates. These are read from a CAD geometry file in the Wavefront format, which can be created with most common CAD programs. A choice of gas-surface interaction models is available to represent the physics of free-molecular flow under different conditions. Its modular design means that other models can be easily and quickly implemented. It also benefits from a new shading algorithm for fast determination of elemental flow exposure. An example case is presented to show the capability and functionality of the program.


title: Investigating Methods to Improve Language Model Integration for Attention-based Encoder-Decoder ASR Models

abstract: Attention-based encoder-decoder (AED) models learn an implicit internal language model (ILM) from the training transcriptions. The integration with an external LM trained on much more unpaired text usually leads to better performance. A Bayesian interpretation as in the hybrid autoregressive transducer (HAT) suggests dividing by the prior of the discriminative acoustic model, which corresponds to this implicit LM, similarly as in the hybrid hidden Markov model approach. The implicit LM cannot be calculated efficiently in general and it is yet unclear what are the best methods to estimate it. In this work, we compare different approaches from the literature and propose several novel methods to estimate the ILM directly from the AED model. Our proposed methods outperform all previous approaches. We also investigate other methods to suppress the ILM mainly by decreasing the capacity of the AED model, limiting the label context, and also by training the AED model together with a pre-existing LM.


title: Leray-Hopf solutions to a viscoelastoplastic fluid model with nonsmooth stress-strain relation

abstract: We consider a fluid model including viscoelastic and viscoplastic effects. The state is given by the fluid velocity and an internal stress tensor that is transported along the flow with the Zaremba-Jaumann derivative. Moreover, the stress tensor obeys a nonlinear and nonsmooth dissipation law as well as stress diffusion. We prove the existence of global-in-time weak solutions satisfying an energy inequality under general Dirichlet conditions for the velocity field and Neumann conditions for the stress tensor.


title: On the Hardy property of mixed means

abstract: Hardy property of means has been extensively studied by P\'ales and Pasteczka since 2016. The core of this research is based on few of their properties: concavity, symmetry, monotonicity, repetition invariance and homogeneity (last axiom was recently omitted using some homogenizations techniques). In the present paper we deliver a study of possible omitting monotonicity and replacing repetition invariance by a weaker axiom. These results are then used to establish the Hardy constant for certain types of mixed means.


title: WHOSe Heritage: Classification of UNESCO World Heritage "Outstanding Universal Value" Documents with Soft Labels

abstract: The UNESCO World Heritage List (WHL) includes the exceptionally valuable cultural and natural heritage to be preserved for mankind. Evaluating and justifying the Outstanding Universal Value (OUV) is essential for each site inscribed in the WHL, and yet a complex task, even for experts, since the selection criteria of OUV are not mutually exclusive. Furthermore, manual annotation of heritage values and attributes from multi-source textual data, which is currently dominant in heritage studies, is knowledge-demanding and time-consuming, impeding systematic analysis of such authoritative documents in terms of their implications on heritage management. This study applies state-of-the-art NLP models to build a classifier on a new dataset containing Statements of OUV, seeking an explainable and scalable automation tool to facilitate the nomination, evaluation, research, and monitoring processes of World Heritage sites. Label smoothing is innovatively adapted to improve the model performance by adding prior inter-class relationship knowledge to generate soft labels. The study shows that the best models fine-tuned from BERT and ULMFiT can reach 94.3% top-3 accuracy. A human study with expert evaluation on the model prediction shows that the models are sufficiently generalizable. The study is promising to be further developed and applied in heritage research and practice.


title: Non Conservative Products in Fluid Dynamics

abstract: Fluid flow in pipes with discontinuous cross section or with kinks is described through balance laws with a non conservative product in the source. At jump discontinuities in the pipes' geometry, the physics of the problem suggests how to single out a solution. On this basis, we present a definition of solution for a general BV geometry and prove an existence result, consistent with a limiting procedure from piecewise constant geometries. In the case of a smoothly curved pipe we thus justify the appearance of the curvature in the source term of the linear momentum equation. These results are obtained as consequences of a general existence result devoted to abstract balance laws with non conservative source terms.


title: Study of the process $e^{+}e^{-}\rightarrow\phi\eta$ at center-of-mass energies between 2.00 and 3.08 GeV

abstract: The process $e^{+}e^{-} \rightarrow \phi\eta$ is studied at 22 center-of-mass energy points ($\sqrt{s}$) between 2.00 and 3.08 GeV using 715 pb$^{-1}$ of data collected with the BESIII detector. The measured Born cross section of $e^{+}e^{-} \rightarrow \phi\eta$ is found to be consistent with {\textsl{BABAR}} measurements, but with improved precision. A resonant structure around 2.175 GeV is observed with a significance of 6.9$\sigma$ with mass ($2163.5\pm6.2\pm3.0$) MeV/$c^{2}$ and width ($31.1_{-11.6}^{+21.1}\pm1.1$) MeV, where the first uncertainties are statistical and the second are systematic.


title: Synthesis of Frame Field-Aligned Multi-Laminar Structures

abstract: In the field of topology optimization, the homogenization approach has been revived as an important alternative to the established, density-based methods because it can represent the microstructural design at a much finer length-scale than the computational grid. The optimal microstructure for a single load case is an orthogonal rank-3 laminate. A rank-3 laminate can be described in terms of frame fields, which are also an important tool for mesh generation in both 2D and 3D. We propose a method for generating multi-laminar structures from frame fields. Rather than relying on integrative approaches that find a parametrization based on the frame field, we find stream surfaces, represented as point clouds aligned with frame vectors, and we solve an optimization problem to find well-spaced collections of such stream surfaces. The stream surface tracing is unaffected by the presence of singularities outside the region of interest. Neither stream surface tracing nor selecting well-spaced surface rely on combed frame fields. In addition to stream surface tracing and selection, we provide two methods for generating structures from stream surface collections. One of these methods produces volumetric solids by summing basis functions associated with each point of the stream surface collection. The other method reinterprets point sampled stream surfaces as a spatial twist continuum and produces a hexahedralization by dualizing a graph representing the structure. We demonstrate our methods on several frame fields produced using the homogenization approach for topology optimization, boundary-aligned, algebraic frame fields, and frame fields computed from closed-form expressions.


title: Interpreting the charge-dependent flow and constraining the chiral magnetic wave with event shape engineering

abstract: The charge asymmetry (Ach) dependence of anisotropic flow serves as an important tool to search for the chiral magnetic wave (CMW) in heavy-ion collisions. However, the background effect, such as the local charge conservation (LCC) entwined with collective flow, has not yet been unambiguously eliminated in the measurement. With the help of two models, the AMPT with initial quadrupole moment and the blast wave (BW) incorporating LCC, we discuss the features of the LCC-induced and the CMW-induced correlations between Ach and the flow. More importantly, we first propose to use the Event Shape Engineering (ESE) technique to distinguish the background and the signal for the CMW study. This method would be highly desirable in the experimental search for the CMW and provides more insights for understanding the charge-dependent collective motion of the quark-gluon plasma.


title: Designer Magnetism in High Entropy Oxides

abstract: Disorder can have a dominating influence on correlated and quantum materials leading to novel behaviors which have no clean limit counterparts. In magnetic systems, spin and exchange disorder can provide access to quantum criticality, frustration, and spin dynamics, but broad tunability of these responses and a deeper understanding of strong limit disorder is lacking. In this work, we demonstrate that high entropy oxides present an unexplored route to designing quantum materials in which the presence of strong local compositional disorder hosted on a positionally ordered lattice can be used to generate highly tunable emergent magnetic behavior--from macroscopically ordered states to frustration-driven dynamic spin interactions. Single crystal La(Cr0.2Mn0.2Fe0.2Co0.2Ni0.2)O3 films are used as a structurally uniform model system hosting a magnetic sublattice with massive microstate disorder in the form of site-to-site spin and exchange type inhomogeneity. A classical Heisenberg model is found to be sufficient to describe how compositionally disordered systems can paradoxically host long-range magnetic uniformity and demonstrates that balancing the populating elements based on their discrete quantum parameters can be used to give continuous control over ordering types and critical temperatures. Theory-guided experiments show that composite exchange values derived from the complex mix of microstate interactions can be used to design the required compositional parameters for a desired response. These predicted materials are synthesized and found to possess an incipient quantum critical point when magnetic ordering types are designed to be in direct competition; this leads to highly controllable exchange bias sensitivity in the monolithic single crystal films previously accessible only in intentionally designed bilayer heterojunctions.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mtrl-sci quant-ph


title: Gravitational polarization of the quantum vacuum caused by two point-like bodies

abstract: In a recent paper (Hajdukovic 2020a) quantum vacuum was considered as a source of gravity and, the simplest phenomenon, the gravitational polarization of the quantum vacuum by an immersed point-like body, was studied. In the present paper, we have derived the effective gravitational charge density of the quantum vacuum, caused by two point-like bodies. Among others, the obtained result proves that quantum vacuum can have regions with a negative effective gravitational charge density. Hence, quantum vacuum, the "ocean" in which all matter of the Universe is immersed, acts as a complex fluid with a very variable gravitational charge density that might include both positive and negative densities; a crucial prediction that can be tested within the Solar System. In general case of N>2 point-like bodies, immersed in the quantum vacuum, the analytical solutions are not possible, and the use of numerical methods is inevitable. The key point is that an appropriate numerical method, for the calculation of the effective gravitational charge of the quantum vacuum induced by N immersed bodies, might be crucial in description of galaxies, without the involvement of dark matter or a modification of gravity. The development of such a valuable numerical method, is not possible, without a previous (and in this study achieved) understanding of the impact of a two-body system.


title: On Analyzing Churn Prediction in Mobile Games

abstract: In subscription-based businesses, the churn rate refers to the percentage of customers who discontinue their subscriptions within a given time period. Particularly, in the mobile games industry, the churn rate is often pronounced due to the high competition and cost in customer acquisition; therefore, the process of minimizing the churn rate is crucial. This needs churn prediction, predicting users who will be churning within a given time period. Accurate churn prediction can enable the businesses to devise and engage strategic remediations to maintain a low churn rate. The paper presents our highly accurate churn prediction method. We designed this method to take into account each individual user's distinct usage period in churn prediction. As presented in the paper, this approach was able to achieve 96.6% churn prediction accuracy on a real game business. In addition, the paper shows that other existing churn prediction algorithms are improved in prediction accuracy when this method is applied.


title: On the Moore-Tachikawa varieties

abstract: Moore-Tachikawa varieties are certain Hamiltonian holomorphic symplectic varieties conjectured in the context of $2$-dimensional topological quantum field theories. We discuss several constructions related to these varieties.


title: Distinctive momentum dependent charge-density-wave gap observed in CsV$_3$Sb$_5$ superconductor with topological Kagome lattice

abstract: CsV$_3$Sb$_5$ is a newly discovered Kagome superconductor that attracts great interest due to its topological nontrivial band structure and the coexistence of superconductivity and charge-density-wave (CDW) with many exotic properties. Here, we report the detailed characterization of the CDW gap in high-quality CsV$_3$Sb$_5$ single crystals using high-resolution angle-resolved photoemission spectroscopy. We find that the CDW gap is strongly momentum dependent. While gapped around the $M$ point, the electronic states remain gapless around the $\Gamma$ point and along the $\Gamma$-$K$ direction. Such momentum dependence indicates that the CDW is driven by the scattering of electrons between neighboring $M$ points, where the band structure hosts multiple saddle points and the density of state diverges near the Fermi level. Our observations of the partially gapped Fermi surface and strongly momentum-dependent CDW gap not only provide a foundation for uncovering the mechanism of CDW in CsV$_3$Sb$_5$, but also shed light on the understanding of how the CDW coexists with superconductivity in this topological Kagome superconductor.


title: SC-GlowTTS: an Efficient Zero-Shot Multi-Speaker Text-To-Speech Model

abstract: In this paper, we propose SC-GlowTTS: an efficient zero-shot multi-speaker text-to-speech model that improves similarity for speakers unseen during training. We propose a speaker-conditional architecture that explores a flow-based decoder that works in a zero-shot scenario. As text encoders, we explore a dilated residual convolutional-based encoder, gated convolutional-based encoder, and transformer-based encoder. Additionally, we have shown that adjusting a GAN-based vocoder for the spectrograms predicted by the TTS model on the training dataset can significantly improve the similarity and speech quality for new speakers. Our model converges using only 11 speakers, reaching state-of-the-art results for similarity with new speakers, as well as high speech quality.


title: A meta-theory for big-step semantics

abstract: It is well-known that big-step semantics is not able to distinguish stuck and non-terminating computations. This is a strong limitation as it makes very difficult to reason about properties involving infinite computations, such as type soundness, which cannot even be expressed. We show that this issue is only apparent: the distinction between stuck and diverging computations is implicit in any big-step semantics and it just needs to be uncovered. To achieve this goal, we develop a systematic study of big-step semantics: we introduce an abstract definition of what a big-step semantics is, we define a notion of computation by formalising the evaluation algorithm implicitly associated with any big-step semantics, and we show how to canonically extend a big-step semantics to characterise stuck and diverging computations. Building on these notions, we describe a general proof technique to show that a predicate is sound, that is, it prevents stuck computation, with respect to a big-step semantics. One needs to check three properties relating the predicate and the semantics and, if they hold, the predicate is sound. The extended semantics are essential to establish this meta-logical result, but are of no concerns to the user, who only needs to prove the three properties of the initial big-step semantics. Finally, we illustrate the technique by several examples, showing that it is applicable also in cases where subject reduction does not hold, hence the standard technique for small-step semantics cannot be used.


title: 3D convection-resolving model of temperate, tidally-locked exoplanets

abstract: A large fraction of known terrestrial-size exoplanets located in the Habitable Zone of M-dwarfs are expected to be tidally-locked. Numerous efforts have been conducted to study the climate of such planets, using in particular 3-D Global Climate Models (GCM). One of the biggest challenges in simulating such an extreme environment is to properly represent the effects of sub-grid convection. Most GCMs use either a simplistic convective-adjustment parametrization or sophisticated (e.g., mass flux scheme) Earth-tuned parametrizations. One way to improve the representation of convection is to study convection using Convection Resolving numerical Models (CRMs), with an fine spatial resolution . In this study, we developed a CRM coupling the non-hydrostatic dynamical core WRF with the radiative transfer and cloud/precipitation models of the LMD-Generic climate model to study convection and clouds on tidally-locked planets, with a focus on Proxima b. Simulations were performed for a set of 3 surface temperatures (corresponding to three different incident fluxes) and 2 rotation rates, assuming an Earth-like atmosphere. The main result of our study is that while we recover the prediction of GCMs that (low-altitude) cloud albedo increases with increasing stellar flux, the cloud feedback is much weaker due to transient aggregation of convection leading to low partial cloud cover.


title: Hospitalisation risk for COVID-19 patients infected with SARS-CoV-2 variant B.1.1.7: cohort analysis

abstract: Objective: To evaluate the relationship between coronavirus disease 2019 (COVID-19) diagnosis with SARS-CoV-2 variant B.1.1.7 (also known as Variant of Concern 202012/01) and the risk of hospitalisation compared to diagnosis with wildtype SARS-CoV-2 variants. Design: Retrospective cohort, analysed using stratified Cox regression. Setting: Community-based SARS-CoV-2 testing in England, individually linked with hospitalisation data. Participants: 839,278 laboratory-confirmed COVID-19 patients, of whom 36,233 had been hospitalised within 14 days, tested between 23rd November 2020 and 31st January 2021 and analysed at a laboratory with an available TaqPath assay that enables assessment of S-gene target failure (SGTF). SGTF is a proxy test for the B.1.1.7 variant. Patient data were stratified by age, sex, ethnicity, deprivation, region of residence, and date of positive test. Main outcome measures: Hospitalisation between 1 and 14 days after the first positive SARS-CoV-2 test. Results: 27,710 of 592,409 SGTF patients (4.7%) and 8,523 of 246,869 non-SGTF patients (3.5%) had been hospitalised within 1-14 days. The stratum-adjusted hazard ratio (HR) of hospitalisation was 1.52 (95% confidence interval [CI] 1.47 to 1.57) for COVID-19 patients infected with SGTF variants, compared to those infected with non-SGTF variants. The effect was modified by age (P<0.001), with HRs of 0.93-1.21 for SGTF compared to non-SGTF patients below age 20 years, 1.29 in those aged 20-29, and 1.45-1.65 in age groups 30 years or older. Conclusions: The results suggest that the risk of hospitalisation is higher for individuals infected with the B.1.1.7 variant compared to wildtype SARS-CoV-2, likely reflecting a more severe disease. The higher severity may be specific to adults above the age of 30.


title: Evidence for an MHD disk wind via optical forbidden line spectro-astrometry

abstract: Spectro-astrometry is used to investigate the low velocity component (LVC) of the optical forbidden emission from the T Tauri stars RU Lupi and AS 205 N. Both stars also have high velocity forbidden emission (HVC) which is tracing a jet. For AS 205 N, analysis reveals a complicated outflow system. For RU Lupi, the [O I] 6300 and [S II] 6716, 6731 LV narrow component (NC) is offset along the same position angle (PA) as the HVC but with a different velocity gradient than the jet, in that displacement from the stellar position along the rotation axis is decreasing with increasing velocity. From the LVC NC PA and velocity gradient, it is inferred that the NC is tracing a wide angled MHD disk wind. A photoevaporative wind is ruled out. This is supported by a comparison with a previous spectro-astrometric study of the CO fundamental line. The decrease in offset with increasing velocity is interpreted as tracing an increase in the height of the wind with increasing disk radius. This is one of the first measurements of the spatial extent of the forbidden emission line LVC NC (~ 40 au, 8 au for RU~Lupi in the [S II] 6731 and [O I] 6300 lines) and the first direct confirmation that the LVC narrow component can trace an MHD disk wind.


title: Can Author Collaboration Reveal Impact? The Case of h-index

abstract: Scientific impact has been the center of extended debate regarding its accuracy and reliability. From hiring committees in academic institutions to governmental agencies that distribute funding, an author's scientific success as measured by the h-index is a vital point to their career. The objective of this work is to investigate whether the collaboration patterns of an author are good predictors of the author's future $h$-index. Although not directly related to each other, a more intense collaboration can result into increased productivity which can potentially have an impact on the author's future $h$-index. In this paper, we capitalize on recent advances in graph neural networks and we examine the possibility of predicting the $h$-index relying solely on the author's collaboration and the textual content of a subset of their papers. We perform our experiments on a large-scale network consisting of more than $1$ million authors that have published papers in computer science venues and more than $37$ million edges. The task is a six-months-ahead forecast, i.e. what the $h$-index of each author will be after six months. Our experiments indicate that there is indeed some relationship between the future $h$-index of an author and their structural role in the co-authorship network. Furthermore, we found that the proposed method outperforms standard machine learning techniques based on simple graph metrics along with node representations learned from the textual content of the author's papers.


title: Properties of the quantum vacuum calculated from its structure

abstract: Physicists have speculated about the properties of the quantum vacuum for at least 85 years; however, only recently have they understood the quantum vacuum sufficiently well to begin making testable predictions. Specifically, using Maxwell's equations to describe the interaction of the electromagnetic field with charged lepton - antilepton vacuum fluctuations, it has been possible to calculate the permittivity of the vacuum, the speed of light in the vacuum, and the fine structure constant. Physicists are now also beginning to successfully address problems in cosmology based on properties of the quantum vacuum. The terms ``vacuum catastrophe'' and ``old cosmological problem'' refer, respectively, to the predictions that the vacuum energy density and the cosmological constant are both approximately 120 orders of magnitude larger than the observed values. Using properties of the quantum vacuum and well-established physics, it is possible to demonstrate that the huge vacuum energy cannot transfer energy to normal matter; accordingly, vacuum energy contributes neither to the observed energy density of the universe nor to the cosmological constant, which plays a central role in the accelerating expansion of the universe.


title: Graphene-based autonomous pyroelectric system for near-field energy conversion

abstract: In the close vicinity of a hot solid, at distances smaller than the thermal wavelength, a strong electromagnetic energy density exists because of the presence of evanescent field. Here we explore the possibility to harvest this energy using graphene-based pyroelectric conversion devices made with an active layer encapsulated between two graphene field-effect transistors (GFETs) deposited on the source and on the cold sink. By tuning the bias voltage applied to the gates of these transistors, the thermal state and the spontaneous polarization of the active layer can be controlled at kHz frequencies. We demonstrate that the power density generated by these conversion systems can reach 1300 W/m^2 using pyroelectric Ericsson cycles, a value which surpasses the current production capacity of near-field thermophotovoltaic conversion devices by more than five orders of magnitude with low grade heat sources (T<500 K) and small temperature differences (DT~100 K).


title: Survey on reinforcement learning for language processing

abstract: In recent years some researchers have explored the use of reinforcement learning (RL) algorithms as key components in the solution of various natural language processing tasks. For instance, some of these algorithms leveraging deep neural learning have found their way into conversational systems. This paper reviews the state of the art of RL methods for their possible use for different problems of natural language processing, focusing primarily on conversational systems, mainly due to their growing relevance. We provide detailed descriptions of the problems as well as discussions of why RL is well-suited to solve them. Also, we analyze the advantages and limitations of these methods. Finally, we elaborate on promising research directions in natural language processing that might benefit from reinforcement learning.


title: Accidental gauge symmetries of Minkowski spacetime in Teleparallel theories

abstract: In this paper, we provide a general framework for the construction of the Einstein frame within non-linear extensions of the teleparallel equivalents of General Relativity. These include the metric teleparallel and the symmetric teleparallel, but also the general teleparallel theories. We write the actions in a form where we separate the Einstein--Hilbert term, the conformal mode due to the non-linear nature of the theories (which is analogous to the extra degree of freedom in $f(R)$ theories), and the sector that manifestly shows the dynamics arising from the breaking of local symmetries. This frame is then used to study the theories around the Minkowski background, and we show how all the non-linear extensions share the same quadratic action around Minkowski. As a matter of fact, we find that the gauge symmetries that are lost by going to the non-linear generalisations of the teleparallel General Relativity equivalents arise as accidental symmetries in the linear theory around Minkowski. Remarkably, we also find that the conformal mode can be absorbed into a Weyl rescaling of the metric at this order and, consequently, it disappears from the linear spectrum so only the usual massless spin 2 perturbation propagates. These findings unify in a common framework the known fact that no additional modes propagate on Minkowski backgrounds, and we can trace it back to the existence of accidental gauge symmetries of such a background.


title: Mechanism of Indirect Photon-induced Desorption at the Water Ice Surface

abstract: Electronic excitations near the surface of water ice lead to the desorption of adsorbed molecules, through a so far debated mechanism. A systematic study of photon-induced indirect desorption, revealed by the spectral dependence of the desorption (7 to 13 eV), is conducted for Ar, Kr, N2, and CO adsorbed on H2O or D2O amorphous ices. The mass and isotopic dependence and the increase of intrinsic desorption efficiency with photon energy all point to a mechanism of desorption induced by collisions between adsorbates and energetic H or D atoms, produced by photodissociation of water. This constitutes a direct and unambiguous experimental demonstration of the mechanism of indirect desorption of weakly adsorbed species on water ice, and sheds new light on the possibility of this mechanism in other systems. It also has implications for the description of photon-induced desorption in astrochemical models.


title: Talenti's comparison theorem for Poisson equation and applications on Riemannian manifold with nonnegative Ricci curvature

abstract: In this article, we prove Talenti's comparison theorem for Poisson equation on complete noncompact Riemannian manifold with nonnegative Ricci curvature. Furthermore, we obtain the Faber-Krahn inequality for the first eigenvalue of Dirichlet Laplacian, $L^1$- and $L^\infty$-moment spectrum, especially Saint-Venant theorem for torsional rigidity and a reverse H\"older inequality for eigenfunctions of Dirichlet Laplacian.


title: Deep Learning for IoT

abstract: Deep learning and other machine learning approaches are deployed to many systems related to Internet of Things or IoT. However, it faces challenges that adversaries can take loopholes to hack these systems through tampering history data. This paper first presents overall points of adversarial machine learning. Then, we illustrate traditional methods, such as Petri Net cannot solve this new question efficiently. To help IoT data analysis more efficient, we propose a retrieval method based on deep learning (recurrent neural network). Besides, this paper presents a research on data retrieval solution to avoid hacking by adversaries in the fields of adversary machine leaning. It further directs the new approaches in terms of how to implementing this framework in IoT settings based on adversarial deep learning.


title: Learning from Subjective Ratings Using Auto-Decoded Deep Latent Embeddings

abstract: Depending on the application, radiological diagnoses can be associated with high inter- and intra-rater variabilities. Most computer-aided diagnosis (CAD) solutions treat such data as incontrovertible, exposing learning algorithms to considerable and possibly contradictory label noise and biases. Thus, managing subjectivity in labels is a fundamental problem in medical imaging analysis. To address this challenge, we introduce auto-decoded deep latent embeddings (ADDLE), which explicitly models the tendencies of each rater using an auto-decoder framework. After a simple linear transformation, the latent variables can be injected into any backbone at any and multiple points, allowing the model to account for rater-specific effects on the diagnosis. Importantly, ADDLE does not expect multiple raters per image in training, meaning it can readily learn from data mined from hospital archives. Moreover, the complexity of training ADDLE does not increase as more raters are added. During inference each rater can be simulated and a 'mean' or 'greedy' virtual rating can be produced. We test ADDLE on the problem of liver steatosis diagnosis from 2D ultrasound (US) by collecting 46 084 studies along with clinical US diagnoses originating from 65 different raters. We evaluated diagnostic performance using a separate dataset with gold-standard biopsy diagnoses. ADDLE can improve the partial areas under the curve (AUCs) for diagnosing severe steatosis by 10.5% over standard classifiers while outperforming other annotator-noise approaches, including those requiring 65 times the parameters.


title: Using a Neural Network to Detect Anomalies given an N-gram Profile

abstract: In order to detect unknown intrusions and runtime errors of computer programs, the cyber-security community has developed various detection techniques. Anomaly detection is an approach that is designed to profile the normal runtime behavior of computer programs in order to detect intrusions and errors as anomalous deviations from the observed normal. However, normal but unobserved behavior can trigger false positives. This limitation has significantly decreased the practical viability of anomaly detection techniques. Reported approaches to this limitation span a simple alert threshold definition to distribution models for approximating all normal behavior based on the limited observation. However, each assumption or approximation poses the potential for even greater false positive rates. This paper presents our study on how to explain the presence of anomalies using a neural network, particularly Long Short-Term Memory, independent of actual data distributions. We present and compare three anomaly detection models, and report on our experience running different types of attacks on an Apache Hypertext Transfer Protocol server. We performed a comparative study, focusing on each model's ability to detect the onset of each attack while avoiding false positives resulting from unknown normal behavior. Our best-performing model detected the true onset of every attack with zero false positives.


title: Stabilizers in Higman-Thompson groups

abstract: We investigate stabilizers of finite sets of rational points in Cantor space for the Higman-Thompson groups $V_{n,r}$. We prove that the pointwise stabilizer is an iterated ascending HNN extension of $V_{n,q}$ for any $q\geq 1$. We also prove that the commutator subgroup of the pointwise stabilizer is simple, and we compute the abelianization. Finally, for each $n$ we classify such pointwise stabilizers up to isomorphism.


title: AI Powered Compiler Techniques for DL Code Optimization

abstract: Creating high performance implementations of deep learning primitives on CPUs is a challenging task. Multiple considerations including multi-level cache hierarchy, and wide SIMD units of CPU platforms influence the choice of program transformations to apply for performance optimization. In this paper, we present machine learning powered compiler techniques to optimize loop nests. We take a two-pronged approach to code optimization: We first apply high level optimizations to optimize the code to take optimal advantage of the cache memories. Then, we perform low level, target-specific optimizations to effectively vectorize the code to run well on the SIMD units of the machine. For high level optimizations, we use polyhedral compilation techniques and deep learning approaches. For low level optimization, we use a target specific code generator that generates code using vector intrinsics and Reinforcement Learning (RL) techniques to find the optimal parameters for the code generator. We perform experimental evaluation of the developed techniques on various matrix multiplications that occur in popular deep learning workloads. The experimental results show that the compiler techniques presented in the paper achieve 7.6X and 8.2X speed-ups over a baseline for sequential and parallel runs respectively.


title: Zeeman Doppler maps. II: the perils of eschewing physics

abstract: For the observational modeling of horizontal abundance distributions and of magnetic geometries in chemically peculiar (CP) stars, Zeeman Doppler mapping (ZDM) has become the method of choice. Comparisons between abundance maps obtained for CP stars and predictions from numerical simulations of atomic diffusion have always proved unsatisfactory, with the blame routinely put on theory. Expanding a previous study aimed at clarifying the question of the uniqueness of ZDM maps, this paper inverts the roles between observational modeling and time-dependent diffusion results, casting a cold eye on essential assumptions and algorithms underlying ZDM, in particular the Tikhonov-style regularization functionals, from 1D to 3D. We show that these have been established solely for mathematical convenience, but that they in no way reflect the physical reality in the atmospheres of magnetic CP stars. Recognizing that the observed strong magnetic fields in most well-mapped stars require the field geometry to be force-free, we demonstrate that many published maps do not meet this condition. There follows a discussion of the frequent changes in magnetic and abundance maps of well observed stars and a caveat concerning the use of least squares deconvolution in ZDM analyses. It emerges that because of the complexity and non-linearity of the field-dependent chemical stratifications, Tikhonov based ZDM inversions cannot recover the true abundance and magnetic geometries. As our findings additionally show, there is no way to define a physically meaningful 3D regularization functional instead. ZDM remains dysfunctional and does not provide any observational constraints for the modeling of atomic diffusion.


title: GAttANet: Global attention agreement for convolutional neural networks

abstract: Transformer attention architectures, similar to those developed for natural language processing, have recently proved efficient also in vision, either in conjunction with or as a replacement for convolutional layers. Typically, visual attention is inserted in the network architecture as a (series of) feedforward self-attention module(s), with mutual key-query agreement as the main selection and routing operation. However efficient, this strategy is only vaguely compatible with the way that attention is implemented in biological brains: as a separate and unified network of attentional selection regions, receiving inputs from and exerting modulatory influence on the entire hierarchy of visual regions. Here, we report experiments with a simple such attention system that can improve the performance of standard convolutional networks, with relatively few additional parameters. Each spatial position in each layer of the network produces a key-query vector pair; all queries are then pooled into a global attention query. On the next iteration, the match between each key and the global attention query modulates the network's activations -- emphasizing or silencing the locations that agree or disagree (respectively) with the global attention system. We demonstrate the usefulness of this brain-inspired Global Attention Agreement network (GAttANet) for various convolutional backbones (from a simple 5-layer toy model to a standard ResNet50 architecture) and datasets (CIFAR10, CIFAR100, Imagenet-1k). Each time, our global attention system improves accuracy over the corresponding baseline.


title: Reconstructing curves from their Hodge classes

abstract: Let $S$ be a smooth algebraic surface in $\mathbb{P}^3(\mathbb{C})$. A curve $C$ in $S$ has a cohomology class $\eta_C \in H^1 \hspace{-3pt}\left( \Omega^1_S \right)$. Define $\alpha(C)$ to be the equivalence class of $\eta_C$ in the quotient of $H^1 \hspace{-3pt}\left( \Omega^1_S \right)$ modulo the subspace generated by the class $\eta_H$ of a plane section of $S$. In the paper "Reconstructing subvarieties from their periods" the authors Movasati and Sert\"{o}z pose several interesting questions about the reconstruction of $C$ from the annihilator $I_{\alpha(C)}$ of $\alpha(C)$ in the polynomial ring $R=H^0_*(\mathcal{O}_{\mathbb{P}^3})$. It contains the homogeneous ideal of $C$, but is much larger as $R/I_{\alpha(C)}$ is artinian. We give sharp numerical conditions that guarantee $C$ is reconstructed by forms of low degree in $I_{\alpha(C)}$. We also show it is not always the case that the class $\alpha(C)$ is \textit{perfect}, that is, that $I_{\alpha(C)}$ could be bigger than the sum of the Jacobian ideal of $S$ and of the homogeneous ideals of curves $D$ in $S$ for which $I_{\alpha(D)}=I_{\alpha(C)}$.


title: Fractional time stepping and adjoint based gradient computation in an inverse problem for a fractionally damped wave equation

abstract: In this paper we consider the inverse problem of identifying the initial data in a fractionally damped wave equation from time trace measurements on a surface, as relevant in photoacoustic or thermoacoustic tomography. We derive and analyze a time stepping method for the numerical solution of the corresponding forward problem. Moreover, to efficiently obtain reconstructions by minimizing a Tikhonov regularization functional (or alternatively, by computing the MAP estimator in a Bayesian approach), we develop an adjoint based scheme for gradient computation. Numerical reconstructions in two space dimensions illustrate the performance of the devised methods.