title: Lighting of a monochromatic scatterer with virtual gain

abstract: In this work, we discuss the scattering features of a dipolar particle made of large refractive index material by employing the concept of virtual gain and virtual loss. The virtual gain and loss can be achieved in a lossless passive nanostructure by shaping the temporal waveform of incident signals in the complex frequency plane. We show that an appropriate tuning of excitation time of the impinging field allows to capture and release the electromagnetic energy on-demand for an arbitrary time scale in a lossless nanosphere. Thus, the nanosphere obliges to emit monochromatic magnetic light which can be tuned throughout the whole visible spectrum by varying the size of the nanosphere. This proposal may find fruitful applications in lab-on-a-chip technologies and the realization of monochromatic sectoral multipole light source with a large quality factor at nanoscale level.


title: Self-products of rationally elliptic spaces and inequalities between the ranks of homotopy and homology groups

abstract: We give a survey on recent results on inequalities between the ranks of homotopy and cohomology groups (resp., graded components of mixed Hodge structures on these groups) of rationally elliptic spaces (resp., quasi-projective varieties which are rationally elliptic). We also discuss a refinement of these results describing a new invariant of rationally elliptic spaces allowing to compare the ranks of homotopy and homology groups. This invariant is a specialization of an invariant $r\left ( P(t),Q(t);\varepsilon \right )$ of a pair $\left (P(t),Q(t) \right )$ of polynomials with non-negative integer coefficients, describing the range of variable $r$ such that $rP(t)<Q(t)^r$ for all $t \ge \varepsilon$. This range is related to the classical Lambert W-function $W(z)$.


title: Caveats for the use of Web of Science Core Collection in old literature retrieval and historical bibliometric analysis

abstract: By using publications from Web of Science Core Collection (WoSCC), Fosso Wamba and his colleagues published an interesting and comprehensive paper in Technological Forecasting and Social Change to explore the structure and dynamics of artificial intelligence (AI) scholarship. Data demonstrated in Fosso Wamba's study implied that the year 1991 seemed to be a "watershed" of AI research. This research note tried to uncover the 1991 phenomenon from the perspective of database limitation by probing the limitations of search in abstract/author keywords/keywords plus fields of WoSCC empirically. The low availability rates of abstract/author keywords/keywords plus information in WoSCC found in this study can explain the "watershed" phenomenon of AI scholarship in 1991 to a large extent. Some other caveats for the use of WoSCC in old literature retrieval and historical bibliometric analysis were also mentioned in the discussion section. This research note complements Fosso Wamba and his colleagues' study and also helps avoid improper interpretation in the use of WoSCC in old literature retrieval and historical bibliometric analysis.


title: Semantic-guided Pixel Sampling for Cloth-Changing Person Re-identification

abstract: Cloth-changing person re-identification (re-ID) is a new rising research topic that aims at retrieving pedestrians whose clothes are changed. This task is quite challenging and has not been fully studied to date. Current works mainly focus on body shape or contour sketch, but they are not robust enough due to view and posture variations. The key to this task is to exploit cloth-irrelevant cues. This paper proposes a semantic-guided pixel sampling approach for the cloth-changing person re-ID task. We do not explicitly define which feature to extract but force the model to automatically learn cloth-irrelevant cues. Specifically, we first recognize the pedestrian's upper clothes and pants, then randomly change them by sampling pixels from other pedestrians. The changed samples retain the identity labels but exchange the pixels of clothes or pants among different pedestrians. Besides, we adopt a loss function to constrain the learned features to keep consistent before and after changes. In this way, the model is forced to learn cues that are irrelevant to upper clothes and pants. We conduct extensive experiments on the latest released PRCC dataset. Our method achieved 65.8% on Rank1 accuracy, which outperforms previous methods with a large margin. The code is available at https://github.com/shuxjweb/pixel_sampling.git.


title: Mode-center Placement of Monolayer WS$_{2}$ in a Photonic Polymer Waveguide

abstract: Effective integration of 2D materials such as monolayer transition metal dichalcogenides (TMDs) into photonic waveguides and integrated circuits is being intensely pursued due to the materials' strong exciton-based optical response. Here, we present a platform where a WS$_{2}$-hBN 2D heterostructure is directly integrated into the photonic mode-center of a novel polymer ridge waveguide. FDTD simulations and collection of photoluminescence from the guided mode indicate that this system exhibits significantly improved waveguide-emitter coupling over a previous elastomer platform. This is facilitated by the platform's enhanced refractive-index contrast and a new method for mode-center integration of the coupled TMD. The integration is based on a simple dry-transfer process that is applicable to other 2D materials, and the platform's elastomeric nature is a natural fit to explore strain-tunable hybrid-photonic devices. The demonstrated ability of coupling photoluminescence to a polymer waveguide opens up new possibilities for hybrid-photonic systems in a variety of contexts.


title: Helical magnetogenesis with reheating phase from higher curvature coupling and baryogenesis

abstract: We investigate the generation of helical magnetic fields and address the baryon asymmetry of the universe from an inflationary magnetogenesis scenario, in which the conformal and parity symmetries of the electromagnetic field are broken through its coupling to the Ricci scalar and to the Gauss-Bonnet invariant via the dual field tensor, so that the generated magnetic field can have a helical nature. Depending on the reheating mechanism, we consider two different cases - (1) instantaneous reheating scenario, in which case the reheating e-fold number is zero, and (2) Kamionkowski reheating scenario which is parametrized by a non-zero e-fold number, a reheating equation of state parameter and a given reheating temperature. It is demonstrated that for both the reheating mechanisms, the generated magnetic fields can be compatible with the observations for suitable range of the model parameter present in the non-minimal coupling of the electromagnetic field. Actually the present magnetogenesis model does not produce sufficient hierarchy between the electric and magnetic fields at the end of inflation, and thus the electric field is not able to sufficiently induce (or enhance) the magnetic field during the Kamionkowski reheating stage. This in turn makes both the reheating cases almost similar from the perspective of magnetic field's evolution. Furthermore we find that the magnetic fields at the galactic scale with strength $\sim 10^{-13}\mathrm{G}$ can lead to the resultant value of the ratio of the baryonic number density to the entropy density as large as $\sim 10^{-10}$, which is consistent with the observational data.


title: Multiradar Data Fusion for Respiratory Measurement of Multiple People

abstract: This study proposes a data fusion method for multiradar systems to enable measurement of the respiration of multiple people located at arbitrary positions. Using the proposed method, the individual respiration rates of multiple people can be measured, even when echoes from some of these people cannot be received by one of the radar systems because of shadowing. In addition, the proposed method does not require information about the positions and orientations of the radar systems used because the method can estimate the layout of these radar systems by identifying multiple human targets that can be measured from different angles using multiple radar systems. When a single target person can be measured using multiple radar systems simultaneously, the proposed method selects an accurate signal from among the multiple signals based on the spectral characteristics. To verify the effectiveness of the proposed method, we performed experiments based on two scenarios with different layouts that involved seven participants and two radar systems. Through these experiments, the proposed method was demonstrated to be capable of measuring the respiration of all seven people by overcoming the shadowing issue. In the two scenarios, the average errors of the proposed method in estimating the respiration rates were 0.33 and 1.24 respirations per minute (rpm), respectively, thus demonstrating accurate and simultaneous respiratory measurements of multiple people using the multiradar system.


title: On the Sample Complexity of Privately Learning Axis-Aligned Rectangles

abstract: We revisit the fundamental problem of learning Axis-Aligned-Rectangles over a finite grid $X^d\subseteq{\mathbb{R}}^d$ with differential privacy. Existing results show that the sample complexity of this problem is at most $\min\left\{ d{\cdot}\log|X| \;,\; d^{1.5}{\cdot}\left(\log^*|X| \right)^{1.5}\right\}$. That is, existing constructions either require sample complexity that grows linearly with $\log|X|$, or else it grows super linearly with the dimension $d$. We present a novel algorithm that reduces the sample complexity to only $\tilde{O}\left\{d{\cdot}\left(\log^*|X|\right)^{1.5}\right\}$, attaining a dimensionality optimal dependency without requiring the sample complexity to grow with $\log|X|$.The technique used in order to attain this improvement involves the deletion of "exposed" data-points on the go, in a fashion designed to avoid the cost of the adaptive composition theorems. The core of this technique may be of individual interest, introducing a new method for constructing statistically-efficient private algorithms.


title: A Search for Neutrinos from Decaying Dark Matter in Galaxy Clusters and Galaxies with IceCube

abstract: The observed dark matter abundance in the Universe can be explained with non-thermal, heavy dark matter models. In order for dark matter to still be present today, its lifetime has to far exceed the age of the Universe. In these scenarios, dark matter decay can produce highly energetic neutrinos, along with other Standard Model particles. To date, the IceCube Neutrino Observatory is the world's largest neutrino telescope, located at the geographic South Pole. In 2013, the IceCube collaboration reported the first observation of high-energy astrophysical neutrinos. Since then, IceCube has collected a large amount of astrophysical neutrino data with energies up to tens of PeV, allowing us to probe the heavy dark matter models using neutrinos. We search the IceCube data for neutrinos from decaying dark matter in galaxy clusters and galaxies. The targeted dark matter masses range from 10 TeV to 10 PeV. In this contribution, we present the method and sensitivities of the analysis.


title: Scattering theory for 3d cubic inhomogeneous NLS with inverse square potential

abstract: In this paper, we study the scattering theory for the cubic inhomogeneous Schr\"odinger equations with inverse square potential $iu_t+\Delta u-\frac{a}{|x|^2}u=\lambda |x|^{-b}|u|^2u$ with $a>-\frac14$ and $0<b<1$ in dimension three. In the defocusing case (i.e. $\lambda=1$), we establish the global well-posedness and scattering for any initial data in the energy space $H^1_a(\mathbb R^3)$. While for the focusing case(i.e. $\lambda=-1$), we obtain the scattering for the initial data below the threshold of the ground state, by making use of the virial/Morawetz argument as in Dodson-Murphy [Proc. Amer. Math. Soc.,145(2017), 4859-4867.] and Campos-Cardoso [arXiv: 2101.08770v1.] that avoids the use of interaction Morawetz estimate.


title: Graph neural networks for laminar flow prediction around random 2D shapes

abstract: In the recent years, the domain of fast flow field prediction has been vastly dominated by pixel-based convolutional neural networks. Yet, the recent advent of graph convolutional neural networks (GCNNs) have attracted a considerable attention in the computational fluid dynamics (CFD) community. In this contribution, we proposed a GCNN structure as a surrogate model for laminar flow prediction around 2D obstacles. Unlike traditional convolution on image pixels, the graph convolution can be directly applied on body-fitted triangular meshes, hence yielding an easy coupling with CFD solvers. The proposed GCNN model is trained over a data set composed of CFD-computed laminar flows around 2,000 random 2D shapes. Accuracy levels are assessed on reconstructed velocity and pressure fields around out-of-training obstacles, and are compared with that of standard U-net architectures, especially in the boundary layer area.


title: Near-Optimal Average-Case Approximate Trace Reconstruction from Few Traces

abstract: In the standard trace reconstruction problem, the goal is to \emph{exactly} reconstruct an unknown source string $\mathsf{x} \in \{0,1\}^n$ from independent "traces", which are copies of $\mathsf{x}$ that have been corrupted by a $\delta$-deletion channel which independently deletes each bit of $\mathsf{x}$ with probability $\delta$ and concatenates the surviving bits. We study the \emph{approximate} trace reconstruction problem, in which the goal is only to obtain a high-accuracy approximation of $\mathsf{x}$ rather than an exact reconstruction. We give an efficient algorithm, and a near-matching lower bound, for approximate reconstruction of a random source string $\mathsf{x} \in \{0,1\}^n$ from few traces. Our main algorithmic result is a polynomial-time algorithm with the following property: for any deletion rate $0 < \delta < 1$ (which may depend on $n$), for almost every source string $\mathsf{x} \in \{0,1\}^n$, given any number $M \leq \Theta(1/\delta)$ of traces from $\mathrm{Del}_\delta(\mathsf{x})$, the algorithm constructs a hypothesis string $\widehat{\mathsf{x}}$ that has edit distance at most $n \cdot (\delta M)^{\Omega(M)}$ from $\mathsf{x}$. We also prove a near-matching information-theoretic lower bound showing that given $M \leq \Theta(1/\delta)$ traces from $\mathrm{Del}_\delta(\mathsf{x})$ for a random $n$-bit string $\mathsf{x}$, the smallest possible expected edit distance that any algorithm can achieve, regardless of its running time, is $n \cdot (\delta M)^{O(M)}$.


title: Linking the Galactic and Extragalactic -- A Virtual Meeting During a World-Wide Pandemic

abstract: How do we bridge the gap between the Galactic and the extragalactic? By focusing on the topic of stellar dynamics and stellar populations of the Milky Way and its siblings this virtual meeting aimed at connecting both fields that each bring unique perspectives to understanding how disk galaxies form and evolve. As this meeting took place during a global pandemic, we also give our perspective on the challenges and best practises for running a virtual meeting.


title: Seasonal and diurnal dynamics of radio noise for 8-20MHz poleward-oriented mid-latitude radars

abstract: Based on ray tracing in a smooth ionosphere described by the IRI-2016 model we have infered the seasonal-diurnal dynamics of radio noise observed by four mid-latitude HF radars. In the calculations, noise is assumed to propagate from the radar dead zone boundary. Noise absorption along the ray path is simulated from the IRI-2016 electron density, and from the molecular nitrogen density and electron temperatures obtained from the NRLMSISE-00 model. Model results are compared with experimental radar data, and good agreement between the two is demonstrated. The model makes it possible to estimate the amount of absorption in D- and E- layers under average undisturbed conditions. This is important for the retrieval of long term variations in the electron density in the lower ionosphere. The model also makes it feasible to interpret vertical absorption in experimental data, thereby significantly expanding the capability of HF radars to monitor the lower ionosphere.


title: Combining Online Learning and Offline Learning for Contextual Bandits with Deficient Support

abstract: We address policy learning with logged data in contextual bandits. Current offline-policy learning algorithms are mostly based on inverse propensity score (IPS) weighting requiring the logging policy to have \emph{full support} i.e. a non-zero probability for any context/action of the evaluation policy. However, many real-world systems do not guarantee such logging policies, especially when the action space is large and many actions have poor or missing rewards. With such \emph{support deficiency}, the offline learning fails to find optimal policies. We propose a novel approach that uses a hybrid of offline learning with online exploration. The online exploration is used to explore unsupported actions in the logged data whilst offline learning is used to exploit supported actions from the logged data avoiding unnecessary explorations. Our approach determines an optimal policy with theoretical guarantees using the minimal number of online explorations. We demonstrate our algorithms' effectiveness empirically on a diverse collection of datasets.


title: MIPE: A Metric Independent Pipeline for Effective Code-Mixed NLG Evaluation

abstract: Code-mixing is a phenomenon of mixing words and phrases from two or more languages in a single utterance of speech and text. Due to the high linguistic diversity, code-mixing presents several challenges in evaluating standard natural language generation (NLG) tasks. Various widely popular metrics perform poorly with the code-mixed NLG tasks. To address this challenge, we present a metric independent evaluation pipeline MIPE that significantly improves the correlation between evaluation metrics and human judgments on the generated code-mixed text. As a use case, we demonstrate the performance of MIPE on the machine-generated Hinglish (code-mixing of Hindi and English languages) sentences from the HinGE corpus. We can extend the proposed evaluation strategy to other code-mixed language pairs, NLG tasks, and evaluation metrics with minimal to no effort.


title: Anomalous Nernst thermopower and giant magnetostriction in microwave synthesized La0.5Sr0.5CoO3

abstract: Ferromagnetic metallic oxides have potential applications in spincaloric devices which utilize the spin property of charge carriers for interconversion of heat and electricity through the spin Seebeck or the anomalous Nernst effect or both. In this work, we synthesized polycrystalline La0.5S0.5CoO3 by microwave irradiation method and studied its transverse thermoelectric voltage (Nernst thermopower) and change in the linear dimension of the sample (Joule magnetostriction) in response to external magnetic fields. In addition, magnetization, temperature dependences of electrical resistivity, and longitudinal Seebeck coefficient (Sxx) in absence of an external magnetic field were also measured. The sample is ferromagnetic with a Curie temperature of TC = 247 K and shows a metal-like resistivity above and below TC with a negative sign of Sxx suggesting charge transport due to electrons. Magnetic field dependence of the Nernst thermopower (Sxy) at a fixed temperature shows a rapid increase at low fields and a tendency to saturate at high fields as like the magnetization. Anomalous contribution to Sxy was extracted from total Sxy measured and it exhibits a maximum value of ~ 0.21 microV/K at 180 K for H = 50 kOe, which is comparable to the value found in a single crystal for a lower Sr content. The Joule magnetostriction is positive, i.e., the length of the sample expands along the direction of the magnetic field and it does not saturate even at 50 kOe. The magnetostriction increases with decreasing temperature below TC and reaches a maximum value of 500 ppm at T = 40 K and below. Coexistence of the anomalous Nernst thermopower and giant magnetostriction in a single compound has potential applications for thermal energy harvesting and low-temperature actuators, respectively.


title: SODA: A Semantics-Aware Optimization Framework for Data-Intensive Applications Using Hybrid Program Analysis

abstract: In the era of data explosion, a growing number of data-intensive computing frameworks, such as Apache Hadoop and Spark, have been proposed to handle the massive volume of unstructured data in parallel. Since programming models provided by these frameworks allow users to specify complex and diversified user-defined functions (UDFs) with predefined operations, the grand challenge of tuning up entire system performance arises if programmers do not fully understand the semantics of code, data, and runtime systems. In this paper, we design a holistic semantics-aware optimization for data-intensive applications using hybrid program analysis} (SODA) to assist programmers to tune performance issues. SODA is a two-phase framework: the offline phase is a static analysis that analyzes code and performance profiling data from the online phase of prior executions to generate a parameterized and instrumented application; the online phase is a dynamic analysis that keeps track of the application's execution and collects runtime information of data and system. Extensive experimental results on four real-world Spark applications show that SODA can gain up to 60%, 10%, 8%, faster than its original implementation, with the three proposed optimization strategies, i.e., cache management, operation reordering, and element pruning, respectively.


title: Secure Links: Secure-by-Design Communications in IEC 61499 Industrial Control Applications

abstract: Increasing automation and external connectivity in industrial control systems (ICS) demand a greater emphasis on software-level communication security. In this article, we propose a secure-by-design development method for building ICS applications, where requirements from security standards like ISA/IEC 62443 are fulfilled by design-time abstractions called secure links. Proposed as an extension to the IEC 61499 development standard, secure links incorporate both light-weight and traditional security mechanisms into applications with negligible effort. Applications containing secure links can be automatically compiled into fully IEC 61499-compliant software. Experimental results show secure links significantly reduce design and code complexity and improve application maintainability and requirements traceability.


title: A Robust Partial Correlation-based Screening Approach

abstract: As a computationally fast and working efficient tool, sure independence screening has received much attention in solving ultrahigh dimensional problems. This paper contributes two robust sure screening approaches that simultaneously take into account heteroscedasticity, outliers, heavy-tailed distribution, continuous or discrete response, and confounding effect, from the perspective of model-free. First, we define a robust correlation measure only using two random indicators, and introduce a screener using that correlation. Second, we propose a robust partial correlation-based screening approach when an exposure variable is available. To remove the confounding effect of the exposure on both response and each covariate, we use a nonparametric regression with some specified loss function. More specifically, a robust correlation-based screening method (RC-SIS) and a robust partial correlation-based screening framework (RPC-SIS) including two concrete screeners: RPC-SIS(L2) and RPC-SIS(L1), are formed. Third, we establish sure screening properties of RC-SIS for which the response variable can be either continuous or discrete, as well as those of RPC-SIS(L2) and RPC-SIS(L1) under some regularity conditions. Our approaches are essentially nonparametric, and perform robustly for both the response and the covariates. Finally, extensive simulation studies and two applications are carried out to demonstrate the superiority of our proposed approaches.


title: Non-parametric modeling of the cosmological data, base on the $\chi^2$ distribution

abstract: In the $\Lambda$CDM model, cosmological observations from the late and recent universe reveal a puzzling $\sim 4.5\sigma$ tension in the current rate of universe expansion. In addition to the various scenarios suggested to resolve the tension, non-parametric modeling may provide useful insights. In this paper, we look at three well-known non-parametric methods, the smoothing method, the genetic algorithm, and the Gaussian process. Considering these three methods, we employ the recent Hubble parameters data to reconstruct the rate of universe expansion and supernovae Pantheon sample to reconstruct the luminosity distance. In contrast to the similar studies in the literature, the chi-squared distribution has been used to construct a reliable criterion to select a reconstruction. Finally, we compute the current rate of universe expansion ($H_0$) for each method, provide some discussions regarding the performance of each approach, and compare the results.


title: A Survey of Semantics-Aware Performance Optimization for Data-Intensive Computing

abstract: We are living in the era of Big Data and witnessing the explosion of data. Given that the limitation of CPU and I/O in a single computer, the mainstream approach to scalability is to distribute computations among a large number of processing nodes in a cluster or cloud. This paradigm gives rise to the term of data-intensive computing, which denotes a data parallel approach to process massive volume of data. Through the efforts of different disciplines, several promising programming models and a few platforms have been proposed for data-intensive computing, such as MapReduce, Hadoop, Apache Spark and Dyrad. Even though a large body of research work has being proposed to improve overall performance of these platforms, there is still a gap between the actual performance demand and the capability of current commodity systems. This paper is aimed to provide a comprehensive understanding about current semantics-aware approaches to improve the performance of data-intensive computing. We first introduce common characteristics and paradigm shifts in the evolution of data-intensive computing, as well as contemporary programming models and technologies. We then propose four kinds of performance defects and survey the state-of-the-art semantics-aware techniques. Finally, we discuss the research challenges and opportunities in the field of semantics-aware performance optimization for data-intensive computing.


title: Performance assessment of CUDA and OpenACC in large scale combustion simulations

abstract: GPUs have climbed up to the top of supercomputer systems making life harder to many legacy scientific codes. Nowadays, many recipes are being used in such code's portability, without any clarity of which is the best option. We present a comparative analysis of the two most common approaches, CUDA and OpenACC, into the multi-physics CFD code Alya. Our focus is the combustion problems which are one of the most computing demanding CFD simulations. The most computing-intensive parts of the code were analyzed in detail. New data structures for the matrix assembly step have been created to facilitate a SIMD execution that benefits vectorization in the CPU and stream processing in the GPU. As a result, the CPU code has improved its performance by up to 25%. In GPU execution, CUDA has proven to be up to 2 times faster than OpenACC for the assembly of the matrix. On the contrary, similar performance has been obtained in the kernels related to vector operations used in the linear solver, where there is minimal memory reuse.


title: Nonreversible Markov chain Monte Carlo algorithm for efficient generation of Self-Avoiding Walks

abstract: We introduce an efficient nonreversible Markov chain Monte Carlo algorithm to generate self-avoiding walks with a variable endpoint. In two dimensions, the new algorithm slightly outperforms the two-move nonreversible Berretti-Sokal algorithm introduced by H.~Hu, X.~Chen, and Y.~Deng in \cite{old}, while for three-dimensional walks, it is 3--5 times faster. The new algorithm introduces nonreversible Markov chains that obey global balance and allows for three types of elementary moves on the existing self-avoiding walk: shorten, extend or alter conformation without changing the walk's length.

categories: cond-mat.stat-mech cs.IT math.IT math.PR stat.AP


title: Groupes arithm\'etiques et approximation diophantienne

abstract: We develop a theory of diophantine approximation on generalized flag varieties, varieties that can be obtained as a quotient of a semisimple algebraic group by a parabolic subgroup. Using methods from the theory of arithmetic groups, due in particular to Borel and Harish-Chandra, and to Margulis and his collaborators, we prove in this setting analogs of the classical theorems of diophantine approximation.


title: Anisotropic Li diffusion in pristine and defective ZnO

abstract: We study the Li interstitial diffusion in pristine and defective ZnO bulk by means of first-principles density functional theory (DFT) coupled with Nudged Elastic Band (NEB) calculations. We consider three types of point defects, i.e., oxygen vacancy (Ovac), Zn vacancy (Znvac) and ZnO vacancy pair (ZnOvac-pair) and investigate their individual effect on the energy barrier of Li interstitial diffusion. Our results predict that Ovac and Znvac lower the Li diffusion energy barrier as compared to the pristine ZnO case. However, we further find that Li interstitial on the other hand may possibly be trapped inside the Znvac subsequently forming the LiZn substitutional type of defect. The similar behavior also observed for Li interstitial in the vicinity of Zn-Ovac_pair though with less change of Li diffusion barriers as compared to the other two cases. Our results indicate that among the three considered defects only Ovac shows possible enhancement of the kinetics of Li diffusion inside ZnO bulk.


title: Ethylene Carbonate Adsorption and Decomposition on Pristine and Defective ZnO (1010) Surface: A First-Principles Study

abstract: Fundamental understanding of the reactivity between coating material of Li-ion battery cathode and electrolyte is important in order to obtain suitable coating candidates. Herein, we study ethylene carbonate (EC) adsorption and decomposition reactions on pristine, O vacancy- and Zn vacancy-defected ZnO (10-10) by means of first-principles density functional theory (DFT) calculations. Possible decomposition pathways via H-abstraction and EC ring-opening reaction that leads to the generation of CO2 and C2H4 gases are studied from the thermodynamic and kinetic aspects. Firstly, we find that molecular EC preferably adsorbs on both pristine and defective ZnO (1010) via the bonding between its carbonyl oxygen (OC) and surface Zn. Secondly, subsequent decomposition reactions show large tendency of EC to decompose on both pristine and defective ZnO (10-10). This tendency is indicated by the large thermodynamic driving forces to decompose EC that range from -1.5 eV to -2.5 eV on both pristine and defective ZnO (10-10) (calculated with respect to EC gas phase). The large tendency of EC to decompose, however, is hindered by the high activation barriers of the EC decomposition, shown by the lowest activation barrier of 0.96 eV on Zn vacancy defected ZnO (10-10). Our results thus indicate that EC decomposition on ZnO (10-10) is mainly hindered due to its slow rate of decomposition instead of the thermodynamic factors.


title: Improved inference for vaccine-induced immune responses via shape-constrained methods

abstract: We study the performance of shape-constrained methods for evaluating immune response profiles from early-phase vaccine trials. The motivating problem for this work involves quantifying and comparing the IgG binding immune responses to the first and second variable loops (V1V2 region) arising in HVTN 097 and HVTN 100 HIV vaccine trials. We consider unimodal and log-concave shape-constrained methods to compare the immune profiles of the two vaccines, which is reasonable because the data support that the underlying densities of the immune responses could have these shapes. To this end, we develop novel shape-constrained tests of stochastic dominance and shape-constrained plug-in estimators of the Hellinger distance between two densities. Our techniques are either tuning parameter free, or rely on only one tuning parameter, but their performance is either better (the tests of stochastic dominance) or comparable with the nonparametric methods (the estimators of Hellinger distance). The minimal dependence on tuning parameters is especially desirable in clinical contexts where analyses must be prespecified and reproducible. Our methods are supported by theoretical results and simulation studies.


title: Dynamical preparation of an atomic condensate in a Hofstadter band

abstract: The creation of a Hamiltonian in the quantum regime which has non-trivial topological features is a central goal of the cold-atom community, enabling widespread exploration of novel phases of quantum matter. A general scheme to synthesize such Hamiltonians is based on dynamical modulation of optical lattices which thereby generate vector potentials. At the same time the modulation can lead to heating and serious difficulties with equilibration. Here we show that these challenges can be overcome by demonstrating how a Hofstadter Bose-Einstein condensate (BEC) can be dynamically realized, using experimental protocols. From Gross-Pitaevskii simulations our study reveals a complex, multistage evolution; this includes a chaotic intermediate "heating" stage followed by a spontaneous reentrance to the BEC. The observed behavior is reminiscent of evolution in cosmological models.


title: Dynamic Portal Occlusion for Precomputed Interactive Sound Propagation

abstract: An immersive audio-visual experience in games and virtual reality requires fast calculation of diffraction-based acoustic effects. To maintain plausibility, the effects must retain spatial smoothness on source and listener motion within geometrically complex scenes. Precomputed wave-based techniques can render such results at low runtime CPU cost, but remain limited to static scenes. Modeling the occlusion effect of dynamic portals such as doors present an unresolved challenge to maintain audio-visual consistency. We present a fast solution implementable as a drop-in extension to existing precomputed systems. Key is a novel portal-search method that leverages precomputed propagation delay and direction data to find portals intervening the diffracted shortest path connecting dynamic source and listener at runtime. The method scales linearly with number of portals in worst case, far cheaper than explicit global path search that scales with scene area. We discuss culling techniques to accelerate further. The search algorithm is combined with geometric-acoustic approximations to model the additional direct and indirect energy loss from intervening portals depending on their dynamic closure state. We demonstrate plausible audio-visual animations within our system integrated with Unreal Engine 4 (TM) and AudioKinetic Wwise (TM).


title: A Note on Liouvillian Picard-Vessiot Extensions

abstract: In this paper, we prove a new characterization theorem for Picard-Vessiot extensions whose differential Galois groups have solvable identity components.


title: Tunable coupling scheme for implementing two-qubit gates on fluxonium qubits

abstract: The superconducting fluxonium circuit is an RF-SQUID-type flux qubit that uses a large inductance built from an array of Josephson junctions or a high kinetic inductance material. This inductance suppresses charge sensitivity exponentially and flux sensitivity quadratically. In contrast to the transmon qubit, the anharmonicity of fluxonium can be large and positive, allowing for better separation between the low energy qubit manifold of the circuit and higher-lying excited states. Here, we propose a tunable coupling scheme for implementing two-qubit gates on fixed-frequency fluxonium qubits, biased at half flux quantum. In this system, both qubits and coupler are coupled capacitively and implemented as fluxonium circuits with an additional harmonic mode. We investigate the performance of the scheme by simulating a universal two-qubit fSim gate. In the proposed approach, we rely on a planar on-chip architecture for the whole device. Our design is compatible with existing hardware for transmon-based devices, with the additional advantage of lower qubit frequency facilitating high-precision gating.


title: Randomly packed Ni$_2$MnIn and NiMn structural units in off stoichiometric Ni$_2$Mn$_{2-y}$In$_y$ alloys

abstract: Ni$_2$Mn$_{2-y}$In$_y$ alloys transform from the martensitic $L1_0$ antiferromagnetic ground state near $y = 0$ to austenitic ferromagnetic $L2_1$ Heusler phase near $y = 1$ due to doping of In impurity for Mn. The off stoichiometric alloys prepared by rapid quenching are structurally metastable and dissociate into a mixture of $L2_1$ (Ni$_2$MnIn) and $L1_0$ (NiMn) phases upon temper annealing. Despite this structural disintegration, the martensitic transformation temperature remains invariant in the temper annealed alloys. Investigations of the local structure of the constituent atoms reveal the presence of strongly coupled Ni$_2$MnIn and NiMn structural units in the temper annealed as well as the rapidly quenched off stoichiometric Ni$_2$Mn$_{2-y}$In$_y$ alloys irrespective of their crystal structure. This random packing of the $L2_1$ and $L1_0$ structural units seems to be responsible for invariance of martensitic transition temperature in the temper annealed alloys as well as the absence of strain glass transition in rapidly quenched alloys.


title: The Regulated NiCu Cycles with the new $^{57}$Cu(p,$\gamma$)$^{58}$Zn reaction rate and the Influence on Type-I X-Ray Bursts: GS 1826$-$24 Clocked Burster

abstract: During the X-ray bursts of GS 1826$-$24, "clocked burster", the nuclear reaction flow that surges through the rapid-proton capture process path has to pass through the NiCu cycles before reaching the ZnGa cycles that moderate the further extent of hydrogen burning in the region above germanium and selenium isotopes. The $^{57}$Cu(p,$\gamma$)$^{58}$Zn reaction located in the NiCu cycles plays an important role in influencing the burst light curves as found by Cyburt et al. (2016). We deduce the $^{57}$Cu(p,$\gamma$)$^{58}$Zn reaction rate based on the experimentally determined important nuclear structure information, isobaric-multiplet-mass equation, and large-scale shell model calculations. Based on the isobaric-multiplet-mass equation, we propose a possible order of $1^+_1$ and $2^+_3$ dominant resonance states and constrain the resonance energy of the $1^+_2$ state. The latter reduces the contribution of the $1^+_2$ dominant resonance state. The new reaction rate is up to a factor of four lower than the Forstner et al. (2001) rate recommended by JINA REACLIB v2.2 at the temperature regime sensitive to clocked bursts of GS 1826$-$24. Using the simulation from the one-dimensional implicit hydrodynamic code, KEPLER, to model the thermonuclear X-ray bursts of GS 1826$-$24 clocked burster, we find that the new $^{57}$Cu(p,$\gamma$)$^{58}$Zn coupled with the latest $^{56}$Ni(p,$\gamma$)$^{57}$Cu and $^{55}$Ni(p,$\gamma$)$^{56}$Cu reaction rates redistributes the reaction flow in the NiCu cycles and strongly influences the burst ash composition, whereas the $^{59}$Cu(p,$\alpha$)$^{56}$Ni and $^{59}$Cu(p,$\gamma$)$^{60}$Zn reactions suppress the influence of the $^{57}$Cu(p,$\gamma$)$^{58}$Zn reaction and diminish the impact of nuclear reaction flow that by-passes the important $^{56}$Ni waiting point induced by the $^{55}$Ni(p,$\gamma$)$^{56}$Cu reaction on burst light curve.


title: Local Analysis of Heterogeneous Intracellular Transport: Slow and Fast moving Endosomes

abstract: Trajectories of endosomes inside living eukaryotic cells are highly heterogeneous in space and time and diffuse anomalously due to a combination of viscoelasticity, caging, aggregation and active transport. Some of the trajectories display switching between persistent and anti-persistent motion while others jiggle around in one position for the whole measurement time. By splitting the ensemble of endosome trajectories into slow moving sub-diffusive and fast moving super-diffusive endosomes, we analyzed them separately. The mean squared displacements and velocity auto-correlation functions confirm the effectiveness of the splitting methods. Applying the local analysis, we show that both ensembles are characterized by a spectrum of local anomalous exponents and local generalized diffusion coefficients. Slow and fast endsomes have exponential distributions of local anomalous exponents and power law distributions of generalized diffusion coefficients. This suggests that heterogeneous fractional Brownian motion is an appropriate model for both fast and slow moving endosomes. This article is part of a Special Issue entitled: "Recent Advances In Single-Particle Tracking: Experiment and Analysis" edited by Janusz Szwabi\'nski and Aleksander Weron.


title: Ergodic problems for contact Hamilton-Jacobi equations

abstract: This paper deals with the generalized ergodic problem \[ H(x,u(x),Du(x))=c, \quad x\in M, \] where the unknown is a pair $(c,u)$ of a constant $c \in \mathbb{R}$ and a function $u$ on $M$ for which $u$ is a viscosity solution. We assume $H=H(x,u,p)$ satisfies Tonelli conditions in the argument $p\in T^*_xM$ and the Lipschitz condition in the argument $u\in\R$. For a given $c\in \R$, we first discuss necessary and sufficient conditions for the existence of viscosity solutions. Let $\mathfrak{C}$ denote the set of all real numbers $c$'s for which the above equation admits viscosity solutions. Then we show $\mathfrak{C}$ is an interval, whose endpoints $\x$, $\y$ with $\x\leqslant\y$ can be characterized by a min-max formula and a max-min formula, respectively. The most significant finding is that we figure out the structure of $\mathfrak{C}$ without monotonicity assumptions on $u$.


title: Axially symmetric particlelike solutions with the flux of a magnetic field in the non-Abelian Proca-Higgs theory

abstract: Within the non-Abelian SU(2) Proca-Higgs theory, we study localised axially symmetric solutions possessing a finite field energy. It is shown that in a certain sense such solutions are analogues of the Nielsen-Olesen tube, since they have a longitudinal magnetic field creating a flux of this field over the central cross-section of the Proca tube. The main difference between the Proca tube and the Nielsen-Olesen tube is that the Proca tube is described by a topologically trivial solution and has finite size, since its energy density decreases exponentially with distance. The dependence of the total field mass of the Proca tube on the value of one of the parameters determining the solution is examined in detail. The solutions are obtained both in the presence and in the absence of external sources (charge and current densities).


title: Signed $(0,2)$-graphs with few eigenvalues and a symmetric spectrum

abstract: We investigate properties of signed graphs that have few distinct eigenvalues together with a symmetric spectrum. Our main contribution is to determine all signed $(0,2)$-graphs with vertex degree at most $6$ that have precisely two distinct eigenvalues $\pm \lambda$. Next, we consider to what extent induced subgraphs of signed graph with two distinct eigenvalues $\pm \lambda$ are determined by their spectra. Lastly, we classify signed $(0,2)$-graphs that have a symmetric spectrum with three distinct eigenvalues and give a partial classification for those with four distinct eigenvalues.


title: Energy and waiting time distributions of FRB 121102 observed by FAST

abstract: The energy and waiting time distributions are important properties for understanding the physical mechanism of repeating fast radio bursts (FRBs). Recently, the Five-hundred-meter Aperture Spherical radio Telescope (FAST) detected the largest burst sample of FRB 121102, containing 1652 bursts. We use this sample to investigate the energy and waiting time distributions. The energy count distribution $dN/dE$ at the high-energy range ($>10^{38}$ erg) can be fitted with a single power-law function with an index of $-1.86 ^{+0.02}_{-0.02}$, while the distribution at the low-energy range deviates from the power-law function. An interesting result of Li et al. (2021) is that there is an apparent temporal gap between early bursts (occurring before MJD 58740) and late bursts (occurring after MJD 58740). We find the energy distributions of high-energy bursts at different epochs are inconsistent. The power-law index is $-1.70^{+0.03}_{-0.03}$ for early bursts and $-2.60^{+0.15}_{-0.14}$ for late bursts. For bursts observed in a single day, a linear repetition pattern is found. We use the Weibull function to fit the distribution of waiting time of consecutive bursts. The shape parameter $k = 0.72^{+0.01}_{-0.01}$ and the event rate $r = 736.43^{+26.55}_{-28.90}$ day$ ^{-1} $ are derived. If the waiting times with $\delta_t < 28$ s are excluded, the burst behavior can be described by a Poisson process. The best-fitting values of $k$ are slightly different for low-energy ($E < 1.58\times10^{38}$ erg) and high-energy ($E > 1.58\times10^{38}$ erg) bursts.


title: PMC Biconservative Surfaces in Complex Space Forms

abstract: In this article we consider PMC surfaces in complex space forms, and we study the interaction between the notions of PMC, totally real and biconservative. We first consider PMC surfaces in non-flat complex space forms and we prove that they are biconservative if and only if totally real. Then, we find a Simons type formula for a well-chosen vector field constructed from the mean curvature vector field. Next, we prove a rigidity result for CMC biconservative surfaces in 2-dimensional complex space forms. We prove then a reduction codimension result for PMC biconservative surfaces in non-flat complex space forms. We conclude by constructing from the Segre embedding examples of CMC non-PMC biconservative submanifolds, and we also discuss when they are proper-biharmonic.


title: Proposal for measuring Newtonian constant of gravitation at an exceptional point in an optomechanical system

abstract: We develop a quantum mechanical method of measuring the Newtonian constant of gravitation, G. In this method, an optomechanical system consisting of two cavities and two membrane resonators is used. The added source mass would induce the shifts of the eigenfrequencies of the supermodes. Via detecting the shifts, we can perform our measurement of G. Furthermore, our system can features exceptional point (EP) which are branch point singularities of the spectrum and eigenfunctions. In the paper, we demonstrate that operating the system at EP can enhance our measurement of G. In addition, we derive the relationship between EP enlarged eigenfrequency shift and the Newtonian constant. This work provides a way to engineer EP-assisted optomechanical devices for applications in the field of precision measurement of G


title: A Fast Temporal Decomposition Procedure for Long-horizon Nonlinear Dynamic Programming

abstract: We propose a fast temporal decomposition procedure for solving long-horizon nonlinear dynamic programs. The core of the procedure is sequential quadratic programming (SQP) that utilizes a differentiable exact augmented Lagrangian as the merit function. Within each SQP iteration, we approximately solve the Newton system using an overlapping temporal decomposition strategy. We show that the approximate search direction is still a descent direction of the augmented Lagrangian, provided the overlap size and penalty parameters are suitably chosen, which allows us to establish the global convergence. Moreover, we show that a unit stepsize is accepted locally for the approximate search direction, and further establish a uniform, local linear convergence over stages. This local convergence rate matches the rate of the recent Schwarz scheme by Na et al., 2022. However, the Schwarz scheme has to solve nonlinear subproblems to optimality in each iteration, while we only perform a single Newton step instead. Numerical experiments validate our theories and demonstrate the superiority of our method.


title: Regular homogeneously traceable nonhamiltonian graphs

abstract: A graph is called homogeneously traceable if every vertex is an endpoint of a Hamilton path. In 1979 Chartrand, Gould and Kapoor proved that for every integer $n\ge 9,$ there exists a homogeneously traceable nonhamiltonian graph of order $n.$ The graphs they constructed are irregular. Thus it is natural to consider the existence problem of regular homogeneously traceable nonhamiltonian graphs. We prove two results: (1) For every even integer $n\ge 10,$ there exists a cubic homogeneously traceable nonhamiltonian graph of order $n;$ (2) for every integer $p\ge 18,$ there exists a $4$-regular homogeneously traceable graph of order $p$ and circumference $p-4.$ Unsolved problems are posed.


title: Controllable Majorana vortex states in iron-based superconducting nanowires

abstract: There has been experimental evidence for the Majorana zero modes (MZMs) in solid state systems, which are building blocks for potential topological quantum computing. It is important to design devices, in which MZMs are easy to manipulate and possess a broad topological non-trivial parameter space for fusion and braiding. Here, we propose that the Majorana vortex states in iron-based superconducting nanowires fulfill these desirable conditions. This system has a radius-induced topological phase transition, giving a lower limit to the radius of the nanowire. In the topological phase, there is only one pair of MZMs in the nanowire over a wide range of radius, chemical potential, and external magnetic field. The wavefunction of the MZM has a sizable distribution at the side edge of the nanowire. This property enables one to control the interaction of the MZMs in neighboring vortex nanowires, and paves the way for Majorana fusion and braiding.


title: Equitable partitions for Ramanajun graphs

abstract: For d-regular graph G, an edge-signing sigma:E(G) \rightarrow {-1,1} is called a good signing if the absolute eigenvalues of adjacency matrix are at most 2 \sqrt{d-1}. Bilu-Linial conjectured that for each regular graph there exists a good signing. In this paper, by using new concept "Equitable Partition", we solve the Bilu-Linial Conjecture for some cases. We show that how to find out a good signing for special complete graphs and lexicographic product of two graphs. In particular, if there exist two good signings for graph G, then we can find a good signing for a 2-lift of G.


title: Projectively enriched symmetry and topology in acoustic crystals

abstract: Symmetry plays a key role in modern physics, as manifested in the revolutionary topological classification of matter in the past decade. So far, we seem to have a complete theory of topological phases from internal symmetries as well as crystallographic symmetry groups. However, an intrinsic element, i.e., the gauge symmetry in physical systems, has been overlooked in the current framework. Here, we show that the algebraic structure of crystal symmetries can be projectively enriched due to the gauge symmetry, which subsequently gives rise to new topological physics never witnessed under ordinary symmetries. We demonstrate the idea by theoretical analysis, numerical simulation, and experimental realization of a topological acoustic lattice with projective translation symmetries under a $Z_2$ gauge field, which exhibits unique features of rich topologies, including a single Dirac point, M\"{o}bius topological insulator and graphene-like semimetal phases on a rectangular lattice. Our work reveals the impact when gauge and crystal symmetries meet together with topology, and opens the door to a vast unexplored land of topological states by projective symmetries.


title: On the Le Cam distance between multivariate hypergeometric and multivariate normal experiments

abstract: In this short note, we develop a local approximation for the log-ratio of the multivariate hypergeometric probability mass function over the corresponding multinomial probability mass function. In conjunction with the bounds from Carter (2002) and Ouimet (2021) on the total variation between the law of a multinomial vector jittered by a uniform on $(-1/2,1/2)^d$ and the law of the corresponding multivariate normal distribution, the local expansion for the log-ratio is then used to obtain a total variation bound between the law of a multivariate hypergeometric random vector jittered by a uniform on $(-1/2,1/2)^d$ and the law of the corresponding multivariate normal distribution. As a corollary, we find an upper bound on the Le Cam distance between multivariate hypergeometric and multivariate normal experiments.


title: Going Deeper into Semi-supervised Person Re-identification

abstract: Person re-identification is the challenging task of identifying a person across different camera views. Training a convolutional neural network (CNN) for this task requires annotating a large dataset, and hence, it involves the time-consuming manual matching of people across cameras. To reduce the need for labeled data, we focus on a semi-supervised approach that requires only a subset of the training data to be labeled. We conduct a comprehensive survey in the area of person re-identification with limited labels. Existing works in this realm are limited in the sense that they utilize features from multiple CNNs and require the number of identities in the unlabeled data to be known. To overcome these limitations, we propose to employ part-based features from a single CNN without requiring the knowledge of the label space (i.e., the number of identities). This makes our approach more suitable for practical scenarios, and it significantly reduces the need for computational resources. We also propose a PartMixUp loss that improves the discriminative ability of learned part-based features for pseudo-labeling in semi-supervised settings. Our method outperforms the state-of-the-art results on three large-scale person re-id datasets and achieves the same level of performance as fully supervised methods with only one-third of labeled identities.


title: Unravelling the phonon scattering mechanism in Half-Heusler alloys ZrCo1-xIrxSb (x = 0, 0.1, and 0.25)

abstract: Insight about the scattering mechanisms responsible for reduction in the lattice thermal conductivity (\k{appa}L) in Half-Heusler alloys (HHA) is imperative. In this context, we have thoroughly investigated the temperature response of thermal conductivity of ZrCo1-xIrxSb (x = 0, 0.1 and 0.25). For ZrCoSb, \k{appa}L is found to be ~15.13 W/m-K at 300 K, which is drastically reduced to ~4.37 W/m-K in ZrCo0.9Ir0.1Sb. This observed reduction is ascribed to softening of acoustic phonon modes and point defect scattering, on substitution of heavier mass. However, no further reduction in \k{appa}L is observed in ZrCo0.75Ir0.25Sb, because of identical scattering parameter. This has been elucidated based on the Klemens Callaway model. Also, in the parent alloy, phonon-phonon scattering mechanism plays a significant role in heat conduction process, whereas in Ir substituted alloys, point defect scattering (below 500 K) and phonon-phonon scattering (above 750 K) are the dominant scattering mechanisms. The minimum \k{appa}L is found to be ~1.73 W/m-K (at 950 K) in ZrCo0.9Ir0.1Sb, which is the lowest reported value till now, for n-type Zr based HHA. Our studies indicate that partial substitution of heavier mass element Ir at Co-site effectively reduces the \k{appa}L of n-type ZrCoSb, without modifying the nature of charge carriers.


title: Wasserstein Convergence for Empirical Measures of Subordinated Diffusions on Riemannian Manifolds

abstract: Let $M$ be a connected compact Riemannian manifold possibly with a boundary, let $V\in C^2(M)$ such that $\mu(\d x):=\e^{V(x)}\d x$ is a probability measure, where $\d x$ is the volume measure, and let $L=\Delta+\nabla V$. The exact convergence rate in Wasserstein distance is derived for empirical measures of subordinations for the (reflecting) diffusion process generated by $L$.


title: Chemical design and magnetic ordering in thin layers of 2D MOFs

abstract: Through rational chemical design, and thanks to the hybrid nature of metal-organic frameworks (MOFs), it is possible to prepare molecule-based 2D magnetic materials stable at ambient conditions. Here, we illustrate the versatility of this approach by changing both the metallic nodes and the ligands in a family of layered MOFs that allows the tuning of their magnetic properties. Specifically, the reaction of benzimidazole-type ligands with different metal centres (MII = Fe, Co, Mn, Zn) in a solvent-free synthesis produces a family of crystalline materials, denoted as MUV-1(M), which order antiferromagnetically with critical temperatures that depend on M. Furthermore, the incorporation of additional substituents in the ligand results in a novel system, denoted as MUV-8, formed by covalently bound magnetic double-layers interconnected by van der Waals interactions, a topology that is very rare in the field of 2D materials and unprecedented for 2D magnets. These layered materials are robust enough to be mechanically exfoliated down to a few layers with large lateral dimensions. Finally, the robustness and crystallinity of these layered MOFs allow the fabrication of nanomechanical resonators that can be used to detect -- through laser interferometry -- the magnetic order in thin layers of these 2D molecule-based antiferromagnets.


title: Quantum field-theoretical description of neutrino oscillations in magnetic field

abstract: It is shown that the processes of neutrino oscillations in a magnetic field can be consistently described in the framework of a new quantum field-theoretical approach without use of the neutrino flavor states. It is based on the Feynman diagram technique with a modified distance-dependent propagator, which takes into account the geometry of neutrino oscillation experiments. Processes of neutrino oscillations in a magnetic field, where the neutrinos are detected through the weak charged- and neutral-current interaction, have been studied and numerical calculations have been carried out for some specific examples. Implications for the solar neutrinos are briefly discussed, and formulas for the asymptotic values of the normalized probability of solar neutrino oscillation processes are derived, which coincide with the observable ratio of the measurable neutrino flux to that predicted by the standard solar model.


title: Performance of ZnSe-based scintillators at low temperatures

abstract: Applications that utilize scintillation detectors at low temperatures are growing in number. Many of these require materials with high light yield and a fast response. Here we report on the low-temperature characterisation of ZnSe doped with Al or Te, respectively. The X-ray luminescence and decay curves were measured over the 77- 295 K temperature range, and alpha particle excitation was used to examine scintillation light output and decay kinetics over the range 9-295 K. A significant improvement of the scintillation characteristics was observed at cooling below 100 K. The scintillation light yield of the crystals increases by a factor about two, and the decay time constant decreases by almost an order of magnitude to 0.3-0.4 microsec. These improvements enhance the potential of ZnSe-based crystals for application in cryogenic scintillation detectors of ionising radiation.


title: The USYD-JD Speech Translation System for IWSLT 2021

abstract: This paper describes the University of Sydney& JD's joint submission of the IWSLT 2021 low resource speech translation task. We participated in the Swahili-English direction and got the best scareBLEU (25.3) score among all the participants. Our constrained system is based on a pipeline framework, i.e. ASR and NMT. We trained our models with the officially provided ASR and MT datasets. The ASR system is based on the open-sourced tool Kaldi and this work mainly explores how to make the most of the NMT models. To reduce the punctuation errors generated by the ASR model, we employ our previous work SlotRefine to train a punctuation correction model. To achieve better translation performance, we explored the most recent effective strategies, including back translation, knowledge distillation, multi-feature reranking and transductive finetuning. For model structure, we tried auto-regressive and non-autoregressive models, respectively. In addition, we proposed two novel pre-train approaches, i.e. \textit{de-noising training} and \textit{bidirectional training} to fully exploit the data. Extensive experiments show that adding the above techniques consistently improves the BLEU scores, and the final submission system outperforms the baseline (Transformer ensemble model trained with the original parallel data) by approximately 10.8 BLEU score, achieving the SOTA performance.


title: A Data-Directed Paradigm for BSM searches: the bump-hunting example

abstract: We propose a data-directed paradigm (DDP) to search for new physics. Focusing on the data without using simulations, exclusive selections which exhibit significant deviations from known properties of the standard model can be identified efficiently and marked for further study. Different properties can be exploited with the DDP. Here, the paradigm is demonstrated by combining the promising potential of neural networks (NN) with the common bump-hunting approach. Using the NN, the resource-consuming tasks of background and systematic uncertainty estimation are avoided, allowing rapid testing of many final states with only a minor degradation in the sensitivity to bumps relative to standard analysis methods.


title: Reconstructing Images of Two Adjacent Objects through Scattering Medium Using Generative Adversarial Network

abstract: Reconstruction of image by using convolutional neural networks (CNNs) has been vigorously studied in the last decade. Until now, there have being developed several techniques for imaging of a single object through scattering medium by using neural networks, however how to reconstruct images of more than one object simultaneously seems hard to realize. In this paper, we demonstrate an approach by using generative adversarial network (GAN) to reconstruct images of two adjacent objects through scattering media. We construct an imaging system for imaging of two adjacent objects behind the scattering media. In general, as the light field of two adjacent object images pass through the scattering slab, a speckle pattern is obtained. The designed adversarial network, which is called as YGAN, is employed to reconstruct the images simultaneously. It is shown that based on the trained YGAN, we can reconstruct images of two adjacent objects from one speckle pattern with high fidelity. In addition, we study the influence of the object image types, and the distance between the two adjacent objects on the fidelity of the reconstructed images. Moreover even if another scattering medium is inserted between the two objects, we can also reconstruct the images of two objects from a speckle with high quality. The technique presented in this work can be used for applications in areas of medical image analysis, such as medical image classification, segmentation, and studies of multi-object scattering imaging etc.


title: Peace through bribing

abstract: We study a model in which before a conflict between two parties escalates into a war (in the form of an all-pay auction), a party can offer a take-it-or-leave-it bribe to the other for a peaceful settlement. In contrast to the received literature, we find that peace security is impossible in our model. We characterize the necessary and sufficient conditions for peace implementability. Furthermore, we find that separating equilibria do not exist and the number of (on-path) bribes in any non-peaceful equilibria is at most two. We also consider a requesting model and characterize the necessary and sufficient conditions for the existence of robust peaceful equilibria, all of which are sustained by the identical (on-path) request. Contrary to the bribing model, peace security is possible in the requesting model.


title: X-GGM: Graph Generative Modeling for Out-of-Distribution Generalization in Visual Question Answering

abstract: Encouraging progress has been made towards Visual Question Answering (VQA) in recent years, but it is still challenging to enable VQA models to adaptively generalize to out-of-distribution (OOD) samples. Intuitively, recompositions of existing visual concepts (\ie, attributes and objects) can generate unseen compositions in the training set, which will promote VQA models to generalize to OOD samples. In this paper, we formulate OOD generalization in VQA as a compositional generalization problem and propose a graph generative modeling-based training scheme (X-GGM) to implicitly model the problem. X-GGM leverages graph generative modeling to iteratively generate a relation matrix and node representations for the predefined graph that utilizes attribute-object pairs as nodes. Furthermore, to alleviate the unstable training issue in graph generative modeling, we propose a gradient distribution consistency loss to constrain the data distribution with adversarial perturbations and the generated distribution. The baseline VQA model (LXMERT) trained with the X-GGM scheme achieves state-of-the-art OOD performance on two standard VQA OOD benchmarks, \ie, VQA-CP v2 and GQA-OOD. Extensive ablation studies demonstrate the effectiveness of X-GGM components. Code is available at \url{https://github.com/jingjing12110/x-ggm}.


title: Experimental Quantum Target Detection Approaching the Fundamental Helstrom Limit

abstract: Quantum target detection is an emerging application that utilizes entanglement to enhance the sensing of the presence of an object. Although several experimental demonstrations for certain situations have been reported recently, the single-shot detection limit imposed by the Helstrom limit has not been reached because of the unknown optimum measurements. Here we report an experimental demonstration of quantum target detection, also known as quantum illumination, in the single-photon limit. In our experiment, one photon of the maximally entangled photon pair is employed as the probe signal and the corresponding optimum measurement is implemented at the receiver. We explore the detection problem in different regions of the parameter space and verify that the quantum advantage exists even in a forbidden region of the conventional illumination, where all classical schemes become useless. Our results indicate that quantum illumination breaks the classical limit for up to 40%, while approaching the quantum limit imposed by the Helstrom limit. These results not only demonstrate the advantage of quantum illumination, but also manifest its valuable potential of target detection.


title: Collective magnetic excitations in AA- and AB-stacked graphene bilayers

abstract: We discuss novel transverse plasmon-polaritons that are hosted by AA- and AB-stacked bilayer graphene due to perfect nesting. They are composed of oscillating counterflow currents in between the layers, giving a clear interpretation for these collective modes as magnetic excitations carrying magnetic moment parallel to the planes. For AA-stacked bilayer graphene, these modes can reach zero frequency at the neutrality point and we thus predict a symmetry broken ground-state leading to in-plane orbital ferromagnetism. Even though it could be hard to detect them in real solid-state devices, these novel magnetic plasmons should be observable in artificial set-ups such as optical lattices. Also, our results might be relevant for magic angle twisted bilayer graphene samples as their electronic properties are mostly determined by confined AA-stacked regions.


title: Reflection and Relay Dual-Functional RIS Assisted MU-MISO Systems

abstract: Reconfigurable intelligent surfaces (RISs) have been deemed as one of potential components of future wireless communication systems because they can adaptively manipulate the wireless propagation environment with low-cost passive devices. However, due to double fading effect, the passive RIS can offer sufficient signal strength only when receivers are nearby and located at the same side as the incident signals. Moreover, RIS cannot provide service coverage for the users at the back side of it. In this paper we introduce a novel reflection and relay dual-functional RIS architecture, which can simultaneously realize passive reflection and active relay functionalities to enhance the coverage. The problem of joint transmit beamforming and dual-functional RIS design is investigated to maximize the achievable sum-rate of a multiuser multiple-input single-output (MU-MISO) system. Based on fractional programming (FP) theory and majorization-minimization (MM) technique, we propose an efficient iterative transmit beamforming and RIS design algorithm. Simulation results demonstrate the superiority of the introduced dual-functional RIS architecture and the effectiveness of the proposed algorithm.


title: Bulk behaviour of ground states for relativistic Schr\"odinger operators with compactly supported potentials

abstract: We propose a probabilistic representation of the ground states of massive and massless Schr\"{o}dinger operators with a potential well in which the behaviour inside the well is described in terms of the moment generating function of the first exit time from the well, and the outside behaviour in terms of the Laplace transform of the first entrance time into the well. This allows an analysis of their behaviour at short to mid-range from the origin. In a first part we derive precise estimates on these two functionals for stable and relativistic stable processes. Next, by combining scaling properties and heat kernel estimates, we derive explicit local rates of the ground states of the given family of non-local Schr\"{o}dinger operators both inside and outside the well. We also show how this approach extends to fully supported decaying potentials. By an analysis close-by to the edge of the potential well, we furthermore show that the ground state changes regularity, which depends qualitatively on the fractional power of the non-local operator.


title: A short introduction to translation surfaces, Veech surfaces, and Teichmueller dynamics

abstract: We review the different notions about translation surfaces which are necessary to understand McMullen's classification of $GL_2^+(\mathbb{R})$-orbit closures in genus two. In Section 2 we recall the different definitions of a translation surface, in increasing order of abstraction, starting with cutting and pasting plane polygons, ending with Abelian differentials. In Section 3 we define the moduli space of translation surfaces and explain its stratification by the type of zeroes of the Abelian differential, the local coordinates given by the relative periods, its relationship with the moduli space of complex structures and the Teichm\H{u}ller geodesic flow. In Part II we introduce the $GL_2^+(\mathbb{R})$-action, and define the related notions of Veech group, Teichm\H{u}ller disk, and Veech surface. In Section 9 we explain how McMullen classifies $GL_2^+(\mathbb{R})$-orbit closures in genus $2$: you have orbit closures of dimension $1$ (Veech surfaces, of which a complete list is given), $2$ (Hilbert modular surfaces, of which again a complete list is given), and $3$ (the whole moduli space of complex structures). In the last section we review some recent progress in higher genus.


title: Deep observations of Kepler's SNR with H.E.S.S

abstract: Kepler's supernova remnant (SNR) which is produced by the most recent naked-eye supernova in our Galaxy is one of the best studied SNRs, but its gamma-ray detection has eluded us so far. Observations with modern imaging atmospheric Cherenkov telescopes (IACT) have enlarged the knowledge about nearby SNRs with ages younger than 500 years by establishing Cassiopeia A and Tycho's SNRs as very high energy (VHE) gamma-ray sources and setting a lower limit on the distance to Kepler's SNR. This SNR is significantly more distant than the other two and expected to be one of the faintest gamma-ray sources within reach of the IACT arrays of this generation. We report strong evidence for a VHE signal from Kepler's SNR based on deep observations of the High Energy Stereoscopic System (H.E.S.S.) with an exposure of 152 hours, including 122 hours accumulated in 2017-2020. We further discuss implications of this result for cosmic-ray acceleration in young SNRs.


title: Asymptotic expansion of the annealed Green's function and its derivatives

abstract: We consider random elliptic equations in dimension $d\geq 3$ at small ellipticity contrast. We derive the large-distance asymptotic expansion of the annealed Green's function up to order $4$ in $d=3$ and up to order $d+2$ for $d\geq 4$. We also derive asymptotic expansions of its derivatives. The obtained precision lies far beyond what is established in prior results in stochastic homogenization theory. Our proof builds on a recent breakthrough in perturbative stochastic homogenization by Bourgain in a refined version shown by Kim and the second author, and on Fourier-analytic techniques of Uchiyama.


title: Extending Challenge Sets to Uncover Gender Bias in Machine Translation: Impact of Stereotypical Verbs and Adjectives

abstract: Human gender bias is reflected in language and text production. Because state-of-the-art machine translation (MT) systems are trained on large corpora of text, mostly generated by humans, gender bias can also be found in MT. For instance when occupations are translated from a language like English, which mostly uses gender neutral words, to a language like German, which mostly uses a feminine and a masculine version for an occupation, a decision must be made by the MT System. Recent research showed that MT systems are biased towards stereotypical translation of occupations. In 2019 the first, and so far only, challenge set, explicitly designed to measure the extent of gender bias in MT systems has been published. In this set measurement of gender bias is solely based on the translation of occupations. In this paper we present an extension of this challenge set, called WiBeMT, with gender-biased adjectives and adds sentences with gender-biased verbs. The resulting challenge set consists of over 70, 000 sentences and has been translated with three commercial MT systems: DeepL Translator, Microsoft Translator, and Google Translate. Results show a gender bias for all three MT systems. This gender bias is to a great extent significantly influenced by adjectives and to a lesser extent by verbs.


title: Two Headed Dragons: Multimodal Fusion and Cross Modal Transactions

abstract: As the field of remote sensing is evolving, we witness the accumulation of information from several modalities, such as multispectral (MS), hyperspectral (HSI), LiDAR etc. Each of these modalities possess its own distinct characteristics and when combined synergistically, perform very well in the recognition and classification tasks. However, fusing multiple modalities in remote sensing is cumbersome due to highly disparate domains. Furthermore, the existing methods do not facilitate cross-modal interactions. To this end, we propose a novel transformer based fusion method for HSI and LiDAR modalities. The model is composed of stacked auto encoders that harness the cross key-value pairs for HSI and LiDAR, thus establishing a communication between the two modalities, while simultaneously using the CNNs to extract the spectral and spatial information from HSI and LiDAR. We test our model on Houston (Data Fusion Contest - 2013) and MUUFL Gulfport datasets and achieve competitive results.


title: On the scope of the Effros theorem

abstract: All spaces (and groups) are assumed to be separable and metrizable. Jan van Mill showed that every analytic group $G$ is Effros (that is, every continuous transitive action of $G$ on a non-meager space is micro-transitive). We complete the picture by obtaining the following results: under $\mathsf{AC}$, there exists a non-Effros group; under $\mathsf{AD}$, every group is Effros; under $\mathsf{V=L}$, there exists a coanalytic non-Effros group. The above counterexamples will be graphs of discontinuous homomorphisms.


title: Model-based micro-data reinforcement learning: what are the crucial model properties and which model to choose?

abstract: We contribute to micro-data model-based reinforcement learning (MBRL) by rigorously comparing popular generative models using a fixed (random shooting) control agent. We find that on an environment that requires multimodal posterior predictives, mixture density nets outperform all other models by a large margin. When multimodality is not required, our surprising finding is that we do not need probabilistic posterior predictives: deterministic models are on par, in fact they consistently (although non-significantly) outperform their probabilistic counterparts. We also found that heteroscedasticity at training time, perhaps acting as a regularizer, improves predictions at longer horizons. At the methodological side, we design metrics and an experimental protocol which can be used to evaluate the various models, predicting their asymptotic performance when using them on the control problem. Using this framework, we improve the state-of-the-art sample complexity of MBRL on Acrobot by two to four folds, using an aggressive training schedule which is outside of the hyperparameter interval usually considered


title: Accelerating Federated Edge Learning via Optimized Probabilistic Device Scheduling

abstract: The popular federated edge learning (FEEL) framework allows privacy-preserving collaborative model training via frequent learning-updates exchange between edge devices and server. Due to the constrained bandwidth, only a subset of devices can upload their updates at each communication round. This has led to an active research area in FEEL studying the optimal device scheduling policy for minimizing communication time. However, owing to the difficulty in quantifying the exact communication time, prior work in this area can only tackle the problem partially by considering either the communication rounds or per-round latency, while the total communication time is determined by both metrics. To close this gap, we make the first attempt in this paper to formulate and solve the communication time minimization problem. We first derive a tight bound to approximate the communication time through cross-disciplinary effort involving both learning theory for convergence analysis and communication theory for per-round latency analysis. Building on the analytical result, an optimized probabilistic scheduling policy is derived in closed-form by solving the approximate communication time minimization problem. It is found that the optimized policy gradually turns its priority from suppressing the remaining communication rounds to reducing per-round latency as the training process evolves. The effectiveness of the proposed scheme is demonstrated via a use case on collaborative 3D objective detection in autonomous driving.


title: Effect of the COVID-19 pandemic on bike-sharing demand and hire time: Evidence from Santander Cycles in London

abstract: The COVID-19 pandemic has been influencing travel behaviour in many urban areas around the world since the beginning of 2020. As a consequence, bike-sharing schemes have been affected partly due to the change in travel demand and behaviour as well as a shift from public transit. This study estimates the varying effect of the COVID-19 pandemic on the London bike-sharing system (Santander Cycles) over the period March-December 2020. We employed a Bayesian second-order random walk time-series model to account for temporal correlation in the data. We compared the observed number of cycle hires and hire time with their respective counterfactuals (what would have been if the pandemic had not happened) to estimate the magnitude of the change caused by the pandemic. The results indicated that following a reduction in cycle hires in March and April 2020, the demand rebounded from May 2020, remaining in the expected range of what would have been if the pandemic had not occurred. This could indicate the resiliency of Santander Cycles. With respect to hire time, an important increase occurred in April, May, and June 2020, indicating that bikes were hired for longer trips, perhaps partly due to a shift from public transit.


title: Constant $Q$-curvature metrics with a singularity

abstract: For dimensions $n \geq 3$, we classify singular solutions to the generalized Liouville equation $(-\Delta)^{n/2} u = e^{nu}$ on $\mathbb{R}^n \setminus \{0\}$ with the finite integral condition $\int_{\mathbb{R}^n} e^{nu} < \infty$ in terms of their behavior at $0$ and $\infty$. These solutions correspond to metrics of constant $Q$-curvature which are singular in the origin. Conversely, we give an optimal existence result for radial solutions. This extends some recent results on solutions with singularities of logarithmic type to allow for singularities of arbitrary order. As a key tool to the existence result, we derive a new weighted Moser--Trudinger inequality for radial functions.


title: Superposition model test in small CORSIKA shower simulations

abstract: The calculation of the flux of particles reaching the earth's surface, as well as cases of simultaneous arrival at the observation level of groups of particles -- very small Extensive Air Showers, require simulation calculations and taking into account a much greater extent of fluctuations of the development of the showers generated by very low energy cosmic ray particles, much greater than usual for showers with energies near the "knee" and above due to the very steep cosmic ray energy spectrum. These fluctuation depend significantly on the mass number of the primary cosmic ray particle. Nuclei are sets of nucleons and it seems an obvious approximation to assume that the extensive air showers initiated in the upper atmosphere by atomic nuclei are a convolution of the showers generated by single nucleons. This is called the superposition hypothesis. In this paper, we test this superposition model. We will show, using results of a detailed simulation program CORSIKA, that the superposition assumption is not fulfilled for higher moments of the distributions of the main characteristics of extensive air showers. We will discussed some extensions of the simply superposition model that ensure consistency with the results of detailed simulations.


title: Blockchain Transaction Processing

abstract: A blockchain is an append-only linked-list of blocks, which is maintained at each participating node. Each block records a set of transactions and their associated metadata. Blockchain transactions act on the identical ledger data stored at each node. Blockchain was first perceived by Satoshi Nakamoto as a peer-to-peer digital-commodity (also known as crypto-currency) exchange system. Blockchains received traction due to their inherent property of immutability-once a block is accepted, it cannot be reverted.


title: Inferring Economic Condition Uncertainty from Electricity Big Data

abstract: Inferring the uncertainty in economic conditions is significant for both decision makers as well as market players. In this paper, we propose a novel approach to measure the economic uncertainties by using the Hidden Markov Model (HMM). We construct a dimensionless index, Economic Condition Uncertainty (ECU) index, which ranges from zero to one and is comparable among sectors, regions and periods. We used the daily electricity consumption data of more than 18,000 firms in Shanghai from 2018 to 2020 to construct the ECU indexes. Results show that all ECU indexes, whether at sectoral or regional level, successfully captured the negative impacts of COVID-19 on Shanghai's economic conditions. Besides, the ECU indexes also presented the heterogeneities in different districts as well as in different sectors. This reflects the facts that changes in the uncertainty of economic conditions are mainly related to regional economic structures and targeted regulatory policies faced by sectors. The ECU index can also be readily extended to measure the uncertainty of economic conditions in various realms, which has great potentials in the future.


title: Differentiating Dilatons from Axions by their mixing with photons

abstract: According to the model ($\Lambda$CDM), based on deep cosmological observations, the current universe is constituted of 5$\%$ baryonic matter and 25 $\%$ non-baryonic cold dark matter (of speculative origin). These include quanta of scalar filed like dilaton($\phi$) of scale symmetry origin and quanta of pseudoscalar field of extra standard model symmetry ( Peccei-Quinn) origin, like axion ($\phi'$). These fields couple to di-photons through dim-5 operators. In magnetized medium, they in principle can interact with the three degrees of freedom (two transverse ($A_{\parallel,\perp}$) and one longitudinal ($A_{L}$)) of photon($\gamma$) as long as the total spin is conserved. Because of intrinsic spin being zero, both $\phi$ and $\phi'$ could in principle have interacted with $A_{L}$, (having $s_{z}=0$). However, out of $\phi$ and $\phi'$ only one interacts with $A_{L}$. Furthermore, the ambient external magnetic field and media, breaks the intrinsic Lorentz symmetry of the system invoking Charge conjugation, Parity and Time reversal symmetries, we analyse the mixing dynamics of $\phi\gamma$ and $\phi'\gamma$ systems and the structural {\it difference} of their mixing pattern. The strength of electromagnetic (EM) signals due to $\phi\gamma$ and $\phi'\gamma$ mixing as a result would be {\it different}. We conclude by commenting on the possibility of detecting this {\it difference} -- in polarimetric observables the EMS -- using the existing space-borne detectors.


title: Scattering in Monolayer Molybdenum Disulfide Quantum Dot

abstract: We investigate the propagation of electrons in a circular quantum dot of monolayer Molybdenium disulfide MoS_2, subjected to an electric potential. Using the continuum model, we present analytical expressions for the eigenstates, scattering coefficients, scattering efficiency, and radial component of the reflected current and electron density. We identify two scattering regimes as a function of physical parameters such as incident electronic energy, potential barrier, and quantum dot radius. For the incident electron low energy, we show that there is an appearance of scattering resonances. Also, we note that the Far-field scattered current has distinct preferred scattering directions.


title: Effective descriptions of localization in a proper-time parametrized framework

abstract: Although the quantization of relativistic systems in a proper-time framework gives new insights concerning the understanding of the so-called localization problem, classical observers cannot be treated as quantum comoving frames and real measurement are typically conceived using an external parameter related to a classical frame. Here, the connection between the proper-time formalism and usual descriptions parametrized by classical observers is obtained by defining a restriction operation that mixes contributions of different values of proper-time. Such a restriction procedure allows us to retrieve the concepts of Newton-Wigner position and Kijowski time of detection in an effective fashion, opening the possibility to interpret the related causalities issues as an apparent phenomena resulting from the time uncertainty that is inherent to every physically acceptable single-particle quantum state.


title: Negation Handling in Machine Learning-Based Sentiment Classification for Colloquial Arabic

abstract: One crucial aspect of sentiment analysis is negation handling, where the occurrence of negation can flip the sentiment of a sentence and negatively affects the machine learning-based sentiment classification. The role of negation in Arabic sentiment analysis has been explored only to a limited extent, especially for colloquial Arabic. In this paper, the author addresses the negation problem of machine learning-based sentiment classification for a colloquial Arabic language. To this end, we propose a simple rule-based algorithm for handling the problem; the rules were crafted based on observing many cases of negation. Additionally, simple linguistic knowledge and sentiment lexicon are used for this purpose. The author also examines the impact of the proposed algorithm on the performance of different machine learning algorithms. The results given by the proposed algorithm are compared with three baseline models. The experimental results show that there is a positive impact on the classifiers accuracy, precision and recall when the proposed algorithm is used compared to the baselines.


title: Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection

abstract: Smart contract vulnerability detection draws extensive attention in recent years due to the substantial losses caused by hacker attacks. Existing efforts for contract security analysis heavily rely on rigid rules defined by experts, which are labor-intensive and non-scalable. More importantly, expert-defined rules tend to be error-prone and suffer the inherent risk of being cheated by crafty attackers. Recent researches focus on the symbolic execution and formal analysis of smart contracts for vulnerability detection, yet to achieve a precise and scalable solution. Although several methods have been proposed to detect vulnerabilities in smart contracts, there is still a lack of effort that considers combining expert-defined security patterns with deep neural networks. In this paper, we explore using graph neural networks and expert knowledge for smart contract vulnerability detection. Specifically, we cast the rich control- and data- flow semantics of the source code into a contract graph. To highlight the critical nodes in the graph, we further design a node elimination phase to normalize the graph. Then, we propose a novel temporal message propagation network to extract the graph feature from the normalized graph, and combine the graph feature with designed expert patterns to yield a final detection system. Extensive experiments are conducted on all the smart contracts that have source code in Ethereum and VNT Chain platforms. Empirical results show significant accuracy improvements over the state-of-the-art methods on three types of vulnerabilities, where the detection accuracy of our method reaches 89.15%, 89.02%, and 83.21% for reentrancy, timestamp dependence, and infinite loop vulnerabilities, respectively.


title: New constructions of $q$-Ary 2-D Z-Complementary Array Pairs

abstract: This paper is devoted to sequences and focuses on designing new two-dimensional (2-D) Z-complementary array pairs (ZCAPs) by exploring two promising approaches. A ZCAP is a pair of 2-D arrays, whose 2-D autocorrelation sum gives zero value at all time shifts in a zone around the $(0,0)$ time shift, except the $(0,0)$ time shift. The first approach investigated in this paper uses a one-dimensional (1-D) Z-complementary pair (ZCP), which is an extension of the 1-D Golay complementary pair (GCP) where the autocorrelations of constituent sequences are complementary within a zero correlation zone (ZCZ). The second approach involves directly generalized Boolean functions (which are important components with many applications, particularly in (symmetric) cryptography). Along with this paper, new construction of 2-D ZCAPs is proposed based on 1-D ZCP, and direct construction of 2-D ZCAPs is also offered directly by 2-D generalized Boolean functions. Compared to existing constructions based on generalized Boolean functions, our proposed construction covers all of them. ZCZ sequences are a class of spreading sequences having ideal auto-correlation and cross-correlation in a zone around the origin. In recent years, they have been extensively studied due to their crucial applications, particularly in quasi-synchronous code division multiple access systems. Our proposed 2-D ZCAPs based on 2-D generalized Boolean functions have larger 2-D $\mathrm{ZCZ}_{\mathrm{ratio}}=\frac{6}{7}$. Compared to the construction based on ZCPs, our proposed 2-D ZCAPs also have the largest 2-D $\mathrm{ZCZ}_{\mathrm{ratio}}$.


title: Noether Currents and Maxwell-type Equations of Motion in Higher Derivative Gravity Theories

abstract: In general coordinate invariant gravity theories whose Lagrangians contain arbitrarily high order derivative fields, the Noether currents for the global translation and for the Nakanishi's IOSp(8|8) choral symmetry containing the BRS symmetry as its member, are constructed. We generally show that for each of those Noether currents a suitable linear combination of equations of motion can be brought into the form of Maxwell-type field equation possessing the Noether current as its source term.


title: Upper bounds on the extremal number of the 4-cycle

abstract: We obtain some new upper bounds on the maximum number $f(n)$ of edges in $n$-vertex graphs without containing cycles of length four. This leads to an asymptotically optimal bound on $f(n)$ for a broad range of integers $n$ as well as a disproof of a conjecture of Erd\H{o}s from 1970s which asserts that $f(n)=\frac12 n^{3/2}+\frac14 n+o(n)$.


title: Liouville integrability in a four-dimensional model of the visual cortex

abstract: We consider a natural extension of the Petitot-Citti-Sarti model of the primary visual cortex. In the extended model, the curvature of contours is taking into account such that occluded contours are completed using sub-Riemannian geodesics in the four-dimensional space M of positions, orientations, and curvatures. Here, M=R^2 x SO(2) x R models the configuration space of neurons of the visual cortex. We study the problem of sub-Riemannian geodesics on M via methods of geometric control theory. We prove complete controllability of the system and the existence of optimal controls. By application of Pontryagin maximum principle, we derive a Hamiltonian system that describes the geodesics. We obtain explicit parametrization of abnormal extremals. In the normal case, we provide three functionally independent first integrals. Numerical simulations indicate the existence of one more first integral that results in Liouville integrability of the system.


title: A Smiley-type theorem for spectral operators of finite type

abstract: In this short article, we mainly prove that, for any spectral operator $A$ of type $m$ on a complex Hilbert space, if a bounded operator $B$ lies in the collection of bounded linear operators that are in the $k$-centralizer of every bounded linear operator in the $l$-centralizer of $A$, where $k\leqslant l$ is two arbitrary positive integers satisfying $l\geqslant k$ as well as $l\geqslant 2m+1$, then $B$ must belong to the von Neumann algebra generated by $A$ and identity operator. This result generalizes a matrix commutator theorem proved by M.\ F.\ Smiley. For this aim, Smiley-type operators are defined and studied.


title: A Sum Rule for Boundary Contributions to the Trace Anomaly

abstract: In the context of boundary conformal field theory, we derive a sum rule that relates two and three point functions of the displacement operator. For four dimensional conformal field theory with a three dimensional boundary, this sum rule in turn relates the two boundary contributions to the anomaly in the trace of the stress tensor. We check our sum rule for a variety of free theories and also for a weakly interacting theory, where a free scalar in the bulk couples marginally to a generalized free field on the boundary.


title: Channel Estimation for IRS-Assisted Millimeter-Wave MIMO Systems: Sparsity-Inspired Approaches

abstract: Due to their ability to create favorable line-of-sight (LoS) propagation environments, intelligent reflecting surfaces (IRSs) are regarded as promising enablers for future millimeter-wave (mm-wave) wireless communication. In this paper, we investigate channel estimation for IRS-assisted mm-wave multiple-input multiple-output (MIMO) {\color{black}wireles}s systems. By leveraging the sparsity of mm-wave channels in the angular domain, we formulate the channel estimation problem as an $\ell_1$-norm regularized optimization problem with fixed-rank constraints. To tackle the non-convexity of the formulated problem, an efficient algorithm is proposed by capitalizing on alternating minimization and manifold optimization (MO), which yields a locally optimal solution. To further reduce the computational complexity of the estimation algorithm, we propose a compressive sensing- (CS-) based channel estimation approach. In particular, a three-stage estimation protocol is put forward where the subproblem in each stage can be solved via low-complexity CS methods. Furthermore, based on the acquired channel state information (CSI) of the cascaded channel, we design a passive beamforming algorithm for maximization of the spectral efficiency. Simulation results reveal that the proposed MO-based estimation (MO-EST) and beamforming algorithms significantly outperform two benchmark schemes while the CS-based estimation (CS-EST) algorithm strikes a balance between performance and complexity. In addition, we demonstrate the robustness of the MO-EST algorithm with respect to imperfect knowledge of the sparsity level of the channels, which is crucial for practical implementations.