title: Smart Contract Vulnerability Detection: From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion

abstract: Smart contracts hold digital coins worth billions of dollars, their security issues have drawn extensive attention in the past years. Towards smart contract vulnerability detection, conventional methods heavily rely on fixed expert rules, leading to low accuracy and poor scalability. Recent deep learning approaches alleviate this issue but fail to encode useful expert knowledge. In this paper, we explore combining deep learning with expert patterns in an explainable fashion. Specifically, we develop automatic tools to extract expert patterns from the source code. We then cast the code into a semantic graph to extract deep graph features. Thereafter, the global graph feature and local expert patterns are fused to cooperate and approach the final prediction, while yielding their interpretable weights. Experiments are conducted on all available smart contracts with source code in two platforms, Ethereum and VNT Chain. Empirically, our system significantly outperforms state-of-the-art methods. Our code is released.


title: Nonequilibrium Quantum Thermodynamics in Non-Markovian Adiabatic Speedup

abstract: Understanding heat transfer between a quantum system and its environment is of undisputed importance if reliable quantum devices are to be constructed. Here, we investigate the heat transfer between system and bath in non-Markovian open systems in the process of adiabatic speedup. Using the quantum state diffusion equation method, the heat current, energy current, and power are calculated during free evolution and under external control of the system. While the heat current increases with increasing system-bath coupling strength and bath temperature, it can be restricted by the non-Markovian nature of the bath. Without pulse control, the heat current is nearly equal to the energy current. On the other hand, with pulse control, the energy current turns out to be nearly equal to the power. In this scenario, we show that non-Markovianity is a useful tool to drive the system through an approximate adiabatic dynamics, with pulse control acting in the conversion between heat current and power throughout the evolution.


title: Reconstructing simplicial polytopes from their graphs and affine $2$-stresses

abstract: A conjecture of Kalai from 1994 posits that for an arbitrary $2\leq k\leq \lfloor d/2 \rfloor$, the combinatorial type of a simplicial $d$-polytope $P$ is uniquely determined by the $(k-1)$-skeleton of $P$ (given as an abstract simplicial complex) together with the space of affine $k$-stresses on $P$. We establish the first non-trivial case of this conjecture, namely, the case of $k=2$. We also prove that for a general $k$, Kalai's conjecture holds for the class of $k$-neighborly polytopes.


title: Majorana ensembles with fractional entropy and conductance in nanoscopic systems

abstract: Quantum thermodynamics is a promising route to unambiguous detections of Majorana bound states. Being fundamentally different from quantum transport, this approach reveals unique Majorana thermodynamic behavior and deepens our insight into Majorana quantum transport itself. Here we demonstrate that a nanoscopic system with topological superconductors produces a remarkable accumulation of Majorana thermodynamic states in wide ranges of Majorana tunneling phases by means of increasing its temperature $T$. Revealing this physical behavior is twofold beneficial. First, it significantly reduces the dependence of the entropy on the tunneling phases which become almost irrelevant in experiments. Second, the fractional Majorana entropy $S_M^{(2)}=k_B\ln(2^\frac{3}{2})$ may be observed at high temperatures substantially facilitating experiments. Analyzing quantum transport, we predict that when the temperature increases, the above thermodynamic behavior will induce an anomalous increase of the linear conductance from vanishing values up to the unitary fractional Majorana plateau $G_M=e^2/2h$ extending to high temperatures.


title: Sub-linear convergence of a tamed stochastic gradient descent method in Hilbert space

abstract: In this paper, we introduce the tamed stochastic gradient descent method (TSGD) for optimization problems. Inspired by the tamed Euler scheme, which is a commonly used method within the context of stochastic differential equations, TSGD is an explicit scheme that exhibits stability properties similar to those of implicit schemes. As its computational cost is essentially equivalent to that of the well-known stochastic gradient descent method (SGD), it constitutes a very competitive alternative to such methods. We rigorously prove (optimal) sub-linear convergence of the scheme for strongly convex objective functions on an abstract Hilbert space. The analysis only requires very mild step size restrictions, which illustrates the good stability properties. The analysis is based on a priori estimates more frequently encountered in a time integration context than in optimization, and this alternative approach provides a different perspective also on the convergence of SGD. Finally, we demonstrate the usability of the scheme on a problem arising in a context of supervised learning.


title: Measurements of sensor radiation damage in the ATLAS inner detector using leakage currents

abstract: Non-ionizing energy loss causes bulk damage to the silicon sensors of the ATLAS pixel and strip detectors. This damage has important implications for data-taking operations, charged-particle track reconstruction, detector simulations, and physics analysis. This paper presents simulations and measurements of the leakage current in the ATLAS pixel detector and semiconductor tracker as a function of location in the detector and time, using data collected in Run 1 (2010-2012) and Run 2 (2015-2018) of the Large Hadron Collider. The extracted fluence shows a much stronger |z|-dependence in the innermost layers than is seen in simulation. Furthermore, the overall fluence on the second innermost layer is significantly higher than in simulation, with better agreement in layers at higher radii. These measurements are important for validating the simulation models and can be used in part to justify safety factors for future detector designs and interventions.


title: The Stark problem as a concave toric domain

abstract: The Stark problem is a completely integrable system which describes the motion of an electron in a constant electric field and subject to the attraction of a proton. In this paper we show that in the planar case after Levi-Civita regularization the bounded component of the energy hypersurfaces of the Stark problem for energies below the critical value can be interpreted as boundaries of concave toric domains.


title: MHNF: Multi-hop Heterogeneous Neighborhood information Fusion graph representation learning

abstract: The attention mechanism enables graph neural networks (GNNs) to learn the attention weights between the target node and its one-hop neighbors, thereby improving the performance further. However, most existing GNNs are oriented toward homogeneous graphs, and in which each layer can only aggregate the information of one-hop neighbors. Stacking multilayer networks introduces considerable noise and easily leads to over smoothing. We propose here a multihop heterogeneous neighborhood information fusion graph representation learning method (MHNF). Specifically, we propose a hybrid metapath autonomous extraction model to efficiently extract multihop hybrid neighbors. Then, we formulate a hop-level heterogeneous information aggregation model, which selectively aggregates different-hop neighborhood information within the same hybrid metapath. Finally, a hierarchical semantic attention fusion model (HSAF) is constructed, which can efficiently integrate different-hop and different-path neighborhood information. In this fashion, this paper solves the problem of aggregating multihop neighborhood information and learning hybrid metapaths for target tasks. This mitigates the limitation of manually specifying metapaths. In addition, HSAF can extract the internal node information of the metapaths and better integrate the semantic information present at different levels. Experimental results on real datasets show that MHNF achieves the best or competitive performance against state-of-the-art baselines with only a fraction of 1/10 ~ 1/100 parameters and computational budgets. Our code is publicly available at https://github.com/PHD-lanyu/MHNF.


title: 3D analysis of a strain gradient plasticity material reinforced by elastic particles

abstract: A 3D unit cell model containing eight different spherical particles embedded in a homogeneous strain gradient plasticity (SGP) matrix material is presented. The interaction between particles and matrix is controlled by an interface model formulated within the higher order SGP theory used. Strengthening of the particle reinforced material is investigated in terms of the increase in macroscopic yield stress. The results are used to validate a closed form strengthening relation proposed by the authors, which suggests that the increase in macroscopic yield stress is governed by the interface strength times the total surface area of particles in the material volume.


title: Towards Understanding Deep Learning from Noisy Labels with Small-Loss Criterion

abstract: Deep neural networks need large amounts of labeled data to achieve good performance. In real-world applications, labels are usually collected from non-experts such as crowdsourcing to save cost and thus are noisy. In the past few years, deep learning methods for dealing with noisy labels have been developed, many of which are based on the small-loss criterion. However, there are few theoretical analyses to explain why these methods could learn well from noisy labels. In this paper, we theoretically explain why the widely-used small-loss criterion works. Based on the explanation, we reformalize the vanilla small-loss criterion to better tackle noisy labels. The experimental results verify our theoretical explanation and also demonstrate the effectiveness of the reformalization.


title: CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothing

abstract: As reinforcement learning (RL) has achieved great success and been even adopted in safety-critical domains such as autonomous vehicles, a range of empirical studies have been conducted to improve its robustness against adversarial attacks. However, how to certify its robustness with theoretical guarantees still remains challenging. In this paper, we present the first unified framework CROP (Certifying Robust Policies for RL) to provide robustness certification on both action and reward levels. In particular, we propose two robustness certification criteria: robustness of per-state actions and lower bound of cumulative rewards. We then develop a local smoothing algorithm for policies derived from Q-functions to guarantee the robustness of actions taken along the trajectory; we also develop a global smoothing algorithm for certifying the lower bound of a finite-horizon cumulative reward, as well as a novel local smoothing algorithm to perform adaptive search in order to obtain tighter reward certification. Empirically, we apply CROP to evaluate several existing empirically robust RL algorithms, including adversarial training and different robust regularization, in four environments (two representative Atari games, Highway, and CartPole). Furthermore, by evaluating these algorithms against adversarial attacks, we demonstrate that our certification are often tight. All experiment results are available at website https://crop-leaderboard.github.io.


title: Shortcuts to adiabatic rotation of a two-ion chain

abstract: We inverse engineer fast rotations of a linear trap with two ions for a predetermined rotation angle and time, avoiding final excitation. Different approaches are analyzed and compared when the ions are of the same species or of different species. The separability into dynamical normal modes for equal ions in a common harmonic trap, or for different ions in non-harmonic traps with up to quartic terms allows for simpler computations of the rotation protocols. For non-separable scenarios, in particular for different ions in a harmonic trap, rotation protocols are also found using more costly numerical optimisations.


title: Prescribing Morse scalar curvatures: incompatibility of non existence

abstract: Given a closed manifold of positive Yamabe invariant and for instance positive Morse functions upon it, the conformally prescribed scalar curvature problem raises the question, whether or not such functions can by conformally changing the metric be realised as the scalar curvature of this manifold. As we shall quantify depending on the shape and structure of such functions, every lack of a solution for some candidate function leads to existence of energetically uniformly bounded solutions for entire classes of related candidate functions.


title: Targeted free energy perturbation revisited: Accurate free energies from mapped reference potentials

abstract: We present an approach that extends the theory of targeted free energy perturbation (TFEP) to calculate free energy differences and free energy surfaces at an accurate quantum mechanical level of theory from a cheaper reference potential. The convergence is accelerated by a mapping function that increases the overlap between the target and the reference distributions. Building on recent work, we show that this map can be learned with a normalizing flow neural network, without requiring simulations with the expensive target potential but only a small number of single-point calculations, and, crucially, avoiding the systematic error that was found previously. We validate the method by numerically evaluating the free energy difference in a system with a double-well potential and by describing the free energy landscape of a simple chemical reaction in the gas phase.


title: Voice2Series: Reprogramming Acoustic Models for Time Series Classification

abstract: Learning to classify time series with limited data is a practical yet challenging problem. Current methods are primarily based on hand-designed feature extraction rules or domain-specific data augmentation. Motivated by the advances in deep speech processing models and the fact that voice data are univariate temporal signals, in this paper, we propose Voice2Series (V2S), a novel end-to-end approach that reprograms acoustic models for time series classification, through input transformation learning and output label mapping. Leveraging the representation learning power of a large-scale pre-trained speech processing model, on 30 different time series tasks we show that V2S performs competitive results on 19 time series classification tasks. We further provide a theoretical justification of V2S by proving its population risk is upper bounded by the source risk and a Wasserstein distance accounting for feature alignment via reprogramming. Our results offer new and effective means to time series classification.


title: Embedding-based Product Retrieval in Taobao Search

abstract: Nowadays, the product search service of e-commerce platforms has become a vital shopping channel in people's life. The retrieval phase of products determines the search system's quality and gradually attracts researchers' attention. Retrieving the most relevant products from a large-scale corpus while preserving personalized user characteristics remains an open question. Recent approaches in this domain have mainly focused on embedding-based retrieval (EBR) systems. However, after a long period of practice on Taobao, we find that the performance of the EBR system is dramatically degraded due to its: (1) low relevance with a given query and (2) discrepancy between the training and inference phases. Therefore, we propose a novel and practical embedding-based product retrieval model, named Multi-Grained Deep Semantic Product Retrieval (MGDSPR). Specifically, we first identify the inconsistency between the training and inference stages, and then use the softmax cross-entropy loss as the training objective, which achieves better performance and faster convergence. Two efficient methods are further proposed to improve retrieval relevance, including smoothing noisy training data and generating relevance-improving hard negative samples without requiring extra knowledge and training procedures. We evaluate MGDSPR on Taobao Product Search with significant metrics gains observed in offline experiments and online A/B tests. MGDSPR has been successfully deployed to the existing multi-channel retrieval system in Taobao Search. We also introduce the online deployment scheme and share practical lessons of our retrieval system to contribute to the community.


title: Control cost and quantum speed limit time in controlled almost exact state transmission in open systems

abstract: We investigate the influence of environment noise on the control cost and the quantum speed limit time (QSLT) in the process of almost exact state transmission (AEST) through a spin chain under pulse control. The chain is immersed in its surrounding non-Markovian, finite temperature heat baths. We find that AEST can be realized in weak system-bath coupling, low temperature, and strong non-Markovian baths under effective external control. Correspondingly, the control cost and QSLT increases with increasing bath temperature and coupling strength. It is noticeable that non-Markovianity from the baths can be helpful to reduce the control cost and shorten the QSLT. Furthermore, we find that there exists a trade-off between the control cost and transmission fidelity and higher fidelity requires higher cost. In addition, the minimum control cost has been found to obtain certain transmission fidelity.


title: Relaxed Lagrangian duality in convex infinite optimization: reverse strong duality and optimality

abstract: We associate with each convex optimization problem posed on some locally convex space with an infinite index set T, and a given non-empty family H formed by finite subsets of T, a suitable Lagrangian-Haar dual problem. We provide reverse H-strong duality theorems, H-Farkas type lemmas and optimality theorems. Special attention is addressed to infinite and semi-infinite linear optimization problems.


title: Multi-level Motion Attention for Human Motion Prediction

abstract: Human motion prediction aims to forecast future human poses given a historical motion. Whether based on recurrent or feed-forward neural networks, existing learning based methods fail to model the observation that human motion tends to repeat itself, even for complex sports actions and cooking activities. Here, we introduce an attention based feed-forward network that explicitly leverages this observation. In particular, instead of modeling frame-wise attention via pose similarity, we propose to extract motion attention to capture the similarity between the current motion context and the historical motion sub-sequences. In this context, we study the use of different types of attention, computed at joint, body part, and full pose levels. Aggregating the relevant past motions and processing the result with a graph convolutional network allows us to effectively exploit motion patterns from the long-term history to predict the future poses. Our experiments on Human3.6M, AMASS and 3DPW validate the benefits of our approach for both periodical and non-periodical actions. Thanks to our attention model, it yields state-of-the-art results on all three datasets. Our code is available at https://github.com/wei-mao-2019/HisRepItself.


title: Physics-driven Learning of the Steady Navier-Stokes Equations using Deep Convolutional Neural Networks

abstract: Recently, physics-driven deep learning methods have shown particular promise for the prediction of physical fields, especially to reduce the dependency on large amounts of pre-computed training data. In this work, we target the physics-driven learning of complex flow fields with high resolutions. We propose the use of \emph{Convolutional neural networks} (CNN) based U-net architectures to efficiently represent and reconstruct the input and output fields, respectively. By introducing Navier-Stokes equations and boundary conditions into loss functions, the physics-driven CNN is designed to predict corresponding steady flow fields directly. In particular, this prevents many of the difficulties associated with approaches employing fully connected neural networks. Several numerical experiments are conducted to investigate the behavior of the CNN approach, and the results indicate that a first-order accuracy has been achieved. Specifically for the case of a flow around a cylinder, different flow regimes can be learned and the adhered "twin-vortices" are predicted correctly. The numerical results also show that the training for multiple cases is accelerated significantly, especially for the difficult cases at low Reynolds numbers, and when limited reference solutions are used as supplementary learning targets.


title: How can we learn (more) from challenges? A statistical approach to driving future algorithm development

abstract: Challenges have become the state-of-the-art approach to benchmark image analysis algorithms in a comparative manner. While the validation on identical data sets was a great step forward, results analysis is often restricted to pure ranking tables, leaving relevant questions unanswered. Specifically, little effort has been put into the systematic investigation on what characterizes images in which state-of-the-art algorithms fail. To address this gap in the literature, we (1) present a statistical framework for learning from challenges and (2) instantiate it for the specific task of instrument instance segmentation in laparoscopic videos. Our framework relies on the semantic meta data annotation of images, which serves as foundation for a General Linear Mixed Models (GLMM) analysis. Based on 51,542 meta data annotations performed on 2,728 images, we applied our approach to the results of the Robust Medical Instrument Segmentation Challenge (ROBUST-MIS) challenge 2019 and revealed underexposure, motion and occlusion of instruments as well as the presence of smoke or other objects in the background as major sources of algorithm failure. Our subsequent method development, tailored to the specific remaining issues, yielded a deep learning model with state-of-the-art overall performance and specific strengths in the processing of images in which previous methods tended to fail. Due to the objectivity and generic applicability of our approach, it could become a valuable tool for validation in the field of medical image analysis and beyond. and segmentation of small, crossing, moving and transparent instrument(s) (parts).


title: A Multi-task convolutional neural network for blind stereoscopic image quality assessment using naturalness analysis

abstract: This paper addresses the problem of blind stereoscopic image quality assessment (NR-SIQA) using a new multi-task deep learning based-method. In the field of stereoscopic vision, the information is fairly distributed between the left and right views as well as the binocular phenomenon. In this work, we propose to integrate these characteristics to estimate the quality of stereoscopic images without reference through a convolutional neural network. Our method is based on two main tasks: the first task predicts naturalness analysis based features adapted to stereo images, while the second task predicts the quality of such images. The former, so-called auxiliary task, aims to find more robust and relevant features to improve the quality prediction. To do this, we compute naturalness-based features using a Natural Scene Statistics (NSS) model in the complex wavelet domain. It allows to capture the statistical dependency between pairs of the stereoscopic images. Experiments are conducted on the well known LIVE PHASE I and LIVE PHASE II databases. The results obtained show the relevance of our method when comparing with those of the state-of-the-art. Our code is available online on https://github.com/Bourbia-Salima/multitask-cnn-nrsiqa_2021.


title: The Nature of Jets in Double-Peaked Emission Line AGN in the KISSR Sample

abstract: Double-peaked emission line AGN (DPAGN) have been regarded as binary black hole candidates. We present here results from parsec-scale radio observations with the Very Long Baseline Array (VLBA) of five DPAGN belonging to the KISSR sample of emission-line galaxies. This work concludes our pilot study of nine type 2 Seyfert and LINER DPAGN from the KISSR sample. In the nine sources, dual compact cores are only detected in the "offset AGN", KISSR 102. The overall incidence of jets however, in the eight sources detected with the VLBA, is $\ge$60%. We find a difference in the "missing flux density" going from the Very Large Array (VLA) to VLBA scales between Seyferts and LINERs, with LINERs showing less missing flux density on parsec-scales. Using the emission-line modeling code, MAPPINGS III, we find that the emission lines are likely to be influenced by jets in 5/9 sources. Jet-medium interaction is the likely cause of the emission-line splitting observed in the SDSS spectra of these sources. Jets in radio-quiet AGN are therefore energetically capable of influencing their parsec- and kpc-scale environments, making them agents of "radio AGN feedback", similar to radio-loud AGN.


title: SCINet: Time Series Modeling and Forecasting with Sample Convolution and Interaction

abstract: One unique property of time series is that the temporal relations are largely preserved after downsampling into two sub-sequences. By taking advantage of this property, we propose a novel neural network architecture that conducts sample convolution and interaction for temporal modeling and forecasting, named SCINet. Specifically, SCINet is a recursive downsample-convolve-interact architecture. In each layer, we use multiple convolutional filters to extract distinct yet valuable temporal features from the downsampled sub-sequences or features. By combining these rich features aggregated from multiple resolutions, SCINet effectively models time series with complex temporal dynamics. Experimental results show that SCINet achieves significant forecasting accuracy improvements over both existing convolutional models and Transformer-based solutions across various real-world time series forecasting datasets. Our codes and data are available at https://github.com/cure-lab/SCINet.


title: PEN4Rec: Preference Evolution Networks for Session-based Recommendation

abstract: Session-based recommendation aims to predict user the next action based on historical behaviors in an anonymous session. For better recommendations, it is vital to capture user preferences as well as their dynamics. Besides, user preferences evolve over time dynamically and each preference has its own evolving track. However, most previous works neglect the evolving trend of preferences and can be easily disturbed by the effect of preference drifting. In this paper, we propose a novel Preference Evolution Networks for session-based Recommendation (PEN4Rec) to model preference evolving process by a two-stage retrieval from historical contexts. Specifically, the first-stage process integrates relevant behaviors according to recent items. Then, the second-stage process models the preference evolving trajectory over time dynamically and infer rich preferences. The process can strengthen the effect of relevant sequential behaviors during the preference evolution and weaken the disturbance from preference drifting. Extensive experiments on three public datasets demonstrate the effectiveness and superiority of the proposed model.


title: Design of a prototypical platform for autonomous and connected vehicles

abstract: Self-driving technology is expected to revolutionize different sectors and is seen as the natural evolution of road vehicles. In the last years, real-world validation of designed and virtually tested solutions is growing in importance since simulated environments will never fully replicate all the aspects that can affect results in the real world. To this end, this paper presents our prototype platform for experimental research on connected and autonomous driving projects. In detail, the paper presents the overall architecture of the vehicle focusing both on mechanical aspects related to remote actuation and sensors set-up and software aspects by means of a comprehensive description of the main algorithms required for autonomous driving as ego-localization, environment perception, motion planning, and actuation. Finally, experimental tests conducted in an urban-like environment are reported to validate and assess the performances of the overall system.


title: Characterization and Mitigation of Electromigration Effects in TSV-Based Power Delivery Network Enabled 3D-Stacked DRAMs

abstract: With 3D-stacked DRAM architectures becoming more prevalent, it has become important to find ways to characterize and mitigate the adverse effects that can hinder their inherent access parallelism and throughput. One example of such adversities is the electromigration (EM) effects in the through-silicon vias (TSVs) of the power delivery network (PDN) of 3D-stacked DRAM architectures. Several prior works have addressed the effects of EM in TSVs of 3D integrated circuits. However, no prior work has addressed the effects of EM in the PDN TSVs on the performance and lifetime of 3D-stacked DRAMs. In this paper, we characterize the effects of EM in PDN TSVs on a Hybrid Memory Cube (HMC) architecture employing the conventional PDN design with clustered layout of power and ground TSVs. We then present a new PDN design with a distributed layout of power and ground TSVs and show that it can mitigate the adverse effects of EM on the HMC architecture performance without requiring additional power and ground pins. Our benchmark-driven simulation-based analysis shows that compared to the clustered PDN layout, our proposed distributed PDN layout improves the EM-affected lifetime of the HMC architecture by up to 10 years. During this useful lifetime, the HMC architecture yields up to 1.51 times less energy-delay product (EDP).


title: Layer Folding: Neural Network Depth Reduction using Activation Linearization

abstract: Despite the increasing prevalence of deep neural networks, their applicability in resource-constrained devices is limited due to their computational load. While modern devices exhibit a high level of parallelism, real-time latency is still highly dependent on networks' depth. Although recent works show that below a certain depth, the width of shallower networks must grow exponentially, we presume that neural networks typically exceed this minimal depth to accelerate convergence and incrementally increase accuracy. This motivates us to transform pre-trained deep networks that already exploit such advantages into shallower forms. We propose a method that learns whether non-linear activations can be removed, allowing to fold consecutive linear layers into one. We apply our method to networks pre-trained on CIFAR-10 and CIFAR-100 and find that they can all be transformed into shallower forms that share a similar depth. Finally, we use our method to provide more efficient alternatives to MobileNetV2 and EfficientNet-Lite architectures on the ImageNet classification task.


title: Trends and Characteristics of High-Frequency Type II Bursts Detected by CALLISTO Spectrometers

abstract: Solar radio type II bursts serve as early indicators of incoming geo-effective space weather events such as coronal mass ejections (CMEs). In order to investigate the origin of high-frequency type II bursts (HF type II bursts), we have identified 51 of them (among 180 type II bursts from SWPC reports) that are observed by ground-based Compound Astronomical Low-cost Low-frequency Instrument for Spectroscopy and Transportable Observatory (CALLISTO) spectrometers and whose upper-frequency cutoff (of either fundamental or harmonic emission) lies in between 150 MHz-450 MHz during 2010-2019. We found that 60% of HF type II bursts, whose upper-frequency cutoff $\geq$ 300 MHz originate from the western longitudes. Further, our study finds a good correlation $\sim $ 0.73 between the average shock speed derived from the radio dynamic spectra and the corresponding speed from CME data. Also, we found that analyzed HF type II bursts are associated with wide and fast CMEs located near the solar disk. In addition, we have analyzed the spatio-temporal characteristics of two of these high-frequency type II bursts and compared the derived from radio observations with those derived from multi-spacecraft CME observations from SOHO/LASCO and STEREO coronagraphs.


title: Controllable Confidence-Based Image Denoising

abstract: Image denoising is a classic restoration problem. Yet, current deep learning methods are subject to the problems of generalization and interpretability. To mitigate these problems, in this project, we present a framework that is capable of controllable, confidence-based noise removal. The framework is based on the fusion between two different denoised images, both derived from the same noisy input. One of the two is denoised using generic algorithms (e.g. Gaussian), which make few assumptions on the input images, therefore, generalize in all scenarios. The other is denoised using deep learning, performing well on seen datasets. We introduce a set of techniques to fuse the two components smoothly in the frequency domain. Beyond that, we estimate the confidence of a deep learning denoiser to allow users to interpret the output, and provide a fusion strategy that safeguards them against out-of-distribution inputs. Through experiments, we demonstrate the effectiveness of the proposed framework in different use cases.


title: Cavity Magnonics

abstract: Cavity magnonics deals with the interaction of magnons - elementary excitations in magnetic materials - and confined electromagnetic fields. We introduce the basic physics and review the experimental and theoretical progress of this young field that is gearing up for integration in future quantum technologies. Much of its appeal is derived from the strong magnon-photon coupling and the easily-reached nonlinear regime in microwave cavities. The interaction of magnons with light as detected by Brillouin light scattering is enhanced in magnetic optical resonators, which can be employed to manipulate magnon distributions. The cavity photon-mediated coupling of a magnon mode to a superconducting qubit enables measurements in the single magnon limit.


title: Counting Discrete, Level-$1$, Quaternionic Automorphic Representations on $G_2$

abstract: Quaternionic automorphic representations are one attempt to generalize to other groups the special place holomorphic modular forms have among automorphic representations of $\mathrm{GL}_2$. Here, we use "hyperendoscopy" techniques to develop a general trace formula and understand them on an arbitrary group. Then we specialize this general formula to study quaternionic automorphic representations on the exceptional group $G_2$, eventually getting an analog of the Eichler-Selberg trace formula for classical modular forms. We finally use this together with some techniques of Chenevier, Renard, and Ta\"ibi to compute dimensions of spaces of level-$1$ quaternionic representations. On the way, we prove a Jacquet-Langlands-style result describing them in terms of classical modular forms and automorphic representations on the compact-at-infinity form $G_2^c$. The main technical difficulty is that the quaternionic discrete series that quaternionic automorphic representations are defined in terms of do not satisfy a condition of being "regular". A real representation theory argument shows that regularity miraculously does not matter for specifically the case of quaternionic discrete series. We hope that the techniques and shortcuts highlighted in this project are of interest in other computations about discrete-at-infinity automorphic representations on arbitrary reductive groups instead of just classical ones.


title: Truncated cluster algebras and Feynman integrals with algebraic letters

abstract: We propose that the symbol alphabet for classes of planar, dual-conformal-invariant Feynman integrals can be obtained as truncated cluster algebras purely from their kinematics, which correspond to boundaries of (compactifications of) $G_+(4,n)/T$ for the $n$-particle massless kinematics. For one-, two-, three-mass-easy hexagon kinematics with $n=7,8,9$, we find finite cluster algebras $D_4$, $D_5$ and $D_6$ respectively, in accordance with previous result on alphabets of these integrals. As the main example, we consider hexagon kinematics with two massive corners on opposite sides and find a truncated affine $D_4$ cluster algebra whose polytopal realization is a co-dimension 4 boundary of that of $G_+(4,8)/T$ with 39 facets; the normal vectors for 38 of them correspond to g-vectors and the remaining one gives a limit ray, which yields an alphabet of $38$ rational letters and $5$ algebraic ones with the unique four-mass-box square root. We construct the space of integrable symbols with this alphabet and physical first-entry conditions, whose dimension can be reduced using conditions from a truncated version of cluster adjacency. Already at weight $4$, by imposing last-entry conditions inspired by the $n=8$ double-pentagon integral, we are able to uniquely determine an integrable symbol that gives the algebraic part of the most generic double-pentagon integral. Finally, we locate in the space the $n=8$ double-pentagon ladder integrals up to four loops using differential equations derived from Wilson-loop $d\log$ forms, and we find a remarkable pattern about the appearance of algebraic letters.


title: Fast evaluation of some p-adic transcendental functions

abstract: We design algorithms for computing values of many p-adic elementary and special functions, including logarithms, exponentials, polylogarithms, and hypergeometric functions. All our algorithms feature a quasi-linear complexity with respect to the target precision and most of them are based on an adaptation to the-adic setting of the binary splitting and bit-burst strategies.


title: Optimized Power Control Design for Over-the-Air Federated Edge Learning

abstract: This paper investigates the transmission power control in over-the-air federated edge learning (Air-FEEL) system. Different from conventional power control designs (e.g., to minimize the individual mean squared error (MSE) of the over-the-air aggregation at each round), we consider a new power control design aiming at directly maximizing the convergence speed. Towards this end, we first analyze the convergence behavior of Air-FEEL (in terms of the optimality gap) subject to aggregation errors at different communication rounds. It is revealed that if the aggregation estimates are unbiased, then the training algorithm would converge exactly to the optimal point with mild conditions; while if they are biased, then the algorithm would converge with an error floor determined by the accumulated estimate bias over communication rounds. Next, building upon the convergence results, we optimize the power control to directly minimize the derived optimality gaps under both biased and unbiased aggregations, subject to a set of average and maximum power constraints at individual edge devices. We transform both problems into convex forms, and obtain their structured optimal solutions, both appearing in a form of regularized channel inversion, by using the Lagrangian duality method. Finally, numerical results show that the proposed power control policies achieve significantly faster convergence for Air-FEEL, as compared with benchmark policies with fixed power transmission or conventional MSE minimization.


title: EMOVIE: A Mandarin Emotion Speech Dataset with a Simple Emotional Text-to-Speech Model

abstract: Recently, there has been an increasing interest in neural speech synthesis. While the deep neural network achieves the state-of-the-art result in text-to-speech (TTS) tasks, how to generate a more emotional and more expressive speech is becoming a new challenge to researchers due to the scarcity of high-quality emotion speech dataset and the lack of advanced emotional TTS model. In this paper, we first briefly introduce and publicly release a Mandarin emotion speech dataset including 9,724 samples with audio files and its emotion human-labeled annotation. After that, we propose a simple but efficient architecture for emotional speech synthesis called EMSpeech. Unlike those models which need additional reference audio as input, our model could predict emotion labels just from the input text and generate more expressive speech conditioned on the emotion embedding. In the experiment phase, we first validate the effectiveness of our dataset by an emotion classification task. Then we train our model on the proposed dataset and conduct a series of subjective evaluations. Finally, by showing a comparable performance in the emotional speech synthesis task, we successfully demonstrate the ability of the proposed model.


title: Unveiling a critical stripy state in the triangular-lattice SU(4) spin-orbital model

abstract: The simplest spin-orbital model can host a nematic spin-orbital liquid state on the triangular lattice. We provide clear evidence that the ground state of the SU(4) Kugel-Khomskii model on the triangular lattice can be well described by a "single" Gutzwiller projected wave function with an emergent parton Fermi surface, despite it exhibits strong finite-size effect in quasi-one-dimensional cylinders. The finite-size effect can be resolved by the fact that the parton Fermi surface consists of open orbits in the reciprocal space. Thereby, a stripy liquid state is expected in the two-dimensional limit, which preserves the SU(4) symmetry while breaks the translational symmetry by doubling the unit cell along one of the lattice vector directions. It is indicative that these stripes are critical and the central charge is $c=3$, in agreement with the SU(4)$_1$ Wess-Zumino-Witten conformal field theory. All these results are consistent with the Lieb-Schultz-Mattis-Oshikawa-Hastings theorem.


title: Scale-dependence in DHOST inflation

abstract: We study the inflationary consequences of Degenerate Higher Order Scalar Tensor (DHOST) theories in a de Sitter background. We perturb the de Sitter background by operators breaking either the degeneracy condition, i.e scordatura DHOST, or the shift symmetry in the scalar field. We first consider derivative scordatura and find that in all cases the power spectra of curvature perturbations are scale-invariant. We then investigate small perturbations by an axion-like potential, and show that in this scenario the power spectrum becomes scale-dependent. The modifications to the spectral index and its first two derivatives are compatible with the latest inflationary constraints. Moreover the tensor to scalar ratio and the non-Gaussianities of these models could be within reach of future experiments.


title: Multi-Level Transfer Learning from Near-Field to Far-Field Speaker Verification

abstract: In far-field speaker verification, the performance of speaker embeddings is susceptible to degradation when there is a mismatch between the conditions of enrollment and test speech. To solve this problem, we propose the feature-level and instance-level transfer learning in the teacher-student framework to learn a domain-invariant embedding space. For the feature-level knowledge transfer, we develop the contrastive loss to transfer knowledge from teacher model to student model, which can not only decrease the intra-class distance, but also enlarge the inter-class distance. Moreover, we propose the instance-level pairwise distance transfer method to force the student model to preserve pairwise instances distance from the well optimized embedding space of the teacher model. On FFSVC 2020 evaluation set, our EER on Full-eval trials is relatively reduced by 13.9% compared with the fusion system result on Partial-eval trials of Task2. On Task1, compared with the winner's DenseNet result on Partial-eval trials, our minDCF on Full-eval trials is relatively reduced by 6.3%. On Task3, the EER and minDCF of our proposed method on Full-eval trials are very close to the result of the fusion system on Partial-eval trials. Our results also outperform other competitive domain adaptation methods.


title: Plasticity of an extra-strong nanocrystalline stainless steel controlled by the "dislocation-segregation'' interaction

abstract: We study three structurally different states of nanocrystalline 316 steel and show that the state, where boundaries containing excess concentration of alloying elements are combined with mobile dislocations in grain interiors, allows maintaining extraordinarily high strength and remarkably enhanced plasticity. Underlying mechanisms featuring interaction between the segregations and mobile dislocations are discussed.


title: Precoding Design for Multi-user MIMO Systems with Delay-Constrained and -Tolerant Users

abstract: In both academia and industry, multi-user multiple-input multiple-output (MU-MIMO) techniques have shown enormous gains in spectral efficiency by exploiting spatial degrees of freedom. So far, an underlying assumption in most of the existing MU-MIMO design has been that all the users use infinite blocklength, so that they can achieve the Shannon capacity. This setup, however, is not suitable considering delay-constrained users whose blocklength tends to be finite. In this paper, we consider a heterogeneous setting in MU-MIMO systems where delay-constrained users and delay-tolerant users coexist, called a DCTU-MIMO network. To maximize the sum spectral efficiency in this system, we present the spectral efficiency for delay-tolerant users and provide a lower bound of the spectral efficiency for delay-constrained users. We consider an optimization problem that maximizes the sum spectral efficiency of delay-tolerant users while satisfying the latency constraint of delay-constrained users, and propose a generalized power iteration (GPI) precoding algorithm that finds a principal precoding vector. Furthermore, we extend a DCTU-MIMO network to the multiple time slots scenario and propose a recursive generalized power iteration precoding algorithm. In simulation results, we prove proposed methods outperform baseline schemes and present the effect of network parameters on the ergodic sum spectral efficiency.


title: Quantum Software Development Lifecycle

abstract: With recent advances in the development of more powerful quantum computers, the research area of quantum software engineering is emerging, having the goal to provide concepts, principles, and guidelines to develop high-quality quantum applications. In classical software engineering, lifecycles are used to document the process of designing, implementing, maintaining, analyzing, and adapting software. Such lifecycles provide a common understanding of how to develop and operate an application, which is especially important due to the interdisciplinary nature of quantum computing. Since today`s quantum applications are, in most cases, hybrid, consisting of quantum and classical programs, the lifecycle for quantum applications must involve the development of both kinds of programs. However, the existing lifecycles only target the development of quantum or classical programs in isolation. Additionally, the various programs must be orchestrated, e.g., using workflows. Thus, the development of quantum applications also incorporates the workflow lifecycle. In this chapter, we analyze the software artifacts usually comprising a quantum application and present their corresponding lifecycles. Furthermore, we identify the points of connection between the various lifecycles and integrate them into the overall quantum software development lifecycle. Therefore, the integrated lifecycle serves as a basis for the development and execution of hybrid quantum applications.


title: Solving the Bose-Hubbard model in new ways

abstract: We introduce a new method for analysing the Bose-Hubbard model for an array of bosons with nearest neighbor interactions. It is based on a number-theoretic implementation of the creation and annihilation operators that constitute the model. One of the advantages of this approach is that it facilitates computation with arbitrary accuracy, enabling nearly perfect numerical experimentation. In particular, we provide a rigorous computer assisted proof of quantum phase transitions in finite systems of this type. Furthermore, we investigate properties of the infinite array via harmonic analysis on the multiplicative group of positive rationals. This furnishes an isomorphism that recasts the underlying Fock space as an infinite tensor product of Hecke spaces, i.e., spaces of square-integrable periodic functions that are a superposition of non-negative frequency harmonics. Under this isomorphism, the number-theoretic creation and annihilation operators are mapped into the Kastrup model of the harmonic oscillator on the circle. It also enables us to highlight a kinship of the model at hand with an array of spin moments with a local anisotropy field. This identifies an interesting physical system that can be mapped into the model at hand.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el math-ph math.MP math.QA


title: Central Kurdish machine translation: First large scale parallel corpus and experiments

abstract: While the computational processing of Kurdish has experienced a relative increase, the machine translation of this language seems to be lacking a considerable body of scientific work. This is in part due to the lack of resources especially curated for this task. In this paper, we present the first large scale parallel corpus of Central Kurdish-English, Awta, containing 229,222 pairs of manually aligned translations. Our corpus is collected from different text genres and domains in an attempt to build more robust and real-world applications of machine translation. We make a portion of this corpus publicly available in order to foster research in this area. Further, we build several neural machine translation models in order to benchmark the task of Kurdish machine translation. Additionally, we perform extensive experimental analysis of results in order to identify the major challenges that Central Kurdish machine translation faces. These challenges include language-dependent and-independent ones as categorized in this paper, the first group of which are aware of Central Kurdish linguistic properties on different morphological, syntactic and semantic levels. Our best performing systems achieve 22.72 and 16.81 in BLEU score for Ku$\rightarrow$EN and En$\rightarrow$Ku, respectively.


title: Towards bio-inspired unsupervised representation learning for indoor aerial navigation

abstract: Aerial navigation in GPS-denied, indoor environments, is still an open challenge. Drones can perceive the environment from a richer set of viewpoints, while having more stringent compute and energy constraints than other autonomous platforms. To tackle that problem, this research displays a biologically inspired deep-learning algorithm for simultaneous localization and mapping (SLAM) and its application in a drone navigation system. We propose an unsupervised representation learning method that yields low-dimensional latent state descriptors, that mitigates the sensitivity to perceptual aliasing, and works on power-efficient, embedded hardware. The designed algorithm is evaluated on a dataset collected in an indoor warehouse environment, and initial results show the feasibility for robust indoor aerial navigation.


title: Minimax Estimation of Partially-Observed Vector AutoRegressions

abstract: High-dimensional time series are a core ingredient of the statistical modeling toolkit, for which numerous estimation methods are known.But when observations are scarce or corrupted, the learning task becomes much harder.The question is: how much harder? In this paper, we study the properties of a partially-observed Vector AutoRegressive process, which is a state-space model endowed with a stochastic observation mechanism.Our goal is to estimate its sparse transition matrix, but we only have access to a small and noisy subsample of the state components.Interestingly, the sampling process itself is random and can exhibit temporal correlations, a feature shared by many realistic data acquisition scenarios.We start by describing an estimator based on the Yule-Walker equation and the Dantzig selector, and we give an upper bound on its non-asymptotic error.Then, we provide a matching minimax lower bound, thus proving near-optimality of our estimator.The convergence rate we obtain sheds light on the role of several key parameters such as the sampling ratio, the amount of noise and the number of non-zero coefficients in the transition matrix.These theoretical findings are commented and illustrated by numerical experiments on simulated data.


title: Polaron models with regular interactions at strong coupling

abstract: We study a class of polaron-type Hamiltonians with sufficiently regular form factor in the interaction term. We investigate the strong-coupling limit of the model, and prove suitable bounds on the ground state energy as a function of the total momentum of the system. These bounds agree with the semiclassical approximation to leading order. The latter corresponds here to the situation when the particle undergoes harmonic motion in a potential well whose frequency is determined by the corresponding Pekar functional. We show that for all such models the effective mass diverges in the strong coupling limit, in all spatial dimensions. Moreover, for the case when the phonon dispersion relation grows at least linearly with momentum, the bounds result in an asymptotic formula for the effective mass quotient, a quantity generalizing the usual notion of the effective mass. This asymptotic form agrees with the semiclassical Landau--Pekar formula and can be regarded as the first rigorous confirmation, in a slightly weaker sense than usually considered, of the validity of the semiclassical formula for the effective mass.

categories: math-ph cond-mat.other cond-mat.quant-gas math.MP


title: Network Science, Homophily and Who Reviews Who in the Linux Kernel?

abstract: In this research, we investigate peer review in the development of Linux by drawing on network theory and network analysis. We frame an analytical model which integrates the sociological principle of homophily (i.e., the relational tendency of individuals to establish relationships with similar others) with prior research on peer-review in general and open-source software in particular. We found a relatively strong homophily tendency for maintainers to review other maintainers, but a comparable tendency is surprisingly absent regarding developers' organizational affiliation. Such results mirror the documented norms, beliefs, values, processes, policies, and social hierarchies that characterize the Linux kernel development. Our results underline the power of generative mechanisms from network theory to explain the evolution of peer review networks. Regarding practitioners' concern over the Linux commercialization trend, no relational bias in peer review was found albeit the increasing involvement of firms.


title: A Simple Generative Network

abstract: Generative neural networks are able to mimic intricate probability distributions such as those of handwritten text, natural images, etc. Since their inception several models were proposed. The most successful of these were based on adversarial (GAN), auto-encoding (VAE) and maximum mean discrepancy (MMD) relatively complex architectures and schemes. Surprisingly, a very simple architecture (a single feed-forward neural network) in conjunction with an obvious optimization goal (Kullback_Leibler divergence) was apparently overlooked. This paper demonstrates that such a model (denoted SGN for its simplicity) is able to generate samples visually and quantitatively competitive as compared with the fore-mentioned state of the art methods.


title: A new robotic hand based on the design of fingers with spatial motions

abstract: This article presents a new hand architecture with three under-actuated fingers. Each finger performs spatial movements to achieve more complex and varied grasping than the existing planar-movement fingers. The purpose of this hand is to grasp complex-shaped workpieces as they leave the machining centres. Among the taxonomy of grips, cylindrical and spherical grips are often used to grasp heavy objects. A combination of these two modes makes it possible to capture most of the workpieces machined with 5-axis machines. However, the change in grasping mode requires the fingers to reconfigure themselves to perform spatial movements. This solution requires the addition of two or three actuators to change the position of the fingers and requires sensors to recognize the shape of the workpiece and determine the type of grasp to be used. This article proposes to extend the notion of under-actuated fingers to spatial movements. After a presentation of the kinematics of the fingers, the problem of stability is discussed as well as the transmission of forces in this mechanism. The complete approach for calculating the stability conditions is presented from the study of Jacobian force transmission matrices. CAD representations of the hand and its behavior in spherical and cylindrical grips are presented.


title: On first and second order linear Stieltjes differential equations

abstract: This work deals with the obtaining of solutions of first and second order Stieltjes differential equations. We define the notions of Stieltjes derivative on the whole domain of the functions involved, provide a notion of n-times continuously Stieltjes-differentiable functions and prove existence and uniqueness results of Stieltjes differential equations in those spaces. We also present the Green's functions associated to the different problems and an application to the Stieltjes harmonic oscillator.


title: Variational quantum algorithm based on the minimum potential energy for solving the Poisson equation

abstract: Computer-aided engineering techniques are indispensable in modern engineering developments. In particular, partial differential equations are commonly used to simulate the dynamics of physical phenomena, but very large systems are often intractable within a reasonable computation time, even when using supercomputers. To overcome the inherent limit of classical computing, we present a variational quantum algorithm for solving the Poisson equation that can be implemented in noisy intermediate-scale quantum devices. The proposed method defines the total potential energy of the Poisson equation as a Hamiltonian, which is decomposed into a linear combination of Pauli operators and simple observables. The expectation value of the Hamiltonian is then minimized with respect to a parameterized quantum state. Because the number of decomposed terms is independent of the size of the problem, this method requires relatively few quantum measurements. Numerical experiments demonstrate the faster computing speed of this method compared with classical computing methods and a previous variational quantum approach. We believe that our approach brings quantum computer-aided techniques closer to future applications in engineering developments. Code is available at https://github.com/ToyotaCRDL/VQAPoisson.


title: Solid-Liquid Composites for Soft Multifunctional Materials

abstract: Soft materials with a liquid component are an emerging paradigm in materials design. The incorporation of a liquid phase, such as water, liquid metals, or complex fluids, into solid materials imparts unique properties and characteristics that emerge as a result of the dramatically different properties of the liquid and solid. Especially in recent years, this has led to the development and study of a range of novel materials with new functional responses, with applications in topics including soft electronics, soft robotics, 3D printing, wet granular systems and even in cell biology. Here we provide a review of solid-liquid composites, broadly defined as a material system with at least one, phase-separated liquid component, and discuss their morphology and fabrication approaches, their emergent mechanical properties and functional response, and the broad range of their applications.


title: Some metrics admitting nonpolynomial first integrals of the geodesic equation

abstract: It is commonly known that Killing vectors and tensors are in one-to-one correspondence with polynomial first integrals of the geodesic equation. In this work, metrics admitting nonpolynomial first integrals of the geodesic equation are constructed, each of which revealing a chain of generalised Killing vectors.


title: THUNDR: Transformer-based 3D HUmaN Reconstruction with Markers

abstract: We present THUNDR, a transformer-based deep neural network methodology to reconstruct the 3d pose and shape of people, given monocular RGB images. Key to our methodology is an intermediate 3d marker representation, where we aim to combine the predictive power of model-free-output architectures and the regularizing, anthropometrically-preserving properties of a statistical human surface model like GHUM -- a recently introduced, expressive full body statistical 3d human model, trained end-to-end. Our novel transformer-based prediction pipeline can focus on image regions relevant to the task, supports self-supervised regimes, and ensures that solutions are consistent with human anthropometry. We show state-of-the-art results on Human3.6M and 3DPW, for both the fully-supervised and the self-supervised models, for the task of inferring 3d human shape, joint positions, and global translation. Moreover, we observe very solid 3d reconstruction performance for difficult human poses collected in the wild.


title: Improving spatial resolution of scanning SQUID microscopy with an on-chip design

abstract: Scanning superconducting quantum interference device microscopy (sSQUID) is currently one of the most effective methods for direct and sensitive magnetic flux imaging on the mesoscopic scale. A SQUID-on-chip design allows integration of field coils for susceptometry in a gradiometer setup which is very desirable for measuring magnetic responses of quantum matter. However, the spatial resolution of such a design has largely been limited to micrometers due to the difficulty in approaching the sample. Here, we used electron beam lithography technology in the fabrication of the 3D nano-bridge-based SQUID devices to prepare pick-up coils with diameters down to 150 nm. Furthermore, we integrated the deep silicon etching process in order to minimize the distance between the pick-up coil and the wafer edge. Combined with a tuning-fork-based scanning head, the sharpness of the etched chip edge enables a precision of 5 nm in height control. By scanning measurements on niobium chessboard samples using these improved SQUID devices, we demonstrate sub-micron spatial resolutions in both magnetometry and susceptometry, significantly better than our previous generations of nano-SQUIDs. Such improvement in spatial resolution of SQUID-on-chip is a valuable progress for magnetic imaging of quantum materials and devices in various modes.


title: Investigating Misinformation Dissemination on Social Media in Pakistan

abstract: Fake news and misinformation are one of the most significant challenges brought about by advances in communication technologies. We chose to research the spread of fake news in Pakistan because of some unfortunate incidents that took place during 2020. These included the downplaying of the severity of the COVID-19 pandemic, and protests by right-wing political movements. We observed that fake news and misinformation contributed significantly to these events and especially affected low-literate and low-income populations. We conducted a cross-platform comparison of misinformation on WhatsApp, Twitter and YouTube with a primary focus on messages shared in public WhatsApp groups, and analysed the characteristics of misinformation, techniques used to make is believable, and how users respond to it. To the best of our knowledge, this is the first attempt to compare misinformation on all three platforms in Pakistan. Data collected over a span of eight months helped us identify fake news and misinformation related to politics, religion and health, among other categories. Common elements which were used by fake news creators in Pakistan to make false content seem believable included: appeals to emotion, conspiracy theories, political and religious polarization, incorrect facts and impersonation of credible sources.


title: Optimal explicit stabilized postprocessed $\tau$-leap method for the simulation of chemical kinetics

abstract: The simulation of chemical kinetics involving multiple scales constitutes a modeling challenge (from ordinary differential equations to Markov chain) and a computational challenge (multiple scales, large dynamical systems, time step restrictions). In this paper we propose a new discrete stochastic simulation algorithm: the postprocessed second kind stabilized orthogonal $\tau$-leap Runge-Kutta method (PSK-$\tau$-ROCK). In the context of chemical kinetics this method can be seen as a stabilization of Gillespie's explicit $\tau$-leap combined with a postprocessor. The stabilized procedure allows to simulate problems with multiple scales (stiff), while the postprocessing procedure allows to approximate the invariant measure (e.g. mean and variance) of ergodic stochastic dynamical systems. We prove stability and accuracy of the PSK-$\tau$-ROCK. Numerical experiments illustrate the high reliability and efficiency of the scheme when compared to other $\tau$-leap methods.


title: A trust region-type normal map-based semismooth Newton method for nonsmooth nonconvex composite optimization

abstract: We propose a novel trust region method for solving a class of nonsmooth, nonconvex composite-type optimization problems. The approach embeds inexact semismooth Newton steps for finding zeros of a normal map-based stationarity measure for the problem in a trust region framework. Based on a new merit function and acceptance mechanism, global convergence and transition to fast local q-superlinear convergence are established under standard conditions. In addition, we verify that the proposed trust region globalization is compatible with the Kurdyka-{\L}ojasiewicz inequality yielding finer convergence results. We further derive new normal map-based representations of the associated second-order optimality conditions that have direct connections to the local assumptions required for fast convergence. Finally, we study the behavior of our algorithm when the Hessian matrix of the smooth part of the objective function is approximated by BFGS updates. We successfully link the KL theory, properties of the BFGS approximations, and a Dennis-Mor{\'e}-type condition to show superlinear convergence of the quasi-Newton version of our method. Numerical experiments on sparse logistic regression, image compression, and a constrained log-determinant problem illustrate the efficiency of the proposed algorithm.


title: Positivity for the clamped plate equation under high tension

abstract: In this article we consider positivity issues for the clamped plate equation with high tension $\gamma>0$. This equation is given by $\Delta^2u - \gamma\Delta u=f$ under clamped boundary conditions. Here we show, that given a positive $f$, i.e. upwards pushing, we find a $\gamma_0>0$ such that for all $\gamma\geq \gamma_0$ the bending $u$ is indeed positive. This $\gamma_0$ only depends on the domain and the ratio of the $L^1$ and $L^\infty$ norm of $f$. In contrast to a recent result by Cassani&Tarsia, our approach is valid in all dimensions.


title: On the Transcendence of Period Images

abstract: Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected base $S$, with everything defined over $\overline{\mathbb{Q}}$. Denote by $\mathbb{V} = R^{2i} f_{*} \mathbb{Z}(i)$ the associated integral variation of Hodge structure on the degree $2i$ cohomology. We consider the following question: when can a fibre $\mathbb{V}_{s}$ above an algebraic point $s \in S(\overline{\mathbb{Q}})$ be isomorphic to a transcendental fibre $\mathbb{V}_{s'}$ with $s' \in S(\mathbb{C}) \setminus S(\overline{\mathbb{Q}})$? When $\mathbb{V}$ induces a quasi-finite period map $\varphi : S \to \Gamma \backslash D$, conjectures in Hodge theory predict that such isomorphisms cannot exist. We introduce new differential-algebraic techniques to show this is true for all points $s \in S(\overline{\mathbb{Q}})$ outside of an explicit proper closed algebraic subset of $S$. As a corollary we establish the existence of a canonical $\overline{\mathbb{Q}}$-algebraic model for normalizations of period images.


title: Lost in Interpreting: Speech Translation from Source or Interpreter?

abstract: Interpreters facilitate multi-lingual meetings but the affordable set of languages is often smaller than what is needed. Automatic simultaneous speech translation can extend the set of provided languages. We investigate if such an automatic system should rather follow the original speaker, or an interpreter to achieve better translation quality at the cost of increased delay. To answer the question, we release Europarl Simultaneous Interpreting Corpus (ESIC), 10 hours of recordings and transcripts of European Parliament speeches in English, with simultaneous interpreting into Czech and German. We evaluate quality and latency of speaker-based and interpreter-based spoken translation systems from English to Czech. We study the differences in implicit simplification and summarization of the human interpreter compared to a machine translation system trained to shorten the output to some extent. Finally, we perform human evaluation to measure information loss of each of these approaches.


title: Virtual Reality based Digital Twin System for remote laboratories and online practical learning

abstract: There is a need for remote learning and virtual learning applications such as virtual reality (VR) and tablet-based solutions which the current pandemic has demonstrated. Creating complex learning scenarios by developers is highly time-consuming and can take over a year. There is a need to provide a simple method to enable lecturers to create their own content for their laboratory tutorials. Research is currently being undertaken into developing generic models to enable the semi-automatic creation of a virtual learning application. A case study describing the creation of a virtual learning application for an electrical laboratory tutorial is presented.


title: Scaling Limits of Planar Symplectic Ensembles

abstract: We consider various asymptotic scaling limits $N\to\infty$ for the $2N$ complex eigenvalues of non-Hermitian random matrices in the symmetry class of the symplectic Ginibre ensemble. These are known to be integrable, forming Pfaffian point processes, and we obtain limiting expressions for the corresponding kernel for different potentials. The first part is devoted to the symplectic Ginibre ensemble with the Gaussian potential. We obtain the asymptotic at the edge of the spectrum in the vicinity of the real line. The unifying form of the kernel allows us to make contact with the bulk scaling along the real line and with the edge scaling away from the real line, where we recover the known determinantal process of the complex Ginibre ensemble. Part two covers ensembles of Mittag-Leffler type with a singularity at the origin. For potentials $Q(\zeta)=|\zeta|^{2\lambda}-(2c/N)\log|\zeta|$, with $\lambda>0$ and $c>-1$, the limiting kernel obeys a linear differential equation of fractional order $1/\lambda$ at the origin. For integer $m=1/\lambda$ it can be solved in terms of Mittag-Leffler functions. In the last part, we derive Ward's equation for planar symplectic ensembles for a general class of potentials. It serves as a tool to investigate the Gaussian and singular Mittag-Leffler universality class. This allows us to determine the functional form of all possible limiting kernels (if they exist) that are translation invariant, up to their integration domain.


title: Nonlinear Nanophotonic Circuitry: Tristable and Astable Multivibrators and Chaos Generator

abstract: The concept of lumped optical nanoelements (or metactronics), wherein nanometer-scale structures act as nanoinductors, nanocapacitors and nanoresistors, has attracted a great deal of attention as a simple toolbox for engineering different nanophotonic devices in analogy with microelectronics. While recent studies of the topic have been predominantly focused on linear functionalities, nonlinear dynamics in microelectronic devices plays a crucial role and provides a majority of functions, employed in modern applications. Here, we extend the metactronics paradigm and add nonlinear dynamical modalities to those nanophotonic devices that have never been associated with optical nanoantennas. Specifically, we show that nonlinear dimer nanoantennae can operate in the regimes of tristable and astable multivibrators as well as chaos generators. The physical mechanism behind these modalities relies on the Kerr-type nonlinearity of nanoparticles in the dimer enhanced by a dipolar localized surface plasmon resonance. This allows one to provide a positive nonlinear feedback at moderate optical intensities, leading to the desired dynamical behavior via tuning the driving field parameters. Our findings shed light on a novel class of nonlinear nanophotonic devices with a tunable nonlinear dynamical response.


title: Beaming Elastic and SERS Emission from Bent-Plasmonic Nanowire on a Mirror Cavity

abstract: We report on the experimental observation of beaming elastic and surface enhanced Raman scattering (SERS) emission from a bent-nanowire on a mirror (B-NWoM) cavity. The system was probed with polarization resolved Fourier plane and energy-momentum imaging to study the spectral and angular signature of the emission wavevectors. The out-coupled elastically scattered light from the kink occupies a narrow angular spread. We used a self-assembled monolayer of molecules with a well-defined molecular orientation to utilize the out-of-plane electric field in the cavity for enhancing Raman emission from the molecules and in achieving beaming SERS emission. Calculated directionality for elastic scattering and SERS emission were found to be 16.2 and 12.5 dB respectively. The experimental data were corroborated with three-dimensional numerical finite element and finite difference time domain based numerical simulations. The results presented here may find relevance in understanding coupling of emitters with elongated plasmonic cavities and in designing on-chip optical antennas.

categories: physics.optics cond-mat.mes-hall cond-mat.soft physics.app-ph


title: Hybrid high-order methods. A primer with application to solid mechanics

abstract: This book is organized into eight chapters. The first three gently introduce the basic principles of hybrid high-order methods on a linear diffusion problem, the key ideas underlying the mathematical analysis, and some useful variants of the method as well as links to other methods from the literature. The following four present various challenging applications to solid mechanics, including linear elasticity and hyperelasticity, elastodynamics, contact/friction, and plasticity. The last chapter reviews implementation aspects. This book is primarily intended for graduate students, researchers (in applied mathematics, numerical analysis, and computational mechanics), and engineers working in related fields of application. Basic knowledge of the devising and analysis of finite element methods is assumed. Special effort was made to streamline the presentation so as to pinpoint the essential ideas, address key mathematical aspects, present examples, and provide bibliographic pointers.


title: Blockchain Oracle Design Patterns

abstract: Blockchain is a form of distributed ledger technology (DLT) where data is shared among users connected over the internet. Transactions are data state changes on the blockchain that are permanently recorded in a secure and transparent way without the need of a third party. Besides, the introduction of smart contracts to the blockchain has added programmability to the blockchain and revolutionized the software ecosystem leading toward decentralized applications (DApps) attracting businesses and organizations to employ this technology. Although promising, blockchains and smart contracts have no access to the external systems (i.e., off-chain) where real-world data and events resides; consequently, the usability of smart contracts in terms of performance and programmability would be limited to the on-chain data. Hence, \emph{blockchain oracles} are introduced to mitigate the issue and are defined as trusted third-party services that send and verify the external information (i.e., feedback) and submit it to smart contracts for triggering state changes in the blockchain. In this paper, we will study and analyze blockchain oracles with regard to how they provide feedback to the blockchain and smart contracts. We classify the blockchain oracle techniques into two major groups such as voting-based strategies and reputation-based ones. The former mainly relies on participants' stakes for outcome finalization while the latter considers reputation in conjunction with authenticity proof mechanisms for data correctness and integrity. We then provide a structured description of patterns in detail for each classification and discuss research directions in the end.


title: Identifiability of AMP chain graph models

abstract: We study identifiability of Andersson-Madigan-Perlman (AMP) chain graph models, which are a common generalization of linear structural equation models and Gaussian graphical models. AMP models are described by DAGs on chain components which themselves are undirected graphs. For a known chain component decomposition, we show that the DAG on the chain components is identifiable if the determinants of the residual covariance matrices of the chain components are monotone non-decreasing in topological order. This condition extends the equal variance identifiability criterion for Bayes nets, and it can be generalized from determinants to any super-additive function on positive semidefinite matrices. When the component decomposition is unknown, we describe conditions that allow recovery of the full structure using a polynomial time algorithm based on submodular function minimization. We also conduct experiments comparing our algorithm's performance against existing baselines.


title: Sub-gap Fano resonances in a topological superconducting wire with on-site Coulomb interactions

abstract: We consider theoretically a $1D$-semiconducting wire with strong Rashba interaction in proximity with $s$-wave superconductor, driven into topological phase by external magnetic field. Additionally, we take into account on-site Coulomb interactions inside the wire. The system is modelled by a tight binding Hamiltonian with Rashba hopping term and induced $s$-wave superconductivity. Calculations are performed utilizing recursive Green's function method, and Coulomb interactions are treated selfconsistently within Hubbard $I$ approximation. For the Hubbard levels residing within $p$-wave superconducting gap, particle-hole symmetric four-resonance structure develops in the density of states, apart from Majorana resonance. One pair of particle-hole symmetric resonances is created by the discrete $II$-Hubbard levels of the particular site, and the second pair of Hubbard sub-bands originates from recursive summation over the sites of the wire. Quantum interference between both types of pairs of states creates in-gap charge-conjugated Fano resonances with opposite asymmetry factors. We demonstrate that when quantum interference is dominated by two-particle tunneling, the Majorana resonance is strongly diminished, while it is not altered when single-particle tunneling dominates in interference process. We also discuss some consequences for experimental distinction of true Majorana states, and show that on-site Coulomb interactions support the appearance of topological phase.


title: Large Scale Private Learning via Low-rank Reparametrization

abstract: We propose a reparametrization scheme to address the challenges of applying differentially private SGD on large neural networks, which are 1) the huge memory cost of storing individual gradients, 2) the added noise suffering notorious dimensional dependence. Specifically, we reparametrize each weight matrix with two \emph{gradient-carrier} matrices of small dimension and a \emph{residual weight} matrix. We argue that such reparametrization keeps the forward/backward process unchanged while enabling us to compute the projected gradient without computing the gradient itself. To learn with differential privacy, we design \emph{reparametrized gradient perturbation (RGP)} that perturbs the gradients on gradient-carrier matrices and reconstructs an update for the original weight from the noisy gradients. Importantly, we use historical updates to find the gradient-carrier matrices, whose optimality is rigorously justified under linear regression and empirically verified with deep learning tasks. RGP significantly reduces the memory cost and improves the utility. For example, we are the first able to apply differential privacy on the BERT model and achieve an average accuracy of $83.9\%$ on four downstream tasks with $\epsilon=8$, which is within $5\%$ loss compared to the non-private baseline but enjoys much lower privacy leakage risk.


title: Supergroup Structure of Jackiw-Teitelboim Supergravity

abstract: We develop the gauge theory formulation of $\mathcal{N}=1$ Jackiw-Teitelboim supergravity in terms of the underlying $\text{OSp}(1|2, \mathbb{R})$ supergroup, focusing on boundary dynamics and the exact structure of gravitational amplitudes. We prove that the BF description reduces to a super-Schwarzian quantum mechanics on the holographic boundary, where boundary-anchored Wilson lines map to bilocal operators in the super-Schwarzian theory. A classification of defects in terms of monodromies of $\text{OSp}(1|2, \mathbb{R})$ is carried out and interpreted in terms of character insertions in the bulk. From a mathematical perspective, we construct the principal series representations of $\text{OSp}(1|2, \mathbb{R})$ and show that whereas the corresponding Plancherel measure does not match the density of states of $\mathcal{N}=1$ JT supergravity, a restriction to the positive subsemigroup $\text{OSp}^+(1|2, \mathbb{R})$ yields the correct density of states, mirroring the analogous results for bosonic JT gravity. We illustrate these results with several gravitational applications, in particular computing the late-time complexity growth in JT supergravity.


title: Retrospective Analysis of Controversial Subtopics on COVID-19 in Japan

abstract: For efficient political decision-making in an emergency situation, a thorough recognition and understanding of the polarized topics is crucial. The cost of unmitigated polarization would be extremely high for the society; therefore, it is desirable to identify the polarizing issues before they become serious. With this in mind, we conducted a retrospective analysis of the polarized subtopics of COVID-19 to obtain insights for future policymaking. To this end, we first propose a framework to comprehensively search for controversial subtopics. We then retrospectively analyze subtopics on COVID-19 using the proposed framework, with data obtained via Twitter in Japan. The results show that the proposed framework can effectively detect controversial subtopics that reflect current reality. Controversial subtopics tend to be about the government, medical matters, economy, and education; moreover, the controversy score had a low correlation with the traditional indicators--scale and sentiment of the subtopics--which suggests that the controversy score is a potentially important indicator to be obtained. We also discussed the difference between subtopics that became highly controversial and ones that did not despite their large scale.


title: Reducible Stueckelberg symmetry and dualities

abstract: We propose a general procedure for iterative inclusion of Stueckelberg fields to convert the theory into gauge system being equivalent to the original one. In so doing, we admit reducibility of the Stueckelberg gauge symmetry. In this case, no pairing exists between Stueckelberg fields and gauge parameters, unlike the irreducible Stueckelberg symmetry. The general procedure is exemplified by the case of Proca model, with the third order involutive closure chosen as the starting point. In this case, the set of Stueckelberg fields includes, besides the scalar, also the second rank antisymmetric tensor. The reducible Stueckelberg gauge symmetry is shown to admit different gauge fixing conditions. One of the gauges reproduces the original Proca theory, while another one excludes the original vector and the Stueckelberg scalar. In this gauge, the irreducible massive spin one is represented by antisymmetric second rank tensor obeying the third order field equations. Similar dual formulations are expected to exist for the fields of various spins.


title: Quantum Entanglement of Free Particles

abstract: The Schrodinger equation is solved for many free particles and their quantum entanglement is studied via correlation analysis. Converting the Schrodinger equation in the Madelung hydrodynamic-like form, the quantum mechanics is extended to open quantum systems by adding Ohmic friction forces. The dissipative evolution confirms the correlation decay over time, but a new integral of motion is discovered, being appropriate for storing everlasting quantum information.


title: Cat-like Jumping and Landing of Legged Robots in Low-gravity Using Deep Reinforcement Learning

abstract: In this article, we show that learned policies can be applied to solve legged locomotion control tasks with extensive flight phases, such as those encountered in space exploration. Using an off-the-shelf deep reinforcement learning algorithm, we trained a neural network to control a jumping quadruped robot while solely using its limbs for attitude control. We present tasks of increasing complexity leading to a combination of three-dimensional (re-)orientation and landing locomotion behaviors of a quadruped robot traversing simulated low-gravity celestial bodies. We show that our approach easily generalizes across these tasks and successfully trains policies for each case. Using sim-to-real transfer, we deploy trained policies in the real world on the SpaceBok robot placed on an experimental testbed designed for two-dimensional micro-gravity experiments. The experimental results demonstrate that repetitive, controlled jumping and landing with natural agility is possible.


title: ShuffleBlock: Shuffle to Regularize Deep Convolutional Neural Networks

abstract: Deep neural networks have enormous representational power which leads them to overfit on most datasets. Thus, regularizing them is important in order to reduce overfitting and enhance their generalization capabilities. Recently, channel shuffle operation has been introduced for mixing channels in group convolutions in resource efficient networks in order to reduce memory and computations. This paper studies the operation of channel shuffle as a regularization technique in deep convolutional networks. We show that while random shuffling of channels during training drastically reduce their performance, however, randomly shuffling small patches between channels significantly improves their performance. The patches to be shuffled are picked from the same spatial locations in the feature maps such that a patch, when transferred from one channel to another, acts as structured noise for the later channel. We call this method "ShuffleBlock". The proposed ShuffleBlock module is easy to implement and improves the performance of several baseline networks on the task of image classification on CIFAR and ImageNet datasets. It also achieves comparable and in many cases better performance than many other regularization methods. We provide several ablation studies on selecting various hyperparameters of the ShuffleBlock module and propose a new scheduling method that further enhances its performance.


title: The best approximation of an objective state with a given set of quantum states

abstract: Approximating a quantum state by the convex mixing of some given states has strong experimental significance and provides potential applications in quantum resource theory. Here we find a closed form of the minimal distance in the sense of l_2 norm between a given d-dimensional objective quantum state and the state convexly mixed by those restricted in any given (mixed-) state set. In particular, we present the minimal number of the states in the given set to achieve the optimal distance. The validity of our closed solution is further verified numerically by several randomly generated quantum states.


title: A recursive Lov\'asz theta number for simplex-avoiding sets

abstract: We recursively extend the Lov\'asz theta number to geometric hypergraphs on the unit sphere and on Euclidean space, obtaining an upper bound for the independence ratio of these hypergraphs. As an application we reprove a result in Euclidean Ramsey theory in the measurable setting, namely that every $k$-simplex is exponentially Ramsey, and we improve existing bounds for the base of the exponential.


title: Defying Gravity: The Economic Effects of Social Distancing

abstract: The COVID-19 pandemic has forced changes in production and especially in human interaction, with "social distancing" a standard prescription for slowing transmission of the disease. This paper examines the economic effects of social distancing at the aggregate level, weighing both the benefits and costs to prolonged distancing. Specifically we fashion a model of economic recovery when the productive capacity of factors of production is restricted by social distancing, building a system of equations where output growth and social distance changes are interdependent. The model attempts to show the complex interactions between output levels and social distancing, developing cycle paths for both variables. Ultimately, however, defying gravity via prolonged social distancing shows that a lower growth path is inevitable as a result.


title: Frustratingly Easy Transferability Estimation

abstract: Transferability estimation has been an essential tool in selecting a pre-trained model and the layers in it for transfer learning, to transfer, so as to maximize the performance on a target task and prevent negative transfer. Existing estimation algorithms either require intensive training on target tasks or have difficulties in evaluating the transferability between layers. To this end, we propose a simple, efficient, and effective transferability measure named TransRate. Through a single pass over examples of a target task, TransRate measures the transferability as the mutual information between features of target examples extracted by a pre-trained model and their labels. We overcome the challenge of efficient mutual information estimation by resorting to coding rate that serves as an effective alternative to entropy. From the perspective of feature representation, the resulting TransRate evaluates both completeness (whether features contain sufficient information of a target task) and compactness (whether features of each class are compact enough for good generalization) of pre-trained features. Theoretically, we have analyzed the close connection of TransRate to the performance after transfer learning. Despite its extraordinary simplicity in 10 lines of codes, TransRate performs remarkably well in extensive evaluations on 32 pre-trained models and 16 downstream tasks.


title: Similarity of particle systems using an invariant root mean square deviation measure

abstract: Determining whether two particle systems are similar is a common problem in particle simulations. When the comparison should be invariant under permutations, orthogonal transformations, and translations of the systems, special techniques are needed. We present an algorithm that can test particle systems of finite size for similarity and, if they are similar, can find the optimal alignment between them. Our approach is based on an invariant version of the root mean square deviation (RMSD) measure and is capable of finding the globally optimal solution in $O(n^3)$ operations where $n$ is the number of three-dimensional particles.


title: Wigner transform and quasicrystals

abstract: Quasicrystals are tempered distributions $\mu$ which satisfy symmetric conditions on $\mu$ and $\widehat \mu$. This suggests that techniques from time-frequency analysis could possibly be useful tools in the study of such structures. In this paper we explore this direction considering quasicrystals type conditions on time-frequency representations instead of separately on the distribution and its Fourier transform. More precisely we prove that a tempered distribution $\mu$ on ${\mathbb R}^d$ whose Wigner transform, $W(\mu)$, is supported on a product of two uniformly discrete sets in ${\mathbb R}^d$ is a quasicrystal. This result is partially extended to a generalization of the Wigner transform, called matrix-Wigner transform which is defined in terms of the Wigner transform and a linear map $T$ on ${\mathbb R}^{2d}$.


title: Performance of solar far-side active regions neural detection

abstract: Context. Far-side helioseismology is a technique used to infer the presence of active regions in the far hemisphere of the Sun based on the interpretation of oscillations measured in the near hemisphere. A neural network has been recently developed to improve the sensitivity of the seismic maps to the presence of far-side active regions. Aims. Our aim is to evaluate the performance of the new neural network approach and to thoroughly compare it with the standard method commonly applied to predict far-side active regions from seismic measurements. Methods. We have computed the predictions of active regions using the neural network and the standard approach from five years of far-side seismic maps as a function of the selected threshold in the signatures of the detections. The results have been compared with direct extreme ultraviolet observations of the far hemisphere acquired with the Solar Terrestrial Relations Observatory (STEREO). Results. We have confirmed the improved sensitivity of the neural network to the presence of far-side active regions. Approximately 96% of the active regions identified by the standard method with a strength above the threshold commonly employed by previous analyses are related to locations with enhanced extreme ultraviolet emission. For this threshold, the false positive ratio is 3.75%. For an equivalent false positive ratio, the neural network produces 47% more true detections. Weaker active regions can be detected by relaxing the threshold in their seismic signature. Conclusions. The neural network is a promising approach to improve the interpretation of the seismic maps provided by local helioseismic techniques.


title: Boundary path groupoids of generalized Boolean dynamical systems and their C*-algebras

abstract: In this paper, we provide two types of boundary path groupoids from a generalized Boolean dynamical system $(\mathcal{B},\mathcal{L}, \theta, \mathcal{I}_{\alpha})$. For the first groupoid, we associate an inverse semigroup to a generalized Boolean dynamical system and use the tight spectrum $\mathsf{T}$ as the unit space of a groupoid $\Gamma(\mathcal{B},\mathcal{L}, \theta, \mathcal{I}_{\alpha})$ that is isomorphic to the tight groupoid $\mathcal{G}_{tight}$. The other one is defined as the Renault-Deaconu groupoid $\Gamma(\partial E, \sigma_E)$ arising from a topological correspondence $E$ associated with a generalized Boolean dynamical system. We then prove that the tight spectrum $\mathsf{T} $ is homeomorphic to the boundary path space $\partial E$ obtained from the topological correspondence. Using this result, we prove that the groupoid $\Gamma(\mathcal{B},\mathcal{L}, \theta, \mathcal{I}_{\alpha})$ equipped with the topology induced from the topology on $\mathcal{G}_{tight}$ is isomorphic to $\Gamma(\partial E, \sigma_E)$ as a topological groupoid. Finally, we show that their $C^*$-algebras are isomorphic to the $C^*$-algebra of the generalized Boolean dynamical system.


title: Towards sampling complex actions

abstract: Path integrals with complex actions are encountered for many physical systems ranging from spin- or mass-imbalanced atomic gases and graphene to quantum chromo-dynamics at finite density to the non-equilibrium evolution of quantum systems. Many computational approaches have been developed for tackling the sign problem emerging for complex actions. Among these, complex Langevin dynamics has the appeal of general applicability. One of its key challenges is the potential convergence of the dynamics to unphysical fixed points. The statistical sampling process at such a fixed point is not based on the physical action and hence leads to wrong predictions. Moreover, its unphysical nature is hard to detect due to the implicit nature of the process. In the present work we set up a general approach based on a Markov chain Monte Carlo scheme in an extended state space. In this approach we derive an explicit real sampling process for generalized complex Langevin dynamics. Subject to a set of constraints, this sampling process is the physical one. These constraints originate from the detailed-balance equations satisfied by the Monte Carlo scheme. This allows us to re-derive complex Langevin dynamics from a new perspective and establishes a framework for the explicit construction of new sampling schemes for complex actions.