title: Novel boron nitride polymorphs with graphite-diamond hybrid structure

abstract: Both boron nitride (BN) and carbon (C) have sp, sp2 and sp3 hybridization modes, and thus resulting in a variety of BN and C polymorphs with similar structures, such as hexagonal BN (hBN) and graphite, cubic BN (cBN) and diamond. Here, five types of BN polymorph structures were proposed theoretically, inspired by the graphite-diamond hybrid structures discovered in recent experiment. These BN polymorphs with graphite-diamond hybrid structures possessed excellent mechanical properties with combined high hardness and high ductility, and also exhibited various electronic properties such as semi-conductivity, semi-metallicity, and even one- and two-dimensional conductivity, differing from known insulators hBN and cBN. The simulated diffraction patterns of these BN hybrid structures could account for the unsolved diffraction patterns of intermediate products composed of "compressed hBN" and diamond-like BN, caused by phase transitions in previous experiments. Thus, this work provides a theoretical basis for the presence of these types of hybrid materials during phase transitions between graphite-like and diamond-like BN polymorphs.


title: Contrastive Learning of Semantic and Visual Representations for Text Tracking

abstract: Semantic representation is of great benefit to the video text tracking(VTT) task that requires simultaneously classifying, detecting, and tracking texts in the video. Most existing approaches tackle this task by appearance similarity in continuous frames, while ignoring the abundant semantic features. In this paper, we explore to robustly track video text with contrastive learning of semantic and visual representations. Correspondingly, we present an end-to-end video text tracker with Semantic and Visual Representations(SVRep), which detects and tracks texts by exploiting the visual and semantic relationships between different texts in a video sequence. Besides, with a light-weight architecture, SVRep achieves state-of-the-art performance while maintaining competitive inference speed. Specifically, with a backbone of ResNet-18, SVRep achieves an ${\rm ID_{F1}}$ of $\textbf{65.9\%}$, running at $\textbf{16.7}$ FPS, on the ICDAR2015(video) dataset with $\textbf{8.6\%}$ improvement than the previous state-of-the-art methods.


title: Observation of large and all-season ozone losses over the tropics

abstract: This paper reveals a large and all-season ozone hole in the lower stratosphere over the tropics (30degN-30degS) since the 1980s, where an O3 hole is defined as an area of O3 loss larger than 25% compared with the undisturbed atmosphere. The depth of this tropical O3 hole is comparable to that of the well-known springtime Antarctic O3 hole, whereas its area is about seven times that of the latter. Similar to the Antarctic O3 hole, approximately 80% of the normal O3 value is depleted at the center of the tropical O3 hole. The results strongly indicate that both Antarctic and tropical O3 holes must arise from an identical physical mechanism, for which the cosmic-ray-driven electron reaction (CRE) model shows good agreements with observations. The whole-year large tropical O3 hole could cause a serious global concern as it can lead to increases in ground-level ultraviolet radiation and affect 50% of Earth's surface area, home to approximately 50% of the world's population. Moreover, the presence of the tropical and polar O3 holes is equivalent to the formation of three 'temperature holes' observed in the stratosphere. These findings will have significances in understanding planetary physics, ozone depletion, climate change, and human health.


title: Thermodynamics of Einstein-Aether Black Holes

abstract: We analyze several spherically symmetric exterior vacuum solutions allowed by the Einstein-Aether (EA) theory with a non static aether and study the thermodynamics of their Killing and universal horizons. We show that there are five classes of solutions corresponding to different values of a combination of the free parameters, $c_{2}$, $c_{13}=c_1+c_3$ and $c_{14}=c_1+c_4$, which are: (A) $c_2 \ne 0$ and $c_{13} \ne 0$ and $c_{14}=0$, (B) $c_2 \ne 0$ and $c_{13} = 0$ and $c_{14} = 0$, (C) $c_2 = 0$ and $c_{13} \ne 0$ and $c_{14} = 0$, (D) $c_2 = 0$, $c_{13} = 0$ and $c_{14} \ne 0$, and (E) $c_2 = - c_{13} \ne 0$ and $c_{14} \ne 0$. We present explicit analytical solutions for these five cases. All these cases have singularities at $r=0$ and are asymptotically flat spacetimes and possess both Killing and universal horizons with the universal horizons always being inside the Killing horizons. Finally, we compute the surface gravity, the temperature, the entropy and the first law of thermodynamics for the universal horizons.


title: Geometry of a Set and its Random covers

abstract: Let $E$ be a bounded open subset of $\mathbb{R}^n$. We study the following questions: For i.i.d. samples $X_1, \dots, X_N$ drawn uniformly from $E$, what is the probability that $\cup_i \mathbf{B}(X_i, \delta)$, the union of $\delta$-balls centered at $X_i$, covers $E$? And how does the probability depend on sample size $N$ and the radius of balls $\delta$? We present geometric conditions of $E$ under which we derive lower bounds to this probability. These lower bounds tend to $1$ as a function of $\exp{(-\delta^n N)}$. The basic tool that we use to derive the lower bounds is a good partition of $E$, i.e., one whose partition elements have diameters that are uniformly bounded from above and have volumes that are uniformly bounded from below. We show that if $E^c$, the complement of $E$, has positive reach then we can construct a good partition of $E$. This partition is motivated by the Whitney decomposition of $E$. On the other hand, we identify a class of bounded open subsets of $\mathbb{R}^n$ that do not satisfy this positive reach condition but do have good partitions. In 2D when $E^c\subset \mathbb{R}^2$ does not have positive reach, we show that the mutliscale flat norm can be used to approximate $E$ with a set that has a good partition under certain conditions. In this case, we provide a lower bound on the probability that the union of the balls almost covers $E$.


title: Efficiently Enumerating Scaled Copies of Point Set Patterns

abstract: Problems on repeated geometric patterns in finite point sets in Euclidean space are extensively studied in the literature of combinatorial and computational geometry. Such problems trace their inspiration to Erd\H{o}s' original work on that topic. In this paper, we investigate the particular case of finding scaled copies of any pattern within a set of $n$ points, that is, the algorithmic task of efficiently enumerating all such copies. We initially focus on one particularly simple pattern of axis-parallel squares, and present an algorithm with an $O(n\sqrt{n})$ running time and $O(n)$ space for this task, involving various bucket-based and sweep-line techniques. Our algorithm is worst-case optimal, as it matches the known lower bound of $\Omega(n\sqrt{n})$ on the maximum number of axis-parallel squares determined by $n$ points in the plane, thereby solving an open question for more than three decades of realizing that bound for this pattern. We extend our result to an algorithm that enumerates all copies, up to scaling, of any full-dimensional fixed set of points in $d$-dimensional Euclidean space, that works in time $O(n^{1+1/d})$ and space $O(n)$, also matching the corresponding lower bound due to Elekes and Erd\H{o}s.


title: Realization of Heisenberg models of spin systems with polar molecules in pendular states

abstract: We show that ultracold polar diatomic or linear molecules, oriented in an external electric field and mutually coupled by dipole-dipole interactions, can be used to realize the exact Heisenberg XYZ, XXZ and XY models without invoking any approximation. The two lowest lying excited pendular states coupled by microwave or radio-frequency fields are used to encode the pseudo-spin. We map out the general features of the models by evaluating the models' constants as functions of the molecular dipole moment, rotational constant, strength and direction of the external field as well as the distance between molecules. We calculate the phase diagram for a linear chain of polar molecules based on the Heisenberg models and discuss their drawbacks, advantages, and potential applications.


title: Phase evolution and enhanced room temperature piezoelectric properties response of lead-free Ru doped BaTiO3 ceramic

abstract: Recent years have witnessed considerable work on the development of lead-free piezoelectric ceramic materials and their structure-property correlations. The development of piezo response is a strong function of phase evolution in these materials. In this work, we report the effect of Ru doping and consequent phase evolution on maximization of piezoelectric response of polycrystalline lead-free barium titanate, depicted as Ba(RuxTi1-x)O3 (BRT). The samples were prepared in a narrow compositional range of using conventional solid-state reaction method. Ru doping increases the leakage current of BaTiO3 samples attributed to increased oxygen vacancy concentration due to substitution of Ti4+ by Ru3+. Detailed structural analysis reveals samples exhibiting coexistence of tetragonal (space group: P4mm) and orthorhombic (space group: Amm2) structured phases near the room temperature reveal relatively enhanced piezoelectric properties. The BRT sample with Ru content of 2 mol% yields a maximum longitudinal piezoelectric coefficient, d33 of 269 pC/N, a high strain value of 0.16% with a large remnant polarization of 19 micro C/cm2 and a coercive field of 5.8 kV/cm. We propose that the 4d orbital of Ruthenium plays a crucial role in improving the functional properties and in decreasing the ferroelectric Curie temperature (Tc). Our work provides clues into tailoring the phase evolution for designing lead-free piezoelectric materials with enhanced piezoelectric property.


title: Exploring the pattern of Emotion in children with ASD as an early biomarker through Recurring-Convolution Neural Network (R-CNN)

abstract: Autism Spectrum Disorder (ASD) is found to be a major concern among various occupational therapists. The foremost challenge of this neurodevelopmental disorder lies in the fact of analyzing and exploring various symptoms of the children at their early stage of development. Such early identification could prop up the therapists and clinicians to provide proper assistive support to make the children lead an independent life. Facial expressions and emotions perceived by the children could contribute to such early intervention of autism. In this regard, the paper implements in identifying basic facial expression and exploring their emotions upon a time variant factor. The emotions are analyzed by incorporating the facial expression identified through CNN using 68 landmark points plotted on the frontal face with a prediction network formed by RNN known as RCNN-FER system. The paper adopts R-CNN to take the advantage of increased accuracy and performance with decreased time complexity in predicting emotion as a textual network analysis. The papers proves better accuracy in identifying the emotion in autistic children when compared over simple machine learning models built for such identifications contributing to autistic society.


title: Quenched linear response for smooth expanding on average cocycles

abstract: We establish an abstract quenched linear response result for random dynamical systems, which we then apply to the case of smooth expanding on average cocycles on the unit circle. In sharp contrast to the existing results in the literature, we deal with the class of random dynamics that does not necessarily exhibit uniform decay of correlations. Our techniques rely on the infinite-dimensional ergodic theory and in particular, on the study of the top Oseledets space of a parametrized transfer operator cocycle.


title: THE Benchmark: Transferable Representation Learning for Monocular Height Estimation

abstract: Generating 3D city models rapidly is crucial for many applications. Monocular height estimation is one of the most efficient and timely ways to obtain large-scale geometric information. However, existing works focus primarily on training and testing models using unbiased datasets, which does not align well with real-world applications. Therefore, we propose a new benchmark dataset to study the transferability of height estimation models in a cross-dataset setting. To this end, we first design and construct a large-scale benchmark dataset for cross-dataset transfer learning on the height estimation task. This benchmark dataset includes a newly proposed large-scale synthetic dataset, a newly collected real-world dataset, and four existing datasets from different cities. Next, a new experimental protocol, few-shot cross-dataset transfer, is designed. Furthermore, in this paper, we propose a scale-deformable convolution module to enhance the window-based Transformer for handling the scale-variation problem in the height estimation task. Experimental results have demonstrated the effectiveness of the proposed methods in the traditional and cross-dataset transfer settings. The datasets and codes are publicly available at https://mediatum.ub.tum.de/1662763 and https://thebenchmarkh.github.io/.


title: Ordering through learning in two-dimensional Ising spins

abstract: We study two-dimensional Ising spins, evolving through reinforcement learning using their state, action, and reward. The state of a spin is defined as whether it is in the majority or minority with its nearest neighbours. The spin updates its state using an {\epsilon}-greedy algorithm. The parameter {\epsilon} plays the role equivalent to the temperature in the Ising model. We find a phase transition from long-ranged ordered to a disordered state as we tune {\epsilon} from small to large values. In analogy with the phase transition in the Ising model, we calculate the critical {\epsilon} and the three critical exponents {\beta}, {\gamma}, {\nu} of magnetization, susceptibility, and correlation length, respectively. A hyper-scaling relation d{\nu} = 2{\beta} + {\gamma} is obtained between the three exponents. The system is studied for different learning rates. The exponents approach the exact values for two-dimensional Ising model for lower learning rates.


title: The generalized Hopf invariant and four-fold Toda brackets

abstract: We give two formulas for the generalized Hopf invariant and 4-fold Toda brackets which are useful in computations of homotopy groups of spheres.


title: Deniable Encryption in a Quantum World

abstract: (Sender-)Deniable encryption provides a very strong privacy guarantee: a sender who is coerced by an attacker into "opening" their ciphertext after-the-fact is able to generate "fake" local random choices that are consistent with any plaintext of their choice. The only known fully-efficient constructions of public-key deniable encryption rely on indistinguishability obfuscation (iO) (which currently can only be based on sub-exponential hardness assumptions). In this work, we study (sender-)deniable encryption in a setting where the encryption procedure is a quantum algorithm, but the ciphertext is classical. First, we propose a quantum analog of the classical definition in this setting. We give a fully efficient construction satisfying this definition, assuming the quantum hardness of the Learning with Errors (LWE) problem. Second, we show that quantum computation unlocks a fundamentally stronger form of deniable encryption, which we call perfect unexplainability. The primitive at the heart of unexplainability is a quantum computation for which there is provably no efficient way, such as exhibiting the "history of the computation", to establish that the output was indeed the result of the computation. We give a construction which is secure in the random oracle model, assuming the quantum hardness of LWE. Crucially, this notion implies a form of protection against coercion "before-the-fact", a property that is impossible to achieve classically.


title: Amorphous Selenium Mie Resonators for Infrared Meta-Optics

abstract: Applying direct growth and deposition of optical surfaces holds great promise for the advancement of future nanophotonic technologies. Here, we report on a chemical vapor deposition (CVD) technique for depositing amorphous selenium (a-Se) spheres by desorption of selenium from Bi2Se3 and re-adsorption on the substrate. We utilize this process to grow scalable, large area Se spheres on several substrates and characterize their Mie-resonant response in the mid-infrared (MIR) spectral range. We demonstrate size-tunable Mie resonances spanning the 2-16 um spectral range, for single isolated resonators and large area ensembles, respectively. We further demonstrate strong absorption dips of up to 90% in ensembles of particles in a broad MIR range. Finally, we show that ultra-high-Q resonances arise in the case where Se Mie-resonators are coupled to low-loss epsilon-near-zero (ENZ) substrates. These findings demonstrate the enabling potential of amorphous Selenium as a versatile and tunable nanophotonic material that may open up avenues for on-chip MIR spectroscopy, chemical sensing, spectral imaging and large area metasurface fabrication.


title: Position measurement of a levitated nanoparticle via interference with its mirror image

abstract: Interferometric methods for detecting the motion of a levitated nanoparticle provide a route to the quantum ground state, but such methods are currently limited by mode mismatch between the reference beam and the dipolar field scattered by the particle. Here we demonstrate a self-interference method to detect the particle's motion that solves this problem. A Paul trap confines a charged dielectric nanoparticle in high vacuum, and a mirror retro-reflects the scattered light. We measure the particle's motion with a sensitivity of $1.7\times 10^{-12} \text{m}/\sqrt{\text{Hz}}$, corresponding to a detection efficiency of 2.1%, with a numerical aperture of 0.18. As an application of this method, we cool the particle, via feedback, to temperatures below those achieved in the same setup using a standard position measurement.


title: Majorana chiral spin liquid in Mott insulating cuprates

abstract: The large thermal Hall conductivity recently detected in Mott insulating cuprates has been attributed to chiral neutral spin excitations. A quantum spin liquid with Majorana excitations, Chern number +/-4 and large thermal Hall conductivity is found to be an excited state of a frustrated Heisenberg model on the square lattice. Using a Majorana mean-field theory and exact diagonalizations, we explore two possible routes to achieve this chiral quantum spin liquid, an orbital effect of an applied magnetic field and spin orbit couplings as present in cuprates. In particular, we show how only the orbital magnetic field allows this topological phase to be the ground state, while it remains an excited state of the Majorana mean field under the Dzyaloshinskii-Moriya terms. We interpret the large thermal Hall effect observed in Mott cuprates from their close proximity to a transition to a Majorana chiral quantum spin liquid which can be induced by an external magnetic field.


title: Finite solvable groups with a nilpotent normal complement subgroup

abstract: Let $G$ be a finite solvable group and $H$ a non-normal core-free subgroup of $G$. We show that if the normalizer of any non-trivial normal subgroup of $Fit(H)$ is equal $H$, then $H$ has a nilpotent normal complement $K$ such that $G=KH$ and $KZ(Fit(H))$ is a Frobenius group.


title: An unstructured CD-grid variational formulation for sea ice dynamics

abstract: For the numerical simulation of earth system models, Arakawa grids are largely employed. A quadrilateral mesh is assumed for their classical definition, and different types of grids are identified depending on the location of the discretized quantities. The B-grid has both velocity components at the center of a cell, the C-grid places the velocity components on the edges in a staggered fashion, and the D-grid is a ninety-degree rotation of a C-grid. Historically, B-grid formulations of sea ice dynamics have been dominant because they have matched the grid type used by ocean models. In recent years, as ocean models have increasingly progressed to C-grids, sea ice models have followed suit on quadrilateral meshes, but few if any implementations of unstructured C-grid sea ice models have been developed. In this work, we present an unstructured CD-grid type formulation of the elastic-viscous-plastic rheology, where the velocity unknowns are located at the edges, rather than at the vertices, as in the B-grid. The notion of a CD-grid has been recently introduced and assumes that the velocity components are co-located at the edges. The mesh cells in our analysis have $n$ sides, with $n$ greater than or equal to four. Numerical results are included to investigate the features of the proposed method. Our framework of choice is the Model for Prediction Across Scales (MPAS) within E3SM, the climate model of the U.S. Department of Energy, although our approach is general and could be applied to other models as well. While MPAS-Seaice is currently defined on a B-grid, MPAS-Ocean runs on a C-grid, hence interpolation operators are heavily used when coupled simulations are performed. The discretization introduced here aims at transitioning the dynamics of MPAS-Seaice to a CD-grid, to ultimately facilitate improved coupling with MPAS-Ocean and reduce numerical errors associated with this communication.


title: Soundness in Object-centric Workflow Petri Nets

abstract: Recently introduced Petri net-based formalisms advocate the importance of proper representation and management of case objects as well as their co-evolution. In this work we build on top of one of such formalisms and introduce the notion of soundness for it. We demonstrate that for nets with non-deterministic synchronization between case objects, the soundness problem is decidable.


title: General and Feasible Tests with Multiply-Imputed Datasets

abstract: Multiple imputation (MI) is a technique especially designed for handling missing data in public-use datasets. It allows analysts to perform incomplete-data inference straightforwardly by using several already imputed datasets released by the dataset owners. However, the existing MI tests require either a restrictive assumption on the missing-data mechanism, known as equal odds of missing information (EOMI), or an infinite number of imputations. Some of them also require analysts to have access to restrictive or non-standard computer subroutines. Besides, the existing MI testing procedures cover only Wald's tests and likelihood ratio tests but not Rao's score tests, therefore, these MI testing procedures are not general enough. In addition, the MI Wald's tests and MI likelihood ratio tests are not procedurally identical, so analysts need to resort to distinct algorithms for implementation. In this paper, we propose a general MI procedure, called stacked multiple imputation (SMI), for performing Wald's tests, likelihood ratio tests and Rao's score tests by a unified algorithm. SMI requires neither EOMI nor an infinite number of imputations. It is particularly feasible for analysts as they just need to use a complete-data testing device for performing the corresponding incomplete-data test.


title: An Extension of Trakhtenbrot's Theorem

abstract: The celebrated Trakhtenbrot's theorem states that the set of finitely valid sentences of first-order logic is not computably enumerable. In this note we will extend this theorem by proving that the finite satisfiability problem of any fragment of first-order logic is RE-complete, as long as it has an effective syntax, it is equi-expressive with first-order logic over finite models and it is effectively closed under conjunction.


title: OGLE-2014-BLG-0319: A Sub-Jupiter-Mass Planetary Event Encountered Degeneracy with Different Mass Ratios and Lens-Source Relative Proper Motions

abstract: We report the discovery of a sub-Jovian-mass planet, OGLE-2014-BLG-0319Lb. The characteristics of this planet will be added into a future extended statistical analysis of the Microlensing Observations in Astrophysics (MOA) collaboration. The planetary anomaly of the light curve is characterized by MOA and OGLE survey observations and results in three degenerate models with different planetary mass-ratios of $q=(10.3,6.6,4.5)\times10^{-4}$, respectively. We find that the last two models require unreasonably small lens-source relative proper motions of $\mu_{\rm rel}\sim1\;{\rm mas/yr}$. Considering Galactic prior probabilities, we rule out these two models from the final result. We conduct a Bayesian analysis to estimate physical properties of the lens system using a Galactic model and find that the lens system is composed of a $0.49^{+0.35}_{-0.27}\;M_{\rm Jup}$ sub-Jovian planet orbiting a $0.47^{+0.33}_{-0.25}\; M_{\odot}$ M-dwarf near the Galactic bulge. This analysis demonstrates that Galactic priors are useful to resolve this type of model degeneracy. This is important for estimating the mass ratio function statistically. However, this method would be unlikely successful in shorter timescale events, which are mostly due to low-mass objects, like brown dwarfs or free-floating planets. Therefore, careful treatment is needed for estimating the mass ratio function of the companions around such low-mass hosts which only the microlensing can probe.


title: Optimal control of a quantum sensor: A fast algorithm based on an analytic solution

abstract: Quantum sensors can show unprecedented sensitivities, provided they are controlled in a very specific, optimal way. Here, we consider a spin sensor of time-varying fields in the presence of dephasing noise, and we show that the problem of finding the pulsed control field that optimizes the sensitivity (i.e., the smallest detectable signal) can be mapped to the determination of the ground state of a spin chain. We find an approximate but analytic solution of this problem, which provides a \emph{lower bound} for the sensitivity and a pulsed control very close to optimal, which we further use as initial guess for realizing a fast simulated annealing algorithm. We experimentally demonstrate the sensitivity improvement for a spin-qubit magnetometer based on a nitrogen-vacancy center in diamond.


title: On weakly coupled systems of partial differential equations with different diffusion terms

abstract: We prove maximal Schauder regularity for solutions to elliptic systems and Cauchy problems, in the space $C_b(\mathbb{R}^d;\mathbb{R}^m)$ of bounded and continuous functions, associated to a class of nonautonomous weakly coupled second-order elliptic operators $\bf{\mathcal A}$, with possibly unbounded coefficients and diffusion and drift terms which vary from equation to equation. We also provide estimates of the spatial derivatives up to the third-order and continuity properties both of the evolution operator ${\bf G}(t,s)$ associated to the Cauchy problem $D_t{\bf u}=\bf{\mathcal A}(t){\bf u}$ in $C_b(\mathbb{R}^d;\mathbb{R}^m)$, and, for fixed $\overline t$, of the semigroup ${\bf T}_{\overline t}(\tau)$ associated to the autonomous Cauchy problem $D_{\tau}{\bf u}={\bf{\mathcal A}}(\overline t){\bf u}$ in $C_b(\mathbb{R}^d;\mathbb{R}^m)$. These results allow us to deal with elliptic problems whose coefficients also depend on time.


title: On a locally compact monoid of cofinite partial isometries of $\mathbb{N}$ with adjoined zero

abstract: Let $\mathscr{C}_\mathbb{N}$ be a monoid which is generated by the partial shift $\alpha\colon n\mapsto n+1$ of the set of positive integers $\mathbb{N}$ and its inverse partial shift $\beta\colon n+1\mapsto n$. In this paper we prove that if $S$ is a submonoid of the monoid $\mathbf{I}\mathbb{N}_{\infty}$ of all partial cofinite isometries of positive integers which contains $\mathscr{C}_\mathbb{N}$ as a submonoid then every Hausdorff locally compact shift-continuous topology on $S$ with adjoined zero is either compact or discrete. Also we show that the similar statement holds for a locally compact semitopological semigroup $S$ with an adjoined compact ideal.


title: Circuit-Free General-Purpose Multi-Party Computation via Co-Utile Unlinkable Outsourcing

abstract: Multiparty computation (MPC) consists in several parties engaging in joint computation in such a way that each party's input and output remain private to that party. Whereas MPC protocols for specific computations have existed since the 1980s, only recently general-purpose compilers have been developed to allow MPC on arbitrary functions. Yet, using today's MPC compilers requires substantial programming effort and skill on the user's side, among other things because nearly all compilers translate the code of the computation into a Boolean or arithmetic circuit. In particular, the circuit representation requires unrolling loops and recursive calls, which forces programmers to (often manually) define loop bounds and hardly use recursion. We present an approach allowing MPC on an arbitrary computation expressed as ordinary code with all functionalities that does not need to be translated into a circuit. Our notion of input and output privacy is predicated on unlinkability. Our method leverages co-utile computation outsourcing using anonymous channels via decentralized reputation, makes a minimalistic use of cryptography and does not require participants to be honest-but-curious: it works as long as participants are rational (self-interested), which may include rationally malicious peers (who become attackers if this is advantageous to them). We present example applications, including e-voting. Our empirical work shows that reputation captures well the behavior of peers and ensures that parties with high reputation obtain correct results.


title: Toward Trainability of Deep Quantum Neural Networks

abstract: Quantum Neural Networks (QNNs) with random structures have poor trainability due to the exponentially vanishing gradient as the circuit depth and the qubit number increase. This result leads to a general belief that a deep QNN will not be feasible. In this work, we provide the first viable solution to the vanishing gradient problem for deep QNNs with theoretical guarantees. Specifically, we prove that for circuits with controlled-layer architectures, the expectation of the gradient norm can be lower bounded by a value that is independent of the qubit number and the circuit depth. Our results follow from a careful analysis of the gradient behaviour on parameter space consisting of rotation angles, as employed in almost any QNNs, instead of relying on impractical 2-design assumptions. We explicitly construct examples where only our QNNs are trainable and converge, while others in comparison cannot.


title: Optimal Difference-based Variance Estimators in Time Series: A General Framework

abstract: Variance estimation is important for statistical inference. It becomes non-trivial when observations are masked by serial dependence structures and time-varying mean structures. Existing methods either ignore or sub-optimally handle these nuisance structures. This paper develops a general framework for the estimation of the long-run variance for time series with non-constant means. The building blocks are difference statistics. The proposed class of estimators is general enough to cover many existing estimators. Necessary and sufficient conditions for consistency are investigated. The first asymptotically optimal estimator is derived. Our proposed estimator is theoretically proven to be invariant to arbitrary mean structures, which may include trends and a possibly divergent number of discontinuities.


title: Spin Torque Oscillations Triggered by In-plane Field

abstract: We study the dynamics of a spin torque nano oscillator that consists of parallelly magnetized free and pinned layers by numerically solving the associated Landau-Lifshitz-Gilbert-Slonczewski equation in the presence of a field-like torque. We observe that an in-plane magnetic field which is applied for a short interval of time ($<$1ns) triggers the magnetization to exhibit self-oscillations from low energy initial magnetization state. Also, we confirm that the frequency of oscillations can be tuned over the range $\sim$25 GHz to $\sim$72 GHz by current, even in the absence of field-like torque. We find the frequency enhancement up to 10 GHz by the presence of field-like torque. We determine the Q-factor for different frequencies and show that it increases with frequency. Our analysis with thermal noise confirms that the system is stable against thermal noise and the dynamics is not altered appreciably by it.


title: The Principle of Linearized Stability in Age-Structured Diffusive Populations

abstract: The principle of linearized stability is established for age-structured diffusive populations incorporating nonlinear death and birth processes. More precisely, asymptotic exponential stability is shown for equilibria for which the semigroup associated with the linearization at the equiblibrium has a negative growth bound. The result is derived in an abstract framework and applied in concrete situations.


title: Using Mobility Patterns for the Planning of Vehicle-to-Grid Infrastructures that Support Photovoltaics in Cities

abstract: The vehicle-to-grid (V2G) concept utilises electric vehicles as distributed energy storage and thus may help to balance out the intermittent availability of renewable energy sources such as photovoltaics. V2G is therefore considered to play an important role for achieving low-carbon energy and transportation systems in cities. However, the adequate planning of city-wide V2G infrastructures requires detailed knowledge of the aggregate mobility patterns of individuals and also needs to keep track with ongoing developments of urban transportation modes. Here, we introduce an initial framework that infers population-wide mobility patterns from anonymised mobile phone location data and subsequently superimposes a vehicle charging and discharging scheme. The framework allows for the estimation of the aggregate V2G energy supply and demand at fine-grained spatial and temporal scales under a given electric vehicle usage scenario. This information provides an adequate basis for assessing the role of V2G in the context of maximising the deployment of photovoltaics, as well as for the sizing and placement of the required vehicle (dis)charging infrastructure. The proposed framework is applied to Singapore as a case study.


title: Realizing Kagome Band Structure in Two-Dimensional Kagome Surface States of $RV_{6}Sn_{6}$ ($R$=Gd,Ho)

abstract: We report angle resolved photoemission experiments on a newly discovered family of kagome metals $RV_{6}Sn_{6}$ ($R$=Gd, Ho). Intrinsic bulk states and surface states of the vanadium kagome layer are differentiated from those of other atomic sublattices by the real-space resolution of the measurements with a small beam spot. Characteristic Dirac cone, saddle point and flat bands of the kagome lattice are observed. Our results establish the two-dimensional (2D) kagome surface states as a new platform to investigate the intrinsic kagome physics.


title: Simulation of the Geometrically Exact Nonlinear String via Energy Quadratisation

abstract: String vibration represents an active field of research in acoustics. Small-amplitude vibration is often assumed, leading to simplified physical models that can be simulated efficiently. However, the inclusion of nonlinear phenomena due to larger string stretchings is necessary to capture important features, and efficient numerical algorithms are currently lacking in this context. Of the available techniques, many lead to schemes which may only be solved iteratively, resulting in high computational cost, and the additional concerns of existence and uniqueness of solutions. Slow and fast waves are present concurrently in the transverse and longitudinal directions of motion, adding further complications concerning numerical dispersion. This work presents a linearly-implicit scheme for the simulation of the geometrically exact nonlinear string model. The scheme conserves a numerical energy, expressed as the sum of quadratic terms only, and including an auxiliary state variable yielding the nonlinear effects. This scheme allows to treat the transverse and longitudinal waves separately, using a mixed finite difference/modal scheme for the two directions of motion, thus allowing to accurately resolve the wave speeds at reference sample rates. Numerical experiments are presented throughout.


title: Knowledge Matters: Radiology Report Generation with General and Specific Knowledge

abstract: Automatic radiology report generation is critical in clinics which can relieve experienced radiologists from the heavy workload and remind inexperienced radiologists of misdiagnosis or missed diagnose. Existing approaches mainly formulate radiology report generation as an image captioning task and adopt the encoder-decoder framework. However, in the medical domain, such pure data-driven approaches suffer from the following problems: 1) visual and textual bias problem; 2) lack of expert knowledge. In this paper, we propose a knowledge-enhanced radiology report generation approach introduces two types of medical knowledge: 1) General knowledge, which is input independent and provides the broad knowledge for report generation; 2) Specific knowledge, which is input dependent and provides the fine-grained knowledge for report generation. To fully utilize both the general and specific knowledge, we also propose a knowledge-enhanced multi-head attention mechanism. By merging the visual features of the radiology image with general knowledge and specific knowledge, the proposed model can improve the quality of generated reports. Experimental results on two publicly available datasets IU-Xray and MIMIC-CXR show that the proposed knowledge enhanced approach outperforms state-of-the-art image captioning based methods. Ablation studies also demonstrate that both general and specific knowledge can help to improve the performance of radiology report generation.


title: On the mass of the glueballonium

abstract: According to lattice simulations and other theoretical approaches, the scalar glueball is the lightest state in the Yang-Mills sector of QCD. Since within this sector the scalar glueball is stable, the scattering between two glueballs is a well-defined process. Moreover, a glueball-glueball bound state, called glueballonium, might exist if the attraction turns out to be large enough. In this work, we concentrate on the formation of the glueballonium in the context of the dilaton potential. In particular, we investigate the parameter values for which such a glueballonium emerges.


title: Radiology Report Generation with a Learned Knowledge Base and Multi-modal Alignment

abstract: In clinics, a radiology report is crucial for guiding a patient's treatment. However, writing radiology reports is a heavy burden for radiologists. To this end, we present an automatic, multi-modal approach for report generation from a chest x-ray. Our approach, motivated by the observation that the descriptions in radiology reports are highly correlated with specific information of the x-ray images, features two distinct modules: (i) Learned knowledge base: To absorb the knowledge embedded in the radiology reports, we build a knowledge base that can automatically distil and restore medical knowledge from textual embedding without manual labour; (ii) Multi-modal alignment: to promote the semantic alignment among reports, disease labels, and images, we explicitly utilize textual embedding to guide the learning of the visual feature space. We evaluate the performance of the proposed model using metrics from both natural language generation and clinic efficacy on the public IU-Xray and MIMIC-CXR datasets. Our ablation study shows that each module contributes to improving the quality of generated reports. Furthermore, with the assistance of both modules, our approach outperforms state-of-the-art methods over almost all the metrics.


title: Investigating Pose Representations and Motion Contexts Modeling for 3D Motion Prediction

abstract: Predicting human motion from historical pose sequence is crucial for a machine to succeed in intelligent interactions with humans. One aspect that has been obviated so far, is the fact that how we represent the skeletal pose has a critical impact on the prediction results. Yet there is no effort that investigates across different pose representation schemes. We conduct an indepth study on various pose representations with a focus on their effects on the motion prediction task. Moreover, recent approaches build upon off-the-shelf RNN units for motion prediction. These approaches process input pose sequence sequentially and inherently have difficulties in capturing long-term dependencies. In this paper, we propose a novel RNN architecture termed AHMR (Attentive Hierarchical Motion Recurrent network) for motion prediction which simultaneously models local motion contexts and a global context. We further explore a geodesic loss and a forward kinematics loss for the motion prediction task, which have more geometric significance than the widely employed L2 loss. Interestingly, we applied our method to a range of articulate objects including human, fish, and mouse. Empirical results show that our approach outperforms the state-of-the-art methods in short-term prediction and achieves much enhanced long-term prediction proficiency, such as retaining natural human-like motions over 50 seconds predictions. Our codes are released.


title: On a matrix element representation of special functions associated with toric varieties

abstract: We develop representation theory approach to the study of special functions associated with toric varieties. In particular we show that the corresponding special functions are given by matrix elements of certain non-reductive Lie algebras


title: Geometry of solutions to the c-projective metrizability equation

abstract: On an almost complex manifold, a quasi-K\"{a}hler metric, with canonical connection in the c-projective class of a given minimal complex connection, is equivalent to a non-degenerate solution of the c-projectively invariant metrizability equation. For this overdetermined equation, replacing this maximal rank condition on solutions with a nondegeneracy condition on the prolonged system yields a strictly wider class of solutions with non-vanishing (generalized) scalar curvature. We study the geometries induced by this class of solutions. For each solution, the strict point-wise signature partitions the underlying manifold into strata, in a manner that generalizes the model, a certain Lie group orbit decomposition of $\mathbb{CP}^m$. We describe the smooth nature and geometric structure of each strata component, generalizing the geometries of the embedded orbits in the model. This includes a quasi-K\"{a}hler metric on the open strata components that becomes singular at the strata boundary. The closed strata inherit almost CR-structures and can be viewed as a c-projective infinity for the given quasi-K\"{a}hler metric.


title: Measuring and Sampling: A Metric-guided Subgraph Learning Framework for Graph Neural Network

abstract: Graph neural network (GNN) has shown convincing performance in learning powerful node representations that preserve both node attributes and graph structural information. However, many GNNs encounter problems in effectiveness and efficiency when they are designed with a deeper network structure or handle large-sized graphs. Several sampling algorithms have been proposed for improving and accelerating the training of GNNs, yet they ignore understanding the source of GNN performance gain. The measurement of information within graph data can help the sampling algorithms to keep high-value information while removing redundant information and even noise. In this paper, we propose a Metric-Guided (MeGuide) subgraph learning framework for GNNs. MeGuide employs two novel metrics: Feature Smoothness and Connection Failure Distance to guide the subgraph sampling and mini-batch based training. Feature Smoothness is designed for analyzing the feature of nodes in order to retain the most valuable information, while Connection Failure Distance can measure the structural information to control the size of subgraphs. We demonstrate the effectiveness and efficiency of MeGuide in training various GNNs on multiple datasets.


title: Real-Time Dynamics at Large $N$

abstract: The large-$N$ limit of $O(N)$-symmetric bosonic field theories, or $U(N)$-symmetric fermionic field theories, is amenable to a saddle point approximation. As a result, there is a family of closely related algorithms for efficient lattice simulations in this limit, even in the presence of fermionic or real-time sign problems. These can be used to study quenches, or other observables for which


title: Tuning the structural, electronic and magneto-transport properties of spin-orbit Mott insulator Sr2IrO4

abstract: We investigate the tunability of the structural, electronic and magneto transport properties of polycrystalline Sr2IrO4 sample. The extent of bifurcation of the magnetisation curves during the field cooled and zero field cooled cycles establishes that the magnetic anisotropy in the as-prepared sample is more as compared to the vacuum annealed one. Based on the behaviours of the structural parameters and the magnetic studies, our results show that the canted AFM structure is stabilised in a larger temperature range in the case of the annealed sample as compared to the as prepared one. At low temperatures, for both the samples, a phase, possibly of glassy nature competes with the canted AFM phase. The temperature extent to which both these phases co-exist for the as-prepared and the annealed one is around 115K an 70K, respectively. The transport studies reveal that for both the samples, in the high temperature region of study, the conduction mechanism is governed by the Arrhenius model. In the intermediate temperature range, variable range hopping(VRH) and Arrhenius models govern the transport in the as-prepared and the annealed one, respectively. At low temperatures, the conduction mechanism occurs through Efros-Shklovskii-VRH and VRH mechanisms for the as-prepared and the annealed samples, respectively. The magneto resistance measurements indicate higher negative magneto resistance in the annealed sample at all temperatures. The field dependence of magneto resistance at 10K suggests a co-existing glassy magnetic phase along with the canted antiferromagnetic structure in the as prepared sample and a suppression of this glassy magnetic phase in the annealed sample. The combined analyses of all the results highlight the role of disorder for the magnetic and trasnport properties of this compound.


title: Cavity Quantum Materials

abstract: The emergent field of cavity quantum materials bridges collective many-body phenomena in solid-state platforms with strong light-matter coupling in cavity quantum electrodynamics (cavity QED). This brief review provides an overview of the state of the art of cavity platforms and highlights recent theoretical proposals and first experimental demonstrations of cavity control of collective phenomena in quantum materials. This encompasses light-matter coupling between electrons and cavity modes, cavity superconductivity, cavity phononics and ferroelectricity, correlated systems in a cavity, light-magnon coupling, cavity topology and the quantum Hall effect, as well as superradiance. An outlook of potential future developments is given.

categories: quant-ph cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con


title: Deep Transfer-Learning for patient specific model re-calibration: Application to sEMG-Classification

abstract: Accurate decoding of surface electromyography (sEMG) is pivotal for muscle-to-machine-interfaces (MMI) and their application for e.g. rehabilitation therapy. sEMG signals have high inter-subject variability, due to various factors, including skin thickness, body fat percentage, and electrode placement. Therefore, obtaining high generalization quality of a trained sEMG decoder is quite challenging. Usually, machine learning based sEMG decoders are either trained on subject-specific data, or at least recalibrated for each user, individually. Even though, deep learning algorithms produced several state of the art results for sEMG decoding,however, due to the limited amount of availability of sEMG data, the deep learning models are prone to overfitting. Recently, transfer learning for domain adaptation improved generalization quality with reduced training time on various machine learning tasks. In this study, we investigate the effectiveness of transfer learning using weight initialization for recalibration of two different pretrained deep learning models on a new subjects data, and compare their performance to subject-specific models. To the best of our knowledge, this is the first study that thoroughly investigated weight-initialization based transfer learning for sEMG classification and compared transfer learning to subject-specific modeling. We tested our models on three publicly available databases under various settings. On average over all settings, our transfer learning approach improves 5~\%-points on the pretrained models without fine-tuning and 12~\%-points on the subject-specific models, while being trained on average 22~\% fewer epochs. Our results indicate that transfer learning enables faster training on fewer samples than user-specific models, and improves the performance of pretrained models as long as enough data is available.


title: Non-uniform magnetization profile in ferromagnetic heterostructures leading to topological Hall effect like signatures

abstract: Anomalous Hall effect (AHE), which arises when a current is passed through a ferromagnetic material subjected to a perpendicular magnetic field, is proportional to the magnetization of the sample.Additional hump-like features in AHE are often attributed to the presence of non trivial spin textures leading to topological Hall effect (THE). However, several recent reports have emphasized in context of ferromagnetic SrRuO$_3$ based heterostructures that the sample inhomogeneity can also result in THE-like features. In order to investigate this issue in general for any ferromagnetic heterostructure, we have considered a phenomenological model to calculate the changes in the shape of hysteresis loop due to various interfacial effects. These changes in the magnetization have been accounted for by considering that the interdomain magnetic coupling parameter ($\alpha$) varies exponentially with the distance from the interface along the growth direction of the heterostructure. In case of symmetric interfaces on both sides of a ferromagnet, we have considered the variation of $\alpha$ as a Gaussian function. We have found that the additional AHE contribution due to the net change in magnetization in such cases are akin to experimentally observed THE, even though we have not considered any topological quantity explicitly in our model. Thus, we propose another situation with nonuniform magnetization profile that may be used to explain additional features in AHE, which might not necessarily be intrinsic THE.


title: Macroscopic Hyperpolarization Enhanced with Quantum Optimal Control

abstract: Hyperpolarization of nuclear spins enhances nuclear magnetic resonance signals, which play a key role for imaging and spectroscopy in the natural and life sciences. This signal amplification unlocks previously inaccessible techniques, such as metabolic imaging of cancer cells. In this work, electron spins from the photoexcited triplet state of pentacene-doped naphthalene crystals are used to polarize surrounding protons. As existing strategies are rendered less effective by experimental constraints, they are replaced with optimal control pulses designed with RedCRAB. In contrast to previous optimal control approaches, which consider an average single nucleus, this closed-loop optimization is macroscopic. A 28% improvement in signal and 15% faster polarization rate is observed. Additionally, a strategy called Autonomously-optimized Repeated Linear Sweep (ARISE) is introduced to efficiently tailor existing hyperpolarization sequences in the presence of experimental uncertainty to enhance their performance. ARISE is expected to be broadly applicable in many experimental settings.


title: Continually Learning Self-Supervised Representations with Projected Functional Regularization

abstract: Recent self-supervised learning methods are able to learn high-quality image representations and are closing the gap with supervised approaches. However, these methods are unable to acquire new knowledge incrementally -- they are, in fact, mostly used only as a pre-training phase over IID data. In this work we investigate self-supervised methods in continual learning regimes without any replay mechanism. We show that naive functional regularization, also known as feature distillation, leads to lower plasticity and limits continual learning performance. Instead, we propose Projected Functional Regularization in which a separate temporal projection network ensures that the newly learned feature space preserves information of the previous one, while at the same time allowing for the learning of new features. This prevents forgetting while maintaining the plasticity of the learner. Comparison with other incremental learning approaches applied to self-supervision demonstrates that our method obtains competitive performance in different scenarios and on multiple datasets.


title: Quantum imaging of a polarisation sensitive phase pattern with hyper-entangled photons

abstract: A transparent polarisation sensitive phase pattern makes a polarisation dependent transformation of quantum state of photons without absorbing them. Such an invisible pattern can be imaged with quantum entangled photons by making joint quantum measurements on photons. This paper shows a long path experiment to quantum image a transparent polarisation sensitive phase pattern with hyper-entangled photon pairs involving momentum and polarisation degrees of freedom. In the imaging configuration, a single photon interacts with the pattern while the other photon, which has never interacted with the pattern, is measured jointly in a chosen polarisation basis and in a quantum superposition basis of its position which is equivalent to measuring its momentum. Individual photons of each hyper-entangled pair cannot provide a complete image information. The image is constructed by measuring the polarisation state and position of the interacting photon corresponding to a measurement outcome of the non-interacting photon. This paper presents a detailed concept, theory and free space long path experiments on quantum imaging of polarisation sensitive phase patterns.


title: Simulating non-Hermitian quasicrystals with single-photon quantum walks

abstract: Non-Hermiticity significantly enriches the properties of topological models, leading to exotic features such as the non-Hermitian skin effects and non-Bloch bulk-boundary correspondence that have no counterparts in Hermitian settings. Its impact is particularly illustrating in non-Hermitian quasicrystals where the interplay between non-Hermiticity and quasiperiodicity results in the concurrence of the delocalization-localization transition, the parity-time (PT)-symmetry breaking, and the onset of the non-Hermitian skin effects. Here we experimentally simulate non-Hermitian quasicrystals using photonic quantum walks. Using dynamic observables, we demonstrate that the system can transit from a delocalized, PT-symmetry broken phase that features non-Hermitian skin effects, to a localized, PT-symmetry unbroken phase with no non-Hermitian skin effects. The measured critical point is consistent with the theoretical prediction through a spectral winding number, confirming the topological origin of the phase transition. Our work opens the avenue of investigating the interplay of non-Hermiticity, quasiperiodicity, and spectral topology in open quantum systems.


title: Constructing a Good Behavior Basis for Transfer using Generalized Policy Updates

abstract: We study the problem of learning a good set of policies, so that when combined together, they can solve a wide variety of unseen reinforcement learning tasks with no or very little new data. Specifically, we consider the framework of generalized policy evaluation and improvement, in which the rewards for all tasks of interest are assumed to be expressible as a linear combination of a fixed set of features. We show theoretically that, under certain assumptions, having access to a specific set of diverse policies, which we call a set of independent policies, can allow for instantaneously achieving high-level performance on all possible downstream tasks which are typically more complex than the ones on which the agent was trained. Based on this theoretical analysis, we propose a simple algorithm that iteratively constructs this set of policies. In addition to empirically validating our theoretical results, we compare our approach with recently proposed diverse policy set construction methods and show that, while others fail, our approach is able to build a behavior basis that enables instantaneous transfer to all possible downstream tasks. We also show empirically that having access to a set of independent policies can better bootstrap the learning process on downstream tasks where the new reward function cannot be described as a linear combination of the features. Finally, we demonstrate how this policy set can be useful in a lifelong reinforcement learning setting.


title: Two Instances of Interpretable Neural Network for Universal Approximations

abstract: This paper proposes two bottom-up interpretable neural network (NN) constructions for universal approximation, namely Triangularly-constructed NN (TNN) and Semi-Quantized Activation NN (SQANN). Further notable properties are (1) resistance to catastrophic forgetting (2) existence of proof for arbitrarily high accuracies (3) the ability to identify samples that are out-of-distribution through interpretable activation "fingerprints".


title: Top quark production in association with a vector boson at the LHC

abstract: Cross section measurements of top quark production in association with a vector boson in proton-proton collisions at $\sqrt{s}=13\,\mathrm{TeV}$ at the CERN LHC provide an important probe of the electroweak top quark couplings. In this contribution, recent results of the ATLAS and CMS Collaborations for the measurement of top quark pair and single top quark production in association with a photon or a Z boson are presented. Both inclusive and differential cross section measurements are performed, and the results are compared to state-of-the-art predictions in the standard model of particle physics.


title: Reasoning in circles

abstract: Circular proofs, introduced by Daniyar Shamkanov, are proofs in which assumptions are allowed that are not axioms but do appear at least twice along a branch. Shamkanov has shown that a formula belongs to the provability logic GL exactly if it has a circular proof in the modal logic K4. Shamkanov uses Tait style proof systems and infinitary proofs. In this paper we prove the same result but then for sequent calculi and without the detour via infinitary systems. We also obtain a mild generalisation of the result, implying that its intuitionistic analogue holds as well.


title: The KLT Relation from the Tree formula and Permutohedron

abstract: In this paper, we generalize the Nguyen-Spradlin-Volovich-Wen (NSVW) tree formula from the MHV sector to any helicity sector. We find a close connection between the Permutohedron and the KLT relation, and construct a non-trivial mapping between them, linking the amplitudes in the gauge and gravity theories. The gravity amplitude can also be mapped from a determinant followed from the matrix-tree theorem. Besides, we use the binary tree graphs to manifest its Lie structure. In our tree formula, there is an evident Hopf algebra of the permutation group behind the gravity amplitudes. Using the tree formula, we can directly re-derive the soft/collinear limit of the amplitudes.


title: Sample covariance matrices and special symmetric partitions

abstract: Suppose $X_p$ is a real $p \times n$ matrix with independent entries and consider the (unscaled) sample covariance matrix $S_p=X_pX_p^T$. The Marchenko-Pastur law was discovered as the limit of the bulk distribution of the sample covariance matrix in 1967. There have been extensions of this result in several directions. In this paper, we consider an extension that handles several of the existing ones as well as generates new results. We show that under suitable assumptions on the entries of $X_p$, the limiting spectral distribution exists in probability or almost surely. The moments are described by a set of partitions that are beyond pair partitions and non-crossing partitions and are also related to special symmetric partitions, which are known to appear in the limiting spectral distribution of Wigner-type matrices. Similar results hold for other patterned matrices such as reverse circulant, circulant, Toeplitz, and Hankel matrices.


title: Development of a face mask detection pipeline for mask-wearing monitoring in the era of the COVID-19 pandemic: A modular approach

abstract: During the SARS-Cov-2 pandemic, mask-wearing became an effective tool to prevent spreading and contracting the virus. The ability to monitor the mask-wearing rate in the population would be useful for determining public health strategies against the virus. However, artificial intelligence technologies for detecting face masks have not been deployed at a large scale in real-life to measure the mask-wearing rate in public. In this paper, we present a two-step face mask detection approach consisting of two separate modules: 1) face detection and alignment and 2) face mask classification. This approach allowed us to experiment with different combinations of face detection and face mask classification modules. More specifically, we experimented with PyramidKey and RetinaFace as face detectors while maintaining a lightweight backbone for the face mask classification module. Moreover, we also provide a relabeled annotation of the test set of the AIZOO dataset, where we rectified the incorrect labels for some face images. The evaluation results on the AIZOO and Moxa 3K datasets showed that the proposed face mask detection pipeline surpassed the state-of-the-art methods. The proposed pipeline also yielded a higher mAP on the relabeled test set of the AIZOO dataset than the original test set. Since we trained the proposed model using in-the-wild face images, we can successfully deploy our model to monitor the mask-wearing rate using public CCTV images.


title: Thermodynamic geometric analysis of BTZ black hole under f(R) gravity

abstract: In this work, we obtained the black hole solutions in the expansion f(R)-gravitation (R is not regarded as a constant here), and studied their thermodynamics, especially the phase transition and criticality in anti-de Sitter Behavior (AdS) expands the phase space. We obtained accurate Banados, Teitelboim and Zanelli (BTZ) corresponding solutions in dilaton f(R)-gravity, which is the basis of our work. We also obtained the exact form of the f(R) model for some solutions. In thermodynamic analysis, we calculate thermodynamic quantities such as temperature and entropy of these solutions and compare them with the corresponding quantities of BTZ. After that, we study the Ruppeiner geometry, such as the f(R)-gravity of the BTZ black hole, and analyze its phase transition process Ruppeiner geometry.


title: Probing Majorana Modes via Local Spin Dynamics

abstract: We investigate Majorana modes in a quantum spin chain with bond-dependent exchange interactions by studying its dynamics. Specifically, we consider two-time correlations for the Kitaev-Heisenberg (KH) Hamiltonian close to the so-called Kitaev critical point. Here, the model coincides with a phase boundary of two uncoupled instances of Kitaev's model for p-wave superconductors, together supporting a degenerate ground state characterized by multiple Majorana modes. In this regime, the real-time dynamics of local spins reveal a set of strong zero modes, corresponding to a set of protruding frequencies in the two-time correlation function. We derive perturbative interactions that map the KH spin chain onto the topological regime of Kitaev's fermionic model, thus opening up a bulk gap whilst retaining almost degenerate modes in the mesoscopic regime, i.e., for finite system sizes. This showcases the emergence of Majorana modes in a chain of effective dimers. Here, the binding energy within each unit cell competes with the inter-dimer coupling to generate a finite size energy gap, in analogy with local energy terms in the transverse-field Ising model. These modes give rise to long coherence times of local spins located at the system edges. By breaking the local symmetry in each dimer, one can also observe a second class of Majorana modes in terms of a beating frequency in the two-time correlations function of the edge spin. Furthermore, we develop a scenario for realizing these model predictions in ion-trap quantum simulators with collective addressing of the ions.


title: Self Reward Design with Fine-grained Interpretability

abstract: The black-box nature of deep neural networks (DNN) has brought to attention the issues of transparency and fairness. Deep Reinforcement Learning (Deep RL or DRL), which uses DNN to learn its policy, value functions etc, is thus also subject to similar concerns. This paper proposes a way to circumvent the issues through the bottom-up design of neural networks with detailed interpretability, where each neuron or layer has its own meaning and utility that corresponds to humanly understandable concept. The framework introduced in this paper is called the Self Reward Design (SRD), inspired by the Inverse Reward Design, and this interpretable design can (1) solve the problem by pure design (although imperfectly) and (2) be optimized like a standard DNN. With deliberate human designs, we show that some RL problems such as lavaland and MuJoCo can be solved using a model constructed with standard NN components with few parameters. Furthermore, with our fish sale auction example, we demonstrate how SRD is used to address situations that will not make sense if black-box models are used, where humanly-understandable semantic-based decision is required.


title: Normalizing flows for the real-time sign problem

abstract: We discuss the application of normalizing flows to bosonic lattice field theories with real-time sign problems. A normalizing flow, once it is found for such a lattice field theory, is guaranteed to solve its sign problem. We argue for the existence of normalizing flows for bosonic lattice field theories in the Schwinger-Keldish formalism in a few ways. We then discuss how this existence is a specific feature of bosonic theories: such arguments break down for fermionic systems, whether at finite density or in real-time.


title: Dimensionality reduction for prediction: Application to Bitcoin and Ethereum

abstract: The objective of this paper is to assess the performances of dimensionality reduction techniques to establish a link between cryptocurrencies. We have focused our analysis on the two most traded cryptocurrencies: Bitcoin and Ethereum. To perform our analysis, we took log returns and added some covariates to build our data set. We first introduced the pearson correlation coefficient in order to have a preliminary assessment of the link between Bitcoin and Ethereum. We then reduced the dimension of our data set using canonical correlation analysis and principal component analysis. After performing an analysis of the links between Bitcoin and Ethereum with both statistical techniques, we measured their performance on forecasting Ethereum returns with Bitcoin s features.


title: A fixed point theorem in $B(H,\ell _{\infty })$

abstract: We show that if $X$ is a complete metric space with uniform relative normal structure and $G$ is a subgroup of the isometry group of $X$ with bounded orbits, then there is a point in $X$ fixed by every isometry in $G$. As a corollary, we obtain a theorem of U. Lang (2013) concerning injective metric spaces. A few applications of this theorem are given to the problems of inner derivations. In particular, we show that if $L_{1}(\mu )$ is an essential Banach $L_{1}(G)$-bimodule, then any continuous derivation $\delta :L_{1}(G)\rightarrow L_{\infty }(\mu )$ is inner. This extends a theorem of B. E. Johnson (1991) asserting that the convolution algebra $L_{1}(G)$ is weakly amenable if $G$ is a locally compact group.


title: Estimating the cosmological constant from shadows of Kerr--de Sitter black holes

abstract: The Event Horizon Telescope collaboration has revealed the first direct image of a black hole, as per the shadow of a Kerr black hole of general relativity. However, other Kerr-like rotating black holes of modified gravity theories cannot be ignored, and they are essential as they offer an arena in which these theories can be tested through astrophysical observation. This motivates us to investigate asymptotically de Sitter rotating black holes wherein interpreting the cosmological constant $\Lambda$ as the vacuum energy leads to a deformation in the vicinity of a black hole -- new Kerr--de Sitter solution, which has a richer geometric structure than the original one. We derive an analytical formula necessary for the shadow of the new Kerr--de Sitter black holes and then visualize the shadow of black holes for various parameters for an observer at given coordinates $(r_0, \theta_0)$ in the domain $(r_0,\; r_c)$ and estimate the cosmological constant $\Lambda$ from its shadow observables. The shadow observables of the new Kerr--de Sitter black holes significantly deviate from the corresponding observables of the Kerr--de Sitter black hole over an appreciable range of the parameter space. Interestingly, we find a finite parameter space for ($\Lambda$, $a$) where the observables of the two black holes are indistinguishable.


title: Weakly imposed Dirichlet boundary conditions for 2D and 3D Virtual Elements

abstract: In the framework of virtual element discretizazions, we address the problem of imposing non homogeneous Dirichlet boundary conditions in a weak form, both on polygonal/polyhedral domains and on two/three dimensional domains with curved boundaries. We consider a Nitsche's type method [43,41], and the stabilized formulation of the Lagrange multiplier method proposed by Barbosa and Hughes in [9]. We prove that also for the virtual element method (VEM), provided the stabilization parameter is suitably chosen (large enough for Nitsche's method and small enough for the Barbosa-Hughes Lagrange multiplier method), the resulting discrete problem is well posed, and yields convergence with optimal order on polygonal/polyhedral domains. On smooth two/three dimensional domains, we combine both methods with a projection approach similar to the one of [31]. We prove that, given a polygonal/polyhedral approximation $\Omega_h$ of the domain $\Omega$, an optimal convergence rate can be achieved by using a suitable correction depending on high order derivatives of the discrete solution along outward directions (not necessarily orthogonal) at the boundary facets of $\Omega_h$. Numerical experiments validate the theory.


title: Superconducting Proximity Effect in R7xR7R19.1o Ni Nanoislands on Pb(111)

abstract: We have studied the proximity_induced superconductivity in R7xR7R19.1o Ni nanoislands by combing scanning tunnelling microscopy_spectroscopy (STM_STS) with density functional theory (DFT) calculation. Through depositing Ni onto Pb(111) substrate at 80 K, the monolayer Ni nanoislands with the R7xR7R19.1o surface structure have been fabricated, where the termination of Ni atoms at hexagonal close packed (hcp) site is energetically preferred and the electron filling of 3d orbitals from the charge transfer leads to the vanishing magnetic moment of Ni atoms. The topographic R7xR7R19.1o lattice as well as the asymmetric height contrast in atomic unit cell are further corroborated by the STM simulations. With high spatial and energy resolution, tunneling conductance spectra have resolved an isotropic superconducting gap with Delta_Ni_(R7xR7R19.1o)_1.29 meV, which is slightly larger than Delta_Pb_1.25 meV. The temperature dependence of Delta_Ni_(R7xR7R19.1o) supports the substrate_induced superconducting proximity effect according to the same transition temperature Tc_7.14 K with the Pb(111). The line spectroscopy has spatially mapped out the small increase of Delta_Ni_(R7xR7R19.1o), which could be explained by an enhanced electron_phonon interaction under the framework of Bardeen_Cooper_Schrieffer (BCS) theory as a manifestation of the hole doping of Pb(111) from the surface Ni atoms.


title: Right Nilpotency of Braces of Cardinality $p^4$

abstract: We determine right nilpotency of braces of cardinality $p^4$. If a brace of cardinality $p^4$ has an abelian multiplicative group, then it is left and right nilpotent, so we only consider braces with non-abelian multiplicative groups. We show right nilpotency in all cases using the sufficient condition of $A\ast c=0$ for some central element $c$ of a brace $A$.


title: Variable selection, monotone likelihood ratio and group sparsity

abstract: In the pivotal variable selection problem, we derive the exact non-asymptotic minimax selector over the class of all $s$-sparse vectors, which is also the Bayes selector with respect to the uniform prior. While this optimal selector is, in general, not realizable in polynomial time, we show that its tractable counterpart (the scan selector) attains the minimax expected Hamming risk to within factor 2, and is also exact minimax with respect to the probability of wrong recovery. As a consequence, we establish explicit lower bounds under the monotone likelihood ratio property and we obtain a tight characterization of the minimax risk in terms of the best separable selector risk. We apply these general results to derive necessary and sufficient conditions of exact and almost full recovery in the location model with light tail distributions and in the problem of group variable selection under Gaussian noise.


title: YACLC: A Chinese Learner Corpus with Multidimensional Annotation

abstract: Learner corpus collects language data produced by L2 learners, that is second or foreign-language learners. This resource is of great relevance for second language acquisition research, foreign-language teaching, and automatic grammatical error correction. However, there is little focus on learner corpus for Chinese as Foreign Language (CFL) learners. Therefore, we propose to construct a large-scale, multidimensional annotated Chinese learner corpus. To construct the corpus, we first obtain a large number of topic-rich texts generated by CFL learners. Then we design an annotation scheme including a sentence acceptability score as well as grammatical error and fluency-based corrections. We build a crowdsourcing platform to perform the annotation effectively (https://yaclc.wenmind.net). We name the corpus YACLC (Yet Another Chinese Learner Corpus) and release it as part of the CUGE benchmark (http://cuge.baai.ac.cn). By analyzing the original sentences and annotations in the corpus, we found that YACLC has a considerable size and very high annotation quality. We hope this corpus can further enhance the studies on Chinese International Education and Chinese automatic grammatical error correction.


title: Single production of vectorlike $B$ quarks at the CLIC

abstract: The vector-like quarks are predicted in many new physics scenarios beyond the Standard Model~(SM) and could be seen potential signatures of new physics at the TeV energy scale. In this work, we study single production of exotic singlet and doublet vectorlike bottom quarks (VLQ-$B$) at future Compact Linear Collider~(CLIC) via the process $e^{+}e^{-}\to B\bar{b}$ with the decay channel $B\to bZ$ and two types of modes: $Z\to \ell^{+}\ell^{-}$ and $Z\to \nu\bar{\nu}$. We calculate the cross sections of signal and relevant SM backgrounds. After a fast simulation of the signal and background events, the exclusion limit at 95\% confidence level and $5\sigma$ discovery prospects on the parameters (the coupling strength $\kappa_{B}$ and the VLQ-$B$ mass) have been, respectively, presented at the future CLIC with centre of mass energy $\sqrt{s}=3$ TeV and integrated luminosity of 5~ab$^{-1}$.


title: Classification of Teleparallel Horndeski Cosmology via Noether Symmetries

abstract: Teleparallel Horndeski theory offers an avenue through which to circumvent the speed constraint of gravitational waves in an efficient manner. However, this provides an even larger plethora of models due to the increase in action terms. In this work we explore these models in the context of cosmological systems. Using Noether point symmetries, we classify the dynamical systems that emerge from Teleparallel Horndeski cosmologies. This approach is very effective at selecting specific models in the general class of second-order Teleparallel scalar-tensor theories, as well as for deriving exact solutions within a cosmological context. By iterating through the Lagrangians selected through the Noether symmetries, we solve for a number of cosmological systems which provides new cosmological systems to be studied.


title: A survey on quasi-isometries of pairs: invariants and rigidity

abstract: This survey studies pairs $(G,\mathcal{P})$ with $G$ a finitely generated group and $\mathcal{P}$ a (finite) collection of subgroups of $G$. We explore the notion of quasi-isometry of such pairs and the notion of a qi-characteristic collection of subgroups. Both notions are abstractions of phenomena that have appeared repeatedly in the work of several people within the quasi-isometric rigidity realm.


title: When bubbles are not spherical: artificial intelligence analysis of ultrasonic cavitation bubbles in solutions of varying concentrations

abstract: Ultrasonic irradiation of liquids, such as water-alcohol solutions, results in cavitation or the formation of small bubbles. Cavitation bubbles are generated in real solutions without the use of optical traps making our system as close to real conditions as possible. Under the action of the ultrasound, bubbles can grow, oscillate, and eventually, they collapse or decompose. We apply the mathematical method of separation of motions to interpret the acoustic effect on the bubbles. While in most situations, the spherical shape of a bubble is the most energetically profitable as it minimizes the surface energy, when the acoustic frequency is in resonance with the natural frequency of the bubble, shapes with the dihedral symmetry emerge. Some of these resonance shapes turn unstable, so the bubble decomposes. It turns out that bubbles in the solutions of different concentrations (with different surface energies and densities) attain different evolution paths. While it is difficult to obtain a deterministic description of how the solution concentration affects bubble dynamics, it is possible to separate images with different concentrations by applying the Artificial Neural Network (ANN) algorithm. An ANN was trained to detect the concentration of alcohol in a water solution based on the bubble images. This indicates that Artificial Intelligence (AI) methods can complement deterministic analysis in non-equilibrium, near-unstable situations.


title: $\mathbb{Z}$-graded identities of the Lie algebras $U_1$ in characteristic 2

abstract: Let $K$ be any field of characteristic two and let $U_1$ and $W_1$ be the Lie algebras of the derivations of the algebra of Laurent polynomials $K[t,t^{-1}]$ and of the polynomial ring $K[t]$, respectively. The algebras $U_1$ and $W_1$ are equipped with natural $\mathbb{Z}$-gradings. In this paper, we provide bases for the graded identities of $U_1$ and $W_1$, and we prove that they do not admit any finite basis.


title: Invariant metrics on finite groups

abstract: We study invariant and bi-invariant metrics on groups focusing on finite groups $G$. We show that non-equivalent (bi) invariant metrics on $G$ are in 1-1 correspondence with unitary symmetric (conjugate) partitions on $G$. To every metric group $(G,d)$ we associate to it the symmetry group and the weighted graph of distances. Using these objects we can classify all equivalence classes of invariant and bi-invariant metrics for small groups. We then study the number of non-equivalent invariant and bi-invariant metrics on $G$. We give an expression for the number of such metrics in terms of Bell numbers, with closed expressions for certain groups such as abelian, dihedral, quasidihedral and dicyclic groups. We then characterize all the groups (finite or not) in which every invariant metric is also bi-invariant. We give the number of non-equivalent invariant and bi-invariant metrics for all the groups of order up to 32.


title: Special cosmological models derived from the semiclassical Einstein equation on flat FLRW space-times

abstract: This article presents numerical work on a special case of the cosmological semiclassical Einstein equation (SCE). The SCE describes the interaction of relativistic quantum matter by the expected value of the renormalized stress-energy tensor of a quantum field with classical gravity. Here we consider a free massless scalar field with general (not necessarily conformal) coupling to curvature. In a cosmological scenario with flat spatial sections for special choices of the initial conditions, we observe a separation of the dynamics of the quantum degrees of freedom from the dynamics of the scale factor, which extends a classical result by Starobinsky to general coupling. For this new equation of fourth order for the dynamics of the scale factor, we study numerical solutions. Typical solutions show a radiation-like Big Bang for the early universe and de Sitter-like expansion for the late universe. We discuss a specific solution to the cosmological horizon problem that can be produced by tuning parameters in the given equation. Although the model proposed here only contains massless matter, we give a preliminary comparison of the obtained cosmology with the $\Lambda$CDM standard model of cosmology and investigate parameter ranges in which the new models to a certain extent assimilates standard cosmology.


title: Does QA-based intermediate training help fine-tuning language models for text classification?

abstract: Fine-tuning pre-trained language models for downstream tasks has become a norm for NLP. Recently it is found that intermediate training based on high-level inference tasks such as Question Answering (QA) can improve the performance of some language models for target tasks. However it is not clear if intermediate training generally benefits various language models. In this paper, using the SQuAD-2.0 QA task for intermediate training for target text classification tasks, we experimented on eight tasks for single-sequence classification and eight tasks for sequence-pair classification using two base and two compact language models. Our experiments show that QA-based intermediate training generates varying transfer performance across different language models, except for similar QA tasks.


title: Instability of de-Sitter black hole with massive scalar field coupled to Gauss-Bonnet invariant and the scalarized black holes

abstract: The black hole scalarization in a special Einstein-scalar-Gauss-Bonnet (EsGB) gravity has been widely investigated in recent years. Especially, the spontaneous scalarization of scalar-free black hole in de-Sitter (dS) spacetime possesses interesting features due to the existence of cosmological horizon. In this work, firstly, we focus on the massive scalar field perturbation on Schwarzschild dS (SdS) black hole in a special EsGB theory. By analyzing the fundamental QNM frequency and time evolution of the scalar field perturbation, we figure out the unstable/stable regions in $(\Lambda,\alpha)$-plane as well as in $(m,\alpha)$-plane for various perturbation modes, where $\Lambda$, $\alpha$ and $m$ denote the cosmological constant, the GB coupling strength and the mass of scalar field, respectively. Then by solving the static perturbation equation, we analyze the bifurcation point at which the SdS black hole supports spherical scalar clouds, and we find that the bifurcation points match well with $\alpha_c$ on the border of unstable/stable region. Finally, after addressing that the scalarised solutions could only emerge from the scalar could with node $k\geq 1$. we explicitly construct the scalarized hairy solutions for different scalar masses and compare the profile of scalar field to the corresponding scalar clouds.


title: Possibility of a Topological Phase Transition in Two-dimensional $RP^3$ Model

abstract: We study by large-scale Monte Carlo simulation the $RP^3$ model, which can be regarded as an effective low-energy model of a triangular lattice Heisenberg antiferromagnet. $Z_2$ vortices appear as elementary excitations in the triangular lattice Heisenberg antiferromagnet. Such $Z_2$ vortices are ubiquitous in other frustrated Heisenberg spin systems that have noncollinear long-range orders. In this study, we investigate a possible topological phase transition driven by the binding--unbinding of $Z_2$ vortices. By extracting important degrees of freedom, we map a frustrated spin system to an effective $RP^3$ model. From large-scale Monte Carlo simulation, we obtain an order parameter and a correlation length of up to $L=16384$. Concerning the existence of a $Z_2$-vortex transition, by extrapolating the order parameter to the thermodynamics limit assuming the $Z_2$-vortex transition, we obtain a finite transition temperature as $T_v/\tilde{J} \simeq 0.25$. Our estimate of the correlation length at $T_v$ is much larger than $L=16384$, which is beyond the previous estimate obtained with the triangular lattice Heisenberg model.


title: Banach Spaces of GLT Sequences and Function Spaces

abstract: The Generalized Locally Toeplitz (GLT) sequences of matrices have been originated from the study of certain partial differential equations. To be more precise, such matrix sequences arise when we numerically approximate some partial differential equations by discretization. The study of the asymptotic spectral behaviour of GLT sequence is very important in analysing the solution of corresponding partial differential equations. The approximating classes of sequences (a.c.s) and the spectral symbols are important notions in this connection. Recently, G. Barbarino obtained some additional results regarding the theoretical aspects of such notions. He obtained the completeness of the space of matrix sequences with respect to pseudo metric a.c.s. Also, he identified the space of GLT sequences with the space of measurable functions. In this article, we follow the same research line and obtain various results connecting the sub-algebras of matrix sequence spaces and sub-algebras of function spaces. In some cases, these are identifications as Banach spaces and some of them are Banach algebra identifications. In the process, we also prove that the convergence notions in the sense of eigenvalue/singular value clustering are equivalent to the convergence with respect to the metrics introduced here. These convergence notions are related to the study of preconditioners in the case of matrix/operator sequences. Finally, as an application of our main results, we establish a Korovkin-type result in the setting of GLT sequences.


title: Stability in Non-Normal Periodic Jacobi Operators: Advancing B\"org's Theorem

abstract: Periodic Jacobi operators naturally arise in numerous applications, forming a cornerstone in various fields. The spectral theory associated with these operators boasts an extensive body of literature. Considered as discretized counterparts of Schr\"odinger operators, widely employed in quantum mechanics, Jacobi operators play a crucial role in mathematical formulations. The classical uniqueness result by G. B\"org in $1946$ occupies a significant place in the literature of inverse spectral theory and its applications. This result is closely intertwined with M. Kac's renowned article, 'Can one hear the shape of a drum?' published in $1966$. Since $1975,$ discrete versions of B\"org's theorem have been available in the literature. In this article, we concentrate on the non-normal periodic Jacobi operator and the discrete versions of B\"org's Theorem. We extend recently obtained stability results to encompass non-normal cases. The existing stability findings establish a correlation between the oscillations of the matrix entries and the size of the spectral gap. Our result encompasses the current self-adjoint versions of B\"org's theorem, including recent quantitative variations. Here, the oscillations of the matrix entries are linked to the path-connectedness of the pseudospectrum. Additionally, we explore finite difference approximations of various linear differential equations as specific applications.


title: TCoMX: Tomotherapy Complexity Metrics EXtractor

abstract: TCoMX (Tomotherapy Complexity Metrics EXtractor) is a newly developed tool for the automatic extraction of complexity metrics from the DICOM RT-PLAN files of helical tomotherapy (HT) treatments. TCoMX allows the extraction of all the different complexity metrics proposed in the literature. This document contains all the needed guidelines to install and use TCoMX. Furthermore, all the metrics included in TCoMX are described in detail.


title: Weaving patterns inspired by the pentagon snub subdivision scheme

abstract: Various computer simulations regarding, e.g., the weather or structural mechanics, solve complex problems on a two-dimensional domain. They mostly do so by splitting the input domain into a finite set of smaller and simpler elements on which the simulation can be run fast and efficiently. This process of splitting can be automatized by using subdivision schemes. Given the wide range of simulation problems to be tackled, an equally wide range of subdivision schemes is available. They create subdivisions that are (mainly) comprised of triangles, quadrilaterals, or hexagons. Furthermore, they ensure that (almost) all vertices have the same number of neighboring vertices. This paper illustrates a subdivision scheme that splits the input domain into pentagons. Repeated application of the scheme gives rise to fractal-like structures. Furthermore, the resulting subdivided domain admits to certain weaving patterns. These patterns are subsequently generalized to several other subdivision schemes. As a final contribution, we provide paper models illustrating the weaving patterns induced by the pentagonal subdivision scheme. Furthermore, we present a jigsaw puzzle illustrating both the subdivision process and the induced weaving pattern. These transform the visual and abstract mathematical algorithms into tactile objects that offer exploration possibilities aside from the visual.


title: Rigidity of saddle loops

abstract: A saddle loop is a germ of a holomorphic foliation near a homoclinic saddle connection. We prove that they are classied by their Poincar{\'e} rst-return map. We also prove that they are formally rigid when the Poincar{\'e} map is multivalued. Finally, we provide a list of all analytic classes of Liouville-integrable saddle loops.


title: Scalar induced gravitational waves from primordial black hole Poisson fluctuations in $f(R)$ gravity

abstract: The gravitational potential of a gas of initially randomly distributed primordial black holes (PBH) can induce a stochastic gravitational-wave (GW) background through second-order gravitational effects. This GW background can be abundantly generated in a cosmic era dominated by ultralight primordial black holes, with masses $m_\mathrm{PBH}<10^{9}\mathrm{g}$. In this work, we consider $f(R)$ gravity as the underlying gravitational theory and we study its effect at the level of the gravitational potential of Poisson distributed primordial black holes. After a general analysis, we focus on the $R^2$ gravity model. In particular, by requiring that the scalar induced GWs (SIGWs) are not overproduced, we find an upper bound on the abundance of PBHs at formation time $\Omega_\mathrm{PBH,f}$ as a function of their mass, namely that $\Omega_\mathrm{PBH,f}<5.5\times 10^{-5}\left(\frac{10^9\mathrm{g}}{m_\mathrm{PBH}}\right)^{1/4}$, which is $45\%$ tighter than the respective upper bound in general relativity. Afterwards, by considering $R^2$ gravity as an illustrative case study of an $f(R)$ gravity model, we also set upper bound constraints on its mass parameter $M$. These mass parameter constraints, however, should not be regarded as physical given the fact that the Cosmic Microwave Background (CMB) constraints on $R^2$ gravity are quite tight. Finally, we conclude that the portal of SIGWs associated to PBH Poisson fluctuations can act as a novel complementary probe to constrain alternative gravity theories.


title: TextRGNN: Residual Graph Neural Networks for Text Classification

abstract: Recently, text classification model based on graph neural network (GNN) has attracted more and more attention. Most of these models adopt a similar network paradigm, that is, using pre-training node embedding initialization and two-layer graph convolution. In this work, we propose TextRGNN, an improved GNN structure that introduces residual connection to deepen the convolution network depth. Our structure can obtain a wider node receptive field and effectively suppress the over-smoothing of node features. In addition, we integrate the probabilistic language model into the initialization of graph node embedding, so that the non-graph semantic information of can be better extracted. The experimental results show that our model is general and efficient. It can significantly improve the classification accuracy whether in corpus level or text level, and achieve SOTA performance on a wide range of text classification datasets.


title: An Optimal Control Problem for the Navier--Stokes Equations with Point Sources

abstract: We analyze, in two dimensions, an optimal control problem for the Navier--Stokes equations where the control variable corresponds to the amplitude of forces modeled as point sources; control constraints are also considered. This particular setting leads to solutions to the state equation exhibiting reduced regularity properties. We operate under the framework of Muckenhoupt weights, Muckenhoupt-weighted Sobolev spaces, and the corresponding weighted norm inequalities and derive the existence of optimal solutions and first and, necessary and sufficient, second order optimality conditions.


title: Perturbative and non-perturbative interactions between heavy quarks and quark-gluon plasma within a unified approach

abstract: While perturbative QCD is sufficient for understanding the color, mass and energy dependences of parton energy loss and jet quenching at large transverse momentum in heavy-ion collisions, a simultaneous description of heavy flavor nuclear modification factor $R_\mathrm{AA}$ and elliptic flow coefficient $v_2$ at low and intermediate $p_\mathrm{T}$ still remains a challenge due to the effects from non-perturbative interactions. In this work, we extend the linear Boltzmann transport model by implementing a generalized Cornell-type potential that incorporates both short-range Yukawa interaction and long-range color confining interaction between heavy quarks and the QGP medium. Combining our new approach for heavy-quark-QGP interaction with a (3+1)-dimensional hydrodynamic model CLVisc for the QGP evolution and a hybrid fragmentation-coalescence model for heavy quark hadronization, we obtain a satisfactory description of heavy meson $R_\mathrm{AA}$ and $v_2$ from low to intermediate to high $p_\mathrm{T}$ observed at both RHIC and the LHC. By model-data-comparison, we extract for the first time the in-medium heavy quark potential from open heavy flavor measurements; the result is in agreement with the lattice QCD calculation. Our study indicates that while jet quenching at high $p_\mathrm{T}$ is dominated by perturbative QCD interactions, non-perturbative interactions are indispensible for understanding heavy flavor quenching and flow at low and intermediate $p_\mathrm{T}$.


title: Isochronicity in 1 DOF

abstract: Our main result is the complete set of explicit conditions necessary and sufficient for isochronicity of a Hamiltonian system with one degree of freedom. The conditions are presented in terms of Taylor coefficients of the Hamiltonian function.


title: Feferman-Vaught Decompositions for Prefix Classes of First Order Logic

abstract: The Feferman-Vaught theorem provides a way of evaluating a first order sentence $\varphi$ on a disjoint union of structures by producing a decomposition of $\varphi$ into sentences which can be evaluated on the individual structures and the results of these evaluations combined using a propositional formula. This decomposition can in general be non-elementarily larger than $\varphi$. We show that for first order sentences in prenex normal form with a fixed number of quantifier alternations, such a decomposition, further with the same number of quantifier alternations, can be obtained in time elementary in the size of $\varphi$. We obtain this result as a consequence of a more general decomposition theorem that we prove for a family of infinitary logics we define. We extend these results by considering binary operations other than disjoint union, in particular sum-like operations such as ordered sum and NLC-sum, that are definable using quantifier-free interpretations.