title: Hydrodynamical model of QED cascade expansion in an extremely strong laser pulse

abstract: Development of the self-sustained quantum-electrodynamical (QED) cascade in a single strong laser pulse is studied analytically and numerically. The hydrodynamical approach is used to construct the analytical model of the cascade evolution, which includes the key features of the cascade observed in 3D QED particle-in-cell (QED-PIC) simulations such as the magnetic field predominance in the cascade plasma and laser energy absorption. The equations of the model are derived in the closed form and are solved numerically. Direct comparison between the solutions of the model equations and 3D QED-PIC simulations shows that our model is able to describe the complex nonlinear process of the cascade development qualitatively well. The various regimes of the interaction based on the intensity of the laser pulse are revealed in both the solutions of the model equations and the results of the QED-PIC simulations.


title: Simulation of optical lattice trap loading from a cold atomic ensemble

abstract: We model the efficiency of loading atoms of various species into a one dimensional optical lattice from a cold ensemble taking into account the initial cloud temperature and size, the lattice laser properties affecting the trapping potential, and atomic parameters. Stochastic sampling and dynamical evolution are used to simulate the transfer, leading to estimates of transfer efficiency for varying trap depth and profile. Tracing the motion of the atoms also enables the evaluation of the equilibrium temperature and site occupancy in the lattice. The simulation compares favourably against a number of experimental results, and is used to compute an optimum lattice-waist to cloud-radius ratio for a given optical power.


title: Multiple Dedekind Symbols

abstract: In this paper we study multiple Dedekind symbols and the associated multiple reciprocity functions. There is a bijection between the two sets of them after a normalization. By this bijection we define products of multiple reciprocity functions, and study the relationship to the shuffle property. We construct and calculate shuffled multiple Dedekind symbols and shuffled multiple reciprocity functions from modular forms by regularized iterated integrals. Also we give a decomposition for them.


title: Hyperspectral Anomaly Change Detection Based on Auto-encoder

abstract: With the hyperspectral imaging technology, hyperspectral data provides abundant spectral information and plays a more important role in geological survey, vegetation analysis and military reconnaissance. Different from normal change detection, hyperspectral anomaly change detection (HACD) helps to find those small but important anomaly changes between multi-temporal hyperspectral images (HSI). In previous works, most classical methods use linear regression to establish the mapping relationship between two HSIs and then detect the anomalies from the residual image. However, the real spectral differences between multi-temporal HSIs are likely to be quite complex and of nonlinearity, leading to the limited performance of these linear predictors. In this paper, we propose an original HACD algorithm based on auto-encoder (ACDA) to give a nonlinear solution. The proposed ACDA can construct an effective predictor model when facing complex imaging conditions. In the ACDA model, two systematic auto-encoder (AE) networks are deployed to construct two predictors from two directions. The predictor is used to model the spectral variation of the background to obtain the predicted image under another imaging condition. Then mean square error (MSE) between the predictive image and corresponding expected image is computed to obtain the loss map, where the spectral differences of the unchanged pixels are highly suppressed and anomaly changes are highlighted. Ultimately, we take the minimum of the two loss maps of two directions as the final anomaly change intensity map. The experiments results on public "Viareggio 2013" datasets demonstrate the efficiency and superiority over traditional methods.


title: Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems

abstract: This paper investigates an important informationflow security property called opacity in partially-observed discrete-event systems. We consider the presence of a passive intruder (eavesdropper) that knows the dynamic model of the system and can use the generated information-flow to infer some "secret" of the system. A system is said to be opaque if it always holds the plausible deniability for its secret. Existing notions of opacity only consider secret either as currently visiting some secret states or as having visited some secret states in the past. In this paper, we investigate information-flow security from a new angle by considering the secret of the system as the intention to execute some particular behavior of importance in the future. To this end, we propose a new class of opacity called pre-opacity that characterizes whether or not the intruder can predict the visit of secret states a certain number of steps ahead before the system actually does so. Depending the prediction task of the intruder, we propose two specific kinds of pre-opacity called K-step instant pre-opacity and K-step trajectory pre-opacity to specify this concept. For each notion of pre-opacity, we provide a necessary and sufficient condition as well as an effective verification algorithm. The complexity for the verification of pre-opacity is exponential in the size of the system as we show that pre-opacity is inherently PSPACE-hard. Finally, we generalize our setting to the case where the secret intention of the system is modeled as executing a particular sequence of events rather than visiting a secret state.


title: Deperturbation of Online Social Networks via Bayesian Label Transition

abstract: Online social networks (OSNs) classify users into different categories based on their online activities and interests, a task which is referred as a node classification task. Such a task can be solved effectively using Graph Convolutional Networks (GCNs). However, a small number of users, so-called perturbators, may perform random activities on an OSN, which significantly deteriorate the performance of a GCN-based node classification task. Existing works in this direction defend GCNs either by adversarial training or by identifying the attacker nodes followed by their removal. However, both of these approaches require that the attack patterns or attacker nodes be identified first, which is difficult in the scenario when the number of perturbator nodes is very small. In this work, we develop a GCN defense model, namely GraphLT, which uses the concept of label transition. GraphLT assumes that perturbators' random activities deteriorate GCN's performance. To overcome this issue, GraphLT subsequently uses a novel Bayesian label transition model, which takes GCN's predicted labels and applies label transitions by Gibbs-sampling-based inference and thus repairs GCN's prediction to achieve better node classification. Extensive experiments on seven benchmark datasets show that GraphLT considerably enhances the performance of the node classifier in an unperturbed environment; furthermore, it validates that GraphLT can successfully repair a GCN-based node classifier with superior performance than several competing methods.


title: Phase Aware Speech Enhancement using Realisation of Complex-valued LSTM

abstract: Most of the deep learning based speech enhancement (SE) methods rely on estimating the magnitude spectrum of the clean speech signal from the observed noisy speech signal, either by magnitude spectral masking or regression. These methods reuse the noisy phase while synthesizing the time-domain waveform from the estimated magnitude spectrum. However, there have been recent works highlighting the importance of phase in SE. There was an attempt to estimate the complex ratio mask taking phase into account using complex-valued feed-forward neural network (FFNN). But FFNNs cannot capture the sequential information essential for phase estimation. In this work, we propose a realisation of complex-valued long short-term memory (RCLSTM) network to estimate the complex ratio mask (CRM) using sequential information along time. The proposed RCLSTM is designed to process the complex-valued sequences using complex arithmetic, and hence it preserves the dependencies between the real and imaginary parts of CRM and thereby the phase. The proposed method is evaluated on the noisy speech mixtures formed from the Voice-Bank corpus and DEMAND database. When compared to real value based masking methods, the proposed RCLSTM improves over them in several objective measures including perceptual evaluation of speech quality (PESQ), in which it improves by over 4.3%


title: Event Detection: Gate Diversity and Syntactic Importance Scoresfor Graph Convolution Neural Networks

abstract: Recent studies on event detection (ED) haveshown that the syntactic dependency graph canbe employed in graph convolution neural net-works (GCN) to achieve state-of-the-art per-formance. However, the computation of thehidden vectors in such graph-based models isagnostic to the trigger candidate words, po-tentially leaving irrelevant information for thetrigger candidate for event prediction. In addi-tion, the current models for ED fail to exploitthe overall contextual importance scores of thewords, which can be obtained via the depen-dency tree, to boost the performance. In thisstudy, we propose a novel gating mechanismto filter noisy information in the hidden vec-tors of the GCN models for ED based on theinformation from the trigger candidate. Wealso introduce novel mechanisms to achievethe contextual diversity for the gates and theimportance score consistency for the graphsand models in ED. The experiments show thatthe proposed model achieves state-of-the-artperformance on two ED datasets


title: Activity induced isotropic-polar transition in active liquid crystals

abstract: Active fluids are intrinsically out-of-equilibrium systems due to the internal energy injection of the active constituents. We show here that a transition from a motion-less isotropic state towards a flowing polar one can be possibly driven by the sole active injection through the action of polar-hydrodynamic interactions in absence of an ad hoc free-energy which favors the development of an ordered phase. In particular, we propose an analytical argument and we perform lattice Boltzmann simulations where the appearance of large temporal fluctuations in the polar fraction of the system is observed at the transition point. Moreover, we make use of a scale-to-scale analysis to unveil the energy transfer mechanism, proving that elastic absorption plays a relevant role in the overall dynamics of the system, contrary to what reported in previous works on the usual active gel theory where this term could be factually neglected.


title: The Spatial Crossover between Far-From-Equilibrium and Near-Equilibrium Dynamics in Locally Driven Suspensions

abstract: We examine the response of a quasi-two-dimensional colloidal suspension to a localized circular driving induced by optical tweezers. This approach, a microscale version of rheometry, allows us to resolve over three orders of magnitude in P\'eclet number ($Pe$) and provide a direct observation of a sharp spatial crossover from far- to near-thermal-equilibrium regions of the suspension. In particular, particles migrate from high to low $Pe$ regions and form strongly inhomogeneous steady-state density profiles with an emerging length scale that does not depend on the particle density and is set by $Pe\approx1$. We show that the phenomenological two phase fluid constitutive model is in line with our results.


title: Exceptional Symmetry of G$_2$ in Spin-$\frac{3}{2}$ Fermion Systems

abstract: As the smallest exceptional Lie group and the automorphism group of the non-associative algebra of octonions, G$_2$ is often employed for describing exotic symmetry structures. We prove a G$_2$ symmetry in a Hubbard-like model with spin-$\frac{3}{2}$ fermions in a bipartite lattice, which lies in the intersection of two SO(7) algebras connected by the structure constants of octonions. Depending on the representations of the order parameters, the G$_2$ symmetry can be spontaneously broken into either an SU(3) one associated with an $S^6$ Goldstone manifold, or, into an SU(2)$\times$U(1) with a Grassmannian Goldstone manifold $\mbox{Gr}_5^+(\mathbb{R}^7)$. In the quantum disordered states, quantum fluctuations generate the effective SU(3) and SU(2)$\times$U(1) gauge theories for low energy fermions.


title: In-situ data analytics for highly scalable cloud modelling on Cray machines

abstract: MONC is a highly scalable modelling tool for the investigation of atmospheric flows, turbulence and cloud microphysics. Typical simulations produce very large amounts of raw data which must then be analysed for scientific investigation. For performance and scalability reasons this analysis and subsequent writing to disk should be performed in-situ on the data as it is generated however one does not wish to pause the computation whilst analysis is carried out. In this paper we present the analytics approach of MONC, where cores of a node are shared between computation and data analytics. By asynchronously sending their data to an analytics core, the computational cores can run continuously without having to pause for data writing or analysis. We describe our IO server framework and analytics workflow, which is highly asynchronous, along with solutions to challenges that this approach raises and the performance implications of some common configuration choices. The result of this work is a highly scalable analytics approach and we illustrate on up to 32768 computational cores of a Cray XC30 that there is minimal performance impact on the runtime when enabling data analytics in MONC and also investigate the performance and suitability of our approach on the KNL.


title: The Bayesian Spatial Bradley--Terry Model: Urban Deprivation Modeling in Tanzania

abstract: Identifying the most deprived regions of any country or city is key if policy makers are to design successful interventions. However, locating areas with the greatest need is often surprisingly challenging in developing countries. Due to the logistical challenges of traditional household surveying, official statistics can be slow to be updated; estimates that exist can be coarse, a consequence of prohibitive costs and poor infrastructures; and mass urbanisation can render manually surveyed figures rapidly out-of-date. Comparative judgement models, such as the Bradley--Terry model, offer a promising solution. Leveraging local knowledge, elicited via comparisons of different areas' affluence, such models can both simplify logistics and circumvent biases inherent to house-hold surveys. Yet widespread adoption remains limited, due to the large amount of data existing approaches still require. We address this via development of a novel Bayesian Spatial Bradley--Terry model, which substantially decreases the amount of data comparisons required for effective inference. This model integrates a network representation of the city or country, along with assumptions of spatial smoothness that allow deprivation in one area to be informed by neighbouring areas. We demonstrate the practical effectiveness of this method, through a novel comparative judgement data set collected in Dar es Salaam, Tanzania.


title: Mining Generalized Features for Detecting AI-Manipulated Fake Faces

abstract: Recently, AI-manipulated face techniques have developed rapidly and constantly, which has raised new security issues in society. Although existing detection methods consider different categories of fake faces, the performance on detecting the fake faces with "unseen" manipulation techniques is still poor due to the distribution bias among cross-manipulation techniques. To solve this problem, we propose a novel framework that focuses on mining intrinsic features and further eliminating the distribution bias to improve the generalization ability. Firstly, we focus on mining the intrinsic clues in the channel difference image (CDI) and spectrum image (SI) from the camera imaging process and the indispensable step in AI manipulation process. Then, we introduce the Octave Convolution (OctConv) and an attention-based fusion module to effectively and adaptively mine intrinsic features from CDI and SI. Finally, we design an alignment module to eliminate the bias of manipulation techniques to obtain a more generalized detection framework. We evaluate the proposed framework on four categories of fake faces datasets with the most popular and state-of-the-art manipulation techniques, and achieve very competitive performances. To further verify the generalization ability of the proposed framework, we conduct experiments on cross-manipulation techniques, and the results show the advantages of our method.


title: Semidiscrete vortex solitons

abstract: We demonstrate a possibility of the creation of stable optical solitons combining one continuous and one discrete coordinate, with embedded vorticity, in an array of planar waveguides with intrinsic cubic-quintic nonlinearity. The same system may be realized in terms of the spatiotemporal light propagation in an array of tunnel-coupled optical fibers with the cubic-quintic nonlinearity. In contrast with zero-vorticity states, semidiscrete vortex solitons do not exist without the quintic term in the nonlinearity. Two types of the solitons, \emph{viz.}, intersite- and onsite-centered ones (IC and OC, respectively), with even and odd numbers $N$ of actually excited sites in the discrete direction, are identified. We consider the modes carrying the embedded vorticity $S=1$ and $2$. In accordance with their symmetry, the vortex solitons of the OC type exhibit an intrinsic core, while the IC solitons with a small $N$ may have a coreless structure. Facilitating their creation in the experiment, the modes reported in the present work may be much more compact states than their counterparts considered in other systems, and they feature strong anisotropy. They can be set in motion in the discrete direction, provided that the coupling constant exceeds a certain minimum value. Collisions between moving vortex solitons are considered too.


title: Uniqueness of the Observable Leaving Redundant Imprints in the Environment in the Context of Quantum Darwinism

abstract: In quantum Darwinism, the pointer observable of a system leaves redundant imprints in its environment after decoherence. Each imprint is recorded in a fraction of the environment, which identifies a particular partition of the environment. An ambiguity situation may occur when another observable noncommuting to the pointer observable also leaves redundant imprints with respect to another partition of the environment. We study this problem based on a uniqueness theorem we proved. We find that within a particular subset of all possible partitions of the environment, the observable of the system leaving redundant and nondegenerately recorded imprints in the environment is unique. And, in a typical situation, the partitions outside this particular subset have no physical significance.


title: A comparison of techniques for solving the Poisson equation in CFD

abstract: CFD is a ubiquitous technique central to much of computational simulation such as that required by aircraft design. Solving of the Poisson equation occurs frequently in CFD and there are a number of possible approaches one may leverage. The dynamical core of the MONC atmospheric model is one example of CFD which requires the solving of the Poisson equation to determine pressure terms. Traditionally this aspect of the model has been very time consuming and-so it is important to consider how we might reduce the runtime cost. In this paper we survey the different approaches implemented in MONC to perform the pressure solve. Designed to take advantage of large scale, modern, HPC machines, we are concerned with the computation and communication behaviour of the available techniques and in this text we focus on direct FFT and indirect iterative methods. In addition to describing the implementation of these techniques we illustrate on up to 32768 processor cores of a Cray XC30 both the performance and scalability of our approaches. Raw runtime is not the only measure so we also make some comments around the stability and accuracy of solution. The result of this work are a number of techniques, optimised for large scale HPC systems, and an understanding of which is most appropriate in different situations.


title: Extended abstract: Type oriented programming for task based parallelism

abstract: Writing parallel codes is difficult and exhibits a fundamental trade-off between abstraction and performance. The high level language abstractions designed to simplify the complexities of parallelism make certain assumptions that impacts performance and scalability. On the other hand lower level languages, providing many opportunities for optimisation, require in-depth knowledge and the programmer to consider tricky details of parallelism. An approach is required which can bridge the gap and provide both the ease of programming and opportunities for control and optimisation. By optionally decorating their codes with additional type information, programmers can either direct the compiler to make certain decisions or rely on sensible default choices.


title: Selective Classification Can Magnify Disparities Across Groups

abstract: Selective classification, in which models can abstain on uncertain predictions, is a natural approach to improving accuracy in settings where errors are costly but abstentions are manageable. In this paper, we find that while selective classification can improve average accuracies, it can simultaneously magnify existing accuracy disparities between various groups within a population, especially in the presence of spurious correlations. We observe this behavior consistently across five vision and NLP datasets. Surprisingly, increasing abstentions can even decrease accuracies on some groups. To better understand this phenomenon, we study the margin distribution, which captures the model's confidences over all predictions. For symmetric margin distributions, we prove that whether selective classification monotonically improves or worsens accuracy is fully determined by the accuracy at full coverage (i.e., without any abstentions) and whether the distribution satisfies a property we call left-log-concavity. Our analysis also shows that selective classification tends to magnify full-coverage accuracy disparities. Motivated by our analysis, we train distributionally-robust models that achieve similar full-coverage accuracies across groups and show that selective classification uniformly improves each group on these models. Altogether, our results suggest that selective classification should be used with care and underscore the importance of training models to perform equally well across groups at full coverage.


title: Group theory on quantum Boltzmann machine

abstract: Group theory is extremely successful in characterizing the symmetries in quantum systems, which greatly simplifies and unifies our treatments of quantum systems. Here we introduce the concept of the symmetry for a quantum Boltzmann machine and develop a group theory to describe the symmetry. This symmetry implies not only that all the target states related with the symmetry transformations are equivalent, but also that for a given target state all the optimal solutions related with the symmetry transformations that keeps the target state invariant are equivalent. For the Boltzmann machines built on qubits, we propose a systematic procedure to construct the group, and develop a numerical algorithm to verify the completeness of our construction.


title: Reducing the hydrogen content in liquid helium

abstract: Helium has the lowest boiling point of any element in nature at normal atmospheric pressure. Therefore, any unwanted substance like impurities present in liquid helium will be frozen and will be in solid form. Even if these solid impurities can be easily eliminated by filtering, liquid helium may contain a non-negligible quantity of molecular hydrogen. These traces of molecular hydrogen are the causes of a known problem worldwide: the blocking of fine-capillary tubes used as flow impedances in helium evaporation cryostats to achieve temperatures below 4,2K. This problem seriously affects a wide range of cryogenic equipment used in low-temperature physics research and leads to a dramatic loss of time and costs due to the high price of helium. Here, we present first the measurement of molecular hydrogen content in helium gas. Three measures to decrease this molecular hydrogen are afterward proposed; (i) improving the helium quality, (ii) release of helium gas in the atmosphere during purge time for the regeneration cycle of the helium liquefier's internal purifier, and (iii) installation of two catalytic converters in a closed helium circuit. These actions have eliminated our low-temperature impedance blockage occurrences now for more than two years.


title: The leapfrog algorithm as nonlinear Gauss-Seidel

abstract: Several applications in optimization, image, and signal processing deal with data that belong to the Stiefel manifold St(n,p), that is, the set of n-by-p matrices with orthonormal columns. Some applications, like the Riemannian center of mass, require evaluating the Riemannian distance between two arbitrary points on St(n,p). This can be done by explicitly constructing the geodesic connecting these two points. An existing method for finding geodesics is the leapfrog algorithm of J. L. Noakes. This algorithm is related to the Gauss-Seidel method, a classical iterative method for solving a linear system of equations that can be extended to nonlinear systems. We propose a convergence proof of leapfrog as a nonlinear Gauss-Seidel method. Our discussion is limited to the case of the Stiefel manifold, however, it may be generalized to other embedded submanifolds. We discuss other aspects of leapfrog and present some numerical experiments.


title: A memristive model for graphene emitters: hysteresis and self-crossing

abstract: Hysteresis exhibited by current-voltage characteristics during field-emission experiments is often considered undesirable in terms of practical applications. However, this is an appealing effect for the purposes of memristive devices. We developed a two-stage model to describe hysteretic characteristics, with a particular focus on the system which includes a cathode made of a single-layered graphene sheet on a substrate. In addition to hysteresis, the current-voltage curves display also an unusual self-crossing behavior. The presented memristive model can be used for quantitative descriptions of different hysteretic characteristics such as abrupt changes and self-crossings and for understanding (and modeling) the processes associated with field emission from plane graphene emitters.


title: Recursion relations for scattering amplitudes with massive particles

abstract: We use the recently developed massive spinor-helicity formalism [1] of Arkani- Hamed et al. to propose a new class of recursion relations for tree-level amplitudes in gauge theories. These relations are based on a combined complex deformation of massless as well as massive external momenta. We use these relations to study tree-level amplitudes in scalar QCD as well as amplitudes involving massive vector bosons in the Higgsed phase of Yang-Mills theory. We prove the validity of our proposal by showing that in the limit of infinite momenta of two of the external particles, the amplitude once again is controlled by an enhanced Spin-Lorentz symmetry paralleling the proof of BCFW shift for massless gauge theories. Simple examples illustrate that the proposed shift may lead to an efficient computation of tree-level amplitudes.


title: Nonlinear Compression of Besselon Waves for High Repetition-Rate Subpicosecond Pulses Trains

abstract: We theoretically and experimentally demonstrate the generation of high-quality low duty-cycle pulse trains at repetition rates of 28 GHz, 56 GHz and 112 GHz. Starting from a continuous wave we benefit from phase modulations in the temporal and spectral domains by applying a sinusoidal profile and a set of well-chosen $\pi$ shifts, respectively, to generate a train of modified besselons at doubled repetition rate. With further nonlinear spectral expansion in a normally dispersive fiber followed by dispersion compensation we achieve subpicosecond durations and a duty cycle as low as 0.025 at 28 GHz. Spectral cancelation of one component over two or four enables to further double or quadruple the repetition rate.


title: Surface segregation in multicomponent high entropy alloys: Atomistic simulations versus a multilayer analytical model

abstract: This paper compares two approaches for investigating the near-surface composition profile that results from surface segregation in the so-called Cantor alloy, an equi-molar alloy of CoCrFeMnNi. One approach consists of atomistic computer simulations by a combination of Monte Carlo, molecular dynamics and molecular statics techniques, and the other is a nearest neighbor analytical calculation performed in the regular solution approximation with a multilayer model, developed here for the first time for a N-component system and tested for the 5-component Cantor alloy. This type of comparison is useful because a typical computer simulation requires the use of ~100 parallel processors for 2 to 3 hours, whereas a similar calculation by means of the analytical model can be performed in a few seconds on a laptop machine. The results obtained show qualitatively good agreement between the two approaches. Thus, while the results of the computer simulations are presumably more reliable, and provide an atomic scale picture, if massive computations are required, for example, in order to optimize the composition of a multicomponent alloy, then an initial screening of the composition space by the analytical model could provide a highly useful means of narrowing the regions of interest, in the same way that the CALPHAD method allows rapid investigation of phase diagrams in complex multinary systems.


title: A tree expansion formula of a homology intersection numbers on the configuration space $\mathcal{M}_{0,n}$

abstract: In \cite{M}, Sebastian Mizera discovered a tree expansion formula of a homology intersection number on the configuration space $\mathcal{M}_{0,n}$. The formula originates in a study of Kawai-Lewellen-Tye relation in string theory. In this paper, we give an elementary proof of the formula. The basic ingredients are the combinatorics of the real moduli space $\overline{\mathcal{M}}_{0,n}(\R)$ and a combinatorial identity related to the face number of the associahedron.


title: Identities for Droplets with Circular Footprint on Tilted Surfaces

abstract: Exact mathematical identities are presented between the relevant parameters of droplets displaying circular contact boundary based on flat tilted surfaces. Two of the identities are derived from the force balance, and one from the torque balance. The tilt surfaces cover the full range of inclinations for sessile or pendant drops, including the intermediate case of droplets on a wall (vertical surface). The identities are put under test both by the available solutions of a linear response approximation at small Bond numbers as well as the ones obtained from numerical solutions, making use of the Surface Evolver software. The subtleties to obtain certain angle-averages appearing in identities by the numerical solutions are discussed in detail. It is argued how the identities are useful in two respects. First is to replace some unknown values in the Young-Laplace equation by their expressions obtained from the identities. Second is to use the identities to estimate the error for approximate analytical or numerical solutions without any reference to an exact solution.


title: Linear Lavrent'ev Integral Equation for the Numerical Solution of a Nonlinear Coefficient Inverse Problem

abstract: For the first time, we develop a convergent numerical method for the llinear integral equation derived by M.M. Lavrent'ev in 1964 with the goal to solve a coefficient inverse problem for a wave-like equation in 3D. The data are non overdetermined. Convergence analysis is presented along with the numerical results. An intriguing feature of the Lavrent'ev equation is that, without any linearization, it reduces a highly nonlinear coefficient inverse problem to a linear integral equation of the first kind. Nevertheless, numerical results for that equation, which use the data generated for that coefficient inverse problem, show a good reconstruction accuracy. This is similar with the classical Gelfand-Levitan equation derived in 1951, which is valid in the 1D case.


title: hXDP: Efficient Software Packet Processing on FPGA NICs

abstract: FPGA accelerators on the NIC enable the offloading of expensive packet processing tasks from the CPU. However, FPGAs have limited resources that may need to be shared among diverse applications, and programming them is difficult. We present a solution to run Linux's eXpress Data Path programs written in eBPF on FPGAs, using only a fraction of the available hardware resources while matching the performance of high-end CPUs. The iterative execution model of eBPF is not a good fit for FPGA accelerators. Nonetheless, we show that many of the instructions of an eBPF program can be compressed, parallelized or completely removed, when targeting a purpose-built FPGA executor, thereby significantly improving performance. We leverage that to design hXDP, which includes (i) an optimizing-compiler that parallelizes and translates eBPF bytecode to an extended eBPF Instruction-set Architecture defined by us; a (ii) soft-CPU to execute such instructions on FPGA; and (iii) an FPGA-based infrastructure to provide XDP's maps and helper functions as defined within the Linux kernel. We implement hXDP on an FPGA NIC and evaluate it running real-world unmodified eBPF programs. Our implementation is clocked at 156.25MHz, uses about 15% of the FPGA resources, and can run dynamically loaded programs. Despite these modest requirements, it achieves the packet processing throughput of a high-end CPU core and provides a 10x lower packet forwarding latency.


title: The Efficiency Gap

abstract: Parameter estimation via M- and Z-estimation is equally powerful in semiparametric models for one-dimensional functionals due to a one-to-one relation between corresponding loss and identification functions via integration and differentiation. For multivariate functionals such as multiple moments, quantiles, or the pair (Value at Risk, Expected Shortfall), this one-to-one relation fails and not every identification function possesses an antiderivative. The most important implication is an efficiency gap: The most efficient Z-estimator often outperforms the most efficient M-estimator. We theoretically establish this phenomenon for multiple quantiles at different levels and for the pair (Value at Risk, Expected Shortfall), and illustrate the gap numerically. Our results further give guidance for pseudo-efficient M-estimation for semiparametric models of the Value at Risk and Expected Shortfall.


title: Particle size effect on the Langmuir-Hinshelwood barrier for CO oxidation on regular arrays of Pd clusters supported on ultrathin alumina films

abstract: The Langmuir-Hinshelwood barrier (ELH) and the pre-exponential factor ($\nu$LH) for CO oxidation have been measured at high temperature on hexagonal arrays of Pd clusters supported on an ultrathin alumina film on Ni3Al(111). The Pd clusters have a sharp size distribution and the mean sizes are: 174$\pm$13, 360$\pm$19 and 768$\pm$28 atoms. ELH and $\nu$LH are determined from the initial reaction rate of a CO molecular beam with a saturation layer of adsorbed oxygen on the Pd clusters, measured at different temperatures (493$\le$T (K) $\le$613). The largest particles (3.5 nm) give values of ELH and $\nu$LH similar to those measured on Pd (111) [2]. However, smaller particles (2.7 and 2.1 nm) show very different behavior. The origin of this size effect is discussed in terms of variation of the electronic structure and of the atomic structure of the Pd clusters.


title: Legolas: a modern tool for magnetohydrodynamic spectroscopy

abstract: Magnetohydrodynamic (MHD) spectroscopy is central to many astrophysical disciplines, ranging from helio- to asteroseismology, over solar coronal (loop) seismology, to the study of waves and instabilities in jets, accretion disks, or solar/stellar atmospheres. MHD spectroscopy quantifies all linear (standing or travelling) wave modes, including overstable (i.e. growing) or damped modes, for a given configuration that achieves force and thermodynamic balance. Here, we present Legolas, a novel, open-source numerical code to calculate the full MHD spectrum of one-dimensional equilibria with flow, that balance pressure gradients, Lorentz forces, centrifugal effects and gravity, enriched with non-adiabatic aspects like radiative losses, thermal conduction and resistivity. The governing equations use Fourier representations in the ignorable coordinates, and the set of linearised equations are discretised using Finite Elements in the important height or radial variation, handling Cartesian and cylindrical geometries using the same implementation. A weak Galerkin formulation results in a generalised (non-Hermitian) matrix eigenvalue problem, and linear algebraic algorithms calculate all eigenvalues and corresponding eigenvectors. We showcase a plethora of well-established results, ranging from p- and g-modes in magnetised, stratified atmospheres, over modes relevant for coronal loop seismology, thermal instabilities and discrete overstable Alfv\'en modes related to solar prominences, to stability studies for astrophysical jet flows. We encounter (quasi-)Parker, (quasi-)interchange, current-driven and Kelvin-Helmholtz instabilities, as well as non-ideal quasi-modes, resistive tearing modes, up to magneto-thermal instabilities. The use of high resolution sheds new light on previously calculated spectra, revealing interesting spectral regions that have yet to be investigated.


title: Active Learning for Noisy Data Streams Using Weak and Strong Labelers

abstract: Labeling data correctly is an expensive and challenging task in machine learning, especially for on-line data streams. Deep learning models especially require a large number of clean labeled data that is very difficult to acquire in real-world problems. Choosing useful data samples to label while minimizing the cost of labeling is crucial to maintain efficiency in the training process. When confronted with multiple labelers with different expertise and respective labeling costs, deciding which labeler to choose is nontrivial. In this paper, we consider a novel weak and strong labeler problem inspired by humans natural ability for labeling, in the presence of data streams with noisy labels and constrained by a limited budget. We propose an on-line active learning algorithm that consists of four steps: filtering, adding diversity, informative sample selection, and labeler selection. We aim to filter out the suspicious noisy samples and spend the budget on the diverse informative data using strong and weak labelers in a cost-effective manner. We derive a decision function that measures the information gain by combining the informativeness of individual samples and model confidence. We evaluate our proposed algorithm on the well-known image classification datasets CIFAR10 and CIFAR100 with up to 60% noise. Experiments show that by intelligently deciding which labeler to query, our algorithm maintains the same accuracy compared to the case of having only one of the labelers available while spending less of the budget.


title: FragmentVC: Any-to-Any Voice Conversion by End-to-End Extracting and Fusing Fine-Grained Voice Fragments With Attention

abstract: Any-to-any voice conversion aims to convert the voice from and to any speakers even unseen during training, which is much more challenging compared to one-to-one or many-to-many tasks, but much more attractive in real-world scenarios. In this paper we proposed FragmentVC, in which the latent phonetic structure of the utterance from the source speaker is obtained from Wav2Vec 2.0, while the spectral features of the utterance(s) from the target speaker are obtained from log mel-spectrograms. By aligning the hidden structures of the two different feature spaces with a two-stage training process, FragmentVC is able to extract fine-grained voice fragments from the target speaker utterance(s) and fuse them into the desired utterance, all based on the attention mechanism of Transformer as verified with analysis on attention maps, and is accomplished end-to-end. This approach is trained with reconstruction loss only without any disentanglement considerations between content and speaker information and doesn't require parallel data. Objective evaluation based on speaker verification and subjective evaluation with MOS both showed that this approach outperformed SOTA approaches, such as AdaIN-VC and AutoVC.


title: Parallel waveform synthesis based on generative adversarial networks with voicing-aware conditional discriminators

abstract: This paper proposes voicing-aware conditional discriminators for Parallel WaveGAN-based waveform synthesis systems. In this framework, we adopt a projection-based conditioning method that can significantly improve the discriminator's performance. Furthermore, the conventional discriminator is separated into two waveform discriminators for modeling voiced and unvoiced speech. As each discriminator learns the distinctive characteristics of the harmonic and noise components, respectively, the adversarial training process becomes more efficient, allowing the generator to produce more realistic speech waveforms. Subjective test results demonstrate the superiority of the proposed method over the conventional Parallel WaveGAN and WaveNet systems. In particular, our speaker-independently trained model within a FastSpeech 2 based text-to-speech framework achieves the mean opinion scores of 4.20, 4.18, 4.21, and 4.31 for four Japanese speakers, respectively.


title: Arbitrary Pattern Formation on Infinite Regular Tessellation Graphs

abstract: Given a set R of robots, each one located at different vertices of an infinite regular tessellation graph, we aim to explore the Arbitrary Pattern Formation (APF) problem. Given a multiset F of grid vertices such that |R|=|F|, APF asks for a distributed algorithm that moves robots so as to reach a configuration similar to F. Similarity means that robots must be disposed as F regardless of translations, rotations, reflections. So far, as possible graph discretizing the Euclidean plane only the standard square grid has been considered in the context of the classical Look-Compute-Move model. However, it is natural to consider also the other regular tessellation graphs, that are triangular and hexagonal grids. We provide a resolution algorithm for APF when the initial configuration is asymmetric and the considered topology is any regular tessellation graph.


title: Biomimetic Omnidirectional Anti-reflective Glass via Direct Ultrafast Laser Nanostructuring

abstract: We report on a single-step, biomimetic approach for the realization of omnidirectional transparent antireflective glass. In particular, it is shown that circularly polarized ultrashort laser pulses produce self-organized nanopillar structures on fused silica (SiO2). The laser induced nanostructures are selectively textured on the glass surface in order to mimic the spatial randomness, pillar-like morphology, as well as the remarkable anti-reflection properties found on the wings of the glasswing butterfly, Greta oto[1] and various Cicada species[2]. The artificial structures exhibit impressive anti-reflective properties, both in the visible and infrared frequency range. Accordingly, the laser-processed glass surfaces show reflectivity smaller than 1% for various angles of incidence in the visible spectrum for S-P linearly polarized configurations. While, in the near infrared spectrum, the laser-textured glass shows higher transmittance compared to the pristine. It is envisaged that our current results will revolutionize the technology of anti-reflective transparent surfaces and impact numerous applications from glass displays to optoelectronic devices.

categories: physics.optics cond-mat.mtrl-sci physics.app-ph physics.comp-ph


title: Epitaxial Ferroelectric La-doped Hf0.5Zr0.5O2 Thin Films

abstract: Doping ferroelectric Hf0.5Zr0.5O2 with La is a promising route to improve endurance. However, the beneficial effect of La on the endurance of polycrystalline films may be accompanied by degradation of the retention. We have investigated the endurance - retention dilemma in La-doped epitaxial films. Compared to undoped epitaxial films, large values of polarization are obtained in a wider thickness range, whereas the coercive fields are similar, and the leakage current is substantially reduced. Compared to polycrystalline La-doped films, epitaxial La-doped films show more fatigue but there is not significant wake-up effect and endurance-retention dilemma. The persistent wake-up effect common to polycrystalline La-doped Hf0.5Zr0.5O2 films, is limited to a few cycles in epitaxial films. Despite fatigue, endurance in epitaxial La-doped films is more than 1010 cycles, and this good property is accompanied by excellent retention of more than 10 years. These results demonstrate that wake-up effect and endurance-retention dilemma are not intrinsic in La-doped Hf0.5Zr0.5O2.


title: Reducing the domination number of $P_3+kP_2$-free graphs via one edge contraction

abstract: In this note, we consider the following problem: given a connected graph $G$, can we reduce the domination number of $G$ by using only one edge contraction? We show that the problem is polynomial-time solvable on $P_3+kP_2$-free graphs for any $k \geq 0$ which combined with results of [1,2] leads to a complexity dichotomy of the problem on $H$-free graphs.


title: Global bifurcation and highest waves on water of finite depth

abstract: We consider the two-dimensional problem for steady water waves with vorticity on water of finite depth. While neglecting the effects of surface tension we construct connected families of large amplitude periodic waves approaching the limiting wave, which is either a solitary wave, the highest solitary wave, the highest Stokes wave or a Stokes wave with a breaking profile. In particular, when the vorticity is nonnegative we prove the existence of highest Stokes waves with an included angle of 120 degrees. In contrast to previous studies we fix the Bernoulli constant and consider the wavelength as a bifurcation parameter, which guarantees that the limiting wave has a finite depth. In fact, this is the first rigorous proof of the existence of extreme Stokes waves with vorticity on water of finite depth. Beside the existence of highest waves we provide a new result about the regularity of Stokes waves of arbitrary amplitude (including extreme waves). Furthermore, we prove several new facts about steady waves, such as a lower bound for the wavelength of Stokes waves, while also eliminate a possibility of the wave breaking for waves with non-negative vorticity.


title: Classical and quantum (2+1)-dimensional spatially homogeneous string cosmology

abstract: We introduce three families of classical and quantum solutions to the leading order of string effective action on spatially homogeneous $(2+1)$-dimensional space-times with the sources given by the contributions of dilaton, antisymmetric gauge $B$-field, and central charge deficit term $\Lambda$. At the quantum level, solutions of Wheeler-DeWitt equations have been enriched by considering the quantum versions of the classical conditional symmetry equations. Concerning the possible applications of the obtained solutions, the semiclassical analysis of Bohm's mechanics has been performed to demonstrate the possibility of avoiding the classical singularities at the quantum level.


title: Path decompositions of tournaments

abstract: In 1976, Alspach, Mason, and Pullman conjectured that any tournament $T$ of even order can be decomposed into exactly ${\rm ex}(T)$ paths, where ${\rm ex}(T):= \frac{1}{2}\sum_{v\in V(T)}|d_T^+(v)-d_T^-(v)|$. We prove this conjecture for all sufficiently large tournaments. We also prove an asymptotically optimal result for tournaments of odd order.


title: Federated Learning From Big Data Over Networks

abstract: This paper formulates and studies a novel algorithm for federated learning from large collections of local datasets. This algorithm capitalizes on an intrinsic network structure that relates the local datasets via an undirected "empirical" graph. We model such big data over networks using a networked linear regression model. Each local dataset has individual regression weights. The weights of close-knit sub-collections of local datasets are enforced to deviate only little. This lends naturally to a network Lasso problem which we solve using a primal-dual method. We obtain a distributed federated learning algorithm via a message passing implementation of this primal-dual method. We provide a detailed analysis of the statistical and computational properties of the resulting federated learning algorithm.


title: Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks

abstract: In this paper, we investigate the problem of planning an optimal infinite path for a single robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume that the external behavior of the robot, specified by an output function, can be accessed by a passive intruder (eavesdropper). The security constraint requires that the intruder should never infer that the robot was started from a secret location. We provide a sound and complete algorithmic procedure to solve this problem. Our approach is based on the construction of the twin weighted transition systems (twin-WTS) that tracks a pair of paths having the same observation. We show that the security-aware path planning problem can be effectively solved based on graph search techniques in the product of the twin-WTS and the B\"{u}chi automaton representing the LTL formula. The complexity of the proposed planning algorithm is polynomial in the size of the system model. Finally, we illustrate our algorithm by a simple robot planning example.


title: On the conditional bounds for Siegel zeros

abstract: Under a weakened version of Hardy-Littlewood Conjecture on the number of representations in Goldbach problem, J. H. Fei proved bounds for the Siegel zeros. Recently G. Bhowmik and K. Halupczok generalized Fei's result under a weaker conjecture. In the first version of this paper on arXiv, we pointed out a defect in the paper of G. Bhowmik and K.Halupczok, and assumed a new conjecture and used new discussion to overcome this defect to recover their result. Afterwards, in the second version of their paper, G. Bhowmik and K. Halupczok assumed previous conjecture and used our new discussion to get a weaker result. But they did not mention our paper so that we have to make some explanation now.


title: Time domain boundary integral equations and convolution quadrature for scattering by composite media (extended preprint)

abstract: We consider acoustic scattering in heterogeneous media with piecewise constant wave number. The discretization is carried out using a Galerkin boundary element method in space and Runge-Kutta convolution quadrature in time. We prove well-posedness of the scheme and provide a priori estimates for the convergence in space and time.


title: Leveraging Location Information for RIS-aided mmWave MIMO Communications

abstract: Location information offered by external positioning systems, e.g., satellite navigation, can be used as prior information in the process of beam alignment and channel parameter estimation for reconfigurable intelligent surface (RIS)-aided millimeter wave (mmWave) multiple-input multiple-output networks. Benefiting from the availability of such prior information, albeit imperfect, the beam alignment and channel parameter estimation processes can be significantly accelerated with less candidate beams explored at all the terminals. We propose a practical channel parameter estimation method via atomic norm minimization, which outperforms the standard beam alignment in terms of both the mean square error and the effective spectrum efficiency for the same training overhead.


title: Clock-centric Serial Links for the Synchronization of Distributed Readout Systems

abstract: Detector readout systems for medium to large scale physics experiments, and instruments in some other fields as well, are generally composed of multiple front-end digitizer boards distributed over a certain area. Often, this hardware has to be synchronized to a common reference clock with minimal skew and low jitter. Today's mainstream solutions to precise clock distribution and deterministic latency messaging rely on the capabilities of high speed serial transceivers (a.k.a. SerDes) embedded in modern Field Programmable Gate Arrays (FPGAs). An alternative option uses distinct clock and data links. This can potentially reach higher synchronization accuracy, at significant hardware expenses. This work reports some first steps to explore a third scheme for clock and synchronous message distribution. Like the standard approach, the same media is used to convey clock and data, but instead of using today's "data-centric" links where the recovered clock is only a by-product of a SerDes, this paper defines and investigates "clock-centric" links where, at the opposite, a clock is carried by the link, and synchronous data are embedded into it by a modulation technique. After defining the concepts and principles of data-centric links, experimental studies are presented. Finally, the merits and limitations of the proposed approach are discussed.


title: Lipschitz-Killing Curvatures for Arithmetic Random Waves

abstract: In this paper, we show that the Lipschitz-Killing Curvatures for the excursion sets of Arithmetic Random Waves (toral Gaussian eigenfunctions) are dominated, in the high-frequency regime, by a single chaotic component. The latter can be written as a simple explicit function of the threshold parameter times the centered norm of these random fields; as a consequence, these geometric functionals are fully correlated in the high-energy limit. The derived formulae show a clear analogy with related results on the round unit sphere and suggest the existence of a general formula for geometric functionals of random eigenfunctions on Riemannian manifolds.


title: Coherence of strict equalities in dependent type theories

abstract: We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the conservativity of Extensional Type Theory over Intensional Type Theory. We generalize these methods to type theories without the Uniqueness of Identity Proofs principle, such as variants of Homotopy Type Theory, by introducing a notion of higher congruence over models of type theory. Our definition of higher congruence is inspired by Brunerie's type-theoretic definition of weak $\infty$-groupoid. For a large class of type theories, we reduce the problem of the conservativity of equational extensions to more tractable acyclicity conditions.


title: Optimisation des parcours patients pour lutter contre l'errance de diagnostic des patients atteints de maladies rares

abstract: A patient suffering from a rare disease in France has to wait an average of two years before being diagnosed. This medical wandering is highly detrimental both for the health system and for patients whose pathology may worsen. There exists an efficient network of Centres of Reference for Rare Diseases (CRMR), but patients are often referred to these structures too late. We are considering a probabilistic modelling of the patient pathway in order to create a simulator that will allow us to create an alert system that detects wandering patients and refers them to a CRMR while considering the potential additional costs associated with these decisions.


title: Rule-embedded network for audio-visual voice activity detection in live musical video streams

abstract: Detecting anchor's voice in live musical streams is an important preprocessing for music and speech signal processing. Existing approaches to voice activity detection (VAD) primarily rely on audio, however, audio-based VAD is difficult to effectively focus on the target voice in noisy environments. With the help of visual information, this paper proposes a rule-embedded network to fuse the audio-visual (A-V) inputs to help the model better detect target voice. The core role of the rule in the model is to coordinate the relation between the bi-modal information and use visual representations as the mask to filter out the information of non-target sound. Experiments show that: 1) with the help of cross-modal fusion by the proposed rule, the detection result of A-V branch outperforms that of audio branch; 2) the performance of bi-modal model far outperforms that of audio-only models, indicating that the incorporation of both audio and visual signals is highly beneficial for VAD. To attract more attention to the cross-modal music and audio signal processing, a new live musical video corpus with frame-level label is introduced.


title: Symmetry-projected variational calculations with the numerical suite TAURUS I. Variation after particle-number projection

abstract: We present the numerical code TAURUS_vap that solves the variation after particle-number projection equations for symmetry-unrestricted real Bogoliubov quasiparticle states represented in a spherical harmonic oscillator basis. The model space considered is invariant under spatial and isospin rotations but no specific set of orbits is assumed such that the code can carry out both valence-space and no-core calculations. In addition, no number parity is assumed for the Bogoliubov quasiparticle states such that the code can be used to describe even-even, odd-even and odd-odd nuclei. The variational procedure can be performed under several simultaneous constraints on the expectation values of a variety of operators such as the multipole deformations, the pairing field or the components of the angular momentum. To demonstrate the potential and versatility of the code, we perform several example calculations using an empirical shell-model interaction as well as a chiral interaction. The ability to perform advanced variational Bogoliubov calculations offered by this code will, we hope, be beneficial to the shell model and ab initio communities.


title: Large Deviation principles of Realized Laplace Transform of Volatility

abstract: Under scenario of high frequency data, consistent estimator of realized Laplace transform of volatility is proposed by \citet{TT2012a} and related central limit theorem has been well established. In this paper, we investigate the asymptotic tail behaviour of the empirical realized Laplace transform of volatility (ERLTV). We establish both large deviation principle and moderate deviation principle for the ERLTV. The good rate function for the large deviation principle is well defined in the whole real space, which indicates a limit for the normalized logarithmic tail probability of the ERLTV. Moreover, we also derive the function-level large and moderate deviation principles for ERLTV.


title: Learning Contextual Tag Embeddings for Cross-Modal Alignment of Audio and Tags

abstract: Self-supervised audio representation learning offers an attractive alternative for obtaining generic audio embeddings, capable to be employed into various downstream tasks. Published approaches that consider both audio and words/tags associated with audio do not employ text processing models that are capable to generalize to tags unknown during training. In this work we propose a method for learning audio representations using an audio autoencoder (AAE), a general word embeddings model (WEM), and a multi-head self-attention (MHA) mechanism. MHA attends on the output of the WEM, providing a contextualized representation of the tags associated with the audio, and we align the output of MHA with the output of the encoder of AAE using a contrastive loss. We jointly optimize AAE and MHA and we evaluate the audio representations (i.e. the output of the encoder of AAE) by utilizing them in three different downstream tasks, namely sound, music genre, and music instrument classification. Our results show that employing multi-head self-attention with multiple heads in the tag-based network can induce better learned audio representations.


title: On the Hofer-Zehnder conjecture on $\mathbb{C}\text{P}^d$ via generating functions (with an appendix by Egor Shelukhin)

abstract: We use generating function techniques developed by Givental, Th\'eret and ourselves to deduce a proof in $\mathbb{C}\text{P}^d$ of the homological generalization of Franks theorem due to Shelukhin. This result proves in particular the Hofer-Zehnder conjecture in the non-degenerated case: every Hamiltonian diffeomorphism of $\mathbb{C}\text{P}^d$ that has at least $d+2$ non-degenerated periodic points has infinitely many periodic points. Our proof does not appeal to Floer homology or the theory of $J$-holomorphic curves. An appendix written by Shelukhin contains a new proof of the Smith-type inequality for barcodes of Hamiltonian diffeomorphisms that arise from Floer theory, which lends itself to adaptation to the setting of generating functions.


title: Enhanced Cyber-Physical Security Using Attack-resistant Cyber Nodes and Event-triggered Moving Target Defence

abstract: This paper outlines a cyber-physical authentication strategy to protect power system infrastructure against false data injection (FDI) attacks. We demonstrate that it is feasible to use small, low-cost, yet highly attack-resistant security chips as measurement nodes, enhanced with an event-triggered moving target defence (MTD), to offer effective cyber-physical security. At the cyber layer, the proposed solution is based on the MULTOS Trust-Anchor chip, using an authenticated encryption protocol, offering cryptographically protected and chained reports at up to 12/s. The availability of the trust-anchors, allows the grid controller to delegate aspects of passive anomaly detection, supporting local as well as central alarms. In this context, a distributed event-triggered MTD protocol is implemented at the physical layer to complement cyber side enhancement. This protocol applies a distributed anomaly detection scheme based on Holt-Winters seasonal forecasting in combination with MTD implemented via inductance perturbation. The scheme is shown to be effective at preventing or detecting a wide range of attacks against power system measurement system.


title: Dimensional aspects of Lovelock-Lanczos gravity

abstract: There has recently been an increasing interest in regularizations of Lovelock-Lanczos gravity (LLG) in four dimensions, in which dimensional poles and possibly counter-terms are introduced to compensate the vanishing of the Lovelock field equations in critical and lower dimensions. In this paper, we review and extend some of these results. We first find a class of LLG theories whose perturbative expansion around a given (A)dS vacuum can be regularized up to arbitrary order, the simplest one being close to Lovelock gravities with a unique vacuum. If well-defined, these models might be interpreted as effective field theories of gravitons in four dimensions, or might be combined with other regularization approaches. Among those, we establish the general procedure to obtain $4$D covariant and background independent regularizations from metric transformations. In the conformal (and critical) case, we generalize previous results obtained for the Gauss-Bonnet theory to the full Lovelock series. Similarly, the regularization of Gauss-Bonnet gravity from the breaking of $4$D-covariance down to $3$D is generalized to arbitrary curvature order, seemingly resulting in new Minimally Modified gravities propagating solely the two degrees of freedom of the graviton. Finally, we present general results regarding the minisuperspace regularization of specific sectors of LLG. Non-perturbative (in curvature) regularized theories admitting non-singular black holes as well as non-singular past-dS$_4$ and cyclic closed cosmologies are found. We conclude with the non-uniqueness of these background regularizations by finding inequivalent regularizations of the Bianchi I sector of Lovelock-Lanczos gravity in four dimensions.


title: A GPU-accelerated adaptive FSAI preconditioner for massively parallel simulations

abstract: The solution of linear systems of equations is a central task in a number of scientific and engineering applications. In many cases the solution of linear systems may take most of the simulation time thus representing a major bottleneck in the further development of scientific and technical software. For large scale simulations, nowadays accounting for several millions or even billions of unknowns, it is quite common to resort to preconditioned iterative solvers for exploiting their low memory requirements and, at least potential, parallelism. Approximate inverses have been shown to be robust and effective preconditioners in various contexts. In this work, we show how adaptive FSAI, an approximate inverse characterized by a very high degree of parallelism, can be successfully implemented on a distributed memory computer equipped with GPU accelerators. Taking advantage of GPUs in adaptive FSAI set-up is not a trivial task, nevertheless we show through an extensive numerical experimentation how the proposed approach outperforms more traditional preconditioners and results in a close-to-ideal behaviour in challenging linear algebra problems.


title: On mixed fractional SDEs with discontinuous drift coefficient

abstract: We prove existence and uniqueness of the solution for a class of mixed fractional stochastic differential equations with discontinuous drift driven by both standard and fractional Brownian motion. Additionally, we establish a generalized It\^o rule valid for functions with absolutely continuous derivative and applicable to solutions of mixed fractional stochastic differential equations with Lipschitz coefficients, which plays a key role in our proof of existence and uniqueness. The proof of such a formula is new and relies on showing the existence of a density of the law under mild assumptions on the diffusion coefficient.


title: Data-driven distributed control: Virtual reference feedback tuning in dynamic networks

abstract: In this paper, the problem of synthesizing a distributed controller from data is considered, with the objective to optimize a model-reference control criterion. We establish an explicit ideal distributed controller that solves the model-reference control problem for a structured reference model. On the basis of input-output data collected from the interconnected system, a virtual experiment setup is constructed which leads to a network identification problem. We formulate a prediction-error identification criterion that has the same global optimum as the model-reference criterion, when the controller class contains the ideal distributed controller. The developed distributed controller synthesis method is illustrated on an academic example network of nine subsystems and the influence of the controller interconnection structure on the achieved closed-loop performance is analyzed.


title: Stability estimates for invariant measures of diffusion processes, with applications to stability of moment measures and Stein kernels

abstract: We investigate stability of invariant measures of diffusion processes with respect to $L^p$ distances on the coefficients, under an assumption of log-concavity. The method is a variant of a technique introduced by Crippa and De Lellis to study transport equations. As an application, we prove a partial extension of an inequality of Ledoux, Nourdin and Peccati relating transport distances and Stein discrepancies to a non-Gaussian setting via the moment map construction of Stein kernels.


title: Singularities in the weak turbulence regime for the quintic Schr\"odinger equation

abstract: In this paper, we discuss the problem of derivation of kinetic equations from the theory of weak turbulence for the quintic Schr\"odinger equation. We study the quintic Schr\"odinger equation on $L\mathbb T$, with $L\gg 1$ and with a non-linearity of size $\varepsilon\ll 1$. We consider the correlations $f(T)$ of the Fourier coefficients of the solution at times $t = T\varepsilon^{-2}$ when $\varepsilon\rightarrow 0$ and $L\rightarrow \infty$. Our results can be summed up in the following way : there exists a regime for $\varepsilon$ and $L$ such that for $T$ dyadic, $f(T)$ has the form expected from the physics literature, but such that $f$ has an infinite number of discontinuity points.


title: A note on the partial data inverse problem for a nonlinear magnetic Schr\"odinger operator on Riemann surface

abstract: We recover a nonlinear magnetic Schr\"odinger potential from measurement on an arbitrarily small open subset of the boundary on a compact Riemann surface. We assume that the magnetic potential satisfies suitable analytic properties, in which case the recovery can be obtained by a linearisation argument. The proof relies on the complex analytic methods introduced in [15].


title: Impossibility Results for Grammar-Compressed Linear Algebra

abstract: To handle vast amounts of data, it is natural and popular to compress vectors and matrices. When we compress a vector from size $N$ down to size $n \ll N$, it certainly makes it easier to store and transmit efficiently, but does it also make it easier to process? In this paper we consider lossless compression schemes, and ask if we can run our computations on the compressed data as efficiently as if the original data was that small. That is, if an operation has time complexity $T(\rm{inputsize})$, can we perform it on the compressed representation in time $T(n)$ rather than $T(N)$? We consider the most basic linear algebra operations: inner product, matrix-vector multiplication, and matrix multiplication. In particular, given two compressed vectors, can we compute their inner product in time $O(n)$? Or perhaps we must decompress first and then multiply, spending $\Omega(N)$ time? The answer depends on the compression scheme. While for simple ones such as Run-Length-Encoding (RLE) the inner product can be done in $O(n)$ time, we prove that this is impossible for compressions from a richer class: essentially $n^2$ or even larger runtimes are needed in the worst case (under complexity assumptions). This is the class of grammar-compressions containing most popular methods such as the Lempel-Ziv family. These schemes are more compressing than the simple RLE, but alas, we prove that performing computations on them is much harder.


title: Strong chiral dichroism in above threshold ionization and ionization rates from locally-chiral light

abstract: We derive here a new highly selective photoelectron-based chirality-sensing technique that utilizes 'locally-chiral' laser pulses. We show that this approach results in strong chiral discrimination, where the standard forwards/backwards asymmetry of photoelectron circular dichroism (PECD) is lifted. The resulting dichroism is much larger and more robust than conventional PECD, is found in all hemispheres, and is not symmetric or antisymmetric with respect to any symmetry operator. Remarkably, a CD of up to 10% survives in the angularly-integrated above-threshold ionization (ATI) spectra, and of up to 5% in the total ionization rates. We demonstrate these results through ab-initio calculations in the chiral molecules Bromochlorofluoromethane, Limonene, Fenchone, and Camphor. We also explore the parameter-space of the locally-chiral field and show that the observed CD is strongly correlated to the degree of chirality of the light, validating it as a measure for chiral-interaction strengths. Our results pave the way for highly selective probing of ultrafast chirality in ATI, can potentially lead to all-optical enantio-separation, and motivate the use of locally-chiral light for enhancing ultrafast spectroscopies.


title: Localized states in coupled Cahn-Hilliard equations

abstract: The classical Cahn-Hilliard (CH) equation corresponds to a gradient dynamics model that describes phase decomposition in a binary mixture. In the spinodal region, an initially homogeneous state spontaneously decomposes via a large-scale instability into drop, hole or labyrinthine concentration patterns of a typical structure length followed by a continuously ongoing coarsening process. Here we consider the coupled CH dynamics of two concentration fields and show that nonreciprocal (or active, or nonvariational) coupling may induce a small-scale (Turing) instability. At the corresponding primary bifurcation a branch of periodically patterned steady states emerges. Furthermore, there exist localized states that consist of patterned patches coexisting with a homogeneous background. The branches of steady parity-symmetric and parity-asymmetric localized states form a slanted homoclinic snaking structure typical for systems with a conservation law. In contrast to snaking structures in systems with gradient dynamics, here, Hopf instabilities occur at sufficiently large activity which result in oscillating and traveling localized patterns.


title: Spatio-temporal encoding improves neuromorphic tactile texture classification

abstract: With the increase in interest in deployment of robots in unstructured environments to work alongside humans, the development of human-like sense of touch for robots becomes important. In this work, we implement a multi-channel neuromorphic tactile system that encodes contact events as discrete spike events that mimic the behavior of slow adapting mechanoreceptors. We study the impact of information pooling across artificial mechanoreceptors on classification performance of spatially non-uniform naturalistic textures. We encoded the spatio-temporal activation patterns of mechanoreceptors through gray-level co-occurrence matrix computed from time-varying mean spiking rate-based tactile response volume. We found that this approach greatly improved texture classification in comparison to use of individual mechanoreceptor response alone. In addition, the performance was also more robust to changes in sliding velocity. The importance of exploiting precise spatial and temporal correlations between sensory channels is evident from the fact that on either removal of precise temporal information or altering of spatial structure of response pattern, a significant performance drop was observed. This study thus demonstrates the superiority of population coding approaches that can exploit the precise spatio-temporal information encoded in activation patterns of mechanoreceptor populations. It, therefore, makes an advance in the direction of development of bio-inspired tactile systems required for realistic touch applications in robotics and prostheses.


title: In-flight calibration system of Imaging X-ray Polarimetry Explorer

abstract: The NASA/ASI Imaging X-ray Polarimetry Explorer, which will be launched in 2021, will be the first instrument to perform spatially resolved X-ray polarimetry on several astronomical sources in the 2-8 keV energy band. These measurements are made possible owing to the use of a gas pixel detector (GPD) at the focus of three X-ray telescopes. The GPD allows simultaneous measurements of the interaction point, energy, arrival time, and polarization angle of detected X-ray photons. The increase in sensitivity, achieved 40 years ago, for imaging and spectroscopy with the Einstein satellite will thus be extended to X-ray polarimetry for the first time. The characteristics of gas multiplication detectors are subject to changes over time. Because the GPD is a novel instrument, it is particularly important to verify its performance and stability during its mission lifetime. For this purpose, the spacecraft hosts a filter and calibration set (FCS), which includes both polarized and unpolarized calibration sources for performing in-flight calibration of the instruments. In this study, we present the design of the flight models of the FCS and the first measurements obtained using silicon drift detectors and CCD cameras, as well as those obtained in thermal vacuum with the flight units of the GPD. We show that the calibration sources successfully assess and verify the functionality of the GPD and validate its scientific results in orbit; this improves our knowledge of the behavior of these detectors in X-ray polarimetry.


title: Texture Formation in Polycrystalline Thin Films of All-Inorganic Lead Halide Perovskite

abstract: Controlling grain orientations within polycrystalline all-inorganic halide perovskite solar cells can help increase conversion efficiencies toward their thermodynamic limits, however the forces governing texture formation are ambiguous. Using synchrotron X-ray diffraction, we report meso-structure formation within polycrystalline CsPbI2.85Br0.15 powders as they cool from a high-temperature cubic perovskite ({\alpha}-phase). Tetragonal distortions (\b{eta}-phase) trigger preferential crystallographic alignment within polycrystalline ensembles, a feature we suggest is coordinated across multiple neighboring grains via interfacial forces that select for certain lattice distortions over others. External anisotropy is then imposed on polycrystalline thin films of orthorhombic ({\gamma}-phase) CsPbI3-xBrx perovskite via substrate clamping, revealing two fundamental uniaxial texture formations; (i) I-rich films possess orthorhombic-like texture (<100> out-of-plane; <010> and <001> in-plane), while (ii) Br-rich films form tetragonal-like texture (<110> out-of-plane; <1-10> and <001> in-plane). In contrast to relatively uninfluential factors like the choice of substrate, film thickness and annealing temperature, Br incorporation modifies the {\gamma}-CsPbI3-xBrx crystal structure by reducing the orthorhombic lattice distortion (making it more tetragonal-like) and governs the formation of the different, energetically favored textures within polycrystalline thin films.


title: Painlev\'e analysis and integrability of three-dimensional Armbruster Guckenheimer Kim galactic potential

abstract: The three-dimensional Armbruster Guckenheimer Kim galactic potential in the general form is considered. The integrability of this problem is performed by using the Painlev\'e analysis. We report three cases of integrability, exact integrals of motion are obtained explicitly for each case. A numerical experiment is provided to investigate the classical phase space and explore chaos-order-chaos phenomenon.


title: On the micro PIV accuracy and reliability utilizing suspension particles of large, non-Gaussian particle image

abstract: Optical investigations on the dynamics of dense suspensions are challenging due to reduced optical accessibility. Furthermore, the suspension particle image size can strongly deviate from the optimal particle image size for PIV measurements. Optical accessibility can be achieved by refractive index matching of surface labelled suspension particles. This results in particle images that are transparent in the particle image center, but fluoresce at the particle image rim, resulting in ring-shaped particle images. In the present study the influence of particle image size of such ring-shaped particle images is compared with Gaussian and plateau-shaped particle images. Particles of Gaussian image shape result from fully labelled particles with small image diameters and are commonly used in PIV measurements. Such particles are also utilized for the determination of the continuous phase velocities in the experimental part of the present study. Monte Carlo simulations show that ring-shaped particle images have a superior behavior, i.e. they assume a reduced displacement estimation error for noisy as well as for noise-free image data, compared to Gaussian and plateau-shaped particle images. This is also true for large particle image diameters when particle images are intersected at interrogation window borders. Measurements are performed on a suspension containing 5 Vol.-% surface labelled, refractive index matched 60$\mu$m PMMA particles. Simultaneously, $\mu$PIV measurements of the carrier liquid flow are performed utilizing 1.19$\mu$m fluorescent PS particles. Overall, the present study demonstrates theoretically and experimentally that the usage of suspension particles with ring-shaped images is suitable for $\mu$PIV measurements to gain detailed insights into suspension bulk dynamics.


title: Jiffy: A Fast, Memory Efficient, Wait-Free Multi-Producers Single-Consumer Queue

abstract: In applications such as sharded data processing systems, sharded in-memory key-value stores, data flow programming and load sharing applications, multiple concurrent data producers are feeding requests into the same data consumer. This can be naturally realized through concurrent queues, where each consumer pulls its tasks from its dedicated queue. For scalability, wait-free queues are often preferred over lock based structures. The vast majority of wait-free queue implementations, and even lock-free ones, support the multi-producer multi-consumer model. Yet, this comes at a premium, since implementing wait-free multi-producer multi-consumer queues requires utilizing complex helper data structures. The latter increases the memory consumption of such queues and limits their performance and scalability. Additionally, many such designs employ (hardware) cache unfriendly memory access patterns. In this work we study the implementation of wait-free multi-producer single-consumer queues. Specifically, we propose Jiffy, an efficient memory frugal novel wait-free multi-producer single-consumer queue and formally prove its correctness. We then compare the performance and memory requirements of Jiffy with other state of the art lock-free and wait-free queues. We show that indeed Jiffy can maintain good performance with up to 128 threads, delivers up to 50% better throughput than the next best construction we compared against, and consumes ~90% less memory.


title: Collective Movement with Signaling

abstract: We consider a population of mobile agents able to make noisy observation of the environment and communicate their observation by production and comprehension of signals. Individuals try to align their movement direction with their neighbors. Besides, they try to collectively find and travel towards an environmental direction. We show that, when the fraction of informed individuals is small, by increasing the noise in communication, similarly to the Viscek model, the model shows a discontinuous order-disorder transition with strong finite size effects. In contrast, for large fraction of informed individuals, it is possible to go from the ordered phase to the disordered phase without passing any phase transition. The ordered phase is composed of two phases separated by a discontinuous transition. Informed collective motion, in which the population collectively infers the correct environmental direction, occurs for high fraction of informed individuals. When the fraction of informed individuals is low, misinformed collective motion, where the population fails to find the environmental direction becomes stable as well. Besides, we show that an amount of noise in the production of signals is more detrimental for the inference capability of the population, and increases the density fluctuations and the probability of group fragmentation, compared to the same amount of noise in the comprehension.


title: On the long-term evolution of rotating radio transients

abstract: Investigation of the long-term evolution of rotating radio transients (RRATs) is important to understand the evolutionary connections between the isolated neutron star populations in a single picture. The X-ray luminosities of RRATs (except one source) are not known. In the fallback disc model, we have developed a method to estimate the dipole field strengths of RRATs without X-ray information. We have found that RRATs could have dipole field strengths, $B_0$, at the poles ranging from $\sim 7 \times 10^9$ G to $\sim 6 \times 10^{11}$ G which fill the gap between the $B_0$ ranges of central compact objects (CCOs) and dim isolated neutron stars (XDINs) estimated in the same model. In our model, most of RRATs are evolving at ages $(\sim 2 - 6) \times 10^5$ yr, much smaller than their characteristic ages, such that, cooling luminosities of a large fraction of relatively nearby RRATs could be detected by the eROSITA all-sky survey. Many RRATs are located above the upper border of the pulsar death valley with the fields inferred from the dipole-torque formula, while they do not show strong, continuous radio pulses. The $B_0$ values estimated in our model, place all RRATs either into the death valley or below the death line. We have tentatively proposed that RRATs could be the sources below their individual death points, and their short radio bursts could be ignited by the disc-field interaction occasionally enhancing the flux of open field lines through the magnetic poles. We have also discussed the evolutionary links between CCOs, RRATs and XDINs.


title: Locally Finite Representations Over Noetherian Hopf algebras

abstract: We study finite dimensional representations over some Noetherian algebras over a field of characteristic zero. More precisely, we give necessary and sufficient conditions for the category of locally finite dimensional representations to be closed under taking injective hulls and extend results known for group rings and enveloping algebras to Ore extensions, Hopf crossed products and affine Hopf algebras of low Gelfand-Kirillov dimension.


title: GROMACS Implementation of Free Energy Calculations with Non-Pairwise Variationally Derived Intermediates

abstract: Gradients in free energies are the driving forces of physical and biochemical systems. To predict free energy differences with high accuracy, Molecular Dynamics (MD) and other methods based on atomistic Hamiltonians conduct sampling simulations in intermediate thermodynamic states that bridge the configuration space densities between two states of interest ('alchemical transformations'). For uncorrelated sampling, the recent Variationally derived Intermediates (VI) method yields optimal accuracy. The form of the VI intermediates differs fundamentally from conventional ones in that they are non-pairwise, i.e., the total force on a particle in an intermediate states cannot be split into additive contributions from the surrounding particles. In this work, we describe the implementation of VI into the widely used GROMACS MD software package (2020, version 1). Furthermore, a variant of VI is developed that avoids numerical instabilities for vanishing particles. The implementation allows the use of previous non-pairwise potential forms in the literature, which have so far not been available in GROMACS. Example cases on the calculation of solvation free energies, and accuracy assessments thereof, are provided.


title: Learning Financial Asset-Specific Trading Rules via Deep Reinforcement Learning

abstract: Generating asset-specific trading signals based on the financial conditions of the assets is one of the challenging problems in automated trading. Various asset trading rules are proposed experimentally based on different technical analysis techniques. However, these kind of trading strategies are profitable, extracting new asset-specific trading rules from vast historical data to increase total return and decrease the risk of portfolios is difficult for human experts. Recently, various deep reinforcement learning (DRL) methods are employed to learn the new trading rules for each asset. In this paper, a novel DRL model with various feature extraction modules is proposed. The effect of different input representations on the performance of the models is investigated and the performance of DRL-based models in different markets and asset situations is studied. The proposed model in this work outperformed the other state-of-the-art models in learning single asset-specific trading rules and obtained a total return of almost 262% in two years on a specific asset while the best state-of-the-art model get 78% on the same asset in the same time period.


title: Particle identification and revolution time corrections for the isochronous mass spectrometry in storage rings

abstract: In the isochronous mass spectrometry (IMS) performed at storage rings, masses of short-lived nuclides are determined through precision measurements of their mean revolution times. However, the distribution of revolution times could be seriously deteriorated by instabilities of the ring's magnetic fields. This becomes a significant obstacle for the particle identifications and mass determinations. A data analysis method is described in this paper which is able to largely remove the uncertainties caused by the magnetic field instabilities in the particle identifications and the mean revolution times. We show that this method is very effective for the IMS experiments even when the magnetic fields of a storage ring vary slowly up to a level of $\Delta B/B\sim 10^{-4}$.


title: Laser spectroscopy of the $^2S_{1/2} - ^2P_{1/2}$, $^2P_{3/2}$ transitions in stored and cooled relativistic C$^{3+}$ ions

abstract: The $^2S_{1/2} - ^2P_{1/2}$ and $^2S_{1/2} - ^2P_{3/2}$ transitions in Li-like carbon ions stored and cooled at a velocity of $\beta \approx 0.47$ in the Experimental Storage Ring (ESR) at the GSI Helmholtz Centre in Darmstadt have been investigated in a laser spectroscopy experiment. Resonance wavelengths were obtained using a new continuous-wave UV laser system and a novel extreme UV (XUV) detection system to detect forward emitted fluorescence photons. The results obtained for the two transitions are compared to existing experimental and theoretical data. A discrepancy found in an earlier laser spectroscopy measurement at the ESR with results from plasma spectroscopy and interferometry has been resolved and agreement between experiment and theory is confirmed.


title: Production of massless charm jets in $pp$ collisions at next-to-leading order of QCD in comparison with CMS data

abstract: We present predictions for the inclusive production of charm jets in proton-proton collisions at 2.76 and 5.02 TeV. The charm-quark is considered massless. In this scheme we find that the ratio of the next-to-leading order to the leading order cross section (K factor) is almost equal to one depending essentially on the choice of the renormalization and factorization scale. Adding non-pertubative corrections obtained from Pythia Monte Carlo calculations lead to reasonable agreement with experimental c-jet cross sections obtained by the CMS collaboration.


title: On the expected number of real roots of random polynomials arising from evolutionary game theory

abstract: In this paper, we obtain finite estimates and asymptotic formulas for the expected number of real roots of two classes of random polynomials arising from evolutionary game theory. As a consequence of our analysis, we achieve an asymptotic formula for the expected number of internal equilibria in multi-player two-strategy random evolutionary games. Our results contribute both to evolutionary game theory and random polynomial theory.


title: Searching spin-mass interaction using a diamagnetic levitated magnetic resonance force sensor

abstract: Axion-like particles (ALPs) are predicted to mediate exotic interactions between spin and mass. We propose an ALP-searching experiment based on the levitated micromechanical oscillator, which is one of the most sensitive sensors for spin-mass forces at a short distance. The proposed experiment tests the spin-mass resonant interaction between the polarized electron spins and a diamagnetically levitated microsphere. By periodically flipping the electron spins, the contamination from nonresonant background forces can be eliminated. The levitated microoscillator can prospectively enhance the sensitivity by nearly $10^3$ times over current experiments for ALPs with mass in the range 4 meV to 0.4 eV.


title: Optimal Probes for Global Quantum Thermometry

abstract: Quantum thermodynamics has emerged as a separate sub-discipline, revising the concepts and laws of thermodynamics, at the quantum scale. In particular, there has been a disruptive shift in the way thermometry, and thermometers are perceived and designed. Currently, we face two major challenges in quantum thermometry. First, all of the existing optimally precise temperature probes are local, meaning their operation is optimal only for a narrow range of temperatures. Second, aforesaid optimal local probes mandate complex energy spectrum with immense degeneracy, rendering them impractical. Here, we address these challenges by formalizing the notion of global thermometry leading to the development of optimal temperature sensors over a wide range of temperatures. We observe the emergence of different phases for such optimal probes as the temperature interval is increased. In addition, we show how the best approximation of optimal global probes can be realized in spin chains, implementable in ion traps and quantum dots.


title: An Experimental Validation of Accurate and Precise GNSS Time Synchronization in Vehicular Networks

abstract: Vehicular Networks are one of the enabling technologies for cooperative Intelligent Transportation Systems. For accurate and precise time synchronization in vehicular networks, Global Navigation Satellite System (GNSS) is getting increasing attention for effective use of its time dissemination to vehicular networks. In urban road scenarios, the blockage of satellite signals affects precise positing due to erroneous geometry. However, for timing, it creates less deflection as long as a single satellite is visible. With the recent development of Multi-GNSS receivers, signal reception no longer relies on a single GNSS constellation but all the existing four GNSS systems. This increases the number of visible satellites in the sky, thus increasing the coverage of satellite signals. Developing a method of GNSS time synchronization, we have conducted a systematic field-based study in this paper to determine the attainable timing accuracy in vehicular networks using commercial-grade GNSS receivers and off-the-shelf communication devices. Our experimental results show that the attainable timing accuracy from GNSS services in consumer-grade on-board devices can be as good as 2 microseconds. A momentary outage of GNSS time solution due to signal blockage on the road can lead a clock error of up to sub-microseconds, which still meets the desired requirement for most vehicular applications.


title: A Clarifying Question Selection System from NTES_ALONG in Convai3 Challenge

abstract: This paper presents the participation of NetEase Game AI Lab team for the ClariQ challenge at Search-oriented Conversational AI (SCAI) EMNLP workshop in 2020. The challenge asks for a complete conversational information retrieval system that can understanding and generating clarification questions. We propose a clarifying question selection system which consists of response understanding, candidate question recalling and clarifying question ranking. We fine-tune a RoBERTa model to understand user's responses and use an enhanced BM25 model to recall the candidate questions. In clarifying question ranking stage, we reconstruct the training dataset and propose two models based on ELECTRA. Finally we ensemble the models by summing up their output probabilities and choose the question with the highest probability as the clarification question. Experiments show that our ensemble ranking model outperforms in the document relevance task and achieves the best recall@[20,30] metrics in question relevance task. And in multi-turn conversation evaluation in stage2, our system achieve the top score of all document relevance metrics.


title: Connecting monomiality questions with the structure of rational group algebras

abstract: In recent times, there has been a lot of active research on monomial groups in two different directions. While group theorists are interested in the study of their normal subgroups and Hall subgroups, the interest of group ring theorists lie in the structure of their rational group algebras due to varied applications. The purpose of this paper is to bind the two threads together. Revisiting Dade's celebrated embedding theorem which states that a finite solvable group can be embedded inside some monomial group, it is proved here that the embedding is indeed done inside some generalized strongly monomial group. The so called generalized strongly monomial groups arose in a recent work of authors while understanding the algebraic structure of rational group algebras. Still unresolved monomiality questions have been correlated by proving that all the classes of monomial groups where they have been answered are generalized strongly monomial. The study also raises some intriguing questions weaker than those asked by Dornhoff and Isaacs in their investigations.