title: Comprehensive Broadband X-ray and Multiwavelength Study of Active Galactic Nuclei in Local 57 Ultra/luminous Infrared Galaxies Observed with NuSTAR and/or Swift/BAT

abstract: We perform a systematic X-ray spectroscopic analysis of 57 local ultra/luminous infrared galaxy systems (containing 84 individual galaxies) observed with Nuclear Spectroscopic Telescope Array and/or Swift/BAT. Combining soft X-ray data obtained with Chandra, XMM-Newton, Suzaku and/or Swift/XRT, we identify 40 hard ($>$10 keV) X-ray detected active galactic nuclei (AGNs) and constrain their torus parameters with the X-ray clumpy torus model XCLUMPY (Tanimoto et al. 2019). Among the AGNs at $z < 0.03$, for which sample biases are minimized, the fraction of Compton-thick ($N_{\rm H} \geq 10^{24}$ cm$^{-2}$) AGNs reaches 64$^{+14}_{-15}$% (6/9 sources) in late mergers, while 24$^{+12}_{-10}$% (3/14 sources) in early mergers, consistent with the tendency reported by Ricci et al. (2017). We find that the bolometric AGN luminosities derived from the infrared data increase, but the X-ray to bolometric luminosity ratios decrease, with merger stage. The X-ray weak AGNs in late mergers ubiquitously show massive outflows at sub-pc to kpc scales. Among them, the most luminous AGNs ($L_{\rm bol,AGN} \sim 10^{46}$ erg s$^{-1}$) have relatively small column densities of $\lesssim$10$^{23}$ cm$^{-2}$ and almost super-Eddington ratios ($\lambda_{\rm Edd} \sim$ 1.0). Their torus covering factors ($C_{\rm T}^{\rm (22)} \sim 0.6$) are larger than those of Swift/BAT selected AGNs with similarly high Eddington ratios. These results suggest a scenario that, in the final stage of mergers, multiphase strong outflows are produced due to chaotic quasi-spherical inflows and the AGN becomes extremely X-ray weak and deeply buried due to obscuration by inflowing and/or outflowing material.


title: The ALPINE-ALMA [CII] survey: The contribution of major mergers to the galaxy mass assembly at z~5

abstract: Galaxy mergers are thought to be one of the main mechanisms of the mass assembly of galaxies. Recently, many works have suggested a possible increase in the fraction of major mergers in the early Universe, reviving the debate on which processes (e.g., cold accretion, star formation, mergers) most contribute to the mass build-up of galaxies through cosmic time. To estimate the importance of major mergers in this context, we make use of the new data collected by the ALMA Large Program to INvestigate [CII] at Early times (ALPINE), which observed the [CII] 158 $\mu$m emission line from a sample of 75 main-sequence star-forming galaxies at 4.4 < z < 5.9. We used, for the first time, the morpho-kinematic information provided by the [CII] emission to obtain the fraction of major mergers ($f_{MM}$) at z~5. By adopting different prescriptions for the merger timescales ($T_{MM}$), we converted this fraction into the merger rate per galaxy ($R_{MM}$) and per volume ($\Gamma_{MM}$). We then combined our results with those at lower redshifts from the literature, computing the cosmic evolution of the merger fraction. This is described by a rapid increase from z~0 to higher redshifts, a peak at z~3, and a slow decrease towards earlier epochs. Depending on the timescale prescription used, this fraction translates into a merger rate ranging between ~0.1 and ~4.0 Gyr$^{-1}$ at z~5. Finally, we compare the specific star formation and star-formation rate density with the analogous quantities from major mergers. Our new ALPINE data reveal the presence of a significant merging activity in the early Universe. However, whether this population of mergers can provide a relevant contribution to the galaxy mass assembly at these redshifts and through the cosmic epochs is strongly dependent on the assumption of the merger timescale.


title: CLMM: a LSST-DESC Cluster weak Lensing Mass Modeling library for cosmology

abstract: We present the v1.0 release of CLMM, an open source Python library for the estimation of the weak lensing masses of clusters of galaxies. CLMM is designed as a standalone toolkit of building blocks to enable end-to-end analysis pipeline validation for upcoming cluster cosmology analyses such as the ones that will be performed by the LSST-DESC. Its purpose is to serve as a flexible, easy-to-install and easy-to-use interface for both weak lensing simulators and observers and can be applied to real and mock data to study the systematics affecting weak lensing mass reconstruction. At the core of CLMM are routines to model the weak lensing shear signal given the underlying mass distribution of galaxy clusters and a set of data operations to prepare the corresponding data vectors. The theoretical predictions rely on existing software, used as backends in the code, that have been thoroughly tested and cross-checked. Combined, theoretical predictions and data can be used to constrain the mass distribution of galaxy clusters as demonstrated in a suite of example Jupyter Notebooks shipped with the software and also available in the extensive online documentation.


title: Modeling Fast Radio Burst Dispersion and Scattering Properties in the First CHIME/FRB Catalog

abstract: We present a Monte Carlo-based population synthesis study of fast radio burst (FRB) dispersion and scattering focusing on the first catalog of sources detected with the Canadian Hydrogen Intensity Mapping Experiment Fast Radio Burst (CHIME/FRB) project. We simulate intrinsic properties and propagation effects for a variety of FRB population models and compare the simulated distributions of dispersion measures (DMs) and scattering timescales with the corresponding distributions from the CHIME/FRB catalog. Our simulations confirm the results of previous population studies, which suggested that the interstellar medium of the host galaxy alone (simulated based on the NE2001 model) cannot explain the observed scattering timescales of FRBs. We therefore consider additional sources of scattering, namely, the circumgalactic medium (CGM) of intervening galaxies and the circumburst medium whose properties are modeled based on typical Galactic plane environments. We find that a population of FRBs with scattering contributed by these media is marginally consistent with the CHIME/FRB catalog. In this scenario, our simulations favor a population of FRBs offset from their galaxy centers over a population which is distributed along the spiral arms. However, if the models proposing the CGM as a source of intense scattering are incorrect, then we conclude that FRBs may inhabit environments with more extreme properties than those inferred for pulsars in the Milky Way.


title: Tree boosting for learning EFT parameters

abstract: We present a new tree boosting algorithm designed for the measurement of parameters in the context of effective field theory (EFT). To construct the algorithm, we interpret the optimized loss function of a traditional decision tree as the maximal Fisher information in Poisson counting experiments. We promote the interpretation to general EFT predictions and develop a suitable boosting method. The resulting ``Boosted Information Tree'' algorithm approximates the score, the derivative of the log-likelihood function with respect to the parameter. It thus provides a sufficient statistic in the vicinity of a reference point in parameter space where the estimator is trained. The training exploits per-event information of likelihood ratios for different theory parameter values available in the simulated EFT data sets.


title: Double-lined spectroscopic binaries in the APOGEE DR16 and DR17 data

abstract: APOGEE spectra offer $\lesssim$1 km s$^{-1}$ precision in the measurement of stellar radial velocities (RVs). This holds even when multiple stars are captured in the same spectrum, as happens most commonly with double-lined spectroscopic binaries (SB2s), although random line of sight alignments of unrelated stars can also occur. We develop a code that autonomously identifies SB2s and higher order multiples in the APOGEE spectra, resulting in 7273 candidate SB2s, 813 SB3s, and 19 SB4s. We estimate the mass ratios of binaries, and for a subset of these systems with sufficient number of measurements we perform a complete orbital fit, confirming that most systems with period $<$10 days have circularized. Overall, we find a SB2 fraction ($F_{SB2}$) $\sim$3\% among main sequence dwarfs, and that there is not a significant trend in $F_{SB2}$ with temperature of a star. We are also able to recover a higher $F_{SB2}$ in sources with lower metallicity, however there are some observational biases. We also examine light curves from TESS to determine which of these spectroscopic binaries are also eclipsing. Such systems, particularly those that are also pre- and post-main sequence, are good candidates for a follow-up analysis to determine their masses and temperatures.


title: Breaking the degeneracy in magnetic cataclysmic variable X-ray spectral modeling using X-ray light curves

abstract: We present an analysis of mock X-ray spectra and light curves of magnetic cataclysmic variables using an upgraded version of the 3D CYCLOPS code. This 3D representation of the accretion flow allows us to properly model total and partial occultation of the post-shock region by the white dwarf as well as the modulation of the X-ray light curves due to the phase-dependent extinction of the pre-shock region. We carried out detailed post-shock region modeling in a four-dimensional parameter space by varying the white dwarf mass and magnetic field strength as well as the magnetosphere radius and the specific accretion rate. To calculate the post-shock region temperature and density profiles, we assumed equipartition between ions and electrons, took into account the white dwarf gravitational potential, the finite size of the magnetosphere and a dipole-like magnetic field geometry, and considered cooling by both bremsstrahlung and cyclotron radiative processes. By investigating the impact of the parameters on the resulting X-ray continuum spectra, we show that there is an inevitable degeneracy in the four-dimensional parameter space investigated here, which compromises X-ray continuum spectral fitting strategies and can lead to incorrect parameter estimates. However, the inclusion of X-ray light curves in different energy ranges can break this degeneracy, and it therefore remains, in principle, possible to use X-ray data to derive fundamental parameters of magnetic cataclysmic variables, which represents an essential step toward understanding their formation and evolution.


title: Formation of supermassive black holes in galactic nuclei II: retention and growth of seed intermediate-mass black holes

abstract: In many galactic nuclei, a nuclear stellar cluster (NSC) co-exists with a supermassive black hole (SMBH). In this work, we explore the idea that the NSC forms before the SMBH through the merger of several stellar clusters that may contain intermediate-mass black holes (IMBHs). These IMBHs can subsequently grow by mergers and accretion to form an SMBH. To check the observable consequences of this proposed SMBH seeding mechanism, we created an observationally motivated mock population of galaxies, in which NSCs are constructed by aggregating stellar clusters that may or may not contain IMBHs. We model the growth of IMBHs in the NSCs through gravitational wave (GW) mergers with other IMBHs and gas accretion. In the case of GW mergers, the merged BH can either be retained or ejected depending on the GW recoil kick it receives. The likelihood of retaining the merged BH increases if we consider growth of IMBHs in the NSC through gas accretion. We find that nucleated lower-mass galaxies ($\rm M_{\star} \lesssim 10^{9} \ M_{\odot}$; e.g. M33) have an SMBH seed occupation fraction of about 0.3 to 0.5. This occupation fraction increases with galaxy stellar mass and for more massive galaxies ($\rm 10^{9} \ M_{\odot} \lesssim \rm M_{\star} \lesssim 10^{11} \ M_{\odot}$), it is between 0.5 and 0.8, depending on how BH growth is modelled. These occupation fractions are consistent with observational constraints. Furthermore, allowing for BH growth also allows us to reproduce the observed diversity in the mass range of SMBHs in the $\rm M_{\rm NSC} - M_{\rm BH}$ plane.


title: Multiple-phase quantum interferometry -- real and apparent gains of measuring all the phases simultaneously

abstract: We characterize operationally meaningful quantum gains in a paradigmatic model of lossless multiple-phase interferometry and stress insufficiency of the analysis based solely on the concept of quantum Fisher information. We show that the advantage of the optimal simultaneous estimation scheme amounts to a constant factor improvement when compared with schemes where each phase is estimated separately -- contrary to a widely cited results claiming a better precision scaling in terms of the number of phases involved.


title: A hard X-ray view of Luminous and Ultra-luminous Infrared Galaxies in GOALS: I - AGN obscuration along the merger sequence

abstract: The merger of two or more galaxies can enhance the inflow of material from galactic scales into the close environments of Active Galactic Nuclei (AGN), obscuring and feeding the supermassive black hole (SMBH). Both recent simulations and observations of AGN in mergers have confirmed that mergers are related to strong nuclear obscuration. However, it is still unclear how AGN obscuration evolves in the last phases of the merger process. We study a sample of 60 Luminous and Ultra-luminous IR galaxies (U/LIRGs) from the GOALS sample observed by NuSTAR. We find that the fraction of AGN that are Compton-thick (CT; $N_{\rm H}\geq 10^{24}\rm\,cm^{-2}$) peaks at $74_{-19}^{+14}\%$ at a late merger stage, prior to coalescence, when the nuclei have projected separations of $d_{\rm sep}\sim 0.4-6$ kpc. A similar peak is also observed in the median $N_{\rm H}$ [$(1.6\pm0.5)\times10^{24}\rm\,cm^{-2}$]. The vast majority ($85^{+7}_{-9}\%$) of the AGN in the final merger stages ($d_{\rm sep}\lesssim 10$ kpc) are heavily obscured ($N_{\rm H}\geq 10^{23}\rm\,cm^{-2}$), and the median $N_{\rm H}$ of the accreting SMBHs in our sample is systematically higher than that of local hard X-ray selected AGN, regardless of the merger stage. This implies that these objects have very obscured nuclear environments, with the $N_{\rm H}\geq 10^{23}\rm\,cm^{-2}$ gas almost completely covering the AGN in late mergers. CT AGN tend to have systematically higher absorption-corrected X-ray luminosities than less obscured sources. This could either be due to an evolutionary effect, with more obscured sources accreting more rapidly because they have more gas available in their surroundings, or to a selection bias. The latter scenario would imply that we are still missing a large fraction of heavily obscured, lower luminosity ($L_{2-10}\lesssim 10^{43}\rm\,erg\,s^{-1}$) AGN in U/LIRGs.


title: Probing scalar dark matter oscillations with neutrino oscillations

abstract: If ultra-light dark matter (ULDM) exists and couples to neutrinos, it can be discovered via time-periodic variations in the neutrino mass and mixing parameters. We analyze the current bounds on such a scenario and establish the sensitivity expected for both time-averaged and time-resolved modulations in future neutrino oscillation experiments. We place a special emphasis in our analysis on time modulations of the CP violating mixing phase. We illustrate with a toy model the case where the leading modulation effect can be CP violating while the effect on CP conserving parameters is suppressed. We show a unique imprint that a time averaged CP violating modulation of ULDM can leave in neutrino oscillations, while direct CP asymmetries vanish.


title: The charm of 331

abstract: We perform a detailed analysis of flavour changing neutral current processes in the charm sector in the context of 331 models. As pointed out recently, in the case of $Z^\prime$ contributions in these models there are no new free parameters beyond those already present in the $B_{d,s}$ and $K$ meson systems analyzed in the past. As a result, definite ranges for new Physics (NP) effects in various charm observables could be obtained. While generally NP effects turn out to be small, in a number of observables they are much larger than the tiny effects predicted within the Standard Model. In particular we find that the branching ratio of the mode $D^0 \to \mu^+ \mu^-$, despite remaining tiny, can be enhanced by 6 orders of magnitude with respect to the SM. We work out correlations between this mode and rare $B_{d,s}$ and $K$ decays. We also discuss neutral charm meson oscillations and CP violation in the charm system. In particular, we point out that 331 models provide new weak phases that are a necessary condition to have non-vanishing CP asymmetries. In the case of $\Delta A_{CP}$, the difference between the CP asymmetries in $D^0 \to K^+ K^-$ and $D^0 \to \pi^+ \pi^-$, we find that agreement with experiment can be obtained provided that two conditions are verified: the phases in the ranges predicted in 331 models and large hadronic matrix elements.


title: A local approach to parameter space reduction for regression and classification tasks

abstract: Parameter space reduction has been proved to be a crucial tool to speed-up the execution of many numerical tasks such as optimization, inverse problems, sensitivity analysis, and surrogate models' design, especially when in presence of high-dimensional parametrized systems. In this work we propose a new method called local active subspaces (LAS), which explores the synergies of active subspaces with supervised clustering techniques in order to carry out a more efficient dimension reduction in the parameter space. The clustering is performed without losing the input-output relations by introducing a distance metric induced by the global active subspace. We present two possible clustering algorithms: K-medoids and a hierarchical top-down approach, which is able to impose a variety of subdivision criteria specifically tailored for parameter space reduction tasks. This method is particularly useful for the community working on surrogate modelling. Frequently, the parameter space presents subdomains where the objective function of interest varies less on average along different directions. So, it could be approximated more accurately if restricted to those subdomains and studied separately. We tested the new method over several numerical experiments of increasing complexity, we show how to deal with vectorial outputs, and how to classify the different regions with respect to the local active subspace dimension. Employing this classification technique as a preprocessing step in the parameter space, or output space in case of vectorial outputs, brings remarkable results for the purpose of surrogate modelling.


title: Local SGD Optimizes Overparameterized Neural Networks in Polynomial Time

abstract: In this paper we prove that Local (S)GD (or FedAvg) can optimize deep neural networks with Rectified Linear Unit (ReLU) activation function in polynomial time. Despite the established convergence theory of Local SGD on optimizing general smooth functions in communication-efficient distributed optimization, its convergence on non-smooth ReLU networks still eludes full theoretical understanding. The key property used in many Local SGD analysis on smooth function is gradient Lipschitzness, so that the gradient on local models will not drift far away from that on averaged model. However, this decent property does not hold in networks with non-smooth ReLU activation function. We show that, even though ReLU network does not admit gradient Lipschitzness property, the difference between gradients on local models and average model will not change too much, under the dynamics of Local SGD. We validate our theoretical results via extensive experiments. This work is the first to show the convergence of Local SGD on non-smooth functions, and will shed lights on the optimization theory of federated training of deep neural networks.


title: Filament Plots for Data Visualization

abstract: The efficiency of modern computer graphics allows us to explore collections of space curves simultaneously with "drag-to-rotate" interfaces. This inspires us to replace "scatterplots of points" with "scatterplots of curves" to simultaneously visualize relationships across an entire dataset. Since spaces of curves are infinite dimensional, scatterplots of curves avoid the "lossy" nature of scatterplots of points. In particular, if two points are close in a scatterplot of points derived from high-dimensional data, it does not generally follow that the two associated data points are close in the data space. Standard Andrews plots provide scatterplots of curves that perfectly preserve Euclidean distances, but simultaneous visualization of these graphs over an entire dataset produces visual clutter because graphs of functions generally overlap in 2D. We mitigate this visual clutter issue by constructing computationally inexpensive 3D extensions of Andrews plots. First, we construct optimally smooth 3D Andrews plots by considering linear isometries from Euclidean data spaces to spaces of planar parametric curves. We rigorously parametrize the linear isometries that produce (on average) optimally smooth curves over a given dataset. This parameterization of optimal isometries reveals many degrees of freedom, and (using recent results on generalized Gauss sums) we identify a particular member of this set which admits an asymptotic "tour" property that avoids certain local degeneracies as well. Finally, we construct unit-length 3D curves (filaments) by numerically solving Frenet-Serret systems given data from these 3D Andrews plots. We conclude with examples of filament plots for several standard datasets, illustrating how filament plots avoid visual clutter. Code and examples available at https://github.com/n8epi/filaments/ and https://n8epi.github.io/filaments/


title: Multiclass versus Binary Differentially Private PAC Learning

abstract: We show a generic reduction from multiclass differentially private PAC learning to binary private PAC learning. We apply this transformation to a recently proposed binary private PAC learner to obtain a private multiclass learner with sample complexity that has a polynomial dependence on the multiclass Littlestone dimension and a poly-logarithmic dependence on the number of classes. This yields an exponential improvement in the dependence on both parameters over learners from previous work. Our proof extends the notion of $\Psi$-dimension defined in work of Ben-David et al. [JCSS '95] to the online setting and explores its general properties.


title: Sharp upper and lower bounds on a restricted class of convex characters

abstract: Let $\mathcal{T}$ be an unrooted binary tree with $n$ distinctly labelled leaves. Deriving its name from the field of phylogenetics, a convex character on $\mathcal{T}$ is simply a partition of the leaves such that the minimal spanning subtrees induced by the blocks of the partition are mutually disjoint. In earlier work Kelk and Stamoulis (Advances in Applied Mathematics 84 (2017), pp. 34--46) defined $g_k(\mathcal{T})$ as the number of convex characters where each block has at least $k$ leaves. Exact expressions were given for $g_1$ and $g_2$, where the topology of $\mathcal{T}$ turns out to be irrelevant, and it was noted that for $k \geq 3$ topological neutrality no longer holds. In this article, for every $k \geq 3$ we describe tree topologies achieving the maximum and minimum values of $g_k$ and determine corresponding expressions and exponential bounds for $g_k$. Finally, we reflect briefly on possible algorithmic applications of these results.


title: Kinetic equations and hierarchies of evolution equations of quantum systems

abstract: The article provides an overview of some advances in the mathematical understanding of the nature of the kinetic equations of quantum systems of many particles. The fundamental equations of modern mathematical physics are studied, in particular, the hierarchies of evolution equations of quantum systems and their asymptotic behavior described by kinetic nonlinear equations.

categories: math-ph cond-mat.stat-mech math.AP math.MP quant-ph


title: On the Certified Robustness for Ensemble Models and Beyond

abstract: Recent studies show that deep neural networks (DNN) are vulnerable to adversarial examples, which aim to mislead DNNs by adding perturbations with small magnitude. To defend against such attacks, both empirical and theoretical defense approaches have been extensively studied for a single ML model. In this work, we aim to analyze and provide the certified robustness for ensemble ML models, together with the sufficient and necessary conditions of robustness for different ensemble protocols. Although ensemble models are shown more robust than a single model empirically; surprisingly, we find that in terms of the certified robustness the standard ensemble models only achieve marginal improvement compared to a single model. Thus, to explore the conditions that guarantee to provide certifiably robust ensemble ML models, we first prove that diversified gradient and large confidence margin are sufficient and necessary conditions for certifiably robust ensemble models under the model-smoothness assumption. We then provide the bounded model-smoothness analysis based on the proposed Ensemble-before-Smoothing strategy. We also prove that an ensemble model can always achieve higher certified robustness than a single base model under mild conditions. Inspired by the theoretical findings, we propose the lightweight Diversity Regularized Training (DRT) to train certifiably robust ensemble ML models. Extensive experiments show that our DRT enhanced ensembles can consistently achieve higher certified robustness than existing single and ensemble ML models, demonstrating the state-of-the-art certified L2-robustness on MNIST, CIFAR-10, and ImageNet datasets.


title: Turbulent Magnetic Dynamos with Halo Lags, Winds, and Jets

abstract: This paper presents scale invariant/self-similar galactic magnetic dynamo models based on the classic equations, and compares them qualitatively to recently observed magnetic fields in edge-on spiral galaxies. We classify the axially symmetric dynamo magnetic field by its separate sources, advected flux and sub scale turbulence. We neglect the diffusion term under plausible physical conditions. There is a time dependence determined by globally conserved quantities. We show that magnetic scale heights increase with radius and wind velocity. We suggest that AGN outflow is an important element of the large scale galactic dynamo, based on the dynamo action of increasing sub scale vorticity. This leads us to {\it predict} a correlation between the morphology of coherent galactic magnetic field (i.e. extended polarized flux) and the presence of an AGN.


title: The Pattern Speed of the Milky Way Bar/Bulge from VIRAC & Gaia

abstract: We compare distance resolved, absolute proper motions in the Milky Way bar/bulge region to a grid of made-to-measure dynamical models with well defined pattern speeds. The data are obtained by combining the relative VVV Infrared Astrometric Catalog v1 proper motions with the Gaia DR2 absolute reference frame. We undertake a comprehensive analysis of the various errors in our comparison, from both the data and the models, and allow for additional, unknown, contributions by using an outlier-tolerant likelihood function to evaluate the best fitting model. We quantify systematic effects such as the region of data included in the comparison, the possible overlap from spiral arms, and the choice of synthetic luminosity function and bar angle used to predict the data from the models. Resulting variations in the best-fit parameters are included in their final errors. We thus measure the bar pattern speed to be ${\Omega}_b=33.29\pm1.81 \mathrm{km \, s^{-1} \, kpc^{-1}}$ and the azimuthal solar velocity to be $V_{\phi,\,\odot} = 251.31 \pm 1.95 \mathrm{km \, s^{-1}}$. These values, when combined with recent measurements of the Galactic rotation curve, yield the distance of corotation, 6.5 < $R_{CR}$ [kpc] < 7.5, the outer Lindblad resonance (OLR), 10.7 < $R_{OLR}$ [kpc] < 12.4, and the higher order, m = 4, OLR, 8.7 < $R_{{OLR}_4}$ [kpc] < 10.0. The measured pattern speed provides strong evidence for the "long-slow" bar scenario.


title: Newman-Janis Ansatz for rotating wormholes

abstract: A central problem in General Relativity is obtaining a solution to describe the source's interior counterpart for Kerr black hole. Besides, determining a method to match the interior and exterior solutions through a surface free of predefined coordinates remains an open problem. In this work, we present the ansatz formulated by Newman-Janis to generate solutions to the Einstein field equation inspired by the mentioned problems. We present a collection of independent classes of exact interior solutions of the Einstein equation describing rotating fluids with anisotropic pressures. Furthermore, we will elaborate on some obtained solutions by alluding to rotating wormholes.


title: Semi-Device-Independent Certification of Causal Nonseparability with Trusted Quantum Inputs

abstract: While the standard formulation of quantum theory assumes a fixed background causal structure, one can relax this assumption within the so-called process matrix framework. Remarkably, some processes, termed causally nonseparable, are incompatible with a definite causal order. We explore a form of certification of causal nonseparability in a semi-device-independent scenario where the involved parties receive trusted quantum inputs, but whose operations are otherwise uncharacterised. Defining the notion of causally nonseparable distributed measurements, we show that certain causally nonseparable processes which cannot violate any causal inequality, including the canonical example of the quantum switch, can generate noncausal correlations in such a scenario. Moreover, by imposing some further natural structure to the untrusted operations, we show that all bipartite causally nonseparable process matrices can be certified with trusted quantum inputs.


title: Bagging, optimized dynamic mode decomposition (BOP-DMD) for robust, stable forecasting with spatial and temporal uncertainty-quantification

abstract: Dynamic mode decomposition (DMD) provides a regression framework for adaptively learning a best-fit linear dynamics model over snapshots of temporal, or spatio-temporal, data. A diversity of regression techniques have been developed for producing the linear model approximation whose solutions are exponentials in time. For spatio-temporal data, DMD provides low-rank and interpretable models in the form of dominant modal structures along with their exponential/oscillatory behavior in time. The majority of DMD algorithms, however, are prone to bias errors from noisy measurements of the dynamics, leading to poor model fits and unstable forecasting capabilities. The optimized DMD algorithm minimizes the model bias with a variable projection optimization, thus leading to stabilized forecasting capabilities. Here, the optimized DMD algorithm is improved by using statistical bagging methods whereby a single set of snapshots is used to produce an ensemble of optimized DMD models. The outputs of these models are averaged to produce a bagging, optimized dynamic mode decomposition (BOP-DMD). BOP-DMD not only improves performance, it also robustifies the model and provides both spatial and temporal uncertainty quantification (UQ). Thus unlike currently available DMD algorithms, BOP-DMD provides a stable and robust model for probabilistic, or Bayesian forecasting with comprehensive UQ metrics.


title: Discovering Sparse Interpretable Dynamics from Partial Observations

abstract: Identifying the governing equations of a nonlinear dynamical system is key to both understanding the physical features of the system and constructing an accurate model of the dynamics that generalizes well beyond the available data. We propose a machine learning framework for discovering these governing equations using only partial observations, combining an encoder for state reconstruction with a sparse symbolic model. Our tests show that this method can successfully reconstruct the full system state and identify the underlying dynamics for a variety of ODE and PDE systems.


title: Using UMAP to Inspect Audio Data for Unsupervised Anomaly Detection under Domain-Shift Conditions

abstract: The goal of Unsupervised Anomaly Detection (UAD) is to detect anomalous signals under the condition that only non-anomalous (normal) data is available beforehand. In UAD under Domain-Shift Conditions (UAD-S), data is further exposed to contextual changes that are usually unknown beforehand. Motivated by the difficulties encountered in the UAD-S task presented at the 2021 edition of the Detection and Classification of Acoustic Scenes and Events (DCASE) challenge, we visually inspect Uniform Manifold Approximations and Projections (UMAPs) for log-STFT, log-mel and pretrained Look, Listen and Learn (L3) representations of the DCASE UAD-S dataset. In our exploratory investigation, we look for two qualities, Separability (SEP) and Discriminative Support (DSUP), and formulate several hypotheses that could facilitate diagnosis and developement of further representation and detection approaches. Particularly, we hypothesize that input length and pretraining may regulate a relevant tradeoff between SEP and DSUP. Our code as well as the resulting UMAPs and plots are publicly available.


title: Layer 2 Blockchain Scaling: a Survey

abstract: Blockchain technology is affected by massive limitations in scalability with consequent repercussions on performance. This discussion aims at analyzing the state of the art of current available Layer II solutions to overcome these limitations, both focusing on theoretical and practical aspects and highlighting the main differences among the examined frameworks. The structure of the work is based on three major sections. In particular, the first one is an introductory part about the technology, the scalability issue and Layer II as a solution. The second section represents the core of the discussion and consists of three different subsections, each with a detailed examination of the respective solution (Lightning Network, Plasma, Rollups); the analysis of each solution is based on how it affects five key aspects of blockchain technology and Layer II: scalability, security, decentralization, privacy, fees and micropayments (the last two are analyzed together given their high correlation). Finally, the third section includes a tabular summary, followed by a detailed description of a use-case specifically thought for a practical evaluation of the presented frameworks. The results of the work met expectations: all solutions effectively contribute to increasing scalability. A crucial clarification is that none of the three dominates the others in all possible fields of application, and the consequences in adopting each, are different. Therefore, the choice depends on the application context, and a trade-off must be found between the aspects previously mentioned.


title: Size doesn't matter: predicting physico- or biochemical properties based on dozens of molecules

abstract: The use of machine learning in chemistry has become a common practice. At the same time, despite the success of modern machine learning methods, the lack of data limits their use. Using a transfer learning methodology can help solve this problem. This methodology assumes that a model built on a sufficient amount of data captures general features of the chemical compound structure on which it was trained and that the further reuse of these features on a dataset with a lack of data will greatly improve the quality of the new model. In this paper, we develop this approach for small organic molecules, implementing transfer learning with graph convolutional neural networks. The paper shows a significant improvement in the performance of models for target properties with a lack of data. The effects of the dataset composition on model quality and the applicability domain of the resulting models are also considered.


title: Fine dimensional properties of spectral measures

abstract: Operators with zero dimensional spectral measures appear naturally in the theory of ergodic Schr\"odinger operators. We develop the concept of a complete family of Hausdorff measure functions in order to analyze and distinguish between these measures with any desired precision. We prove that the dimension of spectral measures of half-line operators with positive upper Lyapunov exponent are at most logarithmic for every possible boundary phase. We show that this is sharp by constructing an explicit operator whose spectral measure obtains this dimension. We also extend and improve some basic results from the theory of rank one perturbations and quantum dynamics to encompass generalized Hausdorff dimensions.


title: Structured second-order methods via natural gradient descent

abstract: In this paper, we propose new structured second-order methods and structured adaptive-gradient methods obtained by performing natural-gradient descent on structured parameter spaces. Natural-gradient descent is an attractive approach to design new algorithms in many settings such as gradient-free, adaptive-gradient, and second-order methods. Our structured methods not only enjoy a structural invariance but also admit a simple expression. Finally, we test the efficiency of our proposed methods on both deterministic non-convex problems and deep learning problems.


title: Laplace and Saddlepoint Approximations in High Dimensions

abstract: We examine the behaviour of the Laplace and saddlepoint approximations in the high-dimensional setting, where the dimension of the model is allowed to increase with the number of observations. Approximations to the joint density, the marginal posterior density and the conditional density are considered. Our results show that under the mildest assumptions on the model, the error of the joint density approximation is $O(p^4/n)$ if $p = o(n^{1/4})$ for the Laplace approximation and saddlepoint approximation, and $O(p^3/n)$ if $p = o(n^{1/3})$ under additional assumptions on the second derivative of the log-likelihood. Stronger results are obtained for the approximation to the marginal posterior density.


title: Symbol Length in Brauer Groups of Elliptic Curves

abstract: Let $\ell$ be an odd prime, and let $K$ be a field of characteristic not $2,3,$ or $\ell$ containing a primitive $\ell$-th root of unity. For an elliptic curve $E$ over $K$, we consider the standard Galois representation $$\rho_{E,\ell}: \text{Gal}(\overline{K}/K) \rightarrow \text{GL}_2(\mathbb{F}_{\ell}),$$ and denote the fixed field of its kernel by $L$. Recently, the last author gave an algorithm to compute elements in the Brauer group explicitly, deducing an upper bound of $2(\ell+1)(\ell-1)$ on the symbol length in $\mathbin{_{\ell}\text{Br}(E)} / \mathbin{_{\ell}\text{Br}(K)}$. More precisely, the symbol length is bounded above by $2[L:K]$. We improve this bound to $[L:K]-1$ if $\ell \nmid [L:K]$. Under the additional assumption that $\text{Gal}(L/K)$ contains an element of order $d > 1$, we further reduce it to $(1-\frac{1}{d})[L:K]$. In particular, these bounds hold for all CM elliptic curves, in which case we deduce a general upper bound of $\ell + 1$. We provide an algorithm implemented in SageMath to compute these symbols explicitly over number fields.


title: The effect of elastic disorder on single electron transport through a buckled nanotube

abstract: We study transport properties of a single electron transistor based on elastic nanotube. Assuming that an external compressive force is applied to the nanotube, we focus on the vicinity of the Euler buckling instability. We demonstrate that in this regime the transport through the transistor is extremely sensitive to elastic disorder. In particular, built-in curvature (random or regular) leads to the ``elastic curvature blockade'': appearance of threshold bias voltage in the $I$-$V$ curve which can be larger than the Coulomb-blockade-induced one. In the case of a random curvature, an additional plateau in dependence of the average current on a bias voltage appears.


title: PCMPC: Perception-Constrained Model Predictive Control for Quadrotors with Suspended Loads using a Single Camera and IMU

abstract: In this paper, we address the Perception--Constrained Model Predictive Control (PCMPC) and state estimation problems for quadrotors with cable suspended payloads using a single camera and Inertial Measurement Unit (IMU). We design a receding--horizon control strategy for cable suspended payloads directly formulated on the system manifold configuration space SE(3)xS^2. The approach considers the system dynamics, actuator limits and the camera's Field Of View (FOV) constraint to guarantee the payload's visibility during motion. The monocular camera, IMU, and vehicle's motor speeds are combined to provide estimation of the vehicle's states in 3D space, the payload's states, the cable's direction and velocity. The proposed control and state estimation solution runs in real-time at 500 Hz on a small quadrotor equipped with a limited computational unit. The approach is validated through experimental results considering a cable suspended payload trajectory tracking problem at different speeds.


title: Gaussian trajectory description of fragmentation in an isolated spinor condensate

abstract: Spin-1 Bose gases quenched to spin degeneracy exhibit fragmentation: the appearance of a condensate in more than one single-particle state. Due to its highly entangled nature, the dynamics leading to this collective state are beyond the scope of a Gaussian variational approximation of the many-body wave function. Here, we improve the performance of the Gaussian variational Ansatz by considering dissipation into a fictitious environment, effectively suppressing entanglement within individual quantum trajectories at the expense of introducing a classical mixture of states. We find that this quantum trajectory approach captures the dynamical formation of a fragmented condensate, and analyze how much dissipation should be added to the experiment in order to keep a single realization in a non-fragmented state.


title: Twisted O-operators on 3-Lie algebras and 3-NS-Lie algebras

abstract: The purpose of this paper is to introduce twisted $\mathcal{O}$-operators on $3$-Lie algebras. We define a cohomology of a twisted $\mathcal{O}$-operator $T$ as the Chevalley-Eilenberg cohomology of a certain $3$-Lie algebra induced by $T$ with coefficients in a suitable representation. Then we consider infinitesimal and formal deformations of twisted $\mathcal{O}$-operators from cohomological points of view. Furthermore, we introduce and study $3$-NS-Lie-algebras as the underlying structure of twisted $\mathcal{O}$-operators on $3$-Lie algebras. Finally, we investigate twisted $\mathcal{O}$-operators on $3$-Lie algebras induced by Lie algebras.


title: A bridge between Local GAAP and Solvency II frameworks to quantify Capital Requirement for demographic risk

abstract: The paper provides a stochastic model useful for assessing the capital requirement for demographic risk. The model extends to the market consistent context classical methodologies developed in a local accounting framework. In particular we provide a unique formulation for different non-participating life insurance contracts and we prove analytically that the valuation of demographic profit can be significantly affected by the financial conditions in the market. A case study has been also developed considering a portfolio of life insurance contracts. Results prove the effectiveness of the model in highlighting main drivers of capital requirement evaluation, also compared to local GAAP framework.


title: Combined searches for the production of supersymmetric top quark partners in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A combination of searches for top squark pair production using proton-proton collision data at a center-of-mass energy of 13 TeV at the CERN LHC, corresponding to an integrated luminosity of 137 fb$^{-1}$ collected by the CMS experiment, is presented. Signatures with at least 2 jets and large missing transverse momentum are categorized into events with 0, 1, or 2 leptons. New results for regions of parameter space where the kinematical properties of top squark pair production and top quark pair production are very similar are presented. Depending on the model, the combined result excludes a top squark mass up to 1325 GeV for a massless neutralino, and a neutralino mass up to 700 GeV for a top squark mass of 1150 GeV. Top squarks with masses from 145 to 295 GeV, for neutralino masses from 0 to 100 GeV, with a mass difference between the top squark and the neutralino in a window of 30 GeV around the mass of the top quark, are excluded for the first time with CMS data. The results of theses searches are also interpreted in an alternative signal model of dark matter production via a spin-0 mediator in association with a top quark pair. Upper limits are set on the cross section for mediator particle masses of up to 420 GeV.


title: Inhibited nonradiative decay at all exciton densities in monolayer semiconductors

abstract: Most optoelectronic devices operate at high photocarrier densities, where all semiconductors suffer from enhanced nonradiative recombination. Nonradiative processes proportionately reduce photoluminescence (PL) quantum yield (QY), a performance metric that directly dictates the maximum device efficiency. Although transition-metal dichalcogenide (TMDC) monolayers exhibit near-unity PL QY at low exciton densities, nonradiative exciton-exciton annihilation (EEA) enhanced by van-Hove singularity (VHS) rapidly degrades their PL QY at high exciton densities and limits their utility in practical applications. Here, by applying small mechanical strain (< 1%), we circumvent VHS resonance and drastically suppress EEA in monolayer TMDCs, resulting in near-unity PL QY at all exciton densities despite the presence of a high native defect density. Our findings can enable light-emitting devices that retain high efficiency at all brightnesses.


title: Power Plant Classification from Remote Imaging with Deep Learning

abstract: Satellite remote imaging enables the detailed study of land use patterns on a global scale. We investigate the possibility to improve the information content of traditional land use classification by identifying the nature of industrial sites from medium-resolution remote sensing images. In this work, we focus on classifying different types of power plants from Sentinel-2 imaging data. Using a ResNet-50 deep learning model, we are able to achieve a mean accuracy of 90.0% in distinguishing 10 different power plant types and a background class. Furthermore, we are able to identify the cooling mechanisms utilized in thermal power plants with a mean accuracy of 87.5%. Our results enable us to qualitatively investigate the energy mix from Sentinel-2 imaging data, and prove the feasibility to classify industrial sites on a global scale from freely available satellite imagery.


title: SAGE: A Split-Architecture Methodology for Efficient End-to-End Autonomous Vehicle Control

abstract: Autonomous vehicles (AV) are expected to revolutionize transportation and improve road safety significantly. However, these benefits do not come without cost; AVs require large Deep-Learning (DL) models and powerful hardware platforms to operate reliably in real-time, requiring between several hundred watts to one kilowatt of power. This power consumption can dramatically reduce vehicles' driving range and affect emissions. To address this problem, we propose SAGE: a methodology for selectively offloading the key energy-consuming modules of DL architectures to the cloud to optimize edge energy usage while meeting real-time latency constraints. Furthermore, we leverage Head Network Distillation (HND) to introduce efficient bottlenecks within the DL architecture in order to minimize the network overhead costs of offloading with almost no degradation in the model's performance. We evaluate SAGE using an Nvidia Jetson TX2 and an industry-standard Nvidia Drive PX2 as the AV edge devices and demonstrate that our offloading strategy is practical for a wide range of DL models and internet connection bandwidths on 3G, 4G LTE, and WiFi technologies. Compared to edge-only computation, SAGE reduces energy consumption by an average of 36.13%, 47.07%, and 55.66% for an AV with one low-resolution camera, one high-resolution camera, and three high-resolution cameras, respectively. SAGE also reduces upload data size by up to 98.40% compared to direct camera offloading.


title: Yamabe systems and optimal partitions on manifolds with symmetries

abstract: We prove the existence of regular optimal $G$-invariant partitions, with an arbitrary number $\ell\geq 2$ of components, for the Yamabe equation on a closed Riemannian manifold $(M,g)$ when $G$ is a compact group of isometries of $M$ with infinite orbits. To this aim, we study a weakly coupled competitive elliptic system of $\ell$ equations, related to the Yamabe equation. We show that this system has a least energy $G$-invariant solution with nontrivial components and we show that the limit profiles of the its components separate spatially as the competition parameter goes to $-\infty$, giving rise to an optimal partition. For $\ell=2$ the optimal partition obtained yields a least energy sign-changing $G$-invariant solution to the Yamabe equation with precisely two nodal domains.


title: Griddings of permutations and hardness of pattern matching

abstract: We study the complexity of the decision problem known as Permutation Pattern Matching, or PPM. The input of PPM consists of a pair of permutations $\tau$ (the `text') and $\pi$ (the `pattern'), and the goal is to decide whether $\tau$ contains $\pi$ as a subpermutation. On general inputs, PPM is known to be NP-complete by a result of Bose, Buss and Lubiw. In this paper, we focus on restricted instances of PPM where the text is assumed to avoid a fixed (small) pattern $\sigma$; this restriction is known as Av($\sigma$)-PPM. It has been previously shown that Av($\sigma$)-PPM is polynomial for any $\sigma$ of size at most 3, while it is NP-hard for any $\sigma$ containing a monotone subsequence of length four. In this paper, we present a new hardness reduction which allows us to show, in a uniform way, that Av($\sigma$)-PPM is hard for every $\sigma$ of size at least 6, for every $\sigma$ of size 5 except the symmetry class of $41352$, as well as for every $\sigma$ symmetric to one of the three permutations $4321$, $4312$ and $4231$. Moreover, assuming the exponential time hypothesis, none of these hard cases of Av($\sigma$)-PPM can be solved in time $2^{o(n/\log n)}$. Previously, such conditional lower bound was not known even for the unconstrained PPM problem. On the tractability side, we combine the CSP approach of Guillemot and Marx with the structural results of Huczynska and Vatter to show that for any monotone-griddable permutation class C, PPM is polynomial when the text is restricted to a permutation from C.


title: Pose Estimation and 3D Reconstruction of Vehicles from Stereo-Images Using a Subcategory-Aware Shape Prior

abstract: The 3D reconstruction of objects is a prerequisite for many highly relevant applications of computer vision such as mobile robotics or autonomous driving. To deal with the inverse problem of reconstructing 3D objects from their 2D projections, a common strategy is to incorporate prior object knowledge into the reconstruction approach by establishing a 3D model and aligning it to the 2D image plane. However, current approaches are limited due to inadequate shape priors and the insufficiency of the derived image observations for a reliable alignment with the 3D model. The goal of this paper is to show how 3D object reconstruction can profit from a more sophisticated shape prior and from a combined incorporation of different observation types inferred from the images. We introduce a subcategory-aware deformable vehicle model that makes use of a prediction of the vehicle type for a more appropriate regularisation of the vehicle shape. A multi-branch CNN is presented to derive predictions of the vehicle type and orientation. This information is also introduced as prior information for model fitting. Furthermore, the CNN extracts vehicle keypoints and wireframes, which are well-suited for model-to-image association and model fitting. The task of pose estimation and reconstruction is addressed by a versatile probabilistic model. Extensive experiments are conducted using two challenging real-world data sets on both of which the benefit of the developed shape prior can be shown. A comparison to state-of-the-art methods for vehicle pose estimation shows that the proposed approach performs on par or better, confirming the suitability of the developed shape prior and probabilistic model for vehicle reconstruction.


title: Statistical evaluation of fitted models applied to $\bf p_t$ spectrum data from 5 TeV and 13 TeV $\bf p$-$\bf p$ collisions at the large hadron collider

abstract: In a recent analysis of high-statistics $p_t$ spectra from 5 and 13 TeV $p$-$p$ collisions a two-component (soft+hard) model (TCM) of hadron production near midrapidity, based on fixed model functions independent of collision multiplicity $n_{ch}$ or event selection criteria, was employed as a reference to determine data biases induced by the selection criteria. As in previous studies the fixed TCM accurately isolated jet-related and nonjet contributions to spectra. It was observed that two selection criteria (V0M and SPD), based on different pseudorapidity $\eta$ acceptances, bias the spectrum hard component (jet fragment distribution) in different but complementary ways whereas the soft component is not significantly biased. In the present study TCM model functions are adjusted (i.e. fitted) to accommodate data. The effect of selection bias is then represented by smooth evolution of model parameters with $n_{ch}$. To evaluate the quality of model fits, Z-scores (data-model differences divided by statistical uncertainties) are evaluated and compared with data/model ratios that are often used for such comparisons. Based on Z-scores the variable TCM is compared with two other frequently-invoked models: the Tsallis model and the blast-wave model as they have been recently applied to the same spectrum data. The results are relevant to recent claims that collectivity (various flow manifestations) as a possible manifestation of QGP formation is observed in small systems. Data systematics suggest that these $p$-$p$ $p_t$ spectra are consistent with conventional QCD.


title: Central values of zeta functions of non-Galois cubic fields

abstract: The Dedekind zeta functions of infinitely many non-Galois cubic fields have negative central values.


title: A reinforcement learning approach to resource allocation in genomic selection

abstract: Genomic selection (GS) is a technique that plant breeders use to select individuals to mate and produce new generations of species. Allocation of resources is a key factor in GS. At each selection cycle, breeders are facing the choice of budget allocation to make crosses and produce the next generation of breeding parents. Inspired by recent advances in reinforcement learning for AI problems, we develop a reinforcement learning-based algorithm to automatically learn to allocate limited resources across different generations of breeding. We mathematically formulate the problem in the framework of Markov Decision Process (MDP) by defining state and action spaces. To avoid the explosion of the state space, an integer linear program is proposed that quantifies the trade-off between resources and time. Finally, we propose a value function approximation method to estimate the action-value function and then develop a greedy policy improvement technique to find the optimal resources. We demonstrate the effectiveness of the proposed method in enhancing genetic gain using a case study with realistic data.


title: Variability of electron and hole spin qubits due to interface roughness and charge traps

abstract: Semiconductor spin qubits may show significant device-to-device variability in the presence of spin-orbit coupling mechanisms. Interface roughness, charge traps, layout or process inhomogeneities indeed shape the real space wave functions, hence the spin properties. It is, therefore, important to understand how reproducible the qubits can be, in order to assess strategies to cope with variability, and to set constraints on the quality of materials and fabrication. Here we model the variability of single qubit properties (Larmor and Rabi frequencies) due to disorder at the Si/SiO$_2$ interface (roughness, charge traps) in metal-oxide-semiconductor devices. We consider both electron qubits (with synthetic spin-orbit coupling fields created by micro-magnets) and hole qubits (with intrinsic spin-orbit coupling). We show that charge traps are much more limiting than interface roughness, and can scatter Rabi frequencies over one order of magnitude. We discuss the implications for the design of spin qubits and for the choice of materials.


title: $\mathbb{Z}$-graded identities of the Lie algebras $U_1$

abstract: Let $K$ be an infinite field of characteristic different from two and let $U_1$ be the Lie algebra of the derivations of the algebra of Laurent polynomials $K[t,t^{-1}]$. The algebra $U_1$ admits a natural $\mathbb{Z}$-grading. We provide a basis for the graded identities of $U_1$ and prove that they do not admit any finite basis. Moreover, we provide a basis for the identities of certain graded Lie algebras with a grading such that every homogeneous component has dimension $\leq 1$, if a basis of the multilinear graded identities is known. As a consequence of this latter result we are able to provide a basis of the graded identities of the Lie algebra $W_1$ of the derivations of the polynomial ring $K[t]$. The $\mathbb{Z}$-graded identities for $W_1$, in characteristic 0, were described in \cite{FKK}. As a consequence of our results, we give an alternative proof of the main result, Theorem 1, in \cite{FKK}, and generalize it to positive characteristic. We also describe a basis of the graded identities for the special linear Lie algebra $sl_q(K)$ with the Pauli gradings where $q$ is a prime number.


title: Anomalous Transport in High-Mobility Superconducting SrTiO$_3$ Thin Films

abstract: The study of subtle effects on transport in semiconductors requires high-quality epitaxial structures with low defect density. Using hybrid molecular beam epitaxy (MBE), SrTiO$_3$ films with low-temperature mobility exceeding 42,000 cm$^2$V$^{-1}$s$^{-1}$ at low carrier density of 3 x 10$^{17}$ cm$^{-3}$ were achieved. A sudden and sharp decrease in residual resistivity accompanied by an enhancement in the superconducting transition temperature were observed across the second Lifshitz transition (LT) where the third band becomes occupied, revealing dominant intra-band scattering. These films further revealed an anomalous behavior in the Hall carrier density as a consequence of the antiferrodistortive (AFD) transition and the temperature-dependence of the Hall scattering factor. Using hybrid MBE growth, phenomenological modeling, temperature-dependent transport measurements, and scanning superconducting quantum interference device imaging, we provide critical insights into the important role of inter- vs intra-band scattering and of AFD domain walls on normal-state and superconducting properties of SrTiO$_3$.


title: Polyak's theorem on Hilbert spaces

abstract: We extend to infinite dimensional Hilbert spaces a celebrated result, due to B. Polyak, about the convexity of the joint image of quadratic functions. We give sufficient conditions which assure that the joint image is also closed. However, we show that, in general, the closedness part of Polyak's theorem does not hold in the infinite dimensional setting, even for quadratic functions generated by compact operators. We give some applications to S-lemma type results.


title: A Cryptographic Hash Function from Markoff Triples

abstract: Cryptographic hash functions from expander graphs were proposed by Charles, Goren, and Lauter in [CGL] based on the hardness of finding paths in the graph. In this paper, we propose a new candidate for a hash function based on the hardness of finding paths in the graph of Markoff triples modulo p. These graphs have been studied extensively in number theory and various other fields, and yet finding paths in the graphs remains difficult. We discuss the hardness of finding paths between points, based on the structure of the Markoff graphs. We investigate several possible avenues for attack and estimate their running time to be greater than O(p). In particular, we analyze a recent groundbreaking proof in [BGS1] that such graphs are connected and discuss how this proof gives an algorithm for finding paths


title: The small boxy/peanut structure of the Milky Way traced by old stars

abstract: We analyse the positions of RR Lyrae stars in the central region of the Milky Way. In addition to the overall bar shape detected previously, we find evidence for a peanut shaped structure, in form of overdensities near $\ell=-2$ deg and $1$ deg at $b\sim-3.5$ deg. The corresponding physical distance between the two peaks of the peanut is $\sim0.7$ kpc, significantly shorter than that found from near-IR images (3.3 kpc) and red-clump stars. Qualitatively this is expected from `fractionation' of bar orbits, which we demonstrate to be matched in a simulation of an inside-out growing disc subsequently forming a bar.


title: Confirmation of Seven Faint ATLAS Variable Star Candidates

abstract: A pilot survey conducted at the Lookout Observatory has confirmed seven faint (V ~ 13 to 17) variables in the region of Kepler-76b that were recently discovered by the Asteroid Terrestrial-Impact Last Alert System (ATLAS). The ATLAS survey identified 315,000 probably variables within its wide-field survey in 2018. The faintness (down to r ~ 18) and small amplitudes (down to 0.02 mag) included in these candidates makes external validation difficult. Our confirmation of seven such variable stars gives credibility to the ATLAS list. Further, the agreement between various surveys and LO data validates the use of our new survey for variable star and exoplanet research.


title: Sporadic points of odd degree on $X_1(N)$ coming from $\mathbb{Q}$-curves

abstract: We say a closed point $x$ on a curve $C$ is sporadic if there are only finitely many points on $C$ of degree at most deg$(x)$. In the case where $C$ is the modular curve $X_1(N)$, most known examples of sporadic points come from elliptic curves with complex multiplication (CM). We seek to understand all sporadic points on $X_1(N)$ corresponding to $\mathbb{Q}$-curves, which are elliptic curves isogenous to their Galois conjugates. This class contains not only all CM elliptic curves, but also any elliptic curve $\overline{\mathbb{Q}}$-isogenous to one with a rational $j$-invariant, among others. In this paper, we show that all non-CM $\mathbb{Q}$-curves giving rise to a sporadic point of odd degree lie in the $\overline{\mathbb{Q}}$-isogeny class of the elliptic curve with $j$-invariant $-140625/8$. In addition, we show that a stronger version of this finiteness result would imply Serre's Uniformity Conjecture.


title: Designing Mobile EEG Neurofeedback Games for Children with Autism: Implications from Industry Practice

abstract: Neurofeedback games are an effective and playful approach to enhance certain social and attentional capabilities in children with autism, which are promising to become widely accessible along with the commercialization of mobile EEG modules. However, little industry-based experiences are shared, regarding how to better design neurofeedback games to fine-tune their playability and user experiences for autistic children. In this paper, we review the experiences we gained from industry practice, in which a series of mobile EEG neurofeedback games have been developed for preschool autistic children. We briefly describe our design and development in a one-year collaboration with a special education center involving a group of stakeholders: children with autism and their caregivers and parents. We then summarize four concrete implications we learnt concerning the design of game characters, game narratives, as well as gameplay elements, which aim to support future work in creating better neurofeedback games for preschool children with autism.


title: Estimating survival parameters under conditionally independent left truncation

abstract: Databases derived from electronic health records (EHRs) are commonly subject to left truncation, a type of selection bias induced due to patients needing to survive long enough to satisfy certain entry criteria. Standard methods to adjust for left truncation bias rely on an assumption of marginal independence between entry and survival times, which may not always be satisfied in practice. In this work, we examine how a weaker assumption of conditional independence can result in unbiased estimation of common statistical parameters. In particular, we show the estimability of conditional parameters in a truncated dataset, and of marginal parameters that leverage reference data containing non-truncated data on confounders. The latter is complementary to observational causal inference methodology applied to real world external comparators, which is a common use case for real world databases. We implement our proposed methods in simulation studies, demonstrating unbiased estimation and valid statistical inference. We also illustrate estimation of a survival distribution under conditionally independent left truncation in a real world clinico-genomic database.


title: Explainable artificial intelligence (XAI) in deep learning-based medical image analysis

abstract: With an increase in deep learning-based methods, the call for explainability of such methods grows, especially in high-stakes decision making areas such as medical image analysis. This survey presents an overview of eXplainable Artificial Intelligence (XAI) used in deep learning-based medical image analysis. A framework of XAI criteria is introduced to classify deep learning-based medical image analysis methods. Papers on XAI techniques in medical image analysis are then surveyed and categorized according to the framework and according to anatomical location. The paper concludes with an outlook of future opportunities for XAI in medical image analysis.


title: Vector Portal Pseudo-Goldstone Dark Matter

abstract: We present a model of pseudo-Goldstone dark matter that interacts through a light vector mediator based on a spontaneously broken $SU(2)$ dark sector. The dark matter mass is induced by the explicit breaking of the dark $SU(2)$ symmetry. A residual global $U(1)$ symmetry prevents dark matter decay. The behavior of this model is studied under the assumption that the observed dark matter relic abundance is due to thermal freeze-out. We consider self-interaction targets for small scale structure anomalies and the possibility of interacting with the Standard model through the vector mediator.


title: Convolution of $\chi$-orbital Measures on Complex Grassmannians

abstract: Let $p$ and $q$ be integers such that $p\geq q \geq 1$ and let\\ $SU(p+q)/ S\left(U(p)\times U(q) \right) $ be the corresponding complex Grassmannian. The aim of this paper is to extend the main result in \cite{anchouche1}, \cite{Alhashami} to the case of convolution of $\chi$-orbital measures where $\chi$ is a character of $S\left(U(p)\times U(q) \right) $. More precisely, we give sufficient conditions for the $C^{\nu}$-smoothness of the Radon Nikodym derivative $f_{ a_{1},...,a_{r}, \chi}=d\left(\mu_{a_1, \chi}\ast...\ast\mu_{a_r, \chi}\right) /d\mu_{{SU(p+q)}}$ of the convolution $\mu_{a_1, \chi}\ast...\ast\mu_{a_r, \chi}$ of some orbital measures $\mu_{a_j, \chi}$ (see the definition below) with respect to the Haar measure $\mu_{\mathsf{SU(p+q)}}$ of $SU(p+q)$.


title: High Cadence Millimagnitude Photometric Observations of V1112 Persei (Nova Per 2020)

abstract: The private Lookout Observatory (LO) monitored the classic nova V1112 Persei on 37 nights spanning over 80 days, beginning shortly after its discovery by Seiji Ueda on 25 Nov 2020. Images were captured at a high cadence, with exposure lengths of initially less than 2 seconds and with some sessions lasting more than ten hours. The standard error of the photometry was typically better than 5 thousandths of a magnitude (5 mmag). This cadence and precision allowed for not only the observation of the expected dimming of the nova, but also variability having a period of 0.608 +- 0.005 days. This data compliments the publicly available photometry from the American Association of Variable Star Observers (AAVSO) and the resultant data is combined to perform this photometric analysis. This paper does not attempt an in-depth physical analysis of the nova from an astrophysical perspective.


title: A flexible design platform for Si/SiGe exchange-only qubits with low disorder

abstract: Spin-based silicon quantum dots are an attractive qubit technology for quantum information processing with respect to coherence time, control, and engineering. Here we present an exchange-only Si qubit device platform that combines the throughput of CMOS-like wafer processing with the versatility of direct-write lithography. The technology, which we coin "SLEDGE," features dot-shaped gates that are patterned simultaneously on one topographical plane and subsequently connected by vias to interconnect metal lines. The process design enables non-trivial layouts as well as flexibility in gate dimensions, material selection, and additional device features such as for rf qubit control. We show that the SLEDGE process has reduced electrostatic disorder with respect to traditional overlapping gate devices with lift-off metallization, and we present spin coherent exchange oscillations and single qubit blind randomized benchmarking data.


title: NuSTAR view of heavily absorbed AGN: The $R-N_\text{H}$ correlation

abstract: The nature of the putative torus and the outer geometry of active galactic nuclei (AGN) are still rather unknown and the subject of active research. Improving our understanding of them is crucial for developing a physical picture for the structure of AGN. The main goal of this work is to investigate the outer geometry of AGN by studying the observed hard X-ray spectrum of obscured sources. We primarily aim at researching the reflected emission in these sources. To that end, we analysed archived NuSTAR observations of a sample of nearby AGN, whose X-ray emission has been found to be heavily absorbed, with $10^{23}<N_\text{H}<2.5\cdot 10^{23}\text{ cm}^{-2}$; the upper limit on $N_\text{H}$ was necessary due to the analysis we followed and the data quality. Fitting their emission with both a phenomelogical and a physical model, we investigated the relation between reflection and absorption. The strength of reflected emission, as well as the equivalent width of the Fe K$\alpha$ line, correlates with the absorption column density, which can be explained with a clumpy torus origin for the reflection in these sources. The shape of the observed correlation is found to be well reproduced when the effects of a clumpy torus with a variable filling factor are simulated. A similar increase in reflection seems to be featured even by sources with larger absorption, reaching the Compton thick ($N_\text{H}>1.5\cdot 10^{24}\text{ cm}^{-2}$) regime.


title: Cohomology of congruence subgroups of SL_3(Z), Steinberg modules, and real quadratic fields

abstract: We investigate the homology of a congruence subgroup Gamma of SL_3(Z) with coefficients in the Steinberg modules St(Q^3) and St(E^3), where E is a real quadratic field and the coefficients are Q. By Borel-Serre duality, H_0(Gamma, St(Q^3)) is isomorphic to H^3(Gamma,Q). Taking the image of the connecting homomorphism H_1(Gamma, St(E^3)/St(Q^3)) \to H_0(Gamma, St(Q^3)), followed by the Borel-Serre isomorphism, we obtain a naturally defined Hecke-stable subspace H(Gamma,E) of H^3(Gamma,Q). We conjecture that H(Gamma,E) is independent of E and consists of the cuspidal cohomology H_cusp^3(Gamma,Q) plus a certain subspace of H^3(Gamma, Q)$ that is isomorphic to the sum of the cuspidal cohomologies of the maximal faces of the Borel-Serre boundary. We report on computer calculations of H(Gamma,E) for various Gamma, E which provide evidence for the conjecture. We give a partial heuristic for the conjecture.


title: Additive manufacturing process design with differentiable simulations

abstract: We present a novel computational paradigm for process design in manufacturing processes that incorporates simulation responses to optimize manufacturing process parameters in high-dimensional temporal and spatial design spaces. We developed a differentiable finite element analysis framework using automatic differentiation which allows accurate optimization of challenging process parameters such as time-series laser power. We demonstrate the capability of our proposed method through three illustrative case studies in additive manufacturing for: (i) material and process parameter inference using partial observable data, (ii) controlling time-series thermal behavior, and (iii) stabilizing melt pool depth. This research opens new avenues for high-dimensional manufacturing design using solid mechanics simulation tools such as finite element methods. Our codes are made publicly available for the research community at https://github.com/mojtabamozaffar/differentiable-simulation-am.


title: Worst case expansions of complete theories

abstract: Given a complete theory $T$ and a subset $Y \subseteq X^k$, we precisely determine the {\em worst case complexity}, with respect to further monadic expansions, of an expansion $(M,Y)$ by $Y$ of a model $M$ of $T$ with universe $X$. In particular, although by definition monadically stable/NIP theories are robust under arbitrary monadic expansions, we show that monadically NFCP (equivalently, mutually algebraic) theories are the largest class that is robust under anything beyond monadic expansions. We also exhibit a paradigmatic structure for the failure of each of monadic NFCP/stable/NIP and prove each of these paradigms definably embeds into a monadic expansion of a sufficiently saturated model of any theory without the corresponding property.


title: A High-Q Vertical Light Emission From Active Parity-Time Symmetric Gratings

abstract: This work presents a theoretical investigation of an active photonic grating of the parity-time (PT) symmetric architecture. The analytical study of the free-space mode propagation from the grating structure indicates the unique bifurcation property due to the PT-symmetry modulation. It is shown that both the gain/loss contrast and the lattice constant parameters are critical factors to modulate the active photonic system in between the PT-symmetry to the symmetry-broken phases. Furthermore, numerical simulations via the Rigorous Coupled-Wave Analysis (RCWA) method discover the existence of a unique Spectral Singularity (SS) phenomenon in this PT grating structure, which corresponds to a non-trivial single-mode and near-zero bandwidth photonic resonant emission. Also, the guiding procedure for fulfilling SS modes is found to be related to the unique formation of the scattering matrix applied in the PT-symmetric photonic gratings. This theoretical work takes a fresh look into the active PT-symmetric photonic gratings focusing on the discovery of new free-space emission modes rather than the commonly studied unidirectional properties, which could contribute to the development of novel low-threshold and super-coherent surface-emitting devices.


title: Did the Cat Drink the Coffee? Challenging Transformers with Generalized Event Knowledge

abstract: Prior research has explored the ability of computational models to predict a word semantic fit with a given predicate. While much work has been devoted to modeling the typicality relation between verbs and arguments in isolation, in this paper we take a broader perspective by assessing whether and to what extent computational approaches have access to the information about the typicality of entire events and situations described in language (Generalized Event Knowledge). Given the recent success of Transformers Language Models (TLMs), we decided to test them on a benchmark for the \textit{dynamic estimation of thematic fit}. The evaluation of these models was performed in comparison with SDM, a framework specifically designed to integrate events in sentence meaning representations, and we conducted a detailed error analysis to investigate which factors affect their behavior. Our results show that TLMs can reach performances that are comparable to those achieved by SDM. However, additional analysis consistently suggests that TLMs do not capture important aspects of event knowledge, and their predictions often depend on surface linguistic features, such as frequent words, collocations and syntactic patterns, thereby showing sub-optimal generalization abilities.


title: Throttling Equilibria in Auction Markets

abstract: Throttling is a popular method of budget management for online ad auctions in which the platform modulates the participation probability of an advertiser in order to smoothly spend her budget across many auctions. In this work, we investigate the setting in which all of the advertisers simultaneously employ throttling to manage their budgets, and we do so for both first-price and second-price auctions. We analyze the structural and computational properties of the resulting equilibria. For first-price auctions, we show that a unique equilibrium always exists, is well-behaved and can be computed efficiently via tatonnement-style decentralized dynamics. In contrast, for second-price auctions, we prove that even though an equilibrium always exists, the problem of finding an equilibrium is PPAD-complete, there can be multiple equilibria, and it is NP-hard to find the revenue maximizing one. We also compare the equilibrium outcomes of throttling to those of multiplicative pacing, which is the other most popular and well-studied method of budget management. Finally, we characterize the Price of Anarchy of these equilibria for liquid welfare by showing that it is at most 2 for both first-price and second-price auctions, and demonstrating that our bound is tight.


title: Compression for 2-Parameter Persistent Homology

abstract: Compression aims to reduce the size of an input, while maintaining its relevant properties. For multi-parameter persistent homology, compression is a necessary step in any computational pipeline, since standard constructions lead to large inputs, and computational tasks in this area tend to be expensive. We propose two compression methods for chain complexes of free 2-parameter persistence modules. The first method extends the multi-chunk algorithm for one-parameter persistent homology, returning the smallest chain complex among all the ones quasi-isomorphic to the input. The second method produces minimal presentations of the homology of the input; it is based on an algorithm of Lesnick and Wright, but incorporates several improvements that lead to substantial performance gains. The two methods are complementary, and can be combined to compute minimal presentations for complexes with millions of generators in a few seconds. The methods have been implemented, and the software is publicly available. We report on experimental evaluations, which demonstrate substantial improvements in performance compared to previously available compression strategies.


title: Imitator homomorphisms for special cube complexes

abstract: Central to the theory of special cube complexes is Haglund and Wise's construction of the canonical completion and retraction, which enables one to build finite covers of special cube complexes in a highly controlled manner. In this paper we give a new interpretation of this construction using what we call imitator homomorphisms. This provides fresh insight into the construction and enables us to prove various new results about finite covers of special cube complexes -- most of which generalise existing theorems of Haglund--Wise to the non-hyperbolic setting. In particular, we prove a convex version of omnipotence for virtually special cubulated groups.


title: Chromato-axial memory effect in step index multimode fibers

abstract: Multimode fibers (MMF) are used in many applications from telecomunications to minimally invasive micro-endoscopic imaging. However, the numerous modes and their coupling make light-beam control and imaging a delicate task. To circumvent this difficulty, recent methods exploit priors about the transmission of the system, such as the so-called optical memory effect. Here, we quantitatively characterize a chromato-axial memory effect in step-index MMF, characterized through its slope $\delta z/\delta \lambda$ and its spectral and axial widths. We propose a theoretical model and numerical simulations in good agreement with experimental observations.


title: Modal Decomposition of the Linear Swing Equation in Networks with Symmetries

abstract: Symmetries are widespread in physical, technological, biological, and social systems and networks, including power grids. The swing equation is a classic model for the dynamics of powergrid networks. The main goal of this paper is to explain how network symmetries affect the swing equation transient and steady state dynamics. We introduce a modal decomposition that allows us to study transient effects, such as the presence of overshoots in the system response. This modal decomposition provides insight into the peak flows within the network lines and allows a rigorous characterization of the effects of symmetries in the network topology on the dynamics. Our work applies to both cases of homogeneous and heterogeneous parameters. Further, the model is used to show how small perturbations propagate in networks with symmetries. Finally, we present an application of our approach to a large power grid network that displays symmetries.


title: Kinetics of Carbon Condensation in Detonation of High Explosives: First-Order Phase Transition Theory Perspective

abstract: The kinetics of carbon condensation, or carbon clustering, in detonation of carbon-rich high explosives is modeled by solving a system of rate equations for concentrations of carbon particles. Unlike previous efforts, the rate equations account not only for the aggregation of particles, but also for their fragmentation in a thermodynamically consistent manner. Numerical simulations are performed, yielding the distribution of particle concentrations as a function of time. In addition to that, analytical expressions are obtained for all the distinct steps and regimes of the condensation kinetics, which facilitates the analysis of the numerical results and allows one to study the sensitivity of the kinetic behavior to the variation of system parameters. The latter is important because the numerical values of many parameters are not reliably known at present. The theory of the kinetics of first-order phase transitions is found adequate to describe the general kinetic trends of carbon condensation, as described by the rate equations. Such physical phenomena and processes as the coagulation, nucleation, growth, and Ostwald ripening are observed and their dependence on various system parameters is studied and reported. It is believed that the present work will become useful when analyzing the present and future results for the kinetics of carbon condensation, obtained from experiments or atomistic simulations.


title: An adjunction criterion in almost-complex 4-manifolds

abstract: The adjunction inequality is a key tool for bounding the genus of smoothly embedded surfaces in 4-manifolds. Using gauge-theoretic invariants, many versions of this inequality have been established for both closed surfaces and surfaces with boundary. However, these invariants generally require some global geometry, such as a symplectic structure or nonzero Seiberg-Witten invariants. In this paper, we extend previous work on trisections and the Thom conjecture to obtain adjunction information in a much larger class of smooth 4-manifolds. We intrdouce polyhedral decompositions of almost-complex 4-manifolds and give a criterion in terms of this decomposition for surfaces to satisfy the adjunction inequality.


title: Dual SDDP for risk-averse multistage stochastic programs

abstract: Risk-averse multistage stochastic programs appear in multiple areas and are challenging to solve. Stochastic Dual Dynamic Programming (SDDP) is a well-known tool to address such problems under time-independence assumptions. We show how to derive a dual formulation for these problems and apply an SDDP algorithm, leading to converging and deterministic upper bounds for risk-averse problems.


title: Domain Generalization under Conditional and Label Shifts via Variational Bayesian Inference

abstract: In this work, we propose a domain generalization (DG) approach to learn on several labeled source domains and transfer knowledge to a target domain that is inaccessible in training. Considering the inherent conditional and label shifts, we would expect the alignment of $p(x|y)$ and $p(y)$. However, the widely used domain invariant feature learning (IFL) methods relies on aligning the marginal concept shift w.r.t. $p(x)$, which rests on an unrealistic assumption that $p(y)$ is invariant across domains. We thereby propose a novel variational Bayesian inference framework to enforce the conditional distribution alignment w.r.t. $p(x|y)$ via the prior distribution matching in a latent space, which also takes the marginal label shift w.r.t. $p(y)$ into consideration with the posterior alignment. Extensive experiments on various benchmarks demonstrate that our framework is robust to the label shift and the cross-domain accuracy is significantly improved, thereby achieving superior performance over the conventional IFL counterparts.


title: FNetAR: Mixing Tokens with Autoregressive Fourier Transforms

abstract: In this note we examine the autoregressive generalization of the FNet algorithm, in which self-attention layers from the standard Transformer architecture are substituted with a trivial sparse-uniformsampling procedure based on Fourier transforms. Using the Wikitext-103 benchmark, we demonstratethat FNetAR retains state-of-the-art performance (25.8 ppl) on the task of causal language modelingcompared to a Transformer-XL baseline (24.2 ppl) with only half the number self-attention layers,thus providing further evidence for the superfluity of deep neural networks with heavily compoundedattention mechanisms. The autoregressive Fourier transform could likely be used for parameterreduction on most Transformer-based time-series prediction models.


title: Evolution of accretor stars in massive binaries: broader implications from modeling {\zeta} Ophiuchi

abstract: Most massive stars are born in binaries close enough for mass transfer episodes. These modify the appearance, structure, and future evolution of both stars. We compute the evolution of a 100-day period binary consisting initially of a 25 M star and a 17 M star, which experiences stable mass transfer. We focus on the impact of mass accretion on the surface composition, internal rotation, and structure of the accretor. To anchor our models, we show that our accretor broadly reproduces the properties of {\zeta} Ophiuchi, which has long been proposed to have accreted mass before being ejected as a runaway star when the companion exploded. We compare our accretor to models of single rotating stars and find that the later and stronger spin-up provided by mass accretion produces significant differences. Specifically, the core of the accretor retains higher spin at the end of the main sequence, and a convective layer develops that changes its density profile. Moreover, the surface of the accretor star is polluted by CNO-processed material donated by the companion. Our models show effects of mass accretion in binaries that are not captured in single rotating stellar models. This possibly impacts the further evolution (either in a binary or as single stars), the final collapse, and the resulting spin of the compact object.


title: Studies of $b$-hadrons and quarkonia at LHCb

abstract: LHCb has productive studies of quarkonia and $b$-hadrons which provide essential inputs to study quantum chromodynamics (QCD). In this proceeding, seven recent results are reported: the observation of a new excited $\Xi_b^0$ resonance in $\Xi_b^- \pi^+$ final states, the new excited $B_s^0$ state is observed in $B^+ K^-$ mass spectrum, the first observation of suppressed semileptonic $B_s^0 \rightarrow K^- \mu^+ \nu_{\mu}$ decay, the first observation of the decay $B^0 \rightarrow D^0 \bar{D}^0 K^+ \pi^-$, the first observation of the Cabibbo-suppressed decay $\Lambda_b^0 \rightarrow \chi_{c1} p \pi^-$, the first observation of $\Lambda_b^0 \rightarrow \Lambda_c^+ K^+ K^- \pi^-$ decay, and end this report with the first search for the doubly heavy baryon $\Omega_{bc}^{0}$ and a search for $\Xi_{bc}^0$ baryon.


title: DeepTitle -- Leveraging BERT to generate Search Engine Optimized Headlines

abstract: Automated headline generation for online news articles is not a trivial task - machine generated titles need to be grammatically correct, informative, capture attention and generate search traffic without being "click baits" or "fake news". In this paper we showcase how a pre-trained language model can be leveraged to create an abstractive news headline generator for German language. We incorporate state of the art fine-tuning techniques for abstractive text summarization, i.e. we use different optimizers for the encoder and decoder where the former is pre-trained and the latter is trained from scratch. We modify the headline generation to incorporate frequently sought keywords relevant for search engine optimization. We conduct experiments on a German news data set and achieve a ROUGE-L-gram F-score of 40.02. Furthermore, we address the limitations of ROUGE for measuring the quality of text summarization by introducing a sentence similarity metric and human evaluation.


title: Minimal Session Types for the $\pi$-calculus (Extended Version)

abstract: Session types are a discipline for the static verification of message-passing programs. A session type specifies a channel's protocol as sequences of exchanges. It is most relevant to investigate session-based concurrency by identifying the essential notions that enable program specification and verification. Following that perspective, prior work identified minimal session types (MSTs), a sub-class of session types without the sequentiality construct, which specifies the structure of communication actions. This formulation of session types led to establish a minimality result: every process typable with standard session types can be compiled down to a process typable using MSTs, which mimics sequentiality in types via additional process synchronizations. Such a minimality result is significant because it justifies session types in terms of themselves, without resorting to external notions; it was proven for a higher-order session pi-calculus, in which values are abstractions (functions from names to processes). In this paper, we study MSTs and their associated minimality result but now for the session pi-calculus, the (first-order) language in which values are names and for which session types have been more widely studied. We first show that this new minimality result can be obtained by composing known results. Then, we develop optimizations of this new minimality result and prove that the associated transformation into processes with MSTs satisfies dynamic correctness.


title: Reconfigurable Intelligent Surfaces Aided Communication: Capacity and Performance Analysis Over Rician Fading Channel

abstract: In this work, we consider a single input single output (SISO) system for Reconfigurable Intelligent Surface (RIS) assisted mmWave communication. We consider Rician channel models over user node to RIS and RIS to Access Point (AP). We obtain closed form expressions for capacity with channel state information (CSI) and without CSI at the transmitter. Newly derived capacity expressions are closed form expressions in a very compact form. We also simplified the closed form expressions for average symbol error probability. We also characterize the impacts of key parameters Rician factor K and number of elements on IRS on ergodic capacity with CSI and without CSI at the transmitter.


title: BGP-Multipath Routing in the Internet

abstract: BGP-Multipath (BGP-M) is a multipath routing technique for load balancing. Distinct from other techniques deployed at a router inside an Autonomous System (AS), BGP-M is deployed at a border router that has installed multiple inter-domain border links to a neighbour AS. It uses the equal-cost multi-path (ECMP) function of a border router to share traffic to a destination prefix on different border links. Despite recent research interests in multipath routing, there is little study on BGP-M. Here we provide the first measurement and a comprehensive analysis of BGP-M routing in the Internet. We extracted information on BGP-M from query data collected from Looking Glass (LG) servers. We revealed that BGP-M has already been extensively deployed and used in the Internet. A particular example is Hurricane Electric (AS6939), a Tier-1 network operator, which has implemented >1,000 cases of BGP-M at 69 of its border routers to prefixes in 611 of its neighbour ASes, including many hyper-giant ASes and large content providers, on both IPv4 and IPv6 Internet. We examined the distribution and operation of BGP-M. We also ran traceroute using RIPE Atlas to infer the routing paths, the schemes of traffic allocation, and the delay on border links. This study provided the state-of-the-art knowledge on BGP-M with novel insights into the unique features and the distinct advantages of BGP-M as an effective and readily available technique for load balancing.


title: What are you optimizing for? Aligning Recommender Systems with Human Values

abstract: We describe cases where real recommender systems were modified in the service of various human values such as diversity, fairness, well-being, time well spent, and factual accuracy. From this we identify the current practice of values engineering: the creation of classifiers from human-created data with value-based labels. This has worked in practice for a variety of issues, but problems are addressed one at a time, and users and other stakeholders have seldom been involved. Instead, we look to AI alignment work for approaches that could learn complex values directly from stakeholders, and identify four major directions: useful measures of alignment, participatory design and operation, interactive value learning, and informed deliberative judgments.


title: Epidemic Conditions with Temporary Link Deactivation on a Network SIR Disease Model

abstract: The spread of an infectious disease depends on intrinsic properties of the disease as well as the connectivity and actions of the population. This study investigates the dynamics of an SIR type model which accounts for human tendency to avoid infection while also maintaining preexisting, interpersonal relationships. Specifically, we use a network model in which individuals probabilistically deactivate connections to infected individuals and later reconnect to the same individuals upon recovery. To analyze this network model, a mean field approximation consisting of a system of fourteen ordinary differential equations for the number of nodes and edges is developed. This system of equations is closed using a moment closure approximation for the number of triple links. By analyzing the differential equations, it is shown that, in addition to force of infection and recovery rate, the probability of deactivating edges and the average node degree of the underlying network determine if an epidemic occurs.


title: Graph-Based Learning for Stock Movement Prediction with Textual and Relational Data

abstract: Predicting stock prices from textual information is a challenging task due to the uncertainty of the market and the difficulty understanding the natural language from a machine's perspective. Previous researches focus mostly on sentiment extraction based on single news. However, the stocks on the financial market can be highly correlated, one news regarding one stock can quickly impact the prices of other stocks. To take this effect into account, we propose a new stock movement prediction framework: Multi-Graph Recurrent Network for Stock Forecasting (MGRN). This architecture allows to combine the textual sentiment from financial news and multiple relational information extracted from other financial data. Through an accuracy test and a trading simulation on the stocks in the STOXX Europe 600 index, we demonstrate a better performance from our model than other benchmarks.