title: Post Quantum Cryptography: Readiness Challenges and the Approaching Storm

abstract: While advances in quantum computing promise new opportunities for scientific advancement (e.g., material science and machine learning), many people are not aware that they also threaten the widely deployed cryptographic algorithms that are the foundation of today's digital security and privacy. From mobile communications to online banking to personal data privacy, literally billions of Internet users rely on cryptography every day to ensure that private communications and data stay private. Indeed, the emergence and growth of the public Internet and electronic commerce was arguably enabled by the invention of public-key cryptography. The key advantage offered by public-key cryptography is that it allows two parties who have never communicated previously to nevertheless establish a secure, private, communication channel over a non-private network (e.g., the Internet). Recent advances in quantum computing signal that we are on the cusp of our next cryptographic algorithm transition, and this transition to post-quantum cryptography will be more complicated and impact many more systems and stakeholders, than any of the prior migrations. This transition represents a major disruption within the IT industry and will broadly impact nearly every domain of our digital lives, from global commerce to social media to government and more. Cryptographic algorithm transitions take time and involve an extensive coordination effort across many stakeholders who are involved in building and operating the world's compute infrastructure. By preparing now for the upcoming transition to these new algorithms, we can ensure a more orderly, less costly, and minimally disruptive changeover.


title: What drives passion? An empirical examination on the impact of personality trait interactions and job environments on work passion

abstract: Passionate employees are essential for organisational success as they foster higher performance and exhibit lower turnover or absenteeism. While a large body of research has investigated the consequences of passion, we know only little about its antecedents. Integrating trait interaction theory with trait activation theory, this paper examines how personality traits, i.e. conscientiousness, agreeableness, and neuroticism impact passion at work across different job situations. Passion has been conceptualized as a two-dimensional construct, consisting of harmonious work passion (HWP) and obsessive work passion (OWP). Our study is based on a sample of N = 824 participants from the myPersonality project. We find a positive relationship between neuroticism and OWP in enterprising environments. Further, we find a three-way interaction between conscientiousness, agreeableness, and enterprising environment in predicting OWP. Our findings imply that the impact of personality configurations on different forms of passion is contingent on the job environment. Moreover, in line with self-regulation theory, the results reveal agreeableness as a "cool influencer" and neuroticism as a "hot influencer" of the relationship between conscientiousness and work passion. We derive practical implications for organisations on how to foster work passion, particularly HWP, in organisations.


title: Multi-Model Least Squares-Based Recomputation Framework for Large Data Analysis

abstract: Most multilayer least squares (LS)-based neural networks are structured with two separate stages: unsupervised feature encoding and supervised pattern classification. Once the unsupervised learning is finished, the latent encoding would be fixed without supervised fine-tuning. However, in complex tasks such as handling the ImageNet dataset, there are often many more clues that can be directly encoded, while the unsupervised learning, by definition cannot know exactly what is useful for a certain task. This serves as the motivation to retrain the latent space representations to learn some clues that unsupervised learning has not yet learned. In particular, the error matrix from the output layer is pulled back to each hidden layer, and the parameters of the hidden layer are recalculated with Moore-Penrose (MP) inverse for more generalized representations. In this paper, a recomputation-based multilayer network using MP inverse (RML-MP) is developed. A sparse RML-MP (SRML-MP) model to boost the performance of RML-MP is then proposed. The experimental results with varying training samples (from 3 K to 1.8 M) show that the proposed models provide better generalization performance than most representation learning algorithms.


title: Starshade Rendezvous: Exoplanet Sensitivity and Observing Strategy

abstract: Launching a starshade to rendezvous with the Nancy Grace Roman Space Telescope would provide the first opportunity to directly image the habitable zones of nearby sunlike stars in the coming decade. A report on the science and feasibility of such a mission was recently submitted to NASA as a probe study concept. The driving objective of the concept is to determine whether Earth-like exoplanets exist in the habitable zones of the nearest sunlike stars and have biosignature gases in their atmospheres. With the sensitivity provided by this telescope, it is possible to measure the brightness of zodiacal dust disks around the nearest sunlike stars and establish how their population compares to our own. In addition, known gas-giant exoplanets can be targeted to measure their atmospheric metallicity and thereby determine if the correlation with planet mass follows the trend observed in the Solar System and hinted at by exoplanet transit spectroscopy data. In this paper we provide the details of the calculations used to estimate the sensitivity of Roman with a starshade and describe the publicly available Python-based source code used to make these calculations. Given the fixed capability of Roman and the constrained observing windows inherent for the starshade, we calculate the sensitivity of the combined observatory to detect these three types of targets and we present an overall observing strategy that enables us to achieve these objectives.


title: Bridging direct & indirect data-driven control formulations via regularizations and relaxations

abstract: We discuss connections between sequential system identification and control for linear time-invariant systems, often termed indirect data-driven control, as well as a contemporary direct data-driven control approach seeking an optimal decision compatible with recorded data assembled in a Hankel matrix and robustified through suitable regularizations. We formulate these two problems in the language of behavioral systems theory and parametric mathematical programs, and we bridge them through a multi-criteria formulation trading off system identification and control objectives. We illustrate our results with two methods from subspace identification and control: namely, subspace predictive control and low-rank approximation which constrain trajectories to be consistent with a non-parametric predictor derived from (respectively, the column span of) a data Hankel matrix. In both cases we conclude that direct and regularized data-driven control can be derived as convex relaxation of the indirect approach, and the regularizations account for an implicit identification step. Our analysis further reveals a novel regularizer and a plausible hypothesis explaining the remarkable empirical performance of direct methods on nonlinear systems.


title: Real Time Operation of High-Capacity Electric Vehicle Ridesharing Fleets

abstract: We study the feasibility of using electric vehicles in online, high-capacity ridepooling systems. Prior work has shown that online algorithms perform well for centrally-controlled, high-capacity ridepool systems. First, we propose a mixed integer linear program to expand past algorithms on ridepooling to electric vehicles fleets with the objective of scheduling vehicle charging to maintain sufficient fleet sizes at various times of day. Then we show a faster, scalable algorithm with similar performance that is practical for full-scale systems. Our contributions show the importance of having knowledge and estimates of future demand even when operating in the online setting.


title: Planar Coil Optimization in a Magnetically Shielded Cylinder

abstract: Hybrid magnetic shields with both active field generating components and high-permeability magnetic shielding are increasingly needed for a variety of technologies and experiments that require precision-controlled magnetic field environments. However, the fields generated by the active components interact with the passive magnetic shield, distorting the desired field profiles. Consequently, optimization of the active components needed to generate user-specified target fields must include coupling to the high-permeability passive components. Here, we consider the optimization of planar active systems, on which an arbitrary static current flows, coupled to a closed high-permeability cylindrical shield. We modify the Green's function for the magnetic vector potential to match boundary conditions on the shield's interior surface, enabling us to construct an inverse optimization problem to design planar coils that generate user-specified magnetic fields inside high-permeability shields. We validate our methodology by designing two bi-planar hybrid active--passive systems, which generate a constant transverse field, $\mathbf{B}=\mathbf{\hat{x}}$, and a linear field gradient, $\mathbf{B}=(-x~\mathbf{\hat{x}}-y~\mathbf{\hat{y}}+2z~\mathbf{\hat{z}})$, respectively. For both systems, the inverse-optimized magnetic field profiles agree well with forward numerical simulations. Our design methodology is accurate and flexible, facilitating the miniaturization of high-performance hybrid magnetic field generating technologies with strict design constraints and spatial limitations.


title: Starshade Rendezvous: Exoplanet Orbit Constraints from Multi-Epoch Direct Imaging

abstract: The addition of an external starshade to the {\it Nancy Grace Roman Space Telescope} will enable the direct imaging of Earth-radius planets orbiting at $\sim$1 AU. Classification of any detected planets as Earth-like requires both spectroscopy to characterize their atmospheres and multi-epoch imaging to trace their orbits. We consider here the ability of the Starshade Rendezvous Probe to constrain the orbits of directly imaged Earth-like planets. The target list for this proposed mission consists of the 16 nearby stars best suited for direct imaging. The field of regard for a starshade mission is constrained by solar exclusion angles, resulting in four observing windows during a two-year mission. We find that for habitable-zone planetary orbits that are detected at least three times during the four viewing opportunities, their semi-major axes are measured with a median precision of 7 mas, or a median fractional precision of 3\%. Habitable-zone planets can be correctly identified as such 96.7\% of the time, with a false positive rate of 2.8\%. If a more conservative criteria is used for habitable-zone classification (95\% probability), the false positive rate drops close to zero, but with only 81\% of the truly Earth-like planets correctly classified as residing in the habitable zone.


title: Possible Atmospheric Diversity of Low Mass Exoplanets, some Central Aspects

abstract: Exoplanetary science continues to excite and surprise with its rich diversity. We discuss here some key aspects potentially influencing the range of exoplanetary terrestrial-type atmospheres which could exist in nature. We are motivated by newly emerging observations, refined approaches to address data degeneracies, improved theories for key processes affecting atmospheric evolution and a new generation of atmospheric models which couple physical processes from the deep interior through to the exosphere and consider the planetary-star system as a whole. Using the Solar System as our guide we first summarize the main processes which sculpt atmospheric evolution then discuss their potential interactions in the context of exoplanetary environments. We summarize key uncertainties and consider a diverse range of atmospheric compositions discussing their potential occurrence in an exoplanetary context.


title: Fast flavor oscillations in dense neutrino media with collisions

abstract: We investigate the impact of the nonzero neutrino splitting and elastic neutrino-nucleon collisions on fast neutrino oscillations. Our calculations confirm that a small neutrino mass splitting and the neutrino mass hierarchy have very little effect on fast oscillation waves. We also demonstrate explicitly that fast oscillations remain largely unaffected for the time/distance scales that are much smaller than the neutrino mean free path but are damped on larger scales. This damping originates from both the direct modification of the dispersion relation of the oscillation waves in the neutrino medium and the flattening of the neutrino angular distributions over time. Our work suggests that fast neutrino oscillation waves produced near the neutrino sphere can propagate essentially unimpeded which may have ramifications in various aspects of the supernova physics.


title: Computing Research Challenges in Next Generation Wireless Networking

abstract: By all measures, wireless networking has seen explosive growth over the past decade. Fourth Generation Long Term Evolution (4G LTE) cellular technology has increased the bandwidth available for smartphones, in essence, delivering broadband speeds to mobile devices. The most recent 5G technology is further enhancing the transmission speeds and cell capacity, as well as, reducing latency through the use of different radio technologies and is expected to provide Internet connections that are an order of magnitude faster than 4G LTE. Technology continues to advance rapidly, however, and the next generation, 6G, is already being envisioned. 6G will make possible a wide range of powerful, new applications including holographic telepresence, telehealth, remote education, ubiquitous robotics and autonomous vehicles, smart cities and communities (IoT), and advanced manufacturing (Industry 4.0, sometimes referred to as the Fourth Industrial Revolution), to name but a few. The advances we will see begin at the hardware level and extend all the way to the top of the software "stack." Artificial Intelligence (AI) will also start playing a greater role in the development and management of wireless networking infrastructure by becoming embedded in applications throughout all levels of the network. The resulting benefits to society will be enormous. At the same time these exciting new wireless capabilities are appearing rapidly on the horizon, a broad range of research challenges loom ahead. These stem from the ever-increasing complexity of the hardware and software systems, along with the need to provide infrastructure that is robust and secure while simultaneously protecting the privacy of users. Here we outline some of those challenges and provide recommendations for the research that needs to be done to address them.


title: Generalized Spatio-Temporal RNN Beamformer for Target Speech Separation

abstract: Although the conventional mask-based minimum variance distortionless response (MVDR) could reduce the non-linear distortion, the residual noise level of the MVDR separated speech is still high. In this paper, we propose a spatio-temporal recurrent neural network based beamformer (RNN-BF) for target speech separation. This new beamforming framework directly learns the beamforming weights from the estimated speech and noise spatial covariance matrices. Leveraging on the temporal modeling capability of RNNs, the RNN-BF could automatically accumulate the statistics of the speech and noise covariance matrices to learn the frame-level beamforming weights in a recursive way. An RNN-based generalized eigenvalue (RNN-GEV) beamformer and a more generalized RNN beamformer (GRNN-BF) are proposed. We further improve the RNN-GEV and the GRNN-BF by using layer normalization to replace the commonly used mask normalization on the covariance matrices. The proposed GRNN-BF obtains better performance against prior arts in terms of speech quality (PESQ), speech-to-noise ratio (SNR) and word error rate (WER).


title: Laboratory Measurements of Instrumental Signatures of the LSST Camera Focal Plane

abstract: Electro-optical testing and characterization of the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) Camera focal plane, consisting of 205 charge-coupled devices (CCDs) arranged into 21 stand-alone Raft Tower Modules (RTMs) and 4 Corner Raft Tower Modules (CRTMs), is currently being performed at the SLAC National Accelerator Laboratory. Testing of the camera sensors is performed using a set of custom-built optical projectors, designed to illuminate the full focal plane or specific regions of the focal plane with a series of light illumination patterns: the crosstalk projector, the flat illuminator projector, and the spot grid projector. In addition to measurements of crosstalk, linearity and full well, the ability to project realistically-sized sources, using the spot grid projector, makes possible unique measurements of instrumental signatures such as deferred charge distortions, astrometric shifts due to sensor effects, and the brighter-fatter effect, prior to camera first light. Here we present the optical projector designs and usage, the electro-optical measurements and how these results have been used in testing and improving the LSST Camera instrumental signature removal algorithms.


title: A cuspy dark matter halo

abstract: The cusp-core problem is one of the main challenges of the cold dark matter paradigm on small scales: the density of a dark matter halo is predicted to rise rapidly toward the center as rho ~ r^alpha with alpha between -1 and -1.5, while such a cuspy profile has not been clearly observed. We have carried out the spatially-resolved mapping of gas dynamics toward a nearby ultra-diffuse galaxy (UDG), AGC 242019. The derived rotation curve of dark matter is well fitted by the cuspy profile as described by the Navarro-Frenk-White model, while the cored profiles including both the pseudo-isothermal and Burkert models are excluded. The halo has alpha=-(0.90+-0.08) at the innermost radius of 0.67 kpc, Mhalo=(3.5+-1.2)E10 Msun and a small concentration of 2.0+-0.36. AGC 242019 challenges alternatives of cold dark matter by constraining the particle mass of fuzzy dark matter to be < 0.11E-22 eV or > 3.3E-22 eV , the cross section of self-interacting dark matter to be < 1.63 cm2/g, and the particle mass of warm dark matter to be > 0.23 keV, all of which are in tension with other constraints. The modified Newtonian dynamics is also inconsistent with a shallow radial acceleration relationship of AGC 242019. For the feedback scenario that transforms a cusp to a core, AGC 242019 disagrees with the stellar-to-halo-mass-ratio dependent model, but agrees with the star-formation-threshold dependent model. As a UDG, AGC 242019 is in a dwarf-size halo with weak stellar feedback, late formation time, a normal baryonic spin and low star formation efficiency (SFR/gas).


title: Model-based Fault Injection Experiments for the Safety Analysis of Exoskeleton System

abstract: Model-based fault injection methods are widely used for the evaluation of fault tolerance in safety-critical control systems. In this paper, we introduce a new model-based fault injection method implemented as a highlycustomizable Simulink block called FIBlock. It supports the injection of typical faults of essential heterogeneous components of Cyber-Physical Systems, such as sensors, computing hardware, and network. The FIBlock GUI allows the user to select a fault type and configure multiple parameters to tune error magnitude, fault activation time, and fault exposure duration. Additional trigger inputs and outputs of the block enable the modeling of conditional faults. Furthermore, two or more FIBlocks connected with these trigger signals can model chained errors. The proposed fault injection method is demonstrated with a lower-limb EXO-LEGS exoskeleton, an assistive device for the elderly in everyday life. The EXO-LEGS model-based dynamic control is realized in the Simulink environment and allows easy integration of the aforementioned FIBlocks. Exoskeletons, in general, being a complex CPS with multiple sensors and actuators, are prone to hardware and software faults. In the case study, three types of faults were investigated: 1) sensor freeze, 2) stuck-at-0, 3) bit-flip. The fault injection experiments helped to determine faults that have the most significant effects on the overall system reliability and identify the fine line for the critical fault duration after that the controller could no longer mitigate faults.


title: Advancing Computing's Foundation of US Industry & Society

abstract: While past information technology (IT) advances have transformed society, future advances hold even greater promise. For example, we have only just begun to reap the changes from artificial intelligence (AI), especially machine learning (ML). Underlying IT's impact are the dramatic improvements in computer hardware, which deliver performance that unlock new capabilities. For example, recent successes in AI/ML required the synergy of improved algorithms and hardware architectures (e.g., general-purpose graphics processing units). However, unlike in the 20th Century and early 2000s, tomorrow's performance aspirations must be achieved without continued semiconductor scaling formerly provided by Moore's Law and Dennard Scaling. How will one deliver the next 100x improvement in capability at similar or less cost to enable great value? Can we make the next AI leap without 100x better hardware? This whitepaper argues for a multipronged effort to develop new computing approaches beyond Moore's Law to advance the foundation that computing provides to US industry, education, medicine, science, and government. This impact extends far beyond the IT industry itself, as IT is now central for providing value across society, for example in semi-autonomous vehicles, tele-education, health wearables, viral analysis, and efficient administration. Herein we draw upon considerable visioning work by CRA's Computing Community Consortium (CCC) and the IEEE Rebooting Computing Initiative (IEEE RCI), enabled by thought leader input from industry, academia, and the US government.


title: All Factors Should Matter! Reference Checklist for Describing Research Conditions in Pursuit of Comparable IVR Experiments

abstract: A significant problem with immersive virtual reality (IVR) experiments is the ability to compare research conditions. VR kits and IVR environments are complex and diverse but researchers from different fields, e.g. ICT, psychology, or marketing, often neglect to describe them with a level of detail sufficient to situate their research on the IVR landscape. Careful reporting of these conditions may increase the applicability of research results and their impact on the shared body of knowledge on HCI and IVR. Based on literature review, our experience, practice and a synthesis of key IVR factors, in this article we present a reference checklist for describing research conditions of IVR experiments. Including these in publications will contribute to the comparability of IVR research and help other researchers decide to what extent reported results are relevant to their own research goals. The compiled checklist is a ready-to-use reference tool and takes into account key hardware, software and human factors as well as diverse factors connected to visual, audio, tactile, and other aspects of interaction.


title: A Survey on Integrated Access and Backhaul Networks

abstract: Benefiting from the usage of the high-frequency band, utilizing part of the large available bandwidth for wireless backhauling is feasible without considerable performance sacrifice. In this context, integrated access and backhaul (IAB) was proposed by 3GPP to reduce the fiber optics deployment cost of 5G and beyond networks. In this paper, we first give a brief introduction of IAB based on the 3GPP release. After that, we survey existing research on IAB networks, the integrations of IAB to cache-enabled network, optical communication transport network, and the non-terrestrial network. Finally, we discuss the challenges and opportunities that might arise while developing and commercializing IAB networks.


title: Fractional model of COVID-19 applied to Galicia, Spain and Portugal

abstract: A fractional compartmental mathematical model for the spread of the COVID-19 disease is proposed. Special focus has been done on the transmissibility of super-spreaders individuals. Numerical simulations are shown for data of Galicia, Spain, and Portugal. For each region, the order of the Caputo derivative takes a different value, that is not close to one, showing the relevance of considering fractional models.


title: Diffusion Approximations for Self-excited Systems with Applications to General Branching Processes

abstract: In this work, several convergence results are established for nearly critical self-excited systems in which event arrivals are described by multivariate marked Hawkes point processes. Under some mild high-frequency assumptions, the rescaled density process behaves asymptotically like a multi-type continuous-state branching process with immigration, which is the unique solution to a multi-dimensional stochastic differential equation with dynamical mechanism similar to that of multivariate Hawkes processes. To illustrate the strength of these limit results, we further establish diffusion approximations for multi-type Crump-Mode-Jagers branching processes counted with various characteristics by linking them to marked Hawkes shot noise processes. In particular, an interesting phenomenon in queueing theory, well-known as state space collapse, is observed in the behavior of the population structure at a large time scale. This phenomenon reveals that the rescaled complex biological system can be recovered from its population process by a lifting map.


title: A practical approach for updating an integrity-enforced operating system

abstract: Trusted computing defines how to securely measure, store, and verify the integrity of software controlling a computer. One of the major challenges that make them hard to be applied in practice is the issue with software updates. Specifically, an operating system update causes the integrity violation because it changes the well-known initial state trusted by remote verifiers, such as integrity monitoring systems. Consequently, the integrity monitoring of remote computers becomes unreliable due to the high amount of false positives. We address this problem by adding an extra level of indirection between the operating system and software repositories. We propose a trusted software repository (TSR), a secure proxy that overcomes the shortcomings of previous approaches by sanitizing software packages. Sanitization consists of modifying unsafe installation scripts and adding digital signatures in a way software packages can be installed in the operating system without violating its integrity. TSR leverages shielded execution, i.e., Intel SGX, to achieve confidentiality and integrity guarantees of the sanitization process. TSR is transparent to package managers, and requires no changes in the software packages building and distributing processes. Our evaluation shows that running TSR inside SGX is practical; since it induces only ~1.18X performance overhead during package sanitization compared to the native execution without SGX. TSR supports 99.76% of packages available in the main and community repositories of Alpine Linux while increasing the total repository size by 3.6%.


title: A deterministic-statistical approach to reconstruct moving sources using sparse partial data

abstract: We consider the reconstruction of moving sources using partial measured data. A two-step deterministic-statistical approach is proposed. In the first step, an approximate direct sampling method is developed to obtain the locations of the sources at different times. Such information is coded in the priors, which is critical for the success of the Bayesian method in the second step. The well-posedness of the posterior measure is analyzed in the sense of the Hellinger distance. Both steps are based on the same physical model and use the same set of measured data. The combined approach inherits the merits of the deterministic method and Bayesian inversion as demonstrated by the numerical examples.


title: On the definition of higher Gamma functions

abstract: We generalize our previous new definition of Euler Gamma function to higher Gamma functions. With this unified approach, we characterize Barnes higher Gamma functions, Mellin Gamma functions, Barnes multiple Gamma functions, Jackson $q$-Gamma function, and Nishizawa higher $q$-Gamma functions. This approach extends to more general functional equations. This generalization reveals the multiplicative group structure of solutions of the functional equation that appears as a cocycle equation. We also generalize Barnes hierarchy of higher Gamma function and multiple Gamma functions. In this new approach, Barnes-Hurwitz zeta functions are no longer required for the definition of Barnes multiple Gamma functions. This simplifies the classical definition, without the necessary analytic preliminaries about the meromorphic extension of Barnes-Hurwitz zeta functions, and defines a larger class of Gamma functions. For some algebraic independence conditions on the parameters, we have uniqueness of the solutions, which implies the coincidence of our multiple Gamma functions with Barnes multiple Gamma functions.


title: GeCo: Quality Counterfactual Explanations in Real Time

abstract: Machine learning is increasingly applied in high-stakes decision making that directly affect people's lives, and this leads to an increased demand for systems to explain their decisions. Explanations often take the form of counterfactuals, which consists of conveying to the end user what she/he needs to change in order to improve the outcome. Computing counterfactual explanations is challenging, because of the inherent tension between a rich semantics of the domain, and the need for real time response. In this paper we present GeCo, the first system that can compute plausible and feasible counterfactual explanations in real time. At its core, GeCo relies on a genetic algorithm, which is customized to favor searching counterfactual explanations with the smallest number of changes. To achieve real-time performance, we introduce two novel optimizations: $\Delta$-representation of candidate counterfactuals, and partial evaluation of the classifier. We compare empirically GeCo against five other systems described in the literature, and show that it is the only system that can achieve both high quality explanations and real time answers.


title: The Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER) I. Ultraviolet to Infrared Photometry of 22 Million Stars in M33

abstract: We present panchromatic resolved stellar photometry for 22 million stars in the Local Group dwarf spiral Triangulum (M33), derived from Hubble Space Telescope (HST) observations with the Advanced Camera for Surveys (ACS) in the optical (F475W, F814W), and the Wide Field Camera 3 (WFC3) in the near ultraviolet (F275W, F336W) and near-infrared (F110W, F160W) bands. The large, contiguous survey area covers $\sim$14 square kpc and extends to 3.5 kpc (14 arcmin, or 1.5-2 scale lengths) from the center of M33. The PHATTER observing strategy and photometry technique closely mimic those of the Panchromatic Hubble Andromeda Treasury (PHAT), but with updated photometry techniques that take full advantage of all overlapping pointings (aligned to within $<$5-10 milliarcseconds) and improved treatment of spatially-varying point spread functions. The photometry reaches a completeness-limited depth of F475W$\sim$28.5 in the lowest surface density regions observed in M33 and F475W$\sim$26.5 in the most crowded regions found near the center of M33. We find the young populations trace several relatively tight arms, while the old populations show a clear, looser two-armed structure. We present extensive analysis of the data quality including artificial star tests to quantify completeness, photometric uncertainties, and flux biases. This stellar catalog is the largest ever produced for M33, and is publicly available for download by the community.


title: One vs Previous and Similar Classes Learning -- A Comparative Study

abstract: When dealing with multi-class classification problems, it is common practice to build a model consisting of a series of binary classifiers using a learning paradigm which dictates how the classifiers are built and combined to discriminate between the individual classes. As new data enters the system and the model needs updating, these models would often need to be retrained from scratch. This work proposes three learning paradigms which allow trained models to be updated without the need of retraining from scratch. A comparative analysis is performed to evaluate them against a baseline. Results show that the proposed paradigms are faster than the baseline at updating, with two of them being faster at training from scratch as well, especially on larger datasets, while retaining a comparable classification performance.


title: Assessing Vaccine Durability in Randomized Trials Following Placebo Crossover

abstract: Randomized vaccine trials are used to assess vaccine efficacy and to characterize the durability of vaccine induced protection. If efficacy is demonstrated, the treatment of placebo volunteers becomes an issue. For COVID-19 vaccine trials, there is broad consensus that placebo volunteers should be offered a vaccine once efficacy has been established. This will likely lead to most placebo volunteers crossing over to the vaccine arm, thus complicating the assessment of long term durability. We show how to analyze durability following placebo crossover and demonstrate that the vaccine efficacy profile that would be observed in a placebo controlled trial is recoverable in a trial with placebo crossover. This result holds no matter when the crossover occurs and with no assumptions about the form of the efficacy profile. We only require that the vaccine efficacy profile applies to the newly vaccinated irrespective of the timing of vaccination. We develop different methods to estimate efficacy within the context of a proportional hazards regression model and explore via simulation the implications of placebo crossover for estimation of vaccine efficacy under different efficacy dynamics and study designs. We apply our methods to simulated COVID-19 vaccine trials with durable and waning vaccine efficacy and a total follow-up of two years.


title: On the asymptotic decay of the Schr\"odinger--Newton ground state

abstract: The asymptotics of the ground state $u(r)$ of the Schr\"odinger--Newton equation in $\mathbb{R}^3$ was determined by V. Moroz and J. van Schaftingen to be $u(r) \sim A e^{-r}/ r^{1 - \|u\|_2^2/8\pi}$ for some $A>0$, in units that fix the exponential rate to unity. They left open the value of $\|u\|_2^2$, the squared $L^2$ norm of $u$. Here it is rigorously shown that $2^{1/3}3\pi^2\leq \|u\|_2^2\leq 2^{3}\pi^{3/2}$. It is reported that numerically $\|u\|_2^2\approx 14.03\pi$, revealing that the monomial prefactor of $e^{-r}$ increases with $r$ in a concave manner. Asymptotic results are proposed for the Schr\"odinger--Newton equation with external $\sim - K/r$ potential, and for the related Hartree equation of a bosonic atom or ion.


title: Composable Geometric Motion Policies using Multi-Task Pullback Bundle Dynamical Systems

abstract: Despite decades of work in fast reactive planning and control, challenges remain in developing reactive motion policies on non-Euclidean manifolds and enforcing constraints while avoiding undesirable potential function local minima. This work presents a principled method for designing and fusing desired robot task behaviors into a stable robot motion policy, leveraging the geometric structure of non-Euclidean manifolds, which are prevalent in robot configuration and task spaces. Our Pullback Bundle Dynamical Systems (PBDS) framework drives desired task behaviors and prioritizes tasks using separate position-dependent and position/velocity-dependent Riemannian metrics, respectively, thus simplifying individual task design and modular composition of tasks. For enforcing constraints, we provide a class of metric-based tasks, eliminating local minima by imposing non-conflicting potential functions only for goal region attraction. We also provide a geometric optimization problem for combining tasks inspired by Riemannian Motion Policies (RMPs) that reduces to a simple least-squares problem, and we show that our approach is geometrically well-defined. We demonstrate the PBDS framework on the sphere $\mathbb S^2$ and at 300-500 Hz on a manipulator arm, and we provide task design guidance and an open-source Julia library implementation. Overall, this work presents a fast, easy-to-use framework for generating motion policies without unwanted potential function local minima on general manifolds.


title: A Taxonomy for Mining and Classifying Privacy Requirements in Issue Reports

abstract: Context: Digital and physical trails of user activities are collected over the use of software applications and systems. As software becomes ubiquitous, protecting user privacy has become challenging. With the increase of user privacy awareness and advent of privacy regulations and policies, there is an emerging need to implement software systems that enhance the protection of personal data processing. However, existing data protection and privacy regulations provide key principles in high-level, making it difficult for software engineers to design and implement privacy-aware systems. Objective: In this paper, we develop a taxonomy that provides a comprehensive set of privacy requirements based on four well-established personal data protection regulations and privacy frameworks, the General Data Protection Regulation (GDPR), ISO/IEC 29100, Thailand Personal Data Protection Act (Thailand PDPA) and Asia-Pacific Economic Cooperation (APEC) privacy framework. Methods: These requirements are extracted, refined and classified (using the goal-based requirements analysis method) into a level that can be used to map with issue reports. We have also performed a study on how two large open-source software projects (Google Chrome and Moodle) address the privacy requirements in our taxonomy through mining their issue reports. Results: The paper discusses how the collected issues were classified, and presents the findings and insights generated from our study. Conclusion: Mining and classifying privacy requirements in issue reports can help organisations be aware of their state of compliance by identifying privacy requirements that have not been addressed in their software projects. The taxonomy can also trace back to regulations, standards and frameworks that the software projects have not complied with based on the identified privacy requirements.


title: Bayesian Uncertainty Quantification for Low-Rank Matrix Completion

abstract: We consider the problem of uncertainty quantification for an unknown low-rank matrix $\mathbf{X}$, given a partial and noisy observation of its entries. This quantification of uncertainty is essential for many real-world problems, including image processing, satellite imaging, and seismology, providing a principled framework for validating scientific conclusions and guiding decision-making. However, existing literature has mainly focused on the completion (i.e., point estimation) of the matrix $\mathbf{X}$, with little work on investigating its uncertainty. To this end, we propose in this work a new Bayesian modeling framework, called BayeSMG, which parametrizes the unknown $\mathbf{X}$ via its underlying row and column subspaces. This Bayesian subspace parametrization enables efficient posterior inference on matrix subspaces, which represents interpretable phenomena in many applications. This can then be leveraged for improved matrix recovery. We demonstrate the effectiveness of BayeSMG over existing Bayesian matrix recovery methods in numerical experiments, image inpainting, and a seismic sensor network application.


title: A Linearly Convergent Algorithm for Distributed Principal Component Analysis

abstract: Principal Component Analysis (PCA) is the workhorse tool for dimensionality reduction in this era of big data. While often overlooked, the purpose of PCA is not only to reduce data dimensionality, but also to yield features that are uncorrelated. Furthermore, the ever-increasing volume of data in the modern world often requires storage of data samples across multiple machines, which precludes the use of centralized PCA algorithms. This paper focuses on the dual objective of PCA, namely, dimensionality reduction and decorrelation of features, but in a distributed setting. This requires estimating the eigenvectors of the data covariance matrix, as opposed to only estimating the subspace spanned by the eigenvectors, when data is distributed across a network of machines. Although a few distributed solutions to the PCA problem have been proposed recently, convergence guarantees and/or communications overhead of these solutions remain a concern. With an eye towards communications efficiency, this paper introduces a feedforward neural network-based one time-scale distributed PCA algorithm termed Distributed Sanger's Algorithm (DSA) that estimates the eigenvectors of the data covariance matrix when data is distributed across an undirected and arbitrarily connected network of machines. Furthermore, the proposed algorithm is shown to converge linearly to a neighborhood of the true solution. Numerical results are also provided to demonstrate the efficacy of the proposed solution.


title: Adversarial Combinatorial Bandits with General Non-linear Reward Functions

abstract: In this paper we study the adversarial combinatorial bandit with a known non-linear reward function, extending existing work on adversarial linear combinatorial bandit. {The adversarial combinatorial bandit with general non-linear reward is an important open problem in bandit literature, and it is still unclear whether there is a significant gap from the case of linear reward, stochastic bandit, or semi-bandit feedback.} We show that, with $N$ arms and subsets of $K$ arms being chosen at each of $T$ time periods, the minimax optimal regret is $\widetilde\Theta_{d}(\sqrt{N^d T})$ if the reward function is a $d$-degree polynomial with $d< K$, and $\Theta_K(\sqrt{N^K T})$ if the reward function is not a low-degree polynomial. {Both bounds are significantly different from the bound $O(\sqrt{\mathrm{poly}(N,K)T})$ for the linear case, which suggests that there is a fundamental gap between the linear and non-linear reward structures.} Our result also finds applications to adversarial assortment optimization problem in online recommendation. We show that in the worst-case of adversarial assortment problem, the optimal algorithm must treat each individual $\binom{N}{K}$ assortment as independent.


title: Exploiting Deep Learning for Secure Transmission in an Underlay Cognitive Radio Network

abstract: This paper investigates a machine learning-based power allocation design for secure transmission in a cognitive radio (CR) network. In particular, a neural network (NN)-based approach is proposed to maximize the secrecy rate of the secondary receiver under the constraints of total transmit power of secondary transmitter, and the interference leakage to the primary receiver, within which three different regularization schemes are developed. The key advantage of the proposed algorithm over conventional approaches is the capability to solve the power allocation problem with both perfect and imperfect channel state information. In a conventional setting, two completely different optimization frameworks have to be designed, namely the robust and non-robust designs. Furthermore, conventional algorithms are often based on iterative techniques, and hence, they require a considerable number of iterations, rendering them less suitable in future wireless networks where there are very stringent delay constraints. To meet the unprecedented requirements of future ultra-reliable low-latency networks, we propose an NN-based approach that can determine the power allocation in a CR network with significantly reduced computational time and complexity. As this trained NN only requires a small number of linear operations to yield the required power allocations, the approach can also be extended to different delay sensitive applications and services in future wireless networks. When evaluate the proposed method versus conventional approaches, using a suitable test set, the proposed approach can achieve more than 94% of the secrecy rate performance with less than 1% computation time and more than 93% satisfaction of interference leakage constraints. These results are obtained with significant reduction in computational time, which we believe that it is suitable for future real-time wireless applications.


title: A small PAM optimises target recognition in the CRISPR-Cas immune system

abstract: CRISPR-Cas is an adaptive immune mechanism that has been harnessed for a variety of genetic engineering applications: the Cas9 protein recognises a 2-5nt DNA motif, known as the PAM, and a programmable crRNA binds a target DNA sequence that is then cleaved. While off-target activity is undesirable, it occurs because cross-reactivity was beneficial in the immune system on which the machinery is based. Here, a stochastic model of the target recognition reaction was derived to study the specificity of the innate immune mechanism in bacteria. CRISPR systems with Cas9 proteins that recognised PAMs of varying lengths were tested on self and phage DNA. The model showed that the energy associated with PAM binding impacted mismatch tolerance, cleavage probability, and cleavage time. Small PAMs allowed the CRISPR to balance catching mutant phages, avoiding self-targeting, and quickly dissociating from critically non-matching sequences. Additionally, the results revealed a lower tolerance to mismatches in the PAM and a PAM-proximal region known as the seed, as seen in experiments. This work illustrates the role that the Cas9 protein has in dictating the specificity of DNA cleavage that can aid in preventing off-target activity in biotechnology applications.


title: Algebraic Geometric Secret Sharing Schemes over Large Fields Are Asymptotically Threshold

abstract: In Chen-Cramer Crypto 2006 paper \cite{cc} algebraic geometric secret sharing schemes were proposed such that the "Fundamental Theorem in Information-Theoretically Secure Multiparty Computation" by Ben-Or, Goldwasser and Wigderson \cite{BGW88} and Chaum, Cr\'{e}peau and Damg{\aa}rd \cite{CCD88} can be established over constant-size base finite fields. These algebraic geometric secret sharing schemes defined by a curve of genus $g$ over a constant size finite field ${\bf F}_q$ is quasi-threshold in the following sense, any subset of $u \leq T-1$ players (non qualified) has no information of the secret and any subset of $u \geq T+2g$ players (qualified) can reconstruct the secret. It is natural to ask that how far from the threshold these quasi-threshold secret sharing schemes are? How many subsets of $u \in [T, T+2g-1]$ players can recover the secret or have no information of the secret? In this paper it is proved that almost all subsets of $u \in [T,T+g-1]$ players have no information of the secret and almost all subsets of $u \in [T+g,T+2g-1]$ players can reconstruct the secret when the size $q$ goes to the infinity and the genus satisfies $\lim \frac{g}{\sqrt{q}}=0$. Then algebraic geometric secret sharing schemes over large finite fields are asymptotically threshold in this case. We also analyze the case when the size $q$ of the base field is fixed and the genus goes to the infinity.


title: Updates to the One-loop Provider NLOX

abstract: We describe the 1.2 update to NLOX, a computer program for calculations in high-energy particle physics. New features since the 1.0 release and other changes are described, along with usage documentation.


title: SG-PBFT: a Secure and Highly Efficient Blockchain PBFT Consensus Algorithm for Internet of Vehicles

abstract: The Internet of Vehicles (IoV) is an application of the Internet of things (IoT). It faces two main security problems: (1) the central server of the IoV may not be powerful enough to support the centralized authentication of the rapidly increasing connected vehicles, (2) the IoV itself may not be robust enough to single-node attacks. To solve these problems, this paper proposes SG-PBFT: a secure and highly efficient PBFT consensus algorithm for Internet of Vehicles, which is based on a distributed blockchain structure. The distributed structure can reduce the pressure on the central server and decrease the risk of single-node attacks. The SG-PBFT consensus algorithm improves the traditional PBFT consensus algorithm by using a score grouping mechanism to achieve a higher consensus efficiency. The experimental result shows that our method can greatly improve the consensus efficiency and prevent single-node attacks. Specifically, when the number of consensus nodes reaches 1000, the consensus time of our algorithm is only about 27% of what is required for the state-of-the-art consensus algorithm (PBFT). Our proposed SG-PBFT is versatile and can be used in other application scenarios which require high consensus efficiency.


title: Reconfigurable Intelligent Surface Enabled Full-Duplex/Half-Duplex Cooperative Non-Orthogonal Multiple Access

abstract: This paper investigates the downlink transmission of reconfigurable intelligent surface (RIS)-aided cooperative non-orthogonal-multiple-access (C-NOMA), where both half-duplex (HD) and full-duplex (FD) relaying modes are considered. The system model consists of one base station (BS), two users and one RIS. The goal is to minimize the total transmit power at both the BS and at the user-cooperating relay for each relaying mode by jointly optimizing the power allocation coefficients at the BS, the transmit power coefficient at the relay user, and the passive beamforming at the RIS, subject to power budget constraints, the successive interference cancellation constraint and the minimum required quality-of-service at both cellular users. To address the high-coupled optimization variables, an efficient algorithm is proposed by invoking an alternating optimization approach that decomposes the original problem into a power allocation sub-problem and a passive beamforming sub-problem, which are solved alternately. For the power allocation sub-problem, the optimal closed-form expressions for the power allocation coefficients are derived. Meanwhile, the semi-definite relaxation approach is exploited to tackle the passive beamforming sub-problem. The simulation results validate the accuracy of the derived power control closed-form expressions and demonstrate the gain in the total transmit power brought by integrating the RIS in C-NOMA networks.


title: CycleSegNet: Object Co-segmentation with Cycle Refinement and Region Correspondence

abstract: Image co-segmentation is an active computer vision task that aims to segment the common objects from a set of images. Recently, researchers design various learning-based algorithms to undertake the co-segmentation task. The main difficulty in this task is how to effectively transfer information between images to make conditional predictions. In this paper, we present CycleSegNet, a novel framework for the co-segmentation task. Our network design has two key components: a region correspondence module which is the basic operation for exchanging information between local image regions, and a cycle refinement module, which utilizes ConvLSTMs to progressively update image representations and exchange information in a cycle and iterative manner. Extensive experiments demonstrate that our proposed method significantly outperforms the state-of-the-art methods on four popular benchmark datasets -- PASCAL VOC dataset, MSRC dataset, Internet dataset, and iCoseg dataset, by 2.6%, 7.7%, 2.2%, and 2.9%, respectively.


title: Demonstrating levitation within a microwave cavity

abstract: Levitated systems are desirable due to reduced clamping losses and reduced thermal contact. These advantageous properties have been exploited in optomechanics to achieve ultra-strong coupling between the mechanical mode and the electromagnetic mode. Such schemes provide an opportunity for the quantum manipulation of a macroscopic system. In this letter, we report the first successful experiments with a levitated millimeter-scale neodymium magnet within a centimeter-scale superconducting aluminum coaxial quarter-wave stub cavity. The magnet levitated near the top of the stub, where the electric field is concentrated, perturbs the electric field distribution allowing for small perturbations in the magnet's position to be detected through shifts in the resonance frequency. Resonance spectra are collected via a vector network analyzer (VNA) between temperatures of 5 K and 50 mK revealing movement of the magnet inside of the cavity. Room temperature measurements and finite element calculations are done to calculate the shift in frequency for various positions of the magnet, and an experimentally measured 100 MHz upshift when transitioning into a superconducting state confirms levitation with remanences up to 140 times stronger than the critical field of the aluminum. We achieve levitation heights of 1 - 1.8 mm. We investigate the dependence of levitation height and levitation temperature on the strength of the magnet and, surprisingly, we observe that the levitation temperature and height both increase with permanent magnet strength. Our work describes a novel macroscopic mechanical system capable of sensing and transducing forces, thus allowing for the coupling of disparate classical and quantum systems.


title: Research on Fast Text Recognition Method for Financial Ticket Image

abstract: Currently, deep learning methods have been widely applied in and thus promoted the development of different fields. In the financial accounting field, the rapid increase in the number of financial tickets dramatically increases labor costs; hence, using a deep learning method to relieve the pressure on accounting is necessary. At present, a few works have applied deep learning methods to financial ticket recognition. However, first, their approaches only cover a few types of tickets. In addition, the precision and speed of their recognition models cannot meet the requirements of practical financial accounting systems. Moreover, none of the methods provides a detailed analysis of both the types and content of tickets. Therefore, this paper first analyzes the different features of 482 kinds of financial tickets, divides all kinds of financial tickets into three categories and proposes different recognition patterns for each category. These recognition patterns can meet almost all types of financial ticket recognition needs. Second, regarding the fixed format types of financial tickets (accounting for 68.27\% of the total types of tickets), we propose a simple yet efficient network named the Financial Ticket Faster Detection network (FTFDNet) based on a Faster RCNN. Furthermore, according to the characteristics of the financial ticket text, in order to obtain higher recognition accuracy, the loss function, Region Proposal Network (RPN), and Non-Maximum Suppression (NMS) are improved to make FTFDNet focus more on text. Finally, we perform a comparison with the best ticket recognition model from the ICDAR2019 invoice competition. The experimental results illustrate that FTFDNet increases the processing speed by 50\% while maintaining similar precision.


title: Extended calculations of energy levels, radiative properties, and lifetimes for P-like Ge XVIII

abstract: Using the multiconfiguration Dirac-Hartree-Fock (MCDHF) and the relativistic configuration interaction (RCI) methods, a consistent set of transition energies and radiative transition data for the lowest 150 states of the $3s^2 3p^3$, $3s 3p^4$, $3s^2 3p^2 3d$, $3s 3p^3 3d$, $3p^5$, and $3s^2 3p 3d^2$ configurations in P-like Ge XVIII is provided. To assess the accuracy of the MCDHF transition energies, we have also performed calculations using the many-body perturbation theory (MBPT). Comparisons are made between the present MCDHF and MBPT data sets, as well as with other available experimental and theoretical values. The resulting accurate and consistent MCDHF data set will be useful for line identification and modeling purposes. These data can be considered as a benchmark for other calculations.


title: An Ownership Policy and Deadlock Detector for Promises

abstract: Task-parallel programs often enjoy deadlock freedom under certain restrictions, such as the use of structured join operations, as in Cilk and X10, or the use of asynchronous task futures together with deadlock-avoiding policies such as Known Joins or Transitive Joins. However, the promise, a popular synchronization primitive for parallel tasks, does not enjoy deadlock-freedom guarantees. Promises can exhibit deadlock-like bugs; however, the concept of a deadlock is not currently well-defined for promises. To address these challenges, we propose an ownership semantics in which each promise is associated to the task which currently intends to fulfill it. Ownership immediately enables the identification of bugs in which a task fails to fulfill a promise for which it is responsible. Ownership further enables the discussion of deadlock cycles among tasks and promises and allows us to introduce a robust definition of deadlock-like bugs for promises. Cycle detection in this context is non-trivial because it is concurrent with changes in promise ownership. We provide a lock-free algorithm for precise runtime deadlock detection. We show how to obtain the memory consistency criteria required for the correctness of our algorithm under TSO and the Java and C++ memory models. An evaluation compares the execution time and memory usage overheads of our detection algorithm on benchmark programs relative to an unverified baseline. Our detector exhibits a 12% (1.12$\times$) geometric mean time overhead and a 6% (1.06$\times$) geometric mean memory overhead, which are smaller overheads than in past approaches to deadlock cycle detection.


title: Butterfly Effect and Spatial Structure of Information Spreading in a Chaotic Cellular Automaton

abstract: Inspired by recent developments in the study of chaos in many-body systems, we construct a measure of local information spreading for a stochastic Cellular Automaton in the form of a spatiotemporally resolved Hamming distance. This decorrelator is a classical version of an Out-of-Time-Order Correlator studied in the context of quantum many-body systems. Focusing on the one-dimensional Kauffman Cellular Automaton, we extract the scaling form of our decorrelator with an associated butterfly velocity $v_b$ and a velocity-dependent Lyapunov exponent $\lambda(v)$. The existence of the latter is not a given in a discrete classical system. Second, we account for the behaviour of the decorrelator in a framework based solely on the boundary of the information spreading, including an effective boundary random walk model yielding the full functional form of the decorrelator. In particular, we obtain analytic results for $v_b$ and the exponent $\beta$ in the scaling ansatz $\lambda(v) \sim \mu (v - v_b)^\beta$, which is usually only obtained numerically. Finally, a full scaling collapse establishes the decorrelator as a unifying diagnostic of information spreading.


title: Transverse stability of line soliton and characterization of ground state for wave guide Schr\"{o}dinger equations

abstract: In this paper, we study the transverse stability of the line Schr\"{o}dinger soliton under a full wave guide Schr\"{o}dinger flow on a cylindrical domain $\mathbb R\times\mathbb T$. When the nonlinearity is of power type $|\psi|^{p-1}\psi$ with $p>1$, we show that there exists a critical frequency $\omega_{p} >0$ such that the line standing wave is stable for $0<\omega < \omega_{p}$ and unstable for $\omega > \omega_{p}$. Furthermore, we characterize the ground state of the wave guide Schr\"{o}dinger equation. More precisely, we prove that there exists $\omega_{*} \in (0, \omega_{p}]$ such that the ground states coincide with the line standing waves for $\omega \in (0, \omega_{*}]$ and are different from the line standing waves for $\omega \in (\omega_{*}, \infty)$.


title: High-Temperature Superconductivity in Cerium Superhydrides

abstract: The discoveries of high-temperature superconductivity in H3S and LaH10 have excited the search for superconductivity in compressed hydrides. In contrast to rapidly expanding theoretical studies, high-pressure experiments on hydride superconductors are expensive and technically challenging. Here we experimentally discover superconductivity in two new phases,Fm-3m-CeH10 (SC-I phase) and P63/mmc-CeH9 (SC-II phase) at pressures that are much lower (<100 GPa) than those needed to stabilize other polyhydride superconductors. Superconductivity was evidenced by a sharp drop of the electrical resistance to zero, and by the decrease of the critical temperature in deuterated samples and in an external magnetic field. SC-I has Tc=115 K at 95 GPa, showing expected decrease on further compression due to decrease of the electron-phonon coupling (EPC) coefficient {\lambda} (from 2.0 at 100 GPa to 0.8 at 200 GPa). SC-II has Tc = 57 K at 88 GPa, rapidly increasing to a maximum Tc ~100 K at 130 GPa, and then decreasing on further compression. This maximum of Tc is due to a maximum of {\lambda} at the phase transition from P63/mmc-CeH9 into a symmetry-broken modification C2/c-CeH9. The pressure-temperature conditions of synthesis affect the actual hydrogen content, and the actual value of Tc. Anomalously low pressures of stability of cerium superhydrides make them appealing for studies of superhydrides and for designing new superhydrides with even lower pressures of stability.


title: Tunable Single-Ion Anisotropy in Spin-1 Models Realized with Ultracold Atoms

abstract: Mott insulator plateaus in optical lattices are a versatile platform to study spin physics. Using sites occupied by two bosons with an internal degree of freedom, we realize a uniaxial single-ion anisotropy term proportional to $(S^z)^2$, which plays an important role in stabilizing magnetism for low-dimensional magnetic materials. Here we explore non-equilibrium spin dynamics and observe a resonant effect in the spin anisotropy as a function of lattice depth when exchange coupling and on-site anisotropy are similar. Our results are supported by many-body numerical simulations and are captured by the analytical solution of a two-site model.


title: Contrastive Learning for Recommender System

abstract: Recommender systems, which analyze users' preference patterns to suggest potential targets, are indispensable in today's society. Collaborative Filtering (CF) is the most popular recommendation model. Specifically, Graph Neural Network (GNN) has become a new state-of-the-art for CF. In the GNN-based recommender system, message dropout is usually used to alleviate the selection bias in the user-item bipartite graph. However, message dropout might deteriorate the recommender system's performance due to the randomness of dropping out the outgoing messages based on the user-item bipartite graph. To solve this problem, we propose a graph contrastive learning module for a general recommender system that learns the embeddings in a self-supervised manner and reduces the randomness of message dropout. Besides, many recommender systems optimize models with pairwise ranking objectives, such as the Bayesian Pairwise Ranking (BPR) based on a negative sampling strategy. However, BPR has the following problems: suboptimal sampling and sample bias. We introduce a new debiased contrastive loss to solve these problems, which provides sufficient negative samples and applies a bias correction probability to alleviate the sample bias. We integrate the proposed framework, including graph contrastive module and debiased contrastive module with several Matrix Factorization(MF) and GNN-based recommendation models. Experimental results on three public benchmarks demonstrate the effectiveness of our framework.


title: Disjoint spread systems and fault location

abstract: When $k$ factors each taking one of $v$ levels may affect the correctness or performance of a complex system, a test is selected by setting each factor to one of its levels and determining whether the system functions as expected (passes the test) or not (fails). In our setting, each test failure can be attributed to at least one faulty (factor, level) pair. A nonadaptive test suite is a selection of such tests to be executed in parallel. One goal is to minimize the number of tests in a test suite from which we can determine which (factor, level) pairs are faulty, if any. In this paper, we determine the number of tests needed to locate faults when exactly one (or at most one) pair is faulty. To do this, we address an equivalent problem, to determine how many set partitions of a set of size $N$ exist in which each partition contains $v$ classes and no two classes in the partitions are equal.


title: HNN-extension of involutive multiplicative Hom-Lie algebras

abstract: The construction of HNN-extensions of involutive Hom-associative algebras and involutive Hom-Lie algebras is described. Then, as an application of HNN-extension, by using the validity of Poincar\'e-Birkhoff-Witt theorem for involutive Hom-Lie algebras, we provide an embedding theorem.


title: Correlations transference and apparition of a metastable decoherence-free subspace in dissipative reservoirs

abstract: The dynamic of correlations in a system composed of a two-mode quantum field coupled with the environment is studied. The quantum field corresponds to two entangled coherent states whose amplitude we vary up to the mesoscopic regime. We show that under the onset of decoherence, correlations in the quantum field are not lost but transferred to the environment. We also found that sudden transitions in the decoherence regimes appear along with the dynamics depending on the coherent states' amplitude. Increasing the amplitude of the entangled coherence state results in the apparition of a metastable decoherence-free subspace (DFS) in the field subsystem, and the transference of classical correlations freezes. This subspace only exists during a time interval that depends on the average number of photons. Interestingly, the reservoir subsystem also experiences the apparition of a DFS. Only quantum correlations are transferred while the DFS exists.


title: I-BERT: Integer-only BERT Quantization

abstract: Transformer based models, like BERT and RoBERTa, have achieved state-of-the-art results in many Natural Language Processing tasks. However, their memory footprint, inference latency, and power consumption are prohibitive efficient inference at the edge, and even at the data center. While quantization can be a viable solution for this, previous work on quantizing Transformer based models use floating-point arithmetic during inference, which cannot efficiently utilize integer-only logical units such as the recent Turing Tensor Cores, or traditional integer-only ARM processors. In this work, we propose I-BERT, a novel quantization scheme for Transformer based models that quantizes the entire inference with integer-only arithmetic. Based on lightweight integer-only approximation methods for nonlinear operations, e.g., GELU, Softmax, and Layer Normalization, I-BERT performs an end-to-end integer-only BERT inference without any floating point calculation. We evaluate our approach on GLUE downstream tasks using RoBERTa-Base/Large. We show that for both cases, I-BERT achieves similar (and slightly higher) accuracy as compared to the full-precision baseline. Furthermore, our preliminary implementation of I-BERT shows a speedup of 2.4-4.0x for INT8 inference on a T4 GPU system as compared to FP32 inference. The framework has been developed in PyTorch and has been open-sourced.


title: Self-supervised Visual-LiDAR Odometry with Flip Consistency

abstract: Most learning-based methods estimate ego-motion by utilizing visual sensors, which suffer from dramatic lighting variations and textureless scenarios. In this paper, we incorporate sparse but accurate depth measurements obtained from lidars to overcome the limitation of visual methods. To this end, we design a self-supervised visual-lidar odometry (Self-VLO) framework. It takes both monocular images and sparse depth maps projected from 3D lidar points as input, and produces pose and depth estimations in an end-to-end learning manner, without using any ground truth labels. To effectively fuse two modalities, we design a two-pathway encoder to extract features from visual and depth images and fuse the encoded features with those in decoders at multiple scales by our fusion module. We also adopt a siamese architecture and design an adaptively weighted flip consistency loss to facilitate the self-supervised learning of our VLO. Experiments on the KITTI odometry benchmark show that the proposed approach outperforms all self-supervised visual or lidar odometries. It also performs better than fully supervised VOs, demonstrating the power of fusion.


title: On the global convergence of randomized coordinate gradient descent for non-convex optimization

abstract: In this work, we analyze the global convergence property of coordinate gradient descent with random choice of coordinates and stepsizes for non-convex optimization problems. Under generic assumptions, we prove that the algorithm iterate will almost surely escape strict saddle points of the objective function. As a result, the algorithm is guaranteed to converge to local minima if all saddle points are strict. Our proof is based on viewing coordinate descent algorithm as a nonlinear random dynamical system and a quantitative finite block analysis of its linearization around saddle points.


title: Itinerant ferromagnetism mediated by giant spin polarization of metallic ligand band in van der Waals magnet Fe5GeTe2

abstract: We investigate near-Fermi-energy (EF) element-specific electronic and spin states of ferromagnetic van der Waals (vdW) metal Fe5GeTe2. The soft x-ray angle-resolved photoemission spectroscopy (SX-ARPES) measurement provides spectroscopic evidence of localized Fe 3d band. We also find prominent hybridization between the localized Fe 3d band and the delocalized Ge/Te p bands. This picture is strongly supported from direct observation of the remarkable spin polarization of the ligand p bands near EF, using x-ray magnetic circular dichroism (XMCD) measurements. The strength of XMCD signal from ligand element Te shows the highest value, as far as we recognize, among literature reporting finite XMCD signal for none-magnetic element in any systems. Combining SX-ARPES and elemental selective XMCD measurements, we collectively point an important role of giant spin polarization of the delocalized ligand Te states for realizing itinerant long-range ferromagnetism in Fe5GeTe2. Our finding provides a fundamental elemental selective view-point for understanding mechanism of itinerant ferromagnetism in low dimensional compounds, which also leads insight for designing exotic magnetic states by interfacial band engineering in heterostructures.


title: Advancing Behavior Engineering: Toward Integrated Events Modeling

abstract: The term behavior engineering (BE) encompasses a broad integration of behavioral and compositional requirements needed to model large-scale systems. BE forms a connection between systems-engineering processes and software-engineering processes. In software engineering, interpreting requirements can be perceived as specifying behavior, which is viewed in terms of chronology of events in the modeled system. In this paper, we adopt BE in its general and integrating sense to search for a unifying notion of an event as a fundamental behavior-modeling concept. We examine several bodies of research with various definitions of an event and its basic units and structure. We use the thinging machine (TM) model to analyze notions related to events, including Dromey s behavior trees, fluents (change over time), recurrent events, and Davidson s events. The results point to an underlying meaning that can lead to a unifying event concept.


title: Star Formation in a Strongly Magnetized Cloud

abstract: We study star formation in the Center Ridge 1 (CR1) clump in the Vela C giant molecular cloud, selected as a high column density region that shows the lowest level of dust continuum polarization angle dispersion, likely indicating that the magnetic field is relatively strong. We observe the source with the ALMA 7m-array at 1.05~mm and 1.3~mm wavelengths, which enable measurements of dust temperature, core mass and astrochemical deuteration. A relatively modest number of eleven dense cores are identified via their dust continuum emission, with masses spanning from 0.17 to 6.7 Msun. Overall CR1 has a relatively low compact dense gas fraction compared with other typical clouds with similar column densities, which may be a result of the strong magnetic field and/or the very early evolutionary stage of this region. The deuteration ratios, Dfrac, of the cores, measured with N2H+(3-2) and N2D+(3-2) lines, span from 0.011 to 0.85, with the latter being one of the highest values yet detected. The level of deuteration appears to decrease with evolution from prestellar to protostellar phase. A linear filament, running approximately parallel with the large scale magnetic field orientation, is seen connecting the two most massive cores, each having CO bipolar outflows aligned orthogonally to the filament. The filament contains the most deuterated core, likely to be prestellar and located midway between the protostars. The observations permit measurement of the full deuteration structure of the filament along its length, which we present. We also discuss the kinematics and dynamics of this structure, as well as of the dense core population.


title: Giant anisotropic magnetoresistance in Ising superconductor-magnetic insulator tunnel junctions

abstract: Superconductivity and magnetism are generally incompatible because of the opposing requirement on electron spin alignment. When combined, they produce a multitude of fascinating phenomena, including unconventional superconductivity and topological superconductivity. The emergence of two-dimensional (2D)layered superconducting and magnetic materials that can form nanoscale junctions with atomically sharp interfaces presents an ideal laboratory to explore new phenomena from coexisting superconductivity and magnetic ordering. Here we report tunneling spectroscopy under an in-plane magnetic field of superconductor-ferromagnet-superconductor (S/F/S) tunnel junctions that are made of 2D Ising superconductor NbSe2 and ferromagnetic insulator CrBr3. We observe nearly 100% tunneling anisotropic magnetoresistance (AMR), that is, difference in tunnel resistance upon changing magnetization direction from out-of-plane to inplane. The giant tunneling AMR is induced by superconductivity, particularly, a result of interfacial magnetic exchange coupling and spin-dependent quasiparticle scattering. We also observe an intriguing magnetic hysteresis effect in superconducting gap energy and quasiparticle scattering rate with a critical temperature that is 2 K below the superconducting transition temperature. Our study paves the path for exploring superconducting spintronic and unconventional superconductivity in van der Waals heterostructures.


title: Intrinsic Spin Hall Conductivity Platform in Triply Degenerate Semimetal

abstract: It is generally believed that conductivity platform can only exist in insulator with topological nontrivial bulk occupied states. Such rule exhibits in two dimensional quantum (anomalous) Hall effect, quantum spin Hall effect, and three dimensional topological insulator. In this letter, we propose a spin Hall conductivity (SHC) platform in a kind of three dimensional metallic materials with triply degenerate points around the Fermi level. With the help of a four bands \textbf{k}${\cdot}$\textbf{p} model, we prove that SHC platform can form between $|\frac{3}{2},\pm\frac{3}{2}\rangle$ and $|\frac{1}{2},\pm\frac{1}{2}\rangle$ states of metallic system. Our further ab initio calculations predict that a nearly ideal SHC platform exhibits in an experimentally synthesized TaN. The width of the SHC platform reaches up to 0.56 eV, hoping to work under high temperature. The electrical conductivity tensor of TaN indicates that its spin Hall angle reaches -0.62, which is larger than many previous reported materials and make it an excellent candidate for producing stable spin current.


title: A Trainable Reconciliation Method for Hierarchical Time-Series

abstract: In numerous applications, it is required to produce forecasts for multiple time-series at different hierarchy levels. An obvious example is given by the supply chain in which demand forecasting may be needed at a store, city, or country level. The independent forecasts typically do not add up properly because of the hierarchical constraints, so a reconciliation step is needed. In this paper, we propose a new general, flexible, and easy-to-implement reconciliation strategy based on an encoder-decoder neural network. By testing our method on four real-world datasets, we show that it can consistently reach or surpass the performance of existing methods in the reconciliation setting.


title: Work fluctuations due to partial thermalizations in two-level systems

abstract: We study work extraction processes mediated by finite-time interactions with an ambient bath -- \emph{partial thermalizations} -- as continuous time Markov processes for two-level systems. Such a stochastic process results in fluctuations in the amount of work that can be extracted and is characterized by the rate at which the system parameters are driven in addition to the rate of thermalization with the bath. We analyze the distribution of work for the case where the energy gap of a two-level system is driven at a constant rate. We derive analytic expressions for average work and lower bound for the variance of work showing that such processes cannot be fluctuation-free in general. We also observe that an upper bound for the Monte Carlo estimate of the variance of work can be obtained using Jarzynski's fluctuation-dissipation relation for systems initially in equilibrium. Finally, we analyse work extraction cycles by modifying the Carnot cycle, incorporating processes involving partial thermalizations and obtain efficiency at maximum power for such finite-time work extraction cycles under different sets of constraints.


title: Formation of intermediate-mass planets via magnetically-controlled disk fragmentation

abstract: Intermediate mass planets, from Super-Earth to Neptune-sized bodies, are the most common type of planets in the galaxy. The prevailing theory of planet formation, core-accretion, predicts significantly fewer intermediate-mass giant planets than observed. The competing mechanism for planet formation, disk instability, can produce massive gas giant planets on wide-orbits, such as HR8799, by direct fragmentation of the protoplanetary disk. Previously, fragmentation in magnetized protoplanetary disks has only been considered when the magneto-rotational instability is the driving mechanism for magnetic field growth. Yet, this instability is naturally superseded by the spiral-driven dynamo when more realistic, non-ideal MHD conditions are considered. Here we report on MHD simulations of disk fragmentation in the presence of a spiral-driven dynamo. Fragmentation leads to the formation of long-lived bound protoplanets with masses that are at least one order of magnitude smaller than in conventional disk instability models. These light clumps survive shear and do not grow further due to the shielding effect of the magnetic field, whereby magnetic pressure stifles local inflow of matter. The outcome is a population of gaseous-rich planets with intermediate masses, while gas giants are found to be rarer, in qualitative agreement with the observed mass distribution of exoplanets.


title: Equality Saturation for Tensor Graph Superoptimization

abstract: One of the major optimizations employed in deep learning frameworks is graph rewriting. Production frameworks rely on heuristics to decide if rewrite rules should be applied and in which order. Prior research has shown that one can discover more optimal tensor computation graphs if we search for a better sequence of substitutions instead of relying on heuristics. However, we observe that existing approaches for tensor graph superoptimization both in production and research frameworks apply substitutions in a sequential manner. Such sequential search methods are sensitive to the order in which the substitutions are applied and often only explore a small fragment of the exponential space of equivalent graphs. This paper presents a novel technique for tensor graph superoptimization that employs equality saturation to apply all possible substitutions at once. We show that our approach can find optimized graphs with up to 16% speedup over state-of-the-art, while spending on average 48x less time optimizing.


title: Anisotropic Andreev reflection in semi-Dirac materials

abstract: In the framework of Bogoliubov-de Gennes equation, we theoretically study the Andreev reflection in normal-superconducting junctions based on semi-Dirac materials. Owing to the intrinsic anisotropy of semi-Dirac materials, the configuration of Andreev reflection and differential conductance are strongly orientation-dependent. For the transport along the linear dispersion direction, the differential conductance exhibits a clear crossover from retro Andreev reflection to specular Andreev reflection with an increasing bias-voltage, and the differential conductance oscillates without a decaying profile when the interfacial barrier strength increases. However, for the transport along the quadratic dispersion direction, the boundary between the retro Andreev reflection and specular Andreev reflection is ambiguous, and the differential conductance decays with increasing the momentum mismatch or the interfacial barrier strength. We illustrate the pseudo-spin textures to reveal the underling physics behind the anisotropic coherent transport properties. These results enrich the understanding of the superconducting coherent transport in semi-Dirac materials.


title: Evaluating Empathetic Chatbots in Customer Service Settings

abstract: Customer service is a setting that calls for empathy in live human agent responses. Recent advances have demonstrated how open-domain chatbots can be trained to demonstrate empathy when responding to live human utterances. We show that a blended skills chatbot model that responds to customer queries is more likely to resemble actual human agent response if it is trained to recognize emotion and exhibit appropriate empathy, than a model without such training. For our analysis, we leverage a Twitter customer service dataset containing several million customer<->agent dialog examples in customer service contexts from 20 well-known brands.


title: Modeling the Linux page cache for accurate simulation of data-intensive applications

abstract: The emergence of Big Data in recent years has resulted in a growing need for efficient data processing solutions. While infrastructures with sufficient compute power are available, the I/O bottleneck remains. The Linux page cache is an efficient approach to reduce I/O overheads, but few experimental studies of its interactions with Big Data applications exist, partly due to limitations of real-world experiments. Simulation is a popular approach to address these issues, however, existing simulation frameworks do not simulate page caching fully, or even at all. As a result, simulation-based performance studies of data-intensive applications lead to inaccurate results. In this paper, we propose an I/O simulation model that includes the key features of the Linux page cache. We have implemented this model as part of the WRENCH workflow simulation framework, which itself builds on the popular SimGrid distributed systems simulation framework. Our model and its implementation enable the simulation of both single-threaded and multithreaded applications, and of both writeback and writethrough caches for local or network-based filesystems. We evaluate the accuracy of our model in different conditions, including sequential and concurrent applications, as well as local and remote I/Os. We find that our page cache model reduces the simulation error by up to an order of magnitude when compared to state-of-the-art, cacheless simulations.


title: Joint Deep Reinforcement Learning and Unfolding: Beam Selection and Precoding for mmWave Multiuser MIMO with Lens Arrays

abstract: The millimeter wave (mmWave) multiuser multiple-input multiple-output (MU-MIMO) systems with discrete lens arrays (DLA) have received great attention due to their simple hardware implementation and excellent performance. In this work, we investigate the joint design of beam selection and digital precoding matrices for mmWave MU-MIMO systems with DLA to maximize the sum-rate subject to the transmit power constraint and the constraints of the selection matrix structure. The investigated non-convex problem with discrete variables and coupled constraints is challenging to solve and an efficient framework of joint neural network (NN) design is proposed to tackle it. Specifically, the proposed framework consists of a deep reinforcement learning (DRL)-based NN and a deep-unfolding NN, which are employed to optimize the beam selection and digital precoding matrices, respectively. As for the DRL-based NN, we formulate the beam selection problem as a Markov decision process and a double deep Q-network algorithm is developed to solve it. The base station is considered to be an agent, where the state, action, and reward function are carefully designed. Regarding the design of the digital precoding matrix, we develop an iterative weighted minimum mean-square error algorithm induced deep-unfolding NN, which unfolds this algorithm into a layerwise structure with introduced trainable parameters. Simulation results verify that this jointly trained NN remarkably outperforms the existing iterative algorithms with reduced complexity and stronger robustness.


title: Integration of Domain Knowledge using Medical Knowledge Graph Deep Learning for Cancer Phenotyping

abstract: A key component of deep learning (DL) for natural language processing (NLP) is word embeddings. Word embeddings that effectively capture the meaning and context of the word that they represent can significantly improve the performance of downstream DL models for various NLP tasks. Many existing word embeddings techniques capture the context of words based on word co-occurrence in documents and text; however, they often cannot capture broader domain-specific relationships between concepts that may be crucial for the NLP task at hand. In this paper, we propose a method to integrate external knowledge from medical terminology ontologies into the context captured by word embeddings. Specifically, we use a medical knowledge graph, such as the unified medical language system (UMLS), to find connections between clinical terms in cancer pathology reports. This approach aims to minimize the distance between connected clinical concepts. We evaluate the proposed approach using a Multitask Convolutional Neural Network (MT-CNN) to extract six cancer characteristics -- site, subsite, laterality, behavior, histology, and grade -- from a dataset of ~900K cancer pathology reports. The results show that the MT-CNN model which uses our domain informed embeddings outperforms the same MT-CNN using standard word2vec embeddings across all tasks, with an improvement in the overall micro- and macro-F1 scores by 4.97\%and 22.5\%, respectively.


title: Federated Learning for 6G: Applications, Challenges, and Opportunities

abstract: Traditional machine learning is centralized in the cloud (data centers). Recently, the security concern and the availability of abundant data and computation resources in wireless networks are pushing the deployment of learning algorithms towards the network edge. This has led to the emergence of a fast growing area, called federated learning (FL), which integrates two originally decoupled areas: wireless communication and machine learning. In this paper, we provide a comprehensive study on the applications of FL for sixth generation (6G) wireless networks. First, we discuss the key requirements in applying FL for wireless communications. Then, we focus on the motivating application of FL for wireless communications. We identify the main problems, challenges, and provide a comprehensive treatment of implementing FL techniques for wireless communications.


title: A New Formula for the Minimum Distance of an Expander Code

abstract: An expander code is a binary linear code whose parity-check matrix is the bi-adjacency matrix of a bipartite expander graph. We provide a new formula for the minimum distance of such codes. We also provide a new proof of the result that $2(1-\varepsilon) \gamma n$ is a lower bound of the minimum distance of the expander code given by a $(m,n,d,\gamma,1-\varepsilon)$ expander bipartite graph.


title: Asymmetrically interacting dynamics with mutual confirmation from multi-source on multiplex networks

abstract: In the early stage of epidemics, individuals' determination on adopting protective measures, which can reduce their risk of infection and suppress disease spreading, is likely to depend on multiple information sources and their mutual confirmation due to inadequate exact information. Here we introduce the inter-layer mutual confirmation mechanism into the information-disease interacting dynamics on multiplex networks. In our model, an individual increases the information transmission rate and willingness to adopt protective measures once he confirms the authenticity of news and severity of disease from neighbors status in multiple layers. By using the microscopic Markov chain approach, we analytically calculate the epidemic threshold and the awareness and infected density in the stationary state, which agree well with simulation results. We find that the increment of epidemic threshold when confirming the aware neighbors on communication layer is larger than that of the contact layer. On the contrary, the confirmation of neighbors' awareness and infection from the contact layer leads to a lower final infection density and a higher awareness density than that of the communication layer. The results imply that individuals' explicit exposure of their infection and awareness status to neighbors, especially those with real contacts, is helpful in suppressing epidemic spreading.


title: Practical Blind Membership Inference Attack via Differential Comparisons

abstract: Membership inference (MI) attacks affect user privacy by inferring whether given data samples have been used to train a target learning model, e.g., a deep neural network. There are two types of MI attacks in the literature, i.e., these with and without shadow models. The success of the former heavily depends on the quality of the shadow model, i.e., the transferability between the shadow and the target; the latter, given only blackbox probing access to the target model, cannot make an effective inference of unknowns, compared with MI attacks using shadow models, due to the insufficient number of qualified samples labeled with ground truth membership information. In this paper, we propose an MI attack, called BlindMI, which probes the target model and extracts membership semantics via a novel approach, called differential comparison. The high-level idea is that BlindMI first generates a dataset with nonmembers via transforming existing samples into new samples, and then differentially moves samples from a target dataset to the generated, non-member set in an iterative manner. If the differential move of a sample increases the set distance, BlindMI considers the sample as non-member and vice versa. BlindMI was evaluated by comparing it with state-of-the-art MI attack algorithms. Our evaluation shows that BlindMI improves F1-score by nearly 20% when compared to state-of-the-art on some datasets, such as Purchase-50 and Birds-200, in the blind setting where the adversary does not know the target model's architecture and the target dataset's ground truth labels. We also show that BlindMI can defeat state-of-the-art defenses.


title: Stacked phase-space density of galaxies around massive clusters: Comparison of dynamical and lensing masses

abstract: We present a measurement of average histograms of line-of-sight velocities over pairs of galaxies and galaxy clusters. Since the histogram can be measured at different galaxy-cluster separations, this observable is commonly referred to as the stacked phase-space density. We formulate the stacked phase-space density based on a halo-model approach so that the model can be applied to real samples of galaxies and clusters. We examine our model by using an actual sample of massive clusters with known weak-lensing masses and spectroscopic observations of galaxies around the clusters. A likelihood analysis with our model enables us to infer the spherical-symmetric velocity dispersion of observed galaxies in massive clusters. We find the velocity dispersion of galaxies surrounding clusters with their lensing masses of $1.1\times10^{15}\, h^{-1}M_{\odot}$ to be $1180^{+83}_{-70}\, \mathrm{km/s}$ at the 68\% confidence level. Our constraint confirms that the relation between the galaxy velocity dispersion and the host cluster mass in our sample is consistent with the prediction in dark-matter-only N-body simulations under General Relativity. Assuming that the Poisson equation in clusters can be altered by an effective gravitational constant of $G_\mathrm{eff}$, our measurement of the velocity dispersion can place a tight constraint of $0.88 < G_\mathrm{eff}/G_\mathrm{N} < 1.29\, (68\%)$ at length scales of a few Mpc about $2.5$ Giga years ago, where $G_\mathrm{N}$ is the Newton's constant.


title: The power-law component of the X-ray emissions from pulsar wind nebulae and their pulsars

abstract: To look for possible phenomenological connections between pulsar's timing properties and emissions from pulsar wind nebulae and their pulsars, we studied the power-law component of the X-ray emissions from 35 pulsar wind nebulae which have a detected pulsar in X-rays. Our major results are in the following: (1) The power-law component of the X-ray luminosities, in the energy range from 0.5 keV to 8 keV, of the nebulae and of the pulsar both show a strong correlation with the pulsar spin-down power ($\dot{E}$), consistent with earlier studies. However, equally significant correlations with the magnetic field strength at the light cylinder ($B_{\rm lc}$) are also found. The similar significance level of the correlations with $\dot{E}$ and with $B_{\rm lc}$ suggests that not only $\dot{E}$ but also $B_{\rm lc}$ plays an important role in understanding these power-law emissions. (2) Thermal X-ray emissions are detected in 12 pulsars among the 35 samples. With derived temperature as one additional variable, we found that the photon indices of pulsar's non-thermal X-ray power-law spectra can be well described by a linear function of $\log P$, $\log\dot{P}$ and temperature logarithm $\log T$. It indicates that the surface temperature of neutron stars plays an important role in determining the energy distribution of the radiating pair plasma in pulsar's magnetospheres.


title: Study on pure annihilation type B to V gamma decays

abstract: We investigate the pure annihilation type radiative $B$ meson decays $B^0 \to \phi \gamma$ and $B_s \to \rho^0(\omega)\gamma$ in the soft-collinear effective theory. We consider three types of contributions to the decay amplitudes, including the direct annihilation topology, the contribution from the electro-magnetic penguin operator and the contribution of the neutral vector meson mixings. The numerical analysis shows that the decay amplitudes are dominated by the $\omega-\phi$ mixing effect in the $B^0 \to \phi\gamma$ and $B_s \to \omega\gamma$ modes. The corresponding decay branching ratios are enhanced about three orders of magnitudes relative to the pure annihilation type contribution in these two decay channels. The decay rate of $B_s \to \rho^0\gamma$ is much smaller than that of $B_s \to \omega\gamma$ because of the smaller $\rho^0-\phi$ mixing. The predicted branching ratios $B(B^{0}\rightarrow\phi\gamma)=(3.99^{+1.67}_{-1.46} )\times10^{-9},\,B(B_s\rightarrow\omega\gamma)=(2.01^{+0.81}_{-0.71} )\times10^{-7}$ are to be tested by the Belle-II and LHC-b experiments.