title: Discriminative and Generative Learning for Linear Estimation of Random Signals [Lecture Notes]

abstract: Inference tasks in signal processing are often characterized by the availability of reliable statistical modeling with some missing instance-specific parameters. One conventional approach uses data to estimate these missing parameters and then infers based on the estimated model. Alternatively, data can also be leveraged to directly learn the inference mapping end-to-end. These approaches for combining partially-known statistical models and data in inference are related to the notions of generative and discriminative models used in the machine learning literature, typically considered in the context of classifiers. The goal of this lecture note is to introduce the concepts of generative and discriminative learning for inference with a partially-known statistical model. While machine learning systems often lack the interpretability of traditional signal processing methods, we focus on a simple setting where one can interpret and compare the approaches in a tractable manner that is accessible and relevant to signal processing readers. In particular, we exemplify the approaches for the task of Bayesian signal estimation in a jointly Gaussian setting with the mean-squared error (MSE) objective, i.e., a linear estimation setting.


title: Thermodynamics of magnetized dense neutron-rich matter

abstract: A neutron star is one of the possible end states of a massive star. It is compressed by gravity and stabilized by the nuclear degeneracy pressure. Despite its name, the composition of these objects is not exactly known. However, from the inferred densities, neutrons will most likely compose a significant fraction of the star's interior. While all neutron stars are expected to have a magnetic field, some neutron stars (''magnetars'') are much more highly magnetized than others with inferred magnetar surface magnetic field is between $10^{14}$ to $10^{15}$ gauss. While neutron stars are macroscopic objects, due to the extreme value of the stars' energy, pressure, and magnetic field the thermodynamics on the microscopic scale can be imprinted on the star's large scale behaviour. This contribution focusses on describing the thermodynamics of magnetized dense neutron matter, its equation of state and to explore conditions of a possible ferromagnetic state, contributions from the magnetized vacuum, as well as possible observational implications.


title: Regret Analysis of Certainty Equivalence Policies in Continuous-Time Linear-Quadratic Systems

abstract: This work theoretically studies a ubiquitous reinforcement learning policy for controlling the canonical model of continuous-time stochastic linear-quadratic systems. We show that randomized certainty equivalent policy addresses the exploration-exploitation dilemma in linear control systems that evolve according to unknown stochastic differential equations and their operating cost is quadratic. More precisely, we establish square-root of time regret bounds, indicating that randomized certainty equivalent policy learns optimal control actions fast from a single state trajectory. Further, linear scaling of the regret with the number of parameters is shown. The presented analysis introduces novel and useful technical approaches, and sheds light on fundamental challenges of continuous-time reinforcement learning.


title: When Evidence and Significance Collide

abstract: Null hypothesis statistical significance testing (NHST) is the dominant approach for evaluating results from randomized controlled trials. Whereas NHST comes with long-run error rate guarantees, its main inferential tool -- the $p$-value -- is only an indirect measure of evidence against the null hypothesis. The main reason is that the $p$-value is based on the assumption the null hypothesis is true, whereas the likelihood of the data under any alternative hypothesis is ignored. If the goal is to quantify how much evidence the data provide for or against the null hypothesis it is unavoidable that an alternative hypothesis be specified (Goodman & Royall, 1988). Paradoxes arise when researchers interpret $p$-values as evidence. For instance, results that are surprising under the null may be equally surprising under a plausible alternative hypothesis, such that a $p=.045$ result (`reject the null') does not make the null any less plausible than it was before. Hence, $p$-values have been argued to overestimate the evidence against the null hypothesis. Conversely, it can be the case that statistically non-significant results (i.e., $p>.05)$ nevertheless provide some evidence in favor of the alternative hypothesis. It is therefore crucial for researchers to know when statistical significance and evidence collide, and this requires that a direct measure of evidence is computed and presented alongside the traditional $p$-value.


title: Towards Safe Reinforcement Learning via Constraining Conditional Value-at-Risk

abstract: Though deep reinforcement learning (DRL) has obtained substantial success, it may encounter catastrophic failures due to the intrinsic uncertainty of both transition and observation. Most of the existing methods for safe reinforcement learning can only handle transition disturbance or observation disturbance since these two kinds of disturbance affect different parts of the agent; besides, the popular worst-case return may lead to overly pessimistic policies. To address these issues, we first theoretically prove that the performance degradation under transition disturbance and observation disturbance depends on a novel metric of Value Function Range (VFR), which corresponds to the gap in the value function between the best state and the worst state. Based on the analysis, we adopt conditional value-at-risk (CVaR) as an assessment of risk and propose a novel reinforcement learning algorithm of CVaR-Proximal-Policy-Optimization (CPPO) which formalizes the risk-sensitive constrained optimization problem by keeping its CVaR under a given threshold. Experimental results show that CPPO achieves a higher cumulative reward and is more robust against both observation and transition disturbances on a series of continuous control tasks in MuJoCo.


title: Generating functions for straight polyomino tilings of narrow rectangles

abstract: Let $m,k$ be fixed positive integers. Determining the generating function for the number of tilings of an $m\times n$ rectangle by $k\times 1$ rectangles is a long-standing open problem to which the answer is only known in certain special cases. We give an explicit formula for this generating function in the case where $m<2k$. This result is used to obtain the generating function for the number of tilings of an $m\times n \times k$ box with $k\times k\times 1$ bricks.


title: A taxonomy of explanations to support Explainability-by-Design

abstract: As automated decision-making solutions are increasingly applied to all aspects of everyday life, capabilities to generate meaningful explanations for a variety of stakeholders (i.e., decision-makers, recipients of decisions, auditors, regulators...) become crucial. In this paper, we present a taxonomy of explanations that was developed as part of a holistic 'Explainability-by-Design' approach for the purposes of the project PLEAD. The taxonomy was built with a view to produce explanations for a wide range of requirements stemming from a variety of regulatory frameworks or policies set at the organizational level either to translate high-level compliance requirements or to meet business needs. The taxonomy comprises nine dimensions. It is used as a stand-alone classifier of explanations conceived as detective controls, in order to aid supportive automated compliance strategies. A machinereadable format of the taxonomy is provided in the form of a light ontology and the benefits of starting the Explainability-by-Design journey with such a taxonomy are demonstrated through a series of examples.


title: Dict-NMT: Bilingual Dictionary based NMT for Extremely Low Resource Languages

abstract: Neural Machine Translation (NMT) models have been effective on large bilingual datasets. However, the existing methods and techniques show that the model's performance is highly dependent on the number of examples in training data. For many languages, having such an amount of corpora is a far-fetched dream. Taking inspiration from monolingual speakers exploring new languages using bilingual dictionaries, we investigate the applicability of bilingual dictionaries for languages with extremely low, or no bilingual corpus. In this paper, we explore methods using bilingual dictionaries with an NMT model to improve translations for extremely low resource languages. We extend this work to multilingual systems, exhibiting zero-shot properties. We present a detailed analysis of the effects of the quality of dictionaries, training dataset size, language family, etc., on the translation quality. Results on multiple low-resource test languages show a clear advantage of our bilingual dictionary-based method over the baselines.


title: On Scaling of Hall-Effect Thrusters Using Neural Nets

abstract: Hall-effect thrusters (HETs) are widely used for modern near-earth spacecraft propulsion and are vital for future deep-space missions. Methods of modeling HETs are developing rapidly. However, such methods are not yet precise enough and cannot reliably predict the parameters of a newly designed thruster, mostly due to the enormous computational cost of a HET plasma simulation. Another approach is to use scaling techniques based on available experimental data. This paper proposes an approach for scaling HETs using neural networks and other modern machine learning methods. The new scaling model was built with information from an extensive database of HET parameters collected from published papers. Predictions of the new scaling model are valid for the operating parameters domain covered by the database. During the design, this model can help HET developers estimate the performance of a newly-designed thruster. At the stage of experimental research, the model can be used to compare the achieved characteristics of the studied thruster with the level obtained by other developers. A comparison with the state-of-the-art HET scaling model is also presented.


title: Multi-wavelength study of blazar 4C +01.02 during its long-term flaring activity in 2014-2017

abstract: We conducted a detailed long-term spectral and temporal study of flat spectrum radio quasar 4C +01.02, by using the multi-wavelength observations from Fermi-LAT, Swift-XRT, and Swift-UVOT. The $2$-day bin $\gamma$-ray lightcurve in the 2014-2017 active state displays $14$ peak structures with a maximum integral flux $(\rm E > 100 \ MeV)$ of $\rm (2.5 \pm 0.2) \times 10^{-6}\ ph\ cm^{-2}\ s^{-1}$ at MJD 57579.1, which is approximately $61$ times higher than the base flux of $\rm (4.1 \pm 0.3) \times 10^{-8}\ ph\ cm^{-2}\ s^{-1}$, calculated by averaging the flux points when the source was in quiescent state. The shortest $\gamma$-ray variability of $0.66 \pm 0.08$ days is observed for the source. The correlation study between $\gamma$-ray spectral index and flux suggests that the source deviates from the usual trend of harder when brighter feature shown by blazars. To understand the likely physical scenario responsible for the flux variation, we performed a detailed broadband spectral analysis of the source by selecting different flux states from the multi-wavelength lightcurve. A single zone leptonic model was able to reproduce the broadband spectral energy distribution (SED) of each state. The parameters of the model in each flux state are determined using a $\chi^2$ fit. We observed that the synchrotron, synchrotron-self-Compton (SSC), and External-Compton (EC) processes produce the broadband SED under varied flux states. The adjoining contribution of the seed photons from the broad-line region (BLR) and the IR torus for the EC process are required to provide adequate fits to the GeV spectrum in all the chosen states.


title: Nonlinear Laplacian Dynamics: Symmetries, Perturbations, and Consensus

abstract: In this paper, we study a class of dynamic networks called Absolute Laplacian Flows under small perturbations. Absolute Laplacian Flows are a type of nonlinear generalisation of classical linear Laplacian dynamics. Our main goal is to describe the behaviour of the system near the consensus space. The nonlinearity of the studied system gives rise to potentially intricate structures of equilibria that can intersect the consensus space, creating singularities. For the unperturbed case, we characterise the sets of equilibria by exploiting the symmetries under group transformations of the nonlinear vector field. Under perturbations, Absolute Laplacian Flows behave as a slow-fast system. Thus, we analyse the slow-fast dynamics near the singularities on the consensus space. In particular, we prove a theorem that provides existence conditions for a maximal canard, that coincides with the consensus subspace, by using the symmetry properties of the network. Furthermore, we provide a linear approximation of the intersecting branches of equilibria at the singular points; as a consequence, we show that, generically, the singularities on the consensus space turn out to be transcritical. In addition, we verify via numerical simulations that the principal findings of our main theory, developed for complete graphs, holds as well for other graph topologies, allowing us to describe intricate spatiotemporal patterns induced by delayed loss of stability associated to the canards.


title: Directional Extremal Statistics for Ginibre Eigenvalues

abstract: We consider the eigenvalues of a large dimensional real or complex Ginibre matrix in the region of the complex plane where their real parts reach their maximum value. This maximum follows the Gumbel distribution and that these extreme eigenvalues form a Poisson point process, asymptotically as the dimension tends to infinity. In the complex case these facts have already been established by Bender \cite{MR2594353} and in the real case by Akemann and Phillips \cite{MR3192169} even for the more general elliptic ensemble with a sophisticated saddle point analysis. The purpose of this note is to give a very short direct proof in the Ginibre case with an effective error term. Moreover, our estimates on the correlation kernel in this regime serve as a key input for accurately locating $\max\Re\mathrm{Spec}(X)$ for any large matrix $X$ with i.i.d. entries in the companion paper \cite{2206.04448}.


title: Generic Stress Rectification in Nonlinear Elastic Media

abstract: Stress propagation in nonlinear media is crucial in cell biology, where molecular motors exert anisotropic force dipoles on the fibrous cytoskeleton. While the force dipoles can be either contractile or expansile, a medium made of fibers which buckle under compression rectifies these stresses towards a biologically crucial contraction. A general understanding of this rectification phenomenon as a function of the medium's elasticity is however lacking. Here we use theoretical continuum elasticity to show that rectification is actually a very general effect in nonlinear materials subjected to anisotropic internal stresses. We analytically show that both bucklable and constitutively linear materials subjected to geometrical nonlinearities rectify small forces towards contraction, while granular-like materials rectify towards expansion. Using simulations, we moreover show that these results extend to larger forces. Beyond fiber networks, these results could shed light on the propagation of stresses in brittle or granular materials following a local plastic rearrangement.


title: Bridged treatment comparisons: an illustrative application in HIV treatment

abstract: Comparisons of treatments, interventions, or exposures are of central interest in epidemiology, but direct comparisons are not always possible due to practical or ethical reasons. Here, we detail a fusion approach to compare treatments across studies. The motivating example entails comparing the risk of the composite outcome of death, AIDS, or greater than a 50% CD4 cell count decline in people with HIV when assigned triple versus mono antiretroviral therapy, using data from the AIDS Clinical Trial Group (ACTG) 175 (mono versus dual therapy) and ACTG 320 (dual versus triple therapy). We review a set of identification assumptions and estimate the risk difference using an inverse probability weighting estimator that leverages the shared trial arms (dual therapy). A fusion diagnostic based on comparing the shared arms is proposed that may indicate violation of the identification assumptions. Application of the data fusion estimator and diagnostic to the ACTG trials indicates triple therapy results in a reduction in risk compared to monotherapy in individuals with baseline CD4 counts between 50 and 300 cells/mm$^3$. Bridged treatment comparisons address questions that none of the constituent data sources could address alone, but valid fusion-based inference requires careful consideration of the underlying assumptions.


title: Reconfigurable Reservoir Computing in a Magnetic Metamaterial

abstract: In-materia reservoir computing (RC) leverages the intrinsic physical responses of functional materials to perform complex computational tasks. Magnetic metamaterials are exciting candidates for RC due to their huge state space, nonlinear emergent dynamics, and non-volatile memory. However, to be suitable for a broad range of tasks, the material system is required to exhibit a broad range of properties, and isolating these behaviours experimentally can often prove difficult. By using an electrically accessible device consisting of an array of interconnected magnetic nanorings -- a system shown to exhibit complex emergent dynamics -- here we show how reconfiguring the reservoir architecture allows exploitation of different aspects the system's dynamical behaviours. This is evidenced through state-of-the-art performance in diverse benchmark tasks with very different computational requirements, highlighting the additional computational configurability that can be obtained by altering the input/output architecture around the material system.


title: Convolutional Dictionary Learning by End-To-End Training of Iterative Neural Networks

abstract: Sparsity-based methods have a long history in the field of signal processing and have been successfully applied to various image reconstruction problems. The involved sparsifying transformations or dictionaries are typically either pre-trained using a model which reflects the assumed properties of the signals or adaptively learned during the reconstruction - yielding so-called blind Compressed Sensing approaches. However, by doing so, the transforms are never explicitly trained in conjunction with the physical model which generates the signals. In addition, properly choosing the involved regularization parameters remains a challenging task. Another recently emerged training-paradigm for regularization methods is to use iterative neural networks (INNs) - also known as unrolled networks - which contain the physical model. In this work, we construct an INN which can be used as a supervised and physics-informed online convolutional dictionary learning algorithm. We evaluated the proposed approach by applying it to a realistic large-scale dynamic MR reconstruction problem and compared it to several other recently published works. We show that the proposed INN improves over two conventional model-agnostic training methods and yields competitive results also compared to a deep INN. Further, it does not require to choose the regularization parameters and - in contrast to deep INNs - each network component is entirely interpretable.


title: On the rightmost eigenvalue of non-Hermitian random matrices

abstract: We establish a precise three-term asymptotic expansion, with an optimal estimate of the error term, for the rightmost eigenvalue of an $n\times n$ random matrix with independent identically distributed complex entries as $n$ tends to infinity. All terms in the expansion are universal.


title: Segmentation Enhanced Lameness Detection in Dairy Cows from RGB and Depth Video

abstract: Cow lameness is a severe condition that affects the life cycle and life quality of dairy cows and results in considerable economic losses. Early lameness detection helps farmers address illnesses early and avoid negative effects caused by the degeneration of cows' condition. We collected a dataset of short clips of cows passing through a hallway exiting a milking station and annotated the degree of lameness of the cows. This paper explores the resulting dataset and provides a detailed description of the data collection process. Additionally, we proposed a lameness detection method that leverages pre-trained neural networks to extract discriminative features from videos and assign a binary score to each cow indicating its condition: "healthy" or "lame." We improve this approach by forcing the model to focus on the structure of the cow, which we achieve by substituting the RGB videos with binary segmentation masks predicted with a trained segmentation model. This work aims to encourage research and provide insights into the applicability of computer vision models for cow lameness detection on farms.


title: Pair production of neutral Higgs particles in the B-LSSM

abstract: Higgs pair production provides a unique handle for measuring the strength of Higgs self interaction and constraining the shape of the Higgs potential. Including radiative corrections to the trilinear couplings of $CP$-even Higgs, we investigate the cross section of the lightest neutral Higgs pair production in gluon fusion at the Large Hadron Collider in the supersymmetric extensions of the standard model. Numerical results indicate that the correction to the cross section is about 11\% in the B-LSSM, while is only about 4\% in the MSSM. Considering the constraints of the experimental data of the lightest Higgs, we find that the gauge couplings of $U(1)_{B-L}$ and the ratio of the nonzero vacuum expectation values of two singlets also affect strongly the theoretical evaluations on the production cross section in the B-LSSM.


title: Deep kernelization for the Tree Bisection and Reconnnect (TBR) distance in phylogenetics

abstract: We describe a kernel of size 9k-8 for the NP-hard problem of computing the Tree Bisection and Reconnect (TBR) distance k between two unrooted binary phylogenetic trees. We achieve this by extending the existing portfolio of reduction rules with three novel new reduction rules. Two of the rules are based on the idea of topologically transforming the trees in a distance-preserving way in order to guarantee execution of earlier reduction rules. The third rule extends the local neighbourhood approach introduced in (Kelk and Linz, Annals of Combinatorics 24(3), 2020) to more global structures, allowing new situations to be identified when deletion of a leaf definitely reduces the TBR distance by one. The bound on the kernel size is tight up to an additive term. Our results also apply to the equivalent problem of computing a Maximum Agreement Forest (MAF) between two unrooted binary phylogenetic trees. We anticipate that our results will be more widely applicable for computing agreement-forest based dissimilarity measures.


title: Draft-and-Revise: Effective Image Generation with Contextual RQ-Transformer

abstract: Although autoregressive models have achieved promising results on image generation, their unidirectional generation process prevents the resultant images from fully reflecting global contexts. To address the issue, we propose an effective image generation framework of Draft-and-Revise with Contextual RQ-transformer to consider global contexts during the generation process. As a generalized VQ-VAE, RQ-VAE first represents a high-resolution image as a sequence of discrete code stacks. After code stacks in the sequence are randomly masked, Contextual RQ-Transformer is trained to infill the masked code stacks based on the unmasked contexts of the image. Then, Contextual RQ-Transformer uses our two-phase decoding, Draft-and-Revise, and generates an image, while exploiting the global contexts of the image during the generation process. Specifically. in the draft phase, our model first focuses on generating diverse images despite rather low quality. Then, in the revise phase, the model iteratively improves the quality of images, while preserving the global contexts of generated images. In experiments, our method achieves state-of-the-art results on conditional image generation. We also validate that the Draft-and-Revise decoding can achieve high performance by effectively controlling the quality-diversity trade-off in image generation.


title: The Missing Link: Finding label relations across datasets

abstract: Computer vision is driven by the many datasets available for training or evaluating novel methods. However, each dataset has a different set of class labels, visual definition of classes, images following a specific distribution, annotation protocols, etc. In this paper we explore the automatic discovery of visual-semantic relations between labels across datasets. We aim to understand how instances of a certain class in a dataset relate to the instances of another class in another dataset. Are they in an identity, parent/child, overlap relation? Or is there no link between them at all? To find relations between labels across datasets, we propose methods based on language, on vision, and on their combination. We show that we can effectively discover label relations across datasets, as well as their type. We apply our method to four applications: understand label relations, identify missing aspects, increase label specificity, and predict transfer learning gains. We conclude that label relations cannot be established by looking at the names of classes alone, as they depend strongly on how each of the datasets was constructed.


title: Magnon-phonon interaction induced electromagnetic wave radiation in the strong coupling region

abstract: We theoretically study the electromagnetic wave radiation of magnons driven by acoustic phonons in systems with strong magnon-phonon interaction. We evaluate the field dependence of radiation intensity spectra which exhibits the avoided crossing, a characteristic of strongly coupled systems. At the crossover where the magnon and phonon eigenstates are hybridized, we demonstrate the existence of two resonant radiation frequencies with circular polarization and the enhancement of antenna radiation efficiency by over 100 times. Our results open up possibilities of developing ultra-compact antennas by using the hybridized magnon-phonon mode.


title: $H^2-$Corona problem on $\delta-$regular domains

abstract: We prove an $H^2-$Corona theorem with estimate $C(\delta)=C\delta^{-1-q}|\log \delta|$ for $\delta\ll 1$ on delta-regular domains, where $q=\min\{n,m-1\}$ and $m$ is the number of generators. This class of domains includes smooth bounded domains with defining functions that are plurisubharmonic on boundaries and pseudoconvex domains of D'Angelo finite type.


title: Choosing Answers in $\varepsilon$-Best-Answer Identification for Linear Bandits

abstract: In pure-exploration problems, information is gathered sequentially to answer a question on the stochastic environment. While best-arm identification for linear bandits has been extensively studied in recent years, few works have been dedicated to identifying one arm that is $\varepsilon$-close to the best one (and not exactly the best one). In this problem with several correct answers, an identification algorithm should focus on one candidate among those answers and verify that it is correct. We demonstrate that picking the answer with highest mean does not allow an algorithm to reach asymptotic optimality in terms of expected sample complexity. Instead, a \textit{furthest answer} should be identified. Using that insight to choose the candidate answer carefully, we develop a simple procedure to adapt best-arm identification algorithms to tackle $\varepsilon$-best-answer identification in transductive linear stochastic bandits. Finally, we propose an asymptotically optimal algorithm for this setting, which is shown to achieve competitive empirical performance against existing modified best-arm identification algorithms.


title: Seamless Accurate Positioning in Deep Urban Area based on Mode Switching Between DGNSS and Multipath Mitigation Positioning

abstract: Multipath and non-line-of-sight (NLOS) signals are the major causes of poor accuracy of a global navigation satellite system (GNSS) in urban areas. Despite the wide usage of the GNSS in populated urban areas, it is difficult to suggest a generalized method because multipath errors are user-specific errors that cannot be eliminated by the DGNSS or a real-time kinematic technique. This paper introduces a real-time multipath estimation and mitigation technique, which considers compensation for the time offset between constellations. It also presents a mode-switching algorithm between the DGNSS and multipath mitigating mode and shows that this technique can be effectively utilized for automobiles in a deep urban environment without any help from sensors other than GNSS. The availability is improved from 64% to 100% and the error RMS is reduced from 11.1 m to 1.2 m on Teheran-ro, Seoul, Korea. Because this method does not require prior information or additional sensor implementation for high-positioning performance in deep urban areas, it is expected to gain wide usage in not only the automotive industry but also future intelligent transportation systems.


title: A new statistical distance scale for planetary nebulae, based on Gaia EDR3

abstract: The present work aims to build a new statistical distance scale for planetary nebulae (PNe) based on a rigorous calibration sample. The distances of the calibration sample are derived from the trigonometric parallax method using the recent measurements of Gaia early third data release (Gaia EDR3). The new distance scale is created by applying the well-known linear relationship between the radio surface brightness temperature and the nebular radius. The calibration sample is made up of 96 PNe of accurately computed distances with uncertainties less than $20\%$. Earlier ground- and space-based trigonometric parallaxes of PNe display inconsistency with those of Gaia, particularly the HIPPARCOS results. In addition, these measurements have appreciably lower precision than that of Gaia. When compared to the trigonometric technique, the expansion and kinematic methods exhibited more consistency than the spectroscopic, extinction, gravity, and photo-ionization methods. Furthermore, contrary to earlier results in the literature, the extinction and gravity methods, on average, underestimate and slightly overestimate the PN distances. As a byproduct of extracting the Gaia parallaxes, we detect the radial velocity and variability for 14 and 3 PN central stars (CSs), respectively. To our knowledge, the variability of Hen 2-447 CS has been determined for the first time.


title: SDQ: Stochastic Differentiable Quantization with Mixed Precision

abstract: In order to deploy deep models in a computationally efficient manner, model quantization approaches have been frequently used. In addition, as new hardware that supports mixed bitwidth arithmetic operations, recent research on mixed precision quantization (MPQ) begins to fully leverage the capacity of representation by searching optimized bitwidths for different layers and modules in a network. However, previous studies mainly search the MPQ strategy in a costly scheme using reinforcement learning, neural architecture search, etc., or simply utilize partial prior knowledge for bitwidth assignment, which might be biased and sub-optimal. In this work, we present a novel Stochastic Differentiable Quantization (SDQ) method that can automatically learn the MPQ strategy in a more flexible and globally-optimized space with smoother gradient approximation. Particularly, Differentiable Bitwidth Parameters (DBPs) are employed as the probability factors in stochastic quantization between adjacent bitwidth choices. After the optimal MPQ strategy is acquired, we further train our network with entropy-aware bin regularization and knowledge distillation. We extensively evaluate our method for several networks on different hardware (GPUs and FPGA) and datasets. SDQ outperforms all state-of-the-art mixed or single precision quantization with a lower bitwidth and is even better than the full-precision counterparts across various ResNet and MobileNet families, demonstrating the effectiveness and superiority of our method.


title: Open ERP System Data For Occupational Fraud Detection

abstract: Recent estimates report that companies lose 5% of their revenue to occupational fraud. Since most medium-sized and large companies employ Enterprise Resource Planning (ERP) systems to track vast amounts of information regarding their business process, researchers have in the past shown interest in automatically detecting fraud through ERP system data. Current research in this area, however, is hindered by the fact that ERP system data is not publicly available for the development and comparison of fraud detection methods. We therefore endeavour to generate public ERP system data that includes both normal business operation and fraud. We propose a strategy for generating ERP system data through a serious game, model a variety of fraud scenarios in cooperation with auditing experts, and generate data from a simulated make-to-stock production company with multiple research participants. We aggregate the generated data into ready to used datasets for fraud detection in ERP systems, and supply both the raw and aggregated data to the general public to allow for open development and comparison of fraud detection approaches on ERP system data.


title: From Dimension-Free Manifolds to Dimension-varying Control Systems

abstract: Starting from the vector multipliers, the inner product, norm, distance, as well as addition of two vectors of different dimensions are proposed, which makes the spaces into a topological vector space, called the Euclidean space of different dimension (ESDD). An equivalence is obtained via distance. As a quotient space of ESDDs w.r.t. equivalence, the dimension-free Euclidean spaces (DFESs) and dimension-free manifolds (DFMs) are obtained, which have bundled vector spaces as its tangent space at each point. Using the natural projection from a ESDD to a DFES, a fiber bundle structure is obtained, which has ESDD as its total space and DFES as its base space. Classical objects in differential geometry, such as smooth functions, (co-)vector fields, tensor fields, etc., have been extended to the case of DFMs with the help of projections among different dimensional Euclidean spaces. Then the dimension-varying dynamic systems (DVDSs) and dimension-varying control systems (DVCSs) are presented, which have DFM as their state space. The realization, which is a lifting of DVDSs or DVCSs from DFMs into ESDDs, and the projection of DVDSs or DVCSs from ESDDs onto DFMs are investigated.


title: When Traceability Goes Awry: an Industrial Experience Report

abstract: The concept of traceability between artifacts is considered an enabler for software project success. This concept has received plenty of attention from the research community and is by many perceived to always be available in an industrial setting. In this industry-academia collaborative project, a team of researchers, supported by testing practitioners from a large telecommunication company, sought to investigate the partner company's issues related to software quality. However, it was soon identified that the fundamental traceability links between requirements and test cases were missing. This lack of traceability impeded the implementation of a solution to help the company deal with its quality issues. In this experience report, we discuss lessons learned about the practical value of creating and maintaining traceability links in complex industrial settings and provide a cautionary tale for researchers.


title: Meet You Halfway: Explaining Deep Learning Mysteries

abstract: Deep neural networks perform exceptionally well on various learning tasks with state-of-the-art results. While these models are highly expressive and achieve impressively accurate solutions with excellent generalization abilities, they are susceptible to minor perturbations. Samples that suffer such perturbations are known as "adversarial examples". Even though deep learning is an extensively researched field, many questions about the nature of deep learning models remain unanswered. In this paper, we introduce a new conceptual framework attached with a formal description that aims to shed light on the network's behavior and interpret the behind-the-scenes of the learning process. Our framework provides an explanation for inherent questions concerning deep learning. Particularly, we clarify: (1) Why do neural networks acquire generalization abilities? (2) Why do adversarial examples transfer between different models?. We provide a comprehensive set of experiments that support this new framework, as well as its underlying theory.


title: Early evolution of fully convective stars in scalar-tensor gravity

abstract: In this work, the early evolution of low-mass fully convective stars is studied in the context of DHOST (degenerate higher order scalar-tensor) theories of gravity. Although it is known that the hydrostatic equilibrium equation is modified for scalar-tensor gravity, the consequent modifications to the early evolution phases of a star were not explored in this framework. With this in mind, we consider three evolutionary phases - contraction to the main sequence, lithium burning and entrance to the main sequence - and investigate how each of these phases is affected by the theory's parameter. Taking these effects into account, we are able to show, among other things, that the Hayashi tracks are shifted and the star's age is considerably modified.


title: Joint Encoder-Decoder Self-Supervised Pre-training for ASR

abstract: Self-supervised learning (SSL) has shown tremendous success in various speech-related downstream tasks, including Automatic Speech Recognition (ASR). The output embeddings of the SSL model are treated as powerful short-time representations of the speech signal. However, in the ASR task, the main objective is to get the correct sequence of acoustic units, characters, or byte-pair encodings (BPEs). Usually, encoder-decoder architecture works exceptionally well for a sequence-to-sequence task like ASR. Therefore, in this paper, we propose a new paradigm that exploits the power of a decoder during self-supervised learning. We use Hidden Unit BERT (HuBERT) SSL framework to compute the conventional masked prediction loss for the encoder. In addition, we have introduced a decoder in the SSL framework and proposed a target preparation strategy for the decoder. Finally, we use a multitask SSL setup wherein we jointly optimize both the encoder and decoder losses. We hypothesize that the presence of a decoder in the SSL model helps it learn an acoustic unit-based language model, which might improve the performance of an ASR downstream task. We compare our proposed SSL model with HuBERT and show up to 25% relative improvement in performance on ASR by finetuning on various LibriSpeech subsets.


abstract: We study $SU(4)_C \times SU(2)_L \times U(1)_R$ models with modular $A_4$ symmetry that provide unified description of the quark and lepton sector including the flavor structures. The models are distinguished by the assignments of the modular weight on matter superfields. We carry out numerical $\chi^2$ analysis and search for parameter sets that accomodate the experimental results. We provide a benchmark point for each model to illustrate implications of our models.


title: Global dynamics visualisation from Lagrangian Descriptors. Applications to discrete and continuous systems

abstract: This paper introduces a new global dynamics and chaos indicator based on the method of Lagrangian Descriptor apt for discriminating ordered and deterministic chaotic motions in multidimensional systems. The selected implementation of this method requires only the knowledge of orbits on finite time windows and is free of the computation of the tangent vector dynamics (i.e., variational equations are not needed). To demonstrate its ability in visualising different dynamical behaviors, in particular for highlighting chaotic regions, several stability maps of classical systems, obtained with different phase space methods, are reproduced. The benchmark examples are rooted in discrete and continuous nearly-integrable dynamical systems, with prominent features played by resonances. These include the Chirikov standard map, higher dimensional symplectic and volume preserving maps, fundamental models of resonances, and a 3 degrees-of-freedom nearly-integrable Hamiltonian system with a dense web of resonances. The indicator thus appears to be relevant for understanding phase space transport mediated by resonances in nearly-integrable system, as ubiquitous in celestial mechanics or astrodynamics.


title: Bounded Rationality and Animal Spirits: A Fluctuation-Response Approach to Slutsky Matrices

abstract: The Slutsky equation, central in consumer choice theory, is derived from the usual hypotheses underlying most standard models in Economics, such as full rationality, homogeneity, and absence of interactions. We present a statistical physics framework that allows us to relax such assumptions. We first derive a general fluctuation-response formula that relates the Slutsky matrix to spontaneous fluctuations of consumption rather than to response to changing prices and budget. We then show that, within our hypotheses, the symmetry of the Slutsky matrix remains valid even when agents are only boundedly rational but non-interacting. We then propose a model where agents are influenced by the choice of others, leading to a phase transition beyond which consumption is dominated by herding (or `"fashion") effects. In this case, the individual Slutsky matrix is no longer symmetric, even for fully rational agents. The vicinity of the transition features a peak in asymmetry.


title: Size effects in micro and nanoscale materials fracture

abstract: Micro and nanoscale materials have remarkable mechanical properties, such as enhanced strength and toughness, but usually display sample-to-sample fluctuations and non-trivial size effects, a nuisance for engineering applications and an intriguing problem for science. Our understanding of size-effects in small-scale materials has progressed considerably in the past few years thanks to a growing number of experimental measurements on carbon based nanomaterials, such as graphene carbon nanotubes, and on crystalline and amorphous micro/nanopillars and micro/nanowires. At the same time, increased computational power allowed atomistic simulations to reach experimentally relevant sample sizes. From the theoretical point of view, the standard analysis and interpretation of experimental and computational data relies on traditional extreme value theories developed decades ago for macroscopic samples, with recent work extending some of the limiting assumptions of the original theories. In this review, we discuss the recent experimental and numerical literature on micro and nanoscale fracture size effects, illustrate existing theories pointing out their advantages and limitations and finally provide a tutorial for analyzing fracture data from micro and nanoscale samples. We discuss a broad spectrum of materials but provide at the same time a unifying theoretical framework that should be helpful for materials scientists working on micro and nanoscale mechanics.


title: Efficient computational methods for rovibrational transition rates in molecular collisions

abstract: Astrophysical modeling of processes in environments that are not in local thermal equilibrium requires the knowledge of state-to-state rate coefficients of rovibrational transitions in molecular collisions. These rate coefficients can be obtained from coupled-channel (CC) quantum scattering calculations which are very demanding, however. Here we present various approximate, but more efficient methods based on the coupled-states approximation (CSA) which neglects the off-diagonal Coriolis coupling in the scattering Hamiltonian in body-fixed coordinates. In particular, we investigated a method called NNCC (nearest-neighbor Coriolis coupling) [D. Yang, X. Hu, D. H. Zhang, and D. Xie, J. Chem. Phys. 148, 084101 (2018)] that includes Coriolis coupling to first order. The NNCC method is more demanding than the common CSA method, but still much more efficient than full CC calculations, and it is substantially more accurate than CSA. All of this is illustrated by showing state-to-state cross sections and rate coefficients of rovibrational transitions induced in CO$_2$ by collisions with He atoms. It is also shown that a further reduction of CPU time, practically without loss of accuracy, can be obtained by combining the NNCC method with the multi-channel distorted-wave Born approximation (MC-DWBA) that we applied in full CC calculations in a previous paper.

categories: physics.chem-ph cs.NA math.NA physics.atom-ph quant-ph


title: Towards Understanding Graph Neural Networks: An Algorithm Unrolling Perspective

abstract: The graph neural network (GNN) has demonstrated its superior performance in various applications. The working mechanism behind it, however, remains mysterious. GNN models are designed to learn effective representations for graph-structured data, which intrinsically coincides with the principle of graph signal denoising (GSD). Algorithm unrolling, a "learning to optimize" technique, has gained increasing attention due to its prospects in building efficient and interpretable neural network architectures. In this paper, we introduce a class of unrolled networks built based on truncated optimization algorithms (e.g., gradient descent and proximal gradient descent) for GSD problems. They are shown to be tightly connected to many popular GNN models in that the forward propagations in these GNNs are in fact unrolled networks serving specific GSDs. Besides, the training process of a GNN model can be seen as solving a bilevel optimization problem with a GSD problem at the lower level. Such a connection brings a fresh view of GNNs, as we could try to understand their practical capabilities from their GSD counterparts, and it can also motivate designing new GNN models. Based on the algorithm unrolling perspective, an expressive model named UGDGNN, i.e., unrolled gradient descent GNN, is further proposed which inherits appealing theoretical properties. Extensive numerical simulations on seven benchmark datasets demonstrate that UGDGNN can achieve superior or competitive performance over the state-of-the-art models.


title: Early Transferability of Adversarial Examples in Deep Neural Networks

abstract: This paper will describe and analyze a new phenomenon that was not known before, which we call "Early Transferability". Its essence is that the adversarial perturbations transfer among different networks even at extremely early stages in their training. In fact, one can initialize two networks with two different independent choices of random weights and measure the angle between their adversarial perturbations after each step of the training. What we discovered was that these two adversarial directions started to align with each other already after the first few training steps (which typically use only a small fraction of the available training data), even though the accuracy of the two networks hadn't started to improve from their initial bad values due to the early stage of the training. The purpose of this paper is to present this phenomenon experimentally and propose plausible explanations for some of its properties.


title: Decoding the X-ray flare from MAXI J0709-159 using optical spectroscopy and multi-epoch photometry

abstract: We present a follow-up study on the recent detection of two X-ray flaring events by MAXI/GSC observations in soft and hard X-rays from MAXI J0709-159 in the direction of HD 54786 (LY CMa), on 2022 January 25. The X-ray luminosity during the flare was around 10^(37) erg/s (MAXI), which got reduced to 10^(32) erg/s (NuSTAR) after the flare. We took low-resolution spectra of HD 54786 from HCT and VBT facilities in India, on 2022 February 1 and 2. In addition to H-alpha emission, we found emission lines of He I in the optical spectrum of this star. By comparing our spectrum of the object with those from literature we found that He I lines show variability. Using photometric study we estimate that the star is having effective temperature of 20000 K. Although HD 54786 is reported as a supergiant in previous studies, our analysis favours it to be evolving off the main sequence in the Color-Magnitude Diagram. We could not detect any infrared excess, ruling out the possibility of IR emission from a dusty circumstellar disc. Our present study suggests that HD 54786 is a Be/X-ray binary system with a compact object companion, possibly a neutron star.


title: Magneto-topological transitions in multicomponent superconductors

abstract: Multi-component spin-singlet superconductors with competing 0- and $\pi$-pairing couplings, as in $s_{++}$ and $s_{\pm}$ phases, are close to instabilities with a spontaneous breaking of time-reversal symmetry. We demonstrate that the modification of the kinetic energy of superconducting electrons in a doubly connected superconducting cylinder, determined by the applied flux, generally drives transitions from chiral superconducting states to configurations that are time-reversal symmetric. This magneto-topological-induced changeover is investigated by means of a Ginzburg-Landau approach for a two-band superconductor with interband interactions and impurity scattering investigated for the case of a sample in the form of a mesoscopically thin-walled cylinder. We find that the application of a magnetic flux can convert a chiral $s_{\pm}+is_{++}$ state into a $s_{\pm}$ configuration and vice versa or tune the energy splitting of chiral states having inequivalent pairing amplitudes. We discuss signatures for the detection of these phases and of the corresponding transitions in mesoscopic superconducting loops.


title: Individually Fair Learning with One-Sided Feedback

abstract: We consider an online learning problem with one-sided feedback, in which the learner is able to observe the true label only for positively predicted instances. On each round, $k$ instances arrive and receive classification outcomes according to a randomized policy deployed by the learner, whose goal is to maximize accuracy while deploying individually fair policies. We first extend the framework of Bechavod et al. (2020), which relies on the existence of a human fairness auditor for detecting fairness violations, to instead incorporate feedback from dynamically-selected panels of multiple, possibly inconsistent, auditors. We then construct an efficient reduction from our problem of online learning with one-sided feedback and a panel reporting fairness violations to the contextual combinatorial semi-bandit problem (Cesa-Bianchi & Lugosi, 2009, Gy\"{o}rgy et al., 2007). Finally, we show how to leverage the guarantees of two algorithms in the contextual combinatorial semi-bandit setting: Exp2 (Bubeck et al., 2012) and the oracle-efficient Context-Semi-Bandit-FTPL (Syrgkanis et al., 2016), to provide multi-criteria no regret guarantees simultaneously for accuracy and fairness. Our results eliminate two potential sources of bias from prior work: the "hidden outcomes" that are not available to an algorithm operating in the full information setting, and human biases that might be present in any single human auditor, but can be mitigated by selecting a well chosen panel.


title: Measurement of Magnetic Susceptibility of Diamagnetic Liquids Exploiting the Moses Effect

abstract: A novel comparative technique enabling measurement of the magnetic susceptibility of diamagnetic liquids with the "Moses effect" is presented. The technique is based on the experimental establishment of the deformation of the liquid/vapor interface by a steady magnetic field. The deformation of the liquid surface by a modest magnetic field $(B\sim 0.60T)$ is measured with an optical technique. The surface tension of the liquid is taken into account. The magnetic susceptibilities of the investigated liquids (Ethanol and Glycerol) were calculated from the maximal slope of the liquid/air interface. The suggested approach yields an accuracy on the order of about $0.4-0.6\%$ and hence is superior to previous methods which used the \textquotedblleft Moses effect\textquotedblright\ for the same purpose.


title: Receding Horizon Inverse Reinforcement Learning

abstract: Inverse reinforcement learning (IRL) seeks to infer a cost function that explains the underlying goals and preferences of expert demonstrations. This paper presents receding horizon inverse reinforcement learning (RHIRL), a new IRL algorithm for high-dimensional, noisy, continuous systems with black-box dynamic models. RHIRL addresses two key challenges of IRL: scalability and robustness. To handle high-dimensional continuous systems, RHIRL matches the induced optimal trajectories with expert demonstrations locally in a receding horizon manner and 'stitches' together the local solutions to learn the cost; it thereby avoids the 'curse of dimensionality'. This contrasts sharply with earlier algorithms that match with expert demonstrations globally over the entire high-dimensional state space. To be robust against imperfect expert demonstrations and control noise, RHIRL learns a state-dependent cost function 'disentangled' from system dynamics under mild conditions. Experiments on benchmark tasks show that RHIRL outperforms several leading IRL algorithms in most instances. We also prove that the cumulative error of RHIRL grows linearly with the task duration.


title: Mass-Spectroscopy of hidden charm and hidden strange tetraquarks in diquark-antidiquark approach

abstract: We investigated the four-quark systems with quark structures of $cs\bar{c}\bar{s}$, $cq\bar{c}\bar{s}$, $bs\bar{b}\bar{s}$, and $bq\bar{b}\bar{s}$ in the framework of the non-relativistic quark model, motivated by the recent observation of exotic resonances X(4140), X(4274), X(4350), X(4500), and X(4700) reported by several experiment collaborations. The colour antitriplet-triplet configuration of diquark-antidiquark combinations with all conceivable quantum numbers have been used to calculate their masses. The results reveal that if the colour structure of the diquark-antidiquark configuration is $\bar{3}_{c} \otimes 3$, the tetraquarks structures may occur otherwise may observed as resonance. The X(4274) state, can be defined as the $J^{PC}$=$2^{++}$ tetraquark state, while the X(4140) state can be regarded as the $J^{PC}$=$1^{++}$ tetraquark state in this calculation. When radial excitation is considered, X(4700) may be explained as a 2S radial excited tetraquark state with $J^{PC}$=$0^{++}$. The orbitally excited states Y(4626), Y(4630) and Y(4660) can be explained as P-wave tetraquark with quantum number $1^{--}$. The masses of [$bs\bar{b}\bar{s}$] and [$bq\bar{b}\bar{s}$] are found to be in the range between 10.5 GeV- 11.5 GeV and are very close to two-meson thresholds.


title: BSM loss: A superior way in modeling aleatory uncertainty of fine_grained classification

abstract: Artificial intelligence(AI)-assisted method had received much attention in the risk field such as disease diagnosis. Different from the classification of disease types, it is a fine-grained task to classify the medical images as benign or malignant. However, most research only focuses on improving the diagnostic accuracy and ignores the evaluation of model reliability, which limits its clinical application. For clinical practice, calibration presents major challenges in the low-data regime extremely for over-parametrized models and inherent noises. In particular, we discovered that modeling data-dependent uncertainty is more conducive to confidence calibrations. Compared with test-time augmentation(TTA), we proposed a modified Bootstrapping loss(BS loss) function with Mixup data augmentation strategy that can better calibrate predictive uncertainty and capture data distribution transformation without additional inference time. Our experiments indicated that BS loss with Mixup(BSM) model can halve the Expected Calibration Error(ECE) compared to standard data augmentation, deep ensemble and MC dropout. The correlation between uncertainty and similarity of in-domain data is up to -0.4428 under the BSM model. Additionally, the BSM model is able to perceive the semantic distance of out-of-domain data, demonstrating high potential in real-world clinical practice.


title: Comparison Study of Inertial Sensor Signal Combination for Human Activity Recognition based on Convolutional Neural Networks

abstract: Human Activity Recognition (HAR) is one of the essential building blocks of so many applications like security, monitoring, the internet of things and human-robot interaction. The research community has developed various methodologies to detect human activity based on various input types. However, most of the research in the field has been focused on applications other than human-in-the-centre applications. This paper focused on optimising the input signals to maximise the HAR performance from wearable sensors. A model based on Convolutional Neural Networks (CNN) has been proposed and trained on different signal combinations of three Inertial Measurement Units (IMU) that exhibit the movements of the dominant hand, leg and chest of the subject. The results demonstrate k-fold cross-validation accuracy between 99.77 and 99.98% for signals with the modality of 12 or higher. The performance of lower dimension signals, except signals containing information from both chest and ankle, was far inferior, showing between 73 and 85% accuracy.


title: SLE$_\kappa(\rho)$ bubble measures

abstract: For $\kappa>0$ and $\rho>-2$, we construct a $\sigma$-finite measure, called a rooted SLE$_\kappa(\rho)$ bubble measure, on the space of curves in the upper half plane $\mathbb H$ started and ended at the same boundary point, which satisfies some SLE$_\kappa(\rho)$-related domain Markov property, and is the weak limit of SLE$_\kappa(\rho)$ curves in $\mathbb H$ with the two endpoints both tending to the root. For $\kappa\in(0,8)$ and $\rho\in ((-2)\vee(\frac\kappa 2-4),\frac\kappa 2-2)$, we derive decomposition theorems for the rooted SLE$_\kappa(\rho)$ bubble with respect to the Minkowski content measure of the intersection of the rooted SLE$_\kappa(\rho)$ bubble with $\mathbb R$, and construct unrooted SLE$_\kappa(\rho)$ bubble measures.


title: Gauge flavour unification: from the flavour puzzle to stable protons

abstract: The idea of unification attempts to explain the structure of the Standard Model (SM) in terms of fewer fundamental forces and/or matter fields. However, traditional grand unified theories based on $SU(5)$ and $\mathrm{Spin}(10)$ shed no light on the existence of three generations of fermions, nor the distinctive pattern of their Yukawa couplings to the Higgs. We discuss two routes for unifying the SM gauge symmetry with its flavour symmetries: firstly, unifying flavour with electroweak symmetries via the group $SU(4) \times Sp(6)_L \times Sp(6)_R$; secondly, unifying flavour and colour via $SU(12) \times SU(2)_L \times SU(2)_R$. In either case, all three generations of SM fermions are unified into just two fundamental fields. In the larger part of this proceeding, we describe how the former model of `electroweak flavour unification' offers a new explanation of hierarchical fermion masses and CKM angles. As a postscript, we show that gauge flavour unification can have unexpected spin-offs not obviously related to flavour. In particular, the $SU(12) \times SU(2)_L \times SU(2)_R$ symmetry, when broken, can leave behind remnant discrete gauge symmetries that exactly stabilize protons to all orders.


title: Characterizing spatial point processes by percolation transitions

abstract: A set of discrete individual points located in an embedding continuum space can be seen as percolating or non-percolating, depending on the radius of the discs/spheres associated with each of them. This problem is relevant in theoretical ecology to analyze, e.g., the spatial percolation of a tree species in a tropical forest or a savanna. Here, we revisit the problem of aggregating random points in continuum systems (from $2$ to $6-$dimensional Euclidean spaces) to analyze the nature of the corresponding percolation transition in spatial point processes. This problem finds a natural description in terms of the canonical ensemble but not in the usual grand-canonical one, customarily employed to describe percolation transitions. This leads us to analyze the question of ensemble equivalence and study whether the resulting canonical continuum percolation transition shares its universal properties with standard percolation transitions, analyzing diverse homogeneous and heterogeneous spatial point processes. We, therefore, provide a powerful tool to characterize and classify a vast class of natural point patterns, revealing their fundamental properties based on percolation phase transitions.

categories: cond-mat.stat-mech cond-mat.dis-nn physics.comp-ph q-bio.PE


title: Two-dimensional modeling of the tearing-mode-governed magnetic reconnection in the large-scale current sheet above the two-ribbon flare

abstract: We attempt to model magnetic reconnection during the two-ribbon flare in the gravitationally stratified solar atmosphere with the Lundquist number of $S=10^6$ using 2D simulations. We found that the tearing mode instability leads to the inhomogeneous turbulence inside the reconnecting current sheet (CS) and invokes the fast phase of reconnection. Fast reconnection brings an extra dissipation of magnetic field which enhances the reconnection rate in an apparent way. The energy spectrum in the CS shows the power-law pattern and the dynamics of plasmoids governs the associated spectral index. We noticed that the energy dissipation occurs at a scale $l_{ko}$ of 100-200~km, and the associated CS thickness ranges from 1500 to 2500~km, which follows the Taylor scale $l_T=l_{ko} S^{1/6}$. The termination shock(TS) appears in the turbulent region above flare loops, which is an important contributor to heating flare loops. Substantial magnetic energy is converted into both kinetic and thermal energies via TS, and the cumulative heating rate is greater than the rate of the kinetic energy transfer. In addition, the turbulence is somehow amplified by TS, of which the amplitude is related to the local geometry of the TS.


title: Experimental Observation of Berry Phases in Optical Moebius-strip Microcavities

abstract: The Moebius strip, as a fascinating loop structure with one-sided topology, provides a rich playground for manipulating the non-trivial topological behavior of spinning particles, such as electrons, polaritons, and photons in both real and parameter spaces. For photons resonating in a Moebius-strip cavity, the occurrence of an extra phase, known as Berry phase, with purely topological origin is expected due to its non-trivial evolution in the parameter space. However, despite numerous theoretical investigations, characterizing optical Berry phase in a Moebius-strip cavity has remained elusive. Here we report the experimental observation of Berry phase generated in optical Moebius-strip microcavities. In contrast to theoretical predictions in optical, electronic, and magnetic Moebius-topology systems where only Berry phase {\pi} occurs, we demonstrate that variable Berry phase smaller than {\pi} can be acquired by generating elliptical polarization of resonating light. Moebius-strip microcavities as integrable and Berry-phase-programmable optical systems are of great interest in topological physics and emerging classical or quantum photonic applications.


title: Data-Efficient Brain Connectome Analysis via Multi-Task Meta-Learning

abstract: Brain networks characterize complex connectivities among brain regions as graph structures, which provide a powerful means to study brain connectomes. In recent years, graph neural networks have emerged as a prevalent paradigm of learning with structured data. However, most brain network datasets are limited in sample sizes due to the relatively high cost of data acquisition, which hinders the deep learning models from sufficient training. Inspired by meta-learning that learns new concepts fast with limited training examples, this paper studies data-efficient training strategies for analyzing brain connectomes in a cross-dataset setting. Specifically, we propose to meta-train the model on datasets of large sample sizes and transfer the knowledge to small datasets. In addition, we also explore two brain-network-oriented designs, including atlas transformation and adaptive task reweighing. Compared to other pre-training strategies, our meta-learning-based approach achieves higher and stabler performance, which demonstrates the effectiveness of our proposed solutions. The framework is also able to derive new insights regarding the similarities among datasets and diseases in a data-driven fashion.


title: Human Activity Recognition from Knee Angle Using Machine Learning Techniques

abstract: Human Activity Recognition (HAR) is a crucial technology for many applications such as smart homes, surveillance, human assistance and health care. This technology utilises pattern recognition and can contribute to the development of human-in-the-loop control of different systems such as orthoses and exoskeletons. The majority of reported studies use a small dataset collected from an experiment for a specific purpose. The downsides of this approach include: 1) it is hard to generalise the outcome to different people with different biomechanical characteristics and health conditions, and 2) it cannot be implemented in applications other than the original experiment. To address these deficiencies, the current study investigates using a publicly available dataset collected for pathology diagnosis purposes to train Machine Learning (ML) algorithms. A dataset containing knee motion of participants performing different exercises has been used to classify human activity. The algorithms used in this study are Gaussian Naive Bayes, Decision Tree, Random Forest, K-Nearest Neighbors Vote, Support Vector Machine and Gradient Boosting. Furthermore, two training approaches are compared to raw data (de-noised) and manually extracted features. The results show up to 0.94 performance of the Area Under the ROC Curve (AUC) metric for 11-fold cross-validation for Gradient Boosting algorithm using raw data. This outcome reflects the validity and potential use of the proposed approach for this type of dataset.


title: Spin echo silencing using a current-biased frequency-tunable resonator

abstract: The ability to control microwave emission from a spin ensemble is a requirement of several quantum memory protocols. Here, we demonstrate such ability by using a resonator whose frequency can be rapidly tuned with a bias current. We store excitations in an ensemble of rare-earth-ions and suppress on-demand the echo emission (`echo silencing') by two methods: 1) detuning the resonator during the spin rephasing, and 2) subjecting spins to magnetic field gradients generated by the bias current itself. We also show that spin coherence is preserved during silencing.


title: Holistic Verification of Blockchain Consensus

abstract: Blockchain has recently attracted the attention of the industry due, in part, to its ability to automate asset transfers. It requires distributed participants to reach a consensus on a block despite the presence of malicious (a.k.a. Byzantine) participants. Malicious participants exploit regularly weaknesses of these blockchain consensus algorithms, with sometimes devastating consequences. In fact, these weaknesses are quite common and are well illustrated by the flaws in the hand-written proofs of existing blockchain consensus protocols [63]. Paradoxically, until now, no blockchain consensus has been holistically verified using model checking. In this paper, we remedy this paradox by model checking for the first time a blockchain consensus used in industry. We propose a holistic approach to verify the consensus algorithm of the Red Belly Blockchain [20], for any number $n$ of processes and any number $f<n/3$ of Byzantine processes. We decompose directly the algorithm pseudocode in two parts -- an inner broadcast algorithm and an outer decision algorithm -- each modelled as a threshold automaton [36], and we formalize their expected properties in linear-time temporal logic. We then automatically check the inner broadcasting algorithm, under a carefully identified fairness assumption. For the verification of the outer algorithm, we simplify the model of the inner algorithm by relying on its checked properties. Doing so, we formally verify not only the safety properties of the Red Belly Blockchain consensus but also its liveness in about 70 seconds.


title: Redundancy in Deep Linear Neural Networks

abstract: Conventional wisdom states that deep linear neural networks benefit from expressiveness and optimization advantages over a single linear layer. This paper suggests that, in practice, the training process of deep linear fully-connected networks using conventional optimizers is convex in the same manner as a single linear fully-connected layer. This paper aims to explain this claim and demonstrate it. Even though convolutional networks are not aligned with this description, this work aims to attain a new conceptual understanding of fully-connected linear networks that might shed light on the possible constraints of convolutional settings and non-linear architectures.


title: Distributionally Preference Robust Optimization in Multi-Attribute Decision Making

abstract: Utility preference robust optimization (PRO) has recently been proposed to deal with optimal decision making problems where the decision maker's (DM) preference over gains and losses is ambiguous. In this paper, we take a step further to investigate the case that the DM's preference is not only ambiguous but also potentially inconsistent or even displaying some kind of randomness. We propose a distributionally preference robust optimization (DPRO) approach where the DM's preference is represented by a random utility function and the ambiguity is described by a set of probability distributions of the random utility. An obvious advantage of the new DPRO model is that it no longer concerns the DM's preference inconsistency. In the case when the random utility functions are of piecewise linear structure, we propose two statistical methods for constructing the ambiguity set: an ellipsoidal method and a bootstrap method both of which are fundamentally based on the idea of confidence region with the sample mean of the random parameters, and demonstrate how the resulting DPRO can be solved by a cutting surface algorithm and an MISOCP respectively. We also show how the DPRO models with general random utility functions may be approximated by those with piecewise linear random utility functions. Finally, we apply the proposed DPRO model in car manufacturing and facility location planning and show how the random samples may be extracted by multinomial logit method and conjoint analysis/machine learning. The paper is the first attempt to use distributionally robust optimization methods for PRO.


title: Metastability results for a class of linear Boltzmann equations

abstract: We consider a semiclassical linear Boltzmann model with a non local collision operator. We provide sharp spectral asymptotics for the small spectrum in the low temperature regime from which we deduce the rate of return to equilibrium as well as a metastability result. The main ingredients are resolvent estimates obtained via hypocoercive techniques and the construction of sharp Gaussian quasimodes through an adaptation of the WKB method.


title: Subgraph densities in Markov spaces

abstract: We generalize subgraph densities, arising in dense graph limit theory, to Markov spaces (symmetric measures on the square of a standard Borel space). More generally, we define an analogue of the set of homomorphisms in the form of a measure on maps of a finite graph into a Markov space. The existence of such homomorphism measures is not always guaranteed, but can be established under rather natural smoothness conditions on the Markov space and sparseness conditions on the graph. This continues a direction in graph limit theory in which such measures are viewed as limits of graph sequences.


title: Multi-state quantum simulations via model-space quantum imaginary time evolution

abstract: We introduce the framework of model space into quantum imaginary time evolution (QITE) to enable stable estimation of ground and excited states using a quantum computer. Model-space QITE (MSQITE) propagates a model space to the exact one by retaining its orthogonality, and hence is able to describe multiple states simultaneously. The quantum Lanczos (QLanczos) algorithm is extended to MSQITE to accelerate the convergence. The present scheme is found to outperform both the standard QLanczos and the recently proposed folded-spectrum QITE in simulating excited states. Moreover, we demonstrate that spin contamination can be effectively removed by shifting the imaginary time propagator, and thus excited states with a particular spin quantum number are efficiently captured without falling into the different spin states that have lower energies. We also investigate how different levels of the unitary approximation employed in MSQITE can affect the results. The effectiveness of the algorithm over QITE is demonstrated by noise simulations for the H4 model system.


title: Characteristic forms of complex Cartan geometries III: G-structures

abstract: Characteristic class relations in Dolbeault cohomology follow from the existence of a holomorphic geometric structure (for example, holomorphic conformal structures, holomorphic Engel distributions, holomorphic projective connections, and holomorphic foliations). These relations can be calculated directly from the representation theory of the structure group, without selecting any metric or connection or having any knowledge of the Dolbeault cohomology groups of the manifold. This paper improves on its predecessor [17] by allowing infinite type geometric structures.


title: Mitigating Modality Collapse in Multimodal VAEs via Impartial Optimization

abstract: A number of variational autoencoders (VAEs) have recently emerged with the aim of modeling multimodal data, e.g., to jointly model images and their corresponding captions. Still, multimodal VAEs tend to focus solely on a subset of the modalities, e.g., by fitting the image while neglecting the caption. We refer to this limitation as modality collapse. In this work, we argue that this effect is a consequence of conflicting gradients during multimodal VAE training. We show how to detect the sub-graphs in the computational graphs where gradients conflict (impartiality blocks), as well as how to leverage existing gradient-conflict solutions from multitask learning to mitigate modality collapse. That is, to ensure impartial optimization across modalities. We apply our training framework to several multimodal VAE models, losses and datasets from the literature, and empirically show that our framework significantly improves the reconstruction performance, conditional generation, and coherence of the latent space across modalities.


title: Spectrum of light nuclei in a finite volume

abstract: Lattice quantum chromodynamics calculations of multi-baryon systems with physical quark masses would start a new age of ab initio predictions in nuclear physics. Performed on a finite grid, such calculations demand extrapolation of their finite volume numerical results to free-space physical quantities. Such extraction of the physical information can be carried out fitting effective field theories (EFTs) directly to the finite-volume results or utilizing the L\"uscher free-space formula or its generalizations for extrapolating the lattice data to infinite volume. To understand better the effect of periodic boundary conditions on the binding energy of few nucleon systems we explore here light nuclei with physical masses in a finite box and in free space. The stochastic variational method is used to solve the few-body systems. Substantial optimizations of the method are introduced to enable efficient calculations in a periodic box. With the optimized code, we perform accurate calculations of light nuclei $A \le 4$ within leading order pionless EFT. Using L\"uscher formula for the two-body system, and its generalization for 3- and 4-body systems, we examine the box effect and explore possible limitations of these formulas for the considered nuclear systems.


title: Abstract message passing and distributed graph signal processing

abstract: Graph signal processing is a framework to handle graph structured data. The fundamental concept is graph shift operator, giving rise to the graph Fourier transform. While the graph Fourier transform is a centralized procedure, distributed graph signal processing algorithms are needed to address challenges such as scalability and privacy. In this paper, we develop a theory of distributed graph signal processing based on the classical notion of message passing. However, we generalize the definition of a message to permit more abstract mathematical objects. The framework provides an alternative point of view that avoids the iterative nature of existing approaches to distributed graph signal processing. Moreover, our framework facilitates investigating theoretical questions such as solubility of distributed problems.


title: Thermally-induced qubit coherence in quantum electromechanics

abstract: Quantum coherence, the ability of a quantum system to be in a superposition of orthogonal quantum states, is a distinct feature of the quantum mechanics, thus marking a deviation from classical physics. Coherence finds its applications in quantum sensing and metrology, quantum thermodynamics and computation. A particularly interesting is the possibility to observe coherence arising in counter-intuitive way from thermal energy that is without implementation of intricate protocols involving coherent driving sequences. In this manuscript, we investigate quantum coherence emerging in a hybrid system composed of a two-level system (qubit) and a thermal quantum harmonic oscillator (a material mechanical oscillator), inspired by recent experimental progress in fabrication of such systems. We show that quantum coherence is created in such a composite system solely from the interaction of the parts and persists under relevant damping. Implementation of such scheme will demonstrate previously unobserved mechanisms of coherence generation and can be beneficial for hybrid quantum technologies with mechanical oscillators and qubits.


title: Unlearning Protected User Attributes in Recommendations with Adversarial Training

abstract: Collaborative filtering algorithms capture underlying consumption patterns, including the ones specific to particular demographics or protected information of users, e.g. gender, race, and location. These encoded biases can influence the decision of a recommendation system (RS) towards further separation of the contents provided to various demographic subgroups, and raise privacy concerns regarding the disclosure of users' protected attributes. In this work, we investigate the possibility and challenges of removing specific protected information of users from the learned interaction representations of a RS algorithm, while maintaining its effectiveness. Specifically, we incorporate adversarial training into the state-of-the-art MultVAE architecture, resulting in a novel model, Adversarial Variational Auto-Encoder with Multinomial Likelihood (Adv-MultVAE), which aims at removing the implicit information of protected attributes while preserving recommendation performance. We conduct experiments on the MovieLens-1M and LFM-2b-DemoBias datasets, and evaluate the effectiveness of the bias mitigation method based on the inability of external attackers in revealing the users' gender information from the model. Comparing with baseline MultVAE, the results show that Adv-MultVAE, with marginal deterioration in performance (w.r.t. NDCG and recall), largely mitigates inherent biases in the model on both datasets.


title: Investigating the color-suppressed decays $\Lambda_b\rightarrow \Lambda \psi$ in the perturbative QCD approach

abstract: The nonleptonic two-body $\Lambda_b\rightarrow \Lambda\psi $ decays with $\psi=J/\psi$ or $\psi(2S)$ are investigated based on the perturbative QCD approach. These are color-suppressed processes in which the nonfactorizable contributions are confirmed to be dominant. Angular momentum conservation allows us to describe the concerned decays by four independent complex helicity amplitudes. It is observed that the negative-helicity states for the $\Lambda$ baryon are preferred as expected in the left-handed nature of the charged-current interaction. The obtained results for the helicity amplitudes are used to compute the branching ratios and various observable parameters, which are then compared to the existing theoretical predictions and experimental data. In particular, we predict the ratio $\mathcal{R}=\frac{\mathcal{B}(\Lambda_b\rightarrow\Lambda \psi(2S))}{\mathcal{B}(\Lambda_b\rightarrow\Lambda J/\psi)}=0.47^{+0.02}_{-0.00}$ in comparison with $0.508\pm 0.023$ from the Particle Data Group at the level of 1 standard deviation. We also briefly explore the long-distance contributions to the semileptonic $\Lambda_b \rightarrow \Lambda l^+l^-$ decays in the kinematic regions where the dilepton invariant masses are around the $J/\psi$ and $\psi(2S)$ resonances.


title: What is a Good Metric to Study Generalization of Minimax Learners?

abstract: Minimax optimization has served as the backbone of many machine learning (ML) problems. Although the convergence behavior of optimization algorithms has been extensively studied in the minimax settings, their generalization guarantees in stochastic minimax optimization problems, i.e., how the solution trained on empirical data performs on unseen testing data, have been relatively underexplored. A fundamental question remains elusive: What is a good metric to study generalization of minimax learners? In this paper, we aim to answer this question by first showing that primal risk, a universal metric to study generalization in minimization problems, which has also been adopted recently to study generalization in minimax ones, fails in simple examples. We thus propose a new metric to study generalization of minimax learners: the primal gap, defined as the difference between the primal risk and its minimum over all models, to circumvent the issues. Next, we derive generalization error bounds for the primal gap in nonconvex-concave settings. As byproducts of our analysis, we also solve two open questions: establishing generalization error bounds for primal risk and primal-dual risk, another existing metric that is only well-defined when the global saddle-point exists, in the strong sense, i.e., without strong concavity or assuming that the maximization and expectation can be interchanged, while either of these assumptions was needed in the literature. Finally, we leverage this new metric to compare the generalization behavior of two popular algorithms -- gradient descent-ascent (GDA) and gradient descent-max (GDMax) in stochastic minimax optimization.


title: cycle text2face: cycle text-to-face gan via transformers

abstract: Text-to-face is a subset of text-to-image that require more complex architecture due to their more detailed production. In this paper, we present an encoder-decoder model called Cycle Text2Face. Cycle Text2Face is a new initiative in the encoder part, it uses a sentence transformer and GAN to generate the image described by the text. The Cycle is completed by reproducing the text of the face in the decoder part of the model. Evaluating the model using the CelebA dataset, leads to better results than previous GAN-based models. In measuring the quality of the generate face, in addition to satisfying the human audience, we obtain an FID score of 3.458. This model, with high-speed processing, provides quality face images in the short time.


title: Searching for the QCD critical point along the pseudo-critical/freeze-out line using Pad\'e-resummed Taylor expansions of cumulants of conserved charge fluctuations

abstract: Using high-statistics datasets generated in (2+1)-flavor QCD calculations at finite temperature we construct estimators for the radius of convergence from an eighth order series expansion of the pressure as well as the number density. We show that the estimator for pressure and number density will be identical in the asymptotic limit. In the vicinity of the pseudo-critical temperature, $T_{pc}\simeq 156.5$~MeV, we find the estimator of the radius of convergence to be $\mu_B/T \gtrsim\ 3$ for strangeness-neutral matter. We also present results for the pole structure of the Pad\'e approximants for the pressure at non-zero values of the baryon chemical potential and show that the pole structure of the [4,4] Pad\'e is consistent with not having a critical point at temperatures larger than $135~$MeV and a baryon chemical potential smaller than $\mu_B/T \sim \ 2.5$.


title: Generalised Hayward spacetimes: Geometry, matter and scalar quasinormal modes

abstract: Bardeen's 1968 idea of a regular black hole spacetime was revived by Hayward in 2006 through the construction of a new example of such a geometry. Later it was realised by Neves and Saa, that a wider, two-parameter class exists, with Bardeen and Hayward spacetimes as special cases. In this article, we revisit and generalise the Hayward spacetime by applying the Damour-Solodukhin (DS) prescription. Recalling the DS suggestion of a deformed Schwarzschild spacetime where $g_{tt} = -\left (1-\frac{2M_1}{r}\right )$, $g_{rr} = \left (1-\frac{2M_2}{r}\right )^{-1}$ and $M_1\neq M_2$, we propose a similar deformation of the Hayward geometry. The $g_{tt}$ and $g_{rr}$ in the original Hayward line element remain functionally the same, {\em albeit} mutations introduced via differently valued metric parameters, following the DS idea. This results in a plethora of spacetime geometries, known as well as new, and including singular black holes, wormholes or regular black holes. We first study the geometric features and matter content of each of such spacetimes in some detail. Subsequently, we find the scalar quasinormal modes corresponding to scalar wave propagation in these geometries. We investigate how the real and imaginary parts of the quasinormal modes depend on the values and ranges of the metric parameters used to classify the geometries. Finally, we argue how our results on this family of spacetimes suggest their utility as black hole mimickers.


title: Over-extremal brane shells from string theory?

abstract: We demonstrate that, if the usual phenomenological compactifications of IIB string theory with warped throats and anti-branes make sense, there must exist spherical brane shells in 4d that are overcharged. They correspond to classical over-extremal objects but without the usual naked singularities. The objects are made from D3-particles that puff into spherical 5-branes that stabilise at finite radii in 4d and whose inside corresponds to the supersymmetric AdS vacuum. One can think of these shells as stabilised Brown-Teitelboim bubbles. We find that these objects can be significantly larger than the string scale depending on the details of the warped compactification.


title: Software Mitigation of RISC-V Spectre Attacks

abstract: Speculative attacks are still an active threat today that, even if initially focused on the x86 platform, reach across all modern hardware architectures. RISC-V is a newly proposed open instruction set architecture that has seen traction from both the industry and academia in recent years. In this paper we focus on the RISC-V cores where speculation is enabled and, as we show, where Spectre attacks are as effective as on x86. Even though RISC-V hardware mitigations were proposed in the past, they have not yet passed the prototype phase. Instead, we propose low-overhead software mitigations for Spectre-BTI, inspired from those used on the x86 architecture, and for Spectre-RSB, to our knowledge the first such mitigation to be proposed. We show that these mitigations work in practice and that they can be integrated in the LLVM toolchain. For transparency and reproducibility, all our programs and data are made publicly available online.


title: Local generation of entanglement with Redfield dynamics

abstract: In phenomenological applications, time evolutions of Bloch-Redfield type are widely adopted for modelling open system dynamics, despite their non-positive preserving character: this physical inconsistency, that in general shows up at small times, is usually cured by suitably restricting the space of allowed initial states. Nevertheless, additional problems may arise in relation to entanglement: specifically, we show that Redfield dynamics can generate entanglement through a purely local action, and this unphysical effect can persist for finite times.


title: Weak faces and a formula for weights of highest weight modules, via parabolic partial sum property for roots

abstract: Let $\mathfrak{g}$ be a finite or an affine type Lie algebra over $\mathbb{C}$ with root system $\Delta$. We show a parabolic generalization of the partial sum property for $\Delta$, which we term the parabolic partial sum property. It allows any root $\beta$ involving (any) fixed subset $S$ of simple roots, to be written as an ordered sum of roots, each involving exactly one simple root from $S$, with each partial sum also being a root. We show three applications of this property to weights of highest weight $\mathfrak{g}$-modules: (1)~We provide a minimal description for the weights of all non-integrable simple highest weight $\mathfrak{g}$-modules, refining the weight formulas shown by Khare [J. Algebra} 2016] and Dhillon-Khare [Adv. Math. 2017]. (2)~We provide a Minkowski difference formula for the weights of an arbitrary highest weight $\mathfrak{g}$-module. (3)~We completely classify and show the equivalence of two combinatorial subsets - weak faces and 212-closed subsets - of the weights of all highest weight $\mathfrak{g}$-modules. These two subsets were introduced and studied by Chari-Greenstein [Adv. Math. 2009], with applications to Lie theory including character formulas. We also show ($3'$) a similar equivalence for root systems.


title: SsciBERT: A Pre-trained Language Model for Social Science Texts

abstract: The academic literature of social sciences records human civilization and studies human social problems. With its large-scale growth, the ways to quickly find existing research on relevant issues have become an urgent demand for researchers. Previous studies, such as SciBERT, have shown that pre-training using domain-specific texts can improve the performance of natural language processing tasks. However, the pre-trained language model for social sciences is not available so far. In light of this, the present research proposes a pre-trained model based on the abstracts published in the Social Science Citation Index (SSCI) journals. The models, which are available on GitHub (https://github.com/S-T-Full-Text-Knowledge-Mining/SSCI-BERT), show excellent performance on discipline classification, abstract structure-function recognition, and named entity recognition tasks with the social sciences literature.


title: Efficient Human Pose Estimation via 3D Event Point Cloud

abstract: Human Pose Estimation (HPE) based on RGB images has experienced a rapid development benefiting from deep learning. However, event-based HPE has not been fully studied, which remains great potential for applications in extreme scenes and efficiency-critical conditions. In this paper, we are the first to estimate 2D human pose directly from 3D event point cloud. We propose a novel representation of events, the rasterized event point cloud, aggregating events on the same position of a small time slice. It maintains the 3D features from multiple statistical cues and significantly reduces memory consumption and computation complexity, proved to be efficient in our work. We then leverage the rasterized event point cloud as input to three different backbones, PointNet, DGCNN, and Point Transformer, with two linear layer decoders to predict the location of human keypoints. We find that based on our method, PointNet achieves promising results with much faster speed, whereas Point Transfomer reaches much higher accuracy, even close to previous event-frame-based methods. A comprehensive set of results demonstrates that our proposed method is consistently effective for these 3D backbone models in event-driven human pose estimation. Our method based on PointNet with 2048 points input achieves 82.46mm in MPJPE3D on the DHP19 dataset, while only has a latency of 12.29ms on an NVIDIA Jetson Xavier NX edge computing platform, which is ideally suitable for real-time detection with event cameras. Code is available at https://github.com/MasterHow/EventPointPose.


title: Ordered and tunable Majorana-zero-mode lattice in naturally strained LiFeAs

abstract: Majorana zero modes (MZMs) obey non-Abelian statistics and are considered building blocks for constructing topological qubits. Iron-based superconductors with topological band structures have emerged as promising hosting materials, since isolated candidate MZMs in the quantum limit have been observed inside the topological vortex cores. However, these materials suffer from issues related to alloying-induced disorder, uncontrolled vortex lattices and a low yield of topological vortices. Here, we report the formation of an ordered and tunable MZM lattice in naturally-strained stoichiometric LiFeAs by scanning tunneling microscopy/spectroscopy (STM/S). We observe biaxial charge density wave (CDW) stripes along the Fe-Fe and As-As directions in the strained regions. The vortices are pinned on the CDW stripes in the As-As direction and form an ordered lattice. We detect more than 90 percent of the vortices to be topological and possess the characteristics of isolated MZMs at the vortex center, forming an ordered MZM lattice with the density and the geometry tunable by an external magnetic field. Remarkably, with decreasing the spacing of neighboring vortices, the MZMs start to couple with each other. Our findings provide a new pathway towards tunable and ordered MZM lattices as a platform for future topological quantum computation.


title: AAM-Gym: Artificial Intelligence Testbed for Advanced Air Mobility

abstract: We introduce AAM-Gym, a research and development testbed for Advanced Air Mobility (AAM). AAM has the potential to revolutionize travel by reducing ground traffic and emissions by leveraging new types of aircraft such as electric vertical take-off and landing (eVTOL) aircraft and new advanced artificial intelligence (AI) algorithms. Validation of AI algorithms require representative AAM scenarios, as well as a fast time simulation testbed to evaluate their performance. Until now, there has been no such testbed available for AAM to enable a common research platform for individuals in government, industry, or academia. MIT Lincoln Laboratory has developed AAM-Gym to address this gap by providing an ecosystem to develop, train, and validate new and established AI algorithms across a wide variety of AAM use-cases. In this paper, we use AAM-Gym to study the performance of two reinforcement learning algorithms on an AAM use-case, separation assurance in AAM corridors. The performance of the two algorithms is demonstrated based on a series of metrics provided by AAM-Gym, showing the testbed's utility to AAM research.


title: SAR Despeckling using a Denoising Diffusion Probabilistic Model

abstract: Speckle is a multiplicative noise which affects all coherent imaging modalities including Synthetic Aperture Radar (SAR) images. The presence of speckle degrades the image quality and adversely affects the performance of SAR image understanding applications such as automatic target recognition and change detection. Thus, SAR despeckling is an important problem in remote sensing. In this paper, we introduce SAR-DDPM, a denoising diffusion probabilistic model for SAR despeckling. The proposed method comprises of a Markov chain that transforms clean images to white Gaussian noise by repeatedly adding random noise. The despeckled image is recovered by a reverse process which iteratively predicts the added noise using a noise predictor which is conditioned on the speckled image. In addition, we propose a new inference strategy based on cycle spinning to improve the despeckling performance. Our experiments on both synthetic and real SAR images demonstrate that the proposed method achieves significant improvements in both quantitative and qualitative results over the state-of-the-art despeckling methods.


title: Tauberian Korevaar

abstract: We focus on the Tauberian work for which Jaap Korevaar is best known, together with its connections with probability theory. We begin (Section 1) with a brief sketch of the field up to Beurling's work. We follow with three sections on Beurling aspects: Beurling slow variation (Section 2); the Beurling Tauberian theorem for which it was developed (Section 3); Riesz means and Beurling moving averages (Section 4). We then give three applications from probability theory: extremes (Section 5), laws of large numbers (Section 6), and large deviations (Section 7). We turn briefly to other areas of Korevaar's work in Section 8. We close with a personal postscript (whence our title).