title: Quantum non-Gaussianity of multi-phonon states of a single atom

abstract: Quantum non-Gaussian mechanical states from inherently nonlinear quantum processes are already required in a range of applications spanning from quantum sensing up to quantum computing with continuous variables. The discrete building blocks of such states are the energy eigenstates - Fock states. Despite the progress in their preparation, the remaining imperfections can still invisibly cause loss of the critical quantum non-Gaussian aspects of the phonon distribution relevant in the applications. We derive the most challenging hierarchy of quantum non-Gaussian criteria for the individual mechanical Fock states and demonstrate its implementation on the characterization of single trapped-ion oscillator states up to 10~phonons. We analyze the depth of quantum non-Gaussian features under mechanical heating and predict their application in quantum sensing. These results uncover that the crucial quantum non-Gaussian features are demanded to reach quantum advantage in the applications.


title: Fooling Adversarial Training with Inducing Noise

abstract: Adversarial training is widely believed to be a reliable approach to improve model robustness against adversarial attack. However, in this paper, we show that when trained on one type of poisoned data, adversarial training can also be fooled to have catastrophic behavior, e.g., $<1\%$ robust test accuracy with $>90\%$ robust training accuracy on CIFAR-10 dataset. Previously, there are other types of noise poisoned in the training data that have successfully fooled standard training ($15.8\%$ standard test accuracy with $99.9\%$ standard training accuracy on CIFAR-10 dataset), but their poisonings can be easily removed when adopting adversarial training. Therefore, we aim to design a new type of inducing noise, named ADVIN, which is an irremovable poisoning of training data. ADVIN can not only degrade the robustness of adversarial training by a large margin, for example, from $51.7\%$ to $0.57\%$ on CIFAR-10 dataset, but also be effective for fooling standard training ($13.1\%$ standard test accuracy with $100\%$ standard training accuracy). Additionally, ADVIN can be applied to preventing personal data (like selfies) from being exploited without authorization under whether standard or adversarial training.


title: Electrochemical 3D Printing of Silver and Nickel Microstructures with FluidFM

abstract: Electrochemical 3D printing of conductors with microscale resolution holds a great promise for a wide range of applications, but the choice of suitable metals for these technologies remains limited. Most efforts so far have been focused on deposition of copper, however, other metals are also of interest, especially when tuning of mechanical, electrical, or optical properties is required for a given application. Here we address the issue of a limited materials choice in electrochemical 3D printing by extending the materials library to silver and nickel. Free-standing microscale structures are fabricated in a single step via locally confined electrochemical 3D printing using FluidFM - a microchanneled cantilever nanopipette capable to deliver electrolyte through sub-microscale opening. The 3D printed structures are constructed in a layer-by-layer fashion, which allows complex geometrical shapes such as double rings, helices and pyramids. We report the process performance in terms of printing speed (in the range 7 - 40 nm s-1 for silver and 27 - 42 nm s-1 for nickel) and reveal dense inner structure and chemical purity of the printed features.


title: Formal verification of space systems designed with TASTE

abstract: Model-Based Systems Engineering (MBSE) is a development approach aiming to build correct-by-construction systems, provided the use of clear, unambiguous and complete models to describe them along the design process. The approach is supported by several engineering tools that automate the development steps, for example the production of code, documentation, test cases and more. TASTE [1] is pragmatic MBSE toolset supported by ESA that encapsulates several technologies to design a system (data modelling, architecture modelling, behaviour modelling/implementation), to automatically generate the binary application(s), and to validate it. One topic left open in TASTE is the formal verification of a system design with respect to specified properties. In this paper we describe our approach based on the IF model-checker [4] to enable the formal verification of properties on TASTE designs. The approach is currently under development in the ESA MoC4Space project.


title: partycls: A Python package for structural clustering

abstract: partycls is a Python framework for cluster analysis of systems of interacting particles. By grouping particles that share similar structural or dynamical properties, partycls enables rapid and unsupervised exploration of the system's relevant features. It provides descriptors suitable for applications in condensed matter physics and integrates the necessary tools of unsupervised learning, such as dimensionality reduction, into a streamlined workflow. Through a simple and expressive interface, partycls allows one to open a trajectory file, perform a clustering based on the selected structural descriptor, and analyze and save the results with only a few lines of code.


title: A Particle-Linkage Model for Elongated Asteroids with Three-Dimensional Mass Distribution

abstract: The goal of the present paper is to develop a simplified model to describe the gravitational fields of elongated asteroids. The proposed model consists of representing an elongated asteroid using a triple-particle-linkage system distributed in the three-dimensional space. It is an extension of previous models that focused only on planar models. A non-linear optimization method is used to determine the parameters of our model, minimizing the errors of all the external equilibrium points with respect to the solutions calculated with a more realistic model, the polyhedron model, which are assumed to be the real values of the system. The model considered in this article is then applied to three real irregular asteroids 1620 Geographos, 433 Eros and 243, Ida. The results show that the current triple-particle-linkage three-dimensional model gives better accuracy when compared to the axisymmetric triple-particle-linkage model available in the literature, and provides an advantage in terms of accuracy over the mass point model, while keeping computational time low. Also, this model is used to carry out simulations to characterize regions with solutions that remain bounded or that escape from around each asteroid under analysis. We investigated an initial inclination of 0 degree (direct orbits) and 180 degrees (retrograde orbits). We considered the gravitational field of the asteroid, the gravitational attraction of the Sun, and the solar radiation pressure Our results are then compared to the results obtained using the Mascon gravitational model based on the polyhedral shape source. We found good agreement between the two models.


title: Grounded Situation Recognition with Transformers

abstract: Grounded Situation Recognition (GSR) is the task that not only classifies a salient action (verb), but also predicts entities (nouns) associated with semantic roles and their locations in the given image. Inspired by the remarkable success of Transformers in vision tasks, we propose a GSR model based on a Transformer encoder-decoder architecture. The attention mechanism of our model enables accurate verb classification by capturing high-level semantic feature of an image effectively, and allows the model to flexibly deal with the complicated and image-dependent relations between entities for improved noun classification and localization. Our model is the first Transformer architecture for GSR, and achieves the state of the art in every evaluation metric on the SWiG benchmark. Our code is available at https://github.com/jhcho99/gsrtr .


title: Finite time extinction for a class of damped Schr{\"o}dinger equations with a singular saturated nonlinearity

abstract: We present some sharper finite extinction time results for solutions of a class of damped nonlinear Schr{\"o}dinger equations when the nonlinear damping term corresponds to the limit cases of some ``saturating non-Kerr law'' $F(|u|^2)u=\frac{a}{\varepsilon+(|u|^2)^\alpha}u,$ with $a\in\mathbb{C},$ $\varepsilon\geqslant0,$ $2\alpha=(1-m)$ and $m\in[0,1).$ To carry out the improvement of previous results in the literature we present in this paper a careful revision of the existence and regularity of weak solutions under very general assumptions on the data. We prove that the problem can be solved in the very general framework of the maximal monotone operators theory, even under a lack of regularity of the damping term. This allows us to consider, among other things, the singular case $m=0.$ We replace the above approximation of the damping term by a different one which keeps the monotonicity for any $\varepsilon\geqslant0$. We prove that, when $m=0,$ the finite extinction time of the solution arises for merely bounded right hand side data $f(t,x).$ This is specially useful in the applications in which the Schr{\"o}dinger equation is coupled with some other functions satisfying some additional equations.


title: Learning to Detect Instance-level Salient Objects Using Complementary Image Labels

abstract: Existing salient instance detection (SID) methods typically learn from pixel-level annotated datasets. In this paper, we present the first weakly-supervised approach to the SID problem. Although weak supervision has been considered in general saliency detection, it is mainly based on using class labels for object localization. However, it is non-trivial to use only class labels to learn instance-aware saliency information, as salient instances with high semantic affinities may not be easily separated by the labels. As the subitizing information provides an instant judgement on the number of salient items, it is naturally related to detecting salient instances and may help separate instances of the same class while grouping different parts of the same instance. Inspired by this observation, we propose to use class and subitizing labels as weak supervision for the SID problem. We propose a novel weakly-supervised network with three branches: a Saliency Detection Branch leveraging class consistency information to locate candidate objects; a Boundary Detection Branch exploiting class discrepancy information to delineate object boundaries; and a Centroid Detection Branch using subitizing information to detect salient instance centroids. This complementary information is then fused to produce a salient instance map. To facilitate the learning process, we further propose a progressive training scheme to reduce label noise and the corresponding noise learned by the model, via reciprocating the model with progressive salient instance prediction and model refreshing. Our extensive evaluations show that the proposed method plays favorably against carefully designed baseline methods adapted from related tasks.


title: Polarized image of an equatorial emitting ring around a 4D Gauss-Bonnet black hole

abstract: We have studied the polarized image of an equatorial emitting ring around a 4D Gauss-Bonnet black hole. Our results show that the effects of Gauss-Bonnet parameter on the polarized image depend on the magnetic field configuration, the observation inclination angle, and the fluid velocity. As the magnetic field lies in the equatorial plane, the observed polarization intensity increases monotonously with Gauss-Bonnet parameter in the low inclination angle case, and its monotonicity disappears in the case with high inclination angle. However, as the magnetic field is vertical to the equatorial plane, the polarization intensity is a monotonously increasing function of Gauss-Bonnet parameter in the high inclination angle case. The changes of the electric vector position angle with Gauss-Bonnet parameter in both cases are more complicated. We also probe the effects of Gauss-Bonnet parameter on the Strokes $Q$-$U$ loops.


title: More than Words: In-the-Wild Visually-Driven Prosody for Text-to-Speech

abstract: In this paper we present VDTTS, a Visually-Driven Text-to-Speech model. Motivated by dubbing, VDTTS takes advantage of video frames as an additional input alongside text, and generates speech that matches the video signal. We demonstrate how this allows VDTTS to, unlike plain TTS models, generate speech that not only has prosodic variations like natural pauses and pitch, but is also synchronized to the input video. Experimentally, we show our model produces well-synchronized outputs, approaching the video-speech synchronization quality of the ground-truth, on several challenging benchmarks including "in-the-wild" content from VoxCeleb2. Supplementary demo videos demonstrating video-speech synchronization, robustness to speaker ID swapping, and prosody, presented at the project page.


title: Learning in High-Dimensional Feature Spaces Using ANOVA-Based Fast Matrix-Vector Multiplication

abstract: Kernel matrices are crucial in many learning tasks such as support vector machines or kernel ridge regression. The kernel matrix is typically dense and large-scale. Depending on the dimension of the feature space even the computation of all of its entries in reasonable time becomes a challenging task. For such dense matrices the cost of a matrix-vector product scales quadratically with the dimensionality N , if no customized methods are applied. We propose the use of an ANOVA kernel, where we construct several kernels based on lower-dimensional feature spaces for which we provide fast algorithms realizing the matrix-vector products. We employ the non-equispaced fast Fourier transform (NFFT), which is of linear complexity for fixed accuracy. Based on a feature grouping approach, we then show how the fast matrix-vector products can be embedded into a learning method choosing kernel ridge regression and the conjugate gradient solver. We illustrate the performance of our approach on several data sets.


title: Estimates for the variable order Riesz potential with applications

abstract: We study weak-type estimates and exponential integrability for the variable order Riesz potential. As an application we prove an exponential integrability result with respect to the Hausdorff content for functions from variable exponent Sobolev spaces. In particular, the earlier exponential integrability results are improved to a corresponding one with respect to the Choque integral whenever John domains are considered. Moreover, new exponential integrability results also for domains with outward cusps are obtained.


title: Between welcome culture and border fence. A dataset on the European refugee crisis in German newspaper reports

abstract: Newspaper reports provide a rich source of information on the unfolding of public debate on specific policy fields that can serve as basis for inquiry in political science. Such debates are often triggered by critical events, which attract public attention and incite the reactions of political actors: crisis sparks the debate. However, due to the challenges of reliable annotation and modeling, few large-scale datasets with high-quality annotation are available. This paper introduces DebateNet2.0, which traces the political discourse on the European refugee crisis in the German quality newspaper taz during the year 2015. The core units of our annotation are political claims (requests for specific actions to be taken within the policy field) and the actors who make them (politicians, parties, etc.). The contribution of this paper is twofold. First, we document and release DebateNet2.0 along with its companion R package, mardyR, guiding the reader through the practical and conceptual issues related to the annotation of policy debates in newspapers. Second, we outline and apply a Discourse Network Analysis (DNA) to DebateNet2.0, comparing two crucial moments of the policy debate on the 'refugee crisis': the migration flux through the Mediterranean in April/May and the one along the Balkan route in September/October. Besides the released resources and the case-study, our contribution is also methodological: we talk the reader through the steps from a newspaper article to a discourse network, demonstrating that there is not just one discourse network for the German migration debate, but multiple ones, depending on the topic of interest (political actors, policy fields, time spans).


title: Hilbert genus fields of some number fields with high degrees

abstract: The aim of this paper is to give some properties of Hilbert genus fields and construct the Hilbert genus fields of the fields $L_{m,d}:=\mathbb{Q}(\zeta_{2^m},\sqrt{d})$, where $m\geq 3$ is a positive integer and $d$ is a square-free integer whose prime divisors are congruent to $\pm 3\pmod 8$ or $9\pmod{16}$.


title: Positional Encoder Graph Neural Networks for Geographic Data

abstract: Graph neural networks (GNNs) provide a powerful and scalable solution for modeling continuous spatial data. However, they often rely on Euclidean distances to construct the input graphs. This assumption can be improbable in many real-world settings, where the spatial structure is more complex and explicitly non-Euclidean (e.g., road networks). Here, we propose PE-GNN, a new framework that incorporates spatial context and correlation explicitly into the models. Building on recent advances in geospatial auxiliary task learning and semantic spatial embeddings, our proposed method (1) learns a context-aware vector encoding of the geographic coordinates and (2) predicts spatial autocorrelation in the data in parallel with the main task. On spatial interpolation and regression tasks, we show the effectiveness of our approach, improving performance over different state-of-the-art GNN approaches. We observe that our approach not only vastly improves over the GNN baselines, but can match Gaussian processes, the most commonly utilized method for spatial interpolation problems.


title: Secular evolution of MHD wind-driven discs: analytical solutions in the expanded {\alpha}-framework

abstract: The evolution of protoplanetary discs and the related process of planet formation is regulated by angular momentum transport and mass-loss processes. Over the past decade, the paradigm of viscosity has been challenged and MHD disc winds appear as a compelling scenario to account for disc accretion. In this work, we aim to construct the equivalent of the widely used analytical description of viscous evolution for the MHD wind case. The transport of angular momentum and mass induced by the wind is parameterized by an $\alpha$-like parameter and by the magnetic lever arm parameter $\lambda$. Extensions of the paradigmatic Lynden-Bell and Pringle similarity solutions to the wind case are presented. We show that wind-driven accretion leads to a steeper decrease in the disc mass and accretion rate than in viscous models due to the absence of disc spreading. If the decline of the magnetic field strength is slower than that of the gas surface density, the disc is dispersed after a finite time. The evolution of the disc in the $\dot{M}_*-M_D$ plane is sensitive to the wind and turbulence parameters. A disc population evolving under the action of winds can exhibit a correlation between $\dot{M}_*$ and $M_D$ depending on the initial conditions. The simplified framework proposed in this work opens to a new avenue to test the effectiveness of wind-driven accretion from the observed disc demographics and constitutes an important step to include wind-driven accretion in planet population synthesis models.


title: DVCFlow: Modeling Information Flow Towards Human-like Video Captioning

abstract: Dense video captioning (DVC) aims to generate multi-sentence descriptions to elucidate the multiple events in the video, which is challenging and demands visual consistency, discoursal coherence, and linguistic diversity. Existing methods mainly generate captions from individual video segments, lacking adaptation to the global visual context and progressive alignment between the fast-evolved visual content and textual descriptions, which results in redundant and spliced descriptions. In this paper, we introduce the concept of information flow to model the progressive information changing across video sequence and captions. By designing a Cross-modal Information Flow Alignment mechanism, the visual and textual information flows are captured and aligned, which endows the captioning process with richer context and dynamics on event/topic evolution. Based on the Cross-modal Information Flow Alignment module, we further put forward DVCFlow framework, which consists of a Global-local Visual Encoder to capture both global features and local features for each video segment, and a pre-trained Caption Generator to produce captions. Extensive experiments on the popular ActivityNet Captions and YouCookII datasets demonstrate that our method significantly outperforms competitive baselines, and generates more human-like text according to subject and objective tests.


title: Edge $\mathbb{Z}_3$ parafermions in fermionic lattices

abstract: Parafermions modes are non-Abelian anyons which were introduced as $\mathbb{Z}_N$ generalizations of $\mathbb{Z}_2$ Majorana states. In particular, $\mathbb{Z}_3$ parafermions can be used to produce Fibonacci anyons, laying a path towards universal topological quantum computation. Due to their fractional nature, much of theoretical work on $\mathbb{Z}_3$ parafermions has relied on bosonization methods or parafermionic quasi-particles. In this work, we introduce a representation of $\mathbb{Z}_3$ parafermions in terms of purely fermionic models operators in the t-J regime. We establish the equivalency of a family of lattice fermionic models written in the $t-J$ model basis with a Kitaev-like chain supporting free $\mathbb{Z}_3$ parafermonic modes at its ends. By using density matrix renormalization group calculations, we are able to characterize the topological phase transition and study the effect of local operators (doping and magnetic fields) on the spatial localization of the parafermionic modes and their stability. Moreover, we discuss the necessary ingredients towards realizing $\mathbb{Z}_3$ parafermions in strongly interacting electronic systems.


title: Entanglement of Orbital Angular Momentum in Non-Sequential Double Ionization

abstract: We demonstrate entanglement between the orbital angular momentum (OAM) of two photoelectrons ionized via the strongly correlated process of non-sequential double ionization (NSDI). Due to the quantization of OAM, this entanglement is easily quantified and has a simple physical interpretation in terms of conservation laws. We explore detection by an entanglement witness, decomposable into local measurements, which strongly reduces the difficulty of experimental implementation. We compute the logarithmic negativity measure, which is directly applicable to mixed states, to demonstrate that the entanglement is robust to incoherent effects such as focal averaging. Using the strong-field approximation, we quantify the entanglement for a large range of targets and field parameters, isolating the best targets for experimentalists. The methodology presented here provides a general way to use OAM to quantify and, in principle, measure entanglement, that is well-suited to attosecond processes, can enhance our understanding and may be exploited in imaging processes or the generation of OAM-entangled electrons.


title: Spin Matrix Theory in near $\frac{1}{8}$-BPS corners of $\mathcal{N} = 4$ super-Yang-Mills

abstract: We consider limits of $\mathcal{N} = 4$ super-Yang-Mills (SYM) theory that approach BPS bounds. These limits result in non-relativistic theories that describe the effective dynamics near the BPS bounds and upon quantization are known as Spin Matrix Theories. The near-BPS theories can be obtained by reducing $\mathcal{N}=4$ SYM on a three-sphere and integrating out the fields that become non-dynamical in the limits. In previous works we have considered various SU(1,1) and SU(1,2) types of subsectors in this limit. In the current work, we will construct the remaining Spin Matrix Theories defined near the $\frac{1}{8}$-BPS subsectors, which include the PSU(1,1|2) and SU(2|3) cases. We derive the Hamiltonians by applying the spherical reduction algorithm and show that they match with the spin chain result, coming from the loop corrections to the dilatation operator. In the PSU(1,1|2) case, we prove the positivity of the spectrum by constructing cubic supercharges using the enhanced PSU$(1|1)^2$ symmetry and show that they close to the interacting Hamiltonian. We finally analyse the symmetry structure of the sectors in view of an interpretation of the interactions in terms of fundamental blocks.


title: Probability distributions with rational free $R$-transform

abstract: We study the class $\mathcal{M}_{\mathrm{ratio}}$ of those probability distributions for which the free $R$-transforms are rational functions. This class is closed under the additive free convolution, additive free powers and under the monotone convolution. We prove a sufficient condition that a rational function is the free $R$-transform of a probability distribution. Several examples are provided, including that of free deconvolution.


title: A Portable Cosmic Ray Detector for School Education

abstract: This article describes the design, assembly and characterization of a portable cosmic ray detector, developed by the INSULAB group and suitable for teaching activities aimed at high school students. It consists of a compact aluminum suitcase containing three plastic scintillator modules coupled to photomultipliers, readout by a custom compact electronics chain and powered by a power bank. The modules operate in coincidence and the system records the arrival time of each particle and the time over threshold of the signal of each scintillator module. The data are acquired and processed by a Raspberry PI connected to a touch screen display for online monitoring. The procedure implemented for the determination of the detector efficiency is reported, along with the results of the measurements of the cosmic ray rate as a function of the altitude and the zenith angle, performed in the laboratory and in different locations outdoors.


title: Integrated Sensing and Communications for V2I Networks: Dynamic Predictive Beamforming for Extended Vehicle Targets

abstract: We investigate sensing-assisted predictive beamforming schemes for vehicle-to-infrastructure (V2I) communication by exploiting the integrated sensing and communication (ISAC) functionalities at the roadside unit (RSU). The RSU deploys a massive multi-input-multi-output (mMIMO) array and operates at millimeter wave (mmWave) frequencies. The pencil-sharp mMIMO beams and fine range resolution achieved at mmWave, implicates that the point target assumption is impractical in such V2I networks, as the volume and shape of the vehicles become essential for beamforming. Simply pointing a beam to the vehicle may result in the communication receiver (CR) never lying in the beam, even when the vehicle's trajectory is accurately tracked. To tackle this problem, we consider the extended vehicle target with two novel beam tracking schemes. For the first scheme, the beamwidth is adjusted in real-time to cover the entire vehicle, followed by an extended Kalman filtering (EKF) algorithm to predict and track the position of CR according to the resolved high-resolution scatterers. An upgraded scheme is further proposed by splitting each transmission block into two stages. The first stage is exploited for ISAC transmission, where a wide beam is adopted for both communication and sensing. Based on the sensed results at the first stage, the second stage is dedicated to communication by adopting a pencil-sharp beam, yielding a significant improvement of the achievable rate. We further reveal the inherent tradeoff between the two stages in terms of their durations, and develop an optimal time allocation strategy that maximizes the average achievable rate. Finally, numerical results are provided to verify the superiorities of proposed schemes over the state-of-the-art methods.


title: Blockchain for Genomics: A Systematic Literature Review

abstract: Human genomic data carry unique information about an individual and offer unprecedented opportunities for healthcare. The clinical interpretations derived from large genomic datasets can greatly improve healthcare and pave the way for personalized medicine. Sharing genomic datasets, however, pose major challenges, as genomic data is different from traditional medical data, indirectly revealing information about descendants and relatives of the data owner and carrying valid information even after the owner passes away. Therefore, stringent data ownership and control measures are required when dealing with genomic data. In order to provide secure and accountable infrastructure, blockchain technologies offer a promising alternative to traditional distributed systems. Indeed, the research on blockchain-based infrastructures tailored to genomics is on the rise. However, there is a lack of a comprehensive literature review that summarizes the current state-of-the-art methods in the applications of blockchain in genomics. In this paper, we systematically look at the existing work both commercial and academic, and discuss the major opportunities and challenges. Our study is driven by five research questions that we aim to answer in our review. We also present our projections of future research directions which we hope the researchers interested in the area can benefit from.


title: Small Changes Make Big Differences: Improving Multi-turn Response Selection in Dialogue Systems via Fine-Grained Contrastive Learning

abstract: Retrieve-based dialogue response selection aims to find a proper response from a candidate set given a multi-turn context. Pre-trained language models (PLMs) based methods have yielded significant improvements on this task. The sequence representation plays a key role in the learning of matching degree between the dialogue context and the response. However, we observe that different context-response pairs sharing the same context always have a greater similarity in the sequence representations calculated by PLMs, which makes it hard to distinguish positive responses from negative ones. Motivated by this, we propose a novel \textbf{F}ine-\textbf{G}rained \textbf{C}ontrastive (FGC) learning method for the response selection task based on PLMs. This FGC learning strategy helps PLMs to generate more distinguishable matching representations of each dialogue at fine grains, and further make better predictions on choosing positive responses. Empirical studies on two benchmark datasets demonstrate that the proposed FGC learning method can generally and significantly improve the model performance of existing PLM-based matching models.


title: The mapping class group of manifolds which are like projective planes

abstract: In this paper we compute the mapping class group of simply-connected closed smooth manifolds $M$ with integral homology $H_{*}(M) \cong \mathbb Z \oplus \mathbb Z \oplus \mathbb Z$ provided that $\dim M \ne 4$.


title: Quasi-stationary near-gate plasmons in van der Waals heterostructures

abstract: Near-gate plasmons are a new type of plasma oscillations emerging in homogeneous two-dimensional electron systems where a gate provides partial screening of electron-electron interaction. Here we develop a theory of the near-gate plasmons in van der Waals heterostructures comprising a conducting layer separated by a thin insulator from an uncharged disk-shaped gate. We show that in these structures the near-gate plasmons form gate-size-quantized quasi-stationary discrete modes even in the collisionless limit. Belonging to continuum spectrum of two-dimensional plasmons outside of the disk-gate, the near-gate plasmons are manifested as Fano-like resonances in frequency and magnetodispersions of scattering cross-section of the former scattered off the region under the gate. This enables to recover spectrum of the near-gate plasmons in the van der Waals heterostructures using near-field imaging techniques.


title: Lattention: Lattice-attention in ASR rescoring

abstract: Lattices form a compact representation of multiple hypotheses generated from an automatic speech recognition system and have been shown to improve performance of downstream tasks like spoken language understanding and speech translation, compared to using one-best hypothesis. In this work, we look into the effectiveness of lattice cues for rescoring n-best lists in second-pass. We encode lattices with a recurrent network and train an attention encoder-decoder model for n-best rescoring. The rescoring model with attention to lattices achieves 4-5% relative word error rate reduction over first-pass and 6-8% with attention to both lattices and acoustic features. We show that rescoring models with attention to lattices outperform models with attention to n-best hypotheses. We also study different ways to incorporate lattice weights in the lattice encoder and demonstrate their importance for n-best rescoring.


title: A priori estimates for the motion of charged liquid drop: A dynamic approach via free boundary Euler equations

abstract: We study the motion of charged liquid drop in three dimensions where the equations of motions are given by the Euler equations with free boundary with an electric field. This is a well-known problem in physics going back to the famous work by Rayleigh. Due to experiments and numerical simulations one expects the charged drop to form conical singularities called Taylor cones, which we interpret as singularities of the flow. In this paper, we study the well-posedness, regularity and the formation of singularities of the solution. Our main theorem roughly states that if the flow remains C^{1,\alpha}-regular in shape and the velocity remains Lipschitz-continuous, then the flow remains smooth, i.e., C^{\infty} in time and space, assuming that the initial data is smooth. Due to the appearance of Taylor cones we expect the C^{1,\alpha}-regularity assumption to be optimal, while the Lipschitz-regularity assumption on the velocity is standard in the classical theory of the Euler equations. We also quantify the C^{\infty}-estimate via high order energy estimates. This result is new also for the Euler equations with free boundary without the electric field. We point out that we do not consider the problem of existence in this paper. It will be studied in forthcoming work.


title: MeerKAT discovery of radio emission from the Vela X-1 bow shock

abstract: Vela X-1 is a runaway X-ray binary system hosting a massive donor star, whose strong stellar wind creates a bow shock as it interacts with the interstellar medium. This bow shock has previously been detected in H$\alpha$ and IR, but, similar to all but one bow shock from a massive runaway star (BD+43$^{\rm o}$3654), has escaped detection in other wavebands. We report on the discovery of $1.3$ GHz radio emission from the Vela X-1 bow shock with the MeerKAT telescope. The MeerKAT observations reveal how the radio emission closely traces the H$\alpha$ line emission, both in the bow shock and in the larger-scale diffuse structures known from existing H$\alpha$ surveys. The Vela X-1 bow shock is the first stellar-wind-driven radio bow shock detected around an X-ray binary. In the absence of a radio spectral index measurement, we explore other avenues to constrain the radio emission mechanism. We find that thermal/free-free emission can account for the radio and H$\alpha$ properties, for a combination of electron temperature and density consistent with earlier estimates of ISM density and the shock enhancement. In this explanation, the presence of a local ISM over-density is essential for the detection of radio emission. Alternatively, we consider a non-thermal/synchrotron scenario, evaluating the magnetic field and broad-band spectrum of the shock. However, we find that exceptionally high fractions ($\gtrsim 13$%) of the kinetic wind power would need to be injected into the relativistic electron population to explain the radio emission. Assuming lower fractions implies a hybrid scenario, dominated by free-free radio emission. Finally, we speculate about the detectability of radio bow shocks and whether it requires exceptional ISM or stellar wind properties.


title: Kodaira-Spencer isomorphisms and degeneracy maps on Iwahori-level Hilbert modular varieties: the saving trace

abstract: We consider integral models of Hilbert modular varieties with Iwahori level structure at primes over p, first proving a Kodaira-Spencer isomorphism that gives a concise description of their dualizing sheaves. We then analyze fibres of the degeneracy maps to Hilbert modular varieties of level prime to p and deduce the vanishing of higher direct images of structure and dualizing sheaves, generalizing prior work with Kassaei and Sasaki (for p unramified in the totally real field F). We apply the vanishing results to prove flatness of the finite morphisms in the resulting Stein factorizations, and combine them with the Kodaira-Spencer isomorphism to simplify and generalize the construction of Hecke operators at primes over p on Hilbert modular forms (integrally and mod p). The vanishing results also provide an ingredient for forthcoming work with Sasaki, associating Galois representations to mod p Hilbert modular eigenforms of non-paritious weight (for p ramified in F).


title: Optically loaded Strontium lattice clock with a single multi-wavelength reference cavity

abstract: We report on the realization of a new compact strontium optical clock using a 2-D magneto-optical-trap (2D-MOT) as cold atomic source and a multi-wavelength cavity as the frequency stabilization system. All needed optical frequencies are stabilized to a zero-thermal expansion high-finesse optical resonator and can be operated without frequency adjustments for weeks. We present the complete characterization of the apparatus. Optical control of the atomic source allows us to perform low-noise clock operation without atomic signal normalization. Long- and short-term stability tests of the clock have been performed for the 88 Sr bosonic isotope by means of interleaved clock operation. Finally, we present the first preliminary accuracy budget of the system.


title: Weight enumerators, intersection enumerators and Jacobi polynomials II

abstract: In the present paper, we introduce the concepts of Jacobi polynomials and intersection enumerators of codes over $\mathbb{F}_q$ and $\mathbb{Z}_{k}$ for arbitrary genus $g$. We also discuss the interrelation among them. Finally, we give the MacWilliams type identities for Jacobi polynomials.


title: Cavity optomechanics with ultra-cold Bose gases for quasiparticle state manipulation and prospects for sensing applications

abstract: Ensembles of ultra-cold atoms have been proven to be versatile tools for high precision sensing applications. Here, we present a method for manipulation and readout of the state of trapped clouds of ultra-cold bosonic atoms. In particular, we discuss the creation of coherent and squeezed states of quasiparticles and the coupling of quasiparticle modes through an external cavity field. This enables operations like state swapping and beam splitting which can be applied to realize a Mach-Zehnder interferometer (MZI) in frequency space. We present two explicit example applications in sensing: the measurement of the healing length of the condensate with the MZI scheme, and the measurement of an oscillating force gradient with a pulsed optomechanical readout scheme. Furthermore, we calculate fundamental limitations based on parameters of state-of-the-art technology.


title: Assessing the impact of the COVID-19 shock on a stochastic multi-population mortality model

abstract: We aim to assess the impact of a pandemic data point on the calibration of a stochastic multi-population mortality projection model and its resulting projections for future mortality rates. Throughout the paper we put focus on the Li & Lee mortality model, which has become a standard for projecting mortality in Belgium and the Netherlands. We calibrate this mortality model on annual deaths and exposures at the level of individual ages. This type of mortality data is typically collected, produced and reported with a significant delay of -- for some countries -- several years on a platform such as the Human Mortality Database. To enable a timely evaluation of the impact of a pandemic data point we have to rely on other data sources (e.g. the Short-Term Mortality Fluctuations Data series) that swiftly publish weekly mortality data collected in age buckets. To be compliant with the design and calibration strategy of the Li & Lee model, we have to transform the weekly mortality data collected in age buckets to yearly, age-specific observations. Therefore, our paper constructs a protocol to ungroup the deaths and exposures registered in age buckets to individual ages. To evaluate the impact of a pandemic shock, like COVID-19 in the year 2020, we weigh this data point in either the calibration or projection step. Obviously, the more weight we place on this data point, the more impact we observe on future estimated mortality rates and life expectancies. Our paper allows to quantify this impact and provides actuaries and actuarial associations with a framework to generate scenarios of future mortality under various assessments of the pandemic data point.


title: Quantum-classical entropy analysis for nonlinearly-coupled continuous-variable bipartite systems

abstract: The correspondence principle plays a fundamental role in quantum mechanics, which naturally leads us to inquire whether it is possible to find or determine close classical analogs of quantum states in phase space -- a common meeting point to both classical and quantum density statistical descriptors. Here, this issue is tackled by investigating the behavior of classical analogs arising upon the removal of all interference traits displayed by the Wigner distribution functions associated with a given pure quantum state. Accordingly, the dynamical evolution of the linear and von Neumann entropies is numerically computed for a continuous-variable bipartite system, and compared with the corresponding classical counterparts, in the case of two quartic oscillators nonlinearly coupled under regular and chaos conditions. Three quantum states for the full system are considered: a Gaussian state, a cat state, and a Bell-type state. By comparing the quantum and classical entropy values, and particularly their trends, it is shown that, instead of entanglement production, such entropies rather provide us with information on the system (either quantum or classical) delocalization. This gradual loss of information translates into an increase in both the quantum and the classical realms, directly connected to the increase in the correlations between both parties' degrees of freedom which, in the quantum case, is commonly related to the production of entanglement.


title: Free-energy landscapes of DNA and its assemblies: Perspectives from coarse-grained modelling

abstract: This chapter will provide an overview of how characterizing free-energy landscapes can provide insights into the biophysical properties of DNA, as well as into the behaviour of the DNA assemblies used in the field of DNA nanotechnology. The landscapes for these complex systems are accessible through the use of accurate coarse-grained descriptions of DNA. Particular foci will be the landscapes associated with DNA self-assembly and mechanical deformation, where the latter can arise from either externally imposed forces or internal stresses.


title: UEFI virtual machine firmware hardening through snapshots and attack surface reduction

abstract: The Unified Extensible Firmware Interface (UEFI) is a standardised interface between the firmware and the operating system used in all x86-based platforms over the past ten years. A side effect of the transition from conventional BIOS implementations to more complex and flexible implementations based on the UEFI was that it became easier for the malware to target BIOS in a widespread fashion, as these BIOS implementations are based on a common specification. This paper introduces Amaranth project - a solution to some of the contemporary security issues related to UEFI firmware. In this work we focused our attention on virtual machines as it allowed us to simplify the development of secure UEFI firmware. Security hardening of our firmware is achieved through several techniques, the most important of which are an operating system integrity checking mechanism (through snapshots) and overall firmware size reduction.


title: Improved Prosodic Clustering for Multispeaker and Speaker-independent Phoneme-level Prosody Control

abstract: This paper presents a method for phoneme-level prosody control of F0 and duration on a multispeaker text-to-speech setup, which is based on prosodic clustering. An autoregressive attention-based model is used, incorporating multispeaker architecture modules in parallel to a prosody encoder. Several improvements over the basic single-speaker method are proposed that increase the prosodic control range and coverage. More specifically we employ data augmentation, F0 normalization, balanced clustering for duration, and speaker-independent prosodic clustering. These modifications enable fine-grained phoneme-level prosody control for all speakers contained in the training set, while maintaining the speaker identity. The model is also fine-tuned to unseen speakers with limited amounts of data and it is shown to maintain its prosody control capabilities, verifying that the speaker-independent prosodic clustering is effective. Experimental results verify that the model maintains high output speech quality and that the proposed method allows efficient prosody control within each speaker's range despite the variability that a multispeaker setting introduces.


title: A search for neutrino emission from cores of Active Galactic Nuclei

abstract: The sources of the majority of the high-energy astrophysical neutrinos observed with the IceCube neutrino telescope at the South Pole are unknown. So far, only a gamma-ray blazar was compellingly associated with the emission of high-energy neutrinos. In addition, several studies suggest that the neutrino emission from the gamma-ray blazar population only accounts for a small fraction of the total astrophysical neutrino flux. In this work we probe the production of high-energy neutrinos in the cores of Active Galactic Nuclei (AGN), induced by accelerated cosmic rays in the accretion disk region. We present a likelihood analysis based on eight years of IceCube data, searching for a cumulative neutrino signal from three AGN samples created for this work. The neutrino emission is assumed to be proportional to the accretion disk luminosity estimated from the soft X-ray flux. Next to the observed soft X-ray flux, the objects for the three samples have been selected based on their radio emission and infrared color properties. For the largest sample in this search, an excess of high-energy neutrino events with respect to an isotropic background of atmospheric and astrophysical neutrinos is found, corresponding to a post-trial significance of 2.60$\sigma$. Assuming a power-law spectrum, the best-fit spectral index is $2.03^{+0.14}_{-0.11}$, consistent with expectations from particle acceleration in astrophysical sources. If interpreted as a genuine signal with the assumptions of a proportionality of X-ray and neutrino fluxes and a model for the sub-threshold flux distribution, this observation implies that at 100 TeV, 27$\%$ - 100$\%$ of the observed neutrinos arise from particle acceleration in the core of AGN.


title: On a Class of Fully Nonlinear Curvature Flows in Hyperbolic Space

abstract: In this paper, we study a class of flows of closed, star-shaped hypersurfaces in hyperbolic space $\mathbb{H}^{n+1}$ with speed $(\sinh r)^{{\alpha}/{\beta}} \sigma_{k}^{{1}/{\beta}}$, where $\sigma_{k}$ is the $k$-th elementary symmetric polynomial of the principal curvatures, $\alpha$, $ \beta $ are positive constants and $r$ is the distance from points on the hypersurface to the origin. We obtain convergence results under some assumptions of $k$, $\alpha$ and $ \beta $. When $k = 1 , \alpha > 1 + \beta$, and the initial hypersurface is mean convex, we prove that the mean convex solution to the flow for $ k=1 $ exists for all time and converges smoothly to a sphere. When $1\leq k \leq n, \alpha > k+\beta$, and the initial hypersurface is uniformly convex, we prove that the uniformly convex solution to the flow exists for all time and converges smoothly to a sphere. In particular, we generalize Li-Sheng-Wang's results from Euclidean space to hyperbolic space.


title: Structural Origin of Boson Peak in Glasses

abstract: Boson peak, the excess low energy excitations in the terahertz regime, is one of the most unique features of disordered systems and has been linked to many anomalous properties of glass materials. The nature and structural origin of the boson peak remain elusive and have been debated for more than a half century mainly due to the lack of real-time and real-space experimental insights of the dynamic phenomenon. In this work we employed femtosecond MeV ultrafast electron diffraction to characterize the atomic dynamics of metallic glasses in real time. The experiment reveals collective atomic oscillations, presented in elastic electron scattering and atomic pair distribution functions, within the boson peak frequency range of 1.0-1.8 THz in both reciprocal and real space. It was found that the oscillation frequency has reciprocal dependence on interatomic pair distances and the corresponding wave velocity experimentally affirms the transverse acoustic wave nature of the boson peak. The observed strong correlation between THz acoustic vibrations and coherent electron scattering provides compelling evidence that the boson peak originates from the collective transverse vibrational modes of structurally ordered atoms in the disordered system.


title: Blazar variability with the Vera C. Rubin Legacy Survey of Space and Time (LSST)

abstract: With their emission mainly coming from a relativistic jet pointing towards us, blazars are fundamental sources to study extragalactic jets and their central engines, consisting of supermassive black holes (SMBHs) fed by accretion discs. They are also candidate sources of high-energy neutrinos and cosmic rays. Because of the jet orientation, the non-thermal blazar emission is Doppler beamed; its variability is unpredictable and occurs on time-scales from less than one hour to years. The comprehension of the diverse mechanisms producing the flux and spectral changes requires well-sampled multiband light curves on long time periods. In particular, outbursts are the best test bench to shed light on the underlying physics, especially when studied in a multiwavelength context. The Vera C. Rubin Legacy Survey of Space and Time (Rubin-LSST) will monitor the southern sky for ten years in six photometric bands, offering a formidable tool to study blazar variability features in a statistical way. The alert system will allow us to trigger follow-up observations of outstanding events, especially at high (keV-to-GeV) and very high (TeV) energies. We here examine the simulated Rubin-LSST survey strategies with the aim of understanding which cadences are more suitable for the blazar variability science. Our metrics include light curve and colour sampling. We also investigate the problem of saturation, which will affect the brightest and many flaring sources, and will have a detrimental impact on follow-up observations.


title: Word-Level Style Control for Expressive, Non-attentive Speech Synthesis

abstract: This paper presents an expressive speech synthesis architecture for modeling and controlling the speaking style at a word level. It attempts to learn word-level stylistic and prosodic representations of the speech data, with the aid of two encoders. The first one models style by finding a combination of style tokens for each word given the acoustic features, and the second outputs a word-level sequence conditioned only on the phonetic information in order to disentangle it from the style information. The two encoder outputs are aligned and concatenated with the phoneme encoder outputs and then decoded with a Non-Attentive Tacotron model. An extra prior encoder is used to predict the style tokens autoregressively, in order for the model to be able to run without a reference utterance. We find that the resulting model gives both word-level and global control over the style, as well as prosody transfer capabilities.


title: Crosstalk analysis for simultaneously driven two-qubit gates in spin qubit arrays

abstract: One of the challenges when scaling up semiconductor-based quantum processors consists in the presence of crosstalk errors caused by control operations on neighboring qubits. In previous work, crosstalk in spin qubit arrays has been investigated for non-driven single qubits near individually driven quantum gates and for two simultaneously driven single-qubit gates. Nevertheless, simultaneous gates are not restricted to single-qubit operations but also include frequently used two-qubit gates such as the CNOT gate. We analyse the impact of crosstalk drives on qubit operations, such as the CNOT and CPHASE gates. We investigate the case of parallel $Y$ and CNOT gates, and we also consider a two-dimensional arrangement of two parallel CNOT gates and find unavoidable crosstalk. To minimize crosstalk errors, we develop appropriate control protocols.


title: Randomized Algorithms for Monotone Submodular Function Maximization on the Integer Lattice

abstract: Optimization problems with set submodular objective functions have many real-world applications. In discrete scenarios, where the same item can be selected more than once, the domain is generalized from a 2-element set to a bounded integer lattice. In this work, we consider the problem of maximizing a monotone submodular function on the bounded integer lattice subject to a cardinality constraint. In particular, we focus on maximizing DR-submodular functions, i.e., functions defined on the integer lattice that exhibit the diminishing returns property. Given any epsilon > 0, we present a randomized algorithm with probabilistic guarantees of O(1 - 1/e - epsilon) approximation, using a framework inspired by a Stochastic Greedy algorithm developed for set submodular functions by Mirzasoleiman et al. We then show that, on synthetic DR-submodular functions, applying our proposed algorithm on the integer lattice is faster than the alternatives, including reducing a target problem to the set domain and then applying the fastest known set submodular maximization algorithm.


title: Scalings of scale-by-scale turbulence energy in non-homogeneous turbulence

abstract: A theory of non-homogeneous turbulence is developed and is applied to boundary-free shear flows. The theory introduces assumptions of inner and outer similarity for the non-homogeneity of two-point statistics and predicts power law scalings of second-order structure functions which have some similarities with but also some differences from Kolmogorov scalings. These scalings arise as a consequence of these assumptions, of the general inter-scale and inter-space energy balance and of an inner-outer equivalence hypothesis for turbulence dissipation. They reduce to usual Kolmogorov scalings in stationary homogeneous turbulence. Comparisons with structure function data from three qualitatively different turbulent wakes provide support for the theory's predictions but also raise new questions for future research.


title: Prosodic Clustering for Phoneme-level Prosody Control in End-to-End Speech Synthesis

abstract: This paper presents a method for controlling the prosody at the phoneme level in an autoregressive attention-based text-to-speech system. Instead of learning latent prosodic features with a variational framework as is commonly done, we directly extract phoneme-level F0 and duration features from the speech data in the training set. Each prosodic feature is discretized using unsupervised clustering in order to produce a sequence of prosodic labels for each utterance. This sequence is used in parallel to the phoneme sequence in order to condition the decoder with the utilization of a prosodic encoder and a corresponding attention module. Experimental results show that the proposed method retains the high quality of generated speech, while allowing phoneme-level control of F0 and duration. By replacing the F0 cluster centroids with musical notes, the model can also provide control over the note and octave within the range of the speaker.


title: Understanding Training-Data Leakage from Gradients in Neural Networks for Image Classification

abstract: Federated learning of deep learning models for supervised tasks, e.g. image classification and segmentation, has found many applications: for example in human-in-the-loop tasks such as film post-production where it enables sharing of domain expertise of human artists in an efficient and effective fashion. In many such applications, we need to protect the training data from being leaked when gradients are shared in the training process due to IP or privacy concerns. Recent works have demonstrated that it is possible to reconstruct the training data from gradients for an image-classification model when its architecture is known. However, there is still an incomplete theoretical understanding of the efficacy and failure of such attacks. In this paper, we analyse the source of training-data leakage from gradients. We formulate the problem of training data reconstruction as solving an optimisation problem iteratively for each layer. The layer-wise objective function is primarily defined by weights and gradients from the current layer as well as the output from the reconstruction of the subsequent layer, but it might also involve a 'pull-back' constraint from the preceding layer. Training data can be reconstructed when we solve the problem backward from the output of the network through each layer. Based on this formulation, we are able to attribute the potential leakage of the training data in a deep network to its architecture. We also propose a metric to measure the level of security of a deep learning model against gradient-based attacks on the training data.


title: Backstepping-based Integral Sliding Mode Control with Time Delay Estimation for Autonomous Underwater Vehicles

abstract: The aim of this paper is to propose a high performance control approach for trajectory tracking of Autonomous Underwater Vehicles (AUVs). However, the controller performance can be affected by the unknown perturbations including model uncertainties and external time-varying disturbances in an undersea environment. To address this problem, a Backstepping-based Integral Sliding Mode Control with Time Delay Estimation (BS-ISMC-TDE) is designed. To improve the performance of a conventional backstepping control algorithm, an Integral Sliding Mode Control (ISMC) approach is adopted in the backstepping design to attenuate the steady-state error. Moreover, an adaptive Time Delay Estimation (TDE) strategy is proposed to provide an estimation of perturbations by observing the inputs and the states of the AUV one step into the past without an exact knowledge of the dynamics and the upper bound of uncertainties. From the simulation results, it is shown that the proposed control approach using both adaptive and conventional TDE parts outperforms a Backstepping-based Integral Sliding Mode Control (BS-ISMC).


title: Status of searches for electroweak-scale supersymmetry after LHC Run 2

abstract: The second period of datataking at the Large Hadron Collider (LHC) has provided a large dataset of proton-proton collisions that is unprecedented in terms of its centre-of-mass energy of 13 TeV and integrated luminosity of almost 140 fb$^{-1}$. These data constitute a formidable laboratory for the search for new particles predicted by models of supersymmetry. The analysis activity is still ongoing, but a host of results on supersymmetry has already been released by the general purpose LHC experiments ATLAS and CMS. In this paper, we provide a map into this remarkable body of research, which spans a multitude of experimental signatures and phenomenological scenarios. In the absence of conclusive evidence for the production of supersymmetric particles we discuss the constraints obtained in the context of various models. We finish with a short outlook on the new opportunities for the next runs that will be provided by the upgrade of detectors and accelerator.


title: Quantum approach to the thermalization of the toppling pencil interacting with a finite bath

abstract: We investigate the longstanding problem of thermalization of quantum systems coupled to an environment by focusing on a bistable quartic oscillator interacting with a finite number of harmonic oscillators. In order to overcome the exponential wall that one usually encounters in grid based approaches to solve the time-dependent Schr\"odinger equation of the extended system, methods based on the time-dependent variational principle are best suited. Here we will apply the method of coupled coherent states [D. V. Shalashilin and M. S. Child, J. Chem. Phys. {\bf 113}, 10028 (2000)]. By investigating the dynamics of an initial wavefunction on top of the barrier of the double well, it will be shown that only a handful of oscillators with suitably chosen frequencies, starting in their ground states, is enough to drive the bistable system close to its uncoupled ground state. The long-time average of the double-well energy is found to be a monotonously decaying function of the number of environmental oscillators in the parameter range that was numerically accessible.


title: Local solutions for nonhomogeneous Navier-Stokes equations with large flux

abstract: The local existence of solutions to nonhomogeneous Navier-Stokes equations in cylindrical domains with arbitrary large flux is demonstrated. The existence is proved by the method of successive approximations. To show the existence with the lowest possible regularity the special Besov spaces called the Sobolev-Slobodetskii spaces are used. The inflow and outflow are prescribed on the parts of the boundary which are perpendicular to the $x_3$-axis. Since the inflow and outflow are positive the crucial point of this paper is to verify that $x_3$-coordinate of velocity is also positive. Finally, we conclude the local existence such that the velocity belongs to $W_{\sigma} ^{2+{s},1+{s}/2}(\Omega^t)$, the gradient of pressure to $W_{\sigma} ^{{s},{s}/2}(\Omega^t)$ and the density to $W_{r,\infty}^{1,1}(\Omega^t)$, where ${s}\in(0,1)$, ${\sigma} >3/{s}$, $r>5/{s}$, $r>{\sigma} $.


title: Computing Graph Edit Distance with Algorithms on Quantum Devices

abstract: Distance measures provide the foundation for many popular algorithms in Machine Learning and Pattern Recognition. Different notions of distance can be used depending on the types of the data the algorithm is working on. For graph-shaped data, an important notion is the Graph Edit Distance (GED) that measures the degree of (dis)similarity between two graphs in terms of the operations needed to make them identical. As the complexity of computing GED is the same as NP-hard problems, it is reasonable to consider approximate solutions. In this paper we present a QUBO formulation of the GED problem. This allows us to implement two different approaches, namely quantum annealing and variational quantum algorithms that run on the two types of quantum hardware currently available: quantum annealer and gate-based quantum computer, respectively. Considering the current state of noisy intermediate-scale quantum computers, we base our study on proof-of-principle tests of their performance.


title: Streaming Deletion Problems Parameterized by Vertex Cover

abstract: Streaming is a model where an input graph is provided one edge at a time, instead of being able to inspect it at will. In this work, we take a parameterized approach by assuming a vertex cover of the graph is given, building on work of Bishnu et al. [COCOON 2020]. We show the further potency of combining this parameter with the Adjacency List streaming model to obtain results for vertex deletion problems. This includes kernels, parameterized algorithms, and lower bounds for the problems of Pi-free Deletion, H-free Deletion, and the more specific forms of Cluster Vertex Deletion and Odd Cycle Transversal. We focus on the complexity in terms of the number of passes over the input stream, and the memory used. This leads to a pass/memory trade-off, where a different algorithm might be favourable depending on the context and instance. We also discuss implications for parameterized complexity in the non-streaming setting.


title: Loxodromes on Twisted Surfaces in Euclidean 3-Space

abstract: In the present paper, loxodromes, which cut all meridians and parallels of twisted surfaces (that can be considered as a generalization of rotational surfaces) at a constant angle, have been studied in Euclidean 3-space and some examples have been constructed to visualize and support our theory.


title: Terahertz-Light Driven Coupling of Antiferromagnetic Spins to Lattice

abstract: Understanding spin-lattice coupling represents a key challenge in modern condensed matter physics, with crucial importance and implications for ultrafast and 2D-magnetism. The efficiency of angular momentum and energy transfer between spins and the lattice imposes fundamental speed limits on the ability to control spins in spintronics, magnonics and magnetic data storage. We report on an efficient nonlinear mechanism of spin-lattice coupling driven by THz light pulses. A nearly single-cycle THz pulse resonantly interacts with a coherent magnonic state in the antiferromagnet CoF2 and excites the Raman-active THz phonon. The results reveal the unique functionality of antiferromagnets allowing ultrafast spin-lattice coupling using light.


title: Population based change-point detection for the identification of homozygosity islands

abstract: In this paper, we propose a new method for offline change-point detection on some parameters of the distribution of a random vector. We introduce a penalized maximum likelihood approach that can be efficiently computed by a dynamic programming algorithm or approximated by a fast greedy binary splitting algorithm. We prove both algorithms converge almost surely to the set of change-points under very general assumptions on the distribution and independent sampling of the random vector. In particular, we show the assumptions leading to the consistency of the algorithms are satisfied by categorical and Gaussian random variables. This new approach is motivated by the problem of identifying homozygosity islands on the genome of individuals in a population. Our method directly tackles the issue of identification of the homozygosity islands at the population level, without the need of analyzing single individuals and then combining the results, as is made nowadays in state-of-the-art approaches.


title: HMS-OS: Improving the Human Mental Search Optimisation Algorithm by Grouping in both Search and Objective Space

abstract: The human mental search (HMS) algorithm is a relatively recent population-based metaheuristic algorithm, which has shown competitive performance in solving complex optimisation problems. It is based on three main operators: mental search, grouping, and movement. In the original HMS algorithm, a clustering algorithm is used to group the current population in order to identify a promising region in search space, while candidate solutions then move towards the best candidate solution in the promising region. In this paper, we propose a novel HMS algorithm, HMS-OS, which is based on clustering in both objective and search space, where clustering in objective space finds a set of best candidate solutions whose centroid is then also used in updating the population. For further improvement, HMSOS benefits from an adaptive selection of the number of mental processes in the mental search operator. Experimental results on CEC-2017 benchmark functions with dimensionalities of 50 and 100, and in comparison to other optimisation algorithms, indicate that HMS-OS yields excellent performance, superior to those of other methods.


title: Analysis of autocorrelation times in Neural Markov Chain Monte Carlo simulations

abstract: We provide a deepened study of autocorrelations in Neural Markov Chain Monte Carlo (NMCMC) simulations, a version of the traditional Metropolis algorithm which employs neural networks to provide independent proposals. We illustrate our ideas using the two-dimensional Ising model. We discuss several estimates of autocorrelation times in the context of NMCMC, some inspired by analytical results derived for the Metropolized Independent Sampler (MIS). We check their reliability by estimating them on a small system where analytical results can also be obtained. Based on the analytical results for MIS we propose a new loss function and study its impact on the autocorelation times. Although, this function's performance is a bit inferior to the traditional Kullback-Leibler divergence, it offers two training algorithms which in some situations may be beneficial. By studying a small, $4 \times 4$, system we gain access to the dynamics of the training process which we visualize using several observables. Furthermore, we quantitatively investigate the impact of imposing global discrete symmetries of the system in the neural network training process on the autocorrelation times. Eventually, we propose a scheme which incorporates partial heat-bath updates which considerably improves the quality of the training. The impact of the above enhancements is discussed for a $16 \times 16$ spin system. The summary of our findings may serve as a guidance to the implementation of Neural Markov Chain Monte Carlo simulations for more complicated models.

categories: cond-mat.stat-mech cs.LG hep-lat stat.ML


title: Building a weak shockwave from linear modes

abstract: In shockwave theory, the density, velocity and pressure jumps are derived from the conservation equations. Here, we address the physics of a weak shock the other way around. We first show that the density profile of a weak shockwave in a fluid can be expressed as a sum of linear acoustic modes. The shock so built propagates at the speed of sound and matter is exactly conserved at the front crossing. Yet, momentum and energy are only conserved up to order 0 in powers of the shock amplitude. The density, velocity and pressure jumps are similar to those of a fluid shock, and an equivalent Mach number can be defined. A similar process is possible in magnetohydrodynamic. Yet, such a decomposition is found impossible for collisionless shocks due to the dispersive nature of ion acoustic waves. Weakly nonlinear corrections to their frequency do not solve the problem. Weak collisionless shocks could be inherently nonlinear, non-amenable to any linear superposition. Or they could be nonexistent, as hinted by recent works.


title: History and Nature of the Jeffreys-Lindley Paradox

abstract: The Jeffreys-Lindley paradox exposes a rift between Bayesian and frequentist hypothesis testing that strikes at the heart of statistical inference. Contrary to what most current literature suggests, the paradox was central to the Bayesian testing methodology developed by Sir Harold Jeffreys in the late 1930s. Jeffreys showed that the evidence against a point-null hypothesis $\mathcal{H}_0$ scales with $\sqrt{n}$ and repeatedly argued that it would therefore be mistaken to set a threshold for rejecting $\mathcal{H}_0$ at a constant multiple of the standard error. Here we summarize Jeffreys's early work on the paradox and clarify his reasons for including the $\sqrt{n}$ term. The prior distribution is seen to play a crucial role; by implicitly correcting for selection, small parameter values are identified as relatively surprising under $\mathcal{H}_1$. We highlight the general nature of the paradox by presenting both a fully frequentist and a fully Bayesian version. We also demonstrate that the paradox does not depend on assigning prior mass to a point hypothesis, as is commonly believed.


title: An Expectation-Maximization Perspective on Federated Learning

abstract: Federated learning describes the distributed training of models across multiple clients while keeping the data private on-device. In this work, we view the server-orchestrated federated learning process as a hierarchical latent variable model where the server provides the parameters of a prior distribution over the client-specific model parameters. We show that with simple Gaussian priors and a hard version of the well known Expectation-Maximization (EM) algorithm, learning in such a model corresponds to FedAvg, the most popular algorithm for the federated learning setting. This perspective on FedAvg unifies several recent works in the field and opens up the possibility for extensions through different choices for the hierarchical model. Based on this view, we further propose a variant of the hierarchical model that employs prior distributions to promote sparsity. By similarly using the hard-EM algorithm for learning, we obtain FedSparse, a procedure that can learn sparse neural networks in the federated learning setting. FedSparse reduces communication costs from client to server and vice-versa, as well as the computational costs for inference with the sparsified network - both of which are of great practical importance in federated learning.


title: Universal construction of genuinely entangled subspaces of any size

abstract: We put forward a simple construction of genuinely entangled subspaces -- subspaces supporting only genuinely multipartite entangled states -- of any permissible dimensionality for any number of parties and local dimensions. The method uses nonorthogonal product bases, which are built from totally nonsingular matrices with a certain structure. We give an explicit basis for the constructed subspaces. An immediate consequence of our result is the possibility of constructing in the general multiparty scenario genuinely multiparty entangled mixed states with ranks up to the maximal dimension of a genuinely entangled subspace.


title: Measurement of the photon polarization in $\Lambda_b \to \Lambda \gamma$ decays

abstract: The photon polarization in $b \to s \gamma$ transitions is measured for the first time in radiative b-baryon decays exploiting the unique spin structure of $\Lambda_b \to \Lambda \gamma$ decays. A data sample corresponding to an integrated luminosity of $6\;fb^{-1}$ collected by the LHCb experiment in $pp$ collisions at a center-of-mass energy of $13\;TeV$ is used. The photon polarization is measured to be $\alpha_{\gamma}= 0.82^{\,+\,0.17\,+\,0.04}_{\,-\,0.26\,-\,0.13}$, where the first uncertainty is statistical and the second systematic. This result is in agreement with the Standard Model prediction and previous measurements in b-meson decays. Charge-parity breaking effects are studied for the first time in this observable and found to be consistent with $CP$ symmetry.


title: Real-time Coherency Identification using a Window-Size-Based Recursive Typicality Data Analysis

abstract: This work presents a data-driven analysis of minimal length necessary for coherency detection considering a recursive form of the typicality-based Data analysis (TDA). It proposes a methodology that encloses the observation of the variance of the typicality ({\tau} ) to asses the minimal window length necessary to determine the coherent buses, where the properties of the TDA approach and the groups of buses are iteratively calculated at every new data point sampled. Once the variance of each group reaches a certain value, the minimal window length is determined. Besides, this method preserves the TDA characteristics of using exclusively measurements, not requiring pre-determination of number of groups, group centers or cut-off constants. The method is applied to the well know 2-area Kundur test system, allowing to corroborate its effectiveness and draw conclusions regarding minimal window length dependence on the slowest inter-area mode.


title: Towards Traffic Scene Description: The Semantic Scene Graph

abstract: For the classification of traffic scenes, a description model is necessary that can describe the scene in a uniform way, independent of its domain. A model to describe a traffic scene in a semantic way is described in this paper. The description model allows to describe a traffic scene independently of the road geometry and road topology. Here, the traffic participants are projected onto the road network and represented as nodes in a graph. Depending on the relative location between two traffic participants with respect to the road topology, semantically classified edges are created between the corresponding nodes. For concretization, the edge attributes are extended by relative distances and velocities between both traffic participants with regard to the course of the lane. An important aspect of the description is that it can be converted easily into a machine-readable format. The current description focuses on dynamic objects of a traffic scene and considers traffic participants, such as pedestrians or vehicles.


title: Quenched glueball spectrum from functional equations

abstract: We give an overview of results for the quenched glueball spectrum from two-body bound state equations based on the 3PI effective action. The setup, which uses self-consistently calculated two- and three-point functions as input, is completely self-contained and does not have any free parameters except for the coupling. The results for $J^{\mathsf{PC}}=0^{\pm+},2^{\pm+},3^{\pm+},4^{\pm+}$ are in good agreement with recent lattice results where available. For the pseudoscalar glueball, we present first results from a two-loop complete calculation, rendering also the bound state calculation fully self-consistent.


title: Datasets for Online Controlled Experiments

abstract: Online Controlled Experiments (OCE) are the gold standard to measure impact and guide decisions for digital products and services. Despite many methodological advances in this area, the scarcity of public datasets and the lack of a systematic review and categorization hinder its development. We present the first survey and taxonomy for OCE datasets, which highlight the lack of a public dataset to support the design and running of experiments with adaptive stopping, an increasingly popular approach to enable quickly deploying improvements or rolling back degrading changes. We release the first such dataset, containing daily checkpoints of decision metrics from multiple, real experiments run on a global e-commerce platform. The dataset design is guided by a broader discussion on data requirements for common statistical tests used in digital experimentation. We demonstrate how to use the dataset in the adaptive stopping scenario using sequential and Bayesian hypothesis tests and learn the relevant parameters for each approach.


title: Data-driven analysis of a SUSY GUT of flavour

abstract: We present a data-driven analysis of a concrete Supersymmetric (SUSY) Grand Unified Theory (GUT) of flavour, based on $SU(5)\times S_4$, which predicts charged fermion and neutrino mass and mixing, and where the mass matrices of both the Standard Model and the Supersymmetric particles are controlled by a common symmetry at the GUT scale. This framework also predicts non-vanishing non-minimal flavour violating effects, motivating a sophisticated data-driven parameter analysis to uncover the signatures and viability of the model. This computer-intensive Markov-Chain-Monte-Carlo (MCMC) based analysis includes a large range of flavour as well as dark matter and SUSY observables, predicts distributions for a range of physical quantities which may be used to test the model. The predictions include maximally mixed sfermions, $\mu\rightarrow e \gamma$ close to its experimental limit and successful bino-like dark matter with nearby winos (making direct detection unlikely), implying good prospects for discovering winos and gluinos at forthcoming collider runs. The results also demonstrate that the Georgi-Jarlskog mechanism does not provide a good description of the splitting of down type quark masses and charged leptons, while neutrinoless double beta decay is predicted at observable rates.


title: Optimisation of job scheduling for supercomputers with burst buffers

abstract: The ever-increasing gap between compute and I/O performance in HPC platforms, together with the development of novel NVMe storage devices (NVRAM), led to the emergence of the burst buffer concept - an intermediate persistent storage layer logically positioned between random-access main memory and a parallel file system. Since the appearance of this technology, numerous supercomputers have been equipped with burst buffers exploring various architectures. Despite the development of real-world architectures as well as research concepts, Resource and Job Management Systems, such as Slurm, provide only marginal support for scheduling jobs with burst buffer requirements. This research is primarily motivated by the alerting observation that burst buffers are omitted from reservations in the procedure of backfilling in existing job schedulers. In this dissertation, we forge a detailed supercomputer simulator based on Batsim and SimGrid, which is capable of simulating I/O contention and I/O congestion effects. Due to the lack of publicly available workloads with burst buffer requests, we create a burst buffer request distribution model derived from Parallel Workload Archive logs. We investigate the impact of burst buffer reservations on the overall efficiency of online job scheduling for canonical algorithms: First-Come-First-Served (FCFS) and Shortest-Job-First (SJF) EASY-backfilling. Our results indicate that the lack of burst buffer reservations in backfilling may significantly deteriorate the performance of scheduling. [...] Furthermore, this lack of reservations may cause the starvation of medium-size and wide jobs. Finally, we propose a burst-buffer-aware plan-based scheduling algorithm with simulated annealing optimisation, which improves the mean waiting time by over 20% and mean bounded slowdown by 27% compared to the SJF EASY-backfilling.


title: Explicit construction of stationary discs and its consequences for nondegenerate quadrics

abstract: We give an explicit construction of a key family of stationary discs attached to a nondegenerate model quadric in $\mathbb{C}^N$ and derive a necessary condition for which (each lift) of those stationary discs is uniquely determined by its $1$-jet at a given point via a local diffeomorphism. This unique $1$-jet determination is a crucial step to deduce $2$-jet determination for CR automorphisms of generic real submanifolds in $\mathbb{C}^N$.


title: Multimodal Emotion Recognition with High-level Speech and Text Features

abstract: Automatic emotion recognition is one of the central concerns of the Human-Computer Interaction field as it can bridge the gap between humans and machines. Current works train deep learning models on low-level data representations to solve the emotion recognition task. Since emotion datasets often have a limited amount of data, these approaches may suffer from overfitting, and they may learn based on superficial cues. To address these issues, we propose a novel cross-representation speech model, inspired by disentanglement representation learning, to perform emotion recognition on wav2vec 2.0 speech features. We also train a CNN-based model to recognize emotions from text features extracted with Transformer-based models. We further combine the speech-based and text-based results with a score fusion approach. Our method is evaluated on the IEMOCAP dataset in a 4-class classification problem, and it surpasses current works on speech-only, text-only, and multimodal emotion recognition.


title: Higher Semiadditive Algebraic K-Theory and Redshift

abstract: We define higher semiadditive algebraic K-theory, a variant of algebraic K-theory that takes into account higher semiadditive structure, as enjoyed for example by the $K(n)$- and $T(n)$-local categories. We prove that it satisfies a form of the redshift conjecture. Namely, that if $R$ is a ring spectrum of height $\leq n$, then its semiadditive K-theory is of height $\leq n+1$. Under further hypothesis on $R$, which are satisfied for example by the Lubin-Tate spectrum $E_n$, we show that its semiadditive algebraic K-theory is of height exactly $n+1$. Finally, we connect semiadditive K-theory to $T(n+1)$-localized K-theory, showing that they coincide for any $p$-invertible ring spectrum and for the completed Johnson-Wilson spectrum $\widehat{E(n)}$.


title: Augmentation of base classifier performance via HMMs on a handwritten character data set

abstract: This paper presents results of a study of the performance of several base classifiers for recognition of handwritten characters of the modern Latin alphabet. Base classification performance is further enhanced by utilizing Viterbi error correction by determining the Viterbi sequence. Hidden Markov Models (HMMs) models exploit relationships between letters within a word to determine the most likely sequence of characters. Four base classifiers are studied along with eight feature sets extracted from the handwritten dataset. The best classification performance after correction was 89.8%, and the average was 68.1%


title: Control-sharing Control Barrier Functions for Intersection Automation under Input Constraints

abstract: This contribution introduces a centralized input constrained optimal control framework based on multiple control barrier functions (CBFs) to coordinate connected and automated agents at intersections. For collision avoidance, we propose a novel CBF which is safe by construction. The given control scheme provides provable guarantees that collision avoidance CBFs and CBFs to constrain the agents' velocity are jointly feasible (referred to as control-sharing property) subject to input constraints. A simulation study finally provides evidence that the proposed control scheme is safe.


title: Subspace Graph Physics: Real-Time Rigid Body-Driven Granular Flow Simulation

abstract: An important challenge in robotics is understanding the interactions between robots and deformable terrains that consist of granular material. Granular flows and their interactions with rigid bodies still pose several open questions. A promising direction for accurate, yet efficient, modeling is using continuum methods. Also, a new direction for real-time physics modeling is the use of deep learning. This research advances machine learning methods for modeling rigid body-driven granular flows, for application to terrestrial industrial machines as well as space robotics (where the effect of gravity is an important factor). In particular, this research considers the development of a subspace machine learning simulation approach. To generate training datasets, we utilize our high-fidelity continuum method, material point method (MPM). Principal component analysis (PCA) is used to reduce the dimensionality of data. We show that the first few principal components of our high-dimensional data keep almost the entire variance in data. A graph network simulator (GNS) is trained to learn the underlying subspace dynamics. The learned GNS is then able to predict particle positions and interaction forces with good accuracy. More importantly, PCA significantly enhances the time and memory efficiency of GNS in both training and rollout. This enables GNS to be trained using a single desktop GPU with moderate VRAM. This also makes the GNS real-time on large-scale 3D physics configurations (700x faster than our continuum method).


title: Comparative Study of Speech Analysis Methods to Predict Parkinson's Disease

abstract: One of the symptoms observed in the early stages of Parkinson's Disease (PD) is speech impairment. Speech disorders can be used to detect this disease before it degenerates. This work analyzes speech features and machine learning approaches to predict PD. Acoustic features such as shimmer and jitter variants, and Mel Frequency Cepstral Coefficients (MFCC) are extracted from speech signals. We use two datasets in this work: the MDVR-KCL and the Italian Parkinson's Voice and Speech database. To separate PD and non-PD speech signals, seven classification models were implemented: K-Nearest Neighbor, Decision Trees, Support Vector Machines, Naive Bayes, Logistic Regression, Gradient Boosting, Random Forests. Three feature sets were used for each of the models: (a) Acoustic features only, (b) All the acoustic features and MFCC, (c) Selected subset of features from acoustic features and MFCC. Using all the acoustic features and MFCC, together with SVM produced the highest performance with an accuracy of 98% and F1-Score of 99%. When compared with prior art, this shows a better performance. Our code and related documentation is available in a public domain repository.


title: Attention based end to end Speech Recognition for Voice Search in Hindi and English

abstract: We describe here our work with automatic speech recognition (ASR) in the context of voice search functionality on the Flipkart e-Commerce platform. Starting with the deep learning architecture of Listen-Attend-Spell (LAS), we build upon and expand the model design and attention mechanisms to incorporate innovative approaches including multi-objective training, multi-pass training, and external rescoring using language models and phoneme based losses. We report a relative WER improvement of 15.7% on top of state-of-the-art LAS models using these modifications. Overall, we report an improvement of 36.9% over the phoneme-CTC system. The paper also provides an overview of different components that can be tuned in a LAS-based system.


title: Affinely Connected Spaces, Geodesic Loops, $G_2$-Structures and Deformations

abstract: We investigate octonion product deformations coming from the parallelizable torsion of the 7-sphere $S^7$, obtaining a family of geometries from solutions of the Lagrangian formalism movement equations. This can be achieved by analyzing the spontaneous compactification $M_4\times S^7$, where $M_4$ is a Lorentzian $4$-dimensional manifold. Besides the usual Riemannian geometry and two others proposed by Cartan and Schouten, solutions in geometries with torsion and more general seven-dimensional spaces are obtained. Such formalism may by subsequently derived over the 7-sphere $S^7$, locally given by the structure constants of a nonassociative geodesic loop. Furthermore, $G_2$-structures are investigated, giving rise to the octonion product and bundle $\mathbb{O} M$ over a seven-dimensional manifold $M$. Then, sections of this bundle over such space can be perceived as spinor fields in an isometric identification mapping the spin connection to an octonion covariant derivative preserving the octonion product defined over $\mathbb{O} M$.


title: The Application of Zig-Zag Sampler in Sequential Markov Chain Monte Carlo

abstract: Particle filtering methods are widely applied in sequential state estimation within nonlinear non-Gaussian state space model. However, the traditional particle filtering methods suffer the weight degeneracy in the high-dimensional state space model. Currently, there are many methods to improve the performance of particle filtering in high-dimensional state space model. Among these, the more advanced method is to construct the Sequential Makov chian Monte Carlo (SMCMC) framework by implementing the Composite Metropolis-Hasting (MH) Kernel. In this paper, we proposed to discrete the Zig-Zag Sampler and apply the Zig-Zag Sampler in the refinement stage of the Composite MH Kernel within the SMCMC framework which is implemented the invertible particle flow in the joint draw stage. We evaluate the performance of proposed method through numerical experiments of the challenging complex high-dimensional filtering examples. Nemurical experiments show that in high-dimensional state estimation examples, the proposed method improves estimation accuracy and increases the acceptance ratio compared with state-of-the-art filtering methods.


title: v-palindromes: an analogy to the palindromes

abstract: In the year 2007, the author discovered an intriguing property of the number $198$ he saw on the license plate of a car. Namely, if we take $198$ and its reversal $891$, prime factorize each number, and sum the numbers appearing in each factorization, both sums are $18$. Such numbers are formally introduced in a short published note in 2018. These numbers are later named $v$-palindromes because they can be viewed as an analogy to the usual palindromes. In this article, we introduce the concept of a $v$-palindrome in base $b$, and prove their existence for infinitely many bases. Finally, we collect some conjectures on $v$-palindromes.


title: The static force from generalized Wilson loops using gradient flow

abstract: We explore a novel approach to compute the force between a static quark-antiquark pair with the gradient flow algorithm on the lattice. The approach is based on inserting a chromoelectric field in a Wilson loop. The renormalization issues, associated with the finite size of the chromoelectric field on the lattice, can be solved with the use of gradient flow. We compare numerical results for the flowed static potential to our previous measurement of the same observable without a gradient flow.


title: First measurement of the $^{10}{\rm B}(\alpha,n)^{13}{\rm N}$ reaction in an inertial confinement fusion implosion at the National Ignition Facility: Initial steps toward the development of a radiochemistry mix diagnostic

abstract: We report the first measurement of the $^{10}{\rm B}(\alpha,n)^{13}{\rm N}$ reaction in a polar-direct-drive exploding pusher (PDXP) at the National Ignition Facility (NIF). This work is motivated by the need to develop alternative mix diagnostics, radiochemistry being the focus here. The target is composed of a $65/35\,\rm at.\,\%$ deuterium-tritium (DT) fill surrounded by a roughly $30\,\mu\rm m$ thick beryllium ablator. The inner portion of the beryllium ablator is doped with $10\,\rm at.\,\%$ of $^{10}{\rm B}$. Radiation-hydrodynamics calculations were performed in 1D to optimize both the remaining boron rho-R and the DT neutron yield. A charged-particle transport post-processor has been developed to study $\alpha$-induced reactions on the ablator material. Results indicate a large $^{13}{\rm N}$ production from $\alpha$-induced reactions on $^{10}{\rm B}$, measurable by the radiochemical analysis of gaseous samples system at the NIF. The PDXP target N201115-001 was successfully fielded on the NIF, and nitrogen from the $^{10}{\rm B}(\alpha,n)^{13}{\rm N}$ reaction was measured. The $^{13}{\rm N}$ production yield, as well as the DT neutron yield, was, however, lower than expected. Some of the reduced yields can be explained by the oblate shape, but the ratios of the various radiochemical signals are not commensurate with expectations based on a simple reduction of the 1D results. Preliminary 2D radiation-hydrodynamics computations are consistent with the experimental measurements, and work is ongoing to extend the radiochemistry analysis into higher dimensions.


title: Homomorphisms on graph-walking automata

abstract: Graph-walking automata (GWA) are a model for graph traversal using finite-state control: these automata move between the nodes of an input graph, following its edges. This paper investigates the effect of node-replacement graph homomorphisms on recognizability by these automata. It is not difficult to see that the family of graph languages recognized by GWA is closed under inverse homomorphisms. The main result of this paper is that, for $n$-state automata operating on graphs with $k$ labels of edge end-points, the inverse homomorphic images require GWA with $kn+O(1)$ states in the worst case. The second result is that already for tree-walking automata, the family they recognize is not closed under injective homomorphisms. Here the proof is based on an easy homomorphic characterization of regular tree languages.


title: Nanoscale Texture and Microstructure in NdFeAs(O,F)/IBAD-MgO Superconducting Thin Film with Superior Critical Current Properties

abstract: This paper reports the nanoscale texture and microstructure of a high-performance NdFeAs(O,F) superconducting thin film grown by molecular beam epitaxy on a textured MgO/Y$_2$O$_3$/Hastelloy substrate. The NdFeAs(O,F) film forms a highly textured columnar grain structure by epitaxial growth on the MgO template. Although the film contains stacking faults along the $ab$-plane as well as grain boundaries perpendicular to the $ab$-plane, good superconducting properties are measured: a critical temperature, $T _{\rm c}$, of 46 K and a self-field critical current density, $J_{\rm c}$, of $2 \times 10^6 \,{\rm A/cm^2}$ at 4.2 K. Automated crystal orientation mapping by scanning precession electron diffraction in transmission electron microscopy is employed to analyze the misorientation angles between adjacent grains in a large ensemble (247 grains). 99% of the grain boundaries show in-plane misorientation angles ($\Delta \gamma$) less than the critical angle $\theta_{\rm c}$, which satisfies one of the necessary conditions for the high $J_{\rm c}$. Comparing the columnar grain size distribution with the mean distance of the flux line lattice, the triple junctions of low-angle grain boundaries are found to be effective pinning centers, even at high temperatures ($\ge$35 K) and/or low magnetic fields.