title: Wide-band full-wave electromagnetic modal analysis of the coupling between dark-matter axions and photons in microwave resonators

abstract: The electromagnetic coupling axion-photon in a microwave cavity is revisited with the Boundary Integral - Resonant Mode Expansion (BI-RME) 3D technique. Such full-wave modal technique has been applied for the rigorous analysis of the excitation of a microwave cavity with an axion field. In this scenario, the electromagnetic field generated by the axion-photon coupling can be assumed to be driven by equivalent electrical charge and current densities. These densities have been inserted in the general BI-RME 3D equations, which express the RF electromagnetic field existing within a cavity as an integral involving the Dyadic Green functions of the cavity (under Coulomb gauge) as well as such densities. This method is able to take into account any arbitrary spatial and temporal variation of both magnitude and phase of the axion field. Next, we have obtained a simple network driven by the axion current source, which represents the coupling between the axion field and the resonant modes of the cavity. With this approach, it is possible to calculate the extracted and dissipated RF power as a function of frequency along a broad band and without Cauchy-Lorentz approximations, obtaining the spectrum of the electromagnetic field generated in the cavity, and dealing with modes relatively close to the axion resonant mode. Moreover, with this technique we have a complete knowledge of the signal extracted from the cavity, not only in magnitude but also in phase. This can be an interesting issue for future analysis where the axion phase is an important parameter.


title: Sensitivity limits of space-based interferometric gravitational wave observatories from the solar wind

abstract: Space-based interferometric gravitational wave instruments such as the ESA/NASA Laser Interferometer Space Antenna (LISA) observe gravitational waves by measuring changes in the light travel time between widely-separated spacecraft. One potential noise source for these instruments is interaction with the solar wind, in particular the free electrons in the interplanetary plasma. Variations in the integrated column density of free electrons along the laser links will lead to time-of-flight delays which directly compete with signals produced by gravitational waves. In this paper we present a simplified model of the solar plasma relevant for this problem, anchor key parameters of our model using data from the NASA \emph{Wind}/SWE instrument, and derive estimates for the effect in the LISA measurement. We find that under normal solar conditions, the gravitational-wave sensitivity limit from the free-electron effect is smaller than other noise sources that are expected to limit LISA's sensitivity.


title: Tropicalization of toric prevarieties

abstract: The homogeneous spectrum of a multigraded finitely generated algebra (in the sense of Brenner-Schr\"oer) always admits an embedding into a toric variety that is not necessarily separated, a so-called toric prevariety. In order to have a convenient framework to study the tropicalization of homogeneous spectra we propose a tropicalization procedure for toric prevarieties and study its basic properties. With these tools at hand, we prove a generalization of Payne's and Foster--Gross--Payne's tropical limit theorem for divisorial schemes.


title: Minimum Constraint Removal Problem for Line Segments is NP-hard

abstract: In the minimum constraint removal ($MCR$), there is no feasible path to move from the starting point towards the goal and, the minimum constraints should be removed in order to find a collision-free path. It has been proved that $MCR$ problem is $NP-hard$ when constraints have arbitrary shapes or even they are in shape of convex polygons. However, it has a simple linear solution when constraints are lines and the problem is open for other cases yet. In this paper, using a reduction from Subset Sum problem, in three steps, we show that the problem is NP-hard for both weighted and unweighted line segments.


title: Hierarchical Text Classification of Urdu News using Deep Neural Network

abstract: Digital text is increasing day by day on the internet. It is very challenging to classify a large and heterogeneous collection of data, which require improved information processing methods to organize text. To classify large size of corpus, one common approach is to use hierarchical text classification, which aims to classify textual data in a hierarchical structure. Several approaches have been proposed to tackle classification of text but most of the research has been done on English language. This paper proposes a deep learning model for hierarchical text classification of news in Urdu language - consisting of 51,325 sentences from 8 online news websites belonging to the following genres: Sports; Technology; and Entertainment. The objectives of this paper are twofold: (1) to develop a large human-annotated dataset of news in Urdu language for hierarchical text classification; and (2) to classify Urdu news hierarchically using our proposed model based on LSTM mechanism named as Hierarchical Multi-layer LSTMs (HMLSTM). Our model consists of two modules: Text Representing Layer, for obtaining text representation in which we use Word2vec embedding to transform the words to vector and Urdu Hierarchical LSTM Layer (UHLSTML) an end-to-end fully connected deep LSTMs network to perform automatic feature learning, we train one LSTM layer for each level of the class hierarchy. We have performed extensive experiments on our self created dataset named as Urdu News Dataset for Hierarchical Text Classification (UNDHTC). The result shows that our proposed method is very effective for hierarchical text classification and it outperforms baseline methods significantly and also achieved good results as compare to deep neural model.


title: Commutator Matrix in Phase Space Mapping Models for Nonadiabatic Quantum Dynamics

abstract: We show that a novel, general phase space mapping Hamiltonian for nonadiabatic systems, which is reminiscent of the renowned Meyer-Miller mapping Hamiltonian, involves a commutator variable matrix rather than the conventional zero-point-energy parameter. In the exact mapping formulation on constraint space for phase space approaches for nonadiabatic dynamics, the general mapping Hamiltonian with commutator variables can be employed to generate approximate trajectory-based dynamics. Various benchmark model tests, which range from gas phase to condensed phase systems, suggest that the overall performance of the general mapping Hamiltonian is better than that of the conventional Meyer-Miller Hamiltonian.


title: Action Units Recognition Using Improved Pairwise Deep Architecture

abstract: Facial Action Units (AUs) represent a set of facial muscular activities and various combinations of AUs can represent a wide range of emotions. AU recognition is often used in many applications, including marketing, healthcare, education, and so forth. Although a lot of studies have developed various methods to improve recognition accuracy, it still remains a major challenge for AU recognition. In the Affective Behavior Analysis in-the-wild (ABAW) 2020 competition, we proposed a new automatic Action Units (AUs) recognition method using a pairwise deep architecture to derive the Pseudo-Intensities of each AU and then convert them into predicted intensities. This year, we introduced a new technique to last year's framework to further reduce AU recognition errors due to temporary face occlusion such as hands on face or large face orientation. We obtained a score of 0.65 in the validation data set for this year's competition.


title: Neural Contextual Bandits without Regret

abstract: Contextual bandits are a rich model for sequential decision making given side information, with important applications, e.g., in recommender systems. We propose novel algorithms for contextual bandits harnessing neural networks to approximate the unknown reward function. We resolve the open problem of proving sublinear regret bounds in this setting for general context sequences, considering both fully-connected and convolutional networks. To this end, we first analyze NTK-UCB, a kernelized bandit optimization algorithm employing the Neural Tangent Kernel (NTK), and bound its regret in terms of the NTK maximum information gain $\gamma_T$, a complexity parameter capturing the difficulty of learning. Our bounds on $\gamma_T$ for the NTK may be of independent interest. We then introduce our neural network based algorithm NN-UCB, and show that its regret closely tracks that of NTK-UCB. Under broad non-parametric assumptions about the reward function, our approach converges to the optimal policy at a $\tilde{\mathcal{O}}(T^{-1/2d})$ rate, where $d$ is the dimension of the context.


title: A Deep Residual Star Generative Adversarial Network for multi-domain Image Super-Resolution

abstract: Recently, most of state-of-the-art single image super-resolution (SISR) methods have attained impressive performance by using deep convolutional neural networks (DCNNs). The existing SR methods have limited performance due to a fixed degradation settings, i.e. usually a bicubic downscaling of low-resolution (LR) image. However, in real-world settings, the LR degradation process is unknown which can be bicubic LR, bilinear LR, nearest-neighbor LR, or real LR. Therefore, most SR methods are ineffective and inefficient in handling more than one degradation settings within a single network. To handle the multiple degradation, i.e. refers to multi-domain image super-resolution, we propose a deep Super-Resolution Residual StarGAN (SR2*GAN), a novel and scalable approach that super-resolves the LR images for the multiple LR domains using only a single model. The proposed scheme is trained in a StarGAN like network topology with a single generator and discriminator networks. We demonstrate the effectiveness of our proposed approach in quantitative and qualitative experiments compared to other state-of-the-art methods.


title: Model-agnostic multi-objective approach for the evolutionary discovery of mathematical models

abstract: In modern data science, it is often not enough to obtain only a data-driven model with a good prediction quality. On the contrary, it is more interesting to understand the properties of the model, which parts could be replaced to obtain better results. Such questions are unified under machine learning interpretability questions, which could be considered one of the area's raising topics. In the paper, we use multi-objective evolutionary optimization for composite data-driven model learning to obtain the algorithm's desired properties. It means that whereas one of the apparent objectives is precision, the other could be chosen as the complexity of the model, robustness, and many others. The method application is shown on examples of multi-objective learning of composite models, differential equations, and closed-form algebraic expressions are unified and form approach for model-agnostic learning of the interpretable models.


title: Novel Approach To Synchronisation Of Wearable IMUs Based On Magnetometers

abstract: Synchronisation of wireless inertial measurement units in human movement analysis is often achieved using event-based synchronisation techniques. However, these techniques lack precise event generation and accuracy. An inaccurate synchronisation could lead to large errors in motion estimation and reconstruction and therefore wrong analysis outputs. We propose a novel event-based synchronisation technique based on a magnetic field, which allows sub-sample accuracy. A setup featuring Shimmer3 inertial measurement units is designed to test the approach. The proposed technique shows to be able to synchronise with a maximum offset of below 2.6~ms with sensors measuring at 100~Hz. Also, the results indicate a reliable event generation and detection. The investigated parameters suggest a required synchronisation time of eight seconds. Further research should investigate the temperature changes that the sensors are exposed to during human motion analysis and their influence on the internal time measurement of the sensors. In addition, the approach should be tested using inertial measurement units from different manufacturers to investigate an identified constant offset in the accuracy measurements.


title: Skyrmion Based Magnonic Crystals

abstract: Magnonics is now an attractive field which focuses on the dynamic characteristics of magnons, a kind of quasiparticles in magnetic media, and attempt to apply magnons for functional devices. In order to construct magnon based devices, it is necessary to fabricate materials with specific and tunable magnon bands and band gaps. Skyrmion based magnonic crystals is one of the most suitable materials which possess periodical skyrmion structure and show applicative magnon bands and band gaps. In this review, we provide an overview over recent theoretical and experimental research on skyrmion based magnonic crystals. We will firstly provide an introduction of magnonic crystals and magnetic skyrmion. And then we will show the theoretical and experimental progress on skyrmion based magnonic crystals and their magnon band characteristics. At the end, we will give an outlook and perspectives of new fascinating fields on topological nontrivial magnon modes, as well as hybrid and quantum magnonic phenomena of skyrmion based magnonic crystals.


title: Search for High-Energy Neutrinos from Ultra-Luminous Infrared Galaxies with IceCube

abstract: Ultra-luminous infrared galaxies (ULIRGs) have infrared luminosities $L_{\mathrm{IR}} \geq 10^{12} L_{\odot}$, making them the most luminous objects in the infrared sky. These dusty objects are generally powered by starbursts with star-formation rates that exceed $100~ M_{\odot}~ \mathrm{yr}^{-1}$, possibly combined with a contribution from an active galactic nucleus. Such environments make ULIRGs plausible sources of astrophysical high-energy neutrinos, which can be observed by the IceCube Neutrino Observatory at the South Pole. We present a stacking search for high-energy neutrinos from a representative sample of 75 ULIRGs with redshift $z \leq 0.13$ using 7.5 years of IceCube data. The results are consistent with a background-only observation, yielding upper limits on the neutrino flux from these 75 ULIRGs. For an unbroken $E^{-2.5}$ power-law spectrum, we report an upper limit on the stacked flux $\Phi_{\nu_\mu + \bar{\nu}_\mu}^{90\%} = 3.24 \times 10^{-14}~ \mathrm{TeV^{-1}~ cm^{-2}~ s^{-1}}~ (E/10~ \mathrm{TeV})^{-2.5}$ at 90% confidence level. In addition, we constrain the contribution of the ULIRG source population to the observed diffuse astrophysical neutrino flux as well as model predictions.


title: Dynamics of a network of quadratic integrate-and-fire neurons with bimodal heterogeneity

abstract: An exact low-dimensional system of mean-field equations for an infinite-size network of pulse coupled integrate-and-fire neurons with a bimodal distribution of an excitability parameter is derived. Bifurcation analysis of these equations shows a rich variety of dynamic modes that do not exist with a unimodal distribution of this parameter. New modes include multistable equilibrium states with different levels of the spiking rate, collective oscillations and chaos. All oscillatory modes coexist with stable equilibrium states. The mean field equations are a good approximation to the solutions of a microscopic model consisting of several thousand neurons.


title: A theoretical framework of chorus wave excitation

abstract: We propose a self-consistent theoretical framework of chorus wave excitation, which describes the evolution of the whistler fluctuation spectrum as well as the supra-thermal electron distribution function. The renormalized hot electron response is cast in the form of a Dyson-like equation, which then leads to evolution equations for nonlinear fluctuation growth and frequency shift. This approach allows us to analytically derive for the first time exactly the same expression for the chorus chirping rate originally proposed by Vomvoridis et al.,1982. Chorus chirping is shown to correspond to maximization of wave particle power exchange, where each individual wave belonging to the whistler wave packet is characterized by small nonlinear frequency shift. We also show that different interpretations of chorus chirping proposed in published literature have a consistent reconciliation within the present theoretical framework, which further illuminates the analogy with similar phenomena in fusion plasmas and free electron laser physics.


title: Newell-Littlewood numbers III: eigencones and GIT-semigroups

abstract: The Newell-Littlewood numbers are tensor product multiplicities of Weyl modules for the classical groups in the stable range. Littlewood-Richardson coefficients form a special case. Klyachko connected eigenvalues of sums of Hermitian matrices to the saturated LR-cone and established defining linear inequalities. We prove analogues for the saturated NL-cone: an eigenvalue interpretation; a minimal list of defining linear inequalities; a description by Extended Horn inequalities, as conjectured in part II of this series; and a factorization of NL-numbers, on the boundary.


title: Reshaping Convex Polyhedra

abstract: Given a convex polyhedral surface P, we define a tailoring as excising from P a simple polygonal domain that contains one vertex v, and whose boundary can be sutured closed to a new convex polyhedron via Alexandrov's Gluing Theorem. In particular, a digon-tailoring cuts off from P a digon containing v, a subset of P bounded by two equal-length geodesic segments that share endpoints, and can then zip closed. In the first part of this monograph, we primarily study properties of the tailoring operation on convex polyhedra. We show that P can be reshaped to any polyhedral convex surface Q a subset of conv(P) by a sequence of tailorings. This investigation uncovered previously unexplored topics, including a notion of unfolding of Q onto P--cutting up Q into pieces pasted non-overlapping onto P, and to continuously folding P onto Q. In the second part of this monograph, we study vertex-merging processes on convex polyhedra (each vertex-merge being in a sense the reverse of a digon-tailoring), creating embeddings of P into enlarged surfaces. We aim to produce non-overlapping polyhedral and planar unfoldings, which led us to develop an apparently new theory of convex sets, and of minimal length enclosing polygons, on convex polyhedra. All our theorem proofs are constructive, implying polynomial-time algorithms.


title: Dependence over subgroups of free groups

abstract: Given a finitely generated subgroup $H$ of a free group $F$, we present an algorithm which computes $g_1,\ldots,g_m\in F$, such that the set of elements $g\in F$, for which there exists a non-trivial $H$-equation having $g$ as a solution, is, precisely, the disjoint union of the double cosets $H\sqcup Hg_1H\sqcup \cdots \sqcup Hg_mH$. Moreover, we present an algorithm which, given a finitely generated subgroup $H\leqslant F$ and an element $g\in F$, computes a finite set of elements of $H * \langle x \rangle$ that generate (as a normal subgroup) the ``ideal" $I_H(g) \unlhd H * \langle x \rangle$ of all ``polynomials" $w(x)$, such that $w(g)=1$. The algorithms, as well as the proofs, are based on the graph-theory techniques introduced by Stallings and on the more classical combinatorial techniques of Nielsen transformations. The key notion here is that of dependence of an element $g\in F$ on a subgroup $H$. We also study the corresponding notions of dependence sequence and dependence closure of a subgroup.


title: The Quantitative Collapse of Concurrent Games with Symmetry

abstract: We explore links between the thin concurrent games of Castellan, Clairambault and Winskel, and the weighted relational models of linear logic studied by Laird, Manzonetto, McCusker and Pagani. More precisely, we show that there is an interpretationpreserving "collapse" functor from the former to the latter. On objects, the functor defines for each game a set of possible execution states. Defining the action on morphisms is more subtle, and this is the main contribution of the paper. Given a strategy and an execution state, our functor needs to count the witnesses for this state within the strategy. Strategies in thin concurrent games describe non-linear behaviour explicitly, so in general each witness exists in countably many symmetric copies. The challenge is to define the right notion of witnesses, factoring out this infinity while matching the weighted relational model. Understanding how witnesses compose is particularly subtle and requires a delve into the combinatorics of witnesses and their symmetries. In its basic form, this functor connects thin concurrent games and a relational model weighted by N $\cup$ {+$\infty$}. We will additionally consider a generalised setting where both models are weighted by elements of an arbitrary continuous semiring; this covers the probabilistic case, among others. Witnesses now additionally carry a value from the semiring, and our interpretation-preserving collapse functor extends to this setting.


title: Generalized seniority isomers in and around $Z=82$ closed shell: a survey of Hg, Pb and Po isotopes

abstract: In this paper, we investigate the generalized seniority scheme and the validity of Generalized Seniority Schmidt Model in and around the $Z=82$ semi-magic region. A consistently same multi-j configuration is used to explain all the nuclear spectroscopic properties such as $g-$factors, $Q-$moments and $B(E2)$ trends for the ${13/2}^+$, ${12}^+$ and ${33/2}^+$ isomers in all the three Hg, Pb and Po isotopic chains. The inverted parabolic $B(E2)$ trends for the first $2^+$ states in Hg, Pb and Po isotopes are also explained using the generalized seniority scheme. A comparison with the experimental data is presented, wherever possible, and future possibilities are suggested.


title: Semilinear Transformations in Coding Theory: A New Technique in Code-Based Cryptography

abstract: This paper presents a new technique for disturbing the algebraic structure of linear codes in code-based cryptography. This is a new attempt to exploit Gabidulin codes in the McEliece setting and almost all the previous cryptosystems of this type have been completely or partially broken. To be specific, we introduce the so-called semilinear transformation in coding theory, which is defined through an $\mathbb{F}_q$-linear automorphism of $\mathbb{F}_{q^m}$, then apply them to construct a public key encryption scheme. Our analysis shows that this scheme can resist all the existing distinguisher attacks, such as Overbeck's attack and Coggia-Couvreur attack. Meanwhile, we endow the underlying Gabidulin code with the so-called partial cyclic structure to reduce the public key size. Compared with some other code-based cryptosystems, our proposal has a much more compact representation of public keys. For instance, 2592 bytes are enough for our proposal to achieve the security of 256 bits, almost 403 times smaller than that of Classic McEliece entering the third round of the NIST PQC project.


title: A Survey on Data Augmentation for Text Classification

abstract: Data augmentation, the artificial creation of training data for machine learning by transformations, is a widely studied research field across machine learning disciplines. While it is useful for increasing a model's generalization capabilities, it can also address many other challenges and problems, from overcoming a limited amount of training data, to regularizing the objective, to limiting the amount data used to protect privacy. Based on a precise description of the goals and applications of data augmentation and a taxonomy for existing works, this survey is concerned with data augmentation methods for textual classification and aims to provide a concise and comprehensive overview for researchers and practitioners. Derived from the taxonomy, we divide more than 100 methods into 12 different groupings and give state-of-the-art references expounding which methods are highly promising by relating them to each other. Finally, research perspectives that may constitute a building block for future work are provided.


title: Phase-Field Methods for Spectral Shape and Topology Optimization

abstract: We optimize a selection of eigenvalues of the Laplace operator with Dirichlet or Neumann boundary conditions by adjusting the shape of the domain on which the eigenvalue problem is considered. Here, a phase-field function is used to represent the shapes over which we minimize. The idea behind this method is to modify the Laplace operator by introducing phase-field dependent coefficients in order to extend the eigenvalue problem on a fixed design domain containing all admissible shapes. The resulting shape and topology optimization problem can then be formulated as an optimal control problem with PDE constraints in which the phase-field function acts as the control. For this optimal control problem, we establish first-order necessary optimality conditions and we rigorously derive its sharp interface limit. Eventually, we present and discuss several numerical simulations for our optimization problem.


title: Quantum Borcherds-Bozec algebras via semi-derived Ringel-Hall algebras

abstract: We use semi-derived Ringel-Hall algebras of quivers with loops to realize the whole quantum Borcherds-Bozec algebras and quantum generalized Kac-Moody algebras.


title: On Magic Distinct Labellings of Simple Graphs

abstract: A magic labelling of a graph $G$ with magic sum $s$ is a labelling of the edges of $G$ by nonnegative integers such that for each vertex $v\in V$, the sum of labels of all edges incident to $v$ is equal to the same number $s$. Stanley gave remarkable results on magic labellings, but the distinct labelling case is much more complicated. We consider the complete construction of all magic labellings of a given graph $G$. The idea is illustrated in detail by dealing with three regular graphs. We give combinatorial proofs. The structure result was used to enumerate the corresponding magic distinct labellings.


title: Distance covariance for random fields

abstract: We study an independence test based on distance correlation for random fields $(X,Y)$. We consider the situations when $(X,Y)$ is observed on a lattice with equidistant grid sizes and when $(X,Y)$ is observed at random locations. We provide asymptotic theory for the sample distance correlation in both situations and show bootstrap consistency. The latter fact allows one to build a test for independence of $X$ and $Y$ based on the considered discretizations of these fields. We illustrate the performance of the bootstrap test in a simulation study involving fractional Brownian and infinite variance stable fields. The independence test is applied to Japanese meteorological data, which are observed over the entire area of Japan.


title: Mitigating Generation Shifts for Generalized Zero-Shot Learning

abstract: Generalized Zero-Shot Learning (GZSL) is the task of leveraging semantic information (e.g., attributes) to recognize the seen and unseen samples, where unseen classes are not observable during training. It is natural to derive generative models and hallucinate training samples for unseen classes based on the knowledge learned from the seen samples. However, most of these models suffer from the `generation shifts', where the synthesized samples may drift from the real distribution of unseen data. In this paper, we conduct an in-depth analysis on this issue and propose a novel Generation Shifts Mitigating Flow (GSMFlow) framework, which is comprised of multiple conditional affine coupling layers for learning unseen data synthesis efficiently and effectively. In particular, we identify three potential problems that trigger the generation shifts, i.e., semantic inconsistency, variance decay, and structural permutation and address them respectively. First, to reinforce the correlations between the generated samples and the respective attributes, we explicitly embed the semantic information into the transformations in each of the coupling layers. Second, to recover the intrinsic variance of the synthesized unseen features, we introduce a visual perturbation strategy to diversify the intra-class variance of generated data and hereby help adjust the decision boundary of the classifier. Third, to avoid structural permutation in the semantic space, we propose a relative positioning strategy to manipulate the attribute embeddings, guiding which to fully preserve the inter-class geometric structure. Experimental results demonstrate that GSMFlow achieves state-of-the-art recognition performance in both conventional and generalized zero-shot settings. Our code is available at: https://github.com/uqzhichen/GSMFlow


title: A high performance active noise control system for magnetic fields

abstract: We present a system for active noise control (ANC) of environmental magnetic fields based on a Filtered-x Least Mean Squares (FxLMS) algorithm. The system consists of a sensor that detects the ambient field noise and an error sensor that measures the signal of interest contaminated with the noise. These signals are fed to an adaptive algorithm that constructs a physical anti-noise signal cancelling the local magnetic field noise. The proposed system achieves a maximum of 35 dB root-mean-square (RMS) noise suppression in the DC-1 kHz band and 50 dB and 40 dB amplitude suppression of 50 Hz and 150 Hz AC line noise respectively for all three axial directions of the magnetic vector field.

categories: eess.SY cs.SY physics.app-ph physics.ins-det


title: Improving Speech Recognition Accuracy of Local POI Using Geographical Models

abstract: Nowadays voice search for points of interest (POI) is becoming increasingly popular. However, speech recognition for local POI has remained to be a challenge due to multi-dialect and massive POI. This paper improves speech recognition accuracy for local POI from two aspects. Firstly, a geographic acoustic model (Geo-AM) is proposed. The Geo-AM deals with multi-dialect problem using dialect-specific input feature and dialect-specific top layer. Secondly, a group of geo-specific language models (Geo-LMs) are integrated into our speech recognition system to improve recognition accuracy of long tail and homophone POI. During decoding, specific language models are selected on demand according to users' geographic location. Experiments show that the proposed Geo-AM achieves 6.5%$\sim$10.1% relative character error rate (CER) reduction on an accent testset and the proposed Geo-AM and Geo-LM totally achieve over 18.7% relative CER reduction on Tencent Map task.


title: FBC-GAN: Diverse and Flexible Image Synthesis via Foreground-Background Composition

abstract: Generative Adversarial Networks (GANs) have become the de-facto standard in image synthesis. However, without considering the foreground-background decomposition, existing GANs tend to capture excessive content correlation between foreground and background, thus constraining the diversity in image generation. This paper presents a novel Foreground-Background Composition GAN (FBC-GAN) that performs image generation by generating foreground objects and background scenes concurrently and independently, followed by composing them with style and geometrical consistency. With this explicit design, FBC-GAN can generate images with foregrounds and backgrounds that are mutually independent in contents, thus lifting the undesirably learned content correlation constraint and achieving superior diversity. It also provides excellent flexibility by allowing the same foreground object with different background scenes, the same background scene with varying foreground objects, or the same foreground object and background scene with different object positions, sizes and poses. It can compose foreground objects and background scenes sampled from different datasets as well. Extensive experiments over multiple datasets show that FBC-GAN achieves competitive visual realism and superior diversity as compared with state-of-the-art methods.


title: Magnetic-Field-Induced Spin Nematicity in FeSe1-xSx and FeSe1-yTey Superconductor Systems

abstract: The angular-dependent magnetoresistance (AMR) of the ab plane is measured on the single crystals of FeSe1-xSx (x = 0, 0.07, 0.13 and 1) and FeSe1-yTey (y = 0.06, 0.61 and 1) at various temperatures under fields up to 9 T. A pronounced twofold-anisotropic carrier-scattering effect is identified by AMR, and attributed to a magnetic-field-induced spin nematicity that emerges from the tetragonal normal-state regime below a characteristic temperature Tsn. This magnetically polarized spin nematicity is found to be ubiquitous in the isoelectronic FeSe1-xSx and FeSe1-yTey systems, no matter whether the sample shows an electronic nematic order at Ts < Tsn, or an antiferromagnetic order at TN < Tsn, or neither order. Importantly, we find that the isoelectronic substitution with sulfur does not suppress but even enhances the characteristic Tsn of the induced spin nematicity in FeSe1-xSx samples. This contrasts sharply with their rapidly suppressed Ts, the transition temperature of the spontaneous electronic nematicity. Furthermore, we find that the superconductivity is significantly suppressed with the enhancement of the induced spin nematicity in both FeSe1-xSx and FeSe1-yTey samples.


title: Remarks on non-perturbative three--body dynamics and its application to the $KK\bar K$ system

abstract: A formalism is discussed that allows for a straightforward treatment of the relativistic three-body problem while keeping the correct analytic structure. In particular it is demonstrated that sacrificing covariance for analyticity can be justified by the hierarchy of different contributions in the spirit of an effective field theory. For definiteness the formalism is applied to the $KK\bar K$ system allowing for the emergence of the $a_0(980)$ and the $f_0(980)$ as hadronic molecules. For simplicity all inelastic channels are switched off.


title: Inducing chiral superconductivity on honeycomb lattice systems

abstract: Superconductivity in graphene-based systems has recently attracted much attention, as either intrinsic behavior or induced by proximity to a superconductor may lead to interesting topological phases and symmetries of the pairing function. A prominent system considers the pairing to have chiral symmetry. The question arises as to the effect of possible spin-orbit coupling on the resulting superconducting quasiparticle spectrum. Utilizing a Bogolyubov-de Gennes (BdG) Hamiltonian, we explore the interplay of different interaction terms in the system, and their role in generating complex Berry curvatures in the quasiparticle spectrum, as well as non-trivial topological behavior. We demonstrate that the topology of the BdG Hamiltonian in these systems may result in the appearance of edge states along the zigzag edges of nanoribbons in the appropriate regime.


title: Magnetic Field Design in a Cylindrical High-Permeability Shield: The Combination of Simple Building Blocks and a Genetic Algorithm

abstract: Magnetically-sensitive experiments and newly-developed quantum technologies with integrated high-permeability magnetic shields require increasing control of their magnetic field environment and reductions in size, weight, power and cost. However, magnetic fields generated by active components are distorted by high-permeability magnetic shielding, particularly when they are close to the shield's surface. Here, we present an efficient design methodology for creating desired static magnetic field profiles by using discrete coils electromagnetically-coupled to a cylindrical passive magnetic shield. We utilize a modified Green's function solution that accounts for the interior boundary conditions on a closed finite-length high-permeability cylindrical magnetic shield, and determine simplified expressions when a cylindrical coil approaches the interior surface of the shield. We use an analytic formulation of simple discrete building blocks to provide a complete discrete coil basis to generate any physically-attainable magnetic field inside the shield. We then use a genetic algorithm to find optimized discrete coil structures composed of this basis. We use our methodology to generate an improved linear axial gradient field, $\mathrm{d}B_z/\mathrm{d}z$, and transverse bias field, $B_x$. These optimized structures increase, by a factor of seven and three compared to the standard configurations, the volume in which the desired and achieved fields agree within $1\%$ accuracy, respectively. This coil design method can be used to optimize active--passive magnetic field shaping systems that are compact and simple to manufacture, enabling accurate magnetic field control in spatially-confined experiments at low cost.


title: On the Probabilistic Degree of an $n$-variate Boolean Function

abstract: Nisan and Szegedy (CC 1994) showed that any Boolean function $f:\{0,1\}^n\rightarrow \{0,1\}$ that depends on all its input variables, when represented as a real-valued multivariate polynomial $P(x_1,\ldots,x_n)$, has degree at least $\log n - O(\log \log n)$. This was improved to a tight $(\log n - O(1))$ bound by Chiarelli, Hatami and Saks (Combinatorica 2020). Similar statements are also known for other Boolean function complexity measures such as Sensitivity (Simon (FCT 1983)), Quantum query complexity, and Approximate degree (Ambainis and de Wolf (CC 2014)). In this paper, we address this question for \emph{Probabilistic degree}. The function $f$ has probabilistic degree at most $d$ if there is a random real-valued polynomial of degree at most $d$ that agrees with $f$ at each input with high probability. Our understanding of this complexity measure is significantly weaker than those above: for instance, we do not even know the probabilistic degree of the OR function, the best-known bounds put it between $(\log n)^{1/2-o(1)}$ and $O(\log n)$ (Beigel, Reingold, Spielman (STOC 1991); Tarui (TCS 1993); Harsha, Srinivasan (RSA 2019)). Here we can give a near-optimal understanding of the probabilistic degree of $n$-variate functions $f$, \emph{modulo} our lack of understanding of the probabilistic degree of OR. We show that if the probabilistic degree of OR is $(\log n)^c$, then the minimum possible probabilistic degree of such an $f$ is at least $(\log n)^{c/(c+1)-o(1)}$, and we show this is tight up to $(\log n)^{o(1)}$ factors.


title: Trans4Trans: Efficient Transformer for Transparent Object Segmentation to Help Visually Impaired People Navigate in the Real World

abstract: Common fully glazed facades and transparent objects present architectural barriers and impede the mobility of people with low vision or blindness, for instance, a path detected behind a glass door is inaccessible unless it is correctly perceived and reacted. However, segmenting these safety-critical objects is rarely covered by conventional assistive technologies. To tackle this issue, we construct a wearable system with a novel dual-head Transformer for Transparency (Trans4Trans) model, which is capable of segmenting general and transparent objects and performing real-time wayfinding to assist people walking alone more safely. Especially, both decoders created by our proposed Transformer Parsing Module (TPM) enable effective joint learning from different datasets. Besides, the efficient Trans4Trans model composed of symmetric transformer-based encoder and decoder, requires little computational expenses and is readily deployed on portable GPUs. Our Trans4Trans model outperforms state-of-the-art methods on the test sets of Stanford2D3D and Trans10K-v2 datasets and obtains mIoU of 45.13% and 75.14%, respectively. Through various pre-tests and a user study conducted in indoor and outdoor scenarios, the usability and reliability of our assistive system have been extensively verified.


title: Harish-Chandra bimodules of finite $K$-type in Deligne categories

abstract: We continue the study of Harish-Chandra bimodules in the setting of the Deligne categories $\mathrm{Rep}(G_t)$, that was started in the previous work of the first author (arXiv:2002.01555). In this work we construct a family of Harish-Chandra bimodules that generalize simple finite dimensional bimodules in the classical case. It turns out that they have finite $K$-type, which is a non-vacuous condition for the Harish-Chandra bimodules in $\mathrm{Rep}(G_t)$. The full classification of (simple) finite $K$-type bimodules is yet unknown. This construction also yields some examples of central characters $\chi$ of the universal enveloping algebra $U(\mathfrak{g}_t)$ for which the quotient $U_\chi$ is not simple, and, thereby, it allows us to partially solve a question posed by Pavel Etingof in one of his works.


title: Deciding Top-Down Determinism of Regular Tree Languages

abstract: It is well known that for a regular tree language it is decidable whether or not it can be recognized by a deterministic top-down tree automaton (DTA). However, the computational complexity of this problem has not been studied. We show that for a given deterministic bottom-up tree automaton it can be decided in quadratic time whether or not its language can be recognized by a DTA. Since there are finite tree languages that cannot be recognized by DTAs, we also consider finite unions of \DTAs and show that also here, definability within deterministic bottom-up tree automata is decidable in quadratic time.


title: A Survey on Dialogue Summarization: Recent Advances and New Frontiers

abstract: Dialogue summarization aims to condense the original dialogue into a shorter version covering salient information, which is a crucial way to reduce dialogue data overload. Recently, the promising achievements in both dialogue systems and natural language generation techniques drastically lead this task to a new landscape, which results in significant research attentions. However, there still remains a lack of a comprehensive survey for this task. To this end, we take the first step and present a thorough review of this research field carefully and widely. In detail, we systematically organize the current works according to the characteristics of each domain, covering meeting, chat, email thread, customer service and medical dialogue. Additionally, we provide an overview of publicly available research datasets as well as organize two leaderboards under unified metrics. Furthermore, we discuss some future directions, including faithfulness, multi-modal, multi-domain and multi-lingual dialogue summarization, and give our thoughts respectively. We hope that this first survey of dialogue summarization can provide the community with a quick access and a general picture to this task and motivate future researches.


title: On Training Instance Selection for Few-Shot Neural Text Generation

abstract: Large-scale pretrained language models have led to dramatic improvements in text generation. Impressive performance can be achieved by finetuning only on a small number of instances (few-shot setting). Nonetheless, almost all previous work simply applies random sampling to select the few-shot training instances. Little to no attention has been paid to the selection strategies and how they would affect model performance. In this work, we present a study on training instance selection in few-shot neural text generation. The selection decision is made based only on the unlabeled data so as to identify the most worthwhile data points that should be annotated under some budget of labeling cost. Based on the intuition that the few-shot training instances should be diverse and representative of the entire data distribution, we propose a simple selection strategy with K-means clustering. We show that even with the naive clustering-based approach, the generation models consistently outperform random sampling on three text generation tasks: data-to-text generation, document summarization and question generation. We hope that this work will call for more attention on this largely unexplored area.


title: Superconducting Magnets

abstract: Superconductivity allows to construct and operate magnets at field values beyond 2 Tesla, the practical limitation of normal-conducting magnets exploiting ferro-magnetism. The field of superconducting magnets is dominated by the field generated in the coil. The stored energy and the electromagnetic forces generated by the coil are the main challenges to be overcome in the design of these magnets. For further reading you may consult the following books: [1], [2], [3], [4] or the proceedings of two specialized CAS courses: [5] and [6].


title: Levels of explainable artificial intelligence for human-aligned conversational explanations

abstract: Over the last few years there has been rapid research growth into eXplainable Artificial Intelligence (XAI) and the closely aligned Interpretable Machine Learning (IML). Drivers for this growth include recent legislative changes and increased investments by industry and governments, along with increased concern from the general public. People are affected by autonomous decisions every day and the public need to understand the decision-making process to accept the outcomes. However, the vast majority of the applications of XAI/IML are focused on providing low-level `narrow' explanations of how an individual decision was reached based on a particular datum. While important, these explanations rarely provide insights into an agent's: beliefs and motivations; hypotheses of other (human, animal or AI) agents' intentions; interpretation of external cultural expectations; or, processes used to generate its own explanation. Yet all of these factors, we propose, are essential to providing the explanatory depth that people require to accept and trust the AI's decision-making. This paper aims to define levels of explanation and describe how they can be integrated to create a human-aligned conversational explanation system. In so doing, this paper will survey current approaches and discuss the integration of different technologies to achieve these levels with Broad eXplainable Artificial Intelligence (Broad-XAI), and thereby move towards high-level `strong' explanations.


title: Time-Aware Ancient Chinese Text Translation and Inference

abstract: In this paper, we aim to address the challenges surrounding the translation of ancient Chinese text: (1) The linguistic gap due to the difference in eras results in translations that are poor in quality, and (2) most translations are missing the contextual information that is often very crucial to understanding the text. To this end, we improve upon past translation techniques by proposing the following: We reframe the task as a multi-label prediction task where the model predicts both the translation and its particular era. We observe that this helps to bridge the linguistic gap as chronological context is also used as auxiliary information. % As a natural step of generalization, we pivot on the modern Chinese translations to generate multilingual outputs. %We show experimentally the efficacy of our framework in producing quality translation outputs and also validate our framework on a collected task-specific parallel corpus. We validate our framework on a parallel corpus annotated with chronology information and show experimentally its efficacy in producing quality translation outputs. We release both the code and the data https://github.com/orina1123/time-aware-ancient-text-translation for future research.


title: HIDA: Towards Holistic Indoor Understanding for the Visually Impaired via Semantic Instance Segmentation with a Wearable Solid-State LiDAR Sensor

abstract: Independently exploring unknown spaces or finding objects in an indoor environment is a daily but challenging task for visually impaired people. However, common 2D assistive systems lack depth relationships between various objects, resulting in difficulty to obtain accurate spatial layout and relative positions of objects. To tackle these issues, we propose HIDA, a lightweight assistive system based on 3D point cloud instance segmentation with a solid-state LiDAR sensor, for holistic indoor detection and avoidance. Our entire system consists of three hardware components, two interactive functions~(obstacle avoidance and object finding) and a voice user interface. Based on voice guidance, the point cloud from the most recent state of the changing indoor environment is captured through an on-site scanning performed by the user. In addition, we design a point cloud segmentation model with dual lightweight decoders for semantic and offset predictions, which satisfies the efficiency of the whole system. After the 3D instance segmentation, we post-process the segmented point cloud by removing outliers and projecting all points onto a top-view 2D map representation. The system integrates the information above and interacts with users intuitively by acoustic feedback. The proposed 3D instance segmentation model has achieved state-of-the-art performance on ScanNet v2 dataset. Comprehensive field tests with various tasks in a user study verify the usability and effectiveness of our system for assisting visually impaired people in holistic indoor understanding, obstacle avoidance and object search.


title: Gamma Ray Glow Observations at 20-km Altitude

abstract: In the spring of 2017 an ER-2 aircraft campaign was undertaken over continental United States to observe energetic radiation from thunderstorms and lightning. The payload consisted of a suite of instruments designed to detect optical signals, electric fields, and gamma rays from lightning. Starting from Georgia, USA, 16 flights were performed, for a total of about 70 flight hours at a cruise altitude of 20 km. Of these, 45 flight hours were over thunderstorm regions. An analysis of two gamma ray glow events that were observed over Colorado at 21:47 UT on 8May 2017 is presented.We explore the charge structure of the cloud system, as well as possible mechanisms that can produce the gamma ray glows. The thundercloud system we passed during the gamma ray glow observation had strong convection in the core of the cloud system. Electric field measurements combined with radar and radio measurements suggest an inverted charge structure, with an upper negative charge layer and a lower positive charge layer. Based on modeling results, we were not able to unambiguously determine the production mechanism. Possible mechanisms are either an enhancement of cosmic background locally (above or below 20 km) by an electric field below the local threshold or an enhancement of the cosmic background inside the cloud but then with normal polarity and an electric field well above the Relativistic Runaway Electron Avalanche threshold


title: Urban Tree Species Classification Using Aerial Imagery

abstract: Urban trees help regulate temperature, reduce energy consumption, improve urban air quality, reduce wind speeds, and mitigating the urban heat island effect. Urban trees also play a key role in climate change mitigation and global warming by capturing and storing atmospheric carbon-dioxide which is the largest contributor to greenhouse gases. Automated tree detection and species classification using aerial imagery can be a powerful tool for sustainable forest and urban tree management. Hence, This study first offers a pipeline for generating labelled dataset of urban trees using Google Map's aerial images and then investigates how state of the art deep Convolutional Neural Network models such as VGG and ResNet handle the classification problem of urban tree aerial images under different parameters. Experimental results show our best model achieves an average accuracy of 60% over 6 tree species.


title: A Closed-Form Approximation to the Conjugate Prior of the Dirichlet and Beta Distributions

abstract: We derive the conjugate prior of the Dirichlet and beta distributions and explore it with numerical examples to gain an intuitive understanding of the distribution itself, its hyperparameters, and conditions concerning its convergence. Due to the prior's intractability, we proceed to define and analyze a closed-form approximation. Finally, we provide an algorithm implementing this approximation that enables fully tractable Bayesian conjugate treatment of Dirichlet and beta likelihoods without the need for Monte Carlo simulations.


title: Thermal noise competes with turbulent fluctuations below millimeter scales

abstract: Turbulent flows frequently accompany physical, chemical and biological processes, such as mixing, two-phase flow, combustion and even foraging by bacteria and plankton larvae, all of which are in principle subject to thermal fluctuations already on scales of several microns. Nevertheless the large separation between the millimeter scale at which turbulent fluctuations begin to be strongly damped and the mean free path of the fluid has been generally assumed to imply that thermal fluctuations are irrelevant to the turbulent dissipation range. Here we use statistical mechanical estimates to show that thermal fluctuations are not negligible compared to turbulent eddies in the dissipation range. Simulation of the Sabra shell model shows that intermittent bursts of turbulence lead to a fluctuating length scale below which thermal fluctuations are important: over three decades of length, from sub-millimeter scales down to the mean free path, thermal fluctuations coexist with hydrodynamics. Our results imply that thermal fluctuations cannot be neglected when modeling turbulent phenomena in the far dissipation range.


title: Energetic Electron Precipitation Occurrence Rates Determined Using the Syowa East SuperDARN Radar

abstract: We demonstrate that the Super Dual Auroral Radar Network (SuperDARN) radar at Syowa station, Antarctica, can be used to detect high frequency radio wave attenuation in the D region ionosphere during energetic electron precipitation (EEP) events. EEP-related attenuation is identified in the radar data as a sudden reduction in the backscatter power and background noise parameters.We focus initially on EEP associated with pulsating aurora and use images from a colocated all-sky camera as a validation data set for the radar-based EEP event detection method. Our results show that high-frequency attenuation that commences during periods of optical pulsating aurora typically continues for 2-4 hr after the camera stops imaging at dawn.We then use the radar data to determine EEP occurrence rates as a function of magnetic local time (MLT) using a database of 555 events detected in 2011. EEP occurrence rates are highest in the early morning sector and lowest at around 15:00-18:00 MLT. The postmidnight and morning sector occurrence rates exhibit significant seasonal variations, reaching approximately 50% in the winter and 15% in the summer, whereas no seasonal variations were observed in other MLT sectors. The mean event lifetime determined from the radar data was 2.25 hr, and 10% of events had lifetimes exceeding 5 hr.


title: Learning Time-Invariant Reward Functions through Model-Based Inverse Reinforcement Learning

abstract: Inverse reinforcement learning is a paradigm motivated by the goal of learning general reward functions from demonstrated behaviours. Yet the notion of generality for learnt costs is often evaluated in terms of robustness to various spatial perturbations only, assuming deployment at fixed speeds of execution. However, this is impractical in the context of robotics and building, time-invariant solutions is of crucial importance. In this work, we propose a formulation that allows us to 1) vary the length of execution by learning time-invariant costs, and 2) relax the temporal alignment requirements for learning from demonstration. We apply our method to two different types of cost formulations and evaluate their performance in the context of learning reward functions for simulated placement and peg in hole tasks executed on a 7DoF Kuka IIWA arm. Our results show that our approach enables learning temporally invariant rewards from misaligned demonstration that can also generalise spatially to out of distribution tasks.


title: Intensity Prediction of Tropical Cyclones using Long Short-Term Memory Network

abstract: Tropical cyclones can be of varied intensity and cause a huge loss of lives and property if the intensity is high enough. Therefore, the prediction of the intensity of tropical cyclones advance in time is of utmost importance. We propose a novel stacked bidirectional long short-term memory network (BiLSTM) based model architecture to predict the intensity of a tropical cyclone in terms of Maximum surface sustained wind speed (MSWS). The proposed model can predict MSWS well advance in time (up to 72 h) with very high accuracy. We have applied the model on tropical cyclones in the North Indian Ocean from 1982 to 2018 and checked its performance on two recent tropical cyclones, namely, Fani and Vayu. The model predicts MSWS (in knots) for the next 3, 12, 24, 36, 48, 60, and 72 hours with a mean absolute error of 1.52, 3.66, 5.88, 7.42, 8.96, 10.15, and 11.92, respectively.


title: Growth of Aggregates with Liquid-Like Ice-Shells in Protoplanetary Discs

abstract: During the first stages of planet formation, the collision growth of dust aggregates in protoplanetary discs (PPDs) is interrupted at the bouncing barrier. Dust aggregates coated by different species of ice turn out to be helpful to shift the bouncing barrier towards larger sizes due to their enhanced sticking properties in some cases. A rarely noticed fact is that H$_2$O- and H$_2$O-CH$_3$OH-NH$_3$-ice behave liquid-like when UV-irradiated within a PPD-similar environment. Dust aggregates coated by these ice species might be damped in collisions due to the liquid-like ice-shell which would effectively results in an increase of the sticking velocity. In this work, collisions of dust aggregates covered by the liquid-like H$_2$O-CH$_3$OH-NH$_3$-ice-shell are considered numerically. The coefficient of restitution and the sticking velocity are calculated for different thicknesses of the ice-shell. The simulation predicts that an ice-shell-thickness of few microns would be sufficient to allow the growth of cm-sized clusters in the PPD.


title: A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

abstract: The Bernays-Sch\"onfinkel first-order logic fragment over simple linear real arithmetic constraints BS(SLR) is known to be decidable. We prove that BS(SLR) clause sets with both universally and existentially quantified verification conditions (conjectures) can be translated into BS(SLR) clause sets over a finite set of first-order constants. For the Horn case, we provide a Datalog hammer preserving validity and satisfiability. A toolchain from the BS(LRA) prover SPASS-SPL to the Datalog reasoner VLog establishes an effective way of deciding verification conditions in the Horn fragment. This is exemplified by the verification of supervisor code for a lane change assistant in a car and of an electronic control unit for a supercharged combustion engine.


title: Nested Counterfactual Identification from Arbitrary Surrogate Experiments

abstract: The Ladder of Causation describes three qualitatively different types of activities an agent may be interested in engaging in, namely, seeing (observational), doing (interventional), and imagining (counterfactual) (Pearl and Mackenzie, 2018). The inferential challenge imposed by the causal hierarchy is that data is collected by an agent observing or intervening in a system (layers 1 and 2), while its goal may be to understand what would have happened had it taken a different course of action, contrary to what factually ended up happening (layer 3). While there exists a solid understanding of the conditions under which cross-layer inferences are allowed from observations to interventions, the results are somewhat scarcer when targeting counterfactual quantities. In this paper, we study the identification of nested counterfactuals from an arbitrary combination of observations and experiments. Specifically, building on a more explicit definition of nested counterfactuals, we prove the counterfactual unnesting theorem (CUT), which allows one to map arbitrary nested counterfactuals to unnested ones. For instance, applications in mediation and fairness analysis usually evoke notions of direct, indirect, and spurious effects, which naturally require nesting. Second, we introduce a sufficient and necessary graphical condition for counterfactual identification from an arbitrary combination of observational and experimental distributions. Lastly, we develop an efficient and complete algorithm for identifying nested counterfactuals; failure of the algorithm returning an expression for a query implies it is not identifiable.


title: An extension to the complex plane of the Riemann-Siegel Z function

abstract: The usual Riemann-Siegel Z(t) is a real-valued function. We construct a complex function depending from t and from distance from critical line. It is linked to Riemann Xi(s) function by the same real scaling factor of the usual Riemann-Siegel Z(t) on critical line. Errors are not greater than the errors of Riemann-Siegel Z(t) on the critical line, while this result covers at least the whole critical strip.


title: A hole-Cr$^{+}$ nano-magnet in a semiconductor quantum dot

abstract: We study a new diluted magnetic semiconductor system based on the spin of the ionized acceptor Cr$^+$. We show that the negatively charged Cr$^+$ ion, an excited state of the Cr in II-VI semiconductor, can be stable when inserted in a CdTe quantum dot (QD). The Cr$^+$ attracts a heavy-hole in the QD and form a stable hole-Cr$^+$ complex. Optical probing of this system reveals a ferromagnetic coupling between heavy-holes and Cr$^+$ spins. At low temperature, the thermalization on the ground state of the hole-Cr$^+$ system with parallel spins prevents the optical recombination of the excess electron on the 3$d$ shell of the atom. We study the dynamics of the nano-magnet formed by the hole-Cr$^+$ exchange interaction. The ferromagnetic ground states with M$_z$=$\pm$4 can be controlled by resonant optical pumping and a spin relaxation time in the 20 $\mu$s range is obtained at T=4.2 K. This spin memory at zero magnetic field is limited by the interaction with phonons.


title: Oblivious Median Slope Selection

abstract: We study the median slope selection problem in the oblivious RAM model. In this model memory accesses have to be independent of the data processed, i.e., an adversary cannot use observed access patterns to derive additional information about the input. We show how to modify the randomized algorithm of Matou\v{s}ek (1991) to obtain an oblivious version with $\mathcal{O}(n \log^2 n)$ expected time for $n$ points in $\mathbb{R}^2$. This complexity matches a theoretical upper bound that can be obtained through general oblivious transformation. In addition, results from a proof-of-concept implementation show that our algorithm is also practically efficient.


title: The hidden fluxes, that control the fluctuations of scalar fields

abstract: The fluctuations of scalar fields, that are invariant under rotations of the worldvolume, in Euclidian signature, can be described by a system of Langevin equations. These equations can be understood as defining a change of variables in the functional integral for the noise, with which the physical degrees of freedom are in equilibrium. The absolute value of the Jacobian of this change of variables therefore repackages the fluctuations. This provides a new way of relating the number and properties of scalar fields with the consistent and complete description of their fluctuations and is another way of understanding the relevance of supersymmetry, which, in this way, determines the minimal number of real scalar fields (e.g. two in two dimensions, four in three dimensions and eight in four dimensions), in order for the system to be consistently closed. The classical action of the scalar fields, obtained in this way, contains a surface term and a remainder, in addition to the canonical kinetic and potential terms. The surface term describes possible flux contributions in the presence of boundaries, while the remainder describes additional interactions, that can't be absorbed in a redefinition of the canonical terms. It is, however, through its combination with the surface term that the noise fields can be recovered, in all cases. However their identities can be subject to anomalies. What is of particular, practical, interest is the identification of the noise fields, as functions of the scalars, whose correlation functions are Gaussian. This implies new identities, between the scalars, that can be probed in real, or computer, experiments.


title: Formality of $A_\infty$-Algebras

abstract: This master's thesis contains an introduction to $A_\infty$-algebras and homological perturbation theory. We then discuss the formality of compact K\"ahler manifolds and present a direct proof of a homotopy transfer principle of $A_\infty$-algebras, also known as Kadeishvili's Theorem.


title: Reduced state of the field and classicality of quantum Gaussian evolution

abstract: The notion of classicality of quantum evolution of light is an object of both conceptual and practical importance. The main goal of this work is to derive the exact conditions for the classicality of quantum Gaussian evolution, i.e. the evolution of Gaussian states of light and their convex combinations, a model which is of great significance in quantum optics and information. Several examples, ranging from Gaussian thermal operations to entanglement-maximizing dissipative engineering, are discussed. Our results are obtained using the recently introduced mesoscopic theory of the reduced state of the field, which was originally devised as as a description of macroscopic quantum fields. Here, to make the framework suitable for our goal, we redevelop it as a tool for probing classicality, which constitutes our second main contribution.


title: Heron triangles with two rational medians and Somos-5 sequences

abstract: Triangles with integer length sides and integer area are known as Heron triangles. Taking rescaling freedom into account, one can apply the same name when all sides and the area are rational numbers. A perfect triangle is a Heron triangle with all three medians being rational, and it is a longstanding conjecture that no such triangle exists. However, Buchholz and Rathbun showed that there are infinitely many Heron triangles with two rational medians, an infinite subset of which are associated with rational points on an elliptic curve $E(\mathbb{Q})$ with Mordell-Weil group $\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$, and they observed a connection with a pair of Somos-5 sequences. Here we make the latter connection more precise by providing explicit formulae for the integer side lengths, the two rational medians, and the area in this infinite family of Heron triangles. The proof uses a combined approach to Somos-5 sequences and associated Quispel-Roberts-Thompson (QRT) maps in the plane, from several different viewpoints: complex analysis, real dynamics, and reduction modulo a prime.


title: Symplectic reduction along a submanifold

abstract: We introduce the process of symplectic reduction along a submanifold as a uniform approach to taking quotients in symplectic geometry. This construction holds in the categories of smooth manifolds, complex analytic spaces, and complex algebraic varieties, and has an interpretation in terms of derived stacks in shifted symplectic geometry. It also encompasses Marsden--Weinstein--Meyer reduction, Mikami--Weinstein reduction, the pre-images of Poisson transversals under moment maps, symplectic cutting, symplectic implosion, and the Ginzburg--Kazhdan construction of Moore--Tachikawa varieties in TQFT. A key feature of our construction is a concrete and systematic association of a Hamiltonian $G$-space $\mathfrak{M}_{G, S}$ to each pair $(G,S)$, where $G$ is any Lie group and $S\subseteq\mathrm{Lie}(G)^*$ is any submanifold satisfying certain non-degeneracy conditions. The spaces $\mathfrak{M}_{G, S}$ satisfy a universal property for symplectic reduction which generalizes that of the universal imploded cross-section. While these Hamiltonian $G$-spaces are explicit and natural from a Lie-theoretic perspective, some of them appear to be new.


title: Homogeneous optical linewidths in hybrid Ruddlesden-Popper metal halides can only be measured using nonlinear spectroscopy

abstract: The homogeneous photoluminescence spectral linewidth in semiconductors carries a wealth of information on the coupling of primary photoexcitations with their dynamic environment as well as between multi-particles. In the limit in which inhomogeneous broadening dominates the total optical linewidths, the inhomogeneous and homogeneous contributions can be rigorously separated by temperature-dependent %linear spectral measurements such as steady-state photoluminescence spectroscopy. This is possible because the only temperature-dependent phenomenon is optical dephasing, which defines the homogeneous linewidth, since this process is mediated by scattering with phonons. However, if the homogeneous and inhomogeneous linewidths are comparable, as is the case in hybrid Ruddlesden-Popper metal halides, the temperature dependence of linear spectral measurement \emph{cannot} separate rigorously the homogeneous and inhomogeneous contributions to the total linewidth because the lineshape does \emph{not} contain purely Lorentzian components that can be isolated by varying the temperature. Furthermore, the inhomogeneous contribution to the steady-state photoluminescence lineshape is not necessarily temperature independent if driven by diffusion-limited processes, particularly if measured by photoluminescence. Nonlinear coherent optical spectroscopies, on the other hand, do permit separation of homogeneous and inhomogeneous line broadening contributions in all regimes of inhomogeneity. Consequently, these offer insights into the nature of many-body interactions that are entirely inaccessible to temperature-dependent linear spectroscopies. When applied to Ruddlesden-Popper metal halides, these techniques have indeed enabled us to quantitatively assess the exciton-phonon and exciton-exciton scattering mechanisms.


title: The Geography of Open Source Software: Evidence from GitHub

abstract: Open Source Software (OSS) plays an important role in the digital economy. Yet although software production is amenable to remote collaboration and its outputs are easily shared across distances, software development seems to cluster geographically in places such as Silicon Valley, London, or Berlin. And while recent work indicates that OSS activity creates positive externalities which accrue locally through knowledge spillovers and information effects, up-to-date data on the geographic distribution of active open source developers is limited. This presents a significant blindspot for policymakers, who tend to promote OSS at the national level as a cost-saving tool for public sector institutions. We address this gap by geolocating more than half a million active contributors to GitHub in early 2021 at various spatial scales. Compared to results from 2010, we find a significant increase in the share of developers based in Asia, Latin America and Eastern Europe, suggesting a more even spread of OSS developers globally. Within countries, however, we find significant concentration in regions, exceeding the concentration of workers in high-tech fields. Social and economic development indicators predict at most half of regional variation in OSS activity in the EU, suggesting that clusters of OSS have idiosyncratic roots. We argue that policymakers seeking to foster OSS should focus locally rather than nationally, using the tools of cluster policy to support networks of OSS developers.


title: On the Robot Assisted Movement in Wireless Mobile Sensor Networks

abstract: This paper deals with random sensors initially randomly deployed on the line according to general random process and on the plane according to two independent general random processes. The mobile robot with carrying capacity $k$ placed at the origin point is to move the sensors to achieve the general scheduling requirement such as coverage, connectivity and thus to satisfy the desired communication property in the network. We study tradeoffs between the energy consumption in robot's movement, the numbers of sensors $n$, the sensor range $r$, the interference distance $s$, and the robot capacity $k$ until completion of the coverage simultaneously with interference scheduling task. In this work, we obtain upper bounds for the energy consumption in robot's movement and obtain the sharp decrease in the total movement cost of the robot so as to provide the coverage simultaneously with interference requirement.


title: Ultra strong and ductile eutectic high entropy alloy fabricated by selective laser melting

abstract: With important application prospects, eutectic high entropy alloys have received extensive attention for their excellent strength and ductility in a large temperature range. The excellent casting characteristics of eutectic high entropy alloys make it possible to achieve well manufacturability of selective laser melting. For the first time, we have achieved crack-free eutectic high entropy alloy fabricated by selective laser melting, which has excellent mechanical properties in a wide temperature range of -196 degrees Celsius~760 degrees Celsius due to ultra-fine eutectic lamellar spacing of 150 ~ 200nm and lamellar colony of 2 ~ 6 {\mu}m. Specifically, the room temperature tensile strength exceeds 1400MPa and the elongation is more than 20%, significantly improved compared with those manufactured by other techniques with lower cooling rate.


title: Time-delayed electrons from neutral currents at the LHC

abstract: We investigate long-lived particles (LLPs) produced in pair from neutral currents and decaying into a displaced electron plus two jets at the LHC, utilizing the proposed minimum ionizing particle timing detector at CMS. We study two benchmark models: the R-parity-violating supersymmetry with the lightest neutralinos being the lightest supersymmetric particle and two different $U(1)$ extensions of the standard model with heavy neutral leptons (HNLs). The light neutralinos are produced from the standard model $Z$-boson decays via small Higgsino components, and the HNLs arise from decays of a heavy gauge boson, $Z'$. By simulating the signal processes at the HL-LHC with the center-of-mass energy $\sqrt{s}=$ 14 TeV and integrated luminosity of 3 ab$^{-1}$, our analyses indicate that the search strategy based on a timing trigger and the final state kinematics has the potential to probe the parameter space that is complementary to other traditional LLP search strategies such as those based on the displaced vertex.


title: Phonon modes and Raman signatures of MnBi2nTe3n+1 (n=1,2,3,4) magnetic topological heterostructures

abstract: An intrinsic antiferromagnetic topological insulator $\mathrm{MnBi_2Te_4}$ can be realized by intercalating Mn-Te bilayer chain in a topological insulator, $\mathrm{Bi_2Te_3}$. $\mathrm{MnBi_2Te_4}$ provides not only a stable platform to demonstrate exotic physical phenomena, but also easy tunability of the physical properties. For example, inserting more $\mathrm{Bi_2Te_3}$ layers in between two adjacent $\mathrm{MnBi_2Te_4}$ weakens the interlayer magnetic interactions between the $\mathrm{MnBi_2Te_4}$ layers. Here we present the first observations on the inter- and intra-layer phonon modes of $\mathrm{MnBi_{2n}Te_{3n+1}}$ (n=1,2,3,4) using cryogenic low-frequency Raman spectroscopy. We experimentally and theoretically distinguish the Raman vibrational modes using various polarization configurations. The two peaks at 66 cm$^{-1}$ and 112 cm$^{-1}$ show an abnormal perturbation in the Raman linewidths below the magnetic transition temperature due to spin-phonon coupling. In $\mathrm{MnBi_4Te_7}$, the $\mathrm{Bi_2Te_3}$ layers induce Davydov splitting of the A$_{1g}$ mode around 137 cm$^{-1}$ at 5 K. Using the linear chain model, we estimate the out-of-plane interlayer force constant to be $(3.98 \pm 0.14) \times 10^{19}$ N/m$^3$ at 5 K, three times weaker than that of $\mathrm{Bi_2Te_3}$. Our work discovers the dynamics of phonon modes of the $\mathrm{MnBi_2Te_4}$ and the effect of the additional $\mathrm{Bi_2Te_3}$ layers, providing the first-principles guidance to tailor the physical properties of layered heterostructures.


title: Azobenzene photoisomerization probes cell membrane nanoviscosity

abstract: The viscosity of cell membranes is a crucial parameter that affects the diffusion of small molecules both across and within the lipidic membrane and that is related to several diseases. Therefore, the possibility to measure quantitatively membrane viscosity on the nanoscale is of great interest. Here, we report a complete investigation of the photophysics of an amphiphilic membrane-targeted azobenzene (ZIAPIN2) and we validate its use as viscosity probe for cell membranes. We exploit ZIAPIN2 the trans-cis photoisomerization to develop a molecular viscometer and to assess the viscosity of Escherichia coli bacteria membranes employing time-resolved fluorescence spectroscopy. Lifetime measurements of ZIAPIN2 in E. coli bacteria suspensions correctly indicate that membrane viscosity decreases as the samples were heated up. Our results report a membrane viscosity value in live E. coli cells going from 10 to 5 cP, increasing the temperature from 22 {\deg}C up to 40 {\deg}C.


title: A reconstruction procedure for near horizon extensive air showers based on radio signals

abstract: Very inclined extensive air showers (EAS), with both down-going and up-going trajectories, are particularly targeted by the next generation of extended radio arrays, such as GRAND. Methods to reconstruct the incoming direction, core position, primary energy and composition of showers with these specific geometries, remain to be developed. Towards that goal, we present a new reconstruction procedure based on the arrival times and the amplitudes of the radio signal, measured at each antenna station. This hybrid reconstruction method, harnesses the fact that the emission is observed, at the antenna level, far away from the emission region, thus allowing for a point-like emission description. Thanks to this assumption, the arrival times are modelled following a spherical wavefront emission, which offers the possibility to reconstruct the radio emission zone as a fixed point along the shower axis. From that point the amplitude distribution at the antenna level is described through an Angular Distribution Function (ADF) taking into account at once all geo-magnetic asymmetries and early late effects as well as additional signal asymmetries featured by very inclined EAS. This method shows promising results in terms of arrival direction reconstruction, within the 0.1{\deg} range, even when taking into account experimental uncertainties, and interesting potential for the energy reconstruction and primary composition identification.


title: Bias-Tolerant Fair Classification

abstract: The label bias and selection bias are acknowledged as two reasons in data that will hinder the fairness of machine-learning outcomes. The label bias occurs when the labeling decision is disturbed by sensitive features, while the selection bias occurs when subjective bias exists during the data sampling. Even worse, models trained on such data can inherit or even intensify the discrimination. Most algorithmic fairness approaches perform an empirical risk minimization with predefined fairness constraints, which tends to trade-off accuracy for fairness. However, such methods would achieve the desired fairness level with the sacrifice of the benefits (receive positive outcomes) for individuals affected by the bias. Therefore, we propose a Bias-TolerantFAirRegularizedLoss (B-FARL), which tries to regain the benefits using data affected by label bias and selection bias. B-FARL takes the biased data as input, calls a model that approximates the one trained with fair but latent data, and thus prevents discrimination without constraints required. In addition, we show the effective components by decomposing B-FARL, and we utilize the meta-learning framework for the B-FARL optimization. The experimental results on real-world datasets show that our method is empirically effective in improving fairness towards the direction of true but latent labels.


title: Compactification and decompactification by weights on Bergman spaces

abstract: We characterize the symbols $\Phi$ for which there exists a weight w such that the weighted composition operator M w C $\Phi$ is compact on the weighted Bergman space B 2 $\alpha$. We also characterize the symbols for which there exists a weight w such that M w C $\Phi$ is bounded but not compact. We also investigate when there exists w such that M w C $\Phi$ is Hilbert-Schmidt on B 2 $\alpha$.


title: Dynamical generation of dark-bright solitons through the domain wall of two immiscible Bose-Einstein condensates

abstract: We theoretically investigate the one-dimensional dynamics of a dark soliton in a two-component immiscible mixture of Bose-Einstein condensates with repulsive interactions. We analyze the reflection and transmission of a soliton when it propagates through the domain wall, and we show that a dark-bright soliton can be dynamically generated by the interaction of the dark soliton with the domain wall, outside the regime of parameters where stationary solutions are known to exist. The dynamics of this dark-bright soliton is harmonic like, with a numerical frequency that is in good agreement with the predictions of a semi-analytical model.


title: On antisymmetric infinitesimal conformal bialgebras

abstract: In this paper, we construct a bialgebra theory for associative conformal algebras, namely antisymmetric infinitesimal conformal bialgebras. On the one hand, it is an attempt to give conformal structures for antisymmetric infinitesimal bialgebras. On the other hand, under certain conditions, such structures are equivalent to double constructions of Frobenius conformal algebras, which are associative conformal algebras that are decomposed into the direct sum of another associative conformal algebra and its conformal dual as $\mathbb{C}[\partial]$-modules such that both of them are subalgebras and the natural conformal bilinear form is invariant. The coboundary case leads to the introduction of associative conformal Yang-Baxter equation whose antisymmetric solutions give antisymmetric infinitesimal conformal bialgebras. Moreover, the construction of antisymmetric solutions of associative conformal Yang-Baxter equation is given from $\mathcal{O}$-operators of associative conformal algebras as well as dendriform conformal algebras.


title: On complemented copies of the space $c_0$ in spaces $C_p(X,E)$

abstract: We study the question for which Tychonoff spaces $X$ and locally convex spaces $E$ the space $C_p(X,E)$ of continuous $E$-valued functions on $X$ contains a complemented copy of the space $(c_0)_p=\{x\in\mathbb{R}^\omega\colon x(n)\to0\}$, both endowed with the pointwise topology. We provide a positive answer for a vast class of spaces, extending classical theorems of Cembranos, Freniche, and Doma\'nski and Drewnowski, proved for the case of Banach and Fr\'echet spaces $C_k(X,E)$. Also, for given infinite Tychonoff spaces $X$ and $Y$, we show that $C_p(X,C_p(Y))$ contains a complemented copy of $(c_0)_p$ if and only if any of the spaces $C_p(X)$ and $C_p(Y)$ contains such a subspace.


title: Hierarchical Semantic Segmentation using Psychometric Learning

abstract: Assigning meaning to parts of image data is the goal of semantic image segmentation. Machine learning methods, specifically supervised learning is commonly used in a variety of tasks formulated as semantic segmentation. One of the major challenges in the supervised learning approaches is expressing and collecting the rich knowledge that experts have with respect to the meaning present in the image data. Towards this, typically a fixed set of labels is specified and experts are tasked with annotating the pixels, patches or segments in the images with the given labels. In general, however, the set of classes does not fully capture the rich semantic information present in the images. For example, in medical imaging such as histology images, the different parts of cells could be grouped and sub-grouped based on the expertise of the pathologist. To achieve such a precise semantic representation of the concepts in the image, we need access to the full depth of knowledge of the annotator. In this work, we develop a novel approach to collect segmentation annotations from experts based on psychometric testing. Our method consists of the psychometric testing procedure, active query selection, query enhancement, and a deep metric learning model to achieve a patch-level image embedding that allows for semantic segmentation of images. We show the merits of our method with evaluation on the synthetically generated image, aerial image and histology image.


title: Nominal B\"uchi Automata with Name Allocation

abstract: Infinite words over infinite alphabets serve as models of the temporal development of the allocation and (re-)use of resources over linear time. We approach omega-languages over infinite alphabets in the setting of nominal sets, and study languages of infinite bar strings, i.e. infinite sequences of names that feature binding of fresh names; binding corresponds roughly to reading letters from input words in automata models with registers. We introduce regular nominal nondeterministic B\"uchi automata (B\"uchi RNNAs), an automata model for languages of infinite bar strings, repurposing the previously introduced RNNAs over finite bar strings. Our machines feature explicit binding (i.e. resource-allocating) transitions and process their input via a B\"uchi-type acceptance condition. They emerge from the abstract perspective on name binding given by the theory of nominal sets. As our main result we prove that, in contrast to most other nondeterministic automata models over infinite alphabets, language inclusion of B\"uchi RNNAs is decidable and in fact elementary. This makes B\"uchi RNNAs a suitable tool for applications in model checking.


title: Polarization dependent scattering in cavity optomagnonics

abstract: The polarization dependence of magnon-photon scattering in an optical microcavity is reported. Due to the short cavity length, the mode-matching conditions found in previously explored, large path-length whispering gallery resonators are absent. Nonetheless, for cross-polarized scattering a strong and broadband suppression of one side-band is observed. This arises due to an interference between the Faraday and second-order Cotton-Mouton effects. To fully account for the suppression of the cross-polarized scattering, it is necessary to consider the squeezing of magnon modes intrinsic to thin-film geometry. A co-polarized scattering due to Cotton-Mouton effect is also observed. In addition, the magnon modes involved are identified as Damon-Eshbach surface modes, whose non-reciprocal propagation could be exploited in devices applications. This work experimentally demonstrates the important role of second order Cotton-Mouton effect for optomagnonic devices.


title: FasterPose: A Faster Simple Baseline for Human Pose Estimation

abstract: The performance of human pose estimation depends on the spatial accuracy of keypoint localization. Most existing methods pursue the spatial accuracy through learning the high-resolution (HR) representation from input images. By the experimental analysis, we find that the HR representation leads to a sharp increase of computational cost, while the accuracy improvement remains marginal compared with the low-resolution (LR) representation. In this paper, we propose a design paradigm for cost-effective network with LR representation for efficient pose estimation, named FasterPose. Whereas the LR design largely shrinks the model complexity, yet how to effectively train the network with respect to the spatial accuracy is a concomitant challenge. We study the training behavior of FasterPose, and formulate a novel regressive cross-entropy (RCE) loss function for accelerating the convergence and promoting the accuracy. The RCE loss generalizes the ordinary cross-entropy loss from the binary supervision to a continuous range, thus the training of pose estimation network is able to benefit from the sigmoid function. By doing so, the output heatmap can be inferred from the LR features without loss of spatial accuracy, while the computational cost and model size has been significantly reduced. Compared with the previously dominant network of pose estimation, our method reduces 58% of the FLOPs and simultaneously gains 1.3% improvement of accuracy. Extensive experiments show that FasterPose yields promising results on the common benchmarks, i.e., COCO and MPII, consistently validating the effectiveness and efficiency for practical utilization, especially the low-latency and low-energy-budget applications in the non-GPU scenarios.


title: MuVAM: A Multi-View Attention-based Model for Medical Visual Question Answering

abstract: Medical Visual Question Answering (VQA) is a multi-modal challenging task widely considered by research communities of the computer vision and natural language processing. Since most current medical VQA models focus on visual content, ignoring the importance of text, this paper proposes a multi-view attention-based model(MuVAM) for medical visual question answering which integrates the high-level semantics of medical images on the basis of text description. Firstly, different methods are utilized to extract the features of the image and the question for the two modalities of vision and text. Secondly, this paper proposes a multi-view attention mechanism that include Image-to-Question (I2Q) attention and Word-to-Text (W2T) attention. Multi-view attention can correlate the question with image and word in order to better analyze the question and get an accurate answer. Thirdly, a composite loss is presented to predict the answer accurately after multi-modal feature fusion and improve the similarity between visual and textual cross-modal features. It consists of classification loss and image-question complementary (IQC) loss. Finally, for data errors and missing labels in the VQA-RAD dataset, we collaborate with medical experts to correct and complete this dataset and then construct an enhanced dataset, VQA-RADPh. The experiments on these two datasets show that the effectiveness of MuVAM surpasses the state-of-the-art method.


title: Combined Global and Local Search for Optimization with Gaussian Process Models

abstract: Gaussian process (GP) model based optimization is widely applied in simulation and machine learning. In general, it first estimates a GP model based on a few observations from the true response and then employs this model to guide the search, aiming to quickly locate the global optimum. Despite its successful applications, it has several limitations that may hinder its broader usage. First, building an accurate GP model can be difficult and computationally expensive, especially when the response function is multi-modal or varies significantly over the design space. Second, even with an appropriate model, the search process can be trapped in suboptimal regions before moving to the global optimum due to the excessive effort spent around the current best solution. In this work, we adopt the Additive Global and Local GP (AGLGP) model in the optimization framework. The model is rooted in the inducing-points-based GP sparse approximations and is combined with independent local models in different regions. With these properties, the AGLGP model is suitable for multi-modal responses with relatively large data sizes. Based on this AGLGP model, we propose a Combined Global and Local search for Optimization (CGLO) algorithm. It first divides the whole design space into disjoint local regions and identifies a promising region with the global model. Next, a local model in the selected region is fit to guide detailed search within this region. The algorithm then switches back to the global step when a good local solution is found. The global and local natures of CGLO enable it to enjoy the benefits of both global and local search to efficiently locate the global optimum.


title: Stability and convergence analysis of a domain decomposition FE/FD method for the Maxwell's equations in time domain

abstract: Stability and convergence analysis for the domain decomposition finite element/finite difference (FE/FD) method is presented. The analysis is designed for semi-discrete finite element scheme for the time-dependent Maxwell's equations. The explicit finite element schemes in different settings of the spatial domain are constructed and domain decomposition algorithm is formulated. Several numerical examples validate convergence rates obtained in the theoretical studies.


title: On distributions of velocity random fields in turbulent flows

abstract: The purpose of the present paper is to derive a partial differential equation (PDE) for the single-time single-point probability density function (PDF) of the velocity field of a turbulent flow. The PDF PDE is a highly non-linear parabolic-transport equation, which depends on two conditional statistical numerics of important physical significance. The PDF PDE is a general form of the classical Reynolds mean flow equation, and is a precise formulation of the PDF transport equation. The PDF PDE provides us with a new method for modelling turbulence. An explicit example is constructed, though the example is seemingly artificial, but it demonstrates the PDF method based on the new PDF PDE.


title: Joint Embedding of Structural and Functional Brain Networks with Graph Neural Networks for Mental Illness Diagnosis

abstract: Multimodal brain networks characterize complex connectivities among different brain regions from both structural and functional aspects and provide a new means for mental disease analysis. Recently, Graph Neural Networks (GNNs) have become a de facto model for analyzing graph-structured data. However, how to employ GNNs to extract effective representations from brain networks in multiple modalities remains rarely explored. Moreover, as brain networks provide no initial node features, how to design informative node attributes and leverage edge weights for GNNs to learn is left unsolved. To this end, we develop a novel multiview GNN for multimodal brain networks. In particular, we regard each modality as a view for brain networks and employ contrastive learning for multimodal fusion. Then, we propose a GNN model which takes advantage of the message passing scheme by propagating messages based on degree statistics and brain region connectivities. Extensive experiments on two real-world disease datasets (HIV and Bipolar) demonstrate the effectiveness of our proposed method over state-of-the-art baselines.


title: Rook placements in $G_2$ and $F_4$ and associated coadjoint orbits

abstract: Let $\mathfrak{n}$ be a maximal nilpotent subalgebra of a simple complex Lie algebra with root system $\Phi$. A subset $D$ of the set $\Phi^+$ of positive roots is called a rook placement if it consists of roots with pairwise non-positive scalar products. To each rook placement $D$ and each map $\xi$ from $D$ to the set $\mathbb{C}^{\times}$ of nonzero complex numbers one can naturally assign the coadjoint orbit $\Omega_{D,\xi}$ in the dual space $\mathfrak{n}^*$. By definition, $\Omega_{D,\xi}$ is the orbit of $f_{D,\xi}$, where $f_{D,\xi}$ is the sum of root covectors $e_{\alpha}^*$ multiplied by $\xi(\alpha)$, $\alpha\in D$. (In fact, almost all coadjoint orbits studied at the moment have such a form for certain $D$ and $\xi$.) It follows from the results of Andr\`e that if $\xi_1$ and $\xi_2$ are distinct maps from $D$ to $\mathbb{C}^{\times}$ then $\Omega_{D,\xi_1}$ and $\Omega_{D,\xi_2}$ do not coincide for classical root systems $\Phi$. We prove that this is true if $\Phi$ is of type $G_2$, or if $\Phi$ is of type $F_4$ and $D$ is orthogonal.


title: The topological invariants of rotationally symmetric crystals

abstract: Recent formal classifications of crystalline topological insulators predict that the combination of time-reversal and rotational symmetry gives rise to topological invariants beyond the ones known for other lattice symmetries. Although the classification proves their existence, it does not indicate a way of calculating the values of those invariants. Here, we show that a specific set of concentric Wilson loops and line invariants yields the values of all topological invariants in two-dimensional systems with pure rotation symmetry in class AII. Examples of this analysis are given for specific models with two-fold and three-fold rotational symmetry. We find new invariants that relate to the presence of higher-order topology and corner charges.


title: Study of coherent $J/\psi$ production in lead-lead collisions at $\sqrt{s_{NN}} = 5 TeV$

abstract: Coherent production of $J/\psi$ mesons is studied in ultraperipheral lead-lead collisions at a nucleon-nucleon centre-of-mass energy of 5 TeV, using a data sample collected by the LHCb experiment corresponding to an integrated luminosity of about $10 \mu b^{-1}$. The $J/\psi$ mesons are reconstructed in the dimuon final state and are required to have transverse momentum below 1 GeV. The cross-section within the rapidity range of $2.0 < y < 4.5$ is measured to be $4.45\pm0.24\pm0.18\pm0.58$ mb, where the first uncertainty is statistical, the second systematic and the third originates from the luminosity determination. The cross-section is also measured in $J/\psi$ rapidity intervals. The results are compared to predictions from phenomenological models.