title: Beyond the Granularity: Multi-Perspective Dialogue Collaborative Selection for Dialogue State Tracking

abstract: In dialogue state tracking, dialogue history is a crucial material, and its utilization varies between different models. However, no matter how the dialogue history is used, each existing model uses its own consistent dialogue history during the entire state tracking process, regardless of which slot is updated. Apparently, it requires different dialogue history to update different slots in different turns. Therefore, using consistent dialogue contents may lead to insufficient or redundant information for different slots, which affects the overall performance. To address this problem, we devise DiCoS-DST to dynamically select the relevant dialogue contents corresponding to each slot for state updating. Specifically, it first retrieves turn-level utterances of dialogue history and evaluates their relevance to the slot from a combination of three perspectives: (1) its explicit connection to the slot name; (2) its relevance to the current turn dialogue; (3) Implicit Mention Oriented Reasoning. Then these perspectives are combined to yield a decision, and only the selected dialogue contents are fed into State Generator, which explicitly minimizes the distracting information passed to the downstream state prediction. Experimental results show that our approach achieves new state-of-the-art performance on MultiWOZ 2.1 and MultiWOZ 2.2, and achieves superior performance on multiple mainstream benchmark datasets (including Sim-M, Sim-R, and DSTC2).


title: The Unreasonable Effectiveness of Deep Evidential Regression

abstract: There is a significant need for principled uncertainty reasoning in machine learning systems as they are increasingly deployed in safety-critical domains. A new approach with uncertainty-aware regression-based neural networks (NNs), based on learning evidential distributions for aleatoric and epistemic uncertainties, shows promise over traditional deterministic methods and typical Bayesian NNs, notably with the capabilities to disentangle aleatoric and epistemic uncertainties. Despite some empirical success of Deep Evidential Regression (DER), there are important gaps in the mathematical foundation that raise the question of why the proposed technique seemingly works. We detail the theoretical shortcomings and analyze the performance on synthetic and real-world data sets, showing that Deep Evidential Regression is a heuristic rather than an exact uncertainty quantification. We go on to discuss corrections and redefinitions of how aleatoric and epistemic uncertainties should be extracted from NNs.


title: Onset of pattern formation in thin ferromagnetic films with perpendicular anisotropy

abstract: We consider the onset of pattern formation in an ultrathin ferromagnetic film of the form $\tilde{\Omega}_t := \tilde{\Omega} \times [0,t]$ for $\tilde{ \Omega} \Subset \mathbb{R}^2$ with preferred perpendicular magnetization direction. The relative micromagnetic energy is given by \begin{align} \mathcal{E}[M] &= \int_{\tilde{\Omega}_t} d^2 |\nabla M|^2+ Q \int_{\tilde{\Omega}_t} (M_1^2+M_2^2) + \int_{\mathbb{R}^3} |\mathcal{H}(M)|^2 - \int_{\mathbb{R}^3} |\mathcal{H}(e_3 \chi_{\tilde{ \Omega}})|^2, \end{align} describing the energy difference for a given magnetization $M : \mathbb{R}^3 \to \mathbb{R}^3$ with $|M| = \chi_{\tilde{ \Omega}_t}$ and the uniform magnetization $e_3 \chi_{\tilde{ \Omega}_t}$. For $t \ll d$, we establish the scaling of the energy and a BV-bound in the critical regime here the base area of the film is of order $|\tilde{ \Omega}| \sim (Q-1)^{1/2} d e^{\frac{2\pi d}t \sqrt{Q-1}}$. We furthermore investigate the onset of non-trivial pattern formation in the critical regime depending on the size of the rescaled film.


title: Effect of substrate spin-orbit coupling on the topological gap size of Shiba chains

abstract: Realizing Majorana bound states in chains of magnetic impurities on $s$-wave superconducting substrates relies on a fine tuning of the energy and hybridization of the single magnetic impurity bound states and of the spin-orbit coupling (SOC). While recent experiments investigate the influence of the former two parameters, the effect of SOC remained experimentally largely unexplored. Here, we present a scanning tunneling spectroscopy study of close-packed Mn chains along the [001]-direction on Ta(110) which has almost identical atomic and surface electronic structure compared to the previously studied Nb(110) system, but a three times larger SOC. The dominant Shiba band has a very similar dispersion, but its minigap, taken relative to $\varDelta$, is increased by a factor of 1.9 with respect to the Nb case, which can be ascribed to the stronger SOC.


title: Uniform Masking: Enabling MAE Pre-training for Pyramid-based Vision Transformers with Locality

abstract: Masked AutoEncoder (MAE) has recently led the trends of visual self-supervision area by an elegant asymmetric encoder-decoder design, which significantly optimizes both the pre-training efficiency and fine-tuning accuracy. Notably, the success of the asymmetric structure relies on the "global" property of Vanilla Vision Transformer (ViT), whose self-attention mechanism reasons over arbitrary subset of discrete image patches. However, it is still unclear how the advanced Pyramid-based ViTs (e.g., PVT, Swin) can be adopted in MAE pre-training as they commonly introduce operators within "local" windows, making it difficult to handle the random sequence of partial vision tokens. In this paper, we propose Uniform Masking (UM), successfully enabling MAE pre-training for Pyramid-based ViTs with locality (termed "UM-MAE" for short). Specifically, UM includes a Uniform Sampling (US) that strictly samples $1$ random patch from each $2 \times 2$ grid, and a Secondary Masking (SM) which randomly masks a portion of (usually $25\%$) the already sampled regions as learnable tokens. US preserves equivalent elements across multiple non-overlapped local windows, resulting in the smooth support for popular Pyramid-based ViTs; whilst SM is designed for better transferable visual representations since US reduces the difficulty of pixel recovery pre-task that hinders the semantic learning. We demonstrate that UM-MAE significantly improves the pre-training efficiency (e.g., it speeds up and reduces the GPU memory by $\sim 2\times$) of Pyramid-based ViTs, but maintains the competitive fine-tuning performance across downstream tasks. For example using HTC++ detector, the pre-trained Swin-Large backbone self-supervised under UM-MAE only in ImageNet-1K can even outperform the one supervised in ImageNet-22K. The codes are available at https://github.com/implus/UM-MAE.


title: A cloud-assisted ADS-B network for UAVs based on SDR

abstract: Integration of Unmanned Aerial Vehicles (UAVs) or "drones" into the civil aviation airspace is a problem of increasing interest in the aviation community, as testified by many initiatives developed worldwide. Many traditional surveillance solutions for manned aircrafts employ the Automatic Dependent System-Broadcast (ADS-B) technology, which however might present several drawbacks when used for UAVs, especially smaller ones and/or those flying at very low altitudes. We present in this paper a cloud-based surveillance solution for UAVs, which can be considered as an enhancement of a conventional ADS-B system. The proposed solution leverages inexpensive on-board transceivers for transmitting positional messages from the UAVs to the ground. A network of ADS-B gateways, based on the software-defined radio (SDR) paradigm, format the positional messages into valid ADS-B signals and rebroadcast them in the air, allowing thus to emulate a true ADS-B system and overcoming the main disadvantages of the conventional implementation. A preliminary performance analysis of the proposed approach, based on queuing theory, shows the main tradeoffs of the considered approach. Moreover, a physical-layer laboratory implementation of the proposed solution is presented, based on off-the-shelf SDR hardware, which is programmed using the open-source GNU Radio environment.


title: Approximate Dynamic Programming for Constrained Linear Systems: A Piecewise Quadratic Approximation Approach

abstract: Approximate dynamic programming (ADP) faces challenges in dealing with constraints in control problems. Model predictive control (MPC) is, in comparison, well-known for its accommodation of constraints and stability guarantees, although its computation is sometimes prohibitive. This paper introduces an approach combining the two methodologies to overcome their individual limitations. The predictive control law for constrained linear quadratic regulation (CLQR) problems has been proven to be piecewise affine (PWA) while the value function is piecewise quadratic. We exploit these formal results from MPC to design an ADP method for CLQR problems. A novel convex and piecewise quadratic neural network with a local-global architecture is proposed to provide an accurate approximation of the value function, which is used as the cost-to-go function in the online dynamic programming problem. An efficient decomposition algorithm is developed to speed up the online computation. Rigorous stability analysis of the closed-loop system is conducted for the proposed control scheme under the condition that a good approximation of the value function is achieved. Comparative simulations are carried out to demonstrate the potential of the proposed method in terms of online computation and optimality.


title: Quantum transport efficiency in noisy random-removal and small-world networks

abstract: We report the results of an in-depth study of the role of graph topology on quantum transport efficiency in random removal and Watts-Strogatz networks. By using four different environmental models -- noiseless, driving by classical random telegraph noise (RTN), thermal quantum bath, and bath+RTN -- we compare the role of the environment and of the change in network topology in determining the quantum transport efficiency. We find that small and specific changes in network topology is more effective in causing large change in efficiency compared to that achievable by environmental manipulations for both network classes. Furthermore, we have found that noise dependence of transport efficiency in these networks can be categorized into six classes. In general, our results highlight the interplay that network topology and environment models play in quantum transport, and pave the way for transport studies for networks of increasing size and complexity -- when going beyond so far often used few-site transport systems.


title: Island and lake size distributions in Gradient Percolation

abstract: The well-known problem of gradient percolation has been revisited to study the probability distribution of island sizes. It is observed that as the ordinary percolation, this distribution is also described by a power-law decaying function but the associated critical exponents are found to be different. Because of the underlying gradient for the occupation probability, the average value of the island sizes also has a gradient. The variation of the average island size with the probability of occupation along the gradient has been studied together with its scaling analysis. Further, we have introduced and studied the gradient bond percolation and by studying the island size distribution statistics, we have obtained very similar results. We have also studied the characteristics of the diffusion profile of the particle system on a lattice that is initially half filled and half empty. Here also we observe the same value for the island size probability distribution exponent. Finally, the same study has been repeated for the nonlinear gradient percolation and the value of the island size distribution exponent is found to be a function of the strength of the nonlinear parameter.


title: Understanding and Mitigating the Uncertainty in Zero-Shot Translation

abstract: Zero-shot translation is a promising direction for building a comprehensive multilingual neural machine translation (MNMT) system. However, its quality is still not satisfactory due to off-target issues. In this paper, we aim to understand and alleviate the off-target issues from the perspective of uncertainty in zero-shot translation. By carefully examining the translation output and model confidence, we identify two uncertainties that are responsible for the off-target issues, namely, extrinsic data uncertainty and intrinsic model uncertainty. Based on the observations, we propose two light-weight and complementary approaches to denoise the training data for model training, and mask out the vocabulary of the off-target languages in inference. Extensive experiments on both balanced and unbalanced datasets show that our approaches significantly improve the performance of zero-shot translation over strong MNMT baselines. Qualitative analyses provide insights into where our approaches reduce off-target translations


title: Topological superconductivity and Majorana states in low-dimensional systems

abstract: We discuss the properties of topologically nontrivial superconducting phases and the conditions for their realization in condensed matter, and the principles for identifying Majorana bound states (MBSs). Along with the well-known Kitaev chain and superconducting nanowire (SW) models with spin-orbit coupling in an external magnetic field, we discuss models of quasi-2D materials in which MBSs are realized in the presence of noncollinear spin ordering. For finite-length SWs, we demonstrate a cascade of quantum transitions occurring with a change in the magnetic field, accompanied by a change in the fermion parity of the ground state. The corresponding anomalous behavior of the magnetocaloric effect can be used as a tool for identifying MBSs. We devote considerable attention to the analysis of the transport characteristics of devices that contain topologically nontrivial materials. The results of studying the conductance of an Aharonov-Bohm ring whose arms are connected by an SW are discussed in detail. An important feature of this device is the appearance of Fano resonances in the dependence of conductance on the magnetic field when the SW is in a topologically nontrivial phase. We establish a relation between the characteristics of such resonances and the spatial structure of the lowest-energy SW state. The conditions for the occurrence of an MBS in the phase of the coexistence of chiral $d+id$ superconductivity and 120-degree spin ordering are determined in the framework of the $t-J-V$ model on a triangular lattice. We take electron-electron interactions into account in discussing the topological invariants of low-dimensional superconducting materials with noncollinear spin ordering. The formation of Majorana modes in regions with an odd value of a topological $\mathbb{Z}$ invariant is demonstrated. The spatial structure of these excitations in the Hubbard fermion ensemble is determined.


title: On the Prediction Instability of Graph Neural Networks

abstract: Instability of trained models, i.e., the dependence of individual node predictions on random factors, can affect reproducibility, reliability, and trust in machine learning systems. In this paper, we systematically assess the prediction instability of node classification with state-of-the-art Graph Neural Networks (GNNs). With our experiments, we establish that multiple instantiations of popular GNN models trained on the same data with the same model hyperparameters result in almost identical aggregated performance but display substantial disagreement in the predictions for individual nodes. We find that up to one third of the incorrectly classified nodes differ across algorithm runs. We identify correlations between hyperparameters, node properties, and the size of the training set with the stability of predictions. In general, maximizing model performance implicitly also reduces model instability.


title: Contrastive Learning with Cross-Modal Knowledge Mining for Multimodal Human Activity Recognition

abstract: Human Activity Recognition is a field of research where input data can take many forms. Each of the possible input modalities describes human behaviour in a different way, and each has its own strengths and weaknesses. We explore the hypothesis that leveraging multiple modalities can lead to better recognition. Since manual annotation of input data is expensive and time-consuming, the emphasis is made on self-supervised methods which can learn useful feature representations without any ground truth labels. We extend a number of recent contrastive self-supervised approaches for the task of Human Activity Recognition, leveraging inertial and skeleton data. Furthermore, we propose a flexible, general-purpose framework for performing multimodal self-supervised learning, named Contrastive Multiview Coding with Cross-Modal Knowledge Mining (CMC-CMKM). This framework exploits modality-specific knowledge in order to mitigate the limitations of typical self-supervised frameworks. The extensive experiments on two widely-used datasets demonstrate that the suggested framework significantly outperforms contrastive unimodal and multimodal baselines on different scenarios, including fully-supervised fine-tuning, activity retrieval and semi-supervised learning. Furthermore, it shows performance competitive even compared to supervised methods.


title: (Poly)Logarithmic Time Construction of Round-optimal $n$-Block Broadcast Schedules for Broadcast and irregular Allgather in MPI

abstract: We give a fast(er), communication-free, parallel construction of optimal communication schedules that allow broadcasting of $n$ distinct blocks of data from a root processor to all other processors in $1$-ported, $p$-processor networks with fully bidirectional communication. For any $p$ and $n$, broadcasting in this model requires $n-1+\lceil\log_2 p\rceil$ communication rounds. In contrast to other constructions, all processors follow the same, circulant graph communication pattern, which makes it possible to use the schedules for the allgather (all-to-all-broadcast) operation as well. The new construction takes $O(\log^3 p)$ time steps per processor, each of which can compute its part of the schedule independently of the other processors in $O(\log p)$ space. The result is a significant improvement over the sequential $O(p \log^2 p)$ time and $O(p\log p)$ space construction of Tr\"aff and Ripke (2009) with considerable practical import. The round-optimal schedule construction is then used to implement communication optimal algorithms for the broadcast and (irregular) allgather collective operations as found in MPI (the \emph{Message-Passing Interface}), and significantly and practically improves over the implementations in standard MPI libraries (\texttt{mpich}, OpenMPI, Intel MPI) for certain problem ranges. The application to the irregular allgather operation is entirely new.


title: Systematic study of Mn atoms, artificial dimers and chains on superconducting Ta(110)

abstract: Magnetic adatoms coupled to an $s$-wave superconductor give rise to local bound states, so-called Yu-Shiba-Rusinov states. Focusing on the ultimate goal of tailoring chains of such adatoms into a topologically superconducting phase, we investigate basic building blocks - single Fe and Mn adatoms and Mn dimers on clean superconducting Ta(110) - using scanning tunneling microscopy and spectroscopy. We perform a systematic study of the hybridizations and splittings in dimers, and their dependence on the crystallographic directions and interatomic spacings, in order to identify potentially interesting chain geometries for this novel sample type. Subsequently, we study the spin structure as well as the length dependent Shiba band structure in Mn chains of those geometries using spin-resolved scanning tunneling spectroscopy. All results are compared to the according properties of structurally identical dimers and chains on the previously studied Nb(110), which has almost identical surface structure and electronic properties, but an about three times smaller spin-orbit interaction.


title: Integer factorization as subset-sum problem

abstract: This paper elaborates on a sieving technique that has first been applied in 2018 for improving bounds on deterministic integer factorization. We will generalize the sieve in order to obtain a polynomial-time reduction from integer factorization to a specific instance of the multiple-choice subset-sum problem. As an application, we will improve upon special purpose factorization algorithms for integers composed of divisors with small difference. In particular, we will refine the runtime complexity of Fermat's factorization algorithm by a large subexponential factor. Our first procedure is deterministic, rigorous, easy to implement and has negligible space complexity. Our second procedure is heuristically faster than the first, but has non-negligible space complexity.


title: Decentralized Autonomous Organizations for Tax Credit's Tracking

abstract: Tax credit stimulus and fiscal bonuses had a very important impact on Italian economy in the last decade. Along with a huge expansion in constructions a relevant increase in scams and frauds has come too. The aim of this article is to design a possible system to track and control the whole tax credit process from its generation to its redeem through a Decentralized Autonomous Organization architecture enriched with a Multi Agent Systems to implement controllers.


title: The proton structure in and out of muonic hydrogen

abstract: Laser spectroscopy of muonic atoms has been recently used to probe properties of light nuclei with unprecedented precision. We introduce nuclear effects in hydrogen-like atoms, nucleon structure quantities (form factors, structure functions, polarizabilities) and their effects in the Lamb shift and hyperfine splitting (HFS) of muonic hydrogen ($\mu$H). Updated theory predictions for the Lamb shift and HFS in $\mu$H are presented. We review the challenges of the ongoing effort to measure the ground-state HFS in $\mu$H and its impact on our understanding of the nucleon spin structure. To narrow down this search, we present a novel theory prediction obtained by scaling the measured HFS in hydrogen leveraging radiative corrections. We also summarize recent developments in the spectroscopy of simple atomic and molecular systems and emphasize how they allow for precise determinations of fundamental constants, bound-state QED tests and New Physics searches.


title: Error Probability Bounds for Coded-Index DNA Storage

abstract: The DNA storage channel is considered, in which a codeword is comprised of $M$ unordered DNA molecules. At reading time, $N$ molecules are sampled with replacement, and then each molecule is sequenced. A coded-index concatenated-coding scheme is considered, in which the $m$th molecule of the codeword is restricted to a subset of all possible molecules (an inner code), which is unique for each $m$. The decoder has low-complexity, and is based on first decoding each molecule separately (the inner code), and then decoding the sequence of molecules (an outer code). Only mild assumptions are made on the sequencing channel, in the form of the existence of an inner code and decoder with vanishing error. The error probability of a random code as well as an expurgated code is analyzed and shown to decay exponentially with $N$. This establishes the importance of increasing the coverage depth $N/M$ in order to obtain low error probability.


title: Uzbek affix finite state machine for stemming

abstract: This work presents a morphological analyzer for the Uzbek language using a finite state machine. The proposed methodology is a morphologic analysis of Uzbek words by using an affix striping to find a root and without including any lexicon. This method helps to perform morphological analysis of words from a large amount of text at high speed as well as it is not required using of memory for keeping vocabulary. According to Uzbek, an agglutinative language can be designed with finite state machines (FSMs). In contrast to the previous works, this study modeled the completed FSMs for all word classes by using the Uzbek language's morphotactic rules in right to left order. This paper shows the stages of this methodology including the classification of the affixes, the generation of the FSMs for each affix class, and the combination into a head machine to make analysis a word.


title: Unintended memorisation of unique features in neural networks

abstract: Neural networks pose a privacy risk due to their propensity to memorise and leak training data. We show that unique features occurring only once in training data are memorised by discriminative multi-layer perceptrons and convolutional neural networks trained on benchmark imaging datasets. We design our method for settings where sensitive training data is not available, for example medical imaging. Our setting knows the unique feature, but not the training data, model weights or the unique feature's label. We develop a score estimating a model's sensitivity to a unique feature by comparing the KL divergences of the model's output distributions given modified out-of-distribution images. We find that typical strategies to prevent overfitting do not prevent unique feature memorisation. And that images containing a unique feature are highly influential, regardless of the influence the images's other features. We also find a significant variation in memorisation with training seed. These results imply that neural networks pose a privacy risk to rarely occurring private information. This risk is more pronounced in healthcare applications since sensitive patient information can be memorised when it remains in training data due to an imperfect data sanitisation process.


title: An efficient explicit jump HOC immersed interface approach for transient incompressible viscous flows

abstract: In the present work, we propose a novel hybrid explicit jump immersed interface approach in conjunction with a higher order compact (HOC) scheme for simulating transient complex flows governed by the streamfunction-vorticity ($\psi$-$\zeta$) formulation of the Navier-Stokes (N-S) equations for incompressible viscous flows. A new strategy has been adopted for the jump conditions at the irregular points across the interface using Lagrangian interpolation on a Cartesian grid. This approach, which starts with the discretization of parabolic equations with discontinuities in the solutions, source terms and the coefficients across the interface, can easily be accommodated into simulating flow past bluff bodies immersed in the flow. The superiority of the approach is reflected by the reduced magnitude and faster decay of the errors in comparison to other existing methods. It is seen to handle several fluid flow problems having practical implications in the real world very efficiently, which involves flows involving multiple and moving bodies. This includes the flow past a stationary circular and a twenty-four edge cactus cylinder, flows past two tandem cylinders, where in one situation both are fixed and in another, one of them is oscillating transversely with variable amplitude in time. To the best of our knowledge, the last two examples have been tackled for the first time by such an approach employing the $\psi$-$\zeta$ formulation in finite difference set-up. The extreme closeness of our computed solutions with the existing numerical and experimental results exemplifies the accuracy and the robustness of the proposed approach.


title: Emergence of Double-slit Interference by Representing Visual Space in Artificial Neural Networks

abstract: Artificial neural networks have realized incredible successes at image recognition, but the underlying mechanism of visual space representation remains a huge mystery. Grid cells (2014 Nobel Prize) in the entorhinal cortex support a periodic representation as a metric for coding space. Here, we develop a self-supervised convolutional neural network to perform visual space location, leading to the emergence of single-slit diffraction and double-slit interference patterns of waves. Our discoveries reveal the nature of CNN encoding visual space to a certain extent. CNN is no longer a black box in terms of visual spatial encoding, it is interpretable. Our findings indicate that the periodicity property of waves provides a space metric, suggesting a general role of spatial coordinate frame in artificial neural networks.


title: On the Calibration of Probabilistic Classifier Sets

abstract: Multi-class classification methods that produce sets of probabilistic classifiers, such as ensemble learning methods, are able to model aleatoric and epistemic uncertainty. Aleatoric uncertainty is then typically quantified via the Bayes error, and epistemic uncertainty via the size of the set. In this paper, we extend the notion of calibration, which is commonly used to evaluate the validity of the aleatoric uncertainty representation of a single probabilistic classifier, to assess the validity of an epistemic uncertainty representation obtained by sets of probabilistic classifiers. Broadly speaking, we call a set of probabilistic classifiers calibrated if one can find a calibrated convex combination of these classifiers. To evaluate this notion of calibration, we propose a novel nonparametric calibration test that generalizes an existing test for single probabilistic classifiers to the case of sets of probabilistic classifiers. Making use of this test, we empirically show that ensembles of deep neural networks are often not well calibrated.


title: A Unified Experiment Design Approach for Cyclic and Acyclic Causal Models

abstract: We study experiment design for unique identification of the causal graph of a simple SCM, where the graph may contain cycles. The presence of cycles in the structure introduces major challenges for experiment design as, unlike acyclic graphs, learning the skeleton of causal graphs with cycles may not be possible from merely the observational distribution. Furthermore, intervening on a variable in such graphs does not necessarily lead to orienting all the edges incident to it. In this paper, we propose an experiment design approach that can learn both cyclic and acyclic graphs and hence, unifies the task of experiment design for both types of graphs. We provide a lower bound on the number of experiments required to guarantee the unique identification of the causal graph in the worst case, showing that the proposed approach is order-optimal in terms of the number of experiments up to an additive logarithmic term. Moreover, we extend our result to the setting where the size of each experiment is bounded by a constant. For this case, we show that our approach is optimal in terms of the size of the largest experiment required for uniquely identifying the causal graph in the worst case.


title: Spinel nitride solid solutions: charting properties in the configurational space with explainable machine learning

abstract: Ab initio prediction of the variation of properties in the configurational space of solid solutions is computationally very demanding. We present an approach to accelerate these predictions via a combination of density functional theory and machine learning, using the cubic spinel nitride GeSn$_2$N$_4$ as a case study, exploring how formation energy and electronic bandgap are affected by configurational variations. Furthermore, we demonstrate the utility of applying explainable machine learning to understand the crystal chemistry origins of the trends that we observe. Different configuration descriptors (Coulomb matrix eigenspectrum, many-body tensor representation, and cluster correlation function vectors) are combined with different models (linear regression, gradient-boosted decision tree, and multi-layer perceptron) to extrapolate the calculation of ab initio properties from a small set of configurations to the full space with thousands of configurations. We discuss the performance of different descriptors and models. SHAP (SHapley Additive exPlanations) analysis of the machine learning models highlights how values of formation energy are dominated by variations in local crystal structure (single polyhedral environments), while values of electronic bandgap are dominated by variations in more extended structural motifs. Finally, we demonstrate the usefulness of this approach by constructing structure-property maps, identifying important configurations of GeSn$_2$N$_4$ with extremal properties, as well as by calculating accurate equilibrium properties using configurational averaging.


title: Dissociative electron attachment dynamics of carbon disulfide and violation of axial recoil approximation near the 6-eV resonance

abstract: Complete dissociation dynamics of low-energy electron attachment to carbon disulfide have been studied using the velocity slice imaging (VSI) technique. The ion yields of S- and CS- fragment ions as the function of incident electron energy in the range 5 to 11 eV have been obtained. Two resonances for S- ions at around 6.2 eV and 7.7 eV and only one resonance for CS- ions at around 6.2 eV have been obtained in this energy range. The kinetic energy and the angular distributions of these fragment negative ions at different incident electron energies around these resonances have been measured. From the angular distribution of these fragment anions, we have found that the bending of the temporary negative ions causes a significant change in the angular distribution from the expected one.


title: People Tracking and Re-Identifying in Distributed Contexts: Extension Study of PoseTReID

abstract: In our previous paper, we introduced PoseTReID which is a generic framework for real-time 2D multi-person tracking in distributed interaction spaces where long-term people's identities are important for other studies such as behavior analysis, etc. In this paper, we introduce a further study of PoseTReID framework in order to give a more complete comprehension of the framework. We use a well-known bounding box detector YOLO (v4) for the detection to compare to OpenPose which was used in our last paper, and we use SORT and DeepSORT to compare to centroid which was also used previously, and most importantly for the re-identification, we use a bunch of deep leaning methods such as MLFN, OSNet, and OSNet-AIN with our custom classification layer to compare to FaceNet which was also used earlier in our last paper. By evaluating on our PoseTReID datasets, even though those deep learning re-identification methods are designed for only short-term re-identification across multiple cameras or videos, it is worth showing that they give impressive results which boost the overall tracking performance of PoseTReID framework regardless the type of tracking method. At the same time, we also introduce our research-friendly and open source Python toolbox pyppbox, which is purely written in Python and contains all sub-modules which are used in this study along with real-time online and offline evaluations for our PoseTReID datasets. This pyppbox is available on GitHub https://github.com/rathaumons/pyppbox .


title: Least-square approach for singular value decompositions of scattering problems

abstract: It was recently observed that chiral two-body interactions can be efficiently represented using matrix factorization techniques such as the singular value decomposition. However, the exploitation of these low-rank structures in a few- or many-body framework is nontrivial and requires reformulations that explicitly utilize the decomposition format. In this work, we present a general least-square approach that is applicable to different few- and many-body frameworks and allows for an efficient reduction to a low number of singular values in the least-square iteration. We verify the feasibility of the least-square approach by solving the Lippmann-Schwinger equation in factorized form. The resulting low-rank approximations of the $T$ matrix are found to fully capture scattering observables. Potential applications of the least-square approach to other frameworks with the goal of employing tensor factorization techniques are discussed.


title: Semi-self-supervised Automated ICD Coding

abstract: Clinical Text Notes (CTNs) contain physicians' reasoning process, written in an unstructured free text format, as they examine and interview patients. In recent years, several studies have been published that provide evidence for the utility of machine learning for predicting doctors' diagnoses from CTNs, a task known as ICD coding. Data annotation is time consuming, particularly when a degree of specialization is needed, as is the case for medical data. This paper presents a method of augmenting a sparsely annotated dataset of Icelandic CTNs with a machine-learned imputation in a semi-self-supervised manner. We train a neural network on a small set of annotated CTNs and use it to extract clinical features from a set of un-annotated CTNs. These clinical features consist of answers to about a thousand potential questions that a physician might find the answers to during a consultation of a patient. The features are then used to train a classifier for the diagnosis of certain types of diseases. We report the results of an evaluation of this data augmentation method over three tiers of data availability to the physician. Our data augmentation method shows a significant positive effect which is diminished when clinical features from the examination of the patient and diagnostics are made available. We recommend our method for augmenting scarce datasets for systems that take decisions based on clinical features that do not include examinations or tests.


title: Kernel Normalized Convolutional Networks

abstract: Existing convolutional neural network architectures frequently rely upon batch normalization (BatchNorm) to effectively train the model. BatchNorm, however, performs poorly with small batch sizes, and is inapplicable to differential privacy. To address these limitations, we propose the kernel normalization (KernelNorm) and kernel normalized convolutional layers, and incorporate them into kernel normalized convolutional networks (KNConvNets) as the main building blocks. We implement KNConvNets corresponding to the state-of-the-art ResNets while forgoing the BatchNorm layers. Through extensive experiments, we illustrate that KNConvNets achieve higher or competitive performance compared to the BatchNorm counterparts in image classification and semantic segmentation. They also significantly outperform their batch-independent competitors including those based on layer and group normalization in non-private and differentially private training. Given that, KernelNorm combines the batch-independence property of layer and group normalization with the performance advantage of BatchNorm.


title: Consequences of the product rule in Stieltjes differentiability

abstract: This work revolves around the study of differentiability in the Stieltjes sense of a product of functions. A formula for the first order derivative has been obtained in the past, which is similar to the usual one with some extra terms in its expression. The aim of this paper is to take this behavior into account to study under which conditions we can guarantee the existence of higher order derivatives, while obtaining some other interesting results for the Stieltjes derivative along the way. We also investigate the regularity of the product of two functions.


title: TensorCircuit: a Quantum Software Framework for the NISQ Era

abstract: TensorCircuit is an open source quantum circuit simulator based on tensor network contraction, designed for speed, flexibility and code efficiency. Written purely in Python, and built on top of industry-standard machine learning frameworks, TensorCircuit supports automatic differentiation, just-in-time compilation, vectorized parallelism and hardware acceleration. These features allow TensorCircuit to simulate larger and more complex quantum circuits than existing simulators, and are especially suited to variational algorithms based on parameterized quantum circuits. TensorCircuit enables orders of magnitude speedup for various quantum simulation tasks compared to other common quantum software, and can simulate up to 600 qubits with moderate circuit depth and low-dimensional connectivity. With its time and space efficiency, flexible and extensible architecture and compact, user-friendly API, TensorCircuit has been built to facilitate the design, simulation and analysis of quantum algorithms in the Noisy Intermediate-Scale Quantum (NISQ) era.


title: An efficient Deep Spatio-Temporal Context Aware decision Network (DST-CAN) for Predictive Manoeuvre Planning

abstract: To ensure the safety and efficiency of its maneuvers, an Autonomous Vehicle (AV) should anticipate the future intentions of surrounding vehicles using its sensor information. If an AV can predict its surrounding vehicles' future trajectories, it can make safe and efficient manoeuvre decisions. In this paper, we present such a Deep Spatio-Temporal Context-Aware decision Network (DST-CAN) model for predictive manoeuvre planning of AVs. A memory neuron network is used to predict future trajectories of its surrounding vehicles. The driving environment's spatio-temporal information (past, present, and predicted future trajectories) are embedded into a context-aware grid. The proposed DST-CAN model employs these context-aware grids as inputs to a convolutional neural network to understand the spatial relationships between the vehicles and determine a safe and efficient manoeuvre decision. The DST-CAN model also uses information of human driving behavior on a highway. Performance evaluation of DST-CAN has been carried out using two publicly available NGSIM US-101 and I-80 datasets. Also, rule-based ground truth decisions have been compared with those generated by DST-CAN. The results clearly show that DST-CAN can make much better decisions with 3-sec of predicted trajectories of neighboring vehicles compared to currently existing methods that do not use this prediction.


title: Visual Concepts Tokenization

abstract: Obtaining the human-like perception ability of abstracting visual concepts from concrete pixels has always been a fundamental and important target in machine learning research fields such as disentangled representation learning and scene decomposition. Towards this goal, we propose an unsupervised transformer-based Visual Concepts Tokenization framework, dubbed VCT, to perceive an image into a set of disentangled visual concept tokens, with each concept token responding to one type of independent visual concept. Particularly, to obtain these concept tokens, we only use cross-attention to extract visual information from the image tokens layer by layer without self-attention between concept tokens, preventing information leakage across concept tokens. We further propose a Concept Disentangling Loss to facilitate that different concept tokens represent independent visual concepts. The cross-attention and disentangling loss play the role of induction and mutual exclusion for the concept tokens, respectively. Extensive experiments on several popular datasets verify the effectiveness of VCT on the tasks of disentangled representation learning and scene decomposition. VCT achieves the state of the art results by a large margin.


title: Generalised graph Laplacians and canonical Feynman integrals with kinematics

abstract: To any graph with external half-edges and internal masses, we associate canonical integrals which depend non-trivially on particle masses and momenta, and are always finite. They are generalised Feynman integrals which satisfy graphical relations obtained from contracting edges in graphs, and a coproduct involving both ultra-violet and infra-red subgraphs. Their integrands are defined by evaluating bi-invariant forms which represent stable classes in the cohomology of the general linear group on a generalised graph Laplacian matrix which depends on the external kinematics of a graph.


title: How to keep text private? A systematic review of deep learning methods for privacy-preserving natural language processing

abstract: Deep learning (DL) models for natural language processing (NLP) tasks often handle private data, demanding protection against breaches and disclosures. Data protection laws, such as the European Union's General Data Protection Regulation (GDPR), thereby enforce the need for privacy. Although many privacy-preserving NLP methods have been proposed in recent years, no categories to organize them have been introduced yet, making it hard to follow the progress of the literature. To close this gap, this article systematically reviews over sixty DL methods for privacy-preserving NLP published between 2016 and 2020, covering theoretical foundations, privacy-enhancing technologies, and analysis of their suitability for real-world scenarios. First, we introduce a novel taxonomy for classifying the existing methods into three categories: data safeguarding methods, trusted methods, and verification methods. Second, we present an extensive summary of privacy threats, datasets for applications, and metrics for privacy evaluation. Third, throughout the review, we describe privacy issues in the NLP pipeline in a holistic view. Further, we discuss open challenges in privacy-preserving NLP regarding data traceability, computation overhead, dataset size, the prevalence of human biases in embeddings, and the privacy-utility tradeoff. Finally, this review presents future research directions to guide successive research and development of privacy-preserving NLP models.


title: Linear isoperimetric functions for surfaces in hyperbolic groups

abstract: We show that word-hyperbolic groups satisfy linear isoperimetric functions for all homotopy types of surface diagrams. This generalises the linear isoperimetric functions for disc and annular diagrams.


title: Theoretical summary of Moriond 2022: QCD and high-energy interactions

abstract: I review theoretical talks presented at the session on QCD and high-energy interactions of the Moriond 2022 conference.


title: Adversarial joint attacks on legged robots

abstract: We address adversarial attacks on the actuators at the joints of legged robots trained by deep reinforcement learning. The vulnerability to the joint attacks can significantly impact the safety and robustness of legged robots. In this study, we demonstrate that the adversarial perturbations to the torque control signals of the actuators can significantly reduce the rewards and cause walking instability in robots. To find the adversarial torque perturbations, we develop black-box adversarial attacks, where, the adversary cannot access the neural networks trained by deep reinforcement learning. The black box attack can be applied to legged robots regardless of the architecture and algorithms of deep reinforcement learning. We employ three search methods for the black-box adversarial attacks: random search, differential evolution, and numerical gradient descent methods. In experiments with the quadruped robot Ant-v2 and the bipedal robot Humanoid-v2, in OpenAI Gym environments, we find that differential evolution can efficiently find the strongest torque perturbations among the three methods. In addition, we realize that the quadruped robot Ant-v2 is vulnerable to the adversarial perturbations, whereas the bipedal robot Humanoid-v2 is robust to the perturbations. Consequently, the joint attacks can be used for proactive diagnosis of robot walking instability.


title: d-representability as an embedding problem

abstract: An abstract simplicial complex is said to be $d$-representable if it records the intersection pattern of a collection of convex sets in $\mathbb{R}^d$. In this paper, we show that $d$-representability of a simplicial complex is equivalent to the existence of a map with certain properties, from a closely related simplicial complex into $\mathbb{R}^d$. This equivalence suggests a framework for proving (and disproving) $d$-representability of simplicial complexes using topological methods such as applications of the Borsuk-Ulam theorem, which we begin to explore.


title: A Note on Shape Invariant Potentials for Discretized Hamiltonians

abstract: Using the method of the "exact discretization" of the Schr\"odinger equation, we propose a particular discretized version of the N=2 Supersymmetric Quantum Mechanics. After defining the corresponding shape invariance condition, we show that the energy spectra and wavefunctions for discretized Quantum Mechanical systems can be found using the technique of N=2 Supersymmetric Quantum Mechanics exactly the same way as it is done for their continuous counterparts. As a demonstration of the present method, we find the energy spectrum for a discretized Coulomb potential and its ground state wave function.


title: MSTRIQ: No Reference Image Quality Assessment Based on Swin Transformer with Multi-Stage Fusion

abstract: Measuring the perceptual quality of images automatically is an essential task in the area of computer vision, as degradations on image quality can exist in many processes from image acquisition, transmission to enhancing. Many Image Quality Assessment(IQA) algorithms have been designed to tackle this problem. However, it still remains un settled due to the various types of image distortions and the lack of large-scale human-rated datasets. In this paper, we propose a novel algorithm based on the Swin Transformer [31] with fused features from multiple stages, which aggregates information from both local and global features to better predict the quality. To address the issues of small-scale datasets, relative rankings of images have been taken into account together with regression loss to simultaneously optimize the model. Furthermore, effective data augmentation strategies are also used to improve the performance. In comparisons with previous works, experiments are carried out on two standard IQA datasets and a challenge dataset. The results demonstrate the effectiveness of our work. The proposed method outperforms other methods on standard datasets and ranks 2nd in the no-reference track of NTIRE 2022 Perceptual Image Quality Assessment Challenge [53]. It verifies that our method is promising in solving diverse IQA problems and thus can be used to real-word applications.


title: Degradation-Aware Unfolding Half-Shuffle Transformer for Spectral Compressive Imaging

abstract: In coded aperture snapshot spectral compressive imaging (CASSI) systems, hyperspectral image (HSI) reconstruction methods are employed to recover the spatial-spectral signal from a compressed measurement. Among these algorithms, deep unfolding methods demonstrate promising performance but suffer from two issues. Firstly, they do not estimate the degradation patterns and ill-posedness degree from the highly related CASSI to guide the iterative learning. Secondly, they are mainly CNN-based, showing limitations in capturing long-range dependencies. In this paper, we propose a principled Degradation-Aware Unfolding Framework (DAUF) that estimates parameters from the compressed image and physical mask, and then uses these parameters to control each iteration. Moreover, we customize a novel Half-Shuffle Transformer (HST) that simultaneously captures local contents and non-local dependencies. By plugging HST into DAUF, we establish the first Transformer-based deep unfolding method, Degradation-Aware Unfolding Half-Shuffle Transformer (DAUHST), for HSI reconstruction. Experiments show that DAUHST significantly surpasses state-of-the-art methods while requiring cheaper computational and memory costs. Code and models will be released at https://github.com/caiyuanhao1998/MST


title: Growth after the streaming instability: The radial distance dependence of the planetary growth

abstract: Streaming instability is hypothesized to be triggered at particular protoplanetary disk locations where the volume density of the solid particles is enriched comparable to that of the gas. A ring of planetesimals thus forms when this condition is fulfilled locally. These planetesimals collide with each other and accrete inward drifting pebbles from the outer disk to further increase masses. We investigate the growth of the planetesimals that form in a ring-belt at various disk radii. Their initial mass distributions are calculated based on the formula summarized from the streaming instability simulations. We simulate the subsequent dynamical evolution of the planetesimals with a protoplanetary disk model based either on the minimum mass solar nebula (MMSN) or on the Toomre stability criterion. For the MMSN model, both pebble accretion and planetesimal accretion are efficient at a close-in orbit of $0.3$ AU, resulting in the emergence of several super-Earth mass planets after $1$ Myr. For comparison, only the most massive planetesimals undergo substantial mass growth when they are born at $r{=}3$ AU, while the planetesimals at $r{=}30$ AU experience little or no growth. On the other hand, in the denser Toomre disk, the most massive forming planets can reach Earth mass at $t{=}1$ Myr and reach a mass between that of Neptune and that of Saturn within $3$ Myr at $30$ AU and $100$ AU. Both the pebble and planetesimal accretion rate decrease with disk radial distance. Nevertheless, planetesimal accretion is less pronounced than pebble accretion at more distant disk regions. Taken together, the planets acquire higher masses when the disk has a higher gas density, a higher pebble flux, and/or a lower Stokes number of pebbles.


title: BeyondPlanck XII. Cosmological parameter constraints with end-to-end error propagation

abstract: We present cosmological parameter constraints as estimated using the Bayesian BeyondPlanck (BP) analysis framework. This method supports seamless end-to-end error propagation from raw time-ordered data to final cosmological parameters. As a first demonstration of the method, we analyze time-ordered Planck LFI observations, combined with selected external data (WMAP 33-61GHz, Planck HFI DR4 353 and 857GHz, and Haslam 408MHz) in the form of pixelized maps which are used to break critical astrophysical degeneracies. Overall, all results are generally in good agreement with previously reported values from Planck 2018 and WMAP, with the largest relative difference for any parameter of about 1 sigma when considering only temperature multipoles between 29<l<601. In cases where there are differences, we note that the BP results are generally slightly closer to the high-l HFI-dominated Planck 2018 results than previous analyses, suggesting slightly less tension between low and high multipoles. Using low-l polarization information from LFI and WMAP, we find a best-fit value of tau=0.066 +/- 0.013, which is higher than the low value of tau=0.051 +/- 0.006 derived from Planck 2018 and slightly lower than the value of 0.069 +/- 0.011 derived from joint analysis of official LFI and WMAP products. Most importantly, however, we find that the uncertainty derived in the BP processing is about 30% larger than when analyzing the official products, after taking into account the different sky coverage. We argue that this is due to marginalizing over a more complete model of instrumental and astrophysical parameters, and this results in both more reliable and more rigorously defined uncertainties. We find that about 2000 Monte Carlo samples are required to achieve robust convergence for low-resolution CMB covariance matrix with 225 independent modes.


title: Parameterized Complexity of Weighted Multicut in Trees

abstract: The Edge Multicut problem is a classical cut problem where given an undirected graph $G$, a set of pairs of vertices $\mathcal{P}$, and a budget $k$, the goal is to determine if there is a set $S$ of at most $k$ edges such that for each $(s,t) \in \mathcal{P}$, $G-S$ has no path from $s$ to $t$. Edge Multicut has been relatively recently shown to be fixed-parameter tractable (FPT), parameterized by $k$, by Marx and Razgon [SICOMP 2014], and independently by Bousquet et al. [SICOMP 2018]. In the weighted version of the problem, called Weighted Edge Multicut one is additionally given a weight function $\mathtt{wt} : E(G) \to \mathbb{N}$ and a weight bound $w$, and the goal is to determine if there is a solution of size at most $k$ and weight at most $w$. Both the FPT algorithms for Edge Multicut by Marx et al. and Bousquet et al. fail to generalize to the weighted setting. In fact, the weighted problem is non-trivial even on trees and determining whether Weighted Edge Multicut on trees is FPT was explicitly posed as an open problem by Bousquet et al. [STACS 2009]. In this article, we answer this question positively by designing an algorithm which uses a very recent result by Kim et al. [STOC 2022] about directed flow augmentation as subroutine. We also study a variant of this problem where there is no bound on the size of the solution, but the parameter is a structural property of the input, for example, the number of leaves of the tree. We strengthen our results by stating them for the more general vertex deletion version.


title: LeNSE: Learning To Navigate Subgraph Embeddings for Large-Scale Combinatorial Optimisation

abstract: Combinatorial Optimisation problems arise in several application domains and are often formulated in terms of graphs. Many of these problems are NP-hard, but exact solutions are not always needed. Several heuristics have been developed to provide near-optimal solutions; however, they do not typically scale well with the size of the graph. We propose a low-complexity approach for identifying a (possibly much smaller) subgraph of the original graph where the heuristics can be run in reasonable time and with a high likelihood of finding a global near-optimal solution. The core component of our approach is LeNSE, a reinforcement learning algorithm that learns how to navigate the space of possible subgraphs using an Euclidean subgraph embedding as its map. To solve CO problems, LeNSE is provided with a discriminative embedding trained using any existing heuristics using only on a small portion of the original graph. When tested on three problems (vertex cover, max-cut and influence maximisation) using real graphs with up to $10$ million edges, LeNSE identifies small subgraphs yielding solutions comparable to those found by running the heuristics on the entire graph, but at a fraction of the total run time.


title: Optimal quantum reservoir computing for the NISQ era

abstract: Universal fault-tolerant quantum computers require millions of qubits with low error rates. Since this technology is years ahead, noisy intermediate-scale quantum (NISQ) computation is receiving tremendous interest. In this setup, quantum reservoir computing is a relevant machine learning algorithm. Its simplicity of training and implementation allows to perform challenging computations on today available machines. In this Letter, we provide a criterion to select optimal quantum reservoirs, requiring few and simple gates. Our findings demonstrate that they render better results than other commonly used models with significantly less gates, and also provide insight on the theoretical gap between quantum reservoir computing and the theory of quantum states complexity.


title: An uncertainty relation for measurements of random unitary channels acting on a qubit

abstract: By preparing an input state and measuring an observable for the output state, we can measure a quantum channel. Following the formulation given by Xiao et al., we study an uncertainty relation for ancilla-free measurements of random unitary channels acting on a qubit. We obtain an explicit formula and give a necessary and sufficient condition for this formula to be nontrivial.


title: Efficient, Spectrally Tunable Single-Photon Sources Based on Chlorine-Doped ZnSe Nanopillars

abstract: Isolated impurity states in epitaxially grown semiconductor systems possess important radiative features such as distinct wavelength emission with a very short radiative lifetime and low inhomogeneous broadening which makes them promising for the generation of indistinguishable single photons. In this study, we investigate chlorine-doped ZnSe/ZnMgSe quantum well (QW) nanopillar (NP) structures as a highly efficient solid-state single-photon source operating at cryogenic temperatures. We show that single photons are generated due to the radiative recombination of excitons bound to neutral Cl atoms in ZnSe QW and the energy of the emitted photon can be tuned from about 2.85 down to 2.82 eV with ZnSe well width increase from 2.7 to 4.7 nm. Following the developed advanced technology we fabricate NPs with a diameter of about 250 nm using a combination of dry and wet-chemical etching of epitaxially grown ZnSe/ZnMgSe QW well structures. The remaining resist mask serves as a spherical- or cylindrical-shaped solid immersion lens on top of NPs and leads to the emission intensity enhancement by up to an order of magnitude in comparison to the pillars without any lenses. NPs with spherical-shaped lenses show the highest emission intensity values. The clear photon-antibunching effect is confirmed by the measured value of the second-order correlation function at a zero time delay of 0.14. The developed single-photon sources are suitable for integration into scalable photonic circuits.


title: FedNoiL: A Simple Two-Level Sampling Method for Federated Learning with Noisy Labels

abstract: Federated learning (FL) aims at training a global model on the server side while the training data are collected and located at the local devices. Hence, the labels in practice are usually annotated by clients of varying expertise or criteria and thus contain different amounts of noises. Local training on noisy labels can easily result in overfitting to noisy labels, which is devastating to the global model through aggregation. Although recent robust FL methods take malicious clients into account, they have not addressed local noisy labels on each device and the impact to the global model. In this paper, we develop a simple two-level sampling method "FedNoiL" that (1) selects clients for more robust global aggregation on the server; and (2) selects clean labels and correct pseudo-labels at the client end for more robust local training. The sampling probabilities are built upon clean label detection by the global model. Moreover, we investigate different schedules changing the local epochs between aggregations over the course of FL, which notably improves the communication and computation efficiency in noisy label setting. In experiments with homogeneous/heterogeneous data distributions and noise ratios, we observed that direct combinations of SOTA FL methods with SOTA noisy-label learning methods can easily fail but our method consistently achieves better and robust performance.


title: H\"older regularity for parabolic fractional $p$-Laplacian

abstract: Local H\"older regularity is established for certain weak solutions to a class of parabolic fractional $p$-Laplace equations with merely measurable kernels. The proof uses DeGiorgi's iteration and refines DiBenedetto's intrinsic scaling method. The control of a nonlocal integral of solutions in the reduction of oscillation plays a crucial role and entails delicate analysis in this intrinsic scaling scenario. Dispensing with any logarithmic estimate and any comparison principle, the proof is new even for the linear case.


title: Interpolation in multivariable de Branges-Rovnyak spaces

abstract: We study a general metric constrained interpolation problem in a de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with a contractive multiplier $S$ between two Fock spaces along with its commutative counterpart, a de Branges-Rovnyak space associated with a Schur multiplier on the Drury-Arveson space of the unit ball of $\mathbb{C}^n$.


title: Evolutionary Multi-Armed Bandits with Genetic Thompson Sampling

abstract: As two popular schools of machine learning, online learning and evolutionary computations have become two important driving forces behind real-world decision making engines for applications in biomedicine, economics, and engineering fields. Although there are prior work that utilizes bandits to improve evolutionary algorithms' optimization process, it remains a field of blank on how evolutionary approach can help improve the sequential decision making tasks of online learning agents such as the multi-armed bandits. In this work, we propose the Genetic Thompson Sampling, a bandit algorithm that keeps a population of agents and update them with genetic principles such as elite selection, crossover and mutations. Empirical results in multi-armed bandit simulation environments and a practical epidemic control problem suggest that by incorporating the genetic algorithm into the bandit algorithm, our method significantly outperforms the baselines in nonstationary settings. Lastly, we introduce EvoBandit, a web-based interactive visualization to guide the readers through the entire learning process and perform lightweight evaluations on the fly. We hope to engage researchers into this growing field of research with this investigation.


title: Scalable quantum control and non-abelian anyon creation in the Kitaev honeycomb model

abstract: The Kitaev honeycomb model is a system allowing for experimentally realisable quantum computation with topological protection of quantum information. Practical implementation of quantum information processing typically relies on adiabatic, i.e. slow dynamics. Here we show that the restriction to adiabatic dynamics can be overcome with optimal control theory, enabled by an extension of the fermionization of the Kitaev honeycomb model to the time-dependent case. Moreover we present a quantum control method that is applicable to large lattice models due to sub-exponential scaling.


title: Testing predictive automated driving systems: lessons learned and future recommendations

abstract: Conventional vehicles are certified through classical approaches, where different physical certification tests are set up on test tracks to assess required safety levels. These approaches are well suited for vehicles with limited complexity and limited interactions with other entities as last-second resources. However, these approaches do not allow to evaluate safety with real behaviors for critical and edge cases, nor to evaluate the ability to anticipate them in the mid or long term. This is particularly relevant for automated and autonomous driving functions that make use of advanced predictive systems to anticipate future actions and motions to be considered in the path planning layer. In this paper, we present and analyze the results of physical tests on proving grounds of several predictive systems in automated driving functions developed within the framework of the BRAVE project. Based on our experience in testing predictive automated driving functions, we identify the main limitations of current physical testing approaches when dealing with predictive systems, analyze the main challenges ahead, and provide a set of practical actions and recommendations to consider in future physical testing procedures for automated and autonomous driving functions.


title: Evolving SimGANs to Improve Abnormal Electrocardiogram Classification

abstract: Machine Learning models are used in a wide variety of domains. However, machine learning methods often require a large amount of data in order to be successful. This is especially troublesome in domains where collecting real-world data is difficult and/or expensive. Data simulators do exist for many of these domains, but they do not sufficiently reflect the real world data due to factors such as a lack of real-world noise. Recently generative adversarial networks (GANs) have been modified to refine simulated image data into data that better fits the real world distribution, using the SimGAN method. While evolutionary computing has been used for GAN evolution, there are currently no frameworks that can evolve a SimGAN. In this paper we (1) extend the SimGAN method to refine one-dimensional data, (2) modify Easy Cartesian Genetic Programming (ezCGP), an evolutionary computing framework, to create SimGANs that more accurately refine simulated data, and (3) create new feature-based quantitative metrics to evaluate refined data. We also use our framework to augment an electrocardiogram (ECG) dataset, a domain that suffers from the issues previously mentioned. In particular, while healthy ECGs can be simulated there are no current simulators of abnormal ECGs. We show that by using an evolved SimGAN to refine simulated healthy ECG data to mimic real-world abnormal ECGs, we can improve the accuracy of abnormal ECG classifiers.


title: DDDM: a Brain-Inspired Framework for Robust Classification

abstract: Despite their outstanding performance in a broad spectrum of real-world tasks, deep artificial neural networks are sensitive to input noises, particularly adversarial perturbations. On the contrary, human and animal brains are much less vulnerable. In contrast to the one-shot inference performed by most deep neural networks, the brain often solves decision-making with an evidence accumulation mechanism that may trade time for accuracy when facing noisy inputs. The mechanism is well described by the Drift-Diffusion Model (DDM). In the DDM, decision-making is modeled as a process in which noisy evidence is accumulated toward a threshold. Drawing inspiration from the DDM, we propose the Dropout-based Drift-Diffusion Model (DDDM) that combines test-phase dropout and the DDM for improving the robustness for arbitrary neural networks. The dropouts create temporally uncorrelated noises in the network that counter perturbations, while the evidence accumulation mechanism guarantees a reasonable decision accuracy. Neural networks enhanced with the DDDM tested in image, speech, and text classification tasks all significantly outperform their native counterparts, demonstrating the DDDM as a task-agnostic defense against adversarial attacks.


title: An Artificial Neural Network Functionalized by Evolution

abstract: The topology of artificial neural networks has a significant effect on their performance. Characterizing efficient topology is a field of promising research in Artificial Intelligence. However, it is not a trivial task and it is mainly experimented on through convolutional neural networks. We propose a hybrid model which combines the tensor calculus of feed-forward neural networks with Pseudo-Darwinian mechanisms. This allows for finding topologies that are well adapted for elaboration of strategies, control problems or pattern recognition tasks. In particular, the model can provide adapted topologies at early evolutionary stages, and 'structural convergence', which can found applications in robotics, big-data and artificial life.


title: Is explainable AI a race against model complexity?

abstract: Explaining the behaviour of intelligent systems will get increasingly and perhaps intractably challenging as models grow in size and complexity. We may not be able to expect an explanation for every prediction made by a brain-scale model, nor can we expect explanations to remain objective or apolitical. Our functionalist understanding of these models is of less advantage than we might assume. Models precede explanations, and can be useful even when both model and explanation are incorrect. Explainability may never win the race against complexity, but this is less problematic than it seems.


title: Privacy Preserving Image Registration

abstract: Image registration is a key task in medical imaging applications, allowing to represent medical images in a common spatial reference frame. Current approaches to image registration are generally based on the assumption that the content of the images is usually accessible in clear form, from which the spatial transformation is subsequently estimated. This common assumption may not be met in practical applications, since the sensitive nature of medical images may ultimately require their analysis under privacy constraints, preventing to openly share the image content.In this work, we formulate the problem of image registration under a privacy preserving regime, where images are assumed to be confidential and cannot be disclosed in clear. We derive our privacy preserving image registration framework by extending classical registration paradigms to account for advanced cryptographic tools, such as secure multi-party computation and homomorphic encryption, that enable the execution of operations without leaking the underlying data. To overcome the problem of performance and scalability of cryptographic tools in high dimensions, we propose several techniques to optimize the image registration operations by using gradient approximations, and by revisiting the use of homomorphic encryption trough packing, to allow the efficient encryption and multiplication of large matrices. We demonstrate our privacy preserving framework in linear and non-linear registration problems, evaluating its accuracy and scalability with respect to standard, non-private counterparts. Our results show that privacy preserving image registration is feasible and can be adopted in sensitive medical imaging applications.


title: Converting Artificial Neural Networks to Spiking Neural Networks via Parameter Calibration

abstract: Spiking Neural Network (SNN), originating from the neural behavior in biology, has been recognized as one of the next-generation neural networks. Conventionally, SNNs can be obtained by converting from pre-trained Artificial Neural Networks (ANNs) by replacing the non-linear activation with spiking neurons without changing the parameters. In this work, we argue that simply copying and pasting the weights of ANN to SNN inevitably results in activation mismatch, especially for ANNs that are trained with batch normalization (BN) layers. To tackle the activation mismatch issue, we first provide a theoretical analysis by decomposing local conversion error to clipping error and flooring error, and then quantitatively measure how this error propagates throughout the layers using the second-order analysis. Motivated by the theoretical results, we propose a set of layer-wise parameter calibration algorithms, which adjusts the parameters to minimize the activation mismatch. Extensive experiments for the proposed algorithms are performed on modern architectures and large-scale tasks including ImageNet classification and MS COCO detection. We demonstrate that our method can handle the SNN conversion with batch normalization layers and effectively preserve the high accuracy even in 32 time steps. For example, our calibration algorithms can increase up to 65% accuracy when converting VGG-16 with BN layers.


title: Stochastic resonance neurons in artificial neural networks

abstract: Many modern applications of the artificial neural networks ensue large number of layers making traditional digital implementations increasingly complex. Optical neural networks offer parallel processing at high bandwidth, but have the challenge of noise accumulation. We propose here a new type of neural networks using stochastic resonances as an inherent part of the architecture and demonstrate a possibility of significant reduction of the required number of neurons for a given performance accuracy. We also show that such a neural network is more robust against the impact of noise.


title: Lifelong Personal Context Recognition

abstract: We focus on the development of AIs which live in lifelong symbiosis with a human. The key prerequisite for this task is that the AI understands - at any moment in time - the personal situational context that the human is in. We outline the key challenges that this task brings forth, namely (i) handling the human-like and ego-centric nature of the the user's context, necessary for understanding and providing useful suggestions, (ii) performing lifelong context recognition using machine learning in a way that is robust to change, and (iii) maintaining alignment between the AI's and human's representations of the world through continual bidirectional interaction. In this short paper, we summarize our recent attempts at tackling these challenges, discuss the lessons learned, and highlight directions of future research. The main take-away message is that pursuing this project requires research which lies at the intersection of knowledge representation and machine learning. Neither technology can achieve this goal without the other.


title: The Fellowship of the Dyson Ring: ACT&Friends' Results and Methods for GTOC 11

abstract: Dyson spheres are hypothetical megastructures encircling stars in order to harvest most of their energy output. During the 11th edition of the GTOC challenge, participants were tasked with a complex trajectory planning related to the construction of a precursor Dyson structure, a heliocentric ring made of twelve stations. To this purpose, we developed several new approaches that synthesize techniques from machine learning, combinatorial optimization, planning and scheduling, and evolutionary optimization effectively integrated into a fully automated pipeline. These include a machine learned transfer time estimator, improving the established Edelbaum approximation and thus better informing a Lazy Race Tree Search to identify and collect asteroids with high arrival mass for the stations; a series of optimally-phased low-thrust transfers to all stations computed by indirect optimization techniques, exploiting the synodic periodicity of the system; and a modified Hungarian scheduling algorithm, which utilizes evolutionary techniques to arrange a mass-balanced arrival schedule out of all transfer possibilities. We describe the steps of our pipeline in detail with a special focus on how our approaches mutually benefit from each other. Lastly, we outline and analyze the final solution of our team, ACT&Friends, which ranked second at the GTOC 11 challenge.


title: Some neighborhood-related fuzzy covering-based rough set models and their applications for decision making

abstract: Fuzzy rough set (FRS) has a great effect on data mining processes and the fuzzy logical operators play a key role in the development of FRS theory. In order to further generalize the FRS theory to more complicated data environments, we firstly propose four types of fuzzy neighborhood operators based on fuzzy covering by overlap functions and their implicators in this paper. Meanwhile, the derived fuzzy coverings from an original fuzzy covering are defined and the equalities among overlap function-based fuzzy neighborhood operators based on a finite fuzzy covering are also investigated. Secondly, we prove that new operators can be divided into seventeen groups according to equivalence relations, and the partial order relations among these seventeen classes of operators are discussed, as well. Go further, the comparisons with $ t$-norm-based fuzzy neighborhood operators given by D'eer et al. are also made and two types of neighborhood-related fuzzy covering-based rough set models, which are defined via different fuzzy neighborhood operators that are on the basis of diverse kinds of fuzzy logical operators proposed. Furthermore, the groupings and partially order relations are also discussed. Finally, a novel fuzzy TOPSIS methodology is put forward to solve a biosynthetic nanomaterials select issue, and the rationality and enforceability of our new approach is verified by comparing its results with nine different methods.


title: On Evaluating Power Loss with HATSGA Algorithm for Power Network Reconfiguration in the Smart Grid

abstract: This paper presents the power network reconfiguration algorithm HATSGA with a "R" modeling approach and evaluates its behavior in computing new reconfiguration topologies for the power network in the Smart Grid context. The modeling of the power distribution network with the language "R" is used to represent the network and support the computation of distinct algorithm configurations towards the evaluation of new reconfiguration topologies. The HATSGA algorithm adopts a hybrid Tabu Search and Genetic Algorithm strategy and can be configured in different ways to compute network reconfiguration solutions. The evaluation of power loss with HATSGA uses the IEEE 14-Bus topology as the power test scenario. The evaluation of reconfiguration topologies with minimum power loss with HATSGA indicates that an efficient solution can be reached with a feasible computational time. This suggests that HATSGA can be potentially used for computing reconfiguration network topologies and, beyond that, it can be used for autonomic self-healing management approaches where a feasible computational time is required.


title: Construction of Rough graph to handle uncertain pattern from an Information System

abstract: Rough membership function defines the measurement of relationship between conditional and decision attribute from an Information system. In this paper we propose a new method to construct rough graph through rough membership function $\omega_{G}^F(f)$. Rough graph identifies the pattern between the objects with imprecise and uncertain information. We explore the operations and properties of rough graph in various stages of its structure.


title: Neural-Symbolic Models for Logical Queries on Knowledge Graphs

abstract: Answering complex first-order logic (FOL) queries on knowledge graphs is a fundamental task for multi-hop reasoning. Traditional symbolic methods traverse a complete knowledge graph to extract the answers, which provides good interpretation for each step. Recent neural methods learn geometric embeddings for complex queries. These methods can generalize to incomplete knowledge graphs, but their reasoning process is hard to interpret. In this paper, we propose Graph Neural Network Query Executor (GNN-QE), a neural-symbolic model that enjoys the advantages of both worlds. GNN-QE decomposes a complex FOL query into relation projections and logical operations over fuzzy sets, which provides interpretability for intermediate variables. To reason about the missing links, GNN-QE adapts a graph neural network from knowledge graph completion to execute the relation projections, and models the logical operations with product fuzzy logic. Experiments on 3 datasets show that GNN-QE significantly improves over previous state-of-the-art models in answering FOL queries. Meanwhile, GNN-QE can predict the number of answers without explicit supervision, and provide visualizations for intermediate variables.


title: Topology-aware Graph Neural Networks for Learning Feasible and Adaptive ac-OPF Solutions

abstract: Solving the optimal power flow (OPF) problem is a fundamental task to ensure the system efficiency and reliability in real-time electricity grid operations. We develop a new topology-informed graph neural network (GNN) approach for predicting the optimal solutions of real-time ac-OPF problem. To incorporate grid topology to the NN model, the proposed GNN-for-OPF framework innovatively exploits the locality property of locational marginal prices and voltage magnitude. Furthermore, we develop a physics-aware (ac-)flow feasibility regularization approach for general OPF learning. The advantages of our proposed designs include reduced model complexity, improved generalizability and feasibility guarantees. By providing the analytical understanding on the graph subspace stability under grid topology contingency, we show the proposed GNN can quickly adapt to varying grid topology by an efficient re-training strategy. Numerical tests on various test systems of different sizes have validated the prediction accuracy, improved flow feasibility, and topology adaptivity capability of our proposed GNN-based learning framework.


title: Spiking Neural Operators for Scientific Machine Learning

abstract: The main computational task of Scientific Machine Learning (SciML) is function regression, required both for inputs as well as outputs of a simulation. Physics-Informed Neural Networks (PINNs) and neural operators (such as DeepONet) have been very effective in solving Partial Differential Equations (PDEs), but they tax computational resources heavily and cannot be readily adopted for edge computing. Here, we address this issue by considering Spiking Neural Networks (SNNs), which have shown promise in reducing energy consumption by two orders of magnitude or more. We present a SNN-based method to perform regression, which has been a challenge due to the inherent difficulty in representing a function's input domain and continuous output values as spikes. We first propose a new method for encoding continuous values into spikes based on a triangular matrix in space and time, and demonstrate its better performance compared to the existing methods. Next, we demonstrate that using a simple SNN architecture consisting of Leaky Integrate and Fire (LIF) activation and two dense layers, we can achieve relatively accurate function regression results. Moreover, we can replace the LIF with a trained Multi-Layer Perceptron (MLP) network and obtain comparable results but three times faster. Then, we introduce the DeepONet, consisting of a branch (typically a Fully-connected Neural Network, FNN) for inputs and a trunk (also a FNN) for outputs. We can build a spiking DeepONet by either replacing the branch or the trunk by a SNN. We demonstrate this new approach for classification using the SNN in the branch, achieving results comparable to the literature. Finally, we design a spiking DeepONet for regression by replacing its trunk with a SNN, and achieve good accuracy for approximating functions as well as inferring solutions of differential equations.


title: Agent-Based modeling in Medical Research. Example in Health Economics

abstract: This chapter presents the main lines of agent based modeling in the field of medical research. The general diagram consists of a cohort of patients (virtual or real) whose evolution is observed by means of so-called evolution models. Scenarios can then be explored by varying the parameters of the different models. This chapter presents techniques for virtual patient generation and examples of execution models. The advantages and disadvantages of these models are discussed as well as the pitfalls to be avoided. Finally, an application to the medico-economic study of the impact of the penetration rate of generic versions of treatments on the costs associated with HIV treatment is presented.


title: Fuzzy Finite Element Solution of Uncertain Convection-Diffusion Heat Transfer for a Rectangular Plate

abstract: Convection-diffusion of heat transfer is one of the important phenomena in fluid flow and industrial problems. The involved parameters, boundary conditions, and material properties are greatly affecting the same. As such, the uncertainness of these parameters, conditions, and properties cannot be ignored. Therefore, the present research work focuses numerical approach to study the uncertain convection-diffusion of heat transfer problem. Here, the finite element method is employed with fuzzy uncertainties to investigate the uncertain temperatures for a plate problem. The uncertainty is considered with a 10% of error and then corresponding fuzzy numbers are generated. These fuzzy numbers are used in the governing differential equation and boundary conditions to get the nodal temperatures. A different combination of fuzzy parameters is considered and the obtained results are reported. Furthermore, the sensitiveness of these parameters is reported in a case study.


title: Survey on Tools and Techniques Detecting Microservice API Patterns

abstract: It is well recognized that design patterns improve system development and maintenance in many aspects. While we commonly recognize these patterns in monolithic systems, many patterns emerged for cloud computing, specifically microservices. Unfortunately, while various patterns have been proposed, available quality assessment tools often do not recognize many. This article performs a grey literature review to find and catalog available tools to detect microservice API patterns (MAP). It reasons about mechanisms that can be used to detect these patterns. Furthermore, the results indicate gaps and opportunities for improvements for quality assessment tools. Finally, the reader is provided with a route map to detection techniques that can be used to mine MAPs.


title: Optical manipulation of the Rashba effect in germanium quantum wells

abstract: The Rashba effect in Ge/Si$_{0.15}$Ge$_{0.85}$ multiple quantum wells embedded in a p-i-n diode is studied through polarization and time-resolved photoluminescence. In addition to a sizeable redshift arising from the quantum-confined Stark effect, a threefold enhancement of the circular polarization degree of the direct transition is obtained by increasing the pump power over a 2kW/cm$^2$ range. This marked variation reflects an efficient modulation of the spin population and is further supported by dedicated investigations of the indirect gap transition. This study demonstrates a viable strategy to engineer the spin-orbit Hamiltonian through contactless optical excitation and opens the way towards the electro-optical manipulation of spins in quantum devices based on group-IV heterostructures.


title: Lipschitz sub-actions for locally maximal hyperbolic sets of a $C^1$ flow

abstract: Liv\v{s}ic theorem for flows asserts that a Lipschitz observable that has zero mean average along every periodic orbit is necessarily a coboundary, that is the Lie derivative of a Lipschitz function smooth along the flow direction. The positive Liv\v{s}ic theorem bounds from below the observable by such a coboundary as soon as the mean average along every periodic orbit is non negative. Previous proofs give a H\"older coboundary. Assuming that the dynamics is given by a locally maximal hyperbolic flow, we show that the coboundary can be Lipschitz. We introduce a new tool: the Lax-Oleinik semigroup, inspired by Fathi's weak KAM theory.


title: Quantum and Gradient Corrections to False Vacuum Decay on a de Sitter Background

abstract: We study the effects of a fixed de Sitter geometry background in scenarios of false vacuum decay. It is currently understood that bubble nucleation processes associated with first order phase transitions are particularly important in cosmology. The geometry of spacetime complicates the interpretation of the decay rate of a metastable vacuum. However, the effects of curvature can still be studied in the particular case where backreaction is neglected. We compute the imaginary part of the action in de Sitter space, including the one-loop and the gradient corrections. We use two independent methodologies and quantify the size of the corrections without any assumptions on the thickness of the wall of the scalar background configuration.


title: A Simple yet Effective Framework for Active Learning to Rank

abstract: While China has become the biggest online market in the world with around 1 billion internet users, Baidu runs the world largest Chinese search engine serving more than hundreds of millions of daily active users and responding billions queries per day. To handle the diverse query requests from users at web-scale, Baidu has done tremendous efforts in understanding users' queries, retrieve relevant contents from a pool of trillions of webpages, and rank the most relevant webpages on the top of results. Among these components used in Baidu search, learning to rank (LTR) plays a critical role and we need to timely label an extremely large number of queries together with relevant webpages to train and update the online LTR models. To reduce the costs and time consumption of queries/webpages labeling, we study the problem of Activ Learning to Rank (active LTR) that selects unlabeled queries for annotation and training in this work. Specifically, we first investigate the criterion -- Ranking Entropy (RE) characterizing the entropy of relevant webpages under a query produced by a sequence of online LTR models updated by different checkpoints, using a Query-By-Committee (QBC) method. Then, we explore a new criterion namely Prediction Variances (PV) that measures the variance of prediction results for all relevant webpages under a query. Our empirical studies find that RE may favor low-frequency queries from the pool for labeling while PV prioritizing high-frequency queries more. Finally, we combine these two complementary criteria as the sample selection strategies for active learning. Extensive experiments with comparisons to baseline algorithms show that the proposed approach could train LTR models achieving higher Discounted Cumulative Gain (i.e., the relative improvement {\Delta}DCG4=1.38%) with the same budgeted labeling efforts.


title: Reliability-based Mesh-to-Grid Image Reconstruction

abstract: This paper presents a novel method for the reconstruction of images from samples located at non-integer positions, called mesh. This is a common scenario for many image processing applications, such as super-resolution, warping or virtual view generation in multi-camera systems. The proposed method relies on a set of initial estimates that are later refined by a new reliability-based content-adaptive framework that employs denoising in order to reduce the reconstruction error. The reliability of the initial estimate is computed so stronger denoising is applied to less reliable estimates. The proposed technique can improve the reconstruction quality by more than 2 dB (in terms of PSNR) with respect to the initial estimate and it outperforms the state-of-the-art denoising-based refinement by up to 0.7 dB.


title: Towards efficient feature sharing in MIMO architectures

abstract: Multi-input multi-output architectures propose to train multiple subnetworks within one base network and then average the subnetwork predictions to benefit from ensembling for free. Despite some relative success, these architectures are wasteful in their use of parameters. Indeed, we highlight in this paper that the learned subnetwork fail to share even generic features which limits their applicability on smaller mobile and AR/VR devices. We posit this behavior stems from an ill-posed part of the multi-input multi-output framework. To solve this issue, we propose a novel unmixing step in MIMO architectures that allows subnetworks to properly share features. Preliminary experiments on CIFAR-100 show our adjustments allow feature sharing and improve model performance for small architectures.


title: Characteristics of ion beams by laser acceleration in the Coulomb explosion regime

abstract: In the Coulomb explosion acceleration regime, an ion bunch with a narrow energy range exhibits a thin shell shape with a certain diameter. The ion cloud has a layered structure of these ion bunches with different energies. The divergences of the ion bunch in the laser inclination direction and perpendicular to it are different in an oblique incidence laser. This indicates that the smaller the spot diameter of the laser pulse, the larger the divergence of the ion beam. In addition, theoretical formulas for the radius of the generated ion beam and the energy spectrum are derived, and they are shown to be in good agreement with the simulation results.


title: Instantaneous GNSS Ambiguity Resolution and Attitude Determination via Riemannian Manifold Optimization

abstract: We present an ambiguity resolution method for Global Navigation Satellite System (GNSS)-based attitude determination. A GNSS attitude model with nonlinear constraints is used to rigorously incorporate a priori information. Given the characteristics of the employed nonlinear constraints, we formulate GNSS attitude determination as an optimization problem on a manifold. Then, Riemannian manifold optimization algorithms are utilized to aid ambiguity resolution based on a proposed decomposition of the objective function. The application of manifold geometry enables high-quality float solutions that are critical to reinforcing search-based integer ambiguity resolution in terms of efficiency, availability, and reliability. The proposed approach is characterized by a low computational complexity and a high probability of resolving the ambiguities correctly. The performance of the proposed ambiguity resolution method is tested through a series of simulations and real experiments. Comparisons with the principal benchmarks indicate the superiority of the proposed method as reflected by the high ambiguity resolution success rates.


title: Data post-processing for the one-way heterodyne protocol under composable finite-size security

abstract: The performance of a practical continuous-variable (CV) quantum key distribution (QKD) protocol depends significantly, apart from the loss and noise of the quantum channel, on the post-processing steps which lead to the extraction of the final secret key. A critical step is the reconciliation process, especially when one assumes finite-size effects in a composable framework. Here, we focus on the Gaussian-modulated coherent-state protocol with heterodyne detection in a high signal-to-noise ratio regime. We simulate the quantum communication process and we post-process the output data by applying parameter estimation, error correction (using high-rate, non-binary low-density parity-check codes), and privacy amplification. This allows us to study the performance for practical implementations of the protocol and optimize the parameters connected to the steps above. We also present an associated Python library performing the steps above.


title: On the classification of non-big Ulrich vector bundles on fourfolds

abstract: We give an almost complete classification of non-big Ulrich vector bundles on fourfolds. This allows to classify them in the case of Picard rank one fourfolds, of Mukai fourfolds and in the case of Del Pezzo $n$-folds for $n \le 4$. We also classify Ulrich bundles with non-big determinant on Del Pezzo and Mukai $n$-folds, $n \ge 2$.