title: Contextual and Possibilistic Reasoning for Coalition Formation

abstract: In multiagent systems, agents often have to rely on other agents to reach their goals, for example when they lack a needed resource or do not have the capability to perform a required action. Agents therefore need to cooperate. Then, some of the questions raised are: Which agent(s) to cooperate with? What are the potential coalitions in which agents can achieve their goals? As the number of possibilities is potentially quite large, how to automate the process? And then, how to select the most appropriate coalition, taking into account the uncertainty in the agents' abilities to carry out certain tasks? In this article, we address the question of how to find and evaluate coalitions among agents in multiagent systems using MCS tools, while taking into consideration the uncertainty around the agents' actions. Our methodology is the following: We first compute the solution space for the formation of coalitions using a contextual reasoning approach. Second, we model agents as contexts in Multi-Context Systems (MCS), and dependence relations among agents seeking to achieve their goals, as bridge rules. Third, we systematically compute all potential coalitions using algorithms for MCS equilibria, and given a set of functional and non-functional requirements, we propose ways to select the best solutions. Finally, in order to handle the uncertainty in the agents' actions, we extend our approach with features of possibilistic reasoning. We illustrate our approach with an example from robotics.


title: Mechanisms for Handling Nested Dependencies in Neural-Network Language Models and Humans

abstract: Recursive processing in sentence comprehension is considered a hallmark of human linguistic abilities. However, its underlying neural mechanisms remain largely unknown. We studied whether a modern artificial neural network trained with "deep learning" methods mimics a central aspect of human sentence processing, namely the storing of grammatical number and gender information in working memory and its use in long-distance agreement (e.g., capturing the correct number agreement between subject and verb when they are separated by other phrases). Although the network, a recurrent architecture with Long Short-Term Memory units, was solely trained to predict the next word in a large corpus, analysis showed the emergence of a very sparse set of specialized units that successfully handled local and long-distance syntactic agreement for grammatical number. However, the simulations also showed that this mechanism does not support full recursion and fails with some long-range embedded dependencies. We tested the model's predictions in a behavioral experiment where humans detected violations in number agreement in sentences with systematic variations in the singular/plural status of multiple nouns, with or without embedding. Human and model error patterns were remarkably similar, showing that the model echoes various effects observed in human data. However, a key difference was that, with embedded long-range dependencies, humans remained above chance level, while the model's systematic errors brought it below chance. Overall, our study shows that exploring the ways in which modern artificial neural networks process sentences leads to precise and testable hypotheses about human linguistic performance.


title: Cortical oscillations implement a backbone for sampling-based computation in spiking neural networks

abstract: Being permanently confronted with an uncertain world, brains have faced evolutionary pressure to represent this uncertainty in order to respond appropriately. Often, this requires visiting multiple interpretations of the available information or multiple solutions to an encountered problem. This gives rise to the so-called mixing problem: since all of these "valid" states represent powerful attractors, but between themselves can be very dissimilar, switching between such states can be difficult. We propose that cortical oscillations can be effectively used to overcome this challenge. By acting as an effective temperature, background spiking activity modulates exploration. Rhythmic changes induced by cortical oscillations can then be interpreted as a form of simulated tempering. We provide a rigorous mathematical discussion of this link and study some of its phenomenological implications in computer simulations. This identifies a new computational role of cortical oscillations and connects them to various phenomena in the brain, such as sampling-based probabilistic inference, memory replay, multisensory cue combination, and place cell flickering.


title: Additive Partial Matchings Induced by Persistence Morphisms

abstract: Given a morphism of persistence modules (a.k.a. persistence morphism) $f : V \rightarrow U$, we introduce a novel operator that determines a partial matching between the barcodes of $V$ and $U$ induced by $f$. We show that the proposed operator is additive with respect to the direct sum of persistence morphisms, and that it contains more information than $f V$ and the rank invariant. We also illustrate some advantages of using our induced partial matching over the Bauer-Lesnick partial matching $\chi_f$. Lastly, we provide a family of persistence morphisms that contain modules built from Morse filtrations, for which $\chi_f$, the rank invariant and our proposed induced partial matching are equivalent.


title: Origin of large meteoritic SiC stardust grains in metal-rich AGB stars

abstract: Stardust grains that originated in ancient stars and supernovae are recovered from meteorites and carry the detailed composition of their astronomical sites of origin. We present evidence that the majority of large ($\mu$m-sized) meteoritic silicon carbide (SiC) grains formed in C-rich asymptotic giant branch (AGB) stars that were more metal-rich than the Sun. In the framework of the slow neutron-captures (the s process) that occurs in AGB stars the lower-than-solar 88Sr/86Sr isotopic ratios measured in the large SiC grains can only be accompanied by Ce/Y elemental ratios that are also lower than solar, and predominately observed in metal-rich barium stars - the binary companions of AGB stars. Such an origin suggests that these large grains represent the material from high-metallicity AGB stars needed to explain the s-process nucleosynthesis variations observed in bulk meteorites (Ek et al. 2020). In the outflows of metal-rich, C-rich AGB stars SiC grains are predicted to be small ($\simeq$ 0.2 $\mu$m-sized); large ($\simeq$ $\mu$m-sized) SiC grains can grow if the number of dust seeds is two to three orders of magnitude lower than the standard value of $10^{-13}$ times the number of H atoms. We therefore predict that with increasing metallicity the number of dust seeds might decrease, resulting in the production of larger SiC grains.


title: A free Lie algebra approach to curvature corrections to flat space-time

abstract: We investigate a systematic approach to include curvature corrections to the isometry algebra of flat space-time order-by-order in the curvature scale. The Poincar\'e algebra is extended to a free Lie algebra, with generalised boosts and translations that no longer commute. The additional generators satisfy a level-ordering and encode the curvature corrections at that order. This eventually results in an infinite-dimensional algebra that we refer to as Poincar\'e${}_\infty$, and we show that it contains among others an (A)dS quotient. We discuss a non-linear realisation of this infinite-dimensional algebra, and construct a particle action based on it. The latter yields a geodesic equation that includes (A)dS curvature corrections at every order.


title: Analyzing the Real-World Applicability of DGA Classifiers

abstract: Separating benign domains from domains generated by DGAs with the help of a binary classifier is a well-studied problem for which promising performance results have been published. The corresponding multiclass task of determining the exact DGA that generated a domain enabling targeted remediation measures is less well studied. Selecting the most promising classifier for these tasks in practice raises a number of questions that have not been addressed in prior work so far. These include the questions on which traffic to train in which network and when, just as well as how to assess robustness against adversarial attacks. Moreover, it is unclear which features lead a classifier to a decision and whether the classifiers are real-time capable. In this paper, we address these issues and thus contribute to bringing DGA detection classifiers closer to practical use. In this context, we propose one novel classifier based on residual neural networks for each of the two tasks and extensively evaluate them as well as previously proposed classifiers in a unified setting. We not only evaluate their classification performance but also compare them with respect to explainability, robustness, and training and classification speed. Finally, we show that our newly proposed binary classifier generalizes well to other networks, is time-robust, and able to identify previously unknown DGAs.


title: On subgroup perfect codes in Cayley graphs

abstract: A perfect code in a graph $\Gamma = (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if there exists a Cayley graph of $G$ which admits $H$ as a perfect code. Equivalently, $H$ is a subgroup perfect code of $G$ if there exists an inverse-closed subset $A$ of $G$ containing the identity element such that $(A, H)$ is a tiling of $G$ in the sense that every element of $G$ can be uniquely expressed as the product of an element of $A$ and an element of $H$. In this paper we obtain multiple results on subgroup perfect codes of finite groups, including a few necessary and sufficient conditions for a subgroup of a finite group to be a subgroup perfect code, a few results involving $2$-subgroups in the study of subgroup perfect codes, and several results on subgroup perfect codes of metabelian groups, generalized dihedral groups, nilpotent groups and $2$-groups.


title: Classifier uncertainty: evidence, potential impact, and probabilistic treatment

abstract: Classifiers are often tested on relatively small data sets, which should lead to uncertain performance metrics. Nevertheless, these metrics are usually taken at face value. We present an approach to quantify the uncertainty of classification performance metrics, based on a probability model of the confusion matrix. Application of our approach to classifiers from the scientific literature and a classification competition shows that uncertainties can be surprisingly large and limit performance evaluation. In fact, some published classifiers are likely to be misleading. The application of our approach is simple and requires only the confusion matrix. It is agnostic of the underlying classifier. Our method can also be used for the estimation of sample sizes that achieve a desired precision of a performance metric.


title: Fast generation of Gaussian random fields for direct numerical simulations of stochastic transport

abstract: We propose a novel discrete method of constructing Gaussian Random Fields (GRF) based on a combination of modified spectral representations, Fourier and Blob. The method is intended for Direct Numerical Simulations of the V-Langevin equations. The latter are stereotypical descriptions of anomalous stochastic transport in various physical systems. From an Eulerian perspective, our method is designed to exhibit improved convergence rates. From a Lagrangian perspective, our method others a pertinent description of particle trajectories in turbulent velocity fields: the exact Lagrangian invariant laws are well reproduced. From a computational perspective, our method is twice as fast as standard numerical representations.


title: Orbital Magnetic Moment of Magnons

abstract: In experiments and applications usually the spin magnetic moment of magnons is considered. In this Paper we identify an additional degree of freedom of magnons: an \emph{orbital} magnetic moment brought about by spin-orbit coupling.Our microscopic theory uncovers that spin magnetization $\vec{M}^\mathrm{S}$ and orbital magnetization $\vec{M}^\mathrm{O}$ are independent quantities. They are not necessarily collinear; thus, even when the total spin moment is compensated due to antiferromagnetism ($\vec{M}^\mathrm{S} = \vec{0}$), $\vec{M}^\mathrm{O}$ may be nonzero. This scenario of orbital weak ferromagnetism is realized in paradigmatic kagome antiferromagnets with Dzyaloshinskii-Moriya interaction. We demonstrate that magnets exhibiting a magnonic orbital moment are omnipresent and propose transport experiments for probing it.


title: A Reinforcement Learning Approach for Transient Control of Liquid Rocket Engines

abstract: Nowadays, liquid rocket engines use closed-loop control at most near steady operating conditions. The control of the transient phases is traditionally performed in open-loop due to highly nonlinear system dynamics. This situation is unsatisfactory, in particular for reusable engines. The open-loop control system cannot provide optimal engine performance due to external disturbances or the degeneration of engine components over time. In this paper, we study a deep reinforcement learning approach for optimal control of a generic gas-generator engine's continuous start-up phase. It is shown that the learned policy can reach different steady-state operating points and convincingly adapt to changing system parameters. A quantitative comparison with carefully tuned open-loop sequences and PID controllers is included. The deep reinforcement learning controller achieves the highest performance and requires only minimal computational effort to calculate the control action, which is a big advantage over approaches that require online optimization, such as model predictive control. control.


title: Extracting Topics from Open Educational Resources

abstract: In recent years, Open Educational Resources (OERs) were earmarked as critical when mitigating the increasing need for education globally. Obviously, OERs have high-potential to satisfy learners in many different circumstances, as they are available in a wide range of contexts. However, the low-quality of OER metadata, in general, is one of the main reasons behind the lack of personalised services such as search and recommendation. As a result, the applicability of OERs remains limited. Nevertheless, OER metadata about covered topics (subjects) is essentially required by learners to build effective learning pathways towards their individual learning objectives. Therefore, in this paper, we report on a work in progress project proposing an OER topic extraction approach, applying text mining techniques, to generate high-quality OER metadata about topic distribution. This is done by: 1) collecting 123 lectures from Coursera and Khan Academy in the area of data science related skills, 2) applying Latent Dirichlet Allocation (LDA) on the collected resources in order to extract existing topics related to these skills, and 3) defining topic distributions covered by a particular OER. To evaluate our model, we used the data-set of educational resources from Youtube, and compared our topic distribution results with their manually defined target topics with the help of 3 experts in the area of data science. As a result, our model extracted topics with 79% of F1-score.


title: Evidence for top quark production in nucleus-nucleus collisions

abstract: Ultrarelativistic heavy ion collisions recreate in the laboratory the thermodynamical conditions prevailing in the early universe up to 10$^{-6}$ seconds, thereby allowing the study of the quark-gluon plasma (QGP), a state of quantum chromodynamics (QCD) matter with deconfined partons. The top quark, the heaviest elementary particle known, is accessible in nucleus-nucleus collisions at the CERN LHC, and constitutes a novel probe of the QGP. Here, we report the first-ever evidence for the production of top quarks in nucleus-nucleus collisions, using lead-lead collision data at a nucleon-nucleon centre-of-mass energy of 5.02 TeV recorded by the CMS experiment. Two methods are used to measure the cross section for top quark pair production ($\sigma_\mathrm{t\bar{t}}$) via the decay into charged leptons (electrons or muons) and bottom quarks. One method relies on the leptonic information alone, and the second one exploits, in addition, the presence of bottom quarks. The measured cross sections, $\sigma_\mathrm{t\bar{t}} = $ 2.54 $^{+0.84}_{-0.74}$ and 2.03 $^{+0.71}_{-0.64}$ $\mu$b, respectively, are compatible with expectations from scaled proton-proton data and QCD predictions.


title: Fuzzy Dark Matter and Dark Matter Halo Cores

abstract: Whereas cold dark matter (CDM) simulations predict central dark matter cusps with densities that diverge as $\rho$(r)$\sim$ 1/r observations often indicate constant density cores with finite central densities $\rho_0$ and a flat density distribution within a core radius r$_0$. This paper investigates whether this core-cusp problem can be solved by fuzzy dark matter (FDM), a hypothetical particle with a mass of order m$\approx$10$^{-22}$eV and a corresponding de Broglie wavelength on astrophysical scales. We show that galaxies with CDM halo virial masses M$_{vir} \leq 10^{11}$M$_{\odot}$ follow two core scaling relations. In addition to the well known universal core column density $\Sigma_0 \equiv \rho_0 \times$r$_0$ = 75 M$_{\odot}$pc$^{-2}$ core radii increase with virial masses as r$_0 \sim$ M$_{vir}^{\gamma}$ with $\gamma$ of order unity. Using the simulations by Schive et al. (2014) we demonstrate that FDM can explain the r$_0$-M$_{vir}$ scaling relation if the virial masses of the observed galaxy sample scale with formation redshift z as M$_{vir}\sim$(1+z)$^{-0.4}$. The observed constant $\Sigma_0$ is however in complete disagreement with FDM cores which are characterised by a steep dependence $\Sigma_0 \sim$r$_0^{-3}$, independent of z. More high-resolution simulations are now required to confirm the Schive et al. simulations and explore especially the transition region between the soliton core and the surrounding halo. If these results hold, FDM can be ruled out as the origin of observed dark matter cores and other physical processes are required to account for their formation.


title: Partial Extended Observability Certification and Optimal Design of Moving Horizon Estimators Under Uncertainties

abstract: This paper addresses the observability analysis and the optimal design of observation parameters in the presence of noisy measurements and parametric uncertainties. The main underlying frameworks are the nonlinear constrained moving horizon estimator design and the probabilistic certification via randomized optimization. As the perfect observability concept is not relevant under the considered uncertain and noisy context, the notion of almost $\epsilon$-observability is introduced and a systematic procedure to assess its satisfaction for a given system with a priori known measurement noise statistics and parameter discrepancy is sketched. A nice feature in the proposed framework is that the observability is not necessarily defined as the ability to reconstruct the whole state, rather, the more general concept of observation-target quantities is used so that one can analyze the precision with which specific chosen expressions of the state and the parameters can be reconstructed. The overall framework is exposed and validated through an illustrative example.


title: Artificial Buildings: Safety, Complexity and a Quantifiable Measure of Beauty

abstract: A place to live is one of the most crucial necessities for all living organisms since the advent of life on planet Earth. The nature of homes has changed considerably over time. At the very early stages, human begins lived in natural places such as caves. Later on, they started to use their intelligence to build places with special purposes. Nowadays, modern technologies such as robotics and artificial intelligence have made their ways into the construction process and opened up a whole new area of opportunities and concerns that may be of interest to both technologists and philosophers. In this article, I review the evolution of buildings from fully natural to fully artificial and discuss philosophical thoughts that a fully automated construction technology may raise. I elaborate on the safety concerns of a fully automated architectural process. Then, I'll borrow Kolmogorov complexity from algorithmic information theory to define a complexity measure for buildings. The proposed measure is then used to provide a quantifiable measure of beauty.


title: High-Temperature Oxidation Kinetics of Additively Manufactured NiTiHf

abstract: NiTi-based high-temperature shape memory alloys (HTSMAs) such as NiTiHf have been utilized in a broad range of applications due to their high strength and work output, as well as, their ability to increase the transformation temperatures (TTs). Recently, additive manufacturing techniques (AM) have been widely used to fabricate complex shape memory alloy components without any major modifications or tooling and has paved the way to tailor the manufacturing and fabrications of microstructure and critical properties of their final parts. NiTi alloys properties such as transformation temperatures can be significantly altered due to oxidation, which can occur during the manufacturing process or post-processing. In this work, the oxidation behavior of Ni-rich NiTi20Hf shape memory alloys, which was fabricated by the selective laser melting (SLM) method, is evaluated. Thermogravimetric analysis (TGA) is used to assess the kinetic behavior of the oxidation at different temperature ranges of 500, 700, and 900 C for 20 hours in the air. After oxidation, to evaluate the microstructure and chemical composition X-ray diffraction (XRD), scanning electron microscopy (SEM), and energy-dispersive X-ray spectroscopy (EDS) was conducted. The isothermal oxidation kinetics of conventional NiTi20Hf alloys were studied, and the results were compared to AM samples. Results show a two-stage oxidation rate at which oxidation increased with the high rate at the initial stage. As the oxidation time increased, the oxidation rate gradually decreased. The oxidation behavior of NiTiHf alloys initially obeyed logarithmic rate law and then followed by parabolic rate law. SEM results showed the formation of a multi-layered oxide scale, including TiO2, NiTiO3, and Hf oxide.


title: Moment method as a numerical solver: Challenge from shock structure problems

abstract: We survey a number of moment hierarchies and test their performances in computing one-dimensional shock structures. It is found that for high Mach numbers, the moment hierarchies are either computationally expensive or hard to converge, making these methods questionable for the simulation of highly non-equilibrium flows. By examining the convergence issue of Grad's moment methods, we propose a new moment hierarchy to bridge the hydrodynamic models and the kinetic equation, allowing nonlinear moment methods to be used as a numerical tool to discretize the velocity space for high-speed flows. For the case of one-dimensional velocity, the method is formulated for odd number of moments, and it can be extended seamlessly to the three-dimensional case. Numerical tests show that the method is capable of predicting shock structures with high Mach numbers accurately, and the results converge to the solution of the Boltzmann equation as the number of moments increases. Some applications beyond the shock structure problem are also considered, indicating that the proposed method is suitable for the computation of transitional flows.


title: How Does Momentum Help Frank Wolfe?

abstract: We unveil the connections between Frank Wolfe (FW) type algorithms and the momentum in Accelerated Gradient Methods (AGM). On the negative side, these connections illustrate why momentum is unlikely to be effective for FW type algorithms. The encouraging message behind this link, on the other hand, is that momentum is useful for FW on a class of problems. In particular, we prove that a momentum variant of FW, that we term accelerated Frank Wolfe (AFW), converges with a faster rate $\tilde{\cal O}(\frac{1}{k^2})$ on certain constraint sets despite the same ${\cal O}(\frac{1}{k})$ rate as FW on general cases. Given the possible acceleration of AFW at almost no extra cost, it is thus a competitive alternative to FW. Numerical experiments on benchmarked machine learning tasks further validate our theoretical findings.


title: A machine learning-based method for estimating the number and orientations of major fascicles in diffusion-weighted magnetic resonance imaging

abstract: Multi-compartment modeling of diffusion-weighted magnetic resonance imaging measurements is necessary for accurate brain connectivity analysis. Existing methods for estimating the number and orientations of fascicles in an imaging voxel either depend on non-convex optimization techniques that are sensitive to initialization and measurement noise, or are prone to predicting spurious fascicles. In this paper, we propose a machine learning-based technique that can accurately estimate the number and orientations of fascicles in a voxel. Our method can be trained with either simulated or real diffusion-weighted imaging data. Our method estimates the angle to the closest fascicle for each direction in a set of discrete directions uniformly spread on the unit sphere. This information is then processed to extract the number and orientations of fascicles in a voxel. On realistic simulated phantom data with known ground truth, our method predicts the number and orientations of crossing fascicles more accurately than several existing methods. It also leads to more accurate tractography. On real data, our method is better than or compares favorably with standard methods in terms of robustness to measurement down-sampling and also in terms of expert quality assessment of tractography results.


title: Graph Pooling with Node Proximity for Hierarchical Representation Learning

abstract: Graph neural networks have attracted wide attentions to enable representation learning of graph data in recent works. In complement to graph convolution operators, graph pooling is crucial for extracting hierarchical representation of graph data. However, most recent graph pooling methods still fail to efficiently exploit the geometry of graph data. In this paper, we propose a novel graph pooling strategy that leverages node proximity to improve the hierarchical representation learning of graph data with their multi-hop topology. Node proximity is obtained by harmonizing the kernel representation of topology information and node features. Implicit structure-aware kernel representation of topology information allows efficient graph pooling without explicit eigendecomposition of the graph Laplacian. Similarities of node signals are adaptively evaluated with the combination of the affine transformation and kernel trick using the Gaussian RBF function. Experimental results demonstrate that the proposed graph pooling strategy is able to achieve state-of-the-art performance on a collection of public graph classification benchmark datasets.


title: Manifold Feature Index: A novel index based on high-dimensional data simplification

abstract: In this paper, we propose a novel stock index model, namely the manifold feature(MF) index, to reflect the overall price activity of the entire stock market. Based on the theory of manifold learning, the researched stock dataset is assumed to be a low-dimensional manifold embedded in a higher-dimensional Euclidean space. After data preprocessing, its manifold structure and discrete Laplace-Beltrami operator(LBO) matrix are constructed. We propose a high-dimensional data feature detection method to detect feature points on the eigenvectors of LBO, and the stocks corresponding to these feature points are considered as the constituent stocks of the MF index. Finally, the MF index is generated by a weighted formula using the price and market capitalization of these constituents. The stock market studied in this research is the Shanghai Stock Exchange(SSE). We propose four metrics to compare the MF index series and the SSE index series (SSE 50, SSE 100, SSE 150, SSE 180 and SSE 380). From the perspective of data approximation, the results demonstrate that our indexes are closer to the stock market than the SSE index series. From the perspective of risk premium, MF indexes have higher stability and lower risk.


title: From Discrete to Continuous Convolution Layers

abstract: A basic operation in Convolutional Neural Networks (CNNs) is spatial resizing of feature maps. This is done either by strided convolution (donwscaling) or transposed convolution (upscaling). Such operations are limited to a fixed filter moving at predetermined integer steps (strides). Spatial sizes of consecutive layers are related by integer scale factors, predetermined at architectural design, and remain fixed throughout training and inference time. We propose a generalization of the common Conv-layer, from a discrete layer to a Continuous Convolution (CC) Layer. CC Layers naturally extend Conv-layers by representing the filter as a learned continuous function over sub-pixel coordinates. This allows learnable and principled resizing of feature maps, to any size, dynamically and consistently across scales. Once trained, the CC layer can be used to output any scale/size chosen at inference time. The scale can be non-integer and differ between the axes. CC gives rise to new freedoms for architectural design, such as dynamic layer shapes at inference time, or gradual architectures where the size changes by a small factor at each layer. This gives rise to many desired CNN properties, new architectural design capabilities, and useful applications. We further show that current Conv-layers suffer from inherent misalignments, which are ameliorated by CC layers.


title: A strong neutron burst in jet-like supernovae of spinstars

abstract: Some metal-poor stars have abundance patterns which are midway between the slow (s) and rapid (r) neutron capture processes. We show that the helium shell of a fast rotating massive star experiencing a jet-like explosion undergoes two efficient neutron capture processes: one during stellar evolution and one during the explosion. It eventually provides a material whose chemical composition is midway between the s- and r-process. A low metallicity 40~$M_{\odot}$ model with an initial rotational velocity of $\sim 700$~km~s$^{-1}$ was computed from birth to pre-supernova with a nuclear network following the slow neutron capture process. A 2D hydrodynamic relativistic code was used to model a $E = 10^{52}$~erg relativistic jet-like explosion hitting the stellar mantle. The jet-induced nucleosynthesis was calculated in post-processing with a network of 1812 nuclei. During the star's life, heavy elements from $30 \lesssim Z \lesssim 82$ are produced thanks to an efficient s-process, which is boosted by rotation. At the end of evolution, the helium shell is largely enriched in trans-iron elements and in (unburnt) $^{22}$Ne, whose abundance is $\sim 20$ times higher than in a non-rotating model. During the explosion, the jet heats the helium shell up to $\sim 1.5$ GK. It efficiently activates ($\alpha,n$) reactions, such as $^{22}$Ne($\alpha,n$), and leads to a strong n-process with neutron densities of $\sim 10^{19} - 10^{20}$~cm$^{-3}$ during $0.1$~second. This has the effect of shifting the s-process pattern towards heavier elements (e.g. Eu). The resulting chemical pattern is consistent with the abundances of the carbon-enhanced metal-poor r/s star CS29528-028, provided the ejecta of the jet model is not homogeneously mixed. This is a new astrophysical site which can explain at least some of the metal-poor stars showing abundance patterns midway between the s- and r-process.


title: A general framework for defining and optimizing robustness

abstract: Robustness of neural networks has recently attracted a great amount of interest. The many investigations in this area lack a precise common foundation of robustness concepts. Therefore, in this paper, we propose a rigorous and flexible framework for defining different types of robustness properties for classifiers. Our robustness concept is based on postulates that robustness of a classifier should be considered as a property that is independent of accuracy, and that it should be defined in purely mathematical terms without reliance on algorithmic procedures for its measurement. We develop a very general robustness framework that is applicable to any type of classification model, and that encompasses relevant robustness concepts for investigations ranging from safety against adversarial attacks to transferability of models to new domains. For two prototypical, distinct robustness objectives we then propose new learning approaches based on neural network co-training strategies for obtaining image classifiers optimized for these respective objectives.


title: Notion of information and independent component analysis

abstract: Partial orderings and measures of information for continuous univariate random variables with special roles of Gaussian and uniform distributions are discussed. The information measures and measures of non-Gaussianity including third and fourth cumulants are generally used as projection indices in the projection pursuit approach for the independent component analysis. The connections between information, non-Gaussianity and statistical independence in the context of independent component analysis is discussed in detail.


title: Local collection scheme and end-extensions of models of compositional truth

abstract: We introduce a principle of local collection for compositional truth predicates and show that it is conservative over the classically compositional theory of truth in the arithmetical setting. This axiom states that upon restriction to formulae of any syntactic complexity, the resulting predicate satisfies full collection. In particular, arguments using collection for the truth predicate applied to sentences occurring in any given (code of a) proof do not suffice to show that the conclusion of that proof is true, in stark contrast to the case of induction scheme. We analyse various further results concerning end-extensions of models of compositional truth and the collection scheme for the compositional truth predicate.


title: Constraining the spacetime spin using time delay in stationary axisymmetric spacetimes

abstract: Total travel time $t$ and time delay $\Delta t$ between images of gravitational lensing (GL) in the equatorial plane of stationary axisymmetric (SAS) spacetimes for null and timelike signals with arbitrary velocity are studied. Using a perturbative method in the weak field limit, $t$ in general SAS spacetimes is expressed as a quasi-series of the impact parameter $b$ with coefficients involving the source-lens distance $r_s$ and lens-detector distances $r_d$, signal velocity $v$, and asymptotic expansion coefficients of the metric functions. The time delay $\Delta t$ to the leading order(s) were shown to be determined by the spacetime mass $M$, spin angular momentum $a$ and post-Newtonian parameter $\gamma$, and kinematic variables $r_s,~r_d,~v$ and source angular position $\beta$. When $\beta\ll \sqrt{aM}/r_{s,d}$, $\Delta t$ is dominated by the contribution linear to spin $a$. Modeling the Sgr A* supermassive black hole as a Kerr-Newman black hole, we show that as long as $\beta\lesssim 1.5\times 10^{-5}$ [$^{\prime\prime}$], then $\Delta t$ will be able to reach the $\mathcal{O}(1)$ second level, which is well within the time resolution of current GRB, gravitational wave and neutrino observatories. Therefore measuring $\Delta t$ in GL of these signals will allow us to constrain the spin of the Sgr A*.


title: Robustness of Pisot-regular sequences

abstract: We consider numeration systems based on a $d$-tuple $\mathbf{U}=(U_1,\ldots,U_d)$ of sequences of integers and we define $(\mathbf{U},\mathbb{K})$-regular sequences through $\mathbb{K}$-recognizable formal series, where $\mathbb{K}$ is any semiring. We show that, for any $d$-tuple $\mathbf{U}$ of Pisot numeration systems and any commutative semiring $\mathbb{K}$, this definition does not depend on the greediness of the $\mathbf{U}$-representations of integers. The proof is constructive and is based on the fact that the normalization is realizable by a $2d$-tape finite automaton. In particular, we use an ad hoc operation mixing a $2d$-tape automaton and a $\mathbb{K}$-automaton in order to obtain a new $\mathbb{K}$-automaton.


title: Formation of Complex Organic Molecules in Cold Interstellar Environments through non-diffusive grain-surface and ice-mantle chemistry

abstract: A prevailing theory for the interstellar production of complex organic molecules (COMs) involves formation on warm dust-grain surfaces, via the diffusion and reaction of radicals produced through grain-surface photodissociation of stable molecules. However, some gas-phase O-bearing COMs, notably acetaldehyde(CH$_3$CHO), methyl formate(CH$_3$OCHO), and dimethyl ether(CH$_3$OCH$_3$), are now observed at very low temperatures, challenging the warm scenario. Here, we introduce a selection of new non-diffusive mechanisms into an astrochemical model, to account for the failure of the standard diffusive picture and to provide a more generalized scenario of COM formation on interstellar grains. New generic rate formulations are provided for cases where: (i) radicals are formed by reactions occurring close to another reactant, producing an immediate follow-on reaction; (ii) radicals are formed in an excited state, allowing them to overcome activation barriers to react with nearby stable molecules; (iii) radicals are formed through photo-dissociation close to a reaction partner, followed by immediate reaction. Each process occurs without the diffusion of large radicals. The new mechanisms significantly enhance cold COM abundances, successfully reproducing key observational results for prestellar core L1544. H-abstraction from grain-surface COMs, followed by recombination, plays a crucial role in amplifying chemical desorption into the gas phase. The UV-induced chemistry produces significant COM abundances in the bulk ices, which are retained on the grains and may persist to later stages. O$_2$ is also formed strongly in the mantle though photolysis, suggesting cometary O$_2$ could indeed be interstellar.


title: Large Deviations for Markov jump processes in periodic and locally periodic environments

abstract: The paper deals with a family of jump Markov process defined in a medium with a periodic or locally periodic microstructure. We assume that the generator of the process is a zero order convolution type operator with rapidly oscillating locally periodic coefficient and, under natural ellipticity and localization conditions, show that the family satisfies the large deviation principle in the path space equipped with Skorokhod topology. The corresponding rate function is defined in terms of a family of auxiliary periodic spectral problems.


title: All you can stream: Investigating the role of user behavior for greenhouse gas intensity of video streaming

abstract: The information and communication technology sector reportedly has a relevant impact on the environment. Within this sector, video streaming has been identified as a major driver of CO2-emissions. To make streaming more sustainable, environmentally relevant factors must be identified on both the user and the provider side. Hence, environmental assessments, like life cycle assessments (LCA), need to broaden their perspective from a mere technological to one that includes user decisions and behavior. However, quantitative data on user behavior (e.g. streaming duration, choice of end device and resolution) are often lacking or difficult to integrate in LCA. Additionally, identifying relevant determinants of user behavior, such as the design of streaming platforms or user motivations, may help to design streaming services that keep environmental impact at a passable level. In order to carry out assessments in such a way, interdisciplinary collaboration is necessary. Therefore, this exploratory study combined LCA with an online survey (N= 91, 7 consecutive days of assessment). Based on this dataset the use phase of online video streaming was modeled. Additionally, factors such as sociodemographic, motivational and contextual determinants were measured. Results show that CO2-intensity of video streaming depends on several factors. It is shown that for climate intensity there is a factor 10 between choosing a smart TV and smartphone for video streaming. Furthermore, results show that some factors can be tackled from provider side to reduce overall energy demand at the user side; one of which is setting a low resolution as default.


title: Systematic Attack Surface Reduction For Deployed Sentiment Analysis Models

abstract: This work proposes a structured approach to baselining a model, identifying attack vectors, and securing the machine learning models after deployment. This method for securing each model post deployment is called the BAD (Build, Attack, and Defend) Architecture. Two implementations of the BAD architecture are evaluated to quantify the adversarial life cycle for a black box Sentiment Analysis system. As a challenging diagnostic, the Jigsaw Toxic Bias dataset is selected as the baseline in our performance tool. Each implementation of the architecture will build a baseline performance report, attack a common weakness, and defend the incoming attack. As an important note: each attack surface demonstrated in this work is detectable and preventable. The goal is to demonstrate a viable methodology for securing a machine learning model in a production setting.


title: Generalization of Sz\'{a}sz operators involving multiple Sheffer polynomials

abstract: The present work deals with the mathematical investigation of some generalizations of the Sz\'{a}sz operators. In this work, the multiple Sheffer polynomials are introduced. The generalization of Sz\'{a}sz operators involving multiple Sheffer polynomials are considered. Convergence properties of these operators are verified with the help of the universal Korovkin-type property and the order of approximation is calculated by using classical modulus of continuity. The theoretical results are exemplified choosing the special cases of multiple Sheffer polynomials.


title: Deep Transformation-Invariant Clustering

abstract: Recent advances in image clustering typically focus on learning better deep representations. In contrast, we present an orthogonal approach that does not rely on abstract features but instead learns to predict image transformations and performs clustering directly in image space. This learning process naturally fits in the gradient-based training of K-means and Gaussian mixture model, without requiring any additional loss or hyper-parameters. It leads us to two new deep transformation-invariant clustering frameworks, which jointly learn prototypes and transformations. More specifically, we use deep learning modules that enable us to resolve invariance to spatial, color and morphological transformations. Our approach is conceptually simple and comes with several advantages, including the possibility to easily adapt the desired invariance to the task and a strong interpretability of both cluster centers and assignments to clusters. We demonstrate that our novel approach yields competitive and highly promising results on standard image clustering benchmarks. Finally, we showcase its robustness and the advantages of its improved interpretability by visualizing clustering results over real photograph collections.


title: Spatiotemporal Dynamics of Self-Similar Parabolic Pulse Evolution in Multimode Fibers

abstract: In this paper, we investigate for the first time, the spatiotemporal dynamics of self-similar parabolic pulse evolution in multimode fibers (MMFs). We present numerical predictions of the existence of parabolic pulse in a graded and step index MMFs and demonstrate that the parabolic pulse formation process could have a prominent effect on the spatiotemporal behavior in both fibers. We study the effect of the input pulse energy and its initial modal composition on the resulting parabolic pulse and the corresponding spatial beam profile. When the fundamental mode is mostly excited, the pulse evolves into a linearly chirped pulse with parabolic intensity shape that propagates self-similarly in both fibers.This allows for efficient and high-quality pulse compression with sub-40 fs pulse duration. Dependence on input pulse shapes, its chirp parameter and sign towards conversion into parabolic shape are also reported. We quantify the reshaping of the parabolic pulse using the misfit parameter. We demonstrate a route to the parabolic pulse evolutions for all modes equal energy distributed initial condition. In addition, we also observe that the beam profiles of output fields could be different for same MMF with different initial pulse energy. Moreover, a spatiotemporal nonlinear dynamic, auto-selection beam of one specific mode is investigated. Thus remain spatio-temporally stable for more than a decade of the input pulse energy variation. Parabolic pulse formation process plays critical roles in these nonlinear dynamics. This approach provides another framework to understand the complex nonlinear dynamics in MMFs.


title: On affirmative solution to Michael's acclaimed problem in the theory of Fr\'{e}chet algebras, with applications to automatic continuity theory

abstract: In 1952, Michael posed a question about the functional continuity of commutative Frechet algebras in his memoir, known as Michael problem in the literature. We settle this in the affirmative along with its various equivalent forms, even for the non-commutative case. Indeed, we continue our recent works, and develop two approaches to directly attack these problems. The first approach is to show that the test case for this problem, the Frechet algebra of all entire functions on the Banach space of all bounded complex sequences, is, in fact, a Frechet algebra of all complex formal power series in one indeterminate, if there exists a discontinuous character. In the second approach, the existence of a discontinuous character would allow us to generate other Frechet algebra topology, inequivalent to the usual Frechet algebra topology, by applying the method of Read (he used this method to show that the famous Singer-Wermer conjecture (1955) fails in the Frechet case). In both the approaches, an important tool is a topological version of the (symmetric) tensor algebra over a Banach space; the elementary, but crucial, idea is to express the test algebra as a weighted Frechet symmetric algebra over the Banach space of all absolutely summable complex sequences. Several mathematicians have worked on two problems of Michael since 1952, giving affirmative solutions for special classes of Frechet algebras under various conditions, or discussing various test cases, or discussing various approaches, or discussing various other equivalent forms, or deriving other important automatic continuity results such as the (non-)uniqueness of the Frechet algebra topology for certain commutative Frechet algebras by alternate, difficult or lengthy methods. We summarize effects of our affirmative solutions on these attempts in addition to giving various new (important) applications in automatic continuity theory.


title: Exploratory Landscape Analysis is Strongly Sensitive to the Sampling Strategy

abstract: Exploratory landscape analysis (ELA) supports supervised learning approaches for automated algorithm selection and configuration by providing sets of features that quantify the most relevant characteristics of the optimization problem at hand. In black-box optimization, where an explicit problem representation is not available, the feature values need to be approximated from a small number of sample points. In practice, uniformly sampled random point sets and Latin hypercube constructions are commonly used sampling strategies. In this work, we analyze how the sampling method and the sample size influence the quality of the feature value approximations and how this quality impacts the accuracy of a standard classification task. While, not unexpectedly, increasing the number of sample points gives more robust estimates for the feature values, to our surprise we find that the feature value approximations for different sampling strategies do not converge to the same value. This implies that approximated feature values cannot be interpreted independently of the underlying sampling strategy. As our classification experiments show, this also implies that the feature approximations used for training a classifier must stem from the same sampling strategy as those used for the actual classification tasks. As a side result we show that classifiers trained with feature values approximated by Sobol' sequences achieve higher accuracy than any of the standard sampling techniques. This may indicate improvement potential for ELA-trained machine learning models.


title: Reconfigurable Intelligent Surfaces and Metamaterials: The Potential of Wave Propagation Control for 6G Wireless Communications

abstract: The future 6G of wireless communication networks will have to meet multiple requirements in increasingly demanding levels, either individually or in combinations in small groups. This trend has spurred recent research activities on transceiver hardware architectures and novel wireless connectivity concepts. Among the emerging wireless hardware architectures belong the Reconfigurable Intelligent Surfaces (RISs), which are artificial planar structures with integrated electronic circuits that can be programmed to manipulate an incoming ElectroMagnetic (EM) field in a wide variety of functionalities. Incorporating RISs in wireless networks has been recently advocated as a revolutionary means to transform any naturally passive wireless communication environment to an active one. This can be accomplished by deploying cost-effective and easy to coat RISs to the environment's objects (e.g., building facades and indoor walls/ceilings), thus, offering increased environmental intelligence for the scope of diverse wireless networking objectives. In this paper, we first provide a brief history on wave propagation control for optics and acoustics, and overview two representative indoor wireless trials at 2.47GHz for spatial EM modulation with a passive discrete RIS. The first trial dating back to 2014 showcases the feasibility of highly accurate spatiotemporal focusing and nulling, while the second very recent one demonstrates that passive RISs can enrich multipath scattering, thus, enabling throughput boosted communication links. Motivated by the late research excitement on the RIS potential for intelligent EM wave propagation modulation, we describe the status on RIS hardware architectures and present key open challenges and future research directions for RIS design and RIS-empowered 6G wireless communications.


title: Certified Randomness from Remote State Preparation Dimension Witness

abstract: Randomness in Bell test data can be device-independently certified by Bell's theorem without placing assumptions about the experimental devices. The device-independent randomness has very demanding requirement about the experimental devices and relatively lower output randomness. With the same Bell test data we can extract substantially more randomness without using Bell's theorem. To achieve this goal, we introduce a remote state preparation dimension witness and a semi-device-independent randomness certification model which is based on it. This is one important step towards practical use of Bell test in randomness generation.


title: New Vietnamese Corpus for Machine Reading Comprehension of Health News Articles

abstract: Large-scale and high-quality corpora are necessary for evaluating machine reading comprehension models on a low-resource language like Vietnamese. Besides, machine reading comprehension (MRC) for the health domain offers great potential for practical applications; however, there is still very little MRC research in this domain. This paper presents ViNewsQA as a new corpus for the Vietnamese language to evaluate healthcare reading comprehension models. The corpus comprises 22,057 human-generated question-answer pairs. Crowd-workers create the questions and their answers based on a collection of over 4,416 online Vietnamese healthcare news articles, where the answers comprise spans extracted from the corresponding articles. In particular, we develop a process of creating a corpus for the Vietnamese machine reading comprehension. Comprehensive evaluations demonstrate that our corpus requires abilities beyond simple reasoning, such as word matching and demanding difficult reasoning based on single-or-multiple-sentence information. We conduct experiments using different types of machine reading comprehension methods to achieve the first baseline performances, compared with further models' performances. We also measure human performance on the corpus and compared it with several powerful neural network-based and transfer learning-based models. Our experiments show that the best machine model is ALBERT, which achieves an exact match score of 65.26% and an F1-score of 84.89% on our corpus. The significant differences between humans and the best-performance model (14.53% of EM and 10.90% of F1-score) on the test set of our corpus indicate that improvements in ViNewsQA could be explored in the future study. Our corpus is publicly available on our website for the research purpose to encourage the research community to make these improvements.


title: Waveform-based Voice Activity Detection Exploiting Fully Convolutional networks with Multi-Branched Encoders

abstract: In this study, we propose an encoder-decoder structured system with fully convolutional networks to implement voice activity detection (VAD) directly on the time-domain waveform. The proposed system processes the input waveform to identify its segments to be either speech or non-speech. This novel waveform-based VAD algorithm, with a short-hand notation "WVAD", has two main particularities. First, as compared to most conventional VAD systems that use spectral features, raw-waveforms employed in WVAD contain more comprehensive information and thus are supposed to facilitate more accurate speech/non-speech predictions. Second, based on the multi-branched architecture, WVAD can be extended by using an ensemble of encoders, referred to as WEVAD, that incorporate multiple attribute information in utterances, and thus can yield better VAD performance for specified acoustic conditions. We evaluated the presented WVAD and WEVAD for the VAD task in two datasets: First, the experiments conducted on AURORA2 reveal that WVAD outperforms many state-of-the-art VAD algorithms. Next, the TMHINT task confirms that through combining multiple attributes in utterances, WEVAD behaves even better than WVAD.


title: Clarity: Machine Learning Challenges to Revolutionise Hearing Device Processing

abstract: In the Clarity project, we will run a series of machine learning challenges to revolutionise speech processing for hearing devices. Over five years, there will be three paired challenges. Each pair will consist of a competition focussed on hearing-device processing ("enhancement") and another focussed on speech perception modelling ("prediction"). The enhancement challenges will deliver new and improved approaches for hearing device signal processing for speech. The parallel prediction challenges will develop and improve methods for predicting speech intelligibility and quality for hearing impaired listeners. This Engineering and Physical Sciences Research Council (EPSRC) funded project involves researchers from the Universities of Sheffield, Salford, Nottingham and Cardiff in conjunction with the Hearing Industry Research Consortium, Action on Hearing Loss, Amazon, and Honda. To register interest in the challenges, go to www.claritychallenge.org.


title: Control of a Rigid Wing Pumping Airborne Wind Energy System in all Operational Phases

abstract: The control design of an airborne wind energy system with rigid aircraft, vertical take-off and landing, and pumping operation is described. A hierarchical control structure is implemented, in order to address all operational phases: take-off, transition to power generation, pumping energy generation cycles, transition to hovering, and landing. Control design at all hierarchical levels is described. The design approach is conceived and developed with real-world applicability as main driver. Aircraft design considerations in light of system maneuverability are presented, too, as well as three possible alternative strategies for the retraction phase of the pumping cycle. The automatic control approach is assessed in simulation with a realistic model of the overall system, and the results yield a comparison among the three retraction strategies, clearly indicating the most efficient one. The presented results allow one to simulate the dynamical behavior of an AWE system in all operational phases, enabling further studies on all-round system automation, towards fully autonomous and reliable operation.


title: On the three-dimensional spatial correlations of curved dislocation systems

abstract: Coarse-grained descriptions of dislocation motion in crystalline metals inherently represent a loss of information regarding dislocation-dislocation interactions. In the present work, we consider a coarse-graining framework capable of re-capturing these interactions by means of the dislocation-dislocation correlation functions. The framework depends on a coarse-graining length to define slip-system-specific dislocation densities. Following a statistical definition of this coarse-graining process, we define a spatial correlation function which will allow relative positions of dislocation pairs, and thus the strength of their interactions at short range, to be recaptured into a mean field description of dislocation dynamics. Through a statistical homogeneity argument, we present a method of evaluating this correlation function from discrete dislocation dynamics simulations. Finally, results of this evaluation are shown in the form of self-correlation of dislocation densities on the same slip-system. These correlation functions are seen to depend weakly on plastic strain (and, in turn, the total dislocation density), but are seen to depend strongly on the coarse-graining length. Implications of these correlation functions in regard to continuum dislocation dynamics as well as future directions of investigation are also discussed.


title: Temperature dependent elastic constants and thermodynamic properties of BAs: an ab-initio investigation

abstract: We present an ab-initio study of the temperature dependent elastic constants of BAs, a semiconductor that exhibits ultra-high thermal conductivity and is under investigation for thermal management in electronics. We test the consistency of our predictions by computing the temperature dependent sound velocity of the longitudinal acoustic mode along the $[111]$ direction and comparing with experiment. Furthermore, as a byproduct, we present the room temperature phonon dispersions, and the temperature dependent thermal expansion, isobaric heat capacity, and average Gr\"{u}neisen parameter comparing with the most updated experiments and previous calculations when available. Finally, we present the theoretical estimate of the temperature dependent mean square atomic displacements.


title: On the Almost Sure Convergence of Stochastic Gradient Descent in Non-Convex Problems

abstract: This paper analyzes the trajectories of stochastic gradient descent (SGD) to help understand the algorithm's convergence properties in non-convex problems. We first show that the sequence of iterates generated by SGD remains bounded and converges with probability $1$ under a very broad range of step-size schedules. Subsequently, going beyond existing positive probability guarantees, we show that SGD avoids strict saddle points/manifolds with probability $1$ for the entire spectrum of step-size policies considered. Finally, we prove that the algorithm's rate of convergence to Hurwicz minimizers is $\mathcal{O}(1/n^{p})$ if the method is employed with a $\Theta(1/n^p)$ step-size schedule. This provides an important guideline for tuning the algorithm's step-size as it suggests that a cool-down phase with a vanishing step-size could lead to faster convergence; we demonstrate this heuristic using ResNet architectures on CIFAR.


title: Latent variable modeling with random features

abstract: Gaussian process-based latent variable models are flexible and theoretically grounded tools for nonlinear dimension reduction, but generalizing to non-Gaussian data likelihoods within this nonlinear framework is statistically challenging. Here, we use random features to develop a family of nonlinear dimension reduction models that are easily extensible to non-Gaussian data likelihoods; we call these random feature latent variable models (RFLVMs). By approximating a nonlinear relationship between the latent space and the observations with a function that is linear with respect to random features, we induce closed-form gradients of the posterior distribution with respect to the latent variable. This allows the RFLVM framework to support computationally tractable nonlinear latent variable models for a variety of data likelihoods in the exponential family without specialized derivations. Our generalized RFLVMs produce results comparable with other state-of-the-art dimension reduction methods on diverse types of data, including neural spike train recordings, images, and text data.


title: Credit migration: Generating generators

abstract: Markovian credit migration models are a reasonably standard tool nowadays, but there are fundamental difficulties with calibrating them. We show how these are resolved using a simplified form of matrix generator and explain why risk-neutral calibration cannot be done without volatility information. We also show how to use elementary ideas from differential geometry to make general inferences about calibration stability. This the longer version of an article published by RISK (Feb 2021).


title: Pupil Center Detection Approaches: A comparative analysis

abstract: In the last decade, the development of technologies and tools for eye tracking has been a constantly growing area. Detecting the center of the pupil, using image processing techniques, has been an essential step in this process. A large number of techniques have been proposed for pupil center detection using both traditional image processing and machine learning-based methods. Despite the large number of methods proposed, no comparative work on their performance was found, using the same images and performance metrics. In this work, we aim at comparing four of the most frequently cited traditional methods for pupil center detection in terms of accuracy, robustness, and computational cost. These methods are based on the circular Hough transform, ellipse fitting, Daugman's integro-differential operator and radial symmetry transform. The comparative analysis was performed with 800 infrared images from the CASIA-IrisV3 and CASIA-IrisV4 databases containing various types of disturbances. The best performance was obtained by the method based on the radial symmetry transform with an accuracy and average robustness higher than 94%. The shortest processing time, obtained with the ellipse fitting method, was 0.06 s.


title: An Online Matching Model for Self-Adjusting ToR-to-ToR Networks

abstract: This is a short note that formally presents the matching model for the theoretical study of self-adjusting networks as initially proposed in [1].


title: Compositional Learning of Image-Text Query for Image Retrieval

abstract: In this paper, we investigate the problem of retrieving images from a database based on a multi-modal (image-text) query. Specifically, the query text prompts some modification in the query image and the task is to retrieve images with the desired modifications. For instance, a user of an E-Commerce platform is interested in buying a dress, which should look similar to her friend's dress, but the dress should be of white color with a ribbon sash. In this case, we would like the algorithm to retrieve some dresses with desired modifications in the query dress. We propose an autoencoder based model, ComposeAE, to learn the composition of image and text query for retrieving images. We adopt a deep metric learning approach and learn a metric that pushes composition of source image and text query closer to the target images. We also propose a rotational symmetry constraint on the optimization problem. Our approach is able to outperform the state-of-the-art method TIRG \cite{TIRG} on three benchmark datasets, namely: MIT-States, Fashion200k and Fashion IQ. In order to ensure fair comparison, we introduce strong baselines by enhancing TIRG method. To ensure reproducibility of the results, we publish our code here: \url{https://github.com/ecom-research/ComposeAE}.


title: A computer program to simulate the response of SiPMs

abstract: A Monte Carlo program which simulates the response of SiPMs is presented. Input to the program are the mean number and the time distribution of Geiger discharges from light, as well as the dark-count rate. For every primary Geiger discharge from light and dark counts in an event, correlated Geiger discharges due to prompt and delayed cross-talk and after-pulses are simulated, and a table of the amplitudes and times of all Geiger discharges in a specified time window generated. A number of different physics-based models and statistical treatments for the simulation of correlated Geiger discharges can be selected. These lists for many events together with different options for the pulse shapes of single Geiger discharges are used to simulate charge spectra, as measured by a current-integrating charge-to-digital converter, or current transients convolved with an electronics response function, as recorded by a digital oscilloscope. The program can be used to compare simulations with different assumptions to experimental data, and thus find out which models are most appropriate for a given SiPM, optimise the operating conditions and readout for a given application or test programs which are used to extract SiPM parameters from experimental data.


title: T-positive semidefiniteness of third-order symmetric tensors and T-semidefinite programming

abstract: The T-product for third-order tensors has been used extensively in the literature. In this paper, we first introduce the first-order and second-order T-derivatives for the multi-vector real-valued function with the tensor T-product; and inspired by an equivalent characterization of a twice continuously T-differentiable multi-vector real-valued function being convex, we present a definition of the T-positive semidefiniteness of third-order symmetric tensors. After that, we extend many properties of positive semidefinite matrices to the case of third-order symmetric tensors. In particular, analogue to the widely used semidefinite programming (SDP for short), we introduce the semidefinite programming over the third-order symmetric tensor space (T-semidefinite programming or TSDP for short), and provide a way to solve the TSDP problem by converting it into an SDP problem in the complex domain. Furthermore, we give several examples which can be formulated (or relaxed) as TSDP problems, and report preliminary numerical results for two unconstrained polynomial optimization problems. Experiments show that finding the global minimums of polynomials via the TSDP relaxation outperforms the traditional SDP relaxation for the test examples.


title: Common equivalence and size after forgetting

abstract: Forgetting variables from a propositional formula may increase its size. Introducing new variables is a way to shorten it. Both operations can be expressed in terms of common equivalence, a weakened version of equivalence. In turn, common equivalence can be expressed in terms of forgetting. An algorithm for forgetting and checking common equivalence in polynomial space is given for the Horn case; it is polynomial-time for the subclass of single-head formulae. Minimizing after forgetting is polynomial-time if the formula is also acyclic and variables cannot be introduced, NP-hard when they can.


title: Spectral-Energy Efficiency Trade-off-based Beamforming Design for MISO Non-Orthogonal Multiple Access Systems

abstract: Energy efficiency (EE) and spectral efficiency (SE) are two of the key performance metrics in future wireless networks, covering both design and operational requirements. For previous conventional resource allocation techniques, these two performance metrics have been considered in isolation, resulting in severe performance degradation in either of these metrics. Motivated by this problem, in this paper, we propose a novel beamforming design that jointly considers the trade-off between the two performance metrics in a multiple-input single-output non-orthogonal multiple access system. In particular, we formulate a joint SE-EE based design as a multi-objective optimization (MOO) problem to achieve a good tradeoff between the two performance metrics. However, this MOO problem is not mathematically tractable and, thus, it is difficult to determine a feasible solution due to the conflicting objectives, where both need to be simultaneously optimized. To overcome this issue, we exploit a priori articulation scheme combined with the weighted sum approach. Using this, we reformulate the original MOO problem as a conventional single objective optimization (SOO) problem. In doing so, we develop an iterative algorithm to solve this non-convex SOO problem using the sequential convex approximation technique. Simulation results are provided to demonstrate the advantages and effectiveness of the proposed approach over the available beamforming designs.


title: Holographic characterisation of subwavelength particles enhanced by deep learning

abstract: The characterisation of the physical properties of nanoparticles in their native environment plays a central role in a wide range of fields, from nanoparticle-enhanced drug delivery to environmental nanopollution assessment. Standard optical approaches require long trajectories of nanoparticles dispersed in a medium with known viscosity to characterise their diffusion constant and, thus, their size. However, often only short trajectories are available, while the medium viscosity is unknown, e.g., in most biomedical applications. In this work, we demonstrate a label-free method to quantify size and refractive index of individual subwavelength particles using two orders of magnitude shorter trajectories than required by standard methods, and without assumptions about the physicochemical properties of the medium. We achieve this by developing a weighted average convolutional neural network to analyse the holographic images of the particles. As a proof of principle, we distinguish and quantify size and refractive index of silica and polystyrene particles without prior knowledge of solute viscosity or refractive index. As an example of an application beyond the state of the art, we demonstrate how this technique can monitor the aggregation of polystyrene nanoparticles, revealing the time-resolved dynamics of the monomer number and fractal dimension of individual subwavelength aggregates. This technique opens new possibilities for nanoparticle characterisation with a broad range of applications from biomedicine to environmental monitoring.


title: Full complexity classification of the list homomorphism problem for bounded-treewidth graphs

abstract: A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by LHom($H$), we are given a graph $G$, whose every vertex $v$ is assigned with a list $L(v)$ of vertices of $H$. We ask whether there exists a homomorphism $h$ from $G$ to $H$, which respects lists $L$, i.e., for every $v \in V(G)$ it holds that $h(v) \in L(v)$. The complexity dichotomy for LHom($H$) was proven by Feder, Hell, and Huang [JGT 2003]. We are interested in the complexity of the problem, parameterized by the treewidth of the input graph. This problem was investigated by Egri, Marx, and Rz\k{a}\.zewski [STACS 2018], who obtained tight complexity bounds for the special case of reflexive graphs $H$. In this paper we extend and generalize their results for \emph{all} relevant graphs $H$, i.e., those, for which the LHom{H} problem is NP-hard. For every such $H$ we find a constant $k = k(H)$, such that LHom($H$) on instances with $n$ vertices and treewidth $t$ * can be solved in time $k^{t} \cdot n^{\mathcal{O}(1)}$, provided that the input graph is given along with a tree decomposition of width $t$, * cannot be solved in time $(k-\varepsilon)^{t} \cdot n^{\mathcal{O}(1)}$, for any $\varepsilon >0$, unless the SETH fails. For some graphs $H$ the value of $k(H)$ is much smaller than the trivial upper bound, i.e., $|V(H)|$. Obtaining matching upper and lower bounds shows that the set of algorithmic tools we have discovered cannot be extended in order to obtain faster algorithms for LHom($H$) in bounded-treewidth graphs. Furthermore, neither the algorithm, nor the proof of the lower bound, is very specific to treewidth. We believe that they can be used for other variants of LHom($H$), e.g. with different parameterizations.


title: Why Stake When You Can Borrow?

abstract: As smart contract platforms autonomously manage billions of dollars of capital, quantifying the portfolio risk that investors engender in these systems is increasingly important. Recent work illustrates that Proof of Stake (PoS) is vulnerable to financial attacks arising from on-chain lending and has worse capital efficiency than Proof of Work (PoW) \cite{fanti_pos_econ}. Numerous methods for improving capital efficiency have been proposed that allow stakers to create fungible derivative claims on their staked assets. In this paper, we construct a unifying model for studying the security risks of these proposals. This model combines birth-death P\'olya processes and risk models adapted from the credit derivatives literature to assess token inequality and return profiles. We find that there is a sharp transition between 'safe' and 'unsafe' derivative usage. Surprisingly, we find that contrary to \cite{fanti2019compounding} there exist conditions where derivatives can \emph{reduce} concentration of wealth in these networks. This model also applies to Decentralized Finance (DeFi) protocols where staked assets are used as insurance. Our theoretical results are validated using agent-based simulation.


title: Intermediate-to-Low Mass Stars in Open Clusters and the Evolution of Li

abstract: Open clusters (OC) of 1-3 Gyr age contain intermediate-to-low-mass stars in evolutionary phases of multiple relevance to understanding Li evolution. Stars leaving the main sequence (MS) from the hot side of the Lithium dip (LD) at a fixed age can include a range of mass, varying degrees of core degeneracy, and helium ignition under quiescent or flash conditions. An ongoing survey of a significant sample of stars from the giant branch to below the LD in key open clusters has revealed patterns that supply critical clues to the underlying source of Li variation among stars of differing mass and age. While the LD is well established in OC of this age, stars on the hot side of the LD can exhibit Li ranging from the apparent primordial cluster value to upper limits similar to those found at the LD center, despite occupying the same region of the color-magnitude diagram (CMD). Stars on the first-ascent giant branch show a dramatic decline in measurable Li that correlates strongly with increasing age and reduced turnoff mass. We discuss how these trends can be explained in the context of the existence of the LD itself and the temporal evolution of individual stars.


title: Dashboard of sentiment in Austrian social media during COVID-19

abstract: To track online emotional expressions of the Austrian population close to real-time during the COVID-19 pandemic, we build a self-updating monitor of emotion dynamics using digital traces from three different data sources. This enables decision makers and the interested public to assess issues such as the attitude towards counter-measures taken during the pandemic and the possible emergence of a (mental) health crisis early on. We use web scraping and API access to retrieve data from the news platform derstandard.at, Twitter and a chat platform for students. We document the technical details of our workflow in order to provide materials for other researchers interested in building a similar tool for different contexts. Automated text analysis allows us to highlight changes of language use during COVID-19 in comparison to a neutral baseline. We use special word clouds to visualize that overall difference. Longitudinally, our time series show spikes in anxiety that can be linked to several events and media reporting. Additionally, we find a marked decrease in anger. The changes last for remarkably long periods of time (up to 12 weeks). We discuss these and more patterns and connect them to the emergence of collective emotions. The interactive dashboard showcasing our data is available online under http://www.mpellert.at/covid19_monitor_austria/. Our work has attracted media attention and is part of an web archive of resources on COVID-19 collected by the Austrian National Library.


title: Graphs with Multiple Sources per Vertex

abstract: Several attempts have been made at constructing Abstract Meaning Representations (AMRs) compositionally, and recently the idea of using s-graphs with the HR-algebra (Koller, 2015) has been simplified to reduce the number of options when parsing (Groschwitz et al., 2017). This apply-modify algebra (AM-algebra) is a linguistically plausible graph algebra with two classes of operations, both of rank two: the apply operation is used to combine a predicate with its argument; the modify operation is used to modify a predicate. While the AM-algebra correctly handles relative clauses and complex cases of coordination, it cannot parse reflexive sentences like: "The raven washes herself." To facilitate processing of such reflexive sentences, this paper proposes to change the definition of s-graphs underlying the AM-algebra to allow vertices with multiple sources, and additionally proposes an adaption to the type system of the algebra to correctly handle such vertices.


title: Blind deconvolution in astronomy with adaptive optics: the parametric marginal approach

abstract: One of the major limitations of adaptive optics (AO) corrected image post-processing is the lack of knowledge on the system point spread function (PSF). The PSF is not always available as a direct imaging on isolated point like objects such as stars. Its prediction using AO telemetry also suffers from serious limitations and requires complex and yet not fully operational algorithms. A very attractive solution consists in a direct PSF estimation using the scientific images themselves thanks to blind or myopic post-processing approaches. We demonstrate that such approaches suffer from severe limitations when a joint restitution of object and PSF parameters is performed. As an alternative we propose here a marginalized PSF identification that overcomes this limitation. Then the PSF is used for image post-processing. Here we focus on deconvolution, a post-processing technique to restore the object, given the image and the PSF. We show that the PSF estimated by marginalisation provides good quality deconvolution. The full process of marginalized PSF estimation and deconvolution constitutes a successful blind deconvolution technique. It is tested on simulated data to measure its performance. It is also tested on experimental adaptive optics images of the asteroid 4-Vesta by VLT/SPHERE/Zimpol to demonstrate application to on-sky data.


title: iSeeBetter: Spatio-temporal video super-resolution using recurrent generative back-projection networks

abstract: Recently, learning-based models have enhanced the performance of single-image super-resolution (SISR). However, applying SISR successively to each video frame leads to a lack of temporal coherency. Convolutional neural networks (CNNs) outperform traditional approaches in terms of image quality metrics such as peak signal to noise ratio (PSNR) and structural similarity (SSIM). However, generative adversarial networks (GANs) offer a competitive advantage by being able to mitigate the issue of a lack of finer texture details, usually seen with CNNs when super-resolving at large upscaling factors. We present iSeeBetter, a novel GAN-based spatio-temporal approach to video super-resolution (VSR) that renders temporally consistent super-resolution videos. iSeeBetter extracts spatial and temporal information from the current and neighboring frames using the concept of recurrent back-projection networks as its generator. Furthermore, to improve the "naturality" of the super-resolved image while eliminating artifacts seen with traditional algorithms, we utilize the discriminator from super-resolution generative adversarial network (SRGAN). Although mean squared error (MSE) as a primary loss-minimization objective improves PSNR/SSIM, these metrics may not capture fine details in the image resulting in misrepresentation of perceptual quality. To address this, we use a four-fold (MSE, perceptual, adversarial, and total-variation (TV)) loss function. Our results demonstrate that iSeeBetter offers superior VSR fidelity and surpasses state-of-the-art performance.


title: Concatenated Attention Neural Network for Image Restoration

abstract: In this paper, we present a general framework for low-level vision tasks including image compression artifacts reduction and image denoising. Under this framework, a novel concatenated attention neural network (CANet) is specifically designed for image restoration. The main contributions of this paper are as follows: First, by applying concise but effective concatenation and feature selection mechanism, we establish a novel connection mechanism which connect different modules in the modules stacking network. Second, both pixel-wise and channel-wise attention mechanisms are used in each module convolution layer, which promotes further extraction of more essential information in images. Lastly, we demonstrate that CANet achieves better results than previous state-of-the-art approaches with sufficient experiments in compression artifacts removing and image denoising.


title: Acoustic streaming generated by sharp edges: the coupled influences of liquid viscosity and acoustic frequency

abstract: Acoustic streaming can be generated around sharp structures, even when the acoustic wavelength is much larger than the vessel size. This sharp-edge streaming can be relatively intense, \textcolor{blue}{owing to the strongly focused inertial effect experienced by the acoustic flow near the tip.} We conducted experiments with Particle Image Velocimetry to quantify this streaming flow through the influence of liquid viscosity $\nu$, from 1 mm$^2$/s to 30 mm$^2$/s, and acoustic frequency $f$ from 500 Hz to 3500 Hz. Both quantities supposedly influence the thickness of the viscous boundary layer $\delta = \left(\frac{\nu}{\pi f}\right)^{1/2}$. For all situations, the streaming flow appears as a main central jet from the tip, generating two lateral vortices beside the tip and outside the boundary layer. As a characteristic streaming velocity, the maximal velocity is located at a distance of $\delta$ from the tip, and it increases as the square of the acoustic velocity. We then provide empirical scaling laws to quantify the influence of $\nu$ and $f$ on the streaming velocity. Globally, the streaming velocity is dramatically weakened by a higher viscosity, whereas the flow pattern and the disturbance distance remain similar regardless of viscosity. Besides viscosity, the frequency also strongly influences the maximal streaming velocity.


title: Entropy and relative entropy from information-theoretic principles

abstract: We introduce an axiomatic approach to entropies and relative entropies that relies only on minimal information-theoretic axioms, namely monotonicity under mixing and data-processing as well as additivity for product distributions. We find that these axioms induce sufficient structure to establish continuity in the interior of the probability simplex and meaningful upper and lower bounds, e.g., we find that every relative entropy must lie between the R\'enyi divergences of order $0$ and $\infty$. We further show simple conditions for positive definiteness of such relative entropies and a characterisation in term of a variant of relative trumping. Our main result is a one-to-one correspondence between entropies and relative entropies.


title: Backdoor Attacks to Graph Neural Networks

abstract: In this work, we propose the first backdoor attack to graph neural networks (GNN). Specifically, we propose a \emph{subgraph based backdoor attack} to GNN for graph classification. In our backdoor attack, a GNN classifier predicts an attacker-chosen target label for a testing graph once a predefined subgraph is injected to the testing graph. Our empirical results on three real-world graph datasets show that our backdoor attacks are effective with a small impact on a GNN's prediction accuracy for clean testing graphs. Moreover, we generalize a randomized smoothing based certified defense to defend against our backdoor attacks. Our empirical results show that the defense is effective in some cases but ineffective in other cases, highlighting the needs of new defenses for our backdoor attacks.


title: Fast Mixing of Multi-Scale Langevin Dynamics under the Manifold Hypothesis

abstract: Recently, the task of image generation has attracted much attention. In particular, the recent empirical successes of the Markov Chain Monte Carlo (MCMC) technique of Langevin Dynamics have prompted a number of theoretical advances; despite this, several outstanding problems remain. First, the Langevin Dynamics is run in very high dimension on a nonconvex landscape; in the worst case, due to the NP-hardness of nonconvex optimization, it is thought that Langevin Dynamics mixes only in time exponential in the dimension. In this work, we demonstrate how the manifold hypothesis allows for the considerable reduction of mixing time, from exponential in the ambient dimension to depending only on the (much smaller) intrinsic dimension of the data. Second, the high dimension of the sampling space significantly hurts the performance of Langevin Dynamics; we leverage a multi-scale approach to help ameliorate this issue and observe that this multi-resolution algorithm allows for a trade-off between image quality and computational expense in generation.


title: End-coupled random lasers: a basis for artificial neural networks

abstract: Light interference in strongly disordered photonic media can generate lasers where random modes are amplified in unpredictable way. The ease of fabrication, along with their low coherence caused by multiple small-linewidth peaks, made random lasers (RL) emerging, efficient, speckle-free light sources and a means to achieve spectral super-resolution. With potential to become a mature and accessible technology, their complex system's nature furnishes endless opportunities to unveil fundamental physics, since they can act as elements of optical network architectures. To date no experimental studies have analyzed the optical interaction between independent resonators in networks of RLs. Realizing RLs with a pumped strip joining two rough mirrors, we experimentally investigate and numerically simulate the emergence of networks when, by sharing scattering centers, RLs become coupled. We prove that the emission of a single RL can be manipulated by the action of others in the network, giving rise to substantial peak rearrangements and energy redistribution, fingerprint of mode coupling. Our findings, involving a few coupled RLs, firmly set the basis for the study of full-grown photonic networks. Oddly, both their deep understanding and their deployment as hardware clearly point in the direction of a novel disruptive technology: artificial intelligence on photonic random neural networks.


title: Emotion Recognition on large video dataset based on Convolutional Feature Extractor and Recurrent Neural Network

abstract: For many years, the emotion recognition task has remained one of the most interesting and important problems in the field of human-computer interaction. In this study, we consider the emotion recognition task as a classification as well as a regression task by processing encoded emotions in different datasets using deep learning models. Our model combines convolutional neural network (CNN) with recurrent neural network (RNN) to predict dimensional emotions on video data. At the first step, CNN extracts feature vectors from video frames. In the second step, we fed these feature vectors to train RNN for exploiting the temporal dynamics of video. Furthermore, we analyzed how each neural network contributes to the system's overall performance. The experiments are performed on publicly available datasets including the largest modern Aff-Wild2 database. It contains over sixty hours of video data. We discovered the problem of overfitting of the model on an unbalanced dataset with an illustrative example using confusion matrices. The problem is solved by downsampling technique to balance the dataset. By significantly decreasing training data, we balance the dataset, thereby, the overall performance of the model is improved. Hence, the study qualitatively describes the abilities of deep learning models exploring enough amount of data to predict facial emotions. Our proposed method is implemented using Tensorflow Keras.


title: The Fluted Fragment with Transitive Relations

abstract: We study the satisfiability problem for the fluted fragment extended with transitive relations. The logic enjoys the finite model property when only one transitive relation is available and the finite model property is lost when additionally either equality or a second transitive relation is allowed. We show that the satisfiability problem for the fluted fragment with one transitive relation and equality remains decidable. On the other hand we show that the satisfiability problem is undecidable already for the two-variable fragment of the logic in the presence of three transitive relations (or two transitive relations and equality).


title: Minimax rates without the fixed sample size assumption

abstract: We generalize the notion of minimax convergence rate. In contrast to the standard definition, we do not assume that the sample size is fixed in advance. Allowing for varying sample size results in time-robust minimax rates and estimators. These can be either strongly adversarial, based on the worst-case over all sample sizes, or weakly adversarial, based on the worst-case over all stopping times. We show that standard and time-robust rates usually differ by at most a logarithmic factor, and that for some (and we conjecture for all) exponential families, they differ by exactly an iterated logarithmic factor. In many situations, time-robust rates are arguably more natural to consider. For example, they allow us to simultaneously obtain strong model selection consistency and optimal estimation rates, thus avoiding the "AIC-BIC dilemma".


title: Revisiting the proton mass decomposition

abstract: Different decompositions (sum rules) for the proton mass have been proposed in the literature. All of them are related to the energy-momentum tensor in quantum chromodynamics. We review and revisit these decompositions by paying special attention to recent developments with regard to the renormalization of the energy-momentum tensor. The connection between the sum rules is discussed as well. We present numerical results for the various terms of the mass decompositions up to 3 loops in the strong coupling, and consider their scheme dependence. We also elaborate on the role played by the trace anomaly and the sigma terms.


title: Primordial Black Hole Dark Matter and the LIGO/Virgo observations

abstract: The LIGO/Virgo collaboration have by now detected the mergers of ten black hole binaries via the emission of gravitational radiation. The hypothesis that these black holes have formed during the cosmic QCD epoch and make up all of the cosmic dark matter, has been rejected by many authors reasoning that, among other constraints, primordial black hole (PBH) dark matter would lead to orders of magnitude larger merger rates than observed. We revisit the calculation of the present PBH merger rate. Solar mass PBHs form clusters at fairly high redshifts, which evaporate at lower redshifts. We consider in detail the evolution of binary properties in such clusters due to three-body interactions between the two PBH binary members and a third by-passing PBH, for the first time, by full numerical integration. A Monte-Carlo analysis shows that formerly predicted merger rates are reduced by orders of magnitude due to such interactions. The natural prediction of PBH dark matter formed during the QCD epoch yields a pronounced peak around $1M_{\odot}$ with a small mass fraction of PBHs on a shoulder around $30M_{\odot}$, dictated by the well-determined equation of state during the QCD epoch. We employ this fact to make a tentative prediction of the merger rate of $\sim 30M_{\odot}$ PBH binaries, and find it very close to that determined by LIGO/Virgo. Furthermore we show that current LIGO/Virgo limits on the existence of $\sim M_{\odot}$ binaries do not exclude QCD PBHs to make up all of the cosmic dark matter. Neither do constraints on QCD PBHs from the stochastic gravitational background, pre-recombination accretion, or dwarf galaxies pose a problem. Microlensing constraints on QCD PBHs should be re-investigated. We caution, however, in this numerically challenging problem some possibly relevant effects could not be treated.


title: Donovan's conjecture and extensions by the centralizer of a defect group

abstract: We consider Donovan's conjecture in the context of blocks of groups $G$ with defect group $D$ and normal subgroups $N \lhd G$ such that $G=C_D(D\cap N)N$, extending similar results for blocks with abelian defect groups. As an application we show that Donovan's conjecture holds for blocks with defect groups of the form $Q_8 \times C_{2^n}$ or $Q_8 \times Q_8$ defined over a discrete valuation ring.


title: Overhead for simulating a non-local channel with local channels by quasiprobability sampling

abstract: As the hardware technology for quantum computing advances, its possible applications are actively searched and developed. However, such applications still suffer from the noise on quantum devices, in particular when using two-qubit gates whose fidelity is relatively low. One way to overcome this difficulty is to substitute such non-local operations by local ones. Such substitution can be performed by decomposing a non-local channel into a linear combination of local channels and simulating the original channel with a quasiprobability-based method. In this work, we first define a quantity that we call channel robustness of non-locality, which quantifies the cost for the decomposition. While this quantity is challenging to calculate for a general non-local channel, we give an upper bound for a general two-qubit unitary channel by providing an explicit decomposition. The decomposition is obtained by generalizing our previous work whose application has been restricted to a certain form of two-qubit unitary. This work develops a framework for a resource reduction suitable for first-generation quantum devices.


title: Ultrafast Hole Spin Qubit with Gate-Tunable Spin-Orbit Switch

abstract: A key challenge in quantum computation is the implementation of fast and local qubit control while simultaneously maintaining coherence. Qubits based on hole spins offer, through their strong spin-orbit interaction, a way to implement fast quantum gates. Strikingly, for hole spins in one-dimensional germanium and silicon devices, the spin-orbit interaction has been predicted to be exceptionally strong yet highly tunable with gate voltages. Such electrical control would make it possible to switch on demand between qubit idling and manipulation modes. Here, we demonstrate ultrafast and universal quantum control of a hole spin qubit in a germanium/silicon core/shell nanowire, with Rabi frequencies of several hundreds of megahertz, corresponding to spin-flipping times as short as ~1 ns - a new record for a single-spin qubit. Next, we show a large degree of electrical control over the Rabi frequency, Zeeman energy, and coherence time - thus implementing a switch toggling from a rapid qubit manipulation mode to a more coherent idling mode. We identify an exceptionally strong but gate-tunable spin-orbit interaction as the underlying mechanism, with a short associated spin-orbit length that can be tuned over a large range down to 3 nm for holes of heavy-hole mass. Our work demonstrates a spin-orbit qubit switch and establishes hole spin qubits defined in one-dimensional germanium/silicon nanostructures as a fast and highly tunable platform for quantum computation.