title: Ramsey interferometry through coherent $X^2\Sigma_g^+ - A^2\Pi_u - B^2\Sigma_u^+$ coupling and population transfer in N$^+_2$ air laser

abstract: The laser-like coherent emission at 391nm from N$_2$ gas irradiated by strong 800nm pump laser and weak 400nm seed laser is theoretically investigated. Recent experimental observations are well simulated, including temporal profile, optical gain and periodic modulation of the 391nm signal from N$_2^+$. Our calculation sheds light on the long standing controversy on whether population inversion is indispensable for the optical gain. We demonstrate the Ramsey interference fringes of the emission intensity at 391nm formed by additionally injecting another 800nm pump or 400nm seed, which are well explained by the coherent modulation of transition dipole moment and population between the $A^2\Pi_u(\nu=2)$-$X^2\Sigma_g^+$ states as well as the $B^2\Sigma_u^+ (\nu=0)$-$X^2\Sigma_g^+$ states. This study provides versatile possibilities for the coherent control of $\text{N}_2^+$ air laser.

categories: physics.atom-ph physics.chem-ph physics.optics quant-ph


title: Automorphisms of linear functional graphs over vector spaces

abstract: Let $\mathbb{F}_q$ be a finite field with $q$ elements, $n\geq2$ a positive integer, $\mathbb{V}_0$ a $n$-dimensional vector space over $\mathbb{F}_q$ and $\mathbb{T}_0$ the set of all linear functionals from $\mathbb{V}_0$ to $\mathbb{F}_q$. Let $\mathbb{V}=\mathbb{V}_0\setminus\{0\}$ and $\mathbb{T}=\mathbb{T}_0\setminus\{0\}$. The \emph{linear functional graph} of $\mathbb{V}_0$ dented by $\digamma(\mathbb{V})$, is an undirected bipartite graph, whose vertex set $V$ is partitioned into two sets as $V=\mathbb{V}\cup \mathbb{T}$ and two vertices $v\in \mathbb{V}$ and $f\in \mathbb{T}$ are adjacent if and only if $f$ sends $v$ to the zero element of $\mathbb{F}_q$ (i.e. $f(v)=0$). In this paper, the structure of all automorphisms of this graph is characterized and formolized. Also the cardinal number of automorphisms group for this graph is determined.


title: Pair correlation of dilute Active Brownian Particles: from low activity dipolar correction to high activity algebraic depletion wings

abstract: We study the pair correlation of Active Brownian Particles at low density using numerical simulations and analytical calculations. We observe a winged pair correlation: while particles accumulate in front of an active particle as expected, the depletion wake consists of two depletion wings. In the limit of soft particles, we obtain a closed equation for the pair correlation, allowing us to characterize the depletion wings. In particular, we unveil two regimes at high activity where the wings adopt a self-similar profile and decay algebraically. We also perform experiments of self-propelled Janus particles and indeed observe the depletion wings.


title: Hunting for wandering massive black holes

abstract: We investigate low-density accretion flows onto massive black holes (BHs) with masses of $\gtrsim 10^5~M_\odot$ orbiting around in the outskirts of their host galaxies, performing three-dimensional hydrodynamical simulations. Those wandering BHs are populated via ejection from the galactic nuclei through multi-body BH interactions and gravitational wave recoils associated with galaxy and BH coalescences. We find that when a wandering BH is fed with hot and diffuse plasma with density fluctuations, the mass accretion rate is limited at $\sim 10-20\%$ of the canonical Bondi-Hoyle-Littleton rate owing to a wide distribution of inflowing angular momentum. We further calculate radiation spectra from radiatively inefficient accretion flows onto the wandering BH using a semi-analytical two-temperature disk model and find that the predicted spectra have a peak at the millimeter band, where the Atacama Large Millimeter/submillimeter Array (ALMA) has the highest sensitivity and spatial resolution. Millimeter observations with ALMA and future facilities such as the next generation Very Large Array (ngVLA) will enable us to hunt for a population of wandering BHs and push the detectable mass limit down to $M_\bullet \simeq 2\times10^7~M_\odot$ for massive nearby ellipticals, e.g., M87, and $M_\bullet \simeq 10^5~M_\odot$ for the Milky Way. This radiation spectral model, combined with numerical simulations, will be applied to give physical interpretations of off-nuclear BHs detected in dwarf galaxies, which may constrain BH seed formation scenarios.


title: Robust Variational Autoencoder for Tabular Data with Beta Divergence

abstract: We propose a robust variational autoencoder with $\beta$ divergence for tabular data (RTVAE) with mixed categorical and continuous features. Variational autoencoders (VAE) and their variations are popular frameworks for anomaly detection problems. The primary assumption is that we can learn representations for normal patterns via VAEs and any deviation from that can indicate anomalies. However, the training data itself can contain outliers. The source of outliers in training data include the data collection process itself (random noise) or a malicious attacker (data poisoning) who may target to degrade the performance of the machine learning model. In either case, these outliers can disproportionately affect the training process of VAEs and may lead to wrong conclusions about what the normal behavior is. In this work, we derive a novel form of a variational autoencoder for tabular data sets with categorical and continuous features that is robust to outliers in training data. Our results on the anomaly detection application for network traffic datasets demonstrate the effectiveness of our approach.


title: Learning Latent Space Energy-Based Prior Model

abstract: We propose to learn energy-based model (EBM) in the latent space of a generator model, so that the EBM serves as a prior model that stands on the top-down network of the generator model. Both the latent space EBM and the top-down network can be learned jointly by maximum likelihood, which involves short-run MCMC sampling from both the prior and posterior distributions of the latent vector. Due to the low dimensionality of the latent space and the expressiveness of the top-down network, a simple EBM in latent space can capture regularities in the data effectively, and MCMC sampling in latent space is efficient and mixes well. We show that the learned model exhibits strong performances in terms of image and text generation and anomaly detection. The one-page code can be found in supplementary materials.


title: On weakly turbulent solutions to the perturbed linear Harmonic oscillator

abstract: We introduce specific solutions to the linear harmonic oscillator, named bubbles. They form resonant families of invariant tori of the linear dynamics, with arbitrarily large Sobolev norms. We use these modulated bubbles of energy to construct a class of potentials which are real, smooth, time dependent and uniformly decaying to zero with respect to time, such that the corresponding perturbed quantum harmonic oscillator admits solutions which exhibit a logarithmic growth of Sobolev norms. The resonance mechanism is explicit in space variables and produces highly oscillatory solutions. We then give several recipes to construct similar examples using more specific tools based on the continuous resonant (CR) equation in dimension two.


title: Super-Klein tunneling of Dirac fermions through electrostatic gratings in graphene

abstract: We use the Wick-rotated time-dependent supersymmetry to construct models of two-dimensional Dirac fermions in presence of an electrostatic grating. We show that there appears omnidirectional perfect transmission through the grating at specific energy. Additionally to being transparent for incoming fermions, the grating hosts strongly localized states.

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


title: The electrostatic Born-Infeld equations with integrable charge densities

abstract: We study the minimizer of the electrostatic Born--Infeld energy \begin{equation*} \int_{\mathbb{R}^n}1-\sqrt{1-|D v|^2}\ dx-\int_{\mathbb{R}^n}\rho v\ dx, \end{equation*} which vanishes at infinity. We show that the minimizer $u$ is strictly spacelike and it is a weak solution to \begin{equation*}-\operatorname{div}\Big(\frac{D u}{\sqrt{1-|D u|^2}}\Big)=\rho,\end{equation*} provided that $\rho$ is in the dual space of the solution space and $\rho\in L^p(\mathbb{R}^n)$, for some $p>n\geq 3$. Moreover, we have $u\in C^{1,\alpha}(\mathbb{R}^n)$ for some $\alpha\in (0,1)$.


title: Multimodal fusion for sea level anomaly forecasting

abstract: The accumulated remote sensing data of altimeters and scatterometers have provided a new opportunity to forecast the ocean states and improve the knowledge in ocean/atmosphere exchanges. Few previous studies have focused on sea level anomaly (SLA) multi-step forecasting by multivariate deep learning for different modalities. For this paper, a novel multimodal fusion approach named MMFnet is used for SLA multi-step forecasting in South China Sea (SCS). First, a grid forecasting network is trained by an improved Convolutional Long Short-Term Memory (ConvLSTM) network on daily multiple remote sensing data from 1993 to 2016. Then, an in-situ forecasting network is trained by an improved LSTM network, which is decomposed by the ensemble empirical mode decomposition (EEMD-LSTM), on real-time, in-situ and remote sensing data. Finally, the two single-modal networks are fused by an ocean data assimilation scheme. During the test period from 2017 to 2019, the average RMSE of the MMFnet (single-modal ConvLSTM) is 4.03 cm (4.51 cm), the 15th-day anomaly correlation coefficient is 0.78 (0.67), the performance of MMFnet is much higher than those of current state-of-the-art dynamical (HYCOM) and statistical (ConvLSTM, Persistence and daily Climatology) forecasting systems. Sensitivity experiments analysis indicates that, the MMFnet, which added CCMP SCAT products and OISST for SLA forecasting, has improved the forecast range over a week and can effectively produce 15-day SLA forecasting with reasonable accuracies.In an extension of the validation over the North Pacific Ocean, MMFnet can calculate the forecasting results in a few minutes, and we find good agreement in amplitude and distribution of SLA variability between MMFnet and other classical operational model products.


title: Hyperbolic Neural Networks++

abstract: Hyperbolic spaces, which have the capacity to embed tree structures without distortion owing to their exponential volume growth, have recently been applied to machine learning to better capture the hierarchical nature of data. In this study, we generalize the fundamental components of neural networks in a single hyperbolic geometry model, namely, the Poincar\'e ball model. This novel methodology constructs a multinomial logistic regression, fully-connected layers, convolutional layers, and attention mechanisms under a unified mathematical interpretation, without increasing the parameters. Experiments show the superior parameter efficiency of our methods compared to conventional hyperbolic components, and stability and outperformance over their Euclidean counterparts.


title: hSPICE: State-Aware Event Shedding in Complex Event Processing

abstract: In complex event processing (CEP), load shedding is performed to maintain a given latency bound during overload situations when there is a limitation on resources. However, shedding load implies degradation in the quality of results (QoR). Therefore, it is crucial to perform load shedding in a way that has the lowest impact on QoR. Researchers, in the CEP domain, propose to drop either events or partial matches (PMs) in overload cases. They assign utilities to events or PMs by considering either the importance of events or the importance of PMs but not both together. In this paper, we propose a load shedding approach for CEP systems that combines these approaches by assigning a utility to an event by considering both the event importance and the importance of PMs. We adopt a probabilistic model that uses the type and position of an event in a window and the state of a PM to assign a utility to an event corresponding to each PM. We, also, propose an approach to predict a utility threshold that is used to drop the required amount of events to maintain a given latency bound. By extensive evaluations on two real-world datasets and several representative queries, we show that, in the majority of cases, our load shedding approach outperforms state-of-the-art load shedding approaches, w.r.t. QoR.


title: Tight Nonparametric Convergence Rates for Stochastic Gradient Descent under the Noiseless Linear Model

abstract: In the context of statistical supervised learning, the noiseless linear model assumes that there exists a deterministic linear relation $Y = \langle \theta_*, X \rangle$ between the random output $Y$ and the random feature vector $\Phi(U)$, a potentially non-linear transformation of the inputs $U$. We analyze the convergence of single-pass, fixed step-size stochastic gradient descent on the least-square risk under this model. The convergence of the iterates to the optimum $\theta_*$ and the decay of the generalization error follow polynomial convergence rates with exponents that both depend on the regularities of the optimum $\theta_*$ and of the feature vectors $\Phi(u)$. We interpret our result in the reproducing kernel Hilbert space framework. As a special case, we analyze an online algorithm for estimating a real function on the unit interval from the noiseless observation of its value at randomly sampled points; the convergence depends on the Sobolev smoothness of the function and of a chosen kernel. Finally, we apply our analysis beyond the supervised learning setting to obtain convergence rates for the averaging process (a.k.a. gossip algorithm) on a graph depending on its spectral dimension.


title: Predicting the Right Mechanism for Hypervalent Iodine Reagents by Applying Two Types of Hypervalent Twist Models: Apical Twist and Equatorial Twist

abstract: Since the hypervalent twist followed by reductive elimination is a general reaction pattern for hypervalent iodine reagents, mechanistic studies about the hypervalent twist step provide significant guidance for experiments. Our previous work showed there are two types of hypervalent twist models, i.e. apical twist and equatorial twist. We applied both hypervalent twist models to explain the isomerization mechanism of two important electrophilic trifluoromethylating reagents, Togni I and Togni II. To the best of our knowledge, there are less detailed studies about the different twist modes between both reagents, which are important to predict the right reaction mechanism and especially, understand well the differences of reactivity and stability. Here, we successfully identified Togni II's isomerization pathway via equatorial twist, and suggested different hypervalent twist models should be considered to predict the right mechanisms of reactions with hypervalent iodine reagents.


title: Quantile factor analysis for large-dimensional time series with statistical guarantee

abstract: Quantile is an important measure in finance and quality assessment in service industry. In this paper, we model the temporal and cross-sectional interactive effect of the quantiles of large-dimensional time series by a latent quantile factor model. The factor loadings and scores are learnt with statistical guarantee via an iterative check-loss-minimization procedure. Without any moment constraint on the idiosyncratic errors, we correctly identify the common and idiosyncratic components for each variable. We obtained the statistical convergence rates of the minimization estimators. Bahardur representations for the estimated factor loadings and scores are provided under some mild conditions. Moreover, a robust method is proposed to select the number of factors consistently. Simulation experiments checked the validity of the theory. Our analysis on a financial data set shows the superiority of learning quantile factors in portfolio allocation over other state-of-the-art methods that learn mean factors.


title: Joint Optimization of the Deployment and Resource Allocation of UAVs in Vehicular Edge Computing and Networks

abstract: With the development of smart vehicles, computing-intensive tasks are widely and rapidly generated. To alleviate the burden of on-board CPU, connected vehicles can offload tasks to or make request from nearby edge server thanks to the emerging Mobile Edge Computing (MEC). However, such approach may sharply increase the workload of an edge server, and cause network congestion, especially in rural and mountain areas where there are few edge servers. To this end, a UAV-assisted MEC system is proposed in this paper, and joint optimization algorithm of the deployment and resource allocation of UAVs (JOAoDR) is proposed to decide the location and balance the resource and rewards of the UAVs. We solve a long-term profit maximization problem in terms of the operator. Numerical results demonstrated that our algorithm outperforms other benchmarks algorithm, and validated our solution.


title: Gravitational dual of averaged free CFT's over the Narain lattice

abstract: It has been recently argued that the averaging of free CFT's over the Narain lattice can be holographically described through a Chern-Simons theory for $U\left(1\right)^{D}\times U\left(1\right)^{D}$ with a precise prescription to sum over three-dimensional handlebodies. We show that a gravitational dual of these averaged CFT's would be provided by Einstein gravity on AdS$_{3}$ with $U\left(1\right)^{D-1}\times U\left(1\right)^{D-1}$ gauge fields, endowed with a precise set of boundary conditions closely related to the "soft hairy" ones. Gravitational excitations then go along diagonal $SL\left(2,\mathbb{R}\right)$ generators, so that the asymptotic symmetries are spanned by $U\left(1\right)^{D}\times U\left(1\right)^{D}$ currents. The stress-energy tensor can then be geometrically seen as composite of these currents through a twisted Sugawara construction. Our boundary conditions are such that for the reduced phase space, there is a one-to-one map between the configurations in the gravitational and the purely abelian theories. The partition function in the bulk could then also be performed either from a non-abelian Chern-Simons theory for two copies of $SL\left(2,\mathbb{R}\right)\times U\left(1\right)^{D-1}$ generators, or formally through a path integral along the family of allowed configurations for the metric. The new boundary conditions naturally accommodate BTZ black holes, and the microscopic number of states then appears to be manifestly positive and suitably accounted for from the partition function in the bulk. The inclusion of higher spin currents through an extended twisted Sugawara construction in the context of higher spin gravity is also briefly addressed.


title: AdamP: Slowing Down the Slowdown for Momentum Optimizers on Scale-invariant Weights

abstract: Normalization techniques are a boon for modern deep learning. They let weights converge more quickly with often better generalization performances. It has been argued that the normalization-induced scale invariance among the weights provides an advantageous ground for gradient descent (GD) optimizers: the effective step sizes are automatically reduced over time, stabilizing the overall training procedure. It is often overlooked, however, that the additional introduction of momentum in GD optimizers results in a far more rapid reduction in effective step sizes for scale-invariant weights, a phenomenon that has not yet been studied and may have caused unwanted side effects in the current practice. This is a crucial issue because arguably the vast majority of modern deep neural networks consist of (1) momentum-based GD (e.g. SGD or Adam) and (2) scale-invariant parameters. In this paper, we verify that the widely-adopted combination of the two ingredients lead to the premature decay of effective step sizes and sub-optimal model performances. We propose a simple and effective remedy, SGDP and AdamP: get rid of the radial component, or the norm-increasing direction, at each optimizer step. Because of the scale invariance, this modification only alters the effective step sizes without changing the effective update directions, thus enjoying the original convergence properties of GD optimizers. Given the ubiquity of momentum GD and scale invariance in machine learning, we have evaluated our methods against the baselines on 13 benchmarks. They range from vision tasks like classification (e.g. ImageNet), retrieval (e.g. CUB and SOP), and detection (e.g. COCO) to language modelling (e.g. WikiText) and audio classification (e.g. DCASE) tasks. We verify that our solution brings about uniform gains in those benchmarks. Source code is available at https://github.com/clovaai/AdamP.


title: Self-supervised Learning: Generative or Contrastive

abstract: Deep supervised learning has achieved great success in the last decade. However, its deficiencies of dependence on manual labels and vulnerability to attacks have driven people to explore a better solution. As an alternative, self-supervised learning attracts many researchers for its soaring performance on representation learning in the last several years. Self-supervised representation learning leverages input data itself as supervision and benefits almost all types of downstream tasks. In this survey, we take a look into new self-supervised learning methods for representation in computer vision, natural language processing, and graph learning. We comprehensively review the existing empirical methods and summarize them into three main categories according to their objectives: generative, contrastive, and generative-contrastive (adversarial). We further investigate related theoretical analysis work to provide deeper thoughts on how self-supervised learning works. Finally, we briefly discuss open problems and future directions for self-supervised learning. An outline slide for the survey is provided.


title: Femtosecond laser pulse driven caustic spin wave beams

abstract: Controlling the directionality of spin waves is a key ingredient in wave-based computing methods such as magnonics. In this paper, we demonstrate this particular aspect by using an all-optical point-like source of continuous spin waves based on frequency comb rapid demagnetization. The emitted spin waves contain a range of k-vectors and by detuning the applied magnetic field slightly off the ferromagnetic resonance (FMR), we observe X-shaped caustic spin-wave patterns at $70^{\circ}$ propagation angles as predicted by theory. When the harmonic of the light source approaches theFMR, the caustic pattern gives way to uniaxial spin-wave propagation perpendicular to the in-plane component of the applied field. This field-controlled propagation pattern and directionality of optically emitted short-wavelength spin waves provide additional degrees of freedom when designing magnonic devices.


title: Implementation of Google Assistant & Amazon Alexa on Raspberry Pi

abstract: This paper investigates the implementation of voice-enabled Google Assistant and Amazon Alexa on Raspberry Pi. Virtual Assistants are being a new trend in how we interact or do computations with physical devices. A voice-enabled system essentially means a system that processes voice as an input, decodes, or understands the meaning of that input and generates an appropriate voice output. In this paper, we are developing a smart speaker prototype that has the functionalities of both in the same Raspberry Pi. Users can invoke a virtual assistant by saying the hot words and can leverage the best services of both eco-systems. This paper also explains the complex architecture of Google Assistant and Amazon Alexa and the working of both assistants as well. Later, this system can be used to control the smart home IoT devices.


title: An Analytical Toolkit for the S-matrix Bootstrap

abstract: We revisit analytical methods for constraining the nonperturbative $S$-matrix of unitary, relativistic, gapped theories in $d \geq 3$ spacetime dimensions. We assume extended analyticity of the two-to-two scattering amplitude and use it together with elastic unitarity to develop two natural expansions of the amplitude. One is the threshold (non-relativistic) expansion and the other is the large spin expansion. The two are related by the Froissart-Gribov inversion formula. When combined with crossing and a local bound on the discontinuity of the amplitude, this allows us to constrain scattering at finite energy and spin in terms of the low-energy parameters measured in the experiment. Finally, we discuss the modern numerical approach to the $S$-matrix bootstrap and how it can be improved based on the results of our analysis.


title: A robust approach to warped Gaussian process-constrained optimization

abstract: Optimization problems with uncertain black-box constraints, modeled by warped Gaussian processes, have recently been considered in the Bayesian optimization setting. This work introduces a new class of constraints in which the same black-box function occurs multiple times evaluated at different domain points. Such constraints are important in applications where, e.g., safety-critical measures are aggregated over multiple time periods. Our approach, which uses robust optimization, reformulates these uncertain constraints into deterministic constraints guaranteed to be satisfied with a specified probability, i.e., deterministic approximations to a chance constraint. This approach extends robust optimization methods from parametric uncertainty to uncertain functions modeled by warped Gaussian processes. We analyze convexity conditions and propose a custom global optimization strategy for non-convex cases. A case study derived from production planning and an industrially relevant example from oil well drilling show that the approach effectively mitigates uncertainty in the learned curves. For the drill scheduling example, we develop a custom strategy for globally optimizing integer decisions.


title: Resonance contributions $\phi(1020,1680)\to K\bar K$ for the three-body decays $B\to K\bar K h$

abstract: We study the contributions for the $K^+K^-$ and $K^0\bar K^0$ originated from the intermediate states $\phi(1020)$ and $\phi(1680)$ in the charmless three-body decays $B\to K\bar K h$, with $h=(\pi, K)$, in the perturbative QCD approach. The subprocesses $\phi(1020,1680)\to K\bar K$ are introduced into the distribution amplitudes of $K\bar K$ system via the kaon electromagnetic form factors with the coefficients taken from the fitted results. The predictions of the branching fractions for the decays $B\to\phi(1680)h$ with the intermediate state $\phi(1680)$ decays into $K^+K^-$ or $K^0\bar K^0$ are about $6\%$-$8\%$ of the corresponding results for the quasi-two-body decays $B\to\phi(1020)h \to K^+ K^- h$ in this work.


title: Needles in the 'Sheet'stack: Augmented Analytics to get Insights from Spreadsheets

abstract: Business intelligence (BI) tools for database analytics have come a long way and nowadays also provide ready insights or visual query explorations, e.g. QuickInsights by Microsoft Power BI, SpotIQ by ThoughtSpot, Zenvisage, etc. In this demo, we focus on providing insights by examining periodic spreadsheets of different reports (aka views), without prior knowledge of the schema of the database or reports, or data information. Such a solution is targeted at users without the familiarity with the database schema or resources to conduct analytics in the contemporary way.


title: Towards a conceptual framework of direct and indirect environmental effects of co-working

abstract: Through virtual presence, information and communication technology (ICT) allows employees to work from places other than their employers office and reduce commuting-related environmental effects (telecommuting). Working from a local coworking space, as a form of telecommuting, has the potential to significantly reduce commuting and is not associated with deficits of working from home (e.g. isolation, lack of focus). However, environmental burden might increase through co-working due to the infrastructure required to set-up and operate the co-working space and potential rebound effects. In this paper, we (1) develop a framework of direct and indirect environmental effects of coworking based on a well-known conceptual framework of environmental effects of ICT and, (2) apply the framework to investigate the case of a coworking living lab established in Stockholm. Based on interviews and surveys conducted with co-workers in the living lab and infrastructure data of the co-working space, we roughly estimate associated energy impacts. Results show that energy requirements associated with operating the coworking space can counterbalance commute-related energy savings. Thus, in order to realize energy savings co-working should be accompanied with additional energy saving measures such as a net reduction of (heated) floor space(at the co-working space, at the employer's office and the co-workers home) and use of energy efficient transport modes.


title: Choice of mutually unbiased bases and outcome labelling affects measurement outcome secrecy

abstract: Mutually unbiased bases (MUBs) are a crucial ingredient for many protocols in quantum information processing. Measurements performed in these bases are unbiased to the maximally possible extent, which is used to prove randomness or secrecy of measurement results. In this work we show that certain properties of sets of MUBs crucially depend on their specific choice, including, somewhat surprisingly, measurement outcome labelling. If measurements are chosen in a coherent way, the secrecy of the result can be completely lost for specific sets of MUB measurements, while partially retained for others. This can potentially impact a broad spectrum of applications, where MUBs are utilized.


title: On the stability phenomenon of the Navier-Stokes type Equations for Elliptic Complexes

abstract: Let ${\mathcal X}$ be a Riemannian $n$-dimensional smooth compact closed manifold, $n\geq 2$, $E^i$ be smooth vector bundles over $\mathcal X$ and $\{A^i,E^i\}$ be an elliptic differential complex of linear first order operators. We consider the operator equations, induced by the Navier-Stokes type equations associated with $\{A^i,E^i\}$ on the scale of anisotropic H\"older spaces over the layer ${\mathcal X} \times [0,T]$ with finite time $T > 0$. Using the properties of the differentials $A^i$ and parabolic operators over this scale of spaces, we reduce the equations to a nonlinear Fredholm operator equation of the form $(I+K) u = f$, where $K$ is a compact continuous operator. It appears that the Fr\'echet derivative $(I+K)'$ is continuously invertible at every point of each Banach space under the consideration and the map $(I+K)$ is open and injective in the space.


title: Finding trainable sparse networks through Neural Tangent Transfer

abstract: Deep neural networks have dramatically transformed machine learning, but their memory and energy demands are substantial. The requirements of real biological neural networks are rather modest in comparison, and one feature that might underlie this austerity is their sparse connectivity. In deep learning, trainable sparse networks that perform well on a specific task are usually constructed using label-dependent pruning criteria. In this article, we introduce Neural Tangent Transfer, a method that instead finds trainable sparse networks in a label-free manner. Specifically, we find sparse networks whose training dynamics, as characterized by the neural tangent kernel, mimic those of dense networks in function space. Finally, we evaluate our label-agnostic approach on several standard classification tasks and show that the resulting sparse networks achieve higher classification performance while converging faster.


title: Parametric Sequential Method for MRI-based Wall Shear Stress Quantification

abstract: Wall shear stress (WSS) has been suggested as a potential biomarker in various cardiovascular diseases and it can be estimated from phase-contrast Magnetic Resonance Imaging (PC-MRI) velocity measurements. We present a new parametric sequential method for MRI-based WSS quantification consisting of a geometry identification and a subsequent approximation of the velocity field. The new method was validated on well controlled, high resolution in vitro measurements of turbulent stationary flows and physiological pulsatile flows in phantoms. Basic applicability to in vivo was demonstrated using 2D PC-MRI data of the ascending aorta of three volunteers.


title: Interplay between magnetic fields and differential rotation in a stably stratified stellar radiative zone

abstract: The present study aims at studying the flow and field produced by a stellar radiative zone which is initially made to rotate differentially in the presence of a large-scale poloidal magnetic field threading the whole domain. We focus both on the axisymmetric configurations produced by the initial winding-up of the magnetic field lines and on the possible instabilities of those configurations. We aim in particular at assessing the role of the stratification at stabilising the system. We perform 2D and 3D global Boussinesq numerical simulations started from an initial radial or cylindrical differential rotation and a large-scale poloidal magnetic field. Under the conditions of a large rotation frequency compared to the Alfv\'en frequency, a magnetic configuration strongly dominated by its toroidal component is built. The parameters of the simulations are chosen to respect the ordering of time scales of a typical stellar radiative zone. In this framework, the axisymmetric evolution is studied by varying the relative effects of the thermal diffusion, the Br\"unt-V\"ais\"al\"a frequency, the rotation and the initial poloidal field strength. We find that the axisymmetric state only depends on $t_{es}/t_{Ap}$, the ratio between the Eddington-Sweet circulation time scale and the Alfv\'en time scale. A scale analysis of the Boussinesq equations allows us to recover this result. In the cylindrical case, a magneto-rotational instability develops when the thermal diffusivity is sufficiently high to enable the favored wavenumbers to be insensitive to the effects of the stable stratification. In the radial case, the magneto-rotational instability is driven by the latitudinal shear created by the back-reaction of the Lorentz force on the flow. Increasing the level of stratification then leaves the growth rate of the instability mainly unaffected while its horizontal length scale grows.


title: Differentiable Neural Architecture Transformation for Reproducible Architecture Improvement

abstract: Recently, Neural Architecture Search (NAS) methods are introduced and show impressive performance on many benchmarks. Among those NAS studies, Neural Architecture Transformer (NAT) aims to improve the given neural architecture to have better performance while maintaining computational costs. However, NAT has limitations about a lack of reproducibility. In this paper, we propose differentiable neural architecture transformation that is reproducible and efficient. The proposed method shows stable performance on various architectures. Extensive reproducibility experiments on two datasets, i.e., CIFAR-10 and Tiny Imagenet, present that the proposed method definitely outperforms NAT and be applicable to other models and datasets.


title: Monte Carlo estimators of first-and total-orders Sobol' indices

abstract: This study compares the performances of two sampling-based strategies for the simultaneous estimation of the first-and total-orders variance-based sensitivity indices (a.k.a Sobol' indices). The first strategy was introduced by [8] and is the current approach employed by practitioners. The second one was only recently introduced by the authors of the present article. They both rely on different estimators of first-and total-orders Sobol' indices. The asymp-totic normal variances of the two sets of estimators are established and their accuracies are compared theoretically and numerically. The results show that the new strategy outperforms the current one.Keywords: global sensitivity analysis, variance-based sensitivity indices, first-order Sobol' index, total-order Sobol' index, Monte Carlo estimate, asymptotic normality


title: Groundstate finite-size corrections and dilogarithm identities for the twisted $A_1^{(1)}$, $A_2^{(1)}$ and $A_2^{(2)}$ models

abstract: We consider the $Y$-systems satisfied by the $A_1^{(1)}$, $A_2^{(1)}$, $A_2^{(2)}$ vertex and loop models at roots of unity with twisted boundary conditions on the cylinder. The vertex models are the 6-, 15- and Izergin-Korepin 19-vertex models respectively. The corresponding loop models are the dense, fully packed and dilute Temperley-Lieb loop models respectively. For all three models, our focus is on roots of unity values of $e^{i\lambda}$ with the crossing parameter $\lambda$ corresponding to the principal and dual series of these models. Converting the known functional equations to nonlinear integral equations in the form of Thermodynamic Bethe Ansatz (TBA) equations, we solve the $Y$-systems for the finite-size $\frac 1N$ corrections to the groundstate eigenvalue following the methods of Kl\"umper and Pearce. The resulting expressions for $c-24\Delta$, where $c$ is the central charge and $\Delta$ is the conformal weight associated with the groundstate, are simplified using various dilogarithm identities. Our analytic results are in agreement with previous results obtained by different methods and are new for the dual series of the $A_2^{(1)}$ model.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: Rationally connected threefolds with nef and bad anticanonical divisor

abstract: Let $X$ be a smooth projective rationally connected threefold with nef anticanonical divisor. We give a classification for the case when $-K_X$ is not semi-ample.


title: Anomaly detection in Astrophysics: a comparison between unsupervised Deep and Machine Learning on KiDS data

abstract: Every field of Science is undergoing unprecedented changes in the discovery process, and Astronomy has been a main player in this transition since the beginning. The ongoing and future large and complex multi-messenger sky surveys impose a wide exploiting of robust and efficient automated methods to classify the observed structures and to detect and characterize peculiar and unexpected sources. We performed a preliminary experiment on KiDS DR4 data, by applying to the problem of anomaly detection two different unsupervised machine learning algorithms, considered as potentially promising methods to detect peculiar sources, a Disentangled Convolutional Autoencoder and an Unsupervised Random Forest. The former method, working directly on images, is considered potentially able to identify peculiar objects like interacting galaxies and gravitational lenses. The latter instead, working on catalogue data, could identify objects with unusual values of magnitudes and colours, which in turn could indicate the presence of singularities.


title: Non-Stationary Off-Policy Optimization

abstract: Off-policy learning is a framework for evaluating and optimizing policies without deploying them, from data collected by another policy. Real-world environments are typically non-stationary and the offline learned policies should adapt to these changes. To address this challenge, we study the novel problem of off-policy optimization in piecewise-stationary contextual bandits. Our proposed solution has two phases. In the offline learning phase, we partition logged data into categorical latent states and learn a near-optimal sub-policy for each state. In the online deployment phase, we adaptively switch between the learned sub-policies based on their performance. This approach is practical and analyzable, and we provide guarantees on both the quality of off-policy optimization and the regret during online deployment. To show the effectiveness of our approach, we compare it to state-of-the-art baselines on both synthetic and real-world datasets. Our approach outperforms methods that act only on observed context.


title: Lyapunov functions for fractional order h-difference systems

abstract: This paper presents some new propositions related to the fractional order $h$-difference operators, for the case of general quadratic forms and for the polynomial type, which allow proving the stability of fractional order $h$-difference systems, by means of the discrete fractional Lyapunov direct method, using general quadratic Lyapunov functions, and polynomial Lyapunov functions of any positive integer order, respectively. Some examples are given to illustrate these results.


title: Comparison of outlier detection methods on astronomical image data

abstract: Among the many challenges posed by the huge data volumes produced by the new generation of astronomical instruments there is also the search for rare and peculiar objects. Unsupervised outlier detection algorithms may provide a viable solution. In this work we compare the performances of six methods: the Local Outlier Factor, Isolation Forest, k-means clustering, a measure of novelty, and both a normal and a convolutional autoencoder. These methods were applied to data extracted from SDSS stripe 82. After discussing the sensitivity of each method to its own set of hyperparameters, we combine the results from each method to rank the objects and produce a final list of outliers.


title: Next Frontiers in Particle Physics Detectors: INSTR2020 Summary and a Look into the Future

abstract: The physics goals of high luminosity particle accelerators, from LHC to HL-LHC and to the next generation of lepton colliders, have set quite stringent constraints on the future needs at the Instrumentation Frontier. Many technologies are reaching their sensitivity limit and new approaches need to be developed to overcome the currently irreducible technological challenges. The timescales spanned by future projects in particle physics, ranging from few years to many decades, constitute a challenge in itself, in addition to the complexity and diversity of the required accelerator and detector R&D. This paper summarizes advances and recent trends in the instrumentation techniques for particle physics experiments, largely based on the presentations given at the International Conference "Instrumentation for Colliding Beam Physics" (INSTR-20), held at BINP Novosibirsk, Russia, from 24 to 28 February, 2020.


title: Numerical computation of the cut locus via a variational approximation of the distance function

abstract: We propose a new method for the numerical computation of the cut locus of a compact submanifold of $\mathbb{R}^3$ without boundary. This method is based on a convex variational problem with conic constraints, with proven convergence. We illustrate the versatility of our approach by the approximation of Voronoi cells on embedded surfaces of $\mathbb{R}^3$.


title: An Infinite-Dimensional SIS Model

abstract: In this article, we introduce an infinite-dimensional deterministic SIS model which takes into account the heterogeneity of the infections and the social network among a large population. We study the long-time behavior of the dynamic. We identify the basic reproduction number $R_0$ which determines whether there exists a stable endemic steady state (super-critical case: $R_0>1$) or if the only equilibrium is disease-free (critical and sub-critical case: $R_0\leq1$). As an application of this general study, we prove that the so-called ``leaky'' and ``all-or-nothing'' vaccination mechanism have the same effect on $R_0$. This framework is also very natural and intuitive to model lockdown policies and study their impact.


title: Multimodal Generative Learning Utilizing Jensen-Shannon-Divergence

abstract: Learning from different data types is a long-standing goal in machine learning research, as multiple information sources co-occur when describing natural phenomena. However, existing generative models that approximate a multimodal ELBO rely on difficult or inefficient training schemes to learn a joint distribution and the dependencies between modalities. In this work, we propose a novel, efficient objective function that utilizes the Jensen-Shannon divergence for multiple distributions. It simultaneously approximates the unimodal and joint multimodal posteriors directly via a dynamic prior. In addition, we theoretically prove that the new multimodal JS-divergence (mmJSD) objective optimizes an ELBO. In extensive experiments, we demonstrate the advantage of the proposed mmJSD model compared to previous work in unsupervised, generative learning tasks.


title: Decentralized Provision of Renewable Predictions within a Virtual Power Plant

abstract: The mushrooming of distributed energy resources turns end-users from passive price-takers to active market participants. To manage those massive proactive end-users efficiently, virtual power plant (VPP) as an innovative concept emerges. It can provide some necessary information to help consumers improve their profits and trade with the electricity market on behalf of them. One important information that is desired by the consumers is the prediction of renewable outputs inside this VPP. Presently, most VPPs run in a centralized manner, which means the VPP predicts the outputs of all the renewable sources it manages and provides the predictions to every consumer who buys this information. We prove that by providing predictions, the social total surplus can be improved. However, when more consumers and renewables participate in the market, this centralized scheme needs extensive data communication and may jeopardize the privacy of individual stakeholders. In this paper, we propose a decentralized prediction provision algorithm in which consumers from each subregion only buy local predictions and exchange information with the VPP. Convergence is proved under a mild condition, and the demand gap between centralized and decentralized schemes is proved to have zero expectation and bounded variance. Illustrative examples show that the variance of this gap decreases with more consumers and higher uncertainty, and validate the proposed algorithm numerically.


title: H\"older continuity of the minimizer of an obstacle problem with generalized Orlicz growth

abstract: We prove local $C^{0,\alpha}$- and $C^{1,\alpha}$-regularity for the local solution to an obstacle problem with non-standard growth. These results cover as special cases standard, variable exponent, double phase and Orlicz growth.


title: Fast and Automated Peak Bagging with DIAMONDS (FAMED)

abstract: Stars of low and intermediate mass that exhibit oscillations may show tens of detectable oscillation modes each. Oscillation modes are a powerful to constrain the internal structure and rotational dynamics of the star, hence tool allowing one to obtain an accurate stellar age. The tens of thousands of solar-like oscillators that have been discovered thus far are representative of the large diversity of fundamental stellar properties and evolutionary stages available. Because of the wide range of oscillation features that can be recognized in such stars, it is particularly challenging to properly characterize the oscillation modes in detail, especially in light of large stellar samples. Overcoming this issue requires an automated approach, which has to be fast, reliable, and flexible at the same time. In addition, this approach should not only be capable of extracting the oscillation mode properties of frequency, linewidth, and amplitude from stars in different evolutionary stages, but also able to assign a correct mode identification for each of the modes extracted. Here we present the new freely available pipeline FAMED (Fast and AutoMated pEak bagging with DIAMONDS), which is capable of performing an automated and detailed asteroseismic analysis in stars ranging from the main sequence up to the core-Helium-burning phase of stellar evolution. This, therefore, includes subgiant stars, stars evolving along the red giant branch (RGB), and stars likely evolving toward the early asymptotic giant branch. In this paper, we additionally show how FAMED can detect rotation from dipolar oscillation modes in main sequence, subgiant, low-luminosity RGB, and core-Helium-burning stars. FAMED can be downloaded from its public GitHub repository (https://github.com/EnricoCorsaro/FAMED).


title: Learning Heuristic Selection with Dynamic Algorithm Configuration

abstract: A key challenge in satisficing planning is to use multiple heuristics within one heuristic search. An aggregation of multiple heuristic estimates, for example by taking the maximum, has the disadvantage that bad estimates of a single heuristic can negatively affect the whole search. Since the performance of a heuristic varies from instance to instance, approaches such as algorithm selection can be successfully applied. In addition, alternating between multiple heuristics during the search makes it possible to use all heuristics equally and improve performance. However, all these approaches ignore the internal search dynamics of a planning system, which can help to select the most useful heuristics for the current expansion step. We show that dynamic algorithm configuration can be used for dynamic heuristic selection which takes into account the internal search dynamics of a planning system. Furthermore, we prove that this approach generalizes over existing approaches and that it can exponentially improve the performance of the heuristic search. To learn dynamic heuristic selection, we propose an approach based on reinforcement learning and show empirically that domain-wise learned policies, which take the internal search dynamics of a planning system into account, can exceed existing approaches.


title: Learn to cycle: Time-consistent feature discovery for action recognition

abstract: Generalizing over temporal variations is a prerequisite for effective action recognition in videos. Despite significant advances in deep neural networks, it remains a challenge to focus on short-term discriminative motions in relation to the overall performance of an action. We address this challenge by allowing some flexibility in discovering relevant spatio-temporal features. We introduce Squeeze and Recursion Temporal Gates (SRTG), an approach that favors inputs with similar activations with potential temporal variations. We implement this idea with a novel CNN block that uses an LSTM to encapsulate feature dynamics, in conjunction with a temporal gate that is responsible for evaluating the consistency of the discovered dynamics and the modeled features. We show consistent improvement when using SRTG blocks, with only a minimal increase in the number of GFLOPs. On Kinetics-700, we perform on par with current state-of-the-art models, and outperform these on HACS, Moments in Time, UCF-101 and HMDB-51.


title: More on the three-gluon vertex in SU(2) Yang-Mills theory in three and four dimensions

abstract: The three-gluon vertex has been found to be a vital ingredient in non-perturbative functional approaches. We present an updated lattice calculation of it in various kinematical configurations for all tensor structures and multiple lattice parameters in three dimensions, and in a subset of those in four dimensions, for SU(2) Yang-Mills theory in minimal Landau gauge. In three dimensions an unambiguous zero crossing for the tree-level form-factor is established, and consistency for all investigated form factors with a power-like divergence towards the infrared is observed. Using very coarse lattices this is even seen towards momenta as low as about 15 MeV. The results in four dimensions are consistent with such a behavior, but do not yet reach deep enough into the infrared to establish it.


title: The EMV Standard: Break, Fix, Verify

abstract: EMV is the international protocol standard for smartcard payment and is used in over 9 billion cards worldwide. Despite the standard's advertised security, various issues have been previously uncovered, deriving from logical flaws that are hard to spot in EMV's lengthy and complex specification, running over 2,000 pages. We formalize a comprehensive symbolic model of EMV in Tamarin, a state-of-the-art protocol verifier. Our model is the first that supports a fine-grained analysis of all relevant security guarantees that EMV is intended to offer. We use our model to automatically identify flaws that lead to two critical attacks: one that defrauds the cardholder and a second that defrauds the merchant. First, criminals can use a victim's Visa contactless card to make payments for amounts that require cardholder verification, without knowledge of the card's PIN. We built a proof-of-concept Android application and successfully demonstrated this attack on real-world payment terminals. Second, criminals can trick the terminal into accepting an unauthentic offline transaction, which the issuing bank should later decline, after the criminal has walked away with the goods. This attack is possible for implementations following the standard, although we did not test it on actual terminals for ethical reasons. Finally, we propose and verify improvements to the standard that prevent these attacks, as well as any other attacks that violate the considered security properties. The proposed improvements can be easily implemented in the terminals and do not affect the cards in circulation.


title: Primes in arithmetic progressions to large moduli III: Uniform residue classes

abstract: We prove new mean value theorems for primes in arithmetic progressions to moduli larger than $x^{1/2}$, extending the Bombieri-Vinogradov theorem to moduli of size $x^{1/2+\delta}$ which have conveniently sized divisors. The main feature of these estimates is that they are completely uniform with respect to the residue classes considered, unlike previous works on primes in arithmetic progressions to large moduli.


title: Adversarial Weighting for Domain Adaptation in Regression

abstract: We present a novel instance-based approach to handle regression tasks in the context of supervised domain adaptation under an assumption of covariate shift. The approach developed in this paper is based on the assumption that the task on the target domain can be efficiently learned by adequately reweighting the source instances during training phase. We introduce a novel formulation of the optimization objective for domain adaptation which relies on a discrepancy distance characterizing the difference between domains according to a specific task and a class of hypotheses. To solve this problem, we develop an adversarial network algorithm which learns both the source weighting scheme and the task in one feed-forward gradient descent. We provide numerical evidence of the relevance of the method on public data sets for regression domain adaptation through reproducible experiments.


title: Coronal Mini-jets in an Activated Solar Tornado-like Prominence

abstract: High-resolution observations from the $Interface~Region~Imaging~Spectrometer$ ($IRIS$) reveal the existence of a particular type of small solar jets, which arose singly or in clusters from a tornado-like prominence suspended in the corona. In this study, we perform a detailed statistical analysis of 43 selected mini-jets in the tornado event. Our results show that the mini-jets typically have: (1) a projected length of 1.0-6.0 Mm, (2) a width of 0.2-1.0 Mm, (3) a lifetime of 10-50 s, (4) a velocity of 100-350 km s$^{-1}$, and (5) an acceleration of 3-20 km s$^{-2}$. Based on spectral diagnostics and EM-Loci analysis, these jets seem to be multi-thermal small-scale plasma ejections with an estimated average electron density of $\sim$2.4 $\times$ 10$^{10}$ cm$^{-3}$ and an approximate mean temperature of $\sim$2.6 $\times$ 10$^{5}$ K. Their mean kinetic energy density, thermal energy density and dissipated magnetic field strength are roughly estimated to be $\sim$9 erg cm$^{-3}$, 3 erg cm$^{-3}$, and 16 G, respectively. The accelerations of the mini-jets, the UV and EUV brightenings at the footpoints of some mini-jets, and the activation of the host prominence suggest that the tornado mini-jets are probably created by fine-scale external or internal magnetic reconnections (a) between the prominence field and the enveloping or background field or (b) between twisted or braided flux tubes within the prominence. The observations provide insight into the geometry of such reconnection events in the corona and have implications for the structure of the prominence magnetic field and the instability that is responsible for the eruption of prominences and coronal mass ejections.


title: Control of Spin Relaxation Anisotropy by Spin-Orbit-Coupled Diffusive Spin Motion

abstract: Spatiotemporal spin dynamics under spin-orbit interaction is investigated in a (001) GaAs two-dimensional electron gas using magneto-optical Kerr rotation microscopy. Spin polarized electrons are diffused away from the excited position, resulting in spin precession because of the diffusion-induced spin-orbit field. Near the cancellation between spin-orbit field and external magnetic field, the induced spin precession frequency depends nonlinearly on the diffusion velocity, which is unexpected from the conventional linear relation between the spin-orbit field and the electron velocity.This behavior originates from an enhancement of the spin relaxation anisotropy by the electron velocity perpendicular to the diffused direction. We demonstrate that the spin relaxation anisotropy, which has been regarded as a material constant, can be controlled via diffusive electron motion.


title: Dermatologist vs Neural Network

abstract: Cancer, in general, is very deadly. Timely treatment of any cancer is the key to saving a life. Skin cancer is no exception. There have been thousands of Skin Cancer cases registered per year all over the world. There have been 123,000 deadly melanoma cases detected in a single year. This huge number is proven to be a cause of a high amount of UV rays present in the sunlight due to the degradation of the Ozone layer. If not detected at an early stage, skin cancer can lead to the death of the patient. Unavailability of proper resources such as expert dermatologists, state of the art testing facilities, and quick biopsy results have led researchers to develop a technology that can solve the above problem. Deep Learning is one such method that has offered extraordinary results. The Convolutional Neural Network proposed in this study out performs every pretrained models. We trained our model on the HAM10000 dataset which offers 10015 images belonging to 7 classes of skin disease. The model we proposed gave an accuracy of 89%. This model can predict deadly melanoma skin cancer with a great accuracy. Hopefully, this study can help save people's life where there is the unavailability of proper dermatological resources by bridging the gap using our proposed study.


title: ISMS role in the improvement of digital forensics related process in SOC's

abstract: Organizations concerned about digital or computer forensics capability which establishes procedures and records to support a prosecution for computer crimes could benefit from implementing an ISO 27001: 2013-compliant (ISMS Information Security Management System). A certified ISMS adds credibility to information gathered in a digital forensics investigation; certification shows that the organization has an outsider which verifies that the correct procedures are in place and being followed. A certified ISMS is a valuable tool either when prosecuting an intruder or when a customer or other stakeholder seeks damages against the organization. SOC (Security Operation Center) as an organization or a security unit which handles a large volume of information requires a management complement, where ISMS would be a good choice. This idea will help finding solutions for problems related to digital forensics for non-cloud and cloud digital forensics, including Problems associated with the absence of standardization amongst different CSPs (Cloud service providers).


title: Markov-Lipschitz Deep Learning

abstract: We propose a novel framework, called Markov-Lipschitz deep learning (MLDL), to tackle geometric deterioration caused by collapse, twisting, or crossing in vector-based neural network transformations for manifold-based representation learning and manifold data generation. A prior constraint, called locally isometric smoothness (LIS), is imposed across-layers and encoded into a Markov random field (MRF)-Gibbs distribution. This leads to the best possible solutions for local geometry preservation and robustness as measured by locally geometric distortion and locally bi-Lipschitz continuity. Consequently, the layer-wise vector transformations are enhanced into well-behaved, LIS-constrained metric homeomorphisms. Extensive experiments, comparisons, and ablation study demonstrate significant advantages of MLDL for manifold learning and manifold data generation. MLDL is general enough to enhance any vector transformation-based networks. The code is available at https://github.com/westlake-cairi/Markov-Lipschitz-Deep-Learning.


title: Memory-based reduced modelling and data-based estimation of opinion spreading

abstract: We investigate opinion dynamics based on an agent-based model, and are interested in predicting the evolution of the percentages of the entire agent population that share an opinion. Since these opinion percentages can be seen as an aggregated observation of the full system state, the individual opinions of each agent, we view this in the framework of the Mori-Zwanzig projection formalism. More specifically, we show how to estimate a nonlinear autoregressive model (NAR) with memory from data given by a time series of opinion percentages, and discuss its prediction capacities for various specific topologies of the agent interaction network. We demonstrate that the inclusion of memory terms significantly improves the prediction quality on examples with different network topologies.


title: Renewable Energy Assisted Function Splitting in Cloud Radio Access Networks

abstract: Cloud-Radio Access Network (C-RAN) is a promising network architecture to reduce energy consumption and the increasing number of base station deployment costs in mobile networks. However, the necessity of enormous fronthaul bandwidth between a remote radio head and a baseband unit (BBU) calls for novel solutions. One of the solutions introduces the edge-cloud layer in addition to the centralized cloud (CC) to keep resources closer to the radio units (RUs). Then, split the BBU functions between the center cloud (CC) and edge clouds (ECs) to reduce the fronthaul bandwidth requirement and to relax the stringent end-to-end delay requirements. This paper expands this architecture by combining it with renewable energy sources in CC and ECs. We explain this novel system and formulate a mixed-integer linear programming (MILP) problem, which aims to reduce the operational expenditure of this system. Due to the NP-Hard property of this problem, we solve the smaller instances by using a MILP Solver and provide the results in this paper. Moreover, we propose a faster online heuristic to find solutions for high user densities. The results show that make splitting decisions by considering renewable energy provides more cost-effective solutions to mobile network operators (MNOs). Lastly, we provide an economic feasibility study for renewable energy sources in a CRAN architecture, which will encourage the MNOs to use these sources in this architecture.


title: Robust Federated Recommendation System

abstract: Federated recommendation systems can provide good performance without collecting users' private data, making them attractive. However, they are susceptible to low-cost poisoning attacks that can degrade their performance. In this paper, we develop a novel federated recommendation technique that is robust against the poisoning attack where Byzantine clients prevail. We argue that the key to Byzantine detection is monitoring of gradients of the model parameters of clients. We then propose a robust learning strategy where instead of using model parameters, the central server computes and utilizes the gradients to filter out Byzantine clients. Theoretically, we justify our robust learning strategy by our proposed definition of Byzantine resilience. Empirically, we confirm the efficacy of our robust learning strategy employing four datasets in a federated recommendation system.


title: Anomalous thermodiffusion of electrons in graphene

abstract: We reveal a dramatic departure of electron thermodiffusion in solids relative to the commonly accepted picture of the ideal free-electron gas model. In particular, we show that the interaction with the lattice and impurities, combined with a strong material dependence of the electron dispersion relation, leads to counterintuitive diffusion behavior, which we identify by comparing a single-layer two-dimensional electron gas (2DEG) and graphene. When subject to a temperature gradient $\nabla T$, thermodiffusion of massless Dirac electrons in graphene exhibits an anomalous behavior with electrons moving along $\nabla T$ and accumulating in hot regions, in contrast to normal electron diffusion in a 2DEG with parabolic dispersion, where net motion against $\nabla T$ is observed, accompanied by electron depletion in hot regions. These findings have fundamentally importance for the understanding of the spatial electron dynamics in emerging material, establishing close relations with other branches of physics dealing with electron systems under nonuniform temperature conditions.


title: Notes about the Macroscopic Fluctuating Theory

abstract: The Macroscopic Fluctuating Theory is presented from a practical and self consistent point of view. We take as starting point the assumption that a system at a mesoscopic scale is described by a field $\phi(x,t)$ that evolves by a Langevin equation that locally either conserves or not the field. Its dynamic behavior may also depend on the action of external agents on the bulk or/and at the system's boundaries. We derive the corresponding Fokker-Planck equation and the probability of a path and we use them to study general properties of the system's stationary state. In particular we focus on the study of the quasi-potential that defines the stationary distribution at the small noise limit. We argue that the system is at equilibrium when it is macroscopic reversible, that is when the most probable path to create a fluctuation from the stationary state is equal to the time reversed path that relaxes it. When this doesn't occur the system is in a nonequilibrium stationary state whose quasi-potential may present some lack of differentiability and/or long range action. We also derive closed equations for the two-body correlations at the stationary state and we apply them to some typical cases. Finally we obtain generalized Green-Kubo class of formulas by using the Large Deviation Principle.


title: The Molecular ISM in the Super Star Clusters of the Starburst NGC 253

abstract: We present submillimeter spectra of the (proto-)super star cluster (SSC) candidates in the starbursting center of the nearby galaxy NGC 253 identified by Leroy et al. (2018). The 2.5pc resolution of our ALMA cycle 3 observations approach the size of the SSCs and allows the study of physical and chemical properties of the molecular gas in these sources. In the 14 SSC sources and in the frequency ranges 342.0-345.8 GHz and 353.9-357.7 GHz we detect 55 lines belonging to 19 different chemical species. The SSCs differ significantly in chemical complexity, with the richest clusters showing 19 species and the least complex showing 4 species. We detect HCN isotopologues and isomers (H$^{13}$CN, HC$^{15}$N, H$^{15}$NC), abundant HC$_3$N, SO and S$^{18}$O, SO$_2$, and H$_2$CS. The gas ratios CO/HCN, CO/HCO$^+$ are low, ~1-10, implying high dense gas fractions in the SSCs. Line ratio analyses suggests chemistry consistent with photon-dominated regions and mechanical heating. None of the SSCs near the galaxy center show line ratios that imply an X-ray dominated region, suggesting that heating by any (still unknown) AGN does not play a major role. The gas temperatures are high in most sources, with an average rotational temperature of ~130 K in SO$_2$. The widespread existence of vibrationally excited HCN and HC$_3$N transitions implies strong IR radiation fields, potentially trapped by a greenhouse effect due to high continuum opacities.


title: Polynomial time deterministic identity testingalgorithm for $\Sigma^{[3]}\Pi\Sigma\Pi^{[2]}$ circuits via Edelstein-Kelly type theorem for quadratic polynomials

abstract: In this work we resolve conjectures of Beecken, Mitmann and Saxena [BMS13] and Gupta [Gup14], by proving an analog of a theorem of Edelstein and Kelly for quadratic polynomials. As immediate corollary we obtain the first deterministic polynomial time black-box algorithm for testing zeroness of $\Sigma^{[3]}\Pi\Sigma\Pi^{[2]}$ circuits.


title: AMENet: Attentive Maps Encoder Network for Trajectory Prediction

abstract: Trajectory prediction is critical for applications of planning safe future movements and remains challenging even for the next few seconds in urban mixed traffic. How an agent moves is affected by the various behaviors of its neighboring agents in different environments. To predict movements, we propose an end-to-end generative model named Attentive Maps Encoder Network (AMENet) that encodes the agent's motion and interaction information for accurate and realistic multi-path trajectory prediction. A conditional variational auto-encoder module is trained to learn the latent space of possible future paths based on attentive dynamic maps for interaction modeling and then is used to predict multiple plausible future trajectories conditioned on the observed past trajectories. The efficacy of AMENet is validated using two public trajectory prediction benchmarks Trajnet and InD.


title: GS-WGAN: A Gradient-Sanitized Approach for Learning Differentially Private Generators

abstract: The wide-spread availability of rich data has fueled the growth of machine learning applications in numerous domains. However, growth in domains with highly-sensitive data (e.g., medical) is largely hindered as the private nature of data prohibits it from being shared. To this end, we propose Gradient-sanitized Wasserstein Generative Adversarial Networks (GS-WGAN), which allows releasing a sanitized form of the sensitive data with rigorous privacy guarantees. In contrast to prior work, our approach is able to distort gradient information more precisely, and thereby enabling training deeper models which generate more informative samples. Moreover, our formulation naturally allows for training GANs in both centralized and federated (i.e., decentralized) data scenarios. Through extensive experiments, we find our approach consistently outperforms state-of-the-art approaches across multiple metrics (e.g., sample quality) and datasets.


title: The PSPACE-hardness of understanding neural circuits

abstract: In neuroscience, an important aspect of understanding the function of a neural circuit is to determine which, if any, of the neurons in the circuit are vital for the biological behavior governed by the neural circuit. A similar problem is to determine whether a given small set of neurons may be enough for the behavior to be displayed, even if all other neurons in the circuit are deactivated. Such a subset of neurons forms what is called a degenerate circuit for the behavior being studied. Recent advances in experimental techniques have provided researchers with tools to activate and deactivate subsets of neurons with a very high resolution, even in living animals. The data collected from such experiments may be of the following form: when a given subset of neurons is deactivated, is the behavior under study observed? This setting leads to the algorithmic question of determining the minimal vital or degenerate sets of neurons when one is given as input a description of the neural circuit. The algorithmic problem entails both figuring out which subsets of neurons should be perturbed (activated/deactivated), and then using the data from those perturbations to determine the minimal vital or degenerate sets. Given the large number of possible perturbations, and the recurrent nature of neural circuits, the possibility of a combinatorial explosion in such an approach has been recognized in the biology and the neuroscience literature. In this paper, we prove that the problems of finding minimal or minimum-size degenerate sets, and of finding the set of vital neurons, of a neural circuit given as input, are in fact PSPACE-hard. More importantly, we prove our hardness results by showing that a simpler problem, that of simulating such neural circuits, is itself PSPACE-hard.


title: Towards Model-Agnostic Post-Hoc Adjustment for Balancing Ranking Fairness and Algorithm Utility

abstract: Bipartite ranking, which aims to learn a scoring function that ranks positive individuals higher than negative ones from labeled data, is widely adopted in various applications where sample prioritization is needed. Recently, there have been rising concerns on whether the learned scoring function can cause systematic disparity across different protected groups defined by sensitive attributes. While there could be trade-off between fairness and performance, in this paper we propose a model agnostic post-processing framework for balancing them in the bipartite ranking scenario. Specifically, we maximize a weighted sum of the utility and fairness by directly adjusting the relative ordering of samples across groups. By formulating this problem as the identification of an optimal warping path across different protected groups, we propose a non-parametric method to search for such an optimal path through a dynamic programming process. Our method is compatible with various classification models and applicable to a variety of ranking fairness metrics. Comprehensive experiments on a suite of benchmark data sets and two real-world patient electronic health record repositories show that our method can achieve a great balance between the algorithm utility and ranking fairness. Furthermore, we experimentally verify the robustness of our method when faced with the fewer training samples and the difference between training and testing ranking score distributions.


title: A Truncation Error Analysis of Third-Order MUSCL Scheme for Nonlinear Conservation Laws

abstract: This paper is a rebuttal to the claim found in the literature that the MUSCL scheme cannot be third-order accurate for nonlinear conservation laws. We provide a rigorous proof for third-order accuracy of the MUSCL scheme based on a careful and detailed truncation error analysis. Throughout the analysis, the distinction between the cell average and the point value will be strictly made for the numerical solution as well as for the target operator. It is shown that the average of the solutions reconstructed at a face by Van Leer's kappa-scheme recovers a cubic solution exactly with kappa = 1/3, the same is true for the average of the nonlinear fluxes evaluated by the reconstructed solutions, and a dissipation term is already sufficiently small with a third-order truncation error. Finally, noting that the target spatial operator is a cell-averaged flux derivative, we prove that the leading truncation error of the MUSCL finite-volume scheme is third-order with kappa = 1/3. The importance of the diffusion scheme is also discussed: third-order accuracy will be lost when the third-order MUSLC scheme is used with a wrong fourth-order diffusion scheme for convection-diffusion problems. Third-order accuracy is verified by thorough numerical experiments for both steady and unsteady problems. This paper is intended to serve as a reference to clarify confusions about third-order accuracy of the MUSCL scheme, as a guide to correctly analyze and verify the MUSCL scheme for nonlinear equations, and eventually as the basis for clarifying third-order unstructured-grid schemes in a subsequent paper.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: Free algebras through Day convolution

abstract: Building on the foundations in our previous paper, we study Segal conditions that are given by finite products, determined by structures we call cartesian patterns. We set up Day convolution on presheaves in this setting and use it to give conditions under which there is a colimit formula for free algebras and other left adjoints. This specializes to give a simple proof of Lurie's results on operadic left Kan extensions and free algebras for symmetric $\infty$-operads.


title: How to design cell-mediated self-assembled colloidal scaffolds

abstract: A critical step in tissue engineering is the design and synthesis of 3D biocompatible matrices (scaffolds) to support and guide the proliferation of cells and tissue growth. Most existing techniques rely on the processing of scaffolds under controlled conditions and then implanting them \textit{in vivo}, with questions related to biocompatibility and the implantation process that are still challenging. As an alternative, it was proposed to assemble the scaffolds \textit{in loco} through the self-organization of colloidal particles mediated by cells. In this study, we combine experiments, particle-based simulations, and mean-field calculations to show that, in general, the size of the self-assembled scaffold scales with the cell-to-particle ratio. However, we found an optimal value of this ratio, for which the size of the scaffold is maximal when cell-cell adhesion is suppressed. These results suggest that the size and structure of the self-assembled scaffolds may be designed by tuning the adhesion between cells in the colloidal suspension.


title: ASAS Census of Twins

abstract: Twin binaries were identified among the eclipsing binaries with $\delta$>--30$^\circ$ listed in the ASAS catalog. In addition to the known twin binaries in the literature, 68 new systems have been identified, photometric and spectroscopic observations were done. Color, spectral type, temperature, ratio of radii and masses of the components have been derived and presented. Including 12 twin binary systems that exist in both ASAS and the catalogue of absolute parameters of detached eclipsing binary stars, a total of 80 twin detached binary systems have been statistically studied. A comparison of the spectral type distribution of the twins with those of detached eclipsing binary stars in the ASAS database showed that the spectral type distribution of twins is similar to that of detached systems. This result has been interpreted as there is no special formation mechanism for twins than for normal detached binaries. As a result of our case study for HD~154010, a twin binary, we presented the precise physical parameters of the system.


title: Randomized polynomial-time equivalence between determinant and trace-IMM equivalence tests

abstract: Equivalence testing for a polynomial family {g_m} over a field F is the following problem: Given black-box access to an n-variate polynomial f(x), where n is the number of variables in g_m, check if there exists an A in GL(n,F) such that f(x) = g_m(Ax). If yes, then output such an A. The complexity of equivalence testing has been studied for a number of important polynomial families, including the determinant (Det) and the two popular variants of the iterated matrix multiplication polynomial: IMM_{w,d} (the (1,1) entry of the product of d many w $\times$ w symbolic matrices) and Tr-IMM_{w,d} (the trace of the product of d many w $\times$ w symbolic matrices). The families Det, IMM and Tr-IMM are VBP-complete, and so, in this sense, they have the same complexity. But, do they have the same equivalence testing complexity? We show that the answer is 'yes' for Det and Tr-IMM (modulo the use of randomness). The result is obtained by connecting the two problems via another well-studied problem called the full matrix algebra isomorphism problem (FMAI). In particular, we prove the following: 1. Testing equivalence of polynomials to Tr-IMM_{w,d}, for d$\geq$ 3 and w$\geq$ 2, is randomized polynomial-time Turing reducible to testing equivalence of polynomials to Det_w, the determinant of the w $\times$ w matrix of formal variables. (Here, d need not be a constant.) 2. FMAI is randomized polynomial-time Turing reducible to equivalence testing (in fact, to tensor isomorphism testing) for the family of matrix multiplication tensors {Tr-IMM_{w,3}}. These in conjunction with the randomized poly-time reduction from determinant equivalence testing to FMAI [Garg,Gupta,Kayal,Saha19], imply that FMAI, equivalence testing for Tr-IMM and for Det, and the $3$-tensor isomorphism problem for the family of matrix multiplication tensors are randomized poly-time equivalent under Turing reductions.


title: Behind the Mask: A Computational Study of Anonymous' Presence on Twitter

abstract: The hacktivist group Anonymous is unusual in its public-facing nature. Unlike other cybercriminal groups, which rely on secrecy and privacy for protection, Anonymous is prevalent on the social media site, Twitter. In this paper we re-examine some key findings reported in previous small-scale qualitative studies of the group using a large-scale computational analysis of Anonymous' presence on Twitter. We specifically refer to reports which reject the group's claims of leaderlessness, and indicate a fracturing of the group after the arrests of prominent members in 2011-2013. In our research, we present the first attempts to use machine learning to identify and analyse the presence of a network of over 20,000 Anonymous accounts spanning from 2008-2019 on the Twitter platform. In turn, this research utilises social network analysis (SNA) and centrality measures to examine the distribution of influence within this large network, identifying the presence of a small number of highly influential accounts. Moreover, we present the first study of tweets from some of the identified key influencer accounts and, through the use of topic modelling, demonstrate a similarity in overarching subjects of discussion between these prominent accounts. These findings provide robust, quantitative evidence to support the claims of smaller-scale, qualitative studies of the Anonymous collective.


title: Exploration of End-to-End ASR for OpenSTT -- Russian Open Speech-to-Text Dataset

abstract: This paper presents an exploration of end-to-end automatic speech recognition systems (ASR) for the largest open-source Russian language data set -- OpenSTT. We evaluate different existing end-to-end approaches such as joint CTC/Attention, RNN-Transducer, and Transformer. All of them are compared with the strong hybrid ASR system based on LF-MMI TDNN-F acoustic model. For the three available validation sets (phone calls, YouTube, and books), our best end-to-end model achieves word error rate (WER) of 34.8%, 19.1%, and 18.1%, respectively. Under the same conditions, the hybridASR system demonstrates 33.5%, 20.9%, and 18.6% WER.


title: A Derivative-Free Milstein Type Approximation Method for SPDEs covering the Non-Commutative Noise case

abstract: Higher order schemes for stochastic partial differential equations that do not possess commutative noise require the simulation of iterated stochastic integrals. In this work, we propose a derivative-free Milstein type scheme to approximate the mild solution of stochastic partial differential equations that need not to fulfill a commutativity condition for the noise term and which can flexibly be combined with some approximation method for the involved iterated integrals. Recently, the authors introduced two algorithms to simulate such iterated stochastic integrals; these clear the way for the implementation of the proposed higher order scheme. We prove the mean-square convergence of the introduced derivative-free Milstein type scheme which attains the same order as the original Milstein scheme. The original scheme, however, is definitely outperformed when the computational cost is taken into account additionally, that is, in terms of the effective order of convergence. We derive the effective order of convergence for the derivative-free Milstein type scheme analytically in the case that one of the recently proposed algorithms for the approximation of the iterated stochastic integrals is applied. Compared to the exponential Euler scheme and the original Milstein scheme, the proposed derivative-free Milstein type scheme possesses at least the same and in most cases even a higher effective order of convergence depending on the particular SPDE under consideration. These analytical results are illustrated and confirmed with numerical simulations.


title: Equivariant Systems Theory and Observer Design

abstract: A wide range of system models in modern robotics and avionics applications admit natural symmetries. Such systems are termed equivariant and the structure provided by the symmetry is a powerful tool in the design of observers. Significant progress has been made in the last ten years in the design of filters and observers for attitude and pose estimation, tracking of homographies, and velocity aided attitude estimation, by exploiting their inherent Lie-group state-space structure. However, little work has been done for systems on homogeneous spaces, that is systems on manifolds on which a Lie-group acts rather than systems on the Lie-group itself. Recent research in robotic vision has discovered symmetries and equivariant structure on homogeneous spaces for a host of problems including the key problems of visual odometry and visual simultaneous localisation and mapping. These discoveries motivate a deeper look at the structure of equivariant systems on homogeneous spaces. This paper provides a comprehensive development of the foundation theory required to undertake observer and filter design for such systems.


title: Scrambled Cantor sets

abstract: We show that Li-Yorke chaos ensures the existence of a scrambled Cantor set.


title: Detecting unusual input to neural networks

abstract: Evaluating a neural network on an input that differs markedly from the training data might cause erratic and flawed predictions. We study a method that judges the unusualness of an input by evaluating its informative content compared to the learned parameters. This technique can be used to judge whether a network is suitable for processing a certain input and to raise a red flag that unexpected behavior might lie ahead. We compare our approach to various methods for uncertainty evaluation from the literature for various datasets and scenarios. Specifically, we introduce a simple, effective method that allows to directly compare the output of such metrics for single input points even if these metrics live on different scales.


title: Long time dynamics for the focusing nonlinear Schr\"odinger equation with exponential nonlinearities

abstract: In this paper, we study the focusing nonlinear Schr\"odinger equation with exponential nonlinearities \[ i \partial_t u + \Delta u = - \left(e^{4\pi |u|^2} - 1 - 4\pi \mu |u|^2 \right) u, \quad u(0) = u_0 \in H^1, \quad (t,x) \in \mathbb{R} \times \mathbb{R}^2, \] where $\mu \in \{0, 1\}$. By using variational arguments, we first derive invariant sets where the global existence and finite time blow-up occur. In particular, we obtain sharp thresholds for global existence and finite time blow-up. In the case $\mu=1$, by adapting a recent argument of Arora-Dodson-Murphy \cite{ADM}, we study the long time dynamics of global solutions. It turns out that either there exist $t_n\rightarrow +\infty$ and $R_n \rightarrow \infty$ such that $u(t_n)$ vanishes inside $B(0,R_n)$ for all $n\geq 1$ or the solution scatters in $H^1$.


title: Water megamaser emission in hard X-ray selected AGN

abstract: Water megamaser emission at 22 GHz has proven to be a powerful tool for astrophysical studies of AGN allowing an accurate determination of the central black hole mass and of the accretion disc geometry and dynamics. However, after searches among thousands of galaxies, only ~ 200 of them have shown such spectroscopic features, most of them of uncertain classification. In addition, the physical and geometrical conditions under which maser activates are still unknown. In this work we aim at characterizing the occurrence of water maser emission in an unbiased sample of AGN, investigating the relation with the X-ray properties and the possible favorable geometry needed to detect water maser. We have searched for 22 GHz maser emission in a hard X-ray selected sample of AGN, taken from the INTEGRAL/IBIS survey above 20 keV. Of the 380 sources in the sample, only half have water maser data. We have also considered a sub-sample of 87 sources, volume limited, for which we obtained new Green Bank Telescope and Effelsberg observations (for 35 sources), detecting one new maser and increasing its radio coverage to 75%. The detection rate of water maser emission in the total sample is 15+/-3%, this fraction raises up to 19+/-5% for the complete sub-sample, especially if considering type 2 and Compton thick AGN. These results demonstrate that the hard X-ray selection may significantly enhance the maser detection efficiency over comparably large optical/infrared surveys. A possible decline of the detection fraction with increasing luminosity might suggest that an extreme luminous nuclear environment does not favour maser emission. The large fraction of CT AGN with water maser emission could be explained in terms of geometrical effects, being the maser medium the very edge-on portion of the obscuring medium.


title: On the Multi-Property Extraction and Beyond

abstract: In this paper, we investigate the Dual-source Transformer architecture on the WikiReading information extraction and machine reading comprehension dataset. The proposed model outperforms the current state-of-the-art by a large margin. Next, we introduce WikiReading Recycled - a newly developed public dataset, supporting the task of multiple property extraction. It keeps the spirit of the original WikiReading but does not inherit the identified disadvantages of its predecessor.


title: Lord Kelvin's isotropic helicoid

abstract: Nearly 150 years ago, Lord Kelvin proposed the isotropic helicoid, a particle with isotropic yet chiral interactions with a fluid, so that translation couples to rotation. An implementation of his design fabricated with a three-dimensional printer is found experimentally to have no detectable translation-rotation coupling, although the particle point-group symmetry allows this coupling. We explain these results by demonstrating that in Stokes flow, the chiral coupling of such isotropic helicoids made out of non-chiral vanes is due only to hydrodynamic interactions between these vanes. Therefore it is small. In summary, Kelvin's predicted isotropic helicoid exists, but only as a weak breaking of a symmetry of non-interacting vanes in Stokes flow.


title: Gravitational shock waves and scattering amplitudes

abstract: We study gravitational shock waves using scattering amplitude techniques. After first reviewing the derivation in General Relativity as an ultrarelativistic boost of a Schwarzschild solution, we provide an alternative derivation by exploiting a novel relation between scattering amplitudes and solutions to Einstein's field equations. We prove that gravitational shock waves arise from the classical part of a three point function with two massless scalars and a graviton. The region where radiation is localized has a distributional profile and it is now recovered in a natural way, thus bypassing the introduction of singular coordinate transformations as used in General Relativity. The computation is easily generalized to arbitrary dimensions and we show how the exactness of the classical solution follows from the absence of classical contributions at higher loops. A classical double copy between gravitational and electromagnetic shock waves is also provided and for a spinning source, using the exponential form of three point amplitudes, we infer a remarkable relation between gravitational shock waves and spinning ones, also known as gyratons. Using this property, we infer a family of exact solutions describing gravitational shock waves with spin. We then compute the phase shift of a particle in a background of shock waves finding agreement with an earlier computation by Amati, Ciafaloni and Veneziano for particles in the high energy limit. Applied to a gyraton, it provides a result for the scattering angle to all orders in spin.


title: Self-energy screening effects in the $g$ factor of Li-like ions

abstract: We report an investigation of the self-energy screening effects for the $g$ factor of the ground state of Li-like ions. The leading screening contribution of the relative order $1/Z$ is calculated to all orders in the binding nuclear strength parameter $Z\alpha$ (where $Z$ is the nuclear charge number and $\alpha$ is the fine-structure constant). We also extend the known results for the $Z\alpha$ expansion of the QED screening correction by deriving the leading logarithmic contribution of order $\alpha^5\ln\alpha$ and obtaining approximate results for the $\alpha^5$ and $\alpha^6$ contributions. The comparison of the two approaches yields a stringent check of consistency of the two calculations and allows us to obtain improved estimations of the higher-order screening effects.


title: Recent observation and measurements of diboson processes from the ATLAS experiment

abstract: This review covers results at a centre-of-mass energy of $\sqrt{s}=13$ TeV from the ATLAS experiment that have been published, or submitted for publication, up to April 2020. It summarizes results on the inclusive production cross-section measurements of boson pairs and of the electroweak production of diboson in association with two jets. The measurements either use the full integrated luminosity of 139 $\text{fb}^\text{-1}$ collected by the ATLAS detector at the LHC from 2015 to 2018, or a partial dataset of 36 $\text{fb}^\text{-1}$. The inclusive production rates of diboson are studied to high precision. These measurements provide stringent tests of the electroweak sector of the Standard Model and allow search for new physics via anomalous triple and quartic gauge boson couplings.


title: The R$_\infty$ property for pure Artin braid groups

abstract: In this paper we prove that all pure Artin braid groups $P_n$ ($n\geq 3$) have the $R_\infty$ property. In order to obtain this result, we analyse the naturally induced morphism $\operatorname{\text{Aut}}(P_n) \to \operatorname{\text{Aut}}(\Gamma_2 (P_n)/\Gamma_3(P_n))$ which turns out to factor through a representation $\rho\colon S_{n+1} \to \operatorname{\text{Aut}}(\Gamma_2 (P_n)/\Gamma_3(P_n))$. We can then use representation theory of the symmetric groups to show that any automorphism $\alpha$ of $P_n$ acts on the free abelian group $\Gamma_2 (P_n)/\Gamma_3(P_n)$ via a matrix with an eigenvalue equal to 1. This allows us to conclude that the Reidemeister number $R(\alpha)$ of $\alpha$ is $\infty$.


title: ICAM: Interpretable Classification via Disentangled Representations and Feature Attribution Mapping

abstract: Feature attribution (FA), or the assignment of class-relevance to different locations in an image, is important for many classification problems but is particularly crucial within the neuroscience domain, where accurate mechanistic models of behaviours, or disease, require knowledge of all features discriminative of a trait. At the same time, predicting class relevance from brain images is challenging as phenotypes are typically heterogeneous, and changes occur against a background of significant natural variation. Here, we present a novel framework for creating class specific FA maps through image-to-image translation. We propose the use of a VAE-GAN to explicitly disentangle class relevance from background features for improved interpretability properties, which results in meaningful FA maps. We validate our method on 2D and 3D brain image datasets of dementia (ADNI dataset), ageing (UK Biobank), and (simulated) lesion detection. We show that FA maps generated by our method outperform baseline FA methods when validated against ground truth. More significantly, our approach is the first to use latent space sampling to support exploration of phenotype variation. Our code will be available online at https://github.com/CherBass/ICAM.


title: Effect of bed temperature on solute segregation and mechanical properties in Ti-6Al-4V produced by selective laser melting

abstract: Advanced characterisation techniques were used on LPBF Ti-6Al-4V samples produced on a heated base plate. When the substrate temperature is 100{\deg}C the elongation is 6\%, which increases and peaks at 10\% at 570{\deg}C, then sharply decreases to zero ductility at 770{\deg}C. At 100{\deg}C, a heavily strained and twinned microstructure, primarily composed of {\alpha}+{\alpha}', was observed and it was comparable to asbuilt microstructures obtained by conventional LPBF methods. At higher temperatures, twins are no longer present and instead nano-scale {\beta} precipitates are observed within {\alpha}' and {\alpha}, as well as dislocation networks (570{\deg}C) and tangles (770{\deg}C). Solute segregation at crystal defects was observed in all pre-heating conditions. Al and V segregation at microtwins was observed in the 100{\deg}C sample, reporting for the first time `selective' and mutually exclusive Al- and V-rich regions forming in adjacent twins. V segregation at dislocations was observed in the 570{\deg}C and 770{\deg}C samples, consistent with the higher preheating temperatures. High O contents were measured in all samples but with apparent opposing effects. At 100{\deg}C and 570{\deg}C was estimated to be below the critical threshold for O embrittlement and locally aids in maintaining a strength high by solid solution strengthening, whereas at 770{\deg}C it was above the threshold, therefore failing in a brittle fashion. Based on these observations, the initial increase in ductility from 100{\deg}C to 570{\deg}C is attributed to a reduction in microtwins and the dislocation networks acting as `soft barriers' for slip within a coarser microstructure. The lack of ductility at 770{\deg}C was attributed to local solute redistribution causing dislocation pinning and an increase of O content in this sample.