title: BayesicFitting, a PYTHON Toolbox for Bayesian Fitting and Evidence Calculation

abstract: BayesicFitting is a comprehensive, general-purpose toolbox for simple and standardized model fitting. Its fitting options range from simple least-squares methods, via maximum likelihood to fully Bayesian inference, working on a multitude of available models. BayesicFitting is open source and has been in development and use since the 1990s. It has been applied to a variety of science applications, chiefly in astronomy. BayesicFitting consists of a collection of PYTHON classes that can be combined to solve quite complicated inference problems. Amongst the classes are models, fitters, priors, error distributions, engines, samples, and of course NestedSampler, our general-purpose implementation of the nested sampling algorithm. Nested sampling is a novel way to perform Bayesian calculations. It can be applied to inference problems, that consist of a parameterized model to fit measured data to. NestedSampler calculates the Bayesian evidence as the numeric integral over the posterior probability of (hyper)parameters of the problem. The solution in terms of the parameters is obtained as a set of weighted samples drawn from the posterior. In this paper, we emphasize nested sampling and all classes that are directly connected to it. Additionally, we present the fitters, which fit the data by the least-squares method or the maximum likelihood method. They can also calculate the Bayesian evidence as a Gaussian approximation. We will discuss the architecture of the toolbox. Which classes are present, what is their function, how they are related and implementational details where it gets complicated.


title: Compositional synthesis of almost maximally permissible safety controllers

abstract: In this work, we present a compositional safety controller synthesis approach for the class of discrete-time linear control systems. Here, we leverage a state-of-the-art result on the computation of robust controlled invariant sets. To tackle the complexity of controller synthesis over complex interconnected systems, this paper introduces a decentralized controller synthesis scheme. Rather than treating the interconnected system as a whole, we first design local safety controllers for each subsystem separately to enforce local safety properties, with polytopic state and input constraints as well as bounded disturbance set. Then, by composing the local controllers, the interconnected system is guaranteed to satisfy the overall safety specification. Finally, we provide a vehicular platooning example to illustrate the effectiveness of the proposed approach by solving the overall safety controller synthesis problem by computing less complex local safety controllers for subsystems and then composing them.


title: Learning to Walk in Minutes Using Massively Parallel Deep Reinforcement Learning

abstract: In this work, we present and study a training set-up that achieves fast policy generation for real-world robotic tasks by using massive parallelism on a single workstation GPU. We analyze and discuss the impact of different training algorithm components in the massively parallel regime on the final policy performance and training times. In addition, we present a novel game-inspired curriculum that is well suited for training with thousands of simulated robots in parallel. We evaluate the approach by training the quadrupedal robot ANYmal to walk on challenging terrain. The parallel approach allows training policies for flat terrain in under four minutes, and in twenty minutes for uneven terrain. This represents a speedup of multiple orders of magnitude compared to previous work. Finally, we transfer the policies to the real robot to validate the approach. We open-source our training code to help accelerate further research in the field of learned legged locomotion.


title: A Synchrotron as Accelerator of Science Development in Central America and the Caribbean

abstract: Central America and the Caribbean (CAC) need science development efforts through ambitious projects that require strong regional collaboration. Inspiration can be drawn from initiatives in regions with similar problems. The bottleneck is the scarcity of public research centers and little or no research in private universities. An interesting proposal is the creation of a Dominican "Silicon Beach". The "Central American Science and Technology Fund" should focus on objectives capable of attracting the attention of the non-academic sector, first and foremost policy makers, but also civil society in general. The successful experience of SESAME (" Synchrotron Light for Experimental Science and Applications in Middle East ") offers an interesting basis for reflection, as it allows scientific research and short-term practical and social applications. Only two of the more than 60 existing synchrotrons are in Latin America, both in Brazil. Together with other similar projects in the South, such as the African Light Source (AFLS), and with the support of SESAME, LNLS and other synchrotrons in the South, it could lead to interesting South-South cooperation, which could be supported by the European Union or the NSF.As David Gross reminded, Science drives Technology, Technology drives Innovation, and this ends up in the welfare of society. A regional synchrotron may be the way to make this a reality in the Great Caribbean Region, as a first historical example of a large regional facility there.


title: A geometric Steinberg formula

abstract: We prove an isomorphism for simple perverse sheaves on the affine Grassmannian of a connected reductive algebraic group that is a geometric counterpart (in light of the Finkelberg-Mirkovi\'c conjecture) of the Steinberg tensor product formula for simple representations of reductive groups over fields of positive characteristic.


title: Multipartite Generalization of Geometric measure of Discord

abstract: Radhakrishnan et.al [Phys. Rev. Lett. 124, 110401 (2020)] proposed a generalization of quantum discord to multipartite systems, which is consistency with the conventional definition of discord in bipartite systems and derived explicit formulae for any states. These results are significant in capturing quantum correlations for multi-qubit systems. We propose a generalization of geometric measure of multipartite quantum discord in the same manner. We find generic forms of the generalization of geometric measure of quantum discord in a general N-partite quantum state. Further, we obtain computable exact formulas for the generalization of geometric measure of quantum discord in an N-qubit quantum state, which include the results obtained in [arXiv:2104.12344].


title: An alternative scheme for effective range corrections in pionless EFT

abstract: We discuss an alternative scheme for including effective range corrections in pionless effective field theory. The standard approach treats range terms as perturbative insertions in the T -matrix. In a finite volume this scheme can lead to singular behavior close to the unperturbed energies. We consider an alternative scheme that resums the effective range but expands the spurious pole of the T -matrix created by this resummation. We test this alternative expansion for several model potentials and observe good convergence.


title: Characterization of the SKA1-Low prototype station Aperture Array Verification System 2

abstract: The low frequency component of the Square Kilometre Array (SKA1-Low) will be an aperture phased array located at the Murchison Radio-astronomy Observatory (MRO) site in Western Australia. It will be composed of 512 stations, each of them consisting of 256 log-periodic dual polarized antennas, and will operate in the low frequency range (50 MHz - 350 MHz) of the SKA bandwidth. The Aperture Array Verification System 2 (AAVS2), operational since late 2019, is the last full-size engineering prototype station deployed at the MRO site before the start of the SKA1-Low construction phase. The aim of this paper is to characterize the station performance through commissioning observations at six different frequencies (55, 70, 110, 160, 230 and 320 MHz) collected during its first year of activities. We describe the calibration procedure, present the resulting all-sky images and their analysis, and discuss the station calibratability and system stability. Using the difference imaging method, we also derive estimates of the SKA1-Low sensitivity for the same frequencies, and compare them to those obtained through electromagnetic simulations across the entire telescope bandwidth, finding good agreement (within $\leq 13%$). Moreover, our estimates exceed the SKA1-Low requirements at all the considered frequencies, by up to a factor of $\sim$2.3. Our results are very promising and allow an initial validation of the AAVS2 prototype station performance, which is an important step towards the upcoming SKA-Low telescope construction and science.


title: Quotient of the Euler system on one class of curves

abstract: We consider the Euler system describing a one-dimensional inviscid flows in space along curves of a certain class. Using differential invariants for the Euler system, we obtain its quotient equation. The solutions of the quotient equation that are constant along characteristic vector field provide some solutions of the Euler system. We discuss solving the quotient using asymptotic expansions of unknown functions and virial expansion of thermodynamic state equations. Thus the quotient is reduced to a series of ODE systems.


title: Epidemic spreading on complex networks as front propagation into an unstable state

abstract: We study epidemic arrival times in meta-population disease models through the lens of front propagation into unstable states. We demonstrate that several features of invasion fronts in the PDE context are also relevant to the network case. We show that the susceptible-infected-recovered model on a network is linearly determined in the sense that the arrival times in the nonlinear system are approximated by the arrival times of the instability in the system linearized near the disease free state. Arrival time predictions are extended to an susceptible-exposed-infected-recovered model. We then study a recent model of social epidemics where high order interactions of individuals lead to faster invasion speeds. For these pushed fronts we compute corrections to the estimated arrival time in this case. Finally, we show how inhomogeneities in local infection rates lead to faster average arrival times.


title: Implementation of Linear Model Predictive Control -- Tutorial

abstract: This tutorial shows an overview of Model Predictive Control with a linear discrete-time system and constrained states and inputs. The focus is on the implementation of the method under consideration of stability and recursive feasibility. The MATLAB code for the examples and plots is available online.


title: Formal Verification of a Distributed Dynamic Reconfiguration Protocol

abstract: We present a formal, machine checked TLA+ safety proof of MongoRaftReconfig, a distributed dynamic reconfiguration protocol. MongoRaftReconfig was designed for and implemented in MongoDB, a distributed database whose replication protocol is derived from the Raft consensus algorithm. We present an inductive invariant for MongoRaftReconfig that is formalized in TLA+ and formally proved using the TLA+ proof system (TLAPS). We also present a formal TLAPS proof of two key safety properties of MongoRaftReconfig, LeaderCompleteness and StateMachineSafety. To our knowledge, these are the first machine checked inductive invariant and safety proof of a dynamic reconfiguration protocol for a Raft based replication system.


title: The Study of Dust Formation of Four Type Ibn Supernovae

abstract: In this paper, we investigate the early-time optical$-$near-infrared (NIR) spectral energy distributions (SEDs) of four Type Ibn supernovae (SNe). We find that the SEDs of SN~2010al, LSQ13ddu, and SN~2015G can be well explained by the single-component blackbody model, while the SEDs of OGLE-2012-SN-006 cannot. We invoke the double-component model assuming that the SEDs were produced by the SN photosphere and the heated dust to fit the optical$-$NIR SEDs of the four SNe Ibn, finding that the derived temperatures of the dust associated with OGLE-2012-SN-006 favor the scenario that the dust consists of the graphite grains, and the mass and temperature of dust are $\sim$$0.5-2.0\times10^{-3}~M_\odot$ and $\sim$ $1200-1300$ K, respectively. Moreover, our fits for SN~2010al, LSQ13ddu, and SN~2015G show that the upper limits of the masses of the dust associated with the three SNe Ibn are respectively $1.45\times 10^{-5}~M_\odot$, $5.9\times 10^{-7}~M_\odot$, and $2.4\times 10^{-7}~M_\odot$. A further analysis demonstrates that the inferred radius of the dust shell surrounding OGLE-2012-SN-006 is significantly larger than that of the SN ejecta at early epochs, indicating that the NIR excesses of the SEDs of OGLE-2012-SN-006 were produced by a preexisting dust shell. Our study for the early-time SEDs of four SNe Ibn, together with the previous studies and the fact that some SNe showed the evidence of dust formation at the late-time SEDs, indicates that at least $\sim$1/3 of SNe Ibn show evidence for dust formation.


title: Correcting Conditional Mean Imputation for Censored Covariates and Improving Usability

abstract: Analysts are often confronted with censoring, wherein some variables are not observed at their true value, but rather at a value that is known to fall above or below that truth. While much attention has been given to the analysis of censored outcomes, contemporary focus has shifted to censored covariates, as well. Missing data is often overcome using multiple imputation, which leverages the entire dataset by replacing missing values with informed placeholders, and this method can be modified for censored data by also incorporating partial information from censored values. One such modification involves replacing censored covariates with their conditional means given other fully observed information, such as the censored value or additional covariates. So-called conditional mean imputation approaches were proposed for censored covariates in Atem et al. [2017], Atem et al.[2019a], and Atem et al. [2019b]. These methods are robust to additional parametric assumptions on the censored covariate and utilize all available data, which is appealing. As we worked to implement these methods, however, we discovered that these three manuscripts provide nonequivalent formulas and, in fact, none is the correct formula for the conditional mean. Herein, we derive the correct form of the conditional mean and demonstrate the impact of the incorrect formulas on the imputed values and statistical inference. Under several settings considered, using an incorrect formula is seen to seriously bias parameter estimation in simple linear regression. Lastly, we provide user-friendly R software, the imputeCensoRd package, to enable future researchers to tackle censored covariates in their data.


title: Optimization-based Causal Estimation from Heterogenous Environments

abstract: This paper presents a new optimization approach to causal estimation. Given data that contains covariates and an outcome, which covariates are causes of the outcome, and what is the strength of the causality? In classical machine learning (ML), the goal of optimization is to maximize predictive accuracy. However, some covariates might exhibit a non-causal association with the outcome. Such spurious associations provide predictive power for classical ML, but they prevent us from causally interpreting the result. This paper proposes CoCo, an optimization algorithm that bridges the gap between pure prediction and causal inference. CoCo leverages the recently-proposed idea of environments, datasets of covariates/response where the causal relationships remain invariant but where the distribution of the covariates changes from environment to environment. Given datasets from multiple environments-and ones that exhibit sufficient heterogeneity-CoCo maximizes an objective for which the only solution is the causal solution. We describe the theoretical foundations of this approach and demonstrate its effectiveness on simulated and real datasets. Compared to classical ML and existing methods, CoCo provides more accurate estimates of the causal model and more accurate predictions under interventions.


title: Partial Charge Transfer and Absence of Induced Magnetization in EuS(111)/Bi$_2$Se$_3$ Heterostructures

abstract: Heterostructures made from topological and magnetic insulators promise to form excellent platforms for new electronic and spintronic functionalities mediated by interfacial effects. We report the results of a first-principles density functional theory study of the geometric, electronic structure, and magnetic properties of EuS(111)/Bi$_2$Se$_3$ interface, including van der Waals and relativistic spin-orbit effects. In contrast to previous theoretical studies, we find no appreciable magnetic anisotropy in such a heterostructure. We also do not see additional induced magnetization at the interface or the magnetic proximity effect on the topological states. This is due to the localized nature of Eu moments, and because of a partial charge transfer of $\sim$0.5 electron from Eu to Se. The formation of the surface dipole shifts the Dirac cone about 0.4~eV below the chemical potential, and the associated electrostatic screening moves the topological state from the first to the second quintuple layer of Bi$_2$Se$_3$.


title: Microscopic calculation of polariton scattering in semiconductor microcavities

abstract: Recent experiments in exciton-polariton systems have provided high-precision measurements of the value of the polariton-polariton interaction constant, which is a key parameter that governs the nonlinear dynamics of polariton condensates and potentially enables quantum correlated polaritons. Yet, until now, this parameter has only been addressed theoretically using perturbative treatments or approximations that do not include the composite nature of the excitons. Here, we use a recently developed microscopic description of polaritons involving electrons, holes, and photons, where the interactions between charged particles are assumed to be highly screened. Within this model, we perform an exact four-body calculation of the spin-polarized polariton-polariton and polariton-exciton interaction constants. In the limit of weak light-matter coupling relevant to an atomically thin semiconductor in a microcavity, we obtain excellent agreement with a recently proposed universal form of low-energy polariton-polariton scattering [O. Bleu et al., Phys. Rev. Res. 2, 043185 (2020)]. At stronger light-matter coupling, of relevance to multilayer microcavities, we observe that the interaction constant increases towards that predicted by the Born approximation. We show that in all regimes of interest the interaction constant can be accurately obtained from the exciton-exciton scattering phase shift at negative collision energy, and we argue that this has important implications for interactions in other systems featuring strong light-matter coupling.


title: A Scenario-oriented Approach to Multi-period Energy-Reserve Joint Procurement and Pricing

abstract: In [1], a single-period co-optimization model of energy and reserve is considered to better illustrate the properties of the co-optimization model and the associated market mechanism. To make the discussion more general, in this paper, the single-period co-optimization model (II) in [1] will be extended into a one-shot multi-period co-optimization model, where the coupling of ramping and reserve in multi-period operations will be considered. Also, the multi-period pricing approach and settlement process associated with the multi-period co-optimization model will be discussed. In addition, in case study, the average system total costs of the proposed multi-period model and the multi-period traditional model are compared, and the effectiveness of some market properties in multi-period operation is tested.


title: Emerging Optical Microscopy Techniques for Electrochemistry

abstract: An optical microscope is probably the most intuitive, simple and commonly used instrument to observe objects and discuss behaviors through images. Although the idea of imaging electrochemical processes operando by optical microscopy was initiated 40 years ago, it was not until significant progress made in the last two decades in advanced optical microscopy or plasmonics that it could become a mainstream electroanalytical strategy. This review illustrates the potential of different optical microscopies to visualize and quantify local electrochemical processes with unprecedented temporal and spatial resolution (below the diffraction limit), up to the single object level with subnanoparticle or single molecule sensitivity. Developed through optically and electrochemically active model systems, optical microscopy is now shifting to materials and configurations focused on real-world electrochemical applications.


title: Renormalization approach to the superconducting Kondo model

abstract: An approach to bound states based on unitary transformations of Hamiltonians is presented. The method is applied to study the interaction between electrons in a BCS $s$-wave superconductor and a quantum spin. It is shown that known results from the t-matrix method and numerical studies are reproduced by this new method. As a main advantage, the method can straightforwardly be extended to study the topological properties of combined bound states in chains of many magnetic impurities. It also provides a uniform picture of the interplay between the Yu-Shiba-Rusinov (YSR) bound states and the Kondo singlet state.


title: Local tensor-network codes

abstract: Tensor-network codes enable the construction of large stabilizer codes out of tensors describing smaller stabilizer codes. An application of tensor-network codes was an efficient and exact decoder for holographic codes. Here, we show how to write some topological codes, including the surface code and colour code, as simple tensor-network codes. We also show how to calculate distances of stabilizer codes by contracting a tensor network. The algorithm actually gives more information, including a histogram of all logical coset weights. We prove that this method is efficient in the case of holographic codes. Using our tensor-network distance calculator, we find a modification of the rotated surface code that has the same distance but fewer minimum-weight logical operators by injecting the non-CSS five-qubit code tensor into the tensor network. This corresponds to an improvement in successful error correction of up to 2% against depolarizing noise (in the perfect-measurement setting), but comes at the cost of introducing four higher-weight stabilizers. Our general construction lets us pick a network geometry (e.g., a Euclidean lattice in the case of the surface code), and, using only a small set of seed codes (constituent tensors), build extensive codes with the potential for optimisation.


title: On Statistical Inference with High Dimensional Sparse CCA

abstract: We consider asymptotically exact inference on the leading canonical correlation directions and strengths between two high dimensional vectors under sparsity restrictions. In this regard, our main contribution is the development of a loss function, based on which, one can operationalize a one-step bias-correction on reasonable initial estimators. Our analytic results in this regard are adaptive over suitable structural restrictions of the high dimensional nuisance parameters, which, in this set-up, correspond to the covariance matrices of the variables of interest. We further supplement the theoretical guarantees behind our procedures with extensive numerical studies.


title: $\ell^2$ decoupling for certain surfaces of finite type in $\mathbb{R}^3$

abstract: In this article, we establish an $\ell^2$ decoupling inequality for the surface $$F_4^2:=\Big\{(\xi_1,\xi_2,\xi_1^4+\xi_2^4): (\xi_1,\xi_2) \in [0,1]^2\Big\}$$ associated with the decomposition adapted to finite type geometry from our previous work. The key ingredients of the proof include the so-called generalized rescaling technique, an $\ell^2$ decoupling inequality for the surfaces $$\Big\{(\xi_1,\xi_2,\phi_1(\xi_1)+\xi_2^4): (\xi_1,\xi_2) \in [0,1]^2\Big\}$$ with $\phi_1$ being non-degenerate, reduction of dimension arguments and induction on scales.


title: Mining Shape Expressions with ShapeIt

abstract: We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the form of linear shape expressions, a declarative formal specification language suitable to express behavioral properties over real-valued signals. A linear shape expression is a regular expression composed of parameterized lines as atomic symbols with symbolic constraints on the line parameters. We present here the architecture of our tool along with the different steps of the specification mining algorithm. We also describe the usage of the tool demonstrating its applicability on several case studies from different application domains.


title: Reconstruction in ALICE and calibration of TPC space-charge distortions in Run 3

abstract: The ALICE experiment will run with continuous readout at interaction rates of up to 50 kHz in Pb-Pb collisions during Run 3 of the LHC. In order to achieve this goal, a new data processing scheme and software are developed. This scheme strongly relies on GPUs (Graphics Processing Unit) for fast online and offline calibration and reconstruction as well as on efficient data compression. On the hardware side, the Time Projection Chamber (TPC), among other detector systems, received major upgrades to its readout chambers and readout electronics. The multiwire proportional chambers were replaced by stacks of four Gas Electron Multiplier foils to allow for continuous readout while keeping the ion backflow below 1%, minimizing space-charge effects from amplification ions entering the drift volume. Nevertheless, significant space-point distortions due to space charge are expected at the highest interaction rates in Pb-Pb collisions. In addition, space-charge density fluctuations lead to distortion fluctuations which have to be corrected on time scales of 10 ms in order to preserve the intrinsic tracking resolution of the TPC. While the average space-charge distortions can be corrected using information from external detectors as a reference, data-driven machine learning algorithms and convolutional neural networks are foreseen to provide the correction for the distortion fluctuations.


title: Optimisation of MCTS Player for The Lord of the Rings: The Card Game

abstract: The article presents research on the use of Monte-Carlo Tree Search (MCTS) methods to create an artificial player for the popular card game "The Lord of the Rings". The game is characterized by complicated rules, multi-stage round construction, and a high level of randomness. The described study found that the best probability of a win is received for a strategy combining expert knowledge-based agents with MCTS agents at different decision stages. It is also beneficial to replace random playouts with playouts using expert knowledge. The results of the final experiments indicate that the relative effectiveness of the developed solution grows as the difficulty of the game increases.


title: Optimal policy evaluation using kernel-based temporal difference methods

abstract: We study methods based on reproducing kernel Hilbert spaces for estimating the value function of an infinite-horizon discounted Markov reward process (MRP). We study a regularized form of the kernel least-squares temporal difference (LSTD) estimate; in the population limit of infinite data, it corresponds to the fixed point of a projected Bellman operator defined by the associated reproducing kernel Hilbert space. The estimator itself is obtained by computing the projected fixed point induced by a regularized version of the empirical operator; due to the underlying kernel structure, this reduces to solving a linear system involving kernel matrices. We analyze the error of this estimate in the $L^2(\mu)$-norm, where $\mu$ denotes the stationary distribution of the underlying Markov chain. Our analysis imposes no assumptions on the transition operator of the Markov chain, but rather only conditions on the reward function and population-level kernel LSTD solutions. We use empirical process theory techniques to derive a non-asymptotic upper bound on the error with explicit dependence on the eigenvalues of the associated kernel operator, as well as the instance-dependent variance of the Bellman residual error. In addition, we prove minimax lower bounds over sub-classes of MRPs, which shows that our rate is optimal in terms of the sample size $n$ and the effective horizon $H = (1 - \gamma)^{-1}$. Whereas existing worst-case theory predicts cubic scaling ($H^3$) in the effective horizon, our theory reveals that there is in fact a much wider range of scalings, depending on the kernel, the stationary distribution, and the variance of the Bellman residual error. Notably, it is only parametric and near-parametric problems that can ever achieve the worst-case cubic scaling.


title: Next-to-leading order QCD corrections to diphoton-plus-jet production through gluon fusion at the LHC

abstract: We compute the next-to-leading order (NLO) QCD corrections to the gluon-fusion subprocess of diphoton-plus-jet production at the LHC. We compute fully differential distributions by combining two-loop virtual corrections with one-loop real radiation using antenna subtraction to cancel infrared divergences. We observe significant corrections at NLO which demonstrate the importance of combining these corrections with the quark-induced diphoton-plus-jet channel at next-to-next-to-leading order (NNLO).


title: Entropic estimation of optimal transport maps

abstract: We develop a computationally tractable method for estimating the optimal map between two distributions over $\mathbb{R}^d$ with rigorous finite-sample guarantees. Leveraging an entropic version of Brenier's theorem, we show that our estimator -- the \emph{barycentric projection} of the optimal entropic plan -- is easy to compute using Sinkhorn's algorithm. As a result, unlike current approaches for map estimation, which are slow to evaluate when the dimension or number of samples is large, our approach is parallelizable and extremely efficient even for massive data sets. Under smoothness assumptions on the optimal map, we show that our estimator enjoys comparable statistical performance to other estimators in the literature, but with much lower computational cost. We showcase the efficacy of our proposed estimator through numerical examples, even ones not explicitly covered by our assumptions. By virtue of Lepski's method, we propose a modified version of our estimator that is adaptive to the smoothness of the underlying optimal transport map. Our proofs are based on a modified duality principle for entropic optimal transport and on a method for approximating optimal entropic plans due to Pal (2019).


title: Impact of local arrangement of Fe and Ni on the phase stability and magnetocrystalline anisotropy in Fe-Ni-Al Heusler alloys

abstract: On the basis of density functional calculations, we report on a comprehensive study of the influences of atomic arrangement and Ni substitution for Al on the ground state structural and magnetic properties for Fe$_2$Ni$_{1+x}$Al$_{1-x}$ Heusler alloys. We discuss systematically the competition between five Heusler-type structures formed by shuffles of Fe and Ni atoms and their thermodynamic stability. All~Ni-rich Fe$_2$Ni$_{1+x}$Al$_{1-x}$ tend to decompose into a dual-phase mixture consisting of Fe$_2$NiAl and~FeNi. The~successive replacement of Ni by Al leads to a change of ground state structure and eventually an increase in magnetocrystalline anisotropy energy~(MAE). We predict for stoichiometric Fe$_2$NiAl a ground state structure with nearly cubic lattice parameters but alternating layers of Fe and Ni possessing an uniaxial MAE which is even larger than tetragonal L1$_0$-FeNi. This opens an alternative route for improving the phase stability and magnetic properties in FeNi-based permanent magnets.


title: An overview of variable selection procedures using regularization paths in high-dimensional Gaussian linear regression

abstract: Current high-throughput technologies provide a large amount of variables to describe a phenomenon. Only a few variables are generally sufficient to answer the question. Identify them in a high-dimensional Gaussian linear regression model is the one of the most-used statistical methods. In this article, we describe step-by-step the variable selection procedures built upon regularization paths. Regularization paths are obtained by combining a regularization function and an algorithm. Then, they are combined either with a model selection procedure using penalty functions or with a sampling strategy to obtain the final selected variables. We perform a comparison study by considering three simulation settings with various dependency structures on variables. %from the most classical to a most realistic one. In all the settings, we evaluate (i) the ability to discriminate between the active variables and the non-active variables along the regularization path (pROC-AUC), (ii) the prediction performance of the selected variable subset (MSE) and (iii) the relevance of the selected variables (recall, specificity, FDR). From the results, we provide recommendations on strategies to be favored depending on the characteristics of the problem at hand. We obtain that the regularization function Elastic-net provides most of the time better results than the $\ell_1$ one and the lars algorithm has to be privileged as the GD one. ESCV provides the best prediction performances. Bolasso and the knockoffs method are judicious choices to limit the selection of non-active variables while ensuring selection of enough active variables. Conversely, the data-driven penalties considered in this review are not to be favored. As for Tigress and LinSelect, they are conservative methods.


title: The Thousand-Pulsar-Array programme on MeerKAT: -- VI. Pulse widths of a large and diverse sample of radio pulsars

abstract: We present pulse width measurements for a sample of radio pulsars observed with the MeerKAT telescope as part of the Thousand-Pulsar-Array (TPA) programme in the MeerTime project. For a centre frequency of 1284 MHz, we obtain 762 $W_{10}$ measurements across the total bandwidth of 775 MHz, where $W_{10}$ is the width at the 10% level of the pulse peak. We also measure about 400 $W_{10}$ values in each of the four or eight frequency sub-bands. Assuming, the width is a function of the rotation period P, this relationship can be described with a power law with power law index $\mu=-0.29\pm 0.03$. However, using orthogonal distance regression, we determine a steeper power law with $\mu=-0.63\pm 0.06$. A density plot of the period-width data reveals such a fit to align well with the contours of highest density. Building on a previous population synthesis model, we obtain population-based estimates of the obliquity of the magnetic axis with respect to the rotation axis for our pulsars. Investigating the width changes over frequency, we unambiguously identify a group of pulsars that have width broadening at higher frequencies. The measured width changes show a monotonic behaviour with frequency for the whole TPA pulsar population, whether the pulses are becoming narrower or broader with increasing frequency. We exclude a sensitivity bias, scattering and noticeable differences in the pulse component numbers as explanations for these width changes, and attempt an explanation using a qualitative model of five contributing Gaussian pulse components with flux density spectra that depend on their rotational phase.


title: Separating Retention from Extraction in the Evaluation of End-to-end Relation Extraction

abstract: State-of-the-art NLP models can adopt shallow heuristics that limit their generalization capability (McCoy et al., 2019). Such heuristics include lexical overlap with the training set in Named-Entity Recognition (Taill\'e et al., 2020) and Event or Type heuristics in Relation Extraction (Rosenman et al., 2020). In the more realistic end-to-end RE setting, we can expect yet another heuristic: the mere retention of training relation triples. In this paper, we propose several experiments confirming that retention of known facts is a key factor of performance on standard benchmarks. Furthermore, one experiment suggests that a pipeline model able to use intermediate type representations is less prone to over-rely on retention.


title: AMICO galaxy clusters in KiDS-DR3: the impact of estimator statistics on the luminosity-mass scaling relation

abstract: As modern-day precision cosmology aims for statistical uncertainties of the percent level or lower, it becomes increasingly important to reconsider estimator assumptions at each step of the process, and their consequences on the statistical variability of the scientific results. We compare $L^1$ regression statistics to the weighted mean, the canonical $L^2$ method based on Gaussian assumptions, for inference of the weak gravitational shear signal from a catalog of background ellipticity measurements around a sample of clusters, in many recent analyses a standard step in the process. We use the shape measurements of background sources around 6925 AMICO clusters detected in the KiDS 3rd data release. We investigate the robustness of our results and the dependence of uncertainties on the signal-to-noise ratios of the background source detections. Using a halo model approach, we derive lensing masses from the estimated excess surface density profiles. The highly significant shear signal allows us to study the scaling relation between the $r$-band cluster luminosity $L_{200}$, and the derived lensing mass $M_{200}$. We show the results of the scaling relations derived in 13 bins in $L_{200}$, with a tightly constrained power law slope of $\sim 1.24\pm 0.08$. We observe a small, but significant relative bias of a few percent in the recovered excess surface density profiles between the two regression methods, which translates to a $1\sigma$ difference in $M_{200}$. The efficiency of $L^1$ is at least that of the weighted mean, relatively increasing with higher signal-to-noise shape measurements. Our results indicate the relevance of optimizing the estimator for infering the gravitational shear from a distribution of background ellipticities. The interpretation of measured relative biases can be gauged by deeper observations, while increased computation times remain feasible.


title: Adiabatic Path from Fractional Chern Insulators to the Tao-Thouless State

abstract: In view of the evolution from the integer to fractional quantum Hall effect, the next frontier in the research of topological insulators is to investigate what happens in fractionally filled topological flat bands. A particularly pressing question is if there exists the lattice analogue of the Laughlin state in the 1/3-filled Chern flat band, dubbed as the Chern-Laughlin state. The answer depends crucially on the form of the electron-electron interaction, which can generate various competing ground states such as the Laughlin, stripe/nematic, parafermion, and parton states. Unfortunately, it is difficult to precisely characterize the exact ground state as any of these candidate ground states due to the lack of appropriate order parameters. Here, we propose that the existence of an adiabatic path from fractional Chern insulators to the Tao-Thouless state, i.e., the root partition state of the Laughlin state in the thin torus limit, can serve as an effective order parameter for the Chern-Laughlin state. Specifically, by devising the piecewise hybrid adiabatic path of first transforming the electron-electron interaction and then taking the thin torus limit, it is shown that Chern flat bands with the nearest-neighbor interaction can indeed host the Chern-Laughlin state at 1/3 filling. This method can be extended to possible FCIs at other general fillings of the Jain sequence.


title: Prime and Primitive Ideals of Ultragraph Leavitt Path Algebras

abstract: Let $\mathcal G$ be an ultragraph and let $K$ be a field. We describe prime and primitive ideals in the ultragraph Leavitt path algebra $L_K(\mathcal G)$. We identify the graded prime ideals in terms of downward directed sets and then we characterize the non-graded prime ideals. We show that the non-graded prime ideals of $L_K(\mathcal G)$ are always primitive.


title: Unsupervised Translation of German--Lower Sorbian: Exploring Training and Novel Transfer Methods on a Low-Resource Language

abstract: This paper describes the methods behind the systems submitted by the University of Groningen for the WMT 2021 Unsupervised Machine Translation task for German--Lower Sorbian (DE--DSB): a high-resource language to a low-resource one. Our system uses a transformer encoder-decoder architecture in which we make three changes to the standard training procedure. First, our training focuses on two languages at a time, contrasting with a wealth of research on multilingual systems. Second, we introduce a novel method for initializing the vocabulary of an unseen language, achieving improvements of 3.2 BLEU for DE$\rightarrow$DSB and 4.0 BLEU for DSB$\rightarrow$DE. Lastly, we experiment with the order in which offline and online back-translation are used to train an unsupervised system, finding that using online back-translation first works better for DE$\rightarrow$DSB by 2.76 BLEU. Our submissions ranked first (tied with another team) for DSB$\rightarrow$DE and third for DE$\rightarrow$DSB.


title: Learning Relative Interactions through Imitation

abstract: In this project we trained a neural network to perform specific interactions between a robot and objects in the environment, through imitation learning. In particular, we tackle the task of moving the robot to a fixed pose with respect to a certain object and later extend our method to handle any arbitrary pose around this object. We show that a simple network, with relatively little training data, is able to reach very good performance on the fixed-pose task, while more work is needed to perform the arbitrary-pose task satisfactorily. We also explore the effect of ambiguities in the sensor readings, in particular caused by symmetries in the target object, on the behaviour of the learned controller.


title: A data acquisition setup for data driven acoustic design

abstract: In this paper, we present a novel interdisciplinary approach to study the relationship between diffusive surface structures and their acoustic performance. Using computational design, surface structures are iteratively generated and 3D printed at 1:10 model scale. They originate from different fabrication typologies and are designed to have acoustic diffusion and absorption effects. An automated robotic process measures the impulse responses of these surfaces by positioning a microphone and a speaker at multiple locations. The collected data serves two purposes: first, as an exploratory catalogue of different spatio-temporal-acoustic scenarios and second, as data set for predicting the acoustic response of digitally designed surface geometries using machine learning. In this paper, we present the automated data acquisition setup, the data processing and the computational generation of diffusive surface structures. We describe first results of comparative studies of measured surface panels and conclude with steps of future research.


title: Limiting embeddings of Besov-type and Triebel-Lizorkin-type spaces on domains and an extension operator

abstract: In this paper, we study limiting embeddings of Besov-type and Triebel-Lizorkin-type spaces, $id_\tau: B_{p_1,q_1}^{s_1,\tau_1}(\Omega) \rightarrow B_{p_2,q_2}^{s_2,\tau_2}(\Omega)$ and $id_\tau : F_{p_1,q_1}^{s_1,\tau_1}(\Omega) \rightarrow F_{p_2,q_2}^{s_2,\tau_2}(\Omega)$, where $\Omega \subset \mathbb{R}^d$ is a bounded domain, obtaining necessary and sufficient conditions for the continuity of $id_\tau$. This can also be seen as the continuation of our previous studies of compactness of the embeddings in the non-limiting case. Moreover, we also construct Rychkov's linear, bounded universal extension operator for these spaces.


title: Quantum state truncation using an optical parametric amplifier and a beamsplitter

abstract: We present a scheme of quantum state truncation in the Fock basis (quantum scissors), based on the combined action of a nondegenerate optical parametric amplifier and a beamsplitter. Differently from previously proposed linear-optics-based quantum scissors devices, which depend on reliable Fock states sources, our scheme requires only readily available Gaussian states, such as coherent states inputs (vacuum state included). A truncated state is generated after performing photodetections in the global state. We find that, depending on which output ports each of the two photodetectors is positioned, different types of truncated states may be produced: i) states having a maximum Fock number of $N$, or ii) states having a minimum Fock number $N$. In order to illustrate our method, we discuss an example having as input states a coherent state in the beamsplitter and vacuum states in the amplifier, and show that the resulting truncated states display nonclassical properties, such as sub-Poissonian statistics and squeezing. We quantify the nonclassicality degree of the generated states using the Wigner-Yanase skew information measure. For complementarity, we discuss the efficiency of the protocol, e.g., generation probability as well as the effects of imperfections such as the detector's quantum efficiency and dark counts rate.


title: Multiscale study of high energy attosecond pulse interaction with matter and application to proton-Boron fusion

abstract: For several decades, the interest of the scientific community in aneutronic fusion reactions such as proton-Boron fusion has grown because of potential applications in different fields. Recently, many scientific teams in the world have worked experimentally on the possibility to trigger proton-Boron fusion using intense lasers demonstrating an important renewal of interest of this field. It is now possible to generate ultra-short high intensity laser pulses at high repetition rate. These pulses also have unique properties that can be leveraged to produce proton-Boron fusion reactions. In this article, we investigate the interaction of a high energy attosecond pulse with a solid proton-Boron target and the associated ion acceleration supported by numerical simulations. We demonstrate the efficiency of single-cycle attosecond pulses in comparison to multi-cycle attosecond pulses in ion acceleration and magnetic field generation. Using these results we also propose a path to proton-Boron fusion using high energy attosecond pulses.


title: Coupling Microscopic Mobility and Mobile Network Emulation for Pedestrian Communication Applications

abstract: Network emulation is a well-established method for demonstrating and testing real devices and mobile apps in a controlled scenario. This paper reports preliminary results for an open-source extension of the CrowNet pedestrian communication framework. It enables the interaction between simulated and real devices using the emulation feature of OMNeT++. The interaction is handled by several OMNeT++ modules that can be combined to match different use-cases. Initial timing measurements have been conducted for an example application which creates decentralized pedestrian density maps based on pedestrian communication. The results indicate that the approach is feasible for scenarios with a limited number of pedestrians. This limitation is mainly due to the real-time simulation requirements in coupled emulation.


title: Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion

abstract: The global existence of renormalised solutions and convergence to equilibrium for reaction-diffusion systems with non-linear diffusion are investigated. The system is assumed to have quasi-positive non-linearities and to satisfy an entropy inequality. The difficulties in establishing global renormalised solutions caused by possibly degenerate diffusion are overcome by introducing a new class of weighted truncation functions. By means of the obtained global renormalised solutions, we study the large-time behaviour of complex balanced systems arising from chemical reaction network theory with non-linear diffusion. When the reaction network does not admit boundary equilibria, the complex balanced equilibrium is shown, by using the entropy method, to exponentially attract all renormalised solutions in the same compatibility class. This convergence extends even to a range of non-linear diffusion, where global existence is an open problem, yet we are able to show that solutions to approximate systems converge exponentially to equilibrium uniformly in the regularisation parameter.


title: Distributed Estimation of Sparse Inverse Covariances

abstract: Learning the relationships between various entities from time-series data is essential in many applications. Gaussian graphical models have been studied to infer these relationships. However, existing algorithms process data in a batch at a central location, limiting their applications in scenarios where data is gathered by different agents. In this paper, we propose a distributed sparse inverse covariance algorithm to learn the network structure (i.e., dependencies among observed entities) in real-time from data collected by distributed agents. Our approach is built on an online graphical alternating minimization algorithm, augmented with a consensus term that allows agents to learn the desired structure cooperatively. We allow the system designer to select the number of communication rounds and optimization steps per data point. We characterize the rate of convergence of our algorithm and provide simulations on synthetic datasets.


title: Pythia: A Customizable Hardware Prefetching Framework Using Online Reinforcement Learning

abstract: Past research has proposed numerous hardware prefetching techniques, most of which rely on exploiting one specific type of program context information (e.g., program counter, cacheline address) to predict future memory accesses. These techniques either completely neglect a prefetcher's undesirable effects (e.g., memory bandwidth usage) on the overall system, or incorporate system-level feedback as an afterthought to a system-unaware prefetch algorithm. We show that prior prefetchers often lose their performance benefit over a wide range of workloads and system configurations due to their inherent inability to take multiple different types of program context and system-level feedback information into account while prefetching. In this paper, we make a case for designing a holistic prefetch algorithm that learns to prefetch using multiple different types of program context and system-level feedback information inherent to its design. To this end, we propose Pythia, which formulates the prefetcher as a reinforcement learning agent. For every demand request, Pythia observes multiple different types of program context information to make a prefetch decision. For every prefetch decision, Pythia receives a numerical reward that evaluates prefetch quality under the current memory bandwidth usage. Pythia uses this reward to reinforce the correlation between program context information and prefetch decision to generate highly accurate, timely, and system-aware prefetch requests in the future. Our extensive evaluations using simulation and hardware synthesis show that Pythia outperforms multiple state-of-the-art prefetchers over a wide range of workloads and system configurations, while incurring only 1.03% area overhead over a desktop-class processor and no software changes in workloads. The source code of Pythia can be freely downloaded from https://github.com/CMU-SAFARI/Pythia.


title: Linear instability of periodic orbits of free period Lagrangian systems

abstract: In this paper we provide a sufficient condition for the linear instability of a periodic orbit for a free period Lagrangian system on a Riemannian manifold. The main result establish a general criterion for the linear instability of a maybe degenerate) periodic orbit admitting a orbit cylinder in terms to the parity of a suitable spectral index encoding the functional and symplectic property of the problem.


title: Indirectly Supervised English Sentence Break Prediction Using Paragraph Break Probability Estimates

abstract: This report explores the use of paragraph break probability estimates to help predict the location of sentence breaks in English natural language text. We show that a sentence break predictor based almost solely on paragraph break probability estimates can achieve high accuracy on this task. This sentence break predictor is trained almost entirely on a large amount of naturally occurring text without sentence break annotations, with only a small amount of annotated data needed to tune two hyperparameters. We also show that even better results can be achieved across in-domain and out-of-domain test data, if paragraph break probability signals are combined with a support vector machine classifier trained on a somewhat larger amount of sentence-break-annotated data. Numerous related issues are addressed along the way.


title: Compositional Verification of Initial-State Opacity for Switched Systems

abstract: In this work, we propose a compositional framework for the verification of approximate initial-state opacity for networks of discrete-time switched systems. The proposed approach is based on a notion of approximate initial-state opacity-preserving simulation functions (InitSOPSFs), which characterize how close concrete networks and their finite abstractions are in terms of the satisfaction of approximate initial state opacity. We show that such InitSOPSFs can be obtained compositionally by assuming some small-gain type conditions and composing so-called local InitSOPSFs constructed for each subsystem separately. Additionally, for switched systems satisfying certain stability properties, we provide an approach to construct their finite abstractions together with the corresponding local InitSOPSFs. Finally, the effectiveness of our results is illustrated through an example.


title: Qualitative analysis of proton inelastic scattering for diquark searching

abstract: In this paper we discuss exclusive reactions which analysis can be used to receive direct indication of diquark existence. We make estimations of diquark scattering process measurement in inelastic proton-proton collisions. It was shown that putting special restrictions over kinematics and particles in final state of process it will be possible to enhance potential diquark contribution to scattering up to $10^4$. We put qualitative characteristics of process with diquark and ways to distinguish it from quark scattering in model-independent way.


title: Description-based Label Attention Classifier for Explainable ICD-9 Classification

abstract: ICD-9 coding is a relevant clinical billing task, where unstructured texts with information about a patient's diagnosis and treatments are annotated with multiple ICD-9 codes. Automated ICD-9 coding is an active research field, where CNN- and RNN-based model architectures represent the state-of-the-art approaches. In this work, we propose a description-based label attention classifier to improve the model explainability when dealing with noisy texts like clinical notes. We evaluate our proposed method with different transformer-based encoders on the MIMIC-III-50 dataset. Our method achieves strong results together with augmented explainablilty.


title: Sequential TOA-Based Moving Target Localization in Multi-Agent Networks

abstract: Localizing moving targets in unknown harsh environments has always been a severe challenge. This letter investigates a novel localization system based on multi-agent networks, where multiple agents serve as mobile anchors broadcasting their time-space information to the targets. We study how the moving target can localize itself using the sequential time of arrival (TOA) of the one-way broadcast signals. An extended two-step weighted least squares (TSWLS) method is proposed to jointly estimate the position and velocity of the target in the presence of agent information uncertainties. We also address the large target clock offset (LTCO) problem for numerical stability. Analytical results reveal that our method reaches the Cramer-Rao lower bound (CRLB) under small noises. Numerical results show that the proposed method performs better than the existing algorithms.


title: Investigating Post-pretraining Representation Alignment for Cross-Lingual Question Answering

abstract: Human knowledge is collectively encoded in the roughly 6500 languages spoken around the world, but it is not distributed equally across languages. Hence, for information-seeking question answering (QA) systems to adequately serve speakers of all languages, they need to operate cross-lingually. In this work we investigate the capabilities of multilingually pre-trained language models on cross-lingual QA. We find that explicitly aligning the representations across languages with a post-hoc fine-tuning step generally leads to improved performance. We additionally investigate the effect of data size as well as the language choice in this fine-tuning step, also releasing a dataset for evaluating cross-lingual QA systems. Code and dataset are publicly available here: https://github.com/ffaisal93/aligned_qa


title: Identifying Distributional Differences in Convective Evolution Prior to Rapid Intensification in Tropical Cyclones

abstract: Tropical cyclone (TC) intensity forecasts are issued by human forecasters who evaluate spatio-temporal observations (e.g., satellite imagery) and model output (e.g., numerical weather prediction, statistical models) to produce forecasts every 6 hours. Within these time constraints, it can be challenging to draw insight from such data. While high-capacity machine learning methods are well suited for prediction problems with complex sequence data, extracting interpretable scientific information with such methods is difficult. Here we leverage powerful AI prediction algorithms and classical statistical inference to identify patterns in the evolution of TC convective structure leading up to the rapid intensification of a storm, hence providing forecasters and scientists with key insight into TC behavior.


title: Toward Efficient and Robust Multiple Camera Visual-inertial Odometry

abstract: Efficiency and robustness are the essential criteria for the visual-inertial odometry (VIO) system. To process massive visual data, the high cost on CPU resources and computation latency limits VIO's possibility in integration with other applications. Recently, the powerful embedded GPUs have great potentials to improve the front-end image processing capability. Meanwhile, multi-camera systems can increase the visual constraints for back-end optimization. Inspired by these insights, we incorporate the GPU-enhanced algorithms in the field of VIO and thus propose a new front-end with NVIDIA Vision Programming Interface (VPI). This new front-end then enables multi-camera VIO feature association and provides more stable back-end pose optimization. Experiments with our new front-end on monocular datasets show the CPU resource occupation rate and computational latency are reduced by 40.4% and 50.6% without losing accuracy compared with the original VIO. The multi-camera system shows a higher VIO initialization success rate and better robustness overall state estimation.


title: Morita equivalence for operator systems

abstract: We define $\Delta$-equivalence for operator systems and show that it is identical to stable isomorphism. We define $\Delta$-contexts and bihomomorphism contexts and show that two operator systems are $\Delta$-equivalent if and only if they can be placed in a $\Delta$-context, equivalently, in a bihomomorphism context. We show that nuclearity for a variety of tensor products is an invariant for $\Delta$-equivalence and that function systems are $\Delta$-equivalent precisely when they are order isomorphic. We prove that $\Delta$-equivalent operator systems have equivalent categories of representations. As an application, we characterise $\Delta$-equivalence of graph operator systems in combinatorial terms. We examine a notion of Morita embedding for operator systems, showing that mutually $\Delta$-embeddable operator systems have orthogonally complemented $\Delta$-equivalent corners.


title: Tunable Fluorescein-Encapsulated Zeolitic Imidazolate Framework-8 Nanoparticles for Solid-State Lighting

abstract: A series of fluorescein-encapsulated zeolitic imidazolate framework-8 (fluorescein@ZIF-8) luminescent nanoparticles with a scalable guest loading has been fabricated and characterized. The successful encapsulation of the organic dye (fluorescein) is supported by both experimental evidence and theoretical simulations. The measured optical band gap is found to be comparable with the computed values of a hypothetical guest-host system. Isolated monomers and aggregates species of fluorescein confined in ZIF-8 nanocrystals have been systematically investigated through fluorescence lifetime spectroscopy. The quantum yield (QY) of the obtained solid-state materials is particularly high (QY~98%), especially when the concentration of the fluorescein guest is low. Combining a blue LED chip and a thin photoactive film of fluorescein@ZIF-8, we demonstrate a device with good optical tunability for multicolor and white light emissions. Additionally, we show that the fluorescein@ZIF-8 nanoparticles exhibit an improved photostability due to the shielding effect conferred by the nanoconfinement of host framework, making them promising candidates for practical applications such as solid-state lighting, photonics, and optical communications.


title: Simulating magnetized neutron stars with discontinuous Galerkin methods

abstract: Discontinuous Galerkin methods are popular because they can achieve high order where the solution is smooth, because they can capture shocks while needing only nearest-neighbor communication, and because they are relatively easy to formulate on complex meshes. We perform a detailed comparison of various limiting strategies presented in the literature applied to the equations of general relativistic magnetohydrodynamics. We compare the standard minmod/$\Lambda\Pi^N$ limiter, the hierarchical limiter of Krivodonova, the simple WENO limiter, the HWENO limiter, and a discontinuous Galerkin-finite-difference hybrid method. The ultimate goal is to understand what limiting strategies are able to robustly simulate magnetized TOV stars without any fine-tuning of parameters. Among the limiters explored here, the only limiting strategy we can endorse is a discontinuous Galerkin-finite-difference hybrid method.


title: $q$-Supercongruences from transformation formulas

abstract: Let $\Phi_{n}(q)$ denote the $n$-th cyclotomic polynomial in $q$. Recently, Guo and Schlosser [Constr. Approx. 53 (2021), 155--200] put forward the following conjecture: for an odd integer $n>1$, \begin{align*} &\sum_{k=0}^{n-1}[8k-1]\frac{(q^{-1};q^4)_k^6(q^2;q^2)_{2k}}{(q^4;q^4)_k^6(q^{-1};q^2)_{2k}}q^{8k}\notag\\ &\quad\equiv\begin{cases}0 \pmod{[n]\Phi_n(q)^2}, &\text{if }n\equiv 1\pmod{4},\\[5pt] 0 \pmod{[n]},&\text{if }n\equiv 3\pmod{4}. \end{cases} \end{align*} Applying the `creative microscoping' method and several summation and transformation formulas for basic hypergeometric series and the Chinese remainder theorem for coprime polynomials, we confirm the above conjecture, as well as another similar $q$-supercongruence conjectured by Guo and Schlosser.


title: On the equations of warped disc dynamics

abstract: The 1-D evolution equations for warped discs come in two flavors: For very viscous discs the internal torque vector G is uniquely determined by the local conditions in the disc, and warps tend to damp out rapidly if they are not continuously driven. For very inviscid discs, on the other hand, G becomes a dynamic quantity, and a warp will propagate through the disc as a wave. The equations governing both regimes are usually treated separately. A unified set of equations was postulated recently by Martin et al. (2019), but not yet derived from the underlying physics. The standard method for deriving these equations is based on a perturbation series expansion, which is a powerful, but somewhat abstract technique. A more straightforward method is to employ the warped shearing box framework of Ogilvie and Latter (2013), which so far has not yet been used to derive the equations for the wavelike regime. The goal of this paper is to analyze the warped disc equations in both regimes using the warped shearing box framework, to derive a unified set of equations, valid for small warps, and to discuss how our results can be interpreted in terms of the affine tilted-slab approach of Ogilvie (2018).


title: Transformers Generalize Linearly

abstract: Natural language exhibits patterns of hierarchically governed dependencies, in which relations between words are sensitive to syntactic structure rather than linear ordering. While re-current network models often fail to generalize in a hierarchically sensitive way (McCoy et al.,2020) when trained on ambiguous data, the improvement in performance of newer Trans-former language models (Vaswani et al., 2017)on a range of syntactic benchmarks trained on large data sets (Goldberg, 2019; Warstadtet al., 2019) opens the question of whether these models might exhibit hierarchical generalization in the face of impoverished data.In this paper we examine patterns of structural generalization for Transformer sequence-to-sequence models and find that not only do Transformers fail to generalize hierarchically across a wide variety of grammatical mapping tasks, but they exhibit an even stronger preference for linear generalization than comparable recurrent networks


title: Kinetic dominance and the wavefunction of the universe

abstract: We analyze the emergence of classical inflationary universes in a kinetic-dominated stage using a suitable class of solutions of the Wheeler-De Witt equation with a constant potential. These solutions are eigenfunctions of the inflaton momentum operator that are strongly peaked on classical solutions exhibiting either or both a kinetic dominated period and an inflation period. Our analysis is based on semiclassical WKB solutions of the Wheeler-De Witt equation interpreted in the sense of Borel (to perform a correct connection between classically allowed regions) and on the relationship of these solutions to the solutions of the classical model. For large values of the scale factor the WKB Vilenkin tunneling wavefunction and the Hartle-Hawking no-boundary wavefunctions are recovered as particular instances of our class of wavefunctions.


title: Improving Standing Balance Performance through the Assistance of a Mobile Collaborative Robot

abstract: This paper presents the design and development of a robotic system to give physical assistance to the elderly or people with neurological disorders such as Ataxia or Parkinson's. In particular, we propose using a mobile collaborative robot with an interaction-assistive whole-body interface to help people unable to maintain balance. The robotic system consists of an Omni-directional mobile base, a high-payload robotic arm, and an admittance-type interface acting as a support handle while measuring human-sourced interaction forces. The postural balance of the human body is estimated through the projection of the body Center of Mass (CoM) to the support polygon (SP) representing the quasi-static Center of Pressure (CoP). In response to the interaction forces and the tracking of the human posture, the robot can create assistive forces to restore balance in case of its loss. Otherwise, during normal stance or walking, it will follow the user with minimum/no opposing forces through the generation of coupled arm and base movements. As the balance-restoring strategy, we propose two strategies and evaluate them in a laboratory setting on healthy human participants. Quantitative and qualitative results of a 12-subjects experiment are then illustrated and discussed, comparing the performances of the two strategies and the overall system.


title: Products of synchronous games

abstract: We show that the *-algebra of the product of two synchronous games is the tensor product of the corresponding *-algebras. We prove that the product game has a perfect C*-strategy if and only if each of the individual games does, and that in this case the C*-algebra of the product game is *-isomorphic to the maximal C*-tensor product of the individual C*-algebras. We provide examples of synchronous games whose synchronous values are strictly supermultiplicative.


title: From images in the wild to video-informed image classification

abstract: Image classifiers work effectively when applied on structured images, yet they often fail when applied on images with very high visual complexity. This paper describes experiments applying state-of-the-art object classifiers toward a unique set of images in the wild with high visual complexity collected on the island of Bali. The text describes differences between actual images in the wild and images from Imagenet, and then discusses a novel approach combining informational cues particular to video with an ensemble of imperfect classifiers in order to improve classification results on video sourced images of plants in the wild.


title: Anomalous diffusion in QCD matter

abstract: We study the effects of quantum corrections on transverse momentum broadening of a fast parton passing through dense QCD matter. We show that, at leading logarithmic accuracy the broadening distribution tends at late times or equivalently for large system sizes $L$ to a universal distribution that only depends on a single scaling variable $k^2_\perp/Q^2_s$ where the typical transverse momentum scale increases with time as $\ln Q_s^2 \simeq (1+2 \beta ) \ln L - \frac{3}{2}(1+\beta )\,\ln\ln L$ up to non-universal terms, with an anomalous dimension $\beta \sim \sqrt{\alpha_s} $. This property is analogous to geometric scaling of gluon distributions in the saturation regime and traveling waves solutions to reaction-diffusion processes. We note that since $\beta >0$ the process is super-diffusive, which is also reflected at large transverse momentum where the scaling distribution exhibits a heavy tail $k_\perp^{4-2\beta }$ akin to L\'{e}vy random walks.


title: Combining Discrete Choice Models and Neural Networks through Embeddings: Formulation, Interpretability and Performance

abstract: This study proposes a novel approach that combines theory and data-driven choice models using Artificial Neural Networks (ANNs). In particular, we use continuous vector representations, called embeddings, for encoding categorical or discrete explanatory variables with a special focus on interpretability and model transparency. Although embedding representations within the logit framework have been conceptualized by Pereira (2019), their dimensions do not have an absolute definitive meaning, hence offering limited behavioral insights in this earlier work. The novelty of our work lies in enforcing interpretability to the embedding vectors by formally associating each of their dimensions to a choice alternative. Thus, our approach brings benefits much beyond a simple parsimonious representation improvement over dummy encoding, as it provides behaviorally meaningful outputs that can be used in travel demand analysis and policy decisions. Additionally, in contrast to previously suggested ANN-based Discrete Choice Models (DCMs) that either sacrifice interpretability for performance or are only partially interpretable, our models preserve interpretability of the utility coefficients for all the input variables despite being based on ANN principles. The proposed models were tested on two real world datasets and evaluated against benchmark and baseline models that use dummy-encoding. The results of the experiments indicate that our models deliver state-of-the-art predictive performance, outperforming existing ANN-based models while drastically reducing the number of required network parameters.


title: Sample Efficient Model Evaluation

abstract: Labelling data is a major practical bottleneck in training and testing classifiers. Given a collection of unlabelled data points, we address how to select which subset to label to best estimate test metrics such as accuracy, $F_1$ score or micro/macro $F_1$. We consider two sampling based approaches, namely the well-known Importance Sampling and we introduce a novel application of Poisson Sampling. For both approaches we derive the minimal error sampling distributions and how to approximate and use them to form estimators and confidence intervals. We show that Poisson Sampling outperforms Importance Sampling both theoretically and experimentally.


title: Real time display with the ferrolens of homogeneous magnetic fields

abstract: In our previous published research we have studied the applications of the ferrolens for the observation and qualitative analysis of non-homogeneous magnetic fields. Latest developments over the last few years of the ferrolens increased multifold the sensitivity of this device allowing it to display magnetic fields as low as 10mT in strength and therefore it is possible now to observe also the homogeneous (i.e. straight parallel magnetic flux lines of uniform density in space) magnetic field existing inside air solenoids and between N-S poles of two attracting separated permanent magnets. We present and analyze herein these novel observations of homogeneous magnetic fields with the ferrolens and as a potential new application of this device. The ferrolens can now display the projected magnetic field on air from a distance without needing to be in physical contact with the field source. Experiments were carried out to demonstrate these new capabilities of the ferrolens as a nanomagnetic flux viewer, real-time physical device and scientific qualitative tool. We compare the geometry of magnetic fields of condensed matter ferromagnets with that of magnetic fields inside electrical air solenoids. Specifically, the homogeneous field between two N-S attracting magnets at a distance as well as inside air solenoids and Helmholtz coils and also the non-homogeneous total field of single dipole permanent magnets were observed using a latest generation very sensitive ferrolens. The unique feature of this magneto optic fluid thin film physical device is that it can display discrete magnetic flux lines of the macroscopic field. Also we show how the ferrolens can be used to detect qualitatively the symmetry center of a non ideal homogeneous magnetic field.


title: A Bayesian-Based Approach to Human Operator Intent Recognition in Remote Mobile Robot Navigation

abstract: This paper addresses the problem of human operator intent recognition during teleoperated robot navigation. In this context, recognition of the operator's intended navigational goal, could enable an artificial intelligence (AI) agent to assist the operator in an advanced human-robot interaction framework. We propose a Bayesian Operator Intent Recognition (BOIR) probabilistic method that utilizes: (i) an observation model that fuses information as a weighting combination of multiple observation sources providing geometric information; (ii) a transition model that indicates the evolution of the state; and (iii) an action model, the Active Intent Recognition Model (AIRM), that enables the operator to communicate their explicit intent asynchronously. The proposed method is evaluated in an experiment where operators controlling a remote mobile robot are tasked with navigation and exploration under various scenarios with different map and obstacle layouts. Results demonstrate that BOIR outperforms two related methods from literature in terms of accuracy and uncertainty of the intent recognition.


title: Developing and experimenting with LEO satellite constellations in OMNeT++

abstract: In this paper, we present our work in designing and implementing a LEO satellite constellation simulation model1 within OMNeT++ and INET, which is validated by comparing the results with existing work. Our model builds upon the fundamentals of the Open Source Satellite Simulator (OS$^3$), which was ported to INET 4.3. We describe how the model was integrated on top of the INET and ported OS$^3$ Framework. We then experiment with the simulation model to demonstrate its viability in simulating LEO satellite constellations. This involved simulating both outdated and more recent satellite constellations, using FCC filing information, to validate latency results.


title: Intermittent Opportunistic Routing Components for the INET Framework

abstract: Intermittently-powered wireless sensor networks (WSNs) use energy harvesting and small energy storage to remove the need for battery replacement and to extend the operational lifetime. However, an intermittently-powered forwarder regularly turns on or off, which requires alternative networking solutions. Opportunistic routing (OR) is a potential cross-layer solution for this novel application, but due to the interaction with the energy storage, the operation of these protocols is highly dynamic. To compare protocols and components in like-for-like scenarios we propose module interfaces for MAC, routing and discovery protocols, that enable clear separation of concerns and good interchangeability. We also suggest some candidates for each of the protocols based on our own implementation and research.


title: Deployment and configuration of MEC apps with Simu5G

abstract: Multi-access Edge Computing (MEC) is expected to act as the enabler for the integration of 5G (and future 6G) communication technologies with cloud-computing-based capabilities at the edge of the network. This will enable low-latency and context-aware applications for users of such mobile networks. In this paper we describe the implementation of a MEC model for the Simu5G simulator and illustrate how to configure the environment to evaluate MEC applications in both simulation and real-time emulation modes.


title: Multiphoton Emission

abstract: We describe the emission, detection and structure of multiphoton states of light. We include the effect of frequency filtering, which describes, at a fundamental level, physical detection of a quantum emitter. The case of the spontaneous emission of Fock states is treated fully and analytically. We stress this picture by contrasting it to the numerical simulation of two-photon bundles emitted from a two-level system in a cavity. We show that dynamical factors exist that allow for a more robust multiphoton emission than spontaneous emission. We also describe how this relates to thermal light.


title: Simultaneous Matrix Orderings for Graph Collections

abstract: Undirected graphs are frequently used to model networks. The topology of an undirected graph G can be captured by an adjacency matrix; this matrix in turn can be visualized directly to give insight into the graph structure. Which visual patterns appear in such a matrix visualization depends on the ordering of its rows and columns. Formally defining the quality of an ordering and then automatically computing a high-quality ordering are both challenging problems; however, effective heuristics exist and are used in practice. Often, graphs exist as part of a collection of graphs on the same set of vertices. To visualize such graph collections, we need a single ordering that works well for all matrices simultaneously. The current state-of-the-art solves this problem by taking a (weighted) union over all graphs and applying existing heuristics. However, this union leads to a loss of information, specifically in those parts of the graphs which are different. We propose a collection-aware approach to avoid this loss of information and apply it to two popular heuristic methods: leaf order and barycenter. The de-facto standard computational quality metrics for matrix ordering capture only block-diagonal patterns (cliques). Instead, we propose to use Moran's I, a spatial auto-correlation metric, which captures the full range of established patterns. The popular leaf order method heuristically optimizes a similar measure which supports the use of Moran's I in this context. We evaluated our methods for simultaneous orderings on real-world datasets using Moran's I as the quality metric. Our results show that our collection-aware approach matches or improves performance compared to the union approach, depending on the similarity of the graphs in the collection. Specifically, our Moran's I-based collection-aware leaf order implementation consistently outperforms other implementations.


title: Determination of the rapidity evolution kernel from Drell-Yan data at low transverse momenta

abstract: We report recent results on the extraction of the rapidity evolution kernel for Sudakov processes from experimental measurements of Drell-Yan (DY) transverse momentum distributions. We discuss the role of high-precision Large Hadron Collider (LHC) data, and illustrate the interplay of this analysis with transverse momentum dependent and collinear parton density functions.


title: Free Energy Principle for State and Input Estimation of a Quadcopter Flying in Wind

abstract: The free energy principle from neuroscience provides a brain-inspired perception scheme through a data-driven model learning algorithm called Dynamic Expectation Maximization (DEM). This paper aims at introducing an experimental design to provide the first experimental confirmation of the usefulness of DEM as a state and input estimator for real robots. Through a series of quadcopter flight experiments under unmodelled wind dynamics, we prove that DEM can leverage the information from colored noise for accurate state and input estimation through the use of generalized coordinates. We demonstrate the superior performance of DEM for state estimation under colored noise with respect to other benchmarks like State Augmentation, SMIKF and Kalman Filtering through its minimal estimation error. We demonstrate the similarities in the performance of DEM and Unknown Input Observer (UIO) for input estimation. The paper concludes by showing the influence of prior beliefs in shaping the accuracy-complexity trade-off during DEM's estimation.


title: Monolingual and Cross-Lingual Acceptability Judgments with the Italian CoLA corpus

abstract: The development of automated approaches to linguistic acceptability has been greatly fostered by the availability of the English CoLA corpus, which has also been included in the widely used GLUE benchmark. However, this kind of research for languages other than English, as well as the analysis of cross-lingual approaches, has been hindered by the lack of resources with a comparable size in other languages. We have therefore developed the ItaCoLA corpus, containing almost 10,000 sentences with acceptability judgments, which has been created following the same approach and the same steps as the English one. In this paper we describe the corpus creation, we detail its content, and we present the first experiments on this new resource. We compare in-domain and out-of-domain classification, and perform a specific evaluation of nine linguistic phenomena. We also present the first cross-lingual experiments, aimed at assessing whether multilingual transformerbased approaches can benefit from using sentences in two languages during fine-tuning.


title: A General Origin for Multi-Planetary Systems With Significantly Misaligned USP Planets

abstract: Ultra-short period (USP) planets are exoplanets which have orbital periods of less than one day and are unique because they orbit inside the nominal magnetic truncation gap of their host stars. In some cases, USP planets have also been observed to exhibit unique dynamical parameters such as significant misalignments in inclination angle with respect to nearby planets. In this paper, we explore how the geometry of a multi-planet system hosting a USP planet can be expected to evolve as a star ages. In particular, we explore the relationship between the mutual inclination of the USP planet and the quadrupole moment ($J_2$) of the host star. We use secular perturbation theory to predict the past evolution of the example TOI-125 system, and then confirm the validity of our results using long-term N-body simulations. Through investigating how the misalignment between the candidate USP planet and the three other short-period planets in the TOI-125 system arose, we intend to derive a better understanding of the population of systems with misaligned USP planets and how their observed parameters can be explained in the context of their dynamical histories.


title: Using Physiological Information to Classify Task Difficulty in Human-Swarm Interaction

abstract: Human-swarm interaction has recently gained attention due to its plethora of new applications in disaster relief, surveillance, rescue, and exploration. However, if the task difficulty increases, the performance of the human operator decreases, thereby decreasing the overall efficacy of the human-swarm team. Thus, it is critical to identify the task difficulty and adaptively allocate the task to the human operator to maintain optimal performance. In this direction, we study the classification of task difficulty in a human-swarm interaction experiment performing a target search mission. The human may control platoons of unmanned aerial vehicles (UAVs) and unmanned ground vehicles (UGVs) to search a partially observable environment during the target search mission. The mission complexity is increased by introducing adversarial teams that humans may only see when the environment is explored. While the human is completing the mission, their brain activity is recorded using an electroencephalogram (EEG), which is used to classify the task difficulty. We have used two different approaches for classification: A feature-based approach using coherence values as input and a deep learning-based approach using raw EEG as input. Both approaches can classify the task difficulty well above the chance. The results showed the importance of the occipital lobe (O1 and O2) coherence feature with the other brain regions. Moreover, we also study individual differences (expert vs. novice) in the classification results. The analysis revealed that the temporal lobe in experts (T4 and T3) is predominant for task difficulty classification compared with novices.


title: Parameterized Channel Normalization for Far-field Deep Speaker Verification

abstract: We address far-field speaker verification with deep neural network (DNN) based speaker embedding extractor, where mismatch between enrollment and test data often comes from convolutive effects (e.g. room reverberation) and noise. To mitigate these effects, we focus on two parametric normalization methods: per-channel energy normalization (PCEN) and parameterized cepstral mean normalization (PCMN). Both methods contain differentiable parameters and thus can be conveniently integrated to, and jointly optimized with the DNN using automatic differentiation methods. We consider both fixed and trainable (data-driven) variants of each method. We evaluate the performance on Hi-MIA, a recent large-scale far-field speech corpus, with varied microphone and positional settings. Our methods outperform conventional mel filterbank features, with maximum of 33.5% and 39.5% relative improvement on equal error rate under matched microphone and mismatched microphone conditions, respectively.


title: Analytical Solution of Similar Oblate Spheroidal Coordinate System

abstract: Satisfactory description of gravitational and gravity potentials is needed for a proper modelling of a wide spectrum of physical problems on various size scales, ranging from atmosphere dynamics up to the movements of stars in a galaxy. In certain cases, Similar Oblate Spheroidal (SOS) coordinate system can be of advantage for such modelling tasks, mainly inside or in the vicinity of oblate spheroidal objects (planets, stars, galaxies). Although the solution of the relevant expressions for the SOS system cannot be written in a closed form, it can be derived as analytical expressions -- convergent infinite power series. Explicit analytical expressions for the Cartesian coordinates in terms of the curvilinear Similar Oblate Spheroidal coordinates are derived in the form of infinite power series with generalized binomial coefficients. The corresponding partial derivatives are found in a suitable form, further enabling derivation of the metric scale factors necessary for differential operations. The terms containing derivatives of the metric scale factors in the velocity advection term of the momentum equation in SOS coordinate system are expressed. The Jacobian determinant is derived as well. The presented analytical solution of SOS coordinate system solution is a tool applicable for a broad variety of objects exhibiting density, gravity or gravitation levels resembling similar oblate spheroids. Such objects range from the bodies with small oblateness (the Earth itself on the first place), through elliptical galaxies up to significantly flattened objects like disk galaxies.


title: Optimized Power Normalized Cepstral Coefficients towards Robust Deep Speaker Verification

abstract: After their introduction to robust speech recognition, power normalized cepstral coefficient (PNCC) features were successfully adopted to other tasks, including speaker verification. However, as a feature extractor with long-term operations on the power spectrogram, its temporal processing and amplitude scaling steps dedicated on environmental compensation may be redundant. Further, they might suppress intrinsic speaker variations that are useful for speaker verification based on deep neural networks (DNN). Therefore, in this study, we revisit and optimize PNCCs by ablating its medium-time processor and by introducing channel energy normalization. Experimental results with a DNN-based speaker verification system indicate substantial improvement over baseline PNCCs on both in-domain and cross-domain scenarios, reflected by relatively 5.8% and 61.2% maximum lower equal error rate on VoxCeleb1 and VoxMovies, respectively.


title: Effect of nonlocal transformations on the linearizability and exact solvability of the nonlinear generalized modified Emden type equations

abstract: The nonlinear generalized modified Emden type equations (GMEE) are known to be linearizable into simple harmonic oscillator (HO) or damped harmonic oscillators (DHO) via some nonlocal transformations. Hereby, we show that the structure of the nonlocal transformation and the linearizability into HO or DHO determine the nature/structure of the dynamical forces involved (hence, determine the structure of the dynamical equation). Yet, a reverse engineering strategy is used so that the exact solutions of the emerging GMEE are nonlocally transformed to find the exact solutions of the HO and DHO dynamical equations. Consequently, whilst the exact solution for the HO remains a textbook one, the exact solution for the DHO (never reported elsewhere, to the best of our knowledge) turns out to be manifestly the most explicit and general solution that offers consistency and comprehensive coverage for the associated under-damping, critical-damping, and over-damping cases (i.e., no complex settings for the coordinates and/or the velocities are eminent/feasible). Moreover, for all emerging dynamical system, we report illustrative figures for each solution as well as the corresponding phase-space trajectories as they evolve in time.


title: Extreme Scale Survey Simulation with Python Workflows

abstract: The Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) will soon carry out an unprecedented wide, fast, and deep survey of the sky in multiple optical bands. The data from LSST will open up a new discovery space in astronomy and cosmology, simultaneously providing clues toward addressing burning issues of the day, such as the origin of dark energy and and the nature of dark matter, while at the same time yielding data that will, in turn, pose fresh new questions. To prepare for the imminent arrival of this remarkable data set, it is crucial that the associated scientific communities be able to develop the software needed to analyze it. Computational power now available allows us to generate synthetic data sets that can be used as a realistic training ground for such an effort. This effort raises its own challenges -- the need to generate very large simulations of the night sky, scaling up simulation campaigns to large numbers of compute nodes across multiple computing centers with different architectures, and optimizing the complex workload around memory requirements and widely varying wall clock times. We describe here a large-scale workflow that melds together Python code to steer the workflow, Parsl to manage the large-scale distributed execution of workflow components, and containers to carry out the image simulation campaign across multiple sites. Taking advantage of these tools, we developed an extreme-scale computational framework and used it to simulate five years of observations for 300 square degrees of sky area. We describe our experiences and lessons learned in developing this workflow capability, and highlight how the scalability and portability of our approach enabled us to efficiently execute it on up to 4000 compute nodes on two supercomputers.


title: Computing the Barnes $G$-function and the gamma function in the entire complex plane

abstract: We present an algorithm for generating approximations for the logarithm of Barnes $G$-function in the half-plane $Re(z)\ge 3/2$. These approximations involve only elementary functions and are easy to implement. The algorithm is based on a two-point Pad\'e approximation and we use it to provide two approximations to $\ln(G(z))$, accurate to $3 \times 10^{-16}$ and $3 \times 10^{-31}$ in the half-plane $Re(z)\ge 3/2$; a reflection formula is then used to compute Barnes $G$-function in the entire complex plane. A by-product of our algorithm is that it also produces accurate approximations to the gamma function.


title: SGDE: Secure Generative Data Exchange for Cross-Silo Federated Learning

abstract: Privacy regulation laws, such as GDPR, impose transparency and security as design pillars for data processing algorithms. In this context, federated learning is one of the most influential frameworks for privacy-preserving distributed machine learning, achieving astounding results in many natural language processing and computer vision tasks. Several federated learning frameworks employ differential privacy to prevent private data leakage to unauthorized parties and malicious attackers. Many studies, however, highlight the vulnerabilities of standard federated learning to poisoning and inference, thus raising concerns about potential risks for sensitive data. To address this issue, we present SGDE, a generative data exchange protocol that improves user security and machine learning performance in a cross-silo federation. The core of SGDE is to share data generators with strong differential privacy guarantees trained on private data instead of communicating explicit gradient information. These generators synthesize an arbitrarily large amount of data that retain the distinctive features of private samples but differ substantially. In this work, SGDE is tested in a cross-silo federated network on images and tabular datasets, exploiting beta-variational autoencoders as data generators. From the results, the inclusion of SGDE turns out to improve task accuracy and fairness, as well as resilience to the most influential attacks on federated learning.


title: Reduced-Lead ECG Classifier Model Trained with DivideMix and Model Ensemble

abstract: Automatic diagnosis of multiple cardiac abnormalities from reduced-lead electrocardiogram (ECG) data is challenging. One of the reasons for this is the difficulty of defining labels from standard 12-lead data. Reduced-lead ECG data usually do not have identical characteristics of cardiac abnormalities because of the noisy label problem. Thus, there is an inconsistency in the annotated labels between the reduced-lead and 12-lead ECG data. To solve this, we propose deep neural network (DNN)-based ECG classifier models that incorporate DivideMix and stochastic weight averaging (SWA). DivideMix was used to refine the noisy label by using two separate models. Besides DivideMix, we used a model ensemble technique, SWA, which also focuses on the noisy label problem, to enhance the effect of the models generated by DivideMix. Our classifiers (ami_kagoshima) received scores of 0.49, 0.47, 0.48, 0.47, and 0.47 (ranked 9th, 10th, 10th, 11th, and 10th, respectively, out of 39 teams) for the 12-lead, 6-lead, 4-lead, 3-lead, and 2-lead versions, respectively, of the hidden test set with the challenge evaluation metric. We obtained the scores of 0.701, 0.686, 0.693, 0.693, and 0.685 on the 10-fold cross validation, and 0.623, 0.593, 0.606, 0.612, and 0.601 on the hidden validation set for each lead combination.


title: Connected components of Morse boundaries of graphs of groups

abstract: Let a finitely generated group $G$ split as a graph of groups. If edge groups are undistorted and do not contribute to the Morse boundary $\partial_MG$, we show that every connected component of $\partial_MG$ with at least two points originates from the Morse boundary of a vertex group. Under stronger assumptions on the edge groups (such as wideness in the sense of Dru\c{t}u-Sapir), we show that Morse boundaries of vertex groups are topologically embedded in $\partial_MG$.