title: Completion and Augmentation based Spatiotemporal Deep Learning Approach for Short-Term Metro Origin-Destination Matrix Prediction under Limited Observable Data

abstract: Short-term OD flow (i.e. the number of passenger traveling between stations) prediction is crucial to traffic management in metro systems. Due to the delayed effect in latest complete OD flow collection, complex spatiotemporal correlations of OD flows in high dimension, it is more challengeable than other traffic prediction tasks of time series. Existing methods need to be improved due to not fully utilizing the real-time passenger mobility data and not sufficiently modeling the implicit correlation of the mobility patterns between stations. In this paper, we propose a Completion based Adaptive Heterogeneous Graph Convolution Spatiotemporal Predictor. The novelty is mainly reflected in two aspects. The first is to model real-time mobility evolution by establishing the implicit correlation between observed OD flows and the prediction target OD flows in high dimension based on a key data-driven insight: the destination distributions of the passengers departing from a station are correlated with other stations sharing similar attributes (e.g. geographical location, region function). The second is to complete the latest incomplete OD flows by estimating the destination distribution of unfinished trips through considering the real-time mobility evolution and the time cost between stations, which is the base of time series prediction and can improve the model's dynamic adaptability. Extensive experiments on two real world metro datasets demonstrate the superiority of our model over other competitors with the biggest model performance improvement being nearly 4\%. In addition, the data complete framework we propose can be integrated into other models to improve their performance up to 2.1\%.


title: Probabilistic annotations for protocol models

abstract: We describe how a probabilistic Hoare logic with localities can be used for reasoning about security. As a proof-of-concept, we analyze Vernam and El-Gamal cryptosystems, prove the security properties that they do satisfy and disprove those that they do not. We also consider a version of the Muddy Children puzzle, where children's trust and noise are taken into account.


title: Motility and self-organization of gliding Chlamydomonas populations

abstract: Cellular appendages such as cilia and flagella represent universal tools enabling cells and microbes, among other essential functionalities, to propel themselves in diverse environments. In its planktonic, i.e. freely swimming, state the unicellular bi-flagellated microbe Chlamydomonas reinhardtii employs a periodic breaststroke-like flagellar beating to displace the surrounding fluid. Another flagella-mediated motility mode is observed for surface-associated Chlamydomonas cells, which glide along the surface by means of force transduction through an intraflagellar transport machinery. Experiments and statistical motility analysis demonstrate that this gliding motility enhances clustering and supports self-organization of Chlamydomonas populations. We employ Minkowski functionals to characterize the spatiotemporal organization of the surface-associated cell monolayer. We find that simulations based on a purely mechanistic approach cannot capture the observed non-random cell configurations. Quantitative agreement with experimental data however is achieved when considering a minimal cognitive model of the flagellar mechanosensing.


title: Sinogram Denoise Based on Generative Adversarial Networks

abstract: A novel method for sinogram denoise based on Generative Adversarial Networks (GANs) in the field of SPECT imaging is presented. Projection data from software phantoms were used to train the proposed model. For evaluation of the efficacy of the method Shepp Logan based phantom, with various noise levels added where used. The resulting denoised sinograms are reconstructed using Ordered Subset Expectation Maximization (OSEM) and compared to the reconstructions of the original noised sinograms. As the results show, the proposed method significantly denoise the sinograms and significantly improves the reconstructions. Finally, to demonstrate the efficacy and capability of the proposed method results from real-world DAT-SPECT sinograms are presented.


title: Giant modulation of the electron mobility in semiconductor Bi$_2$O$_2$Se via incipient ferroelectric phase transition

abstract: High-mobility layered semiconductors have the potential to enable the next-generation electronics and computing. This paper demonstrates that the ultrahigh electron mobility observed in the layered semiconductor Bi$_2$O$_2$Se originates from an incipient ferroelectric transition that endows the material with a robust protection against mobility degradation by Coulomb scattering. Based on first-principles calculations of electron-phonon interaction and ionized impurity scattering, it is shown that the electron mobility of Bi$_2$O$_2$Se can reach 10$^4$ to 10$^6$ cm$^2$V$^{-1}$s$^{-1}$ over a wide range of realistic doping concentrations. Furthermore, a small elastic strain of 1.7% can drive the material toward a unique interlayer ferroelectric transition, resulting in a large increase in the dielectric permittivity and a giant enhancement of the low-temperature electron mobility by more than an order of magnitude. These results establish a new route to realize high-mobility layered semiconductors via phase and dielectric engineering.


title: Proton gravitational form factors in a light-front quark-diquark model

abstract: We present a recent calculation of the gravitational form factors (GFFs) of proton using the light-front quark-diquark model constructed by the soft-wall AdS/QCD. The four GFFs $~A(Q^2)$ , $B(Q^2)$ , $C(Q^2)$ and $\bar{C}(Q^2)$ are calculated in this model. We also show the pressure and shear distributions of quarks inside the proton. The GFFs, $A(Q^2)$ and $B(Q^2)$ are found to be consistent with the lattice QCD, while the qualitative behavior of the $D$-term form factor is in agreement with the extracted data from the deeply virtual Compton scattering (DVCS) experiments at JLab, the lattice QCD, and the predictions of different phenomenological models.


title: "What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis

abstract: Among daily tasks of database administrators (DBAs), the analysis of query workloads to identify schema issues and improving performances is crucial. Although DBAs can easily pinpoint queries repeatedly causing performance issues, it remains challenging to automatically identify subsets of queries that share some properties only (a pattern) and simultaneously foster some target measures, such as execution time. Patterns are defined on combinations of query clauses, environment variables, database alerts and metrics and help answer questions like what makes SQL queries slow? What makes I/O communications high? Automatically discovering these patterns in a huge search space and providing them as hypotheses for helping to localize issues and root-causes is important in the context of explainable AI. To tackle it, we introduce an original approach rooted on Subgroup Discovery. We show how to instantiate and develop this generic data-mining framework to identify potential causes of SQL workloads issues. We believe that such data-mining technique is not trivial to apply for DBAs. As such, we also provide a visualization tool for interactive knowledge discovery. We analyse a one week workload from hundreds of databases from our company, make both the dataset and source code available, and experimentally show that insightful hypotheses can be discovered.


title: Supertwistor realisations of AdS superspaces

abstract: We propose supertwistor realisations of $(p,q)$ anti-de Sitter (AdS) superspaces in three dimensions and $\cal N$-extended AdS superspaces in four dimensions. For each superspace, we identify a two-point function that is invariant under the corresponding isometry supergroup. This two-point function is a supersymmetric extension (of a function) of the geodesic distance. We also describe a bi-supertwistor formulation for $\cal N$-extended AdS superspace in four dimensions and harmonic/projective extensions of $(p,q)$ AdS superspaces in three dimensions.


title: Exponential Ergodicity for Singular Reflecting McKean-Vlasov SDEs

abstract: By refining a recent result of Xie and Zhang, we prove the exponential ergodicity under a weighted variation norm for singular SDEs with drift containing a local integrable term and a coercive term. This result is then extended to singular reflecting SDEs as well as singular McKean-Vlasov SDEs with or without reflection. We also present the exponential ergodicity in the relative entropy and (weighted) Wasserstein distances for reflecting McKean-Vlasov SDEs under the dissipative and partially dissipative conditions respectively. The main results are illustrated by non-symmetric singular granular media equations.


title: Nucleon structure from basis light-front quantization

abstract: We produce the light-front wave functions (LFWFs) of the nucleon from a basis light-front ap- proach in the leading Fock sector representation. We solve for the mass eigenstates from a light-front effective Hamiltonian, which includes a confining potential adopted from light-front holography in the transverse direction, a longitudinal confinement, and a one-gluon exchange interaction with fixed coupling. We then employ the LFWFs to obtain the electromagnetic and axial form factors, the par- ton distribution functions (PDFs) and the generalized parton distribution functions for the nucleon. The electromagnetic and axial form factors of the proton agree with the experimental data, whereas the neutron form factors deviate somewhat from the experiments in the low momentum transfer region. The unpolarized, the helicity, and the transversity valence quark PDFs, after QCD scale evolution, are fairly consistent with the global fits to the data at the relevant experimental scales. The helicity asymmetry for the down quark also agrees well with the measurements, however, the asymmetry for the up quark shows a deviation from the data, especially in the small x region. We also find that the tensor charge agrees well with the extracted data and the lattice QCD predictions, while the axial charge is somewhat outside the experimental error bar. The electromagnetic radii of the proton, the magnetic radius of the neutron, and the axial radius are in excellent agreement with the measurements, while the neutron charge radius deviates from experiment.


title: The saturation number of $C_6$

abstract: A graph $G$ is called $C_k$-saturated if $G$ is $C_k$-free but $G+e$ not for any $e\in E(\overline{G})$. The saturation number of $C_k$, denoted $sat(n,C_k)$, is the minimum number of edges in a $C_k$-saturated graph on $n$ vertices. Finding the exact values of $sat(n,C_k)$ has been one of the most intriguing open problems in extremal graph theory. In this paper, we study the saturation number of $C_6$. We prove that ${4n}/{3}-2 \le sat(n,C_6) \le {(4n+1)}/{3}$ for $n\ge9$, which significantly improves the existing lower and upper bounds for $sat(n,C_6)$.


title: Prospects for Galactic transient sources detection with the Cherenkov Telescope Array

abstract: Several types of Galactic sources, like magnetars, microquasars, novae or pulsar wind nebulae flares, display transient emission in the X-ray band. Some of these sources have also shown emission at MeV--GeV energies. However, none of these Galactic transients have ever been detected in the very-high-energy (VHE; E$>$100 GeV) regime by any Imaging Air Cherenkov Telescope (IACT). The Galactic Transient task force is a part of the Transient Working group of the Cherenkov Telescope Array (CTA) Consortium. The task force investigates the prospects of detecting the VHE counterpart of such sources, as well as their study following Target of Opportunity (ToO) observations. In this contribution, we will show some of the results of exploring the capabilities of CTA to detect and observe Galactic transients; we assume different array configurations and observing strategies.


title: Agricultural Growth Diagnostics: Identifying the Binding Constraints and Policy Remedies for Bihar, India

abstract: Agriculture plays a significant role in economic development of the underdeveloped region. Multiple factors influence the performance of agricultural sector but a few of these have a strong bearing on its growth. We develop a growth diagnostics framework for agricultural sector in Bihar located in eastern India to identify the most binding constraints. Our results show that poor functioning of agricultural markets and low level of crop diversification are the important reasons for lower agricultural growth in Bihar. Rise in the level of instability in the prices of agricultural produces indicates a weak price transmission across the markets even after repealing the agricultural produce market committee act. Poor market linkages and non-functioning producer collectives at village level affect the farmers motivation for undertaking crop diversification. Our policy suggestions include state provision of basic market infrastructure to attract private investment in agricultural marketing, strengthening the farmer producer organisations, and a comprehensive policy on crop diversification.


title: Unified Regularity Measures for Sample-wise Learning and Generalization

abstract: Fundamental machine learning theory shows that different samples contribute unequally both in learning and testing processes. Contemporary studies on DNN imply that such sample difference is rooted on the distribution of intrinsic pattern information, namely sample regularity. Motivated by the recent discovery on network memorization and generalization, we proposed a pair of sample regularity measures for both processes with a formulation-consistent representation. Specifically, cumulative binary training/generalizing loss (CBTL/CBGL), the cumulative number of correct classiffcations of the training/testing sample within training stage, is proposed to quantize the stability in memorization-generalization process; while forgetting/mal-generalizing events, i.e., the mis-classification of previously learned or generalized sample, are utilized to represent the uncertainty of sample regularity with respect to optimization dynamics. Experiments validated the effectiveness and robustness of the proposed approaches for mini-batch SGD optimization. Further applications on training/testing sample selection show the proposed measures sharing the unified computing procedure could benefit for both tasks.


title: Two-pronged Strategy: Lightweight Augmented Graph Network Hashing for Scalable Image Retrieval

abstract: Hashing learns compact binary codes to store and retrieve massive data efficiently. Particularly, unsupervised deep hashing is supported by powerful deep neural networks and has the desirable advantage of label independence. It is a promising technique for scalable image retrieval. However, deep models introduce a large number of parameters, which is hard to optimize due to the lack of explicit semantic labels and brings considerable training cost. As a result, the retrieval accuracy and training efficiency of existing unsupervised deep hashing are still limited. To tackle the problems, in this paper, we propose a simple and efficient \emph{Lightweight Augmented Graph Network Hashing} (LAGNH) method with a two-pronged strategy. For one thing, we extract the inner structure of the image as the auxiliary semantics to enhance the semantic supervision of the unsupervised hash learning process. For another, we design a lightweight network structure with the assistance of the auxiliary semantics, which greatly reduces the number of network parameters that needs to be optimized and thus greatly accelerates the training process. Specifically, we design a cross-modal attention module based on the auxiliary semantic information to adaptively mitigate the adverse effects in the deep image features. Besides, the hash codes are learned by multi-layer message passing within an adversarial regularized graph convolutional network. Simultaneously, the semantic representation capability of hash codes is further enhanced by reconstructing the similarity graph.


title: On the linearity of the syzygies of Hibi rings

abstract: In this article, we prove necessary conditions for Hibi rings to satisfy Green-Lazarsfeld property $N_p$ for $p=2$ and $3$. We also show that if a Hibi ring satisfies property $N_4$, then it is a polynomial ring or it has a linear resolution. Therefore, it satisfies property $N_p$ for all $p\geq 4$ as well. As a consequence, we characterize distributive lattices whose comparability graph is chordal in terms of the subposet of join-irreducibles of the distributive lattice. Moreover, we characterize complete intersection Hibi rings.


title: Electronic Theory for Scanning Tunneling Microscopy Spectra in Infinite-Layer Nickelate Superconductors

abstract: Recent scanning tunneling microscopy (STM) observation of U-shaped and V-shaped spectra (and their mixture) in superconducting Nd$_{1-x}$Sr$_x$NiO$_2$ thin films has been interpreted as presence of two distinct gap symmetries in this nickelate superconductor [Gu et al., Nat. Comm. 11, 6027 (2020)]. Here, using a two-band model of nickelates capturing dominant contributions from Ni-$3d_{x^2-y^2}$ and rare-earth (R)-$5d_{3z^2 - r^2}$ orbitals, we show that the experimental observation can be simply explained within a pairing scenario characterized by a conventional $d_{x^2-y^2}$-wave gap structure with lowest harmonic on the Ni-band and a $d_{x^2-y^2}$-wave gap with higher-harmonics on the R-band. We perform realistic simulations of STM spectra employing first-principles Wannier functions to properly account for the tunneling processes and obtain V, U, and mixed spectral line-shapes depending on the position of the STM tip within the unit cell. The V- and U-shaped spectra are contributed from Ni and R-bands, respectively, and Wannier functions, in essence, provide position-dependent weighing factors, determining the spectral line-shape at a given intra-unit cell position. We propose a phase-sensitive experiment to distinguish between the proposed $d$-wave gap structure and time-reversal symmetry breaking $d+is$ gap which yields very similar intra-unit cell spectra.


title: LatticeNet: Fast Spatio-Temporal Point Cloud Segmentation Using Permutohedral Lattices

abstract: Deep convolutional neural networks (CNNs) have shown outstanding performance in the task of semantically segmenting images. Applying the same methods on 3D data still poses challenges due to the heavy memory requirements and the lack of structured data. Here, we propose LatticeNet, a novel approach for 3D semantic segmentation, which takes raw point clouds as input. A PointNet describes the local geometry which we embed into a sparse permutohedral lattice. The lattice allows for fast convolutions while keeping a low memory footprint. Further, we introduce DeformSlice, a novel learned data-dependent interpolation for projecting lattice features back onto the point cloud. We present results of 3D segmentation on multiple datasets where our method achieves state-of-the-art performance. We also extend and evaluate our network for instance and dynamic object segmentation.


title: Selective Light Field Refocusing for Camera Arrays Using Bokeh Rendering and Superresolution

abstract: Camera arrays provide spatial and angular information within a single snapshot. With refocusing methods, focal planes can be altered after exposure. In this letter, we propose a light field refocusing method to improve the imaging quality of camera arrays. In our method, the disparity is first estimated. Then, the unfocused region (bokeh) is rendered by using a depth-based anisotropic filter. Finally, the refocused image is produced by a reconstruction-based superresolution approach where the bokeh image is used as a regularization term. Our method can selectively refocus images with focused region being superresolved and bokeh being aesthetically rendered. Our method also enables postadjustment of depth of field. We conduct experiments on both public and self-developed datasets. Our method achieves superior visual performance with acceptable computational cost as compared to other state-of-the-art methods. Code is available at https://github.com/YingqianWang/Selective-LF-Refocusing.


title: Compactness and rigidity of self-shrinking surfaces

abstract: The entropy functional introduced by Colding and Minicozzi plays a fundamental role in the analysis of mean curvature flow. However, unlike the hypersurface case, relatively little about the entropy is known in the higher-codimension case. In this note, we use measure-theoretical techniques and rigidity results for self-shrinkers to prove a compactness theorem for a family of self-shrinking surfaces with low entropy. Based on this, we prove the existence of entropy minimizers among self-shrinking surfaces and improve some rigidity results.


title: FA-GAN: Fused Attentive Generative Adversarial Networks for MRI Image Super-Resolution

abstract: High-resolution magnetic resonance images can provide fine-grained anatomical information, but acquiring such data requires a long scanning time. In this paper, a framework called the Fused Attentive Generative Adversarial Networks(FA-GAN) is proposed to generate the super-resolution MR image from low-resolution magnetic resonance images, which can reduce the scanning time effectively but with high resolution MR images. In the framework of the FA-GAN, the local fusion feature block, consisting of different three-pass networks by using different convolution kernels, is proposed to extract image features at different scales. And the global feature fusion module, including the channel attention module, the self-attention module, and the fusion operation, is designed to enhance the important features of the MR image. Moreover, the spectral normalization process is introduced to make the discriminator network stable. 40 sets of 3D magnetic resonance images (each set of images contains 256 slices) are used to train the network, and 10 sets of images are used to test the proposed method. The experimental results show that the PSNR and SSIM values of the super-resolution magnetic resonance image generated by the proposed FA-GAN method are higher than the state-of-the-art reconstruction methods.


title: Design of adaptive optics by interference fitting: theoretical background

abstract: Interference-fit joints are typically adopted to produce permanent assemblies among mechanical parts. The resulting contact pressure is generally used for element fixing or to allow load transmission. Nevertheless, some special designs take advantage of the contact pressure to induce desiderata deformation or to mitigate the stress field inside the structure. Biased interference fitting between a planar mirror and an external ring could be used to induce the required curvature to realize new adaptive lens for optical aberration correction. Recently, thermally-actuated deformable mirror on this principle based, was proposed and prototyped. Although the feasibility and utility of such innovative lens was demonstrated, no comprehensive theory was developed to describe mirror behaviour and predict their curvature. Nowadays, the use of approximated numerical approach, such as the finite element method, is the only way to study the interaction between biased and interference fitted bodies. The paper aims to give the theoretical background for the correct design of adaptive lens actuated by interference fitting. A new formulation for the curvature prediction is proposed and compared with finite element analysis and available experimental measurements.


title: Intrinsic alignments of galaxies around cosmic voids

abstract: The intrinsic alignments of galaxies, i.e., the correlation between galaxy shapes and their environment, are a major source of contamination for weak gravitational lensing surveys. Most studies of intrinsic alignments have so far focused on measuring and modelling the correlations of luminous red galaxies with galaxy positions or the filaments of the cosmic web. In this work, we investigate alignments around cosmic voids. We measure the intrinsic alignments of luminous red galaxies detected by the Sloan Digital Sky Survey around a sample of voids constructed from those same tracers and with radii in the ranges: $[20-30; 30-40; 40-50]$ $h^{-1}$ Mpc and in the redshift range $z=0.4-0.8$. We present fits to the measurements based on a linear model at large scales, and on a new model based on the void density profile inside the void and in its neighbourhood. We constrain the free scaling amplitude of our model at small scales, finding no significant alignment at $1\sigma$ for either sample. We observe a deviation from the null hypothesis, at large scales, of 2$\sigma$ for voids with radii between 20 and 30 $h^{-1}$ Mpc, and 1.5 $\sigma$ for voids with radii between 30 and 40 $h^{-1}$ Mpc and constrain the amplitude of the model on these scales. We find no significant deviation at 1$\sigma$ for larger voids. Our work is a first attempt at detecting intrinsic alignments of galaxy shapes around voids and provides a useful framework for their mitigation in future void lensing studies.


title: Quantum single-photon control, storage, and entanglement generation with planar atomic arrays

abstract: While artificially fabricated patterned metasurfaces are providing paradigm-shifting optical components for classical light manipulation, strongly interacting, controllable, and deterministic quantum interfaces between light and matter in free space remain an outstanding challenge. Here we theoretically demonstrate how to achieve quantum control of both the electric and magnetic components of an incident single-photon pulse by engineering the collective response of a two-dimensional atomic array. High-fidelity absorption and storage in a long-lived subradiant state, and its subsequent retrieval, are achieved by controlling classically or quantum mechanically the ac Stark shifts of the atomic levels and suppressing the scattering during the absorption. Quantum wavefront control of the transmitted photon with nearly zero reflection is prepared by coupling the collective state of the array to another photon in a cavity and by engineering a Huygens' surface of atoms using only a single coherent standing wave. The proposed schemes allow for the generation of entanglement between the cavity, the lattice, and hence the state of the stored, reflected or transmitted light, and for quantum-state transfer between the cavity and propagating photons. Bipartite entanglement generation is explicitly calculated between a stored single-photon excitation of the array and the cavity photon. We illustrate the control by manipulating the phase, phase superposition, polarization, and direction of a transmitted or reflected photon, providing quantum-optical switches and functional quantum interfaces between light and atoms that could form links in a larger quantum information platform.

categories: physics.atom-ph cond-mat.quant-gas physics.optics quant-ph


title: Quantum Markov Chains on the Comb graphs: Ising model

abstract: In the present paper, we construct quantum Markov chains (QMC) over the Comb graphs. As an application of this construction, it is proved the existence of the disordered phase for the Ising type models (within QMC scheme) over the Comb graphs. Moreover, it is also established that the associated QMC has clustering property with respect to translations of the graph. We stress that this paper is the first one where a nontrivial example of QMC over non-regular graphs is given.


title: Maximizing Vortex for the Navier--Stokes Flow with a Convective Boundary Condition: A Shape Design Problem

abstract: In this study, a shape optimization problem for the two-dimensional stationary Navier--Stokes equations with an artificial boundary condition is considered. The fluid is assumed to be flowing through a rectangular channel, and the artificial boundary condition is formulated so as to take into account the possibility of ill-posedness caused by the usual do-nothing boundary condition. The goal of the optimization problem is to maximize the vorticity of the said fluid by determining the shape of an obstacle inside the channel. Meanwhile, the shape variation is limited by a perimeter functional and a volume constraint. The perimeter functional was considered to act as a Tikhonov regularizer and the volume constraint is added to exempt us from topological changes in the domain. The shape derivative of the objective functional was formulated using the rearrangement method, and this derivative was later on used for gradient descent methods. Additionally, an augmented Lagrangian method and a class of solenoidal deformation fields were considered to take into account the goal of volume preservation. Lastly, numerical examples based on the gradient descent and the volume preservation methods are presented.


title: Deep Learning Searches for Vector-Like Leptons at the LHC and Electron/Muon Colliders

abstract: The discovery potential of both singlet and doublet vector-like leptons (VLLs) at the Large Hadron Collider (LHC) as well as at the not-so-far future muon and electron machines is explored. The focus is on a single production channel for LHC direct searches while double production signatures are proposed for the leptonic colliders. A Deep Learning algorithm to determine the discovery (or exclusion) statistical significance at the LHC is employed. While doublet VLLs can be probed up to masses of 1 TeV, their singlet counterparts have very low cross sections and can hardly be tested beyond a few hundreds of GeV at the LHC. This motivates a physics-case analysis in the context of leptonic colliders where one obtains larger cross sections in VLL double production channels, allowing to probe higher mass regimes otherwise inaccessible even to the LHC high-luminosity upgrade.


title: Testing density functional theory in a quantum Ising chain

abstract: By using the quantum Ising chain as a test bed and treating the spin polarization along the external transverse field as the "generalized density", we examine the performance of different levels of density functional approximations parallel to those widely used for interacting electrons, such as local density approximation (LDA) and generalized gradient approximation (GGA). We show that by adding the lowest-order and nearest-neighbor density variation correction to the simple LDA, a semi-local energy functional in the spirit of GGA is almost exact over a wide range of inhomogeneous density distribution. In addition, the LDA and GGA error structures bear a high level of resemblance to the quantum phase diagram of the system. These results provide insights into the triumph and failure of these approximations in a general context.


title: Anti-commutative dynamical magneto-electric response in certain solid state materials

abstract: Axion field induced topological magneto-electric response has attracted lots of attentions since it was first proposed by Qi et al. in 2008. Here we find a new type of anti-commutative magneto-electric response \beta^{\xi}(\omega), which can induce a dynamical magneto-electric current driven by a time-varying magnetic field. Unlike the Chern-Simons Axion term, this magneto-electric response term is gauge-independent and non-quantized, and manifests in the systems breaking the symmetries of the time-reversal, inversion and mirror. In particular, we propose the antiferromagnetic material Mn_{2}Bi_{2}Te_{5} as a material candidate to observe dynamical magneto-electric current, in which a large magneto-electric response term \beta^{\xi}(\omega) originates from band inversion.


title: The State of AI Ethics Report (Volume 5)

abstract: This report from the Montreal AI Ethics Institute covers the most salient progress in research and reporting over the second quarter of 2021 in the field of AI ethics with a special emphasis on "Environment and AI", "Creativity and AI", and "Geopolitics and AI." The report also features an exclusive piece titled "Critical Race Quantum Computer" that applies ideas from quantum physics to explain the complexities of human characteristics and how they can and should shape our interactions with each other. The report also features special contributions on the subject of pedagogy in AI ethics, sociology and AI ethics, and organizational challenges to implementing AI ethics in practice. Given MAIEI's mission to highlight scholars from around the world working on AI ethics issues, the report also features two spotlights sharing the work of scholars operating in Singapore and Mexico helping to shape policy measures as they relate to the responsible use of technology. The report also has an extensive section covering the gamut of issues when it comes to the societal impacts of AI covering areas of bias, privacy, transparency, accountability, fairness, interpretability, disinformation, policymaking, law, regulations, and moral philosophy.


title: Numerical analysis of a discontinuous Galerkin method for the Borrvall-Petersson topology optimization problem

abstract: Divergence-free discontinuous Galerkin (DG) finite element methods offer a suitable discretization for the pointwise divergence-free numerical solution of Borrvall and Petersson's model for the topology optimization of fluids in Stokes flow [Topology optimization of fluids in Stokes flow, International Journal for Numerical Methods in Fluids 41 (1) (2003) 77--107]. The convergence results currently found in literature only consider H^1-conforming discretizations for the velocity. In this work, we extend the numerical analysis of Papadopoulos and Suli to divergence-free DG methods with an interior penalty [I. P. A. Papadopoulos and E. Suli, Numerical analysis of a topology optimization problem for Stokes flow, arXiv preprint arXiv:2102.10408, (2021)]. We show that, given an isolated minimizer of the infinite-dimensional problem, there exists a sequence of DG finite element solutions, satisfying necessary first-order optimality conditions, that strongly converges to the minimizer.


title: Towards Homological Mirror Symmetry

abstract: This is an expository article on the A-side of Kontsevich's Homological Mirror Symmetry conjecture. We give first a self-contained study of $A_\infty$-categories and their homological algebra, and later restrict to Fukaya categories, with particular emphasis on the basics of the underlying Floer theory, and the geometric features therein. Finally, we place the theory in the context of mirror symmetry, building towards its main predictions.


title: Sign Changes of Coefficients of Powers of the Infinite Borwein Product

abstract: We denote by $c_t^{(m)}(n)$ the coefficient of $q^n$ in the series expansion of $(q;q)_\infty^m(q^t;q^t)_\infty^{-m}$, which is the $m$-th power of the infinite Borwein product. Let $t$ and $m$ be positive integers with $m(t-1)\leq 24$. We provide asymptotic formula for $c_t^{(m)}(n)$, and give characterizations of $n$ for which $c_t^{(m)}(n)$ is positive, negative or zero. We show that $c_t^{(m)}(n)$ is ultimately periodic in sign and conjecture that this is still true for other positive integer values of $t$ and $m$. Furthermore, we confirm this conjecture in the cases $(t,m)=(2,m),(p,1),(p,3)$ for arbitrary positive integer $m$ and prime $p$.


title: A generalized phenomenological model for the magnetic field penetration and magnetization hysteresis loops of a type-II superconductor

abstract: A generalized phenomenological model for the critical state of type-II superconductors with magnetic field parallel to the superconducting plate is proposed. This model considers the global magnetization including both the equilibrium magnetization from surface screening current and the non-equilibrium magnetization from bulk pinning in a self-consistent way. Our model can be used to simulate the magnetization-hysteresis-loops (MHLs) and flux penetrating process of different type-II superconductors, from low- to high-kappa values. Here we take an optimally doped Ba0.6K0.4Fe2As2 single crystal as a testing example. The model can fit the data quite well and several important parameters can be extracted from the fitting. Thus, the model can be extended to a general case for studying the magnetization and flux penetration in other type-II superconductors.


title: Interplay of the orbital magnetic moment and the chiral magnetic effect in Shubnikov-de Haas quantum oscillations

abstract: Emergent Lorentz symmetry and chiral anomaly are well known to play an essential role in anomalous transport phenomena of Weyl metals. In particular, the former causes a Berry-curvature induced orbital magnetic moment to modify the group velocity of Weyl electrons, and the latter results in the chiral magnetic effect to be responsible for a "dissipationless" longitudinal current channel of the bulk. In this study, we verify that intertwined these two effects can be measured in Shubnikov-de Haas (SdH) quantum oscillations, where a double-peak structure of the SdH oscillation appears to cause a kink in the Landau fan diagram. We examine three different cases which cover all possible experimental situations of external electric/magnetic fields and identify the experimental condition for the existence of the double-peak structure. We claim that interplay of the orbital magnetic moment and the chiral magnetic effect in SdH quantum oscillations is an interesting feature of the Weyl metal state.


title: Multilevel Estimation of Normalization Constants Using the Ensemble Kalman-Bucy Filter

abstract: In this article we consider the application of multilevel Monte Carlo, for the estimation of normalizing constants. In particular we will make use of the filtering algorithm, the ensemble Kalman-Bucy filter (EnKBF), which is an N-particle representation of the Kalma-Bucy filter (KBF). The EnKBF is of interest as it coincides with the optimal filter in the continuous-linear setting, i.e. the KBF. This motivates our particular setup in the linear setting. The resulting methodology we will use is the multilevel ensemble Kalman-Bucy filter (MLEnKBF). We provide an analysis based on deriving Lq-bounds for the normalizing constants using both the single-level, and the multilevel algorithms. Our results will be highlighted through numerical results, where we firstly demonstrate the error-to-cost rates of the MLEnKBF comparing it to the EnKBF on a linear Gaussian model. Our analysis will be specific to one variant of the MLEnKBF, whereas the numerics will be tested on different variants. We also exploit this methodology for parameter estimation, where we test this on the models arising in atmospheric sciences, such as the stochastic Lorenz 63 and 96 model.


title: 3D Human Reconstruction in the Wild with Collaborative Aerial Cameras

abstract: Aerial vehicles are revolutionizing applications that require capturing the 3D structure of dynamic targets in the wild, such as sports, medicine, and entertainment. The core challenges in developing a motion-capture system that operates in outdoors environments are: (1) 3D inference requires multiple simultaneous viewpoints of the target, (2) occlusion caused by obstacles is frequent when tracking moving targets, and (3) the camera and vehicle state estimation is noisy. We present a real-time aerial system for multi-camera control that can reconstruct human motions in natural environments without the use of special-purpose markers. We develop a multi-robot coordination scheme that maintains the optimal flight formation for target reconstruction quality amongst obstacles. We provide studies evaluating system performance in simulation, and validate real-world performance using two drones while a target performs activities such as jogging and playing soccer. Supplementary video: https://youtu.be/jxt91vx0cns


title: DoSSIER@COLIEE 2021: Leveraging dense retrieval and summarization-based re-ranking for case law retrieval

abstract: In this paper, we present our approaches for the case law retrieval and the legal case entailment task in the Competition on Legal Information Extraction/Entailment (COLIEE) 2021. As first stage retrieval methods combined with neural re-ranking methods using contextualized language models like BERT achieved great performance improvements for information retrieval in the web and news domain, we evaluate these methods for the legal domain. A distinct characteristic of legal case retrieval is that the query case and case description in the corpus tend to be long documents and therefore exceed the input length of BERT. We address this challenge by combining lexical and dense retrieval methods on the paragraph-level of the cases for the first stage retrieval. Here we demonstrate that the retrieval on the paragraph-level outperforms the retrieval on the document-level. Furthermore the experiments suggest that dense retrieval methods outperform lexical retrieval. For re-ranking we address the problem of long documents by summarizing the cases and fine-tuning a BERT-based re-ranker with the summaries. Overall, our best results were obtained with a combination of BM25 and dense passage retrieval using domain-specific embeddings.


title: On the Transferability of Neural Models of Morphological Analogies

abstract: Analogical proportions are statements expressed in the form "A is to B as C is to D" and are used for several reasoning and classification tasks in artificial intelligence and natural language processing (NLP). In this paper, we focus on morphological tasks and we propose a deep learning approach to detect morphological analogies. We present an empirical study to see how our framework transfers across languages, and that highlights interesting similarities and differences between these languages. In view of these results, we also discuss the possibility of building a multilingual morphological model.


title: Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule, and a Correction

abstract: This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of `maximal formula', `segment' and `maximal segment' suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski's Rule is treated as a general introduction rule for implication. The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. The Correction added to the end of the paper corrects an error: Theorem 2 is mistaken, and so is a corollary drawn from it as well as a corollary that was concluded by the same mistake. Luckily this does not affect the main result of the paper.


title: Model architecture can transform catastrophic forgetting into positive transfer

abstract: The work of McCloskey and Cohen popularized the concept of catastrophic interference. They used a neural network that tried to learn addition using two groups of examples as two different tasks. In their case, learning the second task rapidly deteriorated the acquired knowledge about the previous one. We hypothesize that this could be a symptom of a fundamental problem: addition is an algorithmic task that should not be learned through pattern recognition. Therefore, other model architectures better suited for this task would avoid catastrophic forgetting. We use a neural network with a different architecture that can be trained to recover the correct algorithm for the addition of binary numbers. This neural network includes conditional clauses that are naturally treated within the back-propagation algorithm. We test it in the setting proposed by McCloskey and Cohen and training on random additions one by one. The neural network not only does not suffer from catastrophic forgetting but it improves its predictive power on unseen pairs of numbers as training progresses. We also show that this is a robust effect, also present when averaging many simulations. This work emphasizes the importance that neural network architecture has for the emergence of catastrophic forgetting and introduces a neural network that is able to learn an algorithm.


title: Deep Learning Based Antenna-time Domain Channel Extrapolation for Hybrid mmWave Massive MIMO

abstract: In a time-varying massive multiple-input multipleoutput (MIMO) system, the acquisition of the downlink channel state information at the base station (BS) is a very challenging task due to the prohibitively high overheads associated with downlink training and uplink feedback. In this paper, we consider the hybrid precoding structure at BS and examine the antennatime domain channel extrapolation. We design a latent ordinary differential equation (ODE)-based network under the variational auto-encoder (VAE) framework to learn the mapping function from the partial uplink channels to the full downlink ones at the BS side. Specifically, the gated recurrent unit is adopted for the encoder and the fully-connected neural network is used for the decoder. The end-to-end learning is utilized to optimize the network parameters. Simulation results show that the designed network can efficiently infer the full downlink channels from the partial uplink ones, which can significantly reduce the channel training overhead.


title: ABBA: A quasi-deterministic Intrusion Detection System for the Internet of Things

abstract: An increasing amount of processes are becoming automated for increased efficiency and safety. Common examples are in automotive, industrial control systems or healthcare. Automation usually relies on a network of sensors to provide key data to control systems. One potential risk to these automated processes comes from fraudulent data injected in the network by malicious actors. In this article we propose a new mechanism of data tampering detection that does not depend on secret cryptographic keys - that can be lost or stolen - or accurate modelling of the network as is the case with existing machine learning based techniques. We define and analyse the mathematical structure of the proposed technique called ABBA and propose an algorithm for implementation.


title: On maximum intersecting sets in direct and wreath product of groups

abstract: For a permutation group $G$ acting on a set $V$, a subset $I$ of $G$ is said to be an intersecting set if for every pair of elements $g,h\in I$ there exists $v \in V$ such that $g(v) = h(v)$. The intersection density $\rho(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|I|/|G_v|$ where $G_v$ is a stabilizer of a point $v\in V$ and $I$ runs over all intersecting sets in $G$. If $G_v$ is the largest intersecting set in $G$ then $G$ is said to have the Erd\H{o}s-Ko-Rado (EKR)-property, and moreover, $G$ has the strict-EKR-property if every intersecting set of maximum size in $G$ is a coset of a point stabilizer. Intersecting sets in $G$ coincide with independent sets in the so-called derangement graph $\Gamma_G$, defined as the Cayley graph on $G$ with connection set consisting of all derangements, that is, fixed-point free elements of $G$. In this paper a conjecture regarding the existence of transitive permutation groups whose derangement graphs are complete multipartite graphs, posed by Meagher, Razafimahatratra and Spiga in [J.Combin. Theory Ser. A 180 (2021), 105390], is proved. The proof uses direct product of groups. Questions regarding maximum intersecting sets in direct and wreath products of groups and the (strict)-EKR-property of these group products are also investigated. In addition, some errors appearing in the literature on this topic are corrected.


title: Proof-Theory and Semantics for a Theory of Definite Descriptions

abstract: This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier $I$. $I$ forms a formula from two formulas. $Ix[F, G]$ means `The $F$ is $G$'. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with $I$ and it is shown to be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising `the $F$' by a term forming operator. It does not coincide with Hintikka's and Lambert's preferred theories, but the divergence is well-motivated and attractive.


title: A Neural Approach for Detecting Morphological Analogies

abstract: Analogical proportions are statements of the form "A is to B as C is to D" that are used for several reasoning and classification tasks in artificial intelligence and natural language processing (NLP). For instance, there are analogy based approaches to semantics as well as to morphology. In fact, symbolic approaches were developed to solve or to detect analogies between character strings, e.g., the axiomatic approach as well as that based on Kolmogorov complexity. In this paper, we propose a deep learning approach to detect morphological analogies, for instance, with reinflexion or conjugation. We present empirical results that show that our framework is competitive with the above-mentioned state of the art symbolic approaches. We also explore empirically its transferability capacity across languages, which highlights interesting similarities between them.


title: Timing observations of three Galactic millisecond pulsars

abstract: We report observed and derived timing parameters for three millisecond pulsars (MSPs) from observations collected with the Parkes 64-m telescope, Murriyang. The pulsars were found during re-processing of archival survey data by Mickaliger et al. One of the new pulsars (PSR J1546-5925) has a spin period $P=7.8$ ms and is isolated. The other two (PSR J0921-5202 with $P=9.7$ ms and PSR J1146-6610 with $P=3.7$ ms) are in binary systems around low-mass ($>0.2 M_{\odot}$) companions. Their respective orbital periods are $38$.2 d and $62.8$ d. While PSR J0921-5202 has a low orbital eccentricity $e=1.3 \times 10^{-5}$, in keeping with many other Galactic MSPs, PSR J1146-6610 has a significantly larger eccentricity, $e = 7.4 \times 10^{-3}$. This makes it a likely member of a group of eccentric MSP-He white dwarf binary systems in the Galactic disk whose formation is poorly understood. Two of the pulsars are co-located with previously unidentified point sources discovered with the Fermi satellite's Large Area Telescope, but no $\gamma$-ray pulsations have been detected, likely due to their low spin-down powers. We also show that, particularly in terms of orbital diversity, the current sample of MSPs is far from complete and is subject to a number of selection biases.


title: On the Hyperparameters in Stochastic Gradient Descent with Momentum

abstract: Following the same routine as [SSJ20], we continue to present the theoretical analysis for stochastic gradient descent with momentum (SGD with momentum) in this paper. Differently, for SGD with momentum, we demonstrate it is the two hyperparameters together, the learning rate and the momentum coefficient, that play the significant role for the linear rate of convergence in non-convex optimization. Our analysis is based on the use of a hyperparameters-dependent stochastic differential equation (hp-dependent SDE) that serves as a continuous surrogate for SGD with momentum. Similarly, we establish the linear convergence for the continuous-time formulation of SGD with momentum and obtain an explicit expression for the optimal linear rate by analyzing the spectrum of the Kramers-Fokker-Planck operator. By comparison, we demonstrate how the optimal linear rate of convergence and the final gap for SGD only about the learning rate varies with the momentum coefficient increasing from zero to one when the momentum is introduced. Then, we propose a mathematical interpretation why the SGD with momentum converges faster and more robust about the learning rate than the standard SGD in practice. Finally, we show the Nesterov momentum under the existence of noise has no essential difference with the standard momentum.


title: Comparison of computing efficiency among FFT, CZT and Zoom FFT in THz-TDS

abstract: A study of alternative transforms to FFT in order to compare their potential to enhance resolution and computation time in the framework of THz time domain spectroscopy (THz-TDS) instruments is carried out. Both from simulated and experimental data it is shown that, as expected, resolution cannot be enhanced using CZT or Zoom FFT and, in terms of computing efficiency, FFT is in practical cases, the most efficient one.


title: Distributionally Robust Resource Planning Under Binomial Demand Intakes

abstract: In this paper, we consider a distributionally robust resource planning model inspired by a real-world service industry problem. In this problem, there is a mixture of known demand and uncertain future demand. Prior to having full knowledge of the demand, we must decide upon how many jobs we plan to complete on each day in the planning horizon. Any jobs that are not completed by the end of their due date incur a cost and become due the following day. We present two distributionally robust optimisation (DRO) models for this problem. The first is a non-parametric model with a phi-divergence based ambiguity set. The second is a parametric model, where we treat the number of uncertain jobs due on each day as a binomial random variable with an unknown success probability. We reformulate the parametric model as a mixed integer program and find that it scales poorly with the sizes of the ambiguity and uncertainty sets. Hence, we make use of theoretical properties of the binomial distribution to derive fast heuristics based on dimension reduction. One is based on cutting surface algorithms commonly seen in the DRO literature. The other operates on a small subset of the uncertainty set for the future demand. We perform extensive computational experiments to establish the performance of our algorithms. We compare decisions from the parametric and non-parametric models, to assess the benefit of including the binomial information.


title: Novel convex decomposition of piecewise affine functions

abstract: In this paper, we present a novel approach to decompose a given piecewise affine (PWA) function into two convex PWA functions. Convex decompositions are useful to speed up or distribute evaluations of PWA functions. Different approaches to construct a convex decomposition have already been published. However, either the two resulting convex functions have very high or very different complexities, which is often undesirable, or the decomposition procedure is inapplicable even for simple cases. Our novel methodology significantly reduces these drawbacks in order to extend the applicability of convex decompositions.


title: Limits of an increasing sequence of complex manifolds

abstract: Let $M$ be a complex manifold which admits an exhaustion by open subsets $M_j$ each of which is biholomorphic to a fixed domain $\Omega \subset \mathbb C^n$. The main question addressed here is to describe $M$ in terms of $\Omega$. Building on work of Fornaess--Sibony, we study two cases namely, $M$ is Kobayashi hyperbolic and the other being the corank one case in which the Kobayashi metric degenerates along one direction. When $M$ is Kobayashi hyperbolic, its complete description is obtained when $\Omega$ is one of the following domains -- (i) a smoothly bounded Levi corank one domain, (ii) a smoothly bounded convex domain, (iii) a strongly pseudoconvex polyhedral domain in $\mathbb C^2$, or (iv) a simply connected domain in $\mathbb C^2$ with generic piecewise smooth Levi-flat boundary. With additional hypotheses, the case when $\Omega$ is the minimal ball or the symmetrized polydisc in $\mathbb C^n$ can also be handled. When the Kobayashi metric on $M$ has corank one and $\Omega$ is either of (i), (ii) or (iii) listed above, it is shown that $M$ is biholomorphic to a locally trivial fibre bundle with fibre $\mathbb C$ over a holomorphic retract of $\Omega$ or that of a limiting domain associated with it. Finally, when $\Omega = \Delta \times \mathbb B^{n-1}$, the product of the unit disc $\Delta \subset \mathbb C$ and the unit ball $\mathbb B^{n-1} \subset \mathbb C^{n-1}$, a complete description of holomorphic retracts is obtained. As a consequence, if $M$ is Kobayashi hyperbolic and $\Omega = \Delta \times \mathbb B^{n-1}$, it is shown that $M$ is biholomorphic to $\Omega$. Further, if the Kobayashi metric on $M$ has corank one, then $M$ is globally a product; in fact, it is biholomorphic to $Z \times \mathbb C$, where $Z \subset \Omega = \Delta \times \mathbb B^{n-1}$ is a holomorphic retract.


title: Safe Deep Reinforcement Learning for Multi-Agent Systems with Continuous Action Spaces

abstract: Multi-agent control problems constitute an interesting area of application for deep reinforcement learning models with continuous action spaces. Such real-world applications, however, typically come with critical safety constraints that must not be violated. In order to ensure safety, we enhance the well-known multi-agent deep deterministic policy gradient (MADDPG) framework by adding a safety layer to the deep policy network. In particular, we extend the idea of linearizing the single-step transition dynamics, as was done for single-agent systems in Safe DDPG (Dalal et al., 2018), to multi-agent settings. We additionally propose to circumvent infeasibility problems in the action correction step using soft constraints (Kerrigan & Maciejowski, 2000). Results from the theory of exact penalty functions can be used to guarantee constraint satisfaction of the soft constraints under mild assumptions. We empirically find that the soft formulation achieves a dramatic decrease in constraint violations, making safety available even during the learning procedure.


title: A Framework for Joint Unsupervised Learning of Cluster-Aware Embedding for Heterogeneous Networks

abstract: Heterogeneous Information Network (HIN) embedding refers to the low-dimensional projections of the HIN nodes that preserve the HIN structure and semantics. HIN embedding has emerged as a promising research field for network analysis as it enables downstream tasks such as clustering and node classification. In this work, we propose \ours for joint learning of cluster embeddings as well as cluster-aware HIN embedding. We assume that the connected nodes are highly likely to fall in the same cluster, and adopt a variational approach to preserve the information in the pairwise relations in a cluster-aware manner. In addition, we deploy contrastive modules to simultaneously utilize the information in multiple meta-paths, thereby alleviating the meta-path selection problem - a challenge faced by many of the famous HIN embedding approaches. The HIN embedding, thus learned, not only improves the clustering performance but also preserves pairwise proximity as well as the high-order HIN structure. We show the effectiveness of our approach by comparing it with many competitive baselines on three real-world datasets on clustering and downstream node classification.


title: Efficient Verification of Boson Sampling Using a Quantum Computer

abstract: Boson sampling is a sub-universal model used to show quantum speed-up. However, the methods of validation to prove quantum speedup are not robust and accurate. All verification methods involve additional or little studied assumptions. Here, we use the protocols given in the paper [arXiv:2006.03520] to construct a boson sampling experiment using discrete quantum states on IBM quantum computer and verify the fidelity of the output states using heterodyne detection. We demonstrate the protocols for single mode fidelity estimation, multi mode fidelity estimation and a verification protocol using IBMQ "athens" chip. Moreover, we illustrate the use of this verification protocol in the quantum key distribution (QKD) process for estimating the fidelity of different types of encoding-decoding basis. This shows that the verification protocols can be used to enable efficient and reliable certification of highly entangled multi-particle states.


title: Efficient distribution grid flexibility provision through model-based MV grid and model-less LV grid approach

abstract: In order to maintain security and quality of supply while supporting increased intermittent generation and electrification of heating and transport at the LV grid, the provision of flexibility in the framework of distribution grid operation is pivotal. However, the availability of updated and accurate LV grid model is a challenge for the distribution system operator (DSO). This paper demonstrates a methodology of efficient flexibility provision and activation through a sensitivity coefficients-based model-less LV grid and a modelled MV grid approach. The paper further illustrates the value of monitoring and control through a LV DERMS platform for efficient realisation of this flexibility provision and activation. The methodology has been tested on a real MV and LV network of a Swiss DSO. The results show that there is a reduction of cost of operation for a DSO.


title: Distribution Grid Robust Operation under Forecast Uncertainties with Flexibility Estimation from Low Voltage Grids using a Monitoring and Control Equipment

abstract: Due to increased penetration of renewable resources in the distribution grid, the distribution system operator (DSO) faces increased challenges to maintain security and quality of supply. Since, a large proportion of renewables are intermittent generations, maintaining production and consumption balance of the electric system is at stake. The DSO needs to procure flexibilities not only from large resources, but also small-scale resources connected to the LV grid. Therefore, there is a need to estimate the aggregate flexibility at the secondary substation available from the LV grids. The flexibility estimation can only be achieved through monitoring of LV grid and the distributed energy resources (DERs) connected at the LV level. Moreover, the variability of intermittent resources affects the flexibility estimation methodology, and the DSO operation must be robust to the changes in generation or demand outputs. Furthermore, the up-to-date and accurate model of the LV grid is difficult to access. This paper demonstrates a methodology of estimating flexibility by sensitivity coefficients and thus, eliminating the need to have an up-to-date LV grid model. It further presents a robust optimisation based methodology for grid operation to address the impact of forecast uncertainties associated with the variable DER output. The methodologies illustrate the value of grid monitoring with a monitoring equipment. It has been validated on a real network of a Swiss DSO with several grid monitoring devices.


title: Reconciling high resolution climate datasets using KrigR

abstract: There is an increasing need for high spatial and temporal resolution climate data for the wide community of researchers interested in climate change and its consequences. Currently, there is a large mismatch between the spatial resolutions of global climate model and reanalysis datasets (at best around 0.25o and 0.1o respectively) and the resolutions needed by many end-users of these datasets, which are typically on the scale of 30 arcseconds (~900m). This need for improved spatial resolution in climate datasets has motivated several groups to statistically downscale various combinations of observational or reanalysis datasets. However, the variety of downscaling methods and inputs used makes it difficult to reconcile the resultant differences between these high-resolution datasets. Here we make use of the KrigR R-package to statistically downscale the world-leading ERA5(-Land) reanalysis data using kriging. We show that kriging can accurately recover spatial heterogeneity of climate data given strong relationships with co-variates; that by preserving the uncertainty associated with the statistical downscaling, one can investigate and account for confidence in high-resolution climate data; and that the statistical uncertainty provided by KrigR can explain much of the difference between widely used high resolution climate datasets (CHELSA, TerraClimate, and WorldClim2) depending on variable, timescale, and region. This demonstrates the advantages of using KrigR to generate customized high spatial and/or temporal resolution climate data.


title: High resolution transcranial imaging based on the optoacoustic memory effect

abstract: Acoustic impedance mismatches between soft tissues and bones are known to result in strong aberrations in optoacoustic and ultrasound images. Of particular importance are the severe distortions introduced by the human skull, impeding transcranial brain imaging with these modalities. While modelling of ultrasound propagation through the skull may in principle help correcting for some of the skull-induced aberrations, these approaches are commonly challenged by the highly heterogeneous and dispersive acoustic properties of the skull and lack of exact knowledge on its geometry and internal structure. Here we demonstrate that the spatio-temporal properties of the acoustic distortions induced by the skull are preserved for signal sources generated at neighboring intracranial locations by means of optoacoustic excitation. This optoacoustic memory effect is exploited for building a three-dimensional model accurately describing the generation, propagation and detection of time-resolved broadband optoacoustic waveforms traversing the skull. The memory-based model-based inversion is then shown to accurately recover the optical absorption distribution inside the skull with spatial resolution and image quality comparable to those attained in skull-free medium.


title: A More Accurate Parameterization based on cosmic Age (MAPAge)

abstract: Recently, several statistically significant tensions between different cosmological datasets have raised doubts about the standard Lambda cold dark matter ($\Lambda$CDM) model. A recent letter~\citet{Huang:2020mub} suggests to use "Parameterization based on cosmic Age" (PAge) to approximate a broad class of beyond-$\Lambda$CDM models, with a typical accuracy $\sim 1\%$ in angular diameter distances at $z\lesssim 10$. In this work, we extend PAge to a More Accurate Parameterization based on cosmic Age (MAPAge) by adding a new degree of freedom $\eta_2$. The parameter $\eta_2$ describes the difference between physically motivated models and their phenomenological PAge approximations. The accuracy of MAPAge, typically of order $10^{-3}$ in angular diameter distances at $z\lesssim 10$, is significantly better than PAge. We compare PAge and MAPAge with current observational data and forecast data. The conjecture in~\citet{Huang:2020mub}, that PAge approximation is sufficiently good for current observations, is quantitatively confirmed in this work. We also show that the extension from PAge to MAPAge is important for future observations, which typically requires sub-percent accuracy in theoretical predictions.

categories: astro-ph.CO astro-ph.GA gr-qc hep-ph hep-th


title: Immutable quantized transport in Floquet chains

abstract: We show how quantized transport can be realized in Floquet chains through encapsulation of a chiral or helical shift. The resulting transport is immutable rather than topological in the sense that it neither requires a band gap nor is affected by arbitrarily strong perturbations. Transport is still characterized by topological quantities but encapsulation of the shift prevents topological phase transitions. To explore immutable transport we introduce the concept of a shiftbox, explain the relevant topological quantities both for momentum-space dispersions and real-space transport, and study model systems of Floquet chains with strictly quantized chiral and helical transport. Natural platforms for the experimental investigation of these scenarios are photonic Floquet chains constructed in waveguide arrays, as well as topolectrical or mechanical systems.


title: Randomized source sketching for full waveform inversion

abstract: Partial differential equation (PDE) constrained optimization problems such as seismic full waveform inversion (FWI) frequently arise in the geoscience and related fields. For such problems, many observations are usually gathered by multiple sources, which form the right-hand-sides of the PDE constraint. Solving the inverse problem with such massive data sets is computationally demanding, in particular when dealing with large number of model parameters. This paper proposes a novel randomized source sketching method for the efficient resolution of multisource PDE constrained optimization problems. We first formulate the different source-encoding strategies used in seismic imaging into a unified framework based on a randomized sketching. To this end, the source dimension of the problem is projected in a smaller domain by a suitably defined projection matrix that gathers the physical sources in super-sources through a weighted summation. This reduction in the number of physical sources decreases significantly the number of PDE solves while suitable sparsity-promoting regularization can efficiently mitigate the footprint of the cross-talk noise to maintain the convergence speed of the algorithm. We implement the randomized sketching method in an extended search-space formulation of frequency-domain FWI, which relies on the alternating direction method of multipliers (ADMM). Numerical examples carried out with a series of well documented 2D benchmarks demonstrate that the randomized sketching algorithm reduces the cost of large-scale problems by at least one order of magnitude compared to the original deterministic algorithm.


title: Network of scientific concepts: empirical analysis and modeling

abstract: Concepts in a certain domain of science are linked via intrinsic connections reflecting the structure of knowledge. To get a qualitative insight and a quantitative description of this structure, we perform empirical analysis and modeling of the network of scientific concepts in the domain of physics. To this end we use a collection of manuscripts submitted to the e-print repository arXiv and the vocabulary of scientific concepts collected via the ScienceWISE.info platform and construct a network of scientific concepts based on their co-occurrences in publications. The resulting complex network possesses a number of specific features (high node density, dissortativity, structural correlations, skewed node degree distribution) that can not be understood as a result of simple growth by several commonly used network models. We show that the model based on a simultaneous account of two factors, growth by blocks and preferential selection, gives an explanation of empirically observed properties of the concepts network.


title: Hierarchical porous materials made by stereolithographic printing of photo-curable emulsions

abstract: Porous materials are relevant for a broad range of technologies from catalysis and filtration, to tissue engineering and lightweight structures. Controlling the porosity of these materials over multiple length scales often leads to enticing new functionalities and higher efficiency but has been limited by manufacturing challenges and the poor understanding of the properties of hierarchical structures. Here, we report an experimental platform for the design and manufacturing of hierarchical porous materials via the stereolithographic printing of stable photo-curable Pickering emulsions. In the printing process, the micron-sized droplets of the emulsified resins work as soft templates for the incorporation of microscale porosity within sequentially photo-polymerized layers. The light patterns used to polymerize each layer on the building stage further generate controlled pores with bespoke three-dimensional geometries at the millimetre scale. Using this combined fabrication approach, we create architectured lattices with mechanical properties tuneable over several orders of magnitude and large complex-shaped inorganic objects with unprecedented porous designs.


title: Semi-classical eigenvalue estimates under magnetic steps (Former title: Hearing the shape of a magnetic edge in the semiclassical limit)

abstract: We establish accurate eigenvalue asymptotics and, as a by-product, sharp estimates of the splitting between two consecutive eigenvalues, for the Dirichlet magnetic Laplacian with a non-uniform magnetic field having a jump discontinuity along a smooth curve. The asymptotics hold in the semiclassical limit which also corresponds to a large magnetic field limit, and is valid under a geometric assumption on the curvature of the discontinuity curve.


title: Chiral valley phonons and flat phonon bands in moir\'e materials

abstract: We investigate the chirality of phonon modes in twisted bilayer WSe2 and demonstrate distinct chiral behavior of the $K/K^\prime$ valley phonons for twist angles close to $0^{\circ}$ and close to $60^{\circ}$. In particular, multiple chiral non-degenerate $K/K^\prime$ valley phonons are found for twist angles near $60^{\circ}$ whereas no non-degenerate chiral modes are found for twist angles close to $0^\circ$. Moreover, we discover two sets of emergent chiral valley modes that originate from an inversion symmetry breaking at the moir\'{e} scale and find similar modes in moir\'{e} patterns of strain-engineered bilayers WSe2 and MoSe2/WSe2 heterostructures. At the energy gap between acoustic and optical modes, the formation of flat phonon bands for a broad range of twist angles is observed in the twisted bilayer WSe2. Our findings are relevant for understanding electron-phonon and exciton-phonon scattering in moir\'e materials and also for the design of phononic analogues of flat band electrons.


title: The Nature of Black Hole Shadows

abstract: A distinct visual signature occurs in black holes that are surrounded by optically thin and geometrically thick emission regions. This signature is a sharp-edged dip in brightness that is coincident with the black-hole shadow, which is the projection of the black hole's unstable-photon region on the observer's sky. We highlight two key mechanisms responsible for producing the sharp-edged dip: i) the reduction of intensity observed in rays that intersect the unstable-photon region, and thus the perfectly absorbing event horizon, versus rays that do not (blocking), and ii) the increase of intensity observed in rays that travel along extended, horizon-circling paths near the boundary of the unstable-photon region (path-lengthening). We demonstrate that the black-hole shadow is a distinct phenomenon from the photon ring, and that models exist in which the former may be observed, but not the latter. Additionally, we show that the black-hole shadow and its associated visual signature differ from the more model-dependent brightness depressions associated with thin-disk models, because for geometrically thick and optically thin emission regions, the blocking and path-lengthening effects are quite general. Consequentially, the black-hole shadow is a robust and fairly model-independent observable for accreting black holes that are in the deep sub-Eddington regime, such as low-luminosity active galactic nuclei (LLAGN).


title: $N$-photon bundle statistics in different solid-state platforms

abstract: The term $N$-photon bundles has been coined for a specific type of photon emission, where light quanta are released from a cavity only in groups of $N$ particles. This emission leaves a characteristic number distribution of the cavity photons that may be taken as one of their fingerprints. We study this characteristic $N$-photon bundle statistics considering two solid-state cavity quantum electrodynamics (cQED) systems. As one example, we consider a semiconductor quantum-dot--microcavity system coupled to longitudinal acoustic phonons. There, we find the environmental influence to be detrimental to the bundle statistics. The other example is a superconducting qubit inside a microwave resonator. In these systems, pure dephasing is not important and an experimentally feasible parameter regime is found, where the bundle statistics prevails.


title: Not quite there yet: Combining analogical patterns and encoder-decoder networks for cognitively plausible inflection

abstract: The paper presents four models submitted to Part 2 of the SIGMORPHON 2021 Shared Task 0, which aims at replicating human judgements on the inflection of nonce lexemes. Our goal is to explore the usefulness of combining pre-compiled analogical patterns with an encoder-decoder architecture. Two models are designed using such patterns either in the input or the output of the network. Two extra models controlled for the role of raw similarity of nonce inflected forms to existing inflected forms in the same paradigm cell, and the role of the type frequency of analogical patterns. Our strategy is entirely endogenous in the sense that the models appealing solely to the data provided by the SIGMORPHON organisers, without using external resources. Our model 2 ranks second among all submitted systems, suggesting that the inclusion of analogical patterns in the network architecture is useful in mimicking speakers' predictions.


title: On the eigenvalues of the biharmonic operator with Neumann boundary conditions on a thin set

abstract: Let $\Omega$ be a bounded domain in $\mathbb R^2$ with smooth boundary $\partial\Omega$, and let $\omega_h$ be the set of points in $\Omega$ whose distance from the boundary is smaller than $h$. We prove that the eigenvalues of the biharmonic operator on $\omega_h$ with Neumann boundary conditions converge to the eigenvalues of a limiting problem in the form of system of differential equations on $\partial\Omega$.


title: Minimal K\"ahler submanifolds in product of space forms

abstract: In this article, we study minimal isometric immersions of K\"ahler manifolds into product of two real space forms. We analyse the obstruction conditions to the existence of pluriharmonic isometric immersions of a K\"ahler manifold into those spaces and we prove that the only ones into $\mathbb{S}^{m-1}\times\mathbb{R}$ and $\mathbb{H}^{m-1}\times \mathbb{R}$ are the minimal isometric immersions of Riemannian surfaces. Futhermore, we show that the existence of a minimal isometric immersion of a K\"ahler manifold $M^{2n}$ into $\mathbb{S}^{m-1}\times\mathbb{R}$ and $\mathbb{S}^{m-k}\times \mathbb{H}^k$ imposes strong restrictions on the Ricci and scalar curvatures of $M^{2n}$. In this direction, we characterise some cases as either isometric immersions with parallel second fundamental form or anti-pluriharmonic isometric immersions.


title: Lottery paradox, DNA evidence and other stories: How to accept uncertain statements

abstract: I think we can agree that dealing with uncertainty is not easy. Probability is the main tool for dealing with uncertainty, and we know there are many probability-related puzzles and paradoxes. Here I describe a rather idiosyncratic selection that highlights the problem of accepting uncertain statements. Without going into a formal decision theory, there are simple intuitive rational bases for doing that, for instance based on high probability alone. The lottery paradox shows the logical problem of accepting uncertain statements based on high probability. The DNA evidence story is an example of the use probabilistic reasoning in court, where philosophical differences between the schools of inference -- the frequentist, Bayesian and likelihood schools -- lead to substantial differences in the quantification of evidence.


title: An inhibited laser

abstract: Traditional lasers function using resonant cavities, in which the round-trip optical path is exactly equal to an integer multiple of the intracavity wavelengths to constructively enhance the spontaneous emission rate. By taking advantage of the enhancement from the resonant cavity, the narrowest sub-10-mHz-linewidth laser and a $10^{-16}$-fractional-frequency-stability superradiant active optical clock (AOC) have been achieved. However, a laser with atomic spontaneous radiation being destructively inhibited in an anti-resonant cavity, where the atomic resonance is exactly between two adjacent cavity resonances, has not been reported. Herein, we experimentally demonstrate inhibited stimulated emission and termed it an inhibited laser. Compared with traditional superradiant AOCs, which exhibit superiority in terms of the high suppression of cavity noise, the suppression of the cavity-pulling effect of an inhibited laser can be further improved by a factor of $(2F/pi)^2$, i.e., 2.07 in this work, which was improved from 26 to 53 times. This study will guide further development of AOCs with better stability, and thus, it is significant for quantum metrology and may lead to new research in the laser physics and cavity quantum electrodynamics fields.


title: BERT-based distractor generation for Swedish reading comprehension questions using a small-scale dataset

abstract: An important part when constructing multiple-choice questions (MCQs) for reading comprehension assessment are the distractors, the incorrect but preferably plausible answer options. In this paper, we present a new BERT-based method for automatically generating distractors using only a small-scale dataset. We also release a new such dataset of Swedish MCQs (used for training the model), and propose a methodology for assessing the generated distractors. Evaluation shows that from a student's perspective, our method generated one or more plausible distractors for more than 50% of the MCQs in our test set. From a teacher's perspective, about 50% of the generated distractors were deemed appropriate. We also do a thorough analysis of the results.


title: Plotting in a Formally Verified Way

abstract: An invaluable feature of computer algebra systems is their ability to plot the graph of functions. Unfortunately, when one is trying to design a library of mathematical functions, this feature often falls short, producing incorrect and potentially misleading plots, due to accuracy issues inherent to this use case. This paper investigates what it means for a plot to be correct and how to formally verify this property. The Coq proof assistant is then turned into a tool for plotting function graphs using reliable polynomial approximations. This feature is provided as part of the CoqInterval library.


title: End-to-End Speech Recognition With Joint Dereverberation Of Sub-Band Autoregressive Envelopes

abstract: The end-to-end (E2E) automatic speech recognition (ASR) systems are often required to operate in reverberant conditions, where the long-term sub-band envelopes of the speech are temporally smeared. In this paper, we develop a feature enhancement approach using a neural model operating on sub-band temporal envelopes. The temporal envelopes are modeled using the framework of frequency domain linear prediction (FDLP). The neural enhancement model proposed in this paper performs an envelope gain based enhancement of temporal envelopes. The model architecture consists of a combination of convolutional and long short term memory (LSTM) neural network layers. Further, the envelope dereverberation, feature extraction and acoustic modeling using transformer based E2E ASR can all be jointly optimized for the speech recognition task. The joint optimization ensures that the dereverberation model targets the ASR cost function. We perform E2E speech recognition experiments on the REVERB challenge dataset as well as on the VOiCES dataset. In these experiments, the proposed joint modeling approach yields significant improvements compared to the baseline E2E ASR system (average relative improvements of 21% on the REVERB challenge dataset and about 10% on the VOiCES dataset).


title: Confinement induced impurity states in spin chains

abstract: Quantum simulators hold the promise of probing central questions of high-energy physics in tunable condensed matter platforms, for instance the physics of confinement. Local defects can be an obstacle in these setups harming their simulation capabilities. However, defects in the form of impurities can also be useful as probes of many-body correlations and may lead to fascinating new phenomena themselves. Here, we investigate the interplay between impurity and confinement physics in a basic spin chain setup, showing the emergence of new exotic excitations as impurity-meson bound states with a long lifetime. For weak confinement, semiclassical approximations can describe the capture process in a meson-impurity scattering event. In the strong-confining regime, intrinsic quantum effects are visible through the quantization of the emergent bound state energies which can be readily probed in quantum simulators.


title: The Keisler-Shelah isomorphism theorem and the continuum hypothesis

abstract: We show that if for any two elementary equivalent structures $\mathbf{M}, \mathbf{N}$ of size at most continuum in a countable language, $\mathbf{M}^{\omega}/ \mathcal{U} \simeq \mathbf{N}^\omega / \mathcal{U}$ for some ultrafilter $\mathcal{U}$ on $\omega,$ then $CH$ holds. We also provide some consistency results about Keisler and Shelah isomorphism theorems in the absence of $CH$.


title: VeRLPy: Python Library for Verification of Digital Designs with Reinforcement Learning

abstract: Digital hardware is verified by comparing its behavior against a reference model on a range of randomly generated input signals. The random generation of the inputs hopes to achieve sufficient coverage of the different parts of the design. However, such coverage is often difficult to achieve, amounting to large verification efforts and delays. An alternative is to use Reinforcement Learning (RL) to generate the inputs by learning to prioritize those inputs which can more efficiently explore the design under test. In this work, we present VeRLPy an open-source library to allow RL-driven verification with limited additional engineering overhead. This contributes to two broad movements within the EDA community of (a) moving to open-source toolchains and (b) reducing barriers for development with Python support. We also demonstrate the use of VeRLPy for a few designs and establish its value over randomly generated input signals.


title: Efficient Majority Voting in Digital Hardware

abstract: In recent years, machine learning methods became increasingly important for a manifold number of applications. However, they often suffer from high computational requirements impairing their efficient use in real-time systems, even when employing dedicated hardware accelerators. Ensemble learning methods are especially suitable for hardware acceleration since they can be constructed from individual learners of low complexity and thus offer large parallelization potential. For classification, the outputs of these learners are typically combined by majority voting, which often represents the bottleneck of a hardware accelerator for ensemble inference. In this work, we present a novel architecture that allows obtaining a majority decision in a number of clock cycles that is logarithmic in the number of inputs. We show, that for the example application of handwritten digit recognition a random forest processing engine employing this majority decision architecture implemented on an FPGA allows the classification of more than seven million images per second.


title: Decentralized Deep Learning for Multi-Access Edge Computing: A Survey on Communication Efficiency and Trustworthiness

abstract: Wider coverage and a better solution to a latency reduction in 5G necessitate its combination with multi-access edge computing (MEC) technology. Decentralized deep learning (DDL) such as federated learning and swarm learning as a promising solution to privacy-preserving data processing for millions of smart edge devices, leverages distributed computing of multi-layer neural networks within the networking of local clients, whereas, without disclosing the original local training data. Notably, in industries such as finance and healthcare where sensitive data of transactions and personal medical records is cautiously maintained, DDL can facilitate the collaboration among these institutes to improve the performance of trained models while protecting the data privacy of participating clients. In this survey paper, we demonstrate the technical fundamentals of DDL that benefit many walks of society through decentralized learning. Furthermore, we offer a comprehensive overview of the current state-of-the-art in the field by outlining the challenges of DDL and the most relevant solutions from novel perspectives of communication efficiency and trustworthiness.


title: A Credibility-aware Swarm-Federated Deep Learning Framework in Internet of Vehicles

abstract: Federated Deep Learning (FDL) is helping to realize distributed machine learning in the Internet of Vehicles (IoV). However, FDL's global model needs multiple clients to upload learning model parameters, thus still existing unavoidable communication overhead and data privacy risks. The recently proposed Swarm Learning (SL) provides a decentralized machine-learning approach uniting edge computing and blockchain-based coordination without the need for a central coordinator. This paper proposes a Swarm-Federated Deep Learning framework in the IoV system (IoV-SFDL) that integrates SL into the FDL framework. The IoV-SFDL organizes vehicles to generate local SL models with adjacent vehicles based on the blockchain empowered SL, then aggregates the global FDL model among different SL groups with a proposed credibility weights prediction algorithm. Extensive experimental results demonstrate that compared with the baseline frameworks, the proposed IoV-SFDL framework achieves a 16.72% reduction in edge-to-global communication overhead while improving about 5.02% in model performance with the same training iterations.


title: Optimisation of an FPGA Credit Default Swap engine by embracing dataflow techniques

abstract: Quantitative finance is the use of mathematical models to analyse financial markets and securities. Typically requiring significant amounts of computation, an important question is the role that novel architectures can play in accelerating these models in the future on HPC machines. In this paper we explore the optimisation of an existing, open source, FPGA based Credit Default Swap (CDS) engine using High Level Synthesis (HLS). Developed by Xilinx, and part of their open source Vitis libraries, the implementation of this engine currently favours flexibility and ease of integration over performance. We explore redesigning the engine to fully embrace the dataflow approach, ultimately resulting in an engine which is around eight times faster on an Alveo U280 FPGA than the original Xilinx library version. We then compare five of our engines on the U280 against a 24-core Xeon Platinum Cascade Lake CPU, outperforming the CPU by around 1.55 times, with the FPGA consuming 4.7 times less power and delivering around seven times the power efficiency of the CPU.


title: A multiscale analysis of instability-induced failure mechanisms in fiber-reinforced composite structures via alternative modeling approaches

abstract: Multiscale techniques have been widely shown to potentially overcome the limitation of homogenization schemes in representing the microscopic failure mechanisms in heterogeneous media as well as their influence on their structural response at the macroscopic level. Such techniques allow the use of fully detailed models to be avoided, thus resulting in a notable decrease in the overall computational cost at fixed numerical accuracy compared to the so-called direct numerical simulations. In the present work, two different multiscale modeling approaches are presented for the analysis of microstructural instability-induced failure in locally periodic fiber-reinforced composite materials subjected to general loading conditions involving large deformations. The first approach, which is of a semi-concurrent kind, consists in the on-the-fly derivation of the macroscopic constitutive response of the composite structure together with its microscopic stability properties through a two-way computational homogenization scheme. The latter one is a novel hybrid hierarchical-concurrent multiscale approach relying on a two-level domain decomposition scheme used in conjunction with a nonlinear homogenization scheme performed at the preprocessing stage. Both multiscale approaches have been suitably validated through comparisons with reference direct numerical simulations, by which the ability of the latter approach in capturing boundary layer effects has been demonstrated.


title: Engineering Proximity Exchange by Twisting: Reversal of Ferromagnetic and Emergence of Antiferromagnetic Dirac Bands in Graphene/Cr$_2$Ge$_2$Te$_6$

abstract: We investigate the twist-angle and gate dependence of the proximity exchange coupling in twisted graphene on monolayer Cr$_2$Ge$_2$Te$_6$ from first principles. The proximitized Dirac band dispersions of graphene are fitted to a model Hamiltonian, yielding effective sublattice-resolved proximity-induced exchange parameters ($\lambda_{\textrm{ex}}^\textrm{A}$ and $\lambda_{\textrm{ex}}^\textrm{B}$) for a series of twist angles between 0$^{\circ}$ and 30$^{\circ}$. For aligned layers (0$^{\circ}$ twist angle), the exchange coupling of graphene is the same on both sublattices, $\lambda_{\textrm{ex}}^\textrm{A} \approx \lambda_{\textrm{ex}}^\textrm{B} \approx 4$ meV, while the coupling is reversed at 30$^{\circ}$ (with $\lambda_{\textrm{ex}}^\textrm{A} \approx \lambda_{\textrm{ex}}^\textrm{B} \approx -4$ meV). Remarkably, at 19.1$^{\circ}$ the induced exchange coupling becomes antiferromagnetic: $\lambda_{\textrm{ex}}^\textrm{A} < 0, \lambda_{\textrm{ex}}^\textrm{B} > 0$. Further tuning is provided by a transverse electric field and the interlayer distance. The predicted proximity magnetization reversal and emergence of an antiferromagnetic Dirac dispersion make twisted graphene/Cr$_2$Ge$_2$Te$_6$ bilayers a versatile platform for realizing topological phases and for spintronics applications.


title: Simultaneous non-vanishing of central values of $GL(2) \times GL(3) $ and $GL(3)$ $L$-functions

abstract: We study simultaneous non-vanishing of $L(\tfrac{1}{2},\di)$ and $L(\tfrac{1}{2},g\otimes \di)$, when $\di$ runs over an orthogonal basis of the space of Hecke-Maass cusp forms for $SL(3,\mathbb{Z})$ and $g$ is a fixed $SL(2,\mathbb{Z})$ Hecke cusp form of weight $k\equiv 0 \pmod 4$.


title: Autoencoders on FPGAs for real-time, unsupervised new physics detection at 40 MHz at the Large Hadron Collider

abstract: In this paper, we show how to adapt and deploy anomaly detection algorithms based on deep autoencoders, for the unsupervised detection of new physics signatures in the extremely challenging environment of a real-time event selection system at the Large Hadron Collider (LHC). We demonstrate that new physics signatures can be enhanced by three orders of magnitude, while staying within the strict latency and resource constraints of a typical LHC event filtering system. This would allow for collecting datasets potentially enriched with high-purity contributions from new physics processes. Through per-layer, highly parallel implementations of network layers, support for autoencoder-specific losses on FPGAs and latent space based inference, we demonstrate that anomaly detection can be performed in as little as $80\,$ns using less than 3% of the logic resources in the Xilinx Virtex VU9P FPGA. Opening the way to real-life applications of this idea during the next data-taking campaign of the LHC.


title: Learning Langevin dynamics with QCD phase transition

abstract: In this proceeding, the deep Convolutional Neural Networks (CNNs) are deployed to recognize the order of QCD phase transition and predict the dynamical parameters in Langevin processes. To overcome the intrinsic randomness existed in a stochastic process, we treat the final spectra as image-type inputs which preserve sufficient spatiotemporal correlations. As a practical example, we demonstrate this paradigm for the scalar condensation in QCD matter near the critical point, in which the order parameter of chiral phase transition can be characterized in a $1+1$-dimensional Langevin equation for $\sigma$ field. The well-trained CNNs accurately classify the first-order phase transition and crossover from $\sigma$ field configurations with fluctuations, in which the noise does not impair the performance of the recognition. In reconstructing the dynamics, we demonstrate it is robust to extract the damping coefficients $\eta$ from the intricate field configurations.


title: Knowledge accumulating: The general pattern of learning

abstract: Artificial Intelligence has been developed for decades with the achievement of great progress. Recently, deep learning shows its ability to solve many real world problems, e.g. image classification and detection, natural language processing, playing GO. Theoretically speaking, an artificial neural network can fit any function and reinforcement learning can learn from any delayed reward. But in solving real world tasks, we still need to spend a lot of effort to adjust algorithms to fit task unique features. This paper proposes that the reason of this phenomenon is the sparse feedback feature of the nature, and a single algorithm, no matter how we improve it, can only solve dense feedback tasks or specific sparse feedback tasks. This paper first analyses how sparse feedback affects algorithm perfomance, and then proposes a pattern that explains how to accumulate knowledge to solve sparse feedback problems.