title: Hypergeometric expressions of $L$-values for a Borweins theta product of weight $3$

abstract: In this paper, we consider a modular form of weight 3, which is a product of the Borweins theta series, and express its $L$-values at $s=1$, $2$ and $3$ in terms of special values of Kamp\'e de F\'eriet hypergeometric functions, which are two-variable generalization of generalized hypergeometric functions.


title: XMM-Newton and Swift observations of supergiant high mass X-ray binaries

abstract: Wind-fed supergiant X-ray binaries are precious laboratories not only to study accretion under extreme gravity and magnetic field conditions, but also to probe still highly debated properties of massive star winds. These includes the so-called clumps, originated from the inherent instability of line driven winds, and larger structures. In this paper, we report on the results of the last (and not yet published) monitoring campaigns that our group has been carrying out since 2007 with both XMM-Newton and the Swift Neil Gehrels observatory. Data collected with the EPIC cameras on-board XMM-Newton allow us to carry out a detailed hardness ratio-resolved spectral analysis that can be used as an efficient way to detect spectral variations associated to the presence of clumps. Long-term observations with the XRT on-board Swift, evenly sampling the X-ray emission of supergiant X-ray binaries over many different orbital cycles, are exploited to look for the presence of large scale structures in the medium surrounding the compact objects. The results reported in this paper represent the outcomes of the concluded observational campaigns we carried out on the supergiant X-ray binaries 4U 1907+09, IGR J16393-4643, IGR J19140+0951, and XTE J1855-026, as well as the supergiant fast X-ray transients IGR J17503-2636, IGR J18410-0535, and IGR J11215-5952. All results are discussed in the context of wind-fed supergiant X-ray binaries and shall ideally serve to optimally shape the next observational campaigns aimed at sources in the same classes. We show in one of the paper appendices that IGR J17315-3221, preliminary classified in the literature as a possible supergiant X-ray binary discovered by INTEGRAL, is the product of a data analysis artifact and should thus be disregarded for future studies.


title: On explicit form of the Kolmogorov constant in the theory of Galton-Watson Branching Processes

abstract: The paper considers the well-known Galton-Watson stochastic branching process. We are dealing with a non-critical case. In the subcritical case, when the mean of the direct descendants of one particle per generation of the time step is less than 1, the population mean of the number of particles on the positive trajectories of the process stabilizes and approaches 1/K, where K is the so-called Kolmogorov constant. The paper is devoted to the search for an explicit expression of this constant depending on the structural parameters of the process. Our reasoning is essentially based on the Basic Lemma, which describes the asymptotic expansion of the generating function of the distribution of the number of particles. An important role is also played by the asymptotic properties of the transition probabilities of the so-called Q-process and their property convergence to invariant measures.


title: Resonance nucleon scattering amplitude in the photonuclear reaction

abstract: The cross section of the photonuclear reaction in the nucleon-resonance region is calculated to search the resonance-nucleon scattering amplitude in the nucleus. It is assumed that the resonance $R$ is produced and decayed in the elementary photon-nucleon $(\gamma N)$ reaction in the nucleus as $\gamma N \to R \to \gamma N$. The resonance interacts with the nucleons while propagating through the nucleus. Therefore, the calculated photonuclear reaction cross section is compared with the data to extract the resonance-nucleon scattering parameters in the nucleus.


title: Hearing voices at the National Library -- a speech corpus and acoustic model for the Swedish language

abstract: This paper explains our work in developing new acoustic models for automated speech recognition (ASR) at KBLab, the infrastructure for data-driven research at the National Library of Sweden (KB). We evaluate different approaches for a viable speech-to-text pipeline for audiovisual resources in Swedish, using the wav2vec 2.0 architecture in combination with speech corpuses created from KB's collections. These approaches include pretraining an acoustic model for Swedish from the ground up, and fine-tuning existing monolingual and multilingual models. The collections-based corpuses we use have been sampled from millions of hours of speech, with a conscious attempt to balance regional dialects to produce a more representative, and thus more democratic, model. The acoustic model this enabled, "VoxRex", outperforms existing models for Swedish ASR. We also evaluate combining this model with various pretrained language models, which further enhanced performance. We conclude by highlighting the potential of such technology for cultural heritage institutions with vast collections of previously unlabelled audiovisual data. Our models are released for further exploration and research here: https://huggingface.co/KBLab.


title: A Highly Adaptive Acoustic Model for Accurate Multi-Dialect Speech Recognition

abstract: Despite the success of deep learning in speech recognition, multi-dialect speech recognition remains a difficult problem. Although dialect-specific acoustic models are known to perform well in general, they are not easy to maintain when dialect-specific data is scarce and the number of dialects for each language is large. Therefore, a single unified acoustic model (AM) that generalizes well for many dialects has been in demand. In this paper, we propose a novel acoustic modeling technique for accurate multi-dialect speech recognition with a single AM. Our proposed AM is dynamically adapted based on both dialect information and its internal representation, which results in a highly adaptive AM for handling multiple dialects simultaneously. We also propose a simple but effective training method to deal with unseen dialects. The experimental results on large scale speech datasets show that the proposed AM outperforms all the previous ones, reducing word error rates (WERs) by 8.11% relative compared to a single all-dialects AM and by 7.31% relative compared to dialect-specific AMs.


title: Quantification of Robotic Surgeries with Vision-Based Deep Learning

abstract: Surgery is a high-stakes domain where surgeons must navigate critical anatomical structures and actively avoid potential complications while achieving the main task at hand. Such surgical activity has been shown to affect long-term patient outcomes. To better understand this relationship, whose mechanics remain unknown for the majority of surgical procedures, we hypothesize that the core elements of surgery must first be quantified in a reliable, objective, and scalable manner. We believe this is a prerequisite for the provision of surgical feedback and modulation of surgeon performance in pursuit of improved patient outcomes. To holistically quantify surgeries, we propose a unified deep learning framework, entitled Roboformer, which operates exclusively on videos recorded during surgery to independently achieve multiple tasks: surgical phase recognition (the what of surgery), gesture classification and skills assessment (the how of surgery). We validated our framework on four video-based datasets of two commonly-encountered types of steps (dissection and suturing) within minimally-invasive robotic surgeries. We demonstrated that our framework can generalize well to unseen videos, surgeons, medical centres, and surgical procedures. We also found that our framework, which naturally lends itself to explainable findings, identified relevant information when achieving a particular task. These findings are likely to instill surgeons with more confidence in our framework's behaviour, increasing the likelihood of clinical adoption, and thus paving the way for more targeted surgical feedback.


title: Investigation of large-scale extended Granger causality (lsXGC) on synthetic functional MRI data

abstract: It is a challenging research endeavor to infer causal relationships in multivariate observational time-series. Such data may be represented by graphs, where nodes represent time-series, and edges directed causal influence scores between them. If the number of nodes exceeds the number of temporal observations, conventional methods, such as standard Granger causality, are of limited value, because estimating free parameters of time-series predictors lead to underdetermined problems. A typical example for this situation is functional Magnetic Resonance Imaging (fMRI), where the number of nodal observations is large, usually ranging from $10^2$ to $10^5$ time-series, while the number of temporal observations is low, usually less than $10^3$. Hence, innovative approaches are required to address the challenges arising from such data sets. Recently, we have proposed the large-scale Extended Granger Causality (lsXGC) algorithm, which is based on augmenting a dimensionality-reduced representation of the system's state-space by supplementing data from the conditional source time-series taken from the original input space. Here, we apply lsXGC on synthetic fMRI data with known ground truth and compare its performance to state-of-the-art methods by leveraging the benefits of information-theoretic approaches. Our results suggest that the proposed lsXGC method significantly outperforms existing methods, both in diagnostic accuracy with Area Under the Receiver Operating Characteristic (AUROC = $0.849$ vs.~$[0.727, 0.762]$ for competing methods, $p<\!10^{-8}$), and computation time ($3.4$ sec vs.~[$9.7$, $4.8 \times 10^3$] sec for competing methods) benchmarks, demonstrating the potential of lsXGC for analyzing large-scale networks in neuroimaging studies of the human brain.


title: Instability in the system of the distant post-AGB star LS III+52 24 (IRAS 22023+5249)

abstract: The optical spectra of the B-supergiant LS III+52 24 (IRAS 22023+5249) obtained at the 6-meter telescope BTA with a resolution R$\ge$60000 in 2010-2021 revealed signs of wind variability and velocity stratification in the extended atmosphere. The H$\alpha$ and H$\beta$ lines have a P Cyg type profile; their wind absorption changes position in the range from $-270$ to $-290$ km/s. The intensity of the H$\alpha$ emission reaches record values with respect to the local continuum: I/Icont $\approx$70. The stationary radial velocity according to the positions of symmetric forbidden emissions and permitted metal emissions was taken as the systemic velocity Vsys=$-149.6\pm$0.6 km/s. Based on the positions of absorptions of NII and OII ions, a time variability of the radial velocity in the range from $-127.2$ to $-178.3$ km/s was found for the first time for this star. This variability indicates the possible presence of a companion and/or atmospheric pulsations. The change of the oxygen triplet profile OI 7775 A due to the occurrence of unstable emission was registered. The set of interstellar absorptions of the NaI D-lines profile in the range from $-10.0$ to $-167.2$ km/s is formed in the Local Arm and subsequent arms of the Galaxy. The distance to the star, d$\ge$5.3 kpc, combined with the high systemic velocity, indicates that the star is located in the Galaxy beyond the Scutum-Crux arm.


title: An Efficient Gradient Sensitive Alternate Framework for VQE with Variable Ansatz

abstract: Variational quantum eigensolver (VQE), aiming at determining the ground state energy of a quantum system described by a Hamiltonian on noisy intermediate scale quantum (NISQ) devices, is among the most significant applications of variational quantum algorithms (VQAs). However, the accuracy and trainability of the current VQE algorithm are significantly influenced due to the barren plateau (BP), the non-negligible gate error and limited coherence time in NISQ devices. To tackle these issues, a gradient-sensitive alternate framework with variable ansatz is proposed in this paper to enhance the performance of the VQE. We first propose a theoretical framework for VA-VQE via alternately solving a multi-objective optimization problem and the original VQE, where the multi-objective optimization problem is defined with respect to cost function values and gradient magnitudes. Then, we propose a novel implementation method based on the double $\epsilon$-greedy strategy with the candidate tree and modified multi-objective genetic algorithm. As a result, the local optima are avoided both in ansatz and parameter perspectives, and the stability of output ansatz is enhanced. The experimental results indicate that our framework shows considerably improvement of the error of the found solution by up to 87.9% compared with the hardware-efficient ansatz. Furthermore, compared with the full-randomized VA-VQE implementation, our framework is able to obtain the improvement of the error and the stability by up to 36.0% and 58.7%, respectively, with similar quantum costs.


title: Controllability scores for selecting control nodes of large-scale network systems

abstract: To appropriately select control nodes of a large-scale network system, we propose two control centralities called volumetric and average energy controllability scores. The scores are the unique solutions to convex optimization problems formulated using the controllability Gramian. The uniqueness is proven for stable cases and for unstable cases that include multi-agent systems. We show that the scores can be efficiently calculated by using a proposed algorithm based on the projected gradient method onto the standard simplex. Numerical experiments demonstrate that the proposed algorithm is more efficient than an existing interior point method, and the proposed scores can correctly capture the importance of each state node on controllability, outperforming existing control centralities.


title: Revolutions in science: The proposal of an approach for the identification of most important researchers, institutions, and countries based on Reference Publication Year Spectroscopy (RPYS)

abstract: RPYS is a bibliometric method originally introduced in order to reveal the historical roots of research topics or fields. RPYS does not identify the most highly cited papers of the publication set being studied (as is usually done by bibliometric analyses in research evaluation), but instead it indicates most frequently referenced publications - each within a specific reference publication year. In this study, we propose to use the method to identify important researchers, institutions and countries in the context of breakthrough research. To demonstrate our approach, we focus on research on physical modeling of Earth's climate and the prediction of global warming as an example. Klaus Hasselmann and Syukuro Manabe were both honored with the Nobel Prize in 2021 for their fundamental contributions to this research. Our results reveal that RPYS is able to identify most important researchers, institutions, and countries. For example, all the relevant authors' institutions are located in the USA. These institutions are either research centers of two US National Research Administrations (NASA and NOAA) or universities: the University of Arizona, Princeton University, the Massachusetts Institute of Technology (MIT), and the University of Stony Brook.


title: A combinatorial description of shape theory

abstract: We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse sequences of finite spaces and prove some properties.


title: Boundary Condition Analysis of First and Second Order Topological Insulators

abstract: We analytically study boundary conditions of the Dirac fermion models on a lattice, which describe the first and second order topological insulators. We obtain the dispersion relations of the edge and hinge states by solving these boundary conditions, and clarify that the Hamiltonian symmetry may provide a constraint on the boundary condition. We also demonstrate the edgehinge analog of the bulk-edge correspondence, in which the nontrivial topology of the gapped edge state ensures gaplessness of the hinge state.


title: Endpoint eigenfunction bounds for the Hermite operator

abstract: We establish the optimal $L^p$, $p=2(d+3)/(d+1),$ eigenfunction bound for the Hermite operator $\mathcal H=-\Delta+|x|^2$ on $\mathbb R^d$. Let $\Pi_\lambda$ denote the projection operator to the vector space spanned by the eigenfunctions of $\mathcal H$ with eigenvalue $\lambda$. The optimal $L^2$--$L^p$ bounds on $\Pi_\lambda$, $2\le p\le \infty$, have been known by the works of Karadzhov and Koch-Tataru except $p=2(d+3)/(d+1)$. For $d\ge 3$, we prove the optimal bound for the missing endpoint case. Our result is built on a new phenomenon: improvement of the bound due to asymmetric localization near the sphere $\sqrt\lambda \mathbb S^{d-1}$.


title: Torsion in 1-cusped Picard modular groups

abstract: We present a systematic effective method to construct coarse fundamental domains for the action of the Picard modular groups $PU(2,1,\mathcal{O}_d)$ where $\mathcal{O}_d$ has class number one, i.e. $d=1,2,3,7,11,19,43,67,163$. The computations can be performed quickly up to the value $d=19$. As an application of this method, we classify conjugacy classes of torsion elements, deduce short presentations for the groups, and construct neat subgroups of small index.


title: A tunable fiber Fabry-Perot cavity for hybrid optomechanics stabilized at 4 K

abstract: We describe an apparatus for the implementation of hybrid optomechanical systems at 4 K. The platform is based on a high-finesse, micrometer-scale fiber Fabry-Perot cavity, which can be widely tuned using piezoelectric positioners. A mechanical resonator can be positioned within the cavity in the object-in-the-middle configuration by a second set of positioners. A high level of stability is achieved without sacrificing either performance or tunability, through the combination of a stiff mechanical design, passive vibration isolation, and an active Pound-Drever-Hall feedback lock incorporating a reconfigurable digital filter. The stability of the cavity length is demonstrated to be better than a few picometers over many hours both at room temperature and at 4 K.


title: Dual-Level Decoupled Transformer for Video Captioning

abstract: Video captioning aims to understand the spatio-temporal semantic concept of the video and generate descriptive sentences. The de-facto approach to this task dictates a text generator to learn from \textit{offline-extracted} motion or appearance features from \textit{pre-trained} vision models. However, these methods may suffer from the so-called \textbf{\textit{"couple"}} drawbacks on both \textit{video spatio-temporal representation} and \textit{sentence generation}. For the former, \textbf{\textit{"couple"}} means learning spatio-temporal representation in a single model(3DCNN), resulting the problems named \emph{disconnection in task/pre-train domain} and \emph{hard for end-to-end training}. As for the latter, \textbf{\textit{"couple"}} means treating the generation of visual semantic and syntax-related words equally. To this end, we present $\mathcal{D}^{2}$ - a dual-level decoupled transformer pipeline to solve the above drawbacks: \emph{(i)} for video spatio-temporal representation, we decouple the process of it into "first-spatial-then-temporal" paradigm, releasing the potential of using dedicated model(\textit{e.g.} image-text pre-training) to connect the pre-training and downstream tasks, and makes the entire model end-to-end trainable. \emph{(ii)} for sentence generation, we propose \emph{Syntax-Aware Decoder} to dynamically measure the contribution of visual semantic and syntax-related words. Extensive experiments on three widely-used benchmarks (MSVD, MSR-VTT and VATEX) have shown great potential of the proposed $\mathcal{D}^{2}$ and surpassed the previous methods by a large margin in the task of video captioning.


title: Fusion: Efficient and Secure Inference Resilient to Malicious Servers

abstract: In secure machine learning inference, most of the schemes assume that the server is semi-honest (honestly following the protocol but attempting to infer additional information). However, the server may be malicious (e.g., using a low-quality model or deviating from the protocol) in the real world. Although a few studies have considered a malicious server that deviates from the protocol, they ignore the verification of model accuracy (where the malicious server uses a low-quality model) meanwhile preserving the privacy of both the server's model and the client's inputs. To address these issues, we propose \textit{Fusion}, where the client mixes the public samples (which have known query results) with their own samples to be queried as the inputs of multi-party computation to jointly perform the secure inference. Since a server that uses a low-quality model or deviates from the protocol can only produce results that can be easily identified by the client, \textit{Fusion} forces the server to behave honestly, thereby addressing all those aforementioned issues without leveraging expensive cryptographic techniques. Our evaluation indicates that \textit{Fusion} is 48.06$\times$ faster and uses 30.90$\times$ less communication than the existing maliciously secure inference protocol (which currently does not support the verification of the model accuracy). In addition, to show the scalability, we conduct ImageNet-scale inference on the practical ResNet50 model and it costs 8.678 minutes and 10.117 GiB of communication in a WAN setting, which is 1.18$\times$ faster and has 2.64$\times$ less communication than those of the semi-honest protocol.


title: Yet Another Modification of Relativistic Magnetohydrodynamic Waves: Electron Thermal Inertia

abstract: This study investigates the properties of waves in relativistic extended magnetohydrodynamics (RXMHD), which includes Hall and electron thermal inertia effects. We focus on the case when the electron temperature is ultrarelativistic, and thus, the electron thermal inertia becomes finite at near the proton inertial scale. We derive the linear dispersion relation of RXMHD and find that the Hall and electron thermal inertia effects couple with the displacement current, giving rise to three superluminous waves in addition to the slow, fast, and Alfv\'en waves. We also show that the phase- and group-velocity surfaces of fast and Alfv\'en waves are distorted by the Hall and electron thermal inertia effects. There is a range of scales where the group velocity of fast wave is smaller than that of the Alfv\'en and slow waves. These findings are applicable to a region near the funnel base of low-luminosity accretion flows where electrons can be ultrarelativistic.


title: Production of $\varUpsilon(\textrm{nS})$ mesons in Pb+Pb and $pp$ collisions at 5.02 TeV

abstract: A measurement of the production of vector bottomonium states, $\varUpsilon(\textrm{1S})$, $\varUpsilon(\textrm{2S})$, and $\varUpsilon(\textrm{3S})$, in Pb+Pb and $pp$ collisions at a center-of-mass energy per nucleon pair of 5.02 TeV is presented. The data correspond to integrated luminosities of 1.38~$\textrm{nb}^{-1}$ of Pb+Pb data collected in 2018, 0.44 $\textrm{nb}^{-1}$ of Pb+Pb data collected in 2015, and 0.26 $\textrm{fb}^{-1}$ of $pp$ data collected in 2017 by the ATLAS detector at the Large Hadron Collider. The measurements are performed in the dimuon decay channel for transverse momentum $p_\textrm{T}^{\mu\mu} < 30$~ GeV, absolute rapidity $|y^{\mu\mu}|<1.5$, and Pb+Pb event centrality 0-80%. The production rates of the three bottomonium states in Pb+Pb collisions are compared with those in $pp$ collisions to extract the nuclear modification factors as functions of event centrality, $p_\textrm{T}^{\mu\mu}$, and $|y^{\mu\mu}|$. In addition, the suppression of the excited states relative to the ground state is studied. The results are compared with theoretical model calculations.


title: Sound2Synth: Interpreting Sound via FM Synthesizer Parameters Estimation

abstract: Synthesizer is a type of electronic musical instrument that is now widely used in modern music production and sound design. Each parameters configuration of a synthesizer produces a unique timbre and can be viewed as a unique instrument. The problem of estimating a set of parameters configuration that best restore a sound timbre is an important yet complicated problem, i.e.: the synthesizer parameters estimation problem. We proposed a multi-modal deep-learning-based pipeline Sound2Synth, together with a network structure Prime-Dilated Convolution (PDC) specially designed to solve this problem. Our method achieved not only SOTA but also the first real-world applicable results on Dexed synthesizer, a popular FM synthesizer.


title: Evidence of electronic phase separation in the strongly correlated semiconductor YbB12

abstract: The studies of high-quality single-domain crystals of YbB12 were carried out by the precise x-ray diffraction technique in combination with the low temperature polarized THz - infrared spectroscopy and accurate magnetotransport measurements. It has been shown for the first time that this archetypal strongly correlated system with a metal-insulator transition to a mysterious dielectric ground state with a metal Fermi surface (Science 362, 65-69 (2018) and ibid 362, 32-33 (2018)) is actually a heterogeneous compound in the regime of electronic phase separation. Changes in the configuration of the discovered dynamic charge stripes are investigated upon cooling, as a result, a conclusion is drawn in favor of a crossover between different patterns of the filamentary electronic structure penetrating the semiconducting matrix of YbB12. We argue that the discovery of stripes in YbB12 is fundamental, elucidating the nature of exotic dielectric state in Kondo insulators.


title: Variational quantum algorithm for unconstrained black box binary optimization: Application to feature selection

abstract: We introduce a variational quantum algorithm to solve unconstrained black box binary optimization problems, i.e., problems in which the objective function is given as black box. This is in contrast to the typical setting of quantum algorithms for optimization where a classical objective function is provided as a given Quadratic Unconstrained Binary Optimization problem and mapped to a sum of Pauli operators. Furthermore, we provide theoretical justification for our method based on convergence guarantees of quantum imaginary time evolution. To investigate the performance of our algorithm and its potential advantages, we tackle a challenging real-world optimization problem: feature selection. This refers to the problem of selecting a subset of relevant features to use for constructing a predictive model such as fraud detection. Optimal feature selection -- when formulated in terms of a generic loss function -- offers little structure on which to build classical heuristics, thus resulting primarily in 'greedy methods'. This leaves room for (near-term) quantum algorithms to be competitive to classical state-of-the-art approaches. We apply our quantum-optimization-based feature selection algorithm, termed VarQFS, to build a predictive model for a credit risk data set with 20 and 59 input features (qubits) and train the model using quantum hardware and tensor-network-based numerical simulations, respectively. We show that the quantum method produces competitive and in certain aspects even better performance compared to traditional feature selection techniques used in today's industry.


title: Simulating high-time resolution radio-telescope observations

abstract: We describe a new software package for simulating channelised, high-time resolution data streams from radio telescopes. The software simulates data from the telescope and observing system taking into account the observation strategy, receiver system and digitisation. The signatures of pulsars, fast radio bursts and flare stars are modelled, including frequency-dependent effects such as scattering and scintillation. We also simulate more generic signals using spline curves and images. Models of radio frequency interference include signals from satellites, terrestrial transmitters and impulsive, broadband signals. The simulated signals can also be injected into real data sets. Uses of this software include the production of machine learning training data sets, development and testing of new algorithms to search for anomalous patterns and to characterise processing pipelines.


title: Spatially Resolved Moving Radio Burst in Association with an EUV Wave

abstract: Coronal mass ejections (CMEs) are large clouds of magnetized plasma ejected from the Sun, and are often associated with acceleration of electrons that can result in radio emission via various mechanisms. However, the underlying mechanism relating the CMEs and particle acceleration still remains a subject of heated debate. Here, we report multi-instrument radio and extreme ultraviolet (EUV) imaging of a solar eruption event on 24 September 2011. We determine the emission mechanism of a moving radio burst, identify its three-dimensional (3D) location with respect to a rapidly expanding EUV wave, and find evidence for CME shocks that produce quasiperiodic acceleration of electron beams.


title: A Verifiable Multiparty Computation Solver for the Assignment Problem and Applications to Air Traffic Management

abstract: The assignment problem is an essential problem in many application fields and frequently used to optimize resource usage. The problem is well understood and various efficient algorithms exist to solve the problem. However, it was unclear what practical performance could be achieved for privacy preserving implementations based on multiparty computation (MPC) by leveraging more efficient solution strategies than MPC based simplex solvers for linear programs. We solve this question by implementing and comparing different optimized MPC algorithms to solve the assignment problem for reasonable problem sizes. Our empirical approach revealed various insights to MPC based optimization and we measured a significant (50x) speedup compared to the known simplex based approach. Furthermore, we also study the overhead introduced by making the results publicly verifiable by means of non-interactive zero-knowledge proofs. By leveraging modern proof systems we also achieve significant speedup for proof and verification times compared to the previously proposed approaches as well as compact proof sizes.


title: Magnetic frustration in the cubic double perovskite Ba2NiIrO6

abstract: Hybrid transition metal oxides continue to attract attention due to their multiple degrees of freedom ($e.g.$, lattice, charge, spin, and orbital) and versatile properties. Here we investigate the magnetic and electronic properties of the newly synthesized double perovskite Ba$_2$NiIrO$_6$, using crystal field theory, superexchange model analysis, density functional calculations, and parallel tempering Monte Carlo (PTMC) simulations. Our results indicate that Ba$_2$NiIrO$_6$ has the Ni$^{2+}$ ($t_{2g}^{6}e_{g}^{2}$)-Ir$^{6+}$ ($t_{2g}^{3}$) charge states. The first nearest-neighboring (1NN) Ni$^{2+}$-Ir$^{6+}$ ions prefer a ferromagnetic (FM) coupling as expected from the Goodenough-Kanamori-Anderson rules, which contradicts the experimental antiferromagnetic (AF) order in Ba$_2$NiIrO$_6$. We find that the strong 2NN AF couplings are frustrated in the fcc sublattices, and they play a major role in determining the observed AF ground state. We also prove that the $J_{\rm eff}$ = 3/2 and $J_{\rm eff}$ = 1/2 states induced by spin-orbit coupling, which would be manifested in low-dimensional (e.g., layered) iridates, are however not the case for cubic Ba$_2$NiIrO$_6$. Our PTMC simulations show that when the long-range (2NN and 3NN) AF interactions are included, an AF transition with $T_{\rm N}$ = 66 K would be obtained and it is well comparable with the experimental 51 K. Meanwhile, we propose a possible 2$\times$2$\times$2 noncollinear AF structure for Ba$_2$NiIrO$_6$.


title: Mechanisms of strength and hardening in austenitic stainless 310S steel: Nanoindentation experiments and multiscale modeling

abstract: Austenitic stainless steels with low carbon have exceptional mechanical properties and are capable to reduce embrittlement, due to high chromium and nickel alloying, thus they are very attractive for efficient energy production in extreme environments. It is key to perform nanomechanical investigations of the role of chromium and the form of the particular alloy composition that give rise to the excellent mechanical properties of steel. We perform nanoindentation experiments and molecular dynamics (MD) simulations of FCC austenitic stainless steel 310S, using established interatomic potentials, and we use a comparison to the plastic behavior of NiFe solid solutions under similar conditions for the elucidation of key dislocation mechanisms. We combine EBSD images to connect crystalline orientations to nanoindentation results, and provide input data to MD simulations for modeling mechanisms of defects nucleation and interactions. The maps of impressions after nanoindentation indicate that the Ni-Fe-Cr composition in 310S steel leads to strain localization and hardening. A detailed analysis of the dislocation dynamics at different depths leads to the development of an experimentally consistent Kocks-Mecking-based continuum multiscale model. Furthermore, the analysis of geometrically necessary dislocations (GND) shows to be responsible for exceptional hardness at low depths, predicted by the Ma-Clarke's constitutive model.


title: Data acquisition system for a 146-channel counter of protons in particle therapy

abstract: A prototype of proton counter was developed by the University and the National Institute for Nuclear Physics of Torino to be used as online fluence beam monitor in particle therapy. The single particle identification approach aims at increasing the sensitivity and readout speed with respect to the state-of-the-art gas ionization chambers. The sensitive area is 2,7 x 2,7 cm^2 to cover the clinical beam cross section characterized by a full width at half maximum of about 1 cm at the isocenter. The sensor is a thin Low Gain Avalanche Diode segmented in 146 strips with 180 micrometer pitch and with 50 micrometer active thickness, designed and produced by the Fondazione Bruno Kessler (Trento, Italy). The frontend readout to identify the single proton signal provided by each strip is based on a 24channel custom ASICs, named ABACUS, optimized to discriminate the signal pulses in a wide charge range (3-150 fC) with a maximum dead-time of 10 ns. With these specifications, at the maximum fluence rate of 10^8 p/(cm^2s) in the clinical energy range (60-230 MeV) and considering the silicon strips described above, a maximum pileup counting inefficiency less than 1 percent is achieved. A frontend board housing 6 ABACUS chips to readout the 146 strips was developed, the digital outputs being sent to 3 FPGAs (Kintex7) for the counting. A LabVIEW program implements the interface with the FPGAs, displays online the counting rate from each strip and stores the data for offline analysis.


title: Dynamic programming principle for delayed stochastic recursive optimal control problem and HJB equation with non-Lipschitz generator

abstract: In this paper, we study the delayed stochastic recursive optimal control problem with a non-Lipschitz generator, in which both the dynamics of the control system and the recursive cost functional depend on the past path segment of the state process in a general form. First, the dynamic programming principle for this control problem is obtained. Then, by the generalized comparison theorem of backward stochastic differential equations and the stability of viscosity solutions, we establish the connection between the value function and the viscosity solution of the associated Hamilton-Jacobi-Bellman equation. Finally, an application to the consumption-investment problem under the delayed continuous-time Epstein-Zin utility with a non-Lipschitz generator is presented.


title: Arbitrary pattern formation by asynchronous opaque robots on infinite grid

abstract: Arbitrary pattern formation ($\mathcal{APF}$) by mobile robots is studied by many in literature under different conditions and environment. Recently it has been studied on an infinite grid network but with full visibility. In opaque robot model, circle formation on infinite grid has also been studied. In this paper, we are solving $\mathcal{APF}$ on infinite grid with asynchronous opaque robots with lights. The robots do not share any global co-ordinate system. The main challenge in this problem is to elect a leader to agree upon a global co-ordinate where the vision of the robots are obstructed by other robots. Since the robots are on a grid, their movements are also restricted to avoid collisions. In this paper, the aforementioned hardness are overcome to produce an algorithm that solves the problem.


title: Fiber spectrum analyzer based on planar waveguide array aligned to a camera without lens

abstract: We propose and experimentally demonstrate a fiber spectrum analyzer based on a planar waveguide chip butt-coupled with an input fiber and aligned to a standard camera without any free-space optical elements. The chip consists of a single-mode waveguide to connect with the fiber, a beam broadening area, and a waveguide array in which the lengths of the waveguides are designed for both wavelength separation and beam focusing. The facet of the chip is diced open so that the outputs of the array form a near-field emitter. The far field are calculated by the Rayleigh-Sommerfeld diffraction integral. We show that the chip can provide a focal depth on the millimeter scale, allowing relaxed alignment to the camera without any fine-positioning stage. Two devices with 120 and 220 waveguides are fabricated on the polymer waveguide platform. The measured spectral width are 0.63 nm and 0.42 nm, respectively. This simple and practical approach may lead to the development of a spectrum analyzer for fiber that is easily mountable to any commercial camera, thereby avoiding the complication for customized detectors as well as electronic circuits afterwards.


title: Continual Object Detection via Prototypical Task Correlation Guided Gating Mechanism

abstract: Continual learning is a challenging real-world problem for constructing a mature AI system when data are provided in a streaming fashion. Despite recent progress in continual classification, the researches of continual object detection are impeded by the diverse sizes and numbers of objects in each image. Different from previous works that tune the whole network for all tasks, in this work, we present a simple and flexible framework for continual object detection via pRotOtypical taSk corrElaTion guided gaTing mechAnism (ROSETTA). Concretely, a unified framework is shared by all tasks while task-aware gates are introduced to automatically select sub-models for specific tasks. In this way, various knowledge can be successively memorized by storing their corresponding sub-model weights in this system. To make ROSETTA automatically determine which experience is available and useful, a prototypical task correlation guided Gating Diversity Controller(GDC) is introduced to adaptively adjust the diversity of gates for the new task based on class-specific prototypes. GDC module computes class-to-class correlation matrix to depict the cross-task correlation, and hereby activates more exclusive gates for the new task if a significant domain gap is observed. Comprehensive experiments on COCO-VOC, KITTI-Kitchen, class-incremental detection on VOC and sequential learning of four tasks show that ROSETTA yields state-of-the-art performance on both task-based and class-based continual object detection.


title: Generative Evolutionary Strategy For Black-Box Optimizations

abstract: Many scientific and technological problems are related to optimization. Among them, black-box optimization in high-dimensional space is particularly challenging. Recent neural network-based black-box optimization studies have shown noteworthy achievements. However, their capability in high-dimensional search space is still limited. This study proposes a black-box optimization method based on the evolution strategy (ES) and the generative neural network (GNN) model. We designed the algorithm so that the ES and the GNN model work cooperatively. This hybrid model enables reliable training of surrogate networks; it optimizes multi-objective, high-dimensional, and stochastic black-box functions. Our method outperforms baseline optimization methods in this experiment, including ES, and Bayesian optimization.


title: Incremental Data-Uploading for Full-Quantum Classification

abstract: The data representation in a machine-learning model strongly influences its performance. This becomes even more important for quantum machine learning models implemented on noisy intermediate scale quantum (NISQ) devices. Encoding high dimensional data into a quantum circuit for a NISQ device without any loss of information is not trivial and brings a lot of challenges. While simple encoding schemes (like single qubit rotational gates to encode high dimensional data) often lead to information loss within the circuit, complex encoding schemes with entanglement and data re-uploading lead to an increase in the encoding gate count. This is not well-suited for NISQ devices. This work proposes 'incremental data-uploading', a novel encoding pattern for high dimensional data that tackles these challenges. We spread the encoding gates for the feature vector of a given data point throughout the quantum circuit with parameterized gates in between them. This encoding pattern results in a better representation of data in the quantum circuit with a minimal pre-processing requirement. We show the efficiency of our encoding pattern on a classification task using the MNIST and Fashion-MNIST datasets, and compare different encoding methods via classification accuracy and the effective dimension of the model.


title: Interband magnon drag in ferrimagnetic insulators

abstract: We propose a new drag phenomenon, an interband magnon drag, and report on interaction effects and multiband effects in magnon transport of ferrimagnetic insulators. We study a spin-Seebeck coefficient $S_{\textrm{m}}$, a magnon conductivity $\sigma_{\textrm{m}}$, and a magnon thermal conductivity $\kappa_{\textrm{m}}$ of interacting magnons for a minimal model of ferrimagnetic insulators using a $1/S$ expansion of the Holstein-Primakoff method, the linear-response theory, and a method of Green's functions. We show that the interband magnon drag enhances $\sigma_{\textrm{m}}$ and reduces $\kappa_{\textrm{m}}$, whereas its total effects on $S_{\textrm{m}}$ are small. This drag results from the interband momentum transfer induced by the magnon-magnon interactions. We also show that the higher-energy band magnons contribute to $S_{\textrm{m}}$, $\sigma_{\textrm{m}}$, and $\kappa_{\textrm{m}}$ even for temperatures smaller than the energy difference between the two bands.


title: Low-rank Tensor Learning with Nonconvex Overlapped Nuclear Norm Regularization

abstract: Nonconvex regularization has been popularly used in low-rank matrix learning. However, extending it for low-rank tensor learning is still computationally expensive. To address this problem, we develop an efficient solver for use with a nonconvex extension of the overlapped nuclear norm regularizer. Based on the proximal average algorithm, the proposed algorithm can avoid expensive tensor folding/unfolding operations. A special "sparse plus low-rank" structure is maintained throughout the iterations, and allows fast computation of the individual proximal steps. Empirical convergence is further improved with the use of adaptive momentum. We provide convergence guarantees to critical points on smooth losses and also on objectives satisfying the Kurdyka-{\L}ojasiewicz condition. While the optimization problem is nonconvex and nonsmooth, we show that its critical points still have good statistical performance on the tensor completion problem. Experiments on various synthetic and real-world data sets show that the proposed algorithm is efficient in both time and space and more accurate than the existing state-of-the-art.


title: Regular Model Checking Upside-Down: An Invariant-Based Approach

abstract: Regular model checking is a well-established technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet. It applies to systems whose set of initial configurations is regular, and whose transition relation is captured by a length-preserving transducer. To verify safety properties, regular model checking iteratively computes automata recognizing increasingly larger regular sets of reachable configurations, and checks if they contain unsafe configurations. Since this procedure often does not terminate, acceleration, abstraction, and widening techniques have been developed to compute a regular superset of the set of reachable configurations. In this paper we develop a complementary approach. Instead of approaching the set of reachable configurations from below, we start with the set of all configurations and compute increasingly smaller regular supersets of it. We use that the set of reachable configurations is equal to the intersection of all inductive invariants of the system. Since the intersection is in general non-regular, we introduce $b$-bounded invariants, defined as those representable by CNF-formulas with at most $b$ clauses. We prove that, for every $b \geq 0$, the intersection of all $b$-bounded inductive invariants is regular, and show how to construct an automaton recognizing it. We study the complexity of deciding if this automaton accepts some unsafe configuration. We show that the problem is in \textsc{EXPSPACE} for every $b \geq 0$, and \textsc{PSPACE}-complete for $b=1$. Finally, we study how large must $b$ be to prove safety properties of a number of benchmarks.


title: A universal training scheme and the resulting universality for machine learning phases

abstract: An autoencoder (AE) and a generative adversarial networks (GANs) are trained only once on a one-dimensional (1D) lattice of 200 sites. Moreover, the AE contains only one hidden layer consisting of two neurons and both the generator and the discriminator of the GANs are made up of two neurons as well. The training set employed to train both the considered unsupervised neural networks (NN) is composed of two artificial configurations. Remarkably, despite their simple architectures, both the built AE and GANs have precisely determined the critical points of several models, including the three-dimensional (3D) classical $O(3)$ model, the two-dimensional (2D) generalized classical XY model, the 2D two-state Potts model, and the 1D Bose-Hubbard model. The results presented here as well as that shown in {\it Eur. Phys. J. Plus {\bf 136}, 1116 (2021)} suggest that when phase transitions are considered, an elegant universal neural network that is extremely efficient and is applicable to broad physical systems can be constructed with ease. In particular, since a NN trained with two configurations can be applied to many models, it is likely that when machine learning is concerned, the majority of phase transitions belong to a class having two elements, i.e. the Ising class.

categories: cond-mat.dis-nn cond-mat.stat-mech hep-lat physics.comp-ph


title: The $\kappa$-model, a minimal model alternative to dark matter. Application to the galactic rotation problem

abstract: The determination of the velocities, accelerations and the gravitational field intensity at a given location in a galaxy could potentially be achieved in an unexpected manner with the environment of the observer, for instance, the local mean mass density in the galaxy. This idea, mathematically supported by the asymmetric distance concept, is illustrated here by a study regarding the rotation of spiral galaxies. This suggestion is new in the astrophysics field (in the following, it is called the \k{appa}-model) and could help to mimic the main effects seen in modified Newtonian dynamics (MOND) theory, modified gravity (MOG) models, or other related models built with the aim of eliminating dark matter that are already well-established theories. Thus, starting from two selected examples of galaxies, in section 5, we show that there is an equivalence between MOND and the \k{appa}-model. In particular, on the opposite side, we have the speculative nature of the dominant paradigm, the elusive dark matter, a matter whose properties always remain undefined despite intense theoretical, experimental and observational efforts for over 50 years.


title: Accessing the spin structure of buried electronic states

abstract: In spin- and angle-resolved photoemission spectroscopy (SARPES) the energy-momentum dispersion of electronic states in crystalline solids is measured along with the spin direction of the photoemitted electrons. The technique therefore allows for mapping out a material's band structure in a spin resolved fashion. By conducting SARPES measurements using low-energy photons, the spin sensitivity of the technique can be combined an increased bulk probe depth, provided by the large electron inelastic mean-free path at these kinetic energies, to directly access the spin structure of electronic states at buried interfaces. Here, we demonstrate this capability by using SARPES to determine the spin polarization of photoelectrons emitted from a 6-nm-thick film of the topological insulator Bi$_2$Se$_3$ using photons with an energy of 8.5 eV. By modelling the expected spin structure in the film, we show that the complex spin polarization that is observed is the integrated spin signal from spin-polarized states at the surface, bulk and buried interface (bottom surface) of the topological-insulator film. Our results therefore allows us to directly determine the spin texture of the buried Dirac interface state. This capability is highly attractive for state-of-the art spectroscopic measurements of the spin-physics at play in quantum-material based or spintronic devices where spin-polarized interface states define the operational principle of the devices.


title: Low-frequency magnetic oscillations induced by strongly electron correlations

abstract: To explain the low frequencies of quantum oscillations observed in lightly doped cuprates, we consider the two-dimension Hubbard model supplemented with the perpendicular magnetic field. For large Hubbard repulsions, the electron spectrum is investigated using the cluster perturbation theory. Obtained frequencies of magnetic oscillations at small deviations from half-filling are close to those observed experimentally, $F\approx500$~T. They stem from small Fermi surface pockets located in the nodal regions of the Brillouin zone. The pockets are formed by Fermi arcs and less intensive segments, which make the pockets nearly circular.


title: Finite-time bounds on the probabilistic violation of the second law of thermodynamics

abstract: Jarzynski's equality sets a strong bound on the probability of violating the second law of thermodynamics by extracting work beyond the free energy difference. We derive finite-time refinements to this bound for driven systems in contact with a thermal Markovian environment, which can be expressed in terms of the geometric notion of thermodynamic length. We show that finite-time protocols converge to Jarzynski's bound at a rate slower than $1/\sqrt{\tau}$, where $\tau$ is the total time of the work-extraction protocol. Our result highlights a new application of minimal dissipation processes and demonstrates a connection between thermodynamic geometry and the higher order statistical properties of work.


title: Exponential asymptotics of woodpile chain nanoptera using numerical analytic continuation

abstract: Travelling waves in woodpile chains are typically nanoptera, which are composed of a central solitary wave and exponentially small oscillations. These oscillations have been studied using exponential asymptotic methods, which typically require an explicit form for the leading-order behaviour. For many nonlinear systems, such as granular woodpile chains, it is not possible to calculate the leading-order solution explicitly. We show that accurate asymptotic approximations can be obtained using numerical approximation in place of the exact leading-order behaviour. We calculate the oscillation behaviour for Toda woodpile chains, and compare the results to exponential asymptotics based on tanh-fitting, Pad\'{e} approximants, and the adaptive Antoulas-Anderson (AAA) method. The AAA method is shown to produce the most accurate predictions of the amplitude of the oscillations and the mass ratios for which the oscillations vanish. This method is then applied to study granular woodpile chains, including chains with Hertzian interactions -- this method is able to calculate behaviour that could not be accurately approximated in previous studies.


title: Translating Place-Related Questions to GeoSPARQL Queries

abstract: Many place-related questions can only be answered by complex spatial reasoning, a task poorly supported by factoid question retrieval. Such reasoning using combinations of spatial and non-spatial criteria pertinent to place-related questions is increasingly possible on linked data knowledge bases. Yet, to enable question answering based on linked knowledge bases, natural language questions must first be re-formulated as formal queries. Here, we first present an enhanced version of YAGO2geo, the geospatially-enabled variant of the YAGO2 knowledge base, by linking and adding more than one million places from OpenStreetMap data to YAGO2. We then propose a novel approach to translate the place-related questions into logical representations, theoretically grounded in the core concepts of spatial information. Next, we use a dynamic template-based approach to generate fully executable GeoSPARQL queries from the logical representations. We test our approach using the Geospatial Gold Standard dataset and report substantial improvements over existing methods.


title: Characterizing Multi-Domain False News and Underlying User Effects on Chinese Weibo

abstract: False news that spreads on social media has proliferated over the past years and has led to multi-aspect threats in the real world. While there are studies of false news on specific domains (like politics or health care), little work is found comparing false news across domains. In this article, we investigate false news across nine domains on Weibo, the largest Twitter-like social media platform in China, from 2009 to 2019. The newly collected data comprise 44,728 posts in the nine domains, published by 40,215 users, and reposted over 3.4 million times. Based on the distributions and spreads of the multi-domain dataset, we observe that false news in domains that are close to daily life like health and medicine generated more posts but diffused less effectively than those in other domains like politics, and that political false news had the most effective capacity for diffusion. The widely diffused false news posts on Weibo were associated strongly with certain types of users -- by gender, age, etc. Further, these posts provoked strong emotions in the reposts and diffused further with the active engagement of false-news starters. Our findings have the potential to help design false news detection systems in suspicious news discovery, veracity prediction, and display and explanation. The comparison of the findings on Weibo with those of existing work demonstrates nuanced patterns, suggesting the need for more research on data from diverse platforms, countries, or languages to tackle the global issue of false news. The code and new anonymized dataset are available at https://github.com/ICTMCG/Characterizing-Weibo-Multi-Domain-False-News.


title: Semi-analytic spectral fitting: simultaneously modelling the mass accumulation and chemical evolution in MaNGA spiral galaxies

abstract: We develop a novel semi-analytic spectral fitting approach to quantify the star-formation histories (SFHs) and chemical enrichment histories (ChEHs) of individual galaxies. We construct simple yet general chemical evolution models that account for gas inflow and outflow processes as well as star formation, to investigate the evolution of merger-free star-forming systems. These models are fitted directly to galaxies' absorption-line spectra, while their emission lines are used to constrain current gas phase metallicity and star formation rate. We apply this method to spiral galaxies selected from the SDSS-IV MaNGA survey. By fitting the co-added absorption-line spectra for each galaxy, and using the emission-line constraints on present-day metallicity and star formation, we reconstruct both the SFHs and the ChEHs for all objects in the sample. We can use these reconstructions to obtain archaeological measures of derived correlations such as the mass--metallicity relation at any redshift, which compare favourably with direct observations. We find that both the SFHs and ChEHs have strong mass dependence: massive galaxies accumulate their stellar masses and become enriched earlier. This mass dependence causes the observed flattening of the mass--metallicity relation at lower redshifts. The model also reproduces the observed gas-to-stellar mass ratio and its mass dependence. Moreover, we are able to determine that more massive galaxies have earlier gas infall times and shorter infall time-scales, and that the early chemical enrichment of low-mass galaxies is suppressed by strong outflows, while outflows are not very significant in massive galaxies.


title: Computing chemical potentials of solutions from structure factors

abstract: The chemical potential of a component in a solution is defined as the free energy change as the amount of the component changes. Computing this fundamental thermodynamic property from atomistic simulations is notoriously difficult, because of the convergence issues in free energy methods and finite size effects. This paper presents the S0 method, which can be used to obtain chemical potentials from static structure factors computed from equilibrium molecular dynamics simulations under the isothermal-isobaric ensemble. The S0 method is demonstrated on the systems of binary Lennard-Jones particles, urea--water mixtures, a NaCl aqueous solution, and a high-pressure carbon-hydrogen mixture.


title: KECP: Knowledge Enhanced Contrastive Prompting for Few-shot Extractive Question Answering

abstract: Extractive Question Answering (EQA) is one of the most important tasks in Machine Reading Comprehension (MRC), which can be solved by fine-tuning the span selecting heads of Pre-trained Language Models (PLMs). However, most existing approaches for MRC may perform poorly in the few-shot learning scenario. To solve this issue, we propose a novel framework named Knowledge Enhanced Contrastive Prompt-tuning (KECP). Instead of adding pointer heads to PLMs, we introduce a seminal paradigm for EQA that transform the task into a non-autoregressive Masked Language Modeling (MLM) generation problem. Simultaneously, rich semantics from the external knowledge base (KB) and the passage context are support for enhancing the representations of the query. In addition, to boost the performance of PLMs, we jointly train the model by the MLM and contrastive learning objectives. Experiments on multiple benchmarks demonstrate that our method consistently outperforms state-of-the-art approaches in few-shot settings by a large margin.


title: Thermodynamics and quark condensates of three-flavor QCD at low temperature

abstract: We use three-flavor chiral perturbation theory ($\chi$PT) to calculate the pressure, light and $s$-quark condensates of QCD in the confined phase at finite temperature to ${\cal O}(p^6)$ in the low-energy expansion. We also include electromagnetic effects to order $e^2$, where the electromagnetic coupling $e$ counts as order $p$. Our results for the pressure and the condensates suggest that $\chi$PT converges very well for temperatures up to approximately 150 MeV. We combine $\chi$PT and the Hadron Resonance Gas (HRG) model by adding heavier baryons and mesons. Our results are compared with lattice simulations an d the agreement is very good for temperatures below {170} MeV, in contrast to the results from $\chi$PT which agree with the lattice only up to $T\approx120$ MeV. Our value for the chiral crossover temperature is 160.1 MeV, which compares favorably to the lattice result of $157.3$ MeV.


title: Mutation induced infection waves in diseases like COVID-19

abstract: After more than 6 million deaths worldwide, the ongoing vaccination to conquer the COVID-19 disease is now competing with the emergence of increasingly contagious mutations, repeatedly supplanting earlier strains. Following the near-absence of historical examples of the long-time evolution of infectious diseases under similar circumstances, models are crucial to exemplify possible scenarios. Accordingly, in the present work we systematically generalize the popular susceptible-infected-recovered model to account for mutations leading to repeatedly occurring new strains, which we coarse grain based on tools from statistical mechanics to derive a model predicting the most likely outcomes. The model predicts that mutations can induce a super-exponential growth of infection numbers at early times, which self-amplify to giant infection waves which are caused by a positive feedback loop between infection numbers and mutations and lead to a simultaneous infection of the majority of the population. At later stage -- if vaccination progresses too slowly -- mutations can interrupt an ongoing decrease of infection numbers and can cause infection revivals which occur as single waves or even as whole wave trains featuring alternative periods of decreasing and increasing infection numbers. This panorama of possible mutation-induced scenarios should be tested in more detailed models to explore their concrete significance for specific infectious diseases. Further, our results might be useful for discussions regarding the importance of a release of vaccine-patents to reduce the risk of mutation-induced infection revivals but also to coordinate the release of measures following a downwards trend of infection numbers.


title: Review on Smoothed Particle Hydrodynamics: Methodology development and recent achievement

abstract: Since its inception, the full Lagrangian meshless smoothed particle hydrodynamics (SPH) method has experienced a tremendous enhancement in methodology and impacted a range of multi-physics applications in science and engineering. The paper presents a concise review on latest developments and achievements of the SPH method, including (1) brief review of theory and fundamental with kernel corrections, (2) the Riemann-based SPH method with dissipation limiting and high-order data reconstruction by using MUSCL, WENO and MOOD schemes, (3) particle neighbor searching with particle sorting and efficient dual-criteria time stepping schemes, (4) total Lagrangian formulation with stablized, dynamics relaxation and hourglass control schemes, (5) fluid-structure interaction scheme with interface treatments and multi-resolution discretizations, (6) novel applications of particle relaxation for mesh and particle generations. Last but not least, benchmark tests for validating computational accuracy, convergence, robustness and efficiency are also supplied accordingly.


title: QLEVR: A Diagnostic Dataset for Quantificational Language and Elementary Visual Reasoning

abstract: Synthetic datasets have successfully been used to probe visual question-answering datasets for their reasoning abilities. CLEVR (johnson2017clevr), for example, tests a range of visual reasoning abilities. The questions in CLEVR focus on comparisons of shapes, colors, and sizes, numerical reasoning, and existence claims. This paper introduces a minimally biased, diagnostic visual question-answering dataset, QLEVR, that goes beyond existential and numerical quantification and focus on more complex quantifiers and their combinations, e.g., asking whether there are more than two red balls that are smaller than at least three blue balls in an image. We describe how the dataset was created and present a first evaluation of state-of-the-art visual question-answering models, showing that QLEVR presents a formidable challenge to our current models. Code and Dataset are available at https://github.com/zechenli03/QLEVR


title: Beyond backpropagation: bilevel optimization through implicit differentiation and equilibrium propagation

abstract: This paper reviews gradient-based techniques to solve bilevel optimization problems. Bilevel optimization is a general way to frame the learning of systems that are implicitly defined through a quantity that they minimize. This characterization can be applied to neural networks, optimizers, algorithmic solvers and even physical systems, and allows for greater modeling flexibility compared to an explicit definition of such systems. Here we focus on gradient-based approaches that solve such problems. We distinguish them in two categories: those rooted in implicit differentiation, and those that leverage the equilibrium propagation theorem. We present the mathematical foundations that are behind such methods, introduce the gradient-estimation algorithms in detail and compare the competitive advantages of the different approaches.


title: Homogenization of a mineral dissolution and precipitation model involving free boundaries at the micro scale

abstract: In this work we present the homogenization of a reaction-diffusion model that includes an evolving microstructure. Such type of problems model, for example, mineral dissolution and precipitation in a porous medium. Hence, we are dealing with a multi-scale problem with free boundaries on the pore scale. In the initial state the microscopic geometry is given by a periodically perforated domain, including spherical solid grains. The radius of each grain is of order $\epsilon$ and depends on the unknown (the solute concentration) at its surface. Therefore the radii of the grains change in time, leading to a nonlinear, free boundary problem. In a first step, we transform the evolving micro domain to a fixed, periodically domain. Using the Rothe-method we prove the existence of a weak solution and obtain a priori estimates that are uniform with respect to $\epsilon$. Finally, letting $\epsilon \to 0$, we derive a macroscopic model, the solution of which approximates the micro-scale solution. For this, we use the method of two-scale convergence, and obtain strong compactness results enabling to pass to the limit in the nonlinear terms.


title: Probabilistic learning constrained by realizations using a weak formulation of Fourier transform of probability measures

abstract: This paper deals with the taking into account a given set of realizations as constraints in the Kullback-Leibler minimum principle, which is used as a probabilistic learning algorithm. This permits the effective integration of data into predictive models. We consider the probabilistic learning of a random vector that is made up of either a quantity of interest (unsupervised case) or the couple of the quantity of interest and a control parameter (supervised case). A training set of independent realizations of this random vector is assumed to be given and to be generated with a prior probability measure that is unknown. A target set of realizations of the QoI is available for the two considered cases. The framework is the one of non-Gaussian problems in high dimension. A functional approach is developed on the basis of a weak formulation of the Fourier transform of probability measures (characteristic functions). The construction makes it possible to take into account the target set of realizations of the QoI in the Kullback-Leibler minimum principle. The proposed approach allows for estimating the posterior probability measure of the QoI (unsupervised case) or of the posterior joint probability measure of the QoI with the control parameter (supervised case). The existence and the uniqueness of the posterior probability measure is analyzed for the two cases. The numerical aspects are detailed in order to facilitate the implementation of the proposed method. The presented application in high dimension demonstrates the efficiency and the robustness of the proposed algorithm.


title: On rank Theorems for morphisms of local rings

abstract: We prove a generalization of Gabrielov's rank theorem for families of rings of power series which we call W-temperate. Examples include the families of complex analytic functions and of Eisenstein series. As a Corollary, we provide rank Theorems for convergent series in general characteristic zero complete valued fields (not necessarily algebraically closed, nor archimedean).


title: Precoder Design for Correlated Data Aggregation via Over-the-Air Computation in Sensor Networks

abstract: Over-the-air computation (AirComp) enables efficient wireless data aggregation in sensor networks by simultaneous processing of calculation and communication. This paper proposes a novel precoder design for AirComp that incorporates statistical properties of sensing data, spatial correlation and heterogeneous data correlation. The proposed design of the precoder requires no iterative processes so that it can be realized with low computational costs. Moreover, this method provides dimensionality reduction of sensing data to reduce communication costs per sensor. We evaluate performance of the proposed method in terms of various system parameters. The results show the superiority of the proposed method to conventional non-iterative methods in cases where there are a large number of sensors and where the number of receive antennas at the aggregator is less than that of the total transmit antennas at the sensors.


title: SD-AETO: Service Deployment Enabled Adaptive Edge Task Offloading in MEC

abstract: In recent years, edge computing, as an important pillar for future networks, has been developed rapidly. Task offloading is a key part of edge computing that can provide computing resources for resource-constrained devices to run computing-intensive applications, accelerate computing speed and save energy. An efficient and feasible task offloading scheme can not only greatly improve the quality of experience (QoE) but also provide strong support and assistance for 5G/B5G networks, the industrial Internet of Things (IIoT), computing networks and so on. To achieve these goals, this paper proposes an adaptive edge task offloading scheme assisted by service deployment (SD-AETO) focusing on the optimization of the energy utilization ratio (EUR) and the processing latency. In the pre-implementation stage of the SD-AETO scheme, a service deployment scheme is invoked to assist with task offloading considering each service's popularity. The optimal service deployment scheme is obtained by using the approximate deployment graph (AD-graph). Furthermore, a task scheduling and queue offloading design procedure is proposed to complete the SD-AETO scheme based on the task priority. The task priority is generated by the corresponding service popularity and task offloading direction. Finally, we analyze our SD-AETO scheme and compare it with related approaches, and the results show that our scheme has a higher edge offloading rate and lower resource consumption for massive task scenarios in the edge network.


title: Multi species asymmetric simple exclusion process with impurity activated flips

abstract: We obtain an exact matrix product steady state for a class of multi species asymmetric simple exclusion process with impurities, under periodic boundary condition. Alongside the usual hopping dynamics, an additional flip dynamics is activated only in the presence of impurities. Although the microscopic dynamics renders the system to be non-ergodic, exact analytical results for observables are obtained in steady states for a specific class of initial configurations. Interesting physical features including negative differential mobility and transition of correlations from negative to positive with changing vacancy density, have been observed. We discuss plausible connections of this exactly solvable model with multi lane asymmetric simple exclusion processes as well as enzymatic chemical reactions.


title: Heal the Privacy: Functional Encryption and Privacy-Preserving Analytics

abstract: Secure cloud storage is an issue of paramount importance that both businesses and end-users should take into consideration before moving their data to, potentially, untrusted clouds. Migrating data to the cloud raises multiple privacy issues, as they are completely controlled by a cloud provider. Hence, an untrusted cloud provider can potentially breach users; privacy and gain access to sensitive information. The problem becomes even more pronounced when the could provider is required to store a statistical database and periodically publish analytics. In this work, we first present a detailed example showing that the use of cryptography is not enough to ensure the privacy of individuals. Then, we design a hybrid protocol based on Functional Encryption and Differential Privacy that allows the computations of statistics in a privacy-preserving way.


title: Fermion mass hierarchy and lepton flavor violation using $CP$ symmetry

abstract: We present a model which employs $CP\times Z_3$ symmetries where quark mixing and charged leptons masses are explained by following some texture. To achieve neutrino mass and mixing, we write a non-renormalizable Lagrangian using type-II seesaw mechanism by assuming ${\mathcal{O}}(1)$ couplings predicting no $CP$ violation. Then, we calculate the value of the couplings for both normal and inverted ordering of neutrino masses. We propose a mechanism of ultra-violet (UV) completion that motivates the higher dimensional Lagrangian in the neutrino sector. We also calculate the branching fraction of lepton flavor violating decays driven by triplet scalar for the model. Later, it is shown that the model can also accommodate maximal $CP$ violation by breaking the $CP$ symmetry spontaneously.


title: Power-Time Channel Diversity (PTCD): A Novel Resource-Efficient Diversity Technique for 6G and Beyond

abstract: Diversity techniques have been applied for decades to overcome the effects of fading, which is one of the most challenging problems in wireless communications due to the randomness of the wireless channel. However, existing diversity techniques are resource-inefficient due to orthogonal resource usage, or they have high-power consumption due to multiple antennas and RF-chains which present an insurmountable constraint for small devices. To address this, this letter proposes a novel resource-efficient diversity technique called power-time channel diversity (PTCD). In PTCD, interleaved copies of the baseband symbols are transmitted simultaneously with weighted power coefficients. The PTCD provides a diversity order of the number of copies by implementing successive interference canceler at the receiver. To achieve this diversity, no additional resources are needed; hence, spectral efficient communication is guaranteed. Additionally, the power consumption at the transceivers is limited since the PTCD requires only one RF-chain. We provide an information-theoretic proof that the PTCD could have any diversity order. Based on extensive simulations, we reveal that PTCD can also outperform benchmarks without any additional cost.


title: Quaternion-based attitude stabilization via discrete-time IDA-PBC

abstract: In this paper, we propose a new sampled-data controller for stabilization of the attitude dynamics at a desired constant configuration. The design is based on discrete-time interconnection and damping assignment (IDA) passivity-based control (PBC) and the recently proposed Hamiltonian representation of discrete-time nonlinear dynamics. Approximate solutions are provided with simulations illustrating performances.


title: Financial Markets and the Real Economy: A Statistical Field Perspective on Capital Allocation and Accumulation

abstract: This paper provides a general method to directly translate a classical economic framework with a large number of agents into a field-formalism model. This type of formalism allows the analytical treatment of economic models with an arbitrary number of agents, while preserving the system's interactions and microeconomic features of the individual level.We apply this methodology to model the interactions between financial markets and the real economy, described in a classical framework of a large number of heterogeneous agents, investors and firms. Firms are spread among sectors but may shift between sectors to improve their returns. They compete by producing differentiated goods and reward their investors by paying dividends and through their stocks' valuation. Investors invest in firms and move along sectors based on firms' expected long-run returns.The field-formalism model derived from this framework allows for collective states to emerge. We show that the number of firms in each sector depends on the aggregate financial capital invested in the sector and its firms' expected long-term returns. Capital accumulation in each sector depends both on short-term returns and expected long-term returns relative to neighbouring sectors.For each sector, three patterns of accumulation emerge. In the first pattern, the dividend component of short-term returns is determinant for sectors with small number of firms and low capital. In the second pattern, both short and long-term returns in the sector drive intermediate-to-high capital. In the third pattern, higher expectations of long-term returns drive massive inputs of capital.Instability in capital accumulation may arise among and within sectors. We therefore widen our approach and study the dynamics of the collective configurations, in particular interactions between average capital and expected long-term returns, and show that overall stability crucially depends on the expectations' formation process.Expectations that are highly reactive to capital variations stabilize high capital configurations, and drive low-to-moderate capital sectors towards zero or a higher level of capital, depending on their initial capital. Inversely, low-to moderate capital configurations are stabilized by expectations moderately reactive to capital variations, and drive high capital sectors towards more moderate level of capital equilibria.Eventually, the combination of expectations both highly sensitive to exogenous conditions and highly reactive to variations in capital imply that large fluctuations of capital in the system, at the possible expense of the real economy.


title: Detecting PAHs in high-z galaxies in proxy: Modelling physical conditions in an extremely strong damped Lyman-alpha absorber towards QSO SDSS J1143+1420 at z=2.323

abstract: We explore indirect methods to detect Polycyclic Aromatic Hydrocarbons (PAHs) in gas-rich, absorption-selected galaxies at high redshift. We look at the optical VLT/X-shooter observations of an intervening, extremely strong damped Lyman-alpha absorber (or ESDLA, with log(N(HI))>~21.7)) towards QSO SDSS J1143+1420 at redshift, z(ESDLA)=2.323. Literature studies have shown that this ESDLA contains signatures of dust and diffuse molecular hydrogen and it was specifically chosen for our study due to its close spatial proximity (impact parameter, rho=0.6+/-0.3 kpc) with its associated galaxy. There is no direct detection of PAHs emission in the limited observations of infrared(IR)-spectra along this sight-line. Hence, we use CLOUDY numerical simulation modelling to indirectly probe the presence of PAH in the ESDLA. We note that PAHs need to be included in the models to reproduce the observed column densities of warm H2 and CI. Thus, we infer the presence of PAHs indirectly in our ESDLA, with an abundance of PAH/H = 10^(-7.046). We also measure a low 2175 A bump strength (E(bump)~0.03-0.19 mag) relative to star-forming galaxies by modelling extinction of QSO spectra by dust at the absorber rest-frame. This is consistent with the low PAH abundance obtained indirectly using CLOUDY modelling. Our study highlights the usage of CLOUDY modelling to indirectly detect PAH in high-redshift gas-rich absorption-selected galaxies.


title: Quantitative analysis of the blue-green single-photon emission from a quantum dot in a thick tapered nanowire

abstract: Quantum dots acting as single photon emitters in the blue-green range are fabricated and characterized at cryogenic temperature. They consist in CdSe dots inserted in (Zn,Mg)Se nanowires with a thick shell. Photoluminescence spectra, decay curves and autocorrelation functions were measured under nonresonant continuous-wave and pulsed excitation. An analytical approach is applied simultaneously to the decay curves and correlation functions. It allows a quantitative description of how these two quantities are affected by the exciton rise due to biexciton feeding, the bright exciton decay, the effect of the dark exciton, and the re-excitation between two laser pulses. Linewidths at our limit of resolution (200 $\mu$eV) are recorded. The reported correlation counts vary from a full control by re-excitation from traps, to a small contribution of re-excitation by mobile carriers or other QDs, as low as 5%.


title: PTFlash : A deep learning framework for isothermal two-phase equilibrium calculations

abstract: Phase equilibrium calculations are an essential part of numerical simulations of multi-component multi-phase flow in porous media, accounting for the largest share of the computational time. In this work, we introduce a GPUenabled, fast, and parallel framework, PTFlash, that vectorizes algorithms required for isothermal two-phase flash calculations using PyTorch, and can facilitate a wide range of downstream applications. In addition, to further accelerate PTFlash, we design two task-specific neural networks, one for predicting the stability of given mixtures and the other for providing estimates of the distribution coefficients, which are trained offline and help shorten computation time by sidestepping stability analysis and reducing the number of iterations to reach convergence. The evaluation of PTFlash was conducted on three case studies involving hydrocarbons, CO 2 and N 2 , for which the phase equilibrium was tested over a large range of temperature, pressure and composition conditions, using the Soave-Redlich-Kwong (SRK) equation of state. We compare PTFlash with an in-house thermodynamic library, Carnot, written in C++ and performing flash calculations one by one on CPU. Results show speed-ups on large scale calculations up to two order of magnitudes, while maintaining perfect precision with the reference solution provided by Carnot.


title: Galactic dark matter effects from purely geometrical aspects of General Relativity

abstract: We study disc galaxies in the framework of General Relativity to focus on the possibility that, even in the low energy limit, there are relevant corrections with respect to the purely Newtonian approach. Our analysis encompasses the model both considering a low energy expansion and exact solutions, making it clear the connection between these different approaches. In particular, we focus on two different limits: the well known gravitomagnetic analogy and a new limit, called strong gravitomagnetism, which has corrections in c of the same order as the Newtonian terms. We show that these two limits of the general class of solution can account for the observed flat velocity profile, contrary to what happens using Newtonian models, where a dark matter contribution is required. Hence, we suggest a geometrical origin for a certain amount of dark matter effects.


title: Federated Learning with Noisy User Feedback

abstract: Machine Learning (ML) systems are getting increasingly popular, and drive more and more applications and services in our daily life. This has led to growing concerns over user privacy, since human interaction data typically needs to be transmitted to the cloud in order to train and improve such systems. Federated learning (FL) has recently emerged as a method for training ML models on edge devices using sensitive user data and is seen as a way to mitigate concerns over data privacy. However, since ML models are most commonly trained with label supervision, we need a way to extract labels on edge to make FL viable. In this work, we propose a strategy for training FL models using positive and negative user feedback. We also design a novel framework to study different noise patterns in user feedback, and explore how well standard noise-robust objectives can help mitigate this noise when training models in a federated setting. We evaluate our proposed training setup through detailed experiments on two text classification datasets and analyze the effects of varying levels of user reliability and feedback noise on model performance. We show that our method improves substantially over a self-training baseline, achieving performance closer to models trained with full supervision.


title: Injectivity of Lipschitz operators

abstract: Any Lipschitz map $f\colon M \to N$ between metric spaces can be "linearised" in such a way that it becomes a bounded linear operator $\widehat{f}\colon \mathcal F(M) \to \mathcal F(N)$ between the Lipschitz-free spaces over $M$ and $N$. The purpose of this note is to explore the connections between the injectivity of $f$ and the injectivity of $\widehat{f}$. While it is obvious that if $\widehat{f}$ is injective then so is $f$, the converse is less clear. Indeed, we pin down some cases where this implication does not hold but we also prove that, for some classes of metric spaces $M$, any injective Lipschitz map $f\colon M \to N$ (for any $N$) admits an injective linearisation. Along our way, we study how Lipschitz maps carry the support of elements in free spaces and also we provide stronger conditions on $f$ which ensure that $\widehat{f}$ is injective.


title: Spatio-temporal observation of higher-order modulation instability in a recirculating fiber loop

abstract: We experimentaly investigate higher-order seeded modulation instability in an optical fiber experiment. The recirculating loop configuration with round-trip losses compensation enables the observation in single-shot of the spatio-temporal evolution of an initially modulated continuous field revealing intricate yet deterministic dynamics. By tuning the modulation period, a continuous transition between perfectly coherent and purely noise-driven dynamics is observed that we characterise by means of a statistical study.


title: The well-posedness of the stochastic nonlinear Schr\"odinger equations in $H^2(\mathbb{R}^d)$

abstract: The Cauchy problem for the stochastic nonlinear Schr\"odinger equation with multiplicative noise is considered where the nonlinear term is of power type and the noise coefficients are purely imaginary numbers. The main purpose of this paper is to construct classical solutions in $H^2(\mathbb{R}^d)$ for the problem. The techniques of Kato \cite{K87,K89} work well in overcoming this difficulty even for the stochastic equations.


title: Desaparecidxs: characterizing the population of missing children using Twitter

abstract: Missing children, i.e., children reported to a relevant authority as having "disappeared," constitute an important but often overlooked population. From a research perspective, missing children constitute a hard-to-reach population about which little is known. This is a particular problem in regions of the Global South that lack robust or centralized data collection systems. In this study, we analyze the composition of the population of missing children in Guatemala, a country with high levels of violence. We contrast the official aggregated-level data from the Guatemalan National Police during the 2018-2020 period with real-time individual-level data on missing children from the official Twitter account of the Alerta Alba-Keneth, a governmental warning system tasked with disseminating information about missing children. Using the Twitter data, we characterize the population of missing children in Guatemala by single-year age, sex, and place of disappearance. Our results show that women are more likely to be reported as missing, particularly those aged 13-17. We discuss the findings in light of the known links between missing people, violence, and human trafficking. Finally, the study highlights the potential of web data to contribute to society by improving our understanding of this and similar hard-to-reach populations.


title: The category of extensions and a characterisation of $n$-exangulated functors

abstract: Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information. We study how functors between categories of extensions relate to those at the level of the original categories. When the additive categories in question are $n$-exangulated, this leads to a characterisation of $n$-exangulated functors. Our approach enables us to study $n$-exangulated categories from a $2$-categorical perspective. We introduce $n$-exangulated natural transformations and characterise them using categories of extensions. Our characterisations allow us to establish a $2$-functor between the $2$-categories of small $n$-exangulated categories and small exact categories. A similar result with no smallness assumption is also proved. We employ our theory to produce various examples of $n$-exangulated functors and natural transformations. Although the motivation for this article stems from representation theory and the study of $n$-exangulated categories, our results are widely applicable: several require only an additive category equipped with a biadditive functor with no extra assumptions; others can be applied by endowing an additive category with its split $n$-exangulated structure.


title: Evolving 5G: ANIARA, an Edge-Cloud perspective

abstract: Emerging use-cases like smart manufacturing and smart cities pose challenges in terms of latency, which cannot be satisfied by traditional centralized networks. Edge networks, which bring computational capacity closer to the users/clients, are a promising solution for supporting these critical low latency services. Different from traditional centralized networks, the edge is distributed by nature and is usually equipped with limited connectivity and compute capacity. This creates a complex network to handle, subject to failures of different natures, that requires novel solutions to work in practice. To reduce complexity, more lightweight solutions are needed for containerization as well as smart monitoring strategies with reduced overhead. Orchestration strategies should provide reliable resource slicing with limited resources, and intelligent scaling while preserving data privacy in a distributed fashion. Power management is also critical, as providing and managing a large amount of power at the edge is unprecedented.


title: Weak Dirichlet processes and generalized martingale problems

abstract: In this paper we explain how the notion of ''weak Dirichlet process'' is the suitable generalization of the one of semimartingale with jumps. For such a process we provide a unique decomposition which is new also for semimartingales: in particular we introduce ''characteristics'' for weak Dirichlet processes. We also introduce a weak concept (in law) of finite quadratic variation. We investigate a set of new useful chain rules and we discuss a general framework of (possibly path-dependent with jumps) martingale problems with a set of examples of SDEs with jumps driven by a distributional drift.


title: Fake News Detection with Heterogeneous Transformer

abstract: The dissemination of fake news on social networks has drawn public need for effective and efficient fake news detection methods. Generally, fake news on social networks is multi-modal and has various connections with other entities such as users and posts. The heterogeneity in both news content and the relationship with other entities in social networks brings challenges to designing a model that comprehensively captures the local multi-modal semantics of entities in social networks and the global structural representation of the propagation patterns, so as to classify fake news effectively and accurately. In this paper, we propose a novel Transformer-based model: HetTransformer to solve the fake news detection problem on social networks, which utilises the encoder-decoder structure of Transformer to capture the structural information of news propagation patterns. We first capture the local heterogeneous semantics of news, post, and user entities in social networks. Then, we apply Transformer to capture the global structural representation of the propagation patterns in social networks for fake news detection. Experiments on three real-world datasets demonstrate that our model is able to outperform the state-of-the-art baselines in fake news detection.


title: Online estimation of Hilbert-Schmidt operators and application to kernel reconstruction of neural fields

abstract: An adaptive observer is designed for online estimation of Hilbert-Schmidt operators from online measurement of the state for some class of nonlinear infinite-dimensional dynamical systems. Convergence is ensured under detectability and persistency of excitation assumptions. The class of systems considered is motivated by an application to kernel reconstruction of neural fields, commonly used to model spatiotemporal activity of neuronal populations. Numerical simulations confirm the relevance of the approach.


title: Necessary and sufficient stability condition for time-delay systems arising from Legendre approximation

abstract: Recently, sufficient conditions of stability or instability for time-delay systems have been proven to be necessary. In this way, a remarkable necessary and sufficient condition has then been developed by Gomez et al. It is presented as a simple test of positive definiteness of a matrix issued from the Lyapunov matrix. In this paper, an extension of this result is presented. Without going into details, the uniform discretization of the state has been replaced by projections on the first Legendre polynomials. Like Gomez et al., based on convergence arguments, the necessity is obtained in finite order, which can be calculated analytically. Compared to them, by relying on the fast convergence rate of Legendre approximation, the required order to ensure stability has been reduced. Thanks to this major modification, as shown in the example section, it is possible the find stable regions for low orders and unstable ones for even smaller orders.


title: Endoscopy on $\mathrm{SL}_2$-eigenvarieties

abstract: In this paper, we study p-adic endoscopy on eigenvarieties for $\mathrm{SL}_2$ over totally real fields, taking a geometric perspective. We show that non-automorphic members of endoscopic L-packets of regular weight contribute eigenvectors to overconvergent cohomology at critically refined endoscopic points on the eigenvariety, and we precisely quantify this contribution. This gives a new perspective on and generalizes previous work of the second author. Our methods are geometric, and are based on showing that the $\mathrm{SL}_2$-eigenvariety is locally a quotient of an eigenvariety for $\mathrm{GL}_2$, which allows us to explicitly describe the local geometry of the $\mathrm{SL}_2$-eigenvariety. In particular, we show that it often fails to be Gorenstein at such points.


title: Crop Type Identification for Smallholding Farms: Analyzing Spatial, Temporal and Spectral Resolutions in Satellite Imagery

abstract: The integration of the modern Machine Learning (ML) models into remote sensing and agriculture has expanded the scope of the application of satellite images in the agriculture domain. In this paper, we present how the accuracy of crop type identification improves as we move from medium-spatiotemporal-resolution (MSTR) to high-spatiotemporal-resolution (HSTR) satellite images. We further demonstrate that high spectral resolution in satellite imagery can improve prediction performance for low spatial and temporal resolutions (LSTR) images. The F1-score is increased by 7% when using multispectral data of MSTR images as compared to the best results obtained from HSTR images. Similarly, when crop season based time series of multispectral data is used we observe an increase of 1.2% in the F1-score. The outcome motivates further advancements in the field of synthetic band generation.


title: LPGNet: Link Private Graph Networks for Node Classification

abstract: Classification tasks on labeled graph-structured data have many important applications ranging from social recommendation to financial modeling. Deep neural networks are increasingly being used for node classification on graphs, wherein nodes with similar features have to be given the same label. Graph convolutional networks (GCNs) are one such widely studied neural network architecture that perform well on this task. However, powerful link-stealing attacks on GCNs have recently shown that even with black-box access to the trained model, inferring which links (or edges) are present in the training graph is practical. In this paper, we present a new neural network architecture called LPGNet for training on graphs with privacy-sensitive edges. LPGNet provides differential privacy (DP) guarantees for edges using a novel design for how graph edge structure is used during training. We empirically show that LPGNet models often lie in the sweet spot between providing privacy and utility: They can offer better utility than "trivially" private architectures which use no edge information (e.g., vanilla MLPs) and better resilience against existing link-stealing attacks than vanilla GCNs which use the full edge structure. LPGNet also offers consistently better privacy-utility tradeoffs than DPGCN, which is the state-of-the-art mechanism for retrofitting differential privacy into conventional GCNs, in most of our evaluated datasets.