title: Generalized uncertainty relations in spherical coordinates

abstract: Following to the Weil method we generalize the Heisenberg-Robertson uncertainty relation for arbitrary two operators. Consideration is made in spherical coordinates, where the distant variable is restricted from one side, . By this reason accounting of suitable boundary condition at the origin for radial wave functions and operators is necessary. Therefore, there arise extra surface terms in comparison with traditional approaches. These extra terms are calculated for various solvable potentials and their influence is investigated. At last, the time-energy uncertainty relations are also analysed. Some differences between our approach and that, in which a direct product for separate variances were considered are discussed.


title: Time-dependent dynamical Bragg diffraction in deformed crystals by beam propagation method (BPM)

abstract: This paper describes how to efficiently solve time-dependent x-ray dynamic diffraction problems in distorted crystals with an FFT-based beam propagation method (FFT BPM). We show examples of using the technique to simulate the propagation of x-ray beams in deformed crystals in space and time domains relevant to the cavity-based x-ray Free Electron Lasers (CBXFELs) and XFEL self-seeding systems.


title: Incomplete sets in P for logspace-reduction

abstract: In this article, we investigate the behaviour of TMs with time limit and tape space limit. This problem is in P when the time limit is unary coded. If both limits go to infinity, it is undecidable which limit is exceeded first. Thus logspace-incomplete sets in P can be constructed. This implies L $\not=$ P.


title: Curved factor analysis with the Ellipsoid-Gaussian distribution

abstract: There is a need for new models for characterizing dependence in multivariate data. The multivariate Gaussian distribution is routinely used, but cannot characterize nonlinear relationships in the data. Most non-linear extensions tend to be highly complex; for example, involving estimation of a non-linear regression model in latent variables. In this article, we propose a relatively simple class of Ellipsoid-Gaussian multivariate distributions, which are derived by using a Gaussian linear factor model involving latent variables having a von Mises-Fisher distribution on a unit hyper-sphere. We show that the Ellipsoid-Gaussian distribution can flexibly model curved relationships among variables with lower-dimensional structures. Taking a Bayesian approach, we propose a hybrid of gradient-based geodesic Monte Carlo and adaptive Metropolis for posterior sampling. We derive basic properties and illustrate the utility of the Ellipsoid-Gaussian distribution on a variety of simulated and real data applications. An accompanying R package is also available.


title: A low-frequency, high-amplitude, torsional oscillator for turbulence studies in quantum fluids

abstract: We describe a new type of torsional oscillator, suitable for studies of quantum fluids at frequencies of $\sim$ $100$ Hz, but capable of reaching high velocities of up to several cm\,s$^{-1}$. This requires the oscillator amplitude to exceed $100$ $\mu m$, which is much too large for a conventional capacitor-driven device. We describe the new geometry for the oscillator, discuss its design, and report our initial tests of its performance.


title: Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation

abstract: Deep reinforcement learning (DRL) has attracted much attention as an approach to solve optimal control problems without mathematical models of systems. On the other hand, in general, constraints may be imposed on optimal control problems. In this study, we consider the optimal control problems with constraints to complete temporal control tasks. We describe the constraints using signal temporal logic (STL), which is useful for time sensitive control tasks since it can specify continuous signals within bounded time intervals. To deal with the STL constraints, we introduce an extended constrained Markov decision process (CMDP), which is called a $\tau$-CMDP. We formulate the STL-constrained optimal control problem as the $\tau$-CMDP and propose a two-phase constrained DRL algorithm using the Lagrangian relaxation method. Through simulations, we also demonstrate the learning performance of the proposed algorithm.


title: Inference of bipolar neutrino flavor oscillations near a core-collapse supernova, based on multiple measurements at Earth

abstract: Neutrinos in compact-object environments, such as core-collapse supernovae, can experience various kinds of collective effects in flavor space, engendered by neutrino-neutrino interactions. These include "bipolar" collective oscillations, which are exhibited by neutrino ensembles where different flavors dominate at different energies. Considering the importance of neutrinos in the dynamics and nucleosynthesis in these environments, it is desirable to ascertain whether an Earth-based detection could contain signatures of bipolar oscillations that occurred within a supernova envelope. To that end, we continue examining a cost-function formulation of statistical data assimilation (SDA) to infer solutions to a small-scale model of neutrino flavor transformation. SDA is an inference paradigm designed to optimize a model with sparse data. Our model consists of two mono-energetic neutrino beams with different energies emanating from a source and coherently interacting with each other and with a matter background, with time-varying interaction strengths. We attempt to infer flavor transformation histories of these beams using simulated measurements of the flavor content at locations in vacuum (that is, far from the source), which could in principle correspond to earth-based detectors. Within the scope of this small-scale model, we found that: (i) based on such measurements, the SDA procedure is able to infer \textit{whether} bipolar oscillations had occurred within the protoneutron star envelope, and (ii) if the measurements are able to sample the full amplitude of the neutrino oscillations in vacuum, then the amplitude of the prior bipolar oscillations is also well predicted. This result intimates that the inference paradigm can well complement numerical integration codes, via its ability to infer flavor evolution at physically inaccessible locations.


title: alpha-Deep Probabilistic Inference (alpha-DPI): efficient uncertainty quantification from exoplanet astrometry to black hole feature extraction

abstract: Inference is crucial in modern astronomical research, where hidden astrophysical features and patterns are often estimated from indirect and noisy measurements. Inferring the posterior of hidden features, conditioned on the observed measurements, is essential for understanding the uncertainty of results and downstream scientific interpretations. Traditional approaches for posterior estimation include sampling-based methods and variational inference. However, sampling-based methods are typically slow for high-dimensional inverse problems, while variational inference often lacks estimation accuracy. In this paper, we propose alpha-DPI, a deep learning framework that first learns an approximate posterior using alpha-divergence variational inference paired with a generative neural network, and then produces more accurate posterior samples through importance re-weighting of the network samples. It inherits strengths from both sampling and variational inference methods: it is fast, accurate, and scalable to high-dimensional problems. We apply our approach to two high-impact astronomical inference problems using real data: exoplanet astrometry and black hole feature extraction.


title: High-Dimensional Inference over Networks: Linear Convergence and Statistical Guarantees

abstract: We study sparse linear regression over a network of agents, modeled as an undirected graph and no server node. The estimation of the $s$-sparse parameter is formulated as a constrained LASSO problem wherein each agent owns a subset of the $N$ total observations. We analyze the convergence rate and statistical guarantees of a distributed projected gradient tracking-based algorithm under high-dimensional scaling, allowing the ambient dimension $d$ to grow with (and possibly exceed) the sample size $N$. Our theory shows that, under standard notions of restricted strong convexity and smoothness of the loss functions, suitable conditions on the network connectivity and algorithm tuning, the distributed algorithm converges globally at a {\it linear} rate to an estimate that is within the centralized {\it statistical precision} of the model, $O(s\log d/N)$. When $s\log d/N=o(1)$, a condition necessary for statistical consistency, an $\varepsilon$-optimal solution is attained after $\mathcal{O}(\kappa \log (1/\varepsilon))$ gradient computations and $O (\kappa/(1-\rho) \log (1/\varepsilon))$ communication rounds, where $\kappa$ is the restricted condition number of the loss function and $\rho$ measures the network connectivity. The computation cost matches that of the centralized projected gradient algorithm despite having data distributed; whereas the communication rounds reduce as the network connectivity improves. Overall, our study reveals interesting connections between statistical efficiency, network connectivity \& topology, and convergence rate in high dimensions.


title: Evidence that the Hot Jupiter WASP-77 A b Formed Beyond Its Parent Protoplanetary Disk's H2O Ice Line

abstract: Idealized protoplanetary disk and giant planet formation models have been interpreted to suggest that a giant planet's atmospheric abundances can be used to infer its formation location in its parent protoplanetary disk. It has recently been reported that the hot Jupiter WASP-77 A b has sub-solar atmospheric carbon and oxygen abundances with a solar C/O abundance ratio. Assuming solar carbon and oxygen abundances for its host star WASP-77 A, WASP-77 A b's atmospheric carbon and oxygen abundances possibly indicate that it accreted its envelope interior to its parent protoplanetary disk's H2O ice line from carbon-depleted gas with little subsequent planetesimal accretion or core erosion. We comprehensively model WASP-77 A and use our results to better characterize WASP-77 A b. We show that the photospheric abundances of carbon and oxygen in WASP-77 A are super-solar with a sub-solar C/O abundance ratio, implying that WASP-77 A b's atmosphere has significantly sub-stellar carbon and oxygen abundances with a super-stellar C/O ratio. Our result possibly indicates that WASP-77 A b's envelope was accreted by the planet beyond its parent protoplanetary disk's H2O ice line. While numerous theoretical complications to these idealized models have now been identified, the possibility of non-solar protoplanetary disk abundance ratios confound even the most sophisticated protoplanetary disk and giant planet formation models. We therefore argue that giant planet atmospheric abundance ratios can only be meaningfully interpreted relative to the possibly non-solar mean compositions of their parent protoplanetary disks as recorded in the photospheric abundances of their solar-type dwarf host stars.


title: Mechanical control of physical properties in the van der Waals ferromagnet Cr2Ge2Te6 via application of electric current

abstract: Cr2Ge2Te6 is a van der Waals ferromagnet with a Curie temperature at 66 K. Here we report a swift change in the magnetic ground state upon application of small DC electric current, a giant yet anisotropic magnetoelectric effect, and a sharp, lattice-driven quantum switching manifested in the I-V characteristic of the bulk single-crystal Cr2Ge2Te6. At the heart of these observed phenomena is a newly uncovered, strongly anisotropic magnetoelastic coupling that enables strongly anisotropic responses of the lattice to application of electric current and/or magnetic field, thus the exotic phenomena in Cr2Ge2Te6. Such a rare mechanical tunability in the magnetic semiconductors promises tantalizing prospects for unique functional materials and devices.


title: A two-party quantum parliament

abstract: This paper introduces the first functional model of a quantum parliament that is dominated by two parties or coalitions, and may or may not contain independent legislators. We identify a single crucial parameter, aptly named \emph{free will radius}, that can be used as a practical measure of the quantumness of the parties and the parliament as a whole. The free will radius used by the two parties determines the degree of independence that is afforded to the representatives of the parties. Setting the free will radius to zero degrades the quantum parliament to a classical one. On the other hand, setting the free will radius to its maximum value $1$, makes the representatives totally independent. Moreover, we present a quantum circuit with which we simulate in Qiskit the operation of the quantum parliament under various scenarios. The experimental results allow to arrive at some novel and fundamental conclusions that, we believe, provide new insights on the operation and the traits of a possible future quantum parliament. Finally, we propose the novel game of ``Passing the Bill,'' which captures the operation of the quantum parliament and basic options available to the leadership of the two parties.


title: Strong and long-range radiative interaction between resonant transitions

abstract: Enhancing the radiative interaction between quantum electronic transitions is of general interest. There are two important properties of radiative interaction: the range and the strength. There has been a trade-off between the range and the strength observed in the literature. Such apparent trade-off arises from the dispersion relation of photonic environments. A general recipe is developed to overcome such trade-off and to simultaneously enhance the range and the strength of radiative interactions.


title: Vertical Federated Edge Learning with Distributed Integrated Sensing and Communication

abstract: This letter studies a vertical federated edge learning (FEEL) system for collaborative objects/human motion recognition by exploiting the distributed integrated sensing and communication (ISAC). In this system, distributed edge devices first send wireless signals to sense targeted objects/human, and then exchange intermediate computed vectors (instead of raw sensing data) for collaborative recognition while preserving data privacy. To boost the spectrum and hardware utilization efficiency for FEEL, we exploit ISAC for both target sensing and data exchange, by employing dedicated frequency-modulated continuous-wave (FMCW) signals at each edge device. Under this setup, we propose a vertical FEEL framework for realizing the recognition based on the collected multi-view wireless sensing data. In this framework, each edge device owns an individual local L-model to transform its sensing data into an intermediate vector with relatively low dimensions, which is then transmitted to a coordinating edge device for final output via a common downstream S-model. By considering a human motion recognition task, experimental results show that our vertical FEEL based approach achieves recognition accuracy up to 98\% with an improvement up to 8\% compared to the benchmarks, including on-device training and horizontal FEEL.


title: Chiral Pattern in Nonrotating Spherical Convection

abstract: When the Rayleigh number is low, Rayleigh-B\'enard convection in a nonrotating spherical shell with central gravity has symmetric solutions in terms of three-dimensional discrete rotation. All the known patterns with the regular polyhedral symmetries accompany reflection symmetry. We found a new type of steady convection in a nonrotating spherical shell by computer simulations. The pattern has the discrete rotational symmetry of a regular tetrahedron with no reflection symmetry. The convection consists of six pairs of spiral rolls placed on 12 faces of a spherical dodecahedron. Depending on the winding of the spirals, there are two possible configurations that are mirror images of one another.


title: How does unlabeled data improve generalization in self-training? A one-hidden-layer theoretical analysis

abstract: Self-training, a semi-supervised learning algorithm, leverages a large amount of unlabeled data to improve learning when the labeled data are limited. Despite empirical successes, its theoretical characterization remains elusive. To the best of our knowledge, this work establishes the first theoretical analysis for the known iterative self-training paradigm and proves the benefits of unlabeled data in both training convergence and generalization ability. To make our theoretical analysis feasible, we focus on the case of one-hidden-layer neural networks. However, theoretical understanding of iterative self-training is non-trivial even for a shallow neural network. One of the key challenges is that existing neural network landscape analysis built upon supervised learning no longer holds in the (semi-supervised) self-training paradigm. We address this challenge and prove that iterative self-training converges linearly with both convergence rate and generalization accuracy improved in the order of $1/\sqrt{M}$, where $M$ is the number of unlabeled samples. Experiments from shallow neural networks to deep neural networks are also provided to justify the correctness of our established theoretical insights on self-training.


title: On minimum phase transformation and filter design

abstract: Minimum-phase finite impulse response filters are widely used in practice, and much research has been devoted to the design of such filters. However, for the important case of Chebyshev filters there is a curious mismatch between current best practice and well-established theoretical principles. The paper shows that this difference can be understood through analysis of the time-domain factorization of a suitable extended matrix. This analysis explains why the definition of a factorable linear phase filter must be revised. The time domain analysis of factorization suggests initial values leading to fast and accurate convergence of iterative algorithms for the design of minimum-phase finite impulse response filters. Numerical results are provided to demonstrate that a significant improvement in filter tap accuracy is obtained when the well-established theoretical principles are correctly applied to the design of minimum phase finite impulse response filters.


title: LRSVRG-IMC: An SVRG-Based Algorithm for LowRank Inductive Matrix Completion

abstract: Low-rank inductive matrix completion (IMC) is currently widely used in IoT data completion, recommendation systems, and so on, as the side information in IMC has demonstrated great potential in reducing sample point remains a major obstacle for the convergence of the nonconvex solutions to IMC. What's more, carefully choosing the initial solution alone does not usually help remove the saddle points. To address this problem, we propose a stocastic variance reduction gradient-based algorithm called LRSVRG-IMC. LRSVRG-IMC can escape from the saddle points under various low-rank and sparse conditions with a properly chosen initial input. We also prove that LRSVVRG-IMC achieves both a linear convergence rate and a near-optimal sample complexity. The superiority and applicability of LRSVRG-IMC are verified via experiments on synthetic datasets.


title: Unmanned Aerial Vehicle Swarm-Enabled Edge Computing: Potentials, Promising Technologies, and Challenges

abstract: Unmanned aerial vehicle (UAV) swarm enabled edge computing is envisioned to be promising in the sixth generation wireless communication networks due to their wide application sensories and flexible deployment. However, most of the existing works focus on edge computing enabled by a single or a small scale UAVs, which are very different from UAV swarm-enabled edge computing. In order to facilitate the practical applications of UAV swarm-enabled edge computing, the state of the art research is presented in this article. The potential applications, architectures and implementation considerations are illustrated. Moreover, the promising enabling technologies for UAV swarm-enabled edge computing are discussed. Furthermore, we outline challenges and open issues in order to shed light on the future research directions.


title: Optimal variance-reduced stochastic approximation in Banach spaces

abstract: We study the problem of estimating the fixed point of a contractive operator defined on a separable Banach space. Focusing on a stochastic query model that provides noisy evaluations of the operator, we analyze a variance-reduced stochastic approximation scheme, and establish non-asymptotic bounds for both the operator defect and the estimation error, measured in an arbitrary semi-norm. In contrast to worst-case guarantees, our bounds are instance-dependent, and achieve the local asymptotic minimax risk non-asymptotically. For linear operators, contractivity can be relaxed to multi-step contractivity, so that the theory can be applied to problems like average reward policy evaluation problem in reinforcement learning. We illustrate the theory via applications to stochastic shortest path problems, two-player zero-sum Markov games, as well as policy evaluation and $Q$-learning for tabular Markov decision processes.


title: How a skyrmion can appear both massive and massless

abstract: When a magnetic skyrmion is modeled as a point particle, its dynamics depends on the precise definition of the skyrmion center. The guiding-center position, defined as the first moment of the skyrmion density, exhibits Thiele's massless dynamics; position based on the first moment of magnetization component $m_z$ shows Larmor oscillations characteristic of a massive particle. We show that, even with the latter definition, the Larmor oscillations may be absent for certain types of external forces such as adiabatic spin torque. We offer an alternative mechanical model of a skyrmion featuring two coupled massless particles.


title: Learning Two-Step Hybrid Policy for Graph-Based Interpretable Reinforcement Learning

abstract: We present a two-step hybrid reinforcement learning (RL) policy that is designed to generate interpretable and robust hierarchical policies on the RL problem with graph-based input. Unlike prior deep reinforcement learning policies parameterized by an end-to-end black-box graph neural network, our approach disentangles the decision-making process into two steps. The first step is a simplified classification problem that maps the graph input to an action group where all actions share a similar semantic meaning. The second step implements a sophisticated rule-miner that conducts explicit one-hop reasoning over the graph and identifies decisive edges in the graph input without the necessity of heavy domain knowledge. This two-step hybrid policy presents human-friendly interpretations and achieves better performance in terms of generalization and robustness. Extensive experimental studies on four levels of complex text-based games have demonstrated the superiority of the proposed method compared to the state-of-the-art.


title: The characterization of cones as pointsets with 3 intersection numbers

abstract: Innamorati and Zuanni have provided a combinatorial characterization of Baer and unital cones in PG(3,q). The current paper generalizes these results to arbitrary dimension. Furthermore, these results are extended to hyperoval and maximal arc cones.


title: Orthonormal Sketches for Secure Coded Regression

abstract: In this work, we propose a method for speeding up linear regression distributively, while ensuring security. We leverage randomized sketching techniques, and improve straggler resilience in asynchronous systems. Specifically, we apply a random orthonormal matrix and then subsample in \textit{blocks}, to simultaneously secure the information and reduce the dimension of the regression problem. In our setup, the transformation corresponds to an encoded encryption in an \textit{approximate} gradient coding scheme, and the subsampling corresponds to the responses of the non-straggling workers; in a centralized coded computing network. We focus on the special case of the \textit{Subsampled Randomized Hadamard Transform}, which we generalize to block sampling; and discuss how it can be used to secure the data. We illustrate the performance through numerical experiments.

categories: cs.IT cs.CR cs.NA eess.SP math.IT math.NA


title: Properties of electron lenses produced by ponderomotive potential with Bessel and Laguerre-Gaussian beams

abstract: The properties of electron round lenses produced by the ponderomotive potential are investigated in geometrical optics. The potential proportional to the intensity distribution of a focused first-order Bessel or Laguerre-Gaussian beam is exploited to produce an electron round lens and a third-order spherical aberration corrector. Several formulas for the focal length and spherical aberration coefficients in the thin-lens approximation are derived to set the lens properties and associated light beam parameters. When the mode field of the optical beam is small, the electron trajectory calculation results show properties similar to those obtained using the formulas. Alternatively, large higher-order aberrations are introduced because of the annular distribution of the potential. The second- and higher-order Bessel and Laguerre-Gaussian beams produce no focusing power and no negative third-order spherical aberration; however, they can still be used as circularly symmetric higher-order aberration correctors. Results show that the ponderomotive potential-based electron lens or phase plate forms a refractive index medium with a shape that is considerably more flexible than that achieved in the case of conventional electrostatic and magnetic electron optics. The formulas presented herein can serve as guidelines for designing preferred light fields, thus promoting the advancement of a novel technology in electron optics that exploits the electron-light interaction.


title: Volume Transport by a 3D Quasigeostrophic Heton

abstract: Oceanic flows self-organize into coherent vortices which strongly influence their transport and mixing properties. Counter-rotating vortex pairs can travel long distances and carry trapped fluid as they move. These structures are often modeled as hetons, viz. counter-rotating quasigeostrophic point vortex pairs with equal circulations. Here, we investigate the structure of the transport induced by a single three-dimensional heton. The transport is determined by the Hamiltonian structure of the velocity field induced by the heton's component vortices. The dynamics displays a sequence of bifurcations as one moves through the heton-induced velocity field in height. These bifurcations create and destroy unstable fixed points whose associated invariant manifolds bound the trapped volume. Heton configurations fall into three categories. Vertically aligned hetons do not move and do not transport fluid. Horizontally aligned hetons have a single parameter, the horizontal vortex half-separation $Y$, and simple scaling shows the dimensional trapped volume scales as $Y^3$. Tilted hetons are described by two parameters, $Y$ and the vertical vortex half-separation $Z$, rendering the scaling analysis more complex. A scaling theory is developed for the trapped volume of tilted hetons showing that it scales as $Z^4/Y$ for large $Z$. Numerical calculations illustrate the structure of the trapped volume and verify the scaling theory.


title: Testing Quantum Dissipation Theory with Electron Diffraction

abstract: Decoherence can be provided by a dissipative environment as described by the Caldeira-Leggett equation. This equation is foundational to the theory of quantum dissipation. However, no experimental test has been performed that measures for one physical system both the dissipation and the decoherence. Anglin and Zurek predicted that a resistive surface could provide such a dissipative environment for a free electron wave passing close to it. We propose that the electron wave's coherence and energy loss can be measured simultaneously by using Kapitza-Dirac scattering for varying light intensity.


title: Can Machines Generate Personalized Music? A Hybrid Favorite-aware Method for User Preference Music Transfer

abstract: User preference music transfer (UPMT) is a new problem in music style transfer that can be applied to many scenarios but remains understudied.


title: Noise-specific denoising method with applications to high-frequency ultrasonic images

abstract: Denoising is of utmost importance for the visualization and processing of images featuring low signal-to-noise ratio. Total variation methods are among the most popular techniques to perform this task improving the signal-to-noise ratio while preserving coherent intensity discontinuities. In this work, a novel method, termed maximum likelihood data, is proposed, endowing the total variation formulation with the capability to deal with noise-specific models and pre-processing stages for a certain image of interest. To do this, the data fidelity term is modified by means of a maximum likelihood estimator between the original and the denoised image. To assess the improvements of the proposed method with respect to the total variation formulation, we study the denoising of high-frequency ultrasonic images on in-silico and in-vivo setups. The proposed method delivered a better contrast, preservation and localization of the structures while diminishing the intensity bias of the total variation formulation for the multiplicative noise. The enhancement of medical images through denoising helps to improve the outcome of subsequently applied image processing such as registration and segmentation procedures.


title: To SMOTE, or not to SMOTE?

abstract: Balancing the data before training a classifier is a popular technique to address the challenges of imbalanced binary classification in tabular data. Balancing is commonly achieved by duplication of minority samples or by generation of synthetic minority samples. While it is well known that balancing affects each classifier differently, most prior empirical studies did not include strong state-of-the-art (SOTA) classifiers as baselines. In this work, we are interested in understanding whether balancing is beneficial, particularly in the context of SOTA classifiers. Thus, we conduct extensive experiments considering three SOTA classifiers along the weaker learners used in previous investigations. Additionally, we carefully discern proper metrics, consistent and non-consistent algorithms and hyper-parameter selection methods and show that these have a significant impact on prediction quality and on the effectiveness of balancing. Our results support the known utility of balancing for weak classifiers. However, we find that balancing does not improve prediction performance for the strong ones. We further identify several other scenarios for which balancing is effective and observe that prior studies demonstrated the utility of balancing by focusing on these settings.


title: H$_2$-dominated Atmosphere as an Indicator of Second-generation Rocky White Dwarf Exoplanets

abstract: Following the discovery of the first exoplanet candidate transiting a white dwarf (WD), a "white dwarf opportunity" for characterizing the atmospheres of terrestrial exoplanets around WDs is emerging. Large planet-to-star size ratios and hence large transit depths make transiting WD exoplanets favorable targets for transmission spectroscopy - conclusive detection of spectral features on an Earth-like planet transiting a close-by WD can be achieved within a medium James Webb Space Telescope (JWST) program. Despite the apparently promising opportunity, however, the post-main sequence (MS) evolutionary history of a first-generation WD exoplanet has never been incorporated in atmospheric modeling. Furthermore, second-generation planets formed in WD debris disks have never been studied from a photochemical perspective. We demonstrate that transmission spectroscopy can identify a second-generation rocky WD exoplanet with a thick ($\sim1$ bar) H$_2$-dominated atmosphere. In addition, we can infer outgassing activities of a WD exoplanet based on its transmission spectra and test photochemical runaway by studying CH$_4$ buildup.


title: Spatiotemporal Analysis Using Riemannian Composition of Diffusion Operators

abstract: Multivariate time-series have become abundant in recent years, as many data-acquisition systems record information through multiple sensors simultaneously. In this paper, we assume the variables pertain to some geometry and present an operator-based approach for spatiotemporal analysis. Our approach combines three components that are often considered separately: (i) manifold learning for building operators representing the geometry of the variables, (ii) Riemannian geometry of symmetric positive-definite matrices for multiscale composition of operators corresponding to different time samples, and (iii) spectral analysis of the composite operators for extracting different dynamic modes. We propose a method that is analogous to the classical wavelet analysis, which we term Riemannian multi-resolution analysis (RMRA). We provide some theoretical results on the spectral analysis of the composite operators, and we demonstrate the proposed method on simulations and on real data.


title: Black-box Prompt Learning for Pre-trained Language Models

abstract: The increasing scale of general-purpose Pre-trained Language Models (PLMs) necessitates the study of more efficient adaptation across different downstream tasks. In this paper, we establish a Black-box Discrete Prompt Learning (BDPL) to resonate with pragmatic interactions between the cloud infrastructure and edge devices. Particularly, instead of fine-tuning the model in the cloud, we adapt PLMs by prompt learning, which efficiently optimizes only a few parameters of the discrete prompts. Moreover, we consider the scenario that we do not have access to the parameters and gradients of the pre-trained models, except for its outputs given inputs. This black-box setting secures the cloud infrastructure from potential attack and misuse to cause a single-point failure, which is preferable to the white-box counterpart by current infrastructures. Under this black-box constraint, we apply a variance-reduced policy gradient algorithm to estimate the gradients of parameters in the categorical distribution of each discrete prompt. In light of our method, the user devices can efficiently tune their tasks by querying the PLMs bounded by a range of API calls. Our experiments on RoBERTa and GPT-3 demonstrate that the proposed algorithm achieves significant improvement on eight benchmarks in a cloud-device collaboration manner. Finally, we conduct in-depth case studies to comprehensively analyze our method in terms of various data sizes, prompt lengths, training budgets, optimization objectives, prompt transferability, and explanations of the learned prompts. Our code will be available at https://github.com/shizhediao/Black-Box-Prompt-Learning.


title: Nuclear-spin evidence of insulating and antiferromagnetic state of CuO2 planes in superconducting Pr2Ba4Cu7O15-{\delta}

abstract: In contrast to the "Pr-issue" that neither PrBa2Cu3O7 (Pr123) nor PrBa2Cu4O8 (Pr124) shows superconductivity (SC), we have observed 100%-fraction of SC in an oxygen-reduced Pr2Ba4Cu7O(15-delta) (Pr247) which has a hybrid structure that Pr247 = Pr123 + Pr124. It is found that Cu nuclear-spin signals from the CuO2 planes observed at 300K are completely wiped out down at 2K. Instead, plane signals at 2K are observed at higher frequencies. This indicates that, despite the bulk SC, the CuO2 planes in Pr247 are found to be in an insulating and antiferromagnetically ordered state.


title: Accretion Disk Size Measurements of Active Galactic Nuclei Monitored by the Zwicky Transient Facility

abstract: We compile a sample of 92 active galactic nuclei (AGNs) at z<0.75 with $gri$ photometric light curves from the archival data of the Zwicky Transient Facility and measure the accretion disk sizes via continuum reverberation mapping. We employ Monte Carlo simulation tests to assess the influences of data sampling and broad emission lines and select out the sample with adequately high sampling cadences (3 days apart in average) and minimum contaminations of broad emission lines. The inter-band time delays of individual AGNs are calculated using the interpolated cross-correlation function and then these delays are fitted with a generalized accretion disk model, in which inter-band time delays are a power function of wavelength, black hole mass, and luminosity. A Markov-chain Monte Carlo method is adopted to determine the best parameter values. Overall the inter-band time delays can be fitted with the $\tau \ \propto \lambda^{4/3}$ relation as predicted from a steady-state, optically thick, geometrically thin accretion disk, however, the yielded disk size is systematically larger than expected, although the ratio of the measured to theoretical disk sizes depend on using the emissivity -- or responsivity -- weighted disk radius. These results are broadly consistent with previous studies, all together raising a puzzle about the "standard" accretion disk model.


title: Cellular Micromasonry: Biofabrication with Single Cell Precision

abstract: In many tissues, cell type varies over single-cell length-scales, creating detailed spatial heterogeneities fundamental to physiological function. To gain understanding of this relationship between tissue function and detailed structure, and to one day engineer structurally and physiologically accurate tissues, we need the ability to assemble 3D cellular structures having the level of detail found in living tissue. Here we introduce a method of 3D cell assembly that has a level of precision finer than the single-cell scale. With this method we create numerous structures having well-defined spatial patterns, demonstrating that cell type can be varied over the scale of individual cells and showing function after their assembly. This technique provides innumerable opportunities to study cellular behavior in defined contexts including complex interactions operating during embryogenesis.


title: The neutron and proton mass radii from the vector meson photoproduction data on the deuterium target

abstract: In this study, we try to extract the mass radii of the neutron and the proton from the differential cross section data of near-threshold $\omega$ and $\phi$ photoproductions on deuterium target, which is often approximated as a quasi-free neutron plus a quasi-free proton. The incoherent data of $\omega$ and $\phi$ photoproductions are provided by CBELSA/TAPS collaboration and LEPS collaboration respectively, where the deuteron is disintegrated in the experiments to measure the properties of individual nucleons. Under the VMD model and the assumption of dipole gravitational form factor, we determined the loosely bound neutron and proton mass radii to be $0.795\pm0.092\rm(stat.)\pm0.073\rm(syst.)$ fm and $0.744\pm0.029\rm(stat.)\pm0.042\rm(syst.)$ fm respectively from the near-threshold data of $\gamma d \rightarrow \omega n (p)$ and $\gamma d \rightarrow \omega p (n)$, for the first time. With the near-threshold and incoherent $\phi$ photoproduction data of $\gamma d \rightarrow \phi p n$, we determined the average mass radius of the bound nucleon (neutron or proton) inside the deuteron to be $0.755\pm0.039\rm(stat.)\pm0.039\rm(syst.)$ fm, for the first time. For a comparison study, we also extracted the mass radius of the free proton from the $\omega$ photoproduction on the hydrogen target by CBELSA/TAPS collaboration. Based on our analysis results under the assumptions of VMD model and a low energy QCD theorem, we find that the neutron mass radius is consistent with the proton mass radius within the current statistical uncertainties, and that the nuclear modification on the nucleon mass radius is small inside the deuteron.


title: Instance-Dependent Confidence and Early Stopping for Reinforcement Learning

abstract: Various algorithms for reinforcement learning (RL) exhibit dramatic variation in their convergence rates as a function of problem structure. Such problem-dependent behavior is not captured by worst-case analyses and has accordingly inspired a growing effort in obtaining instance-dependent guarantees and deriving instance-optimal algorithms for RL problems. This research has been carried out, however, primarily within the confines of theory, providing guarantees that explain \textit{ex post} the performance differences observed. A natural next step is to convert these theoretical guarantees into guidelines that are useful in practice. We address the problem of obtaining sharp instance-dependent confidence regions for the policy evaluation problem and the optimal value estimation problem of an MDP, given access to an instance-optimal algorithm. As a consequence, we propose a data-dependent stopping rule for instance-optimal algorithms. The proposed stopping rule adapts to the instance-specific difficulty of the problem and allows for early termination for problems with favorable structure.


title: Leptogenesis from a feebly interacting dark matter sector

abstract: We perform an analysis of leptogenesis in the context of a simple extension of the Standard Model by two fermions; one charged ($\chi $) and one neutral ($\psi$), in addition to three right-handed neutrinos, $N_i$, interacting through a charged gauge singlet scalar $S$. The dark sector ($\chi$, $\psi$ and $S$) interacts feebly and produces a relic density consistent with measurements. The decay of right-handed neutrinos into the charged scalar $S$ and lepton provides an additional source of CP asymmetry, along with contributing through the virtual exchange of $S$ in the standard decay channel. With this the out-of-equilibrium decay of right-handed neutrinos, combined with lepton number changing scattering processes can generate the required baryon asymmetry of the universe even for right-handed neutrino masses in 10 TeV region, without requiring neutrinos to have degenerate masses.


title: Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots

abstract: Contact-rich robotic systems, such as legged robots and manipulators, are often represented as hybrid systems. However, the stability analysis and region-of-attraction computation for these systems are often challenging because of the discontinuous state changes upon contact (also referred to as state resets). In this work, we cast the computation of region-ofattraction as a Hamilton-Jacobi (HJ) reachability problem. This enables us to leverage HJ reachability tools that are compatible with general nonlinear system dynamics, and can formally deal with state and input constraints as well as bounded disturbances. Our main contribution is the generalization of HJ reachability framework to account for the discontinuous state changes originating from state resets, which has remained a challenge until now. We apply our approach for computing region-of-attractions for several underactuated walking robots and demonstrate that the proposed approach can (a) recover a bigger region-of-attraction than state-of-the-art approaches, (b) handle state resets, nonlinear dynamics, external disturbances, and input constraints, and (c) also provides a stabilizing controller for the system that can leverage the state resets for enhancing system stability.


title: AutoDistill: an End-to-End Framework to Explore and Distill Hardware-Efficient Language Models

abstract: Recently, large pre-trained models have significantly improved the performance of various Natural LanguageProcessing (NLP) tasks but they are expensive to serve due to long serving latency and large memory usage. To compress these models, knowledge distillation has attracted an increasing amount of interest as one of the most effective methods for model compression. However, existing distillation methods have not yet addressed the unique challenges of model serving in datacenters, such as handling fast evolving models, considering serving performance, and optimizing for multiple objectives. To solve these problems, we propose AutoDistill, an end-to-end model distillation framework integrating model architecture exploration and multi-objective optimization for building hardware-efficient NLP pre-trained models. We use Bayesian Optimization to conduct multi-objective Neural Architecture Search for selecting student model architectures. The proposed search comprehensively considers both prediction accuracy and serving latency on target hardware. The experiments on TPUv4i show the finding of seven model architectures with better pre-trained accuracy (up to 3.2% higher) and lower inference latency (up to 1.44x faster) than MobileBERT. By running downstream NLP tasks in the GLUE benchmark, the model distilled for pre-training by AutoDistill with 28.5M parameters achieves an 81.69 average score, which is higher than BERT_BASE, DistillBERT, TinyBERT, NAS-BERT, and MobileBERT. The most compact model found by AutoDistill contains only 20.6M parameters but still outperform BERT_BASE(109M), DistillBERT(67M), TinyBERT(67M), and MobileBERT(25.3M) regarding the average GLUE score. By evaluating on SQuAD, a model found by AutoDistill achieves an 88.4% F1 score with 22.8M parameters, which reduces parameters by more than 62% while maintaining higher accuracy than DistillBERT, TinyBERT, and NAS-BERT.


title: Underwater Node Localization using Optoacoustic Signals

abstract: Localization of underwater networks is important in many military and civil applications. Because GPS receivers do not work below the water surface, traditional localization methods form a relative topology of underwater nodes (UWNs) and utilize either anchor nodes or floating gateways with dual transceivers in order to determine global coordinates. However, these methods introduce logistical complications and security risks in deploying the anchor and/or surface gateways. This paper tackles such an issue by proposing new localization techniques which can remotely localize UWNs using optoacoustic signals. In our approach, GPS coordinates are transmitted from air to the UWN via creating an underwater temporary isotropic acoustic transmitter with the optoacoustic process. We analyze the process of controlling the shape and size of the plasma to create the isotropic acoustic transmitter and experimentally validate the generation of isotropic acoustic signals. Then two methods of localization are proposed for static and dynamic UWNs. Finally, the simulation results with experimental values show the effectiveness of our approach. Comparing to the traditional techniques, our approach achieves the same accuracy without using any surface or underwater anchor nodes.


title: Neutron skin in $^{48}$Ca determined from p+$^{48}$Ca and $^{48}$Ca+$^{12}$C scattering

abstract: In our previous paper, we determined $r_{\rm skin}^{208}({\rm exp})=0.278 \pm 0.035$~fm from $\sigma_{\rm R}$ for p+$^{208}$Pb scattering, using the Kyushu (chiral) $g$-matrix folding model with the densities calculated with D1S-GHFB with the angular momentum projection (AMP). The value agrees with that of PREX2. Reaction cross sections $\sigma_{\rm R}$ are available for p+$^{48}$Ca scattering, whereas interaction cross sections $\sigma_{\rm I}$ are available for $^{48}$Ca + $^{12}$C scattering. As for $^{48}$Ca, the high-resolution $E1$ polarizability experiment ($E1$pE) yields $r_{\rm skin}^{48}(E1{\rm pE}) =0.14 \sim 0.20~{\rm fm}$. We determine $r_{\rm skin}^{48}({\rm exp})$ from the data on $\sigma_{\rm R}$ for p+$^{48}$Ca scattering and from the data on $\sigma_{\rm I}$ for $^{48}$Ca+$^{12}$C scattering. We use the Kyushu $g$-matrix folding model with the densities calculated with the D1M-GHFB+AMP densities. The D1M-GHFB+AMP proton and neutron densities are scaled so as to reproduce the data under the condition that the radius $r_{\rm p}$ of the scaled proton density equals the data $r_{\rm p}({\rm exp})$ determined from the electron scattering. We deduce skin values $r_{\rm skin}=r_{\rm n}({\rm exp})-r_{\rm p}({\rm exp})$ from the resulting $r_{\rm n}({\rm exp})$ and the $r_{\rm p}({\rm exp})$ determined from electron scattering. The same procedure is taken for D1S-GHFB+AMP. We regard $r_{\rm skin}^{48}(E1{\rm pE})$ as a reference skin value. Using the reference skin value and taking D1M-GHFB+AMP, we determine $r_{\rm skin}^{48}({\rm exp})=0.158 \pm 0.025$~fm for p+$^{48}$Ca scattering and $0.160 \pm 0.058$~fm for $^{48}$Ca + $^{12}$C scattering. We take the weighted mean and its error for the two skin values. The result is $r_{\rm skin}^{48}({\rm exp})=0.158 \pm (0.023)_{\rm exp} \pm (0.012)_{\rm th}~{\rm fm}$.


title: Can Model Compression Improve NLP Fairness

abstract: Model compression techniques are receiving increasing attention; however, the effect of compression on model fairness is still under explored. This is the first paper to examine the effect of distillation and pruning on the toxicity and bias of generative language models. We test Knowledge Distillation and Pruning methods on the GPT2 model and found a consistent pattern of toxicity and bias reduction after model distillation; this result can be potentially interpreted by existing line of research which describes model compression as a regularization technique; our work not only serves as a reference for safe deployment of compressed models, but also extends the discussion of "compression as regularization" into the setting of neural LMs, and hints at the possibility of using compression to develop fairer models.


title: Deep Learning-Accelerated 3D Carbon Storage Reservoir Pressure Forecasting Based on Data Assimilation Using Surface Displacement from InSAR

abstract: Fast forecasting of reservoir pressure distribution in geologic carbon storage (GCS) by assimilating monitoring data is a challenging problem. Due to high drilling cost, GCS projects usually have spatially sparse measurements from wells, leading to high uncertainties in reservoir pressure prediction. To address this challenge, we propose to use low-cost Interferometric Synthetic-Aperture Radar (InSAR) data as monitoring data to infer reservoir pressure build up. We develop a deep learning-accelerated workflow to assimilate surface displacement maps interpreted from InSAR and to forecast dynamic reservoir pressure. Employing an Ensemble Smoother Multiple Data Assimilation (ES-MDA) framework, the workflow updates three-dimensional (3D) geologic properties and predicts reservoir pressure with quantified uncertainties. We use a synthetic commercial-scale GCS model with bimodally distributed permeability and porosity to demonstrate the efficacy of the workflow. A two-step CNN-PCA approach is employed to parameterize the bimodal fields. The computational efficiency of the workflow is boosted by two residual U-Net based surrogate models for surface displacement and reservoir pressure predictions, respectively. The workflow can complete data assimilation and reservoir pressure forecasting in half an hour on a personal computer.


title: Liouville type theorem for (F;F')p-harmonic maps on foliations

abstract: In this paper, we study $(\mathcal F,\mathcal F')_{p}$-harmonic maps between foliated Riemannian manifolds $(M,g,\mathcal F)$ and $(M',g',\mathcal F')$. A $(\mathcal F,\mathcal F')_{p}$-harmonic map $\phi:(M,g,\mathcal F)\to (M', g',\mathcal F')$ is a critical point of the transversal $p$-energy functional $E_{B,p}$. Trivially, $(\mathcal F,\mathcal F')_2$-harmonic map is $(\mathcal F,\mathcal F')$-harmonic map, which is a critical point of $E_B$. There is another definition of a harmonic map on foliated Riemannian manifolds, called transversally harmonic map, which is a solution of the Euler-Largrange equation $\tau_b(\phi)=0$. Two definitions are not equivalent, but if $\mathcal F$ is minimal, then two definitons are equivalent. Firstly, we give the first and second variational formulas for $(\mathcal F,\mathcal F')_{p}$-harmonic maps. Next, we investigate the generalized Weitzenb\"ock type formula and the Liouville type theorem for $(\mathcal F,\mathcal F')_{p}$-harmonic map.


title: Discovery of a cool, metal-rich gas reservoir in the outskirts of z ~ 0.5 clusters

abstract: We built the first-ever statistically significant sample of ~ 80,000 background quasar - foreground cluster pairs to study the cool, metal-rich gas in the outskirts (> R500) of z ~ 0.5 clusters with a median mass of ~ 10^14.2 M_sun. The sample was obtained by cross-matching the SDSS cluster catalog of Wen & Han (2015) and SDSS quasar catalog of Lyke et al. (2020). The median impact parameter (rho_cl) of the clusters from the quasar sightlines is 2.4 Mpc (median rho_cl/R500 = 3.6). A strong MgII, along with marginal FeII, absorption is detected in the mean and median stacked spectra of the quasars with total MgII rest-frame equivalent width (W^(2796+2803)) of 0.034 pm 0.005 A (7simga) and 0.010 pm 0.003 A (3sigma), respectively. The W^(2796+2803) shows a declining trend with increasing rho_cl and rho_cl/R500, but does not show any significant trend with mass (M500) or redshift (zcl) within the small M500 and zcl ranges probed here. The MgII absorption signal and the trends persist even if we exclude the quasar-cluster pairs where the background quasars may be probing the circum-galactic medium (CGM) of bright galaxies with impact parameters < 300 kpc. The MgII (and FeII) absorption reported here is the first detection of its kind. It indicates the presence of a cool, metal-rich gas reservoir surrounding galaxy clusters out to several R500. We suggest that the metal-rich gas in the cluster outskirts arise from stripped materials and that gas stripping may be important out to large clustocentric distances (> 3R500 ).


title: Grain Boundary Motion on Curved Substrate

abstract: Grain boundary (GB) kinetics is important for many applications in 2d materials and metal thin films. To study how the substrate shape affects GB mobility and kinetics, we develop a kinetic Monte Carlo (kMC) simulation method and an analytical model for GBs on the curved substrate by combining disconnection theory and by Foppl von Karman equations. Using sinusoidal MoS2 as an example, we can increase its GB mobility more than 50 times by changing substrate shape amplitudes and periods. We find that amplitude change GB mobility exponentially while wave vector change GB mobility linearly. The sinusoidal GB kinetic shape has wave vector twice as substrate and amplitude proportional to substrate squared amplitude.


title: Molecular Dynamics Simulation of Bubble Nucleation in Hydrophilic Nanochannels by Surface Heating

abstract: Bubble nucleation in liquid confined in nanochannel is studied using molecular dynamics simulations and compared against nucleation in the liquid over smooth (i.e. without confinement). Nucleation is achieved by heating part of a surface to high temperatures using a surface-to-liquid heating algorithm implemented in LAMMPS. The surface hydrophilicity of nanochannels is increased to understand its effect on nucleation behavior. Liquid structuring is found to play a significant role in altering thermodynamic properties of density and pressure in the nanochannels, which in turn changes the enthalpy of vaporization. Increased surface hydrophilicity in nanochannels results in the delay of bubble formation as more energy is required for nucleation. Thus, bubble nucleation in hydrophilic nanochannels can dissipate higher heat fluxes and can potentially be used towards the thermal management of hot spots in power electronics.


title: Classification and count of binary linear complementary dual group codes

abstract: We establish a complete classification of binary group codes with complementary duals for a finite group and explicitly determine the number of linear complementary dual (LCD) cyclic group codes by using cyclotomic cosets. The dimension and the minimum distance for LCD group codes are explored. Finally, we find a connection between LCD MDS group codes and maximal ideals.


title: Fair Node Representation Learning via Adaptive Data Augmentation

abstract: Node representation learning has demonstrated its efficacy for various applications on graphs, which leads to increasing attention towards the area. However, fairness is a largely under-explored territory within the field, which may lead to biased results towards underrepresented groups in ensuing tasks. To this end, this work theoretically explains the sources of bias in node representations obtained via Graph Neural Networks (GNNs). Our analysis reveals that both nodal features and graph structure lead to bias in the obtained representations. Building upon the analysis, fairness-aware data augmentation frameworks on nodal features and graph structure are developed to reduce the intrinsic bias. Our analysis and proposed schemes can be readily employed to enhance the fairness of various GNN-based learning mechanisms. Extensive experiments on node classification and link prediction are carried out over real networks in the context of graph contrastive learning. Comparison with multiple benchmarks demonstrates that the proposed augmentation strategies can improve fairness in terms of statistical parity and equal opportunity, while providing comparable utility to state-of-the-art contrastive methods.


title: What Can Machine Vision Do for Lymphatic Histopathology Image Analysis: A Comprehensive Review

abstract: In the past ten years, the computing power of machine vision (MV) has been continuously improved, and image analysis algorithms have developed rapidly. At the same time, histopathological slices can be stored as digital images. Therefore, MV algorithms can provide doctors with diagnostic references. In particular, the continuous improvement of deep learning algorithms has further improved the accuracy of MV in disease detection and diagnosis. This paper reviews the applications of image processing technology based on MV in lymphoma histopathological images in recent years, including segmentation, classification and detection. Finally, the current methods are analyzed, some more potential methods are proposed, and further prospects are made.


title: Blockchain-based Collaborated Federated Learning for Improved Security, Privacy and Reliability

abstract: Federated Learning (FL) provides privacy preservation by allowing the model training at edge devices without the need of sending the data from edge to a centralized server. FL has distributed the implementation of ML. Another variant of FL which is well suited for the Internet of Things (IoT) is known as Collaborated Federated Learning (CFL), which does not require an edge device to have a direct link to the model aggregator. Instead, the devices can connect to the central model aggregator via other devices using them as relays. Although, FL and CFL protect the privacy of edge devices but raises security challenges for a centralized server that performs model aggregation. The centralized server is prone to malfunction, backdoor attacks, model corruption, adversarial attacks and external attacks. Moreover, edge device to centralized server data exchange is not required in FL and CFL, but model parameters are sent from the model aggregator (global model) to edge devices (local model), which is still prone to cyber-attacks. These security and privacy concerns can be potentially addressed by Blockchain technology. The blockchain is a decentralized and consensus-based chain where devices can share consensus ledgers with increased reliability and security, thus significantly reducing the cyberattacks on an exchange of information. In this work, we will investigate the efficacy of blockchain-based decentralized exchange of model parameters and relevant information among edge devices and from a centralized server to edge devices. Moreover, we will be conducting the feasibility analysis for blockchain-based CFL models for different application scenarios like the internet of vehicles, and the internet of things. The proposed study aims to improve the security, reliability and privacy preservation by the use of blockchain-powered CFL.


title: The Collector, the Glitcher, and the Denkbilder: Towards a Critical Aesthetic Theory of Video Games

abstract: To examine the aesthetics of video games, this paper proposes to consider video games as a contemporary multi-media version of the so-called "Denkbild," or "thought-image," an experimental genre of philosophical writing employed by members of the Frankfurt School. A poetic mode of writing, the Denkbild takes literary snapshots of philosophical, political, and cultural insights that interrupt and challenge the enigmatic form of traditional philosophical thinking. Thinking of video games through the lens of the Denkbild allows us to understand the diversity, conditionality, and incommensurability of video game as a form without reducing it to separate pieces to be examined within their respective disciplines too quickly. By presenting two snapshots of video game players, the collector and the glitcher, this paper argues that the concept of Denkbild allows us to better understand the relationships between game, gamers, and the socio-political context in terms of unexpected bonds, accidental breakthroughs, and moments of absolute freedom.


title: Dynamic Cooperative Vehicle Platoon Control Considering Longitudinal and Lane-changing Dynamics

abstract: This paper presents a distributed cascade Proportional Integral Derivate (DCPID) control algorithm for the connected and automated vehicle (CAV) platoon considering the heterogeneity of CAVs in terms of the inertial lag. Furthermore, a real-time dynamic cooperative lane-changing model for CAVs, which can seamlessly combine the DCPID algorithm and the improved sine function is developed. The DCPID algorithm determines the appropriate longitudinal acceleration and speed of the lane-changing vehicle considering the speed fluctuations of the front vehicle on the target lane (TFV). In the meantime, the sine function plans a reference trajectory which is further updated in real time using the model predictive control (MPC) to avoid potential collisions until lane-changing is completed. Both the local and the asymptotic stability conditions of the DCPID algorithm are mathematically derived, and the sensitivity of the DCPID control parameters under different states is analyzed. Simulation experiments are conducted to assess the performance of the proposed model and the results indicate that the DCPID algorithm can provide robust control for tracking and adjusting the desired spacing and velocity for all 400 scenarios, even in the relatively extreme initial state. Besides, the proposed dynamic cooperative lane-changing model can guarantee an effective and safe lane-changing with different speeds and even in emergency situations (such as the sudden deceleration of the TFV).


title: Enhancing Hyperbolic Graph Embeddings via Contrastive Learning

abstract: Recently, hyperbolic space has risen as a promising alternative for semi-supervised graph representation learning. Many efforts have been made to design hyperbolic versions of neural network operations. However, the inspiring geometric properties of this unique geometry have not been fully explored yet. The potency of graph models powered by the hyperbolic space is still largely underestimated. Besides, the rich information carried by abundant unlabelled samples is also not well utilized. Inspired by the recently active and emerging self-supervised learning, in this study, we attempt to enhance the representation power of hyperbolic graph models by drawing upon the advantages of contrastive learning. More specifically, we put forward a novel Hyperbolic Graph Contrastive Learning (HGCL) framework which learns node representations through multiple hyperbolic spaces to implicitly capture the hierarchical structure shared between different views. Then, we design a hyperbolic position consistency (HPC) constraint based on hyperbolic distance and the homophily assumption to make contrastive learning fit into hyperbolic space. Experimental results on multiple real-world datasets demonstrate the superiority of the proposed HGCL as it consistently outperforms competing methods by considerable margins for the node classification task.


title: Identifying Adversarial Attacks on Text Classifiers

abstract: The landscape of adversarial attacks against text classifiers continues to grow, with new attacks developed every year and many of them available in standard toolkits, such as TextAttack and OpenAttack. In response, there is a growing body of work on robust learning, which reduces vulnerability to these attacks, though sometimes at a high cost in compute time or accuracy. In this paper, we take an alternate approach -- we attempt to understand the attacker by analyzing adversarial text to determine which methods were used to create it. Our first contribution is an extensive dataset for attack detection and labeling: 1.5~million attack instances, generated by twelve adversarial attacks targeting three classifiers trained on six source datasets for sentiment analysis and abuse detection in English. As our second contribution, we use this dataset to develop and benchmark a number of classifiers for attack identification -- determining if a given text has been adversarially manipulated and by which attack. As a third contribution, we demonstrate the effectiveness of three classes of features for these tasks: text properties, capturing content and presentation of text; language model properties, determining which tokens are more or less probable throughout the input; and target model properties, representing how the text classifier is influenced by the attack, including internal node activations. Overall, this represents a first step towards forensics for adversarial attacks against text classifiers.


title: Does the second critical-point of water really exist in nature?

abstract: In the past decade, a literary phrase "No man's land" has been flooded in the scientific papers. The expression is used to describe a meta-stable region in the phase-diagram that cannot be accessed by experiments. It has been claimed based on the molecular dynamics (MD) simulation that there is a critical point, or the second critical point (SCP), in the "no man's land," and it has created a big dispute in the field of science. It is proved in the present paper that the hypothesis of SCP is completely against the rigorous theorem of thermodynamics, referred as the Gibbs phase rule. The reason why the simulations have found SCP erroneously is merely because the method violates the requirement which all the statistical-mechanics treatments should satisfy to reproduce the thermodynamics. That is the thermodynamic limit. It is clarified what is the identity of the "liquid-liquid phase transition" and SCP in pure liquids, discovered by the simulations and by some experiments. In order to explain the physics of liquid-liquid phase transition observed experimentally in single component liquids, a new concept is proposed.


title: Toward Enhanced Robustness in Unsupervised Graph Representation Learning: A Graph Information Bottleneck Perspective

abstract: Recent studies have revealed that GNNs are vulnerable to adversarial attacks. Most existing robust graph learning methods measure model robustness based on label information, rendering them infeasible when label information is not available. A straightforward direction is to employ the widely used Infomax technique from typical Unsupervised Graph Representation Learning (UGRL) to learn robust unsupervised representations. Nonetheless, directly transplanting the Infomax technique from typical UGRL to robust UGRL may involve a biased assumption. In light of the limitation of Infomax, we propose a novel unbiased robust UGRL method called Robust Graph Information Bottleneck (RGIB), which is grounded in the Information Bottleneck (IB) principle. Our RGIB attempts to learn robust node representations against adversarial perturbations by preserving the original information in the benign graph while eliminating the adversarial information in the adversarial graph. There are mainly two challenges to optimize RGIB: 1) high complexity of adversarial attack to perturb node features and graph structure jointly in the training procedure; 2) mutual information estimation upon adversarially attacked graphs. To tackle these problems, we further propose an efficient adversarial training strategy with only feature perturbations and an effective mutual information estimator with subgraph-level summary. Moreover, we theoretically establish a connection between our proposed RGIB and the robustness of downstream classifiers, revealing that RGIB can provide a lower bound on the adversarial risk of downstream classifiers. Extensive experiments over several benchmarks and downstream tasks demonstrate the effectiveness and superiority of our proposed method.


title: RHONN Modelling-enabled Nonlinear Predictive Control for Lateral Dynamics Stabilization of An In-wheel Motor Driven Vehicle

abstract: Featuring the fast response and flexibility in control allocation, an electric vehicle with in-wheel motors is a good platform for implementing advanced vehicle dynamics control. Among many active safety functions of an in-wheel motor driven vehicle (IMDV), lateral stability control is a key technology, which can be realized through torque vectoring. To further advance the lateral stabilization performance of the IMDV, in this paper a novel data-driven nonlinear model predictive control (NMPC) is proposed based the recurrent high-order neural network (RHONN) modelling method. First, the new RHONN model is developed to represent vehicle's nonlinear dynamic behaviors. Different from the conventional physics-based modelling method, the RHONN model only needs data and forms high-order polynomials. Based on the RHONN model, the steady-state responses of vehicle's yaw rate and sideslip angle are iteratively optimized and set as the control objectives for low-level controller, aiming to improve the system robustness. Besides, a nonlinear model predictive controller is designed based on the RHONN, which is expected to improve the prediction accuracy during the receding horizon control. Further, a constrained optimization problem is formulated to derive the required yaw moment for vehicle lateral dynamics stabilization. Finally, the performance of the developed RHONN-based nonlinear MPC is validated on an IMDV in the CarSim/Simulink simulation environment. The validation results show that the developed approach outperforms the conventional method, and further improves the stable margin of the system. It is able to enhance the lateral stabilization performance of the IMDV under various driving scenarios, demonstrating the feasibility and effectiveness of the proposed approach.


title: Individual Treatment Effect Estimation Through Controlled Neural Network Training in Two Stages

abstract: We develop a Causal-Deep Neural Network (CDNN) model trained in two stages to infer causal impact estimates at an individual unit level. Using only the pre-treatment features in stage 1 in the absence of any treatment information, we learn an encoding for the covariates that best represents the outcome. In the $2^{nd}$ stage we further seek to predict the unexplained outcome from stage 1, by introducing the treatment indicator variables alongside the encoded covariates. We prove that even without explicitly computing the treatment residual, our method still satisfies the desirable local Neyman orthogonality, making it robust to small perturbations in the nuisance parameters. Furthermore, by establishing connections with the representation learning approaches, we create a framework from which multiple variants of our algorithm can be derived. We perform initial experiments on the publicly available data sets to compare these variants and get guidance in selecting the best variant of our CDNN method. On evaluating CDNN against the state-of-the-art approaches on three benchmarking datasets, we observe that CDNN is highly competitive and often yields the most accurate individual treatment effect estimates. We highlight the strong merits of CDNN in terms of its extensibility to multiple use cases.


title: Bit-GraphBLAS: Bit-Level Optimizations of Matrix-Centric Graph Processing on GPU

abstract: In a general graph data structure like an adjacency matrix, when edges are homogeneous, the connectivity of two nodes can be sufficiently represented using a single bit. This insight has, however, not yet been adequately exploited by the existing matrix-centric graph processing frameworks. This work fills the void by systematically exploring the bit-level representation of graphs and the corresponding optimizations to the graph operations. It proposes a two-level representation named Bit-Block Compressed Sparse Row (B2SR) and presents a series of optimizations to the graph operations on B2SR by leveraging the intrinsics of modern GPUs. Evaluations on NVIDIA Pascal and Volta GPUs show that the optimizations bring up to $40\times$ and $6555\times$ for essential GraphBLAS kernels SpMV and SpGEMM, respectively, making GraphBLAS-based BFS accelerate up to $433\times$, SSSP, PR, and CC up to $35\times$, and TC up to $52\times$.


title: A convergent numerical scheme to a parabolic equation with a nonlocal boundary condition

abstract: In this paper, a numerical scheme for a nonlinear McKendrick-von Foerster equation with diffusion in age (MV-D) with the Dirichlet boundary condition is proposed. The main idea to derive the scheme is to use the discretization based on the method of characteristics to the convection part, and the finite difference method to the rest of the terms. The nonlocal terms are dealt with the quadrature methods. As a result, an implicit scheme is obtained for the boundary value problem under consideration. The consistency and the convergence of the proposed numerical scheme is established. Moreover, numerical simulations are presented to validate the theoretical results.


title: Quasilinear theory for inhomogeneous plasma

abstract: This paper presents quasilinear theory (QLT) for classical plasma interacting with inhomogeneous turbulence. The particle Hamiltonian is kept general; for example, relativistic, electromagnetic, and gravitational effects are subsumed. A Fokker--Planck equation for the dressed 'oscillation-center' distribution is derived from the Klimontovich equation and captures quasilinear diffusion, interaction with the background fields, and ponderomotive effects simultaneously. The local diffusion coefficient is manifestly positive-semidefinite. Waves are allowed to be off-shell (i.e. not constrained by a dispersion relation), and a collision integral of the Balescu--Lenard type emerges in a form that is not restricted to any particular Hamiltonian. This operator conserves particles, momentum, and energy, and it also satisfies the H-theorem, as usual. As a spin-off, a general expression for the spectrum of microscopic fluctuations is derived. For on-shell waves, which satisfy a quasilinear wave-kinetic equation, the theory conserves the momentum and energy of the wave--plasma system. The action of nonresonant waves is also conserved, unlike in the standard version of QLT. Dewar's oscillation-center QLT of electrostatic turbulence (1973, Phys. Fluids 16, 1102) is proven formally as a particular case and given a concise formulation. Also discussed as examples are relativistic electromagnetic and gravitational interactions, and QLT for gravitational waves is proposed.


title: Performance Analysis of Hybrid RF-Reconfigurable Intelligent Surfaces Assisted FSO Communication

abstract: Optical reconfigurable intelligent surface (ORIS) is an emerging technology that can achieve reconfigurable optical propagation environments by precisely adjusting signal's reflection and shape through a large number of passive reflecting elements. In this paper, we investigate the performance of an ORIS-assisted dual-hop hybrid radio frequency (RF) and free space optics (FSO) communication system. By jointly considering the physical models of ORIS, RF channel, atmospheric turbulence, and pointing error, the closed-form solutions of the system's precise outage probability, asymptotic outage probability and BER have been derived. It is shown through numerical results that the derivation results are accurate and the RF-FSO links with ORISs show a slightly worse performance than the traditional RF-FSO links. Based on theoretical analysis and simulation results, the system design and effect of each parameter have been discussed.


title: Hold On and Swipe: A Touch-Movement Based Continuous Authentication Schema based on Machine Learning

abstract: In recent years the amount of secure information being stored on mobile devices has grown exponentially. However, current security schemas for mobile devices such as physiological biometrics and passwords are not secure enough to protect this information. Behavioral biometrics have been heavily researched as a possible solution to this security deficiency for mobile devices. This study aims to contribute to this innovative research by evaluating the performance of a multimodal behavioral biometric based user authentication scheme using touch dynamics and phone movement. This study uses a fusion of two popular publicly available datasets the Hand Movement Orientation and Grasp dataset and the BioIdent dataset. This study evaluates our model performance using three common machine learning algorithms which are Random Forest Support Vector Machine and K-Nearest Neighbor reaching accuracy rates as high as 82% with each algorithm performing respectively for all success metrics reported.


title: Human Activity Recognition models using Limited Consumer Device Sensors and Machine Learning

abstract: Human activity recognition has grown in popularity with its increase of applications within daily lifestyles and medical environments. The goal of having efficient and reliable human activity recognition brings benefits such as accessible use and better allocation of resources; especially in the medical industry. Activity recognition and classification can be obtained using many sophisticated data recording setups, but there is also a need in observing how performance varies among models that are strictly limited to using sensor data from easily accessible devices: smartphones and smartwatches. This paper presents the findings of different models that are limited to train using such sensors. The models are trained using either the k-Nearest Neighbor, Support Vector Machine, or Random Forest classifier algorithms. Performance and evaluations are done by comparing various model performances using different combinations of mobile sensors and how they affect recognitive performances of models. Results show promise for models trained strictly using limited sensor data collected from only smartphones and smartwatches coupled with traditional machine learning concepts and algorithms.


title: Dynamic phase transition theory

abstract: Thermodynamic conventions suffer from describing dynamical distinctions, especially when the structural and energetic changes induced by localized rare events are insignificant. By using the ensemble theory in the trajectory space, we present a statistical approach to address this problem.Rather than spatial particle-particle interaction which dominates thermodynamics, the temporal correlation of events dominates the dynamics. The zeros of dynamic partition function mark phase transitions in the space-time, i.e. dynamic phase transition (DPT), as Yang and Lee formulate traditional phase transitions, and hence determine dynamic phases on both sides of the zeros. Analogous to the role of temperature (pressure) as thermal (mechanical) potential, we interpret the controlling variable of DPT, i.e. dynamic field, as the dynamical potential. These findings offer possibility towards a unified picture of phase and phase transition.


title: Determining ground states of alloy by a symmetry-based classification

abstract: Reducing the number of candidate structures is crucial to improve the efficiency of global optimization. Herein, we demonstrate that the generalized Hamiltonian can be described by the atom classification model (ACM) based on symmetry, generating competent candidates for the first-principles calculations to determine ground states of alloy directly. The candidates can be obtained in advance through solving the convex hull step by step, because the correlation functions of ACM can be divided into various subspace according to the defined index $l$. As an important inference, this index can be converted to the number of Wyckoff positions, revealing the dominant effect of geometry symmetry on structural stability. Taking Ni-Pt, Ag-Pd, Os-Ru, Ir-Ru and Mo-Ru as examples, we not only identify the stable structures in previous theoretical and experimental results, but also predict a dozen of configurations with lower formation energies, such as Ag$_{0.5}$Pd$_{0.5}$ ($Fd$-$3m$), Os$_{0.5}$Ru$_{0.5}$ ($Pnma$), Ir$_{1/3}$Ru$_{2/3}$ ($P6_{3}/mmc$), and Mo$_{0.25}$Ru$_{0.75}$ ($Cmcm$).


title: A nonlinear conjugate gradient method with complexity guarantees and its application to nonconvex regression

abstract: Nonlinear conjugate gradients are among the most popular techniques for solving continuous optimization problems. Although these schemes have long been studied from a global convergence standpoint, their worst-case complexity properties have yet to be fully understood, especially in the nonconvex setting. In particular, it is unclear whether nonlinear conjugate gradient methods possess better guarantees than first-order methods such as gradient descent. Meanwhile, recent experiments have shown impressive performance of standard nonlinear conjugate gradient techniques on certain nonconvex problems, even when compared with methods endowed with the best known complexity guarantees. In this paper, we propose a nonlinear conjugate gradient scheme based on a simple line-search paradigm and a modified restart condition. These two ingredients allow for monitoring the properties of the search directions, which is instrumental in obtaining complexity guarantees. Our complexity results illustrate the possible discrepancy between nonlinear conjugate gradient methods and classical gradient descent. A numerical investigation on nonconvex robust regression problems as well as a standard benchmark illustrate that the restarting condition can track the behavior of a standard implementation.


title: Measurement of the order parameter and its spatial fluctuations across Bose-Einstein condensation

abstract: We investigate the strong out-of-equilibrium dynamics occurring when a harmonically trapped ultracold bosonic gas is evaporatively cooled across the Bose--Einstein condensation transition. By imaging the cloud after free expansion, we study how the cooling rate affects the timescales for the growth of the condensate order parameter and the relaxation dynamics of its spatial fluctuations. We find evidence of a delay on the condensate formation related to the collisional properties and a universal condensate growth following the cooling rate. Finally, we measure an exponential relaxation of the spatial fluctuations of the order parameter that also shows a universal scaling. Notably, the scaling for the condensate growth and for the relaxation of its fluctuations follow different power laws.


title: An empirical study on Java method name suggestion: are we there yet?

abstract: A large-scale evaluation for current naming approaches substantiates that such approaches are accurate. However, it is less known about which categories of method names work well via such naming approaches and how's the performance of naming approaches. To point out the superiority of the current naming approach, in this paper, we conduct an empirical study on such approaches in a new dataset. Moreover, we analyze the successful naming approaches above and find that: (1) around 60% of the accepted recommendation names are made on prefixes within get, set, is, and test. (2) A large portion (19.3%) of method names successfully recommended could be derived from the given method bodies. The comparisons also demonstrate the superior performance of the empirical study.


title: A Sequential Discontinuous Galerkin Method for Two-Phase Flow in Deformable Porous Media

abstract: We formulate a numerical method for solving the two-phase flow poroelasticity equations. The scheme employs the interior penalty discontinuous Galerkin method and a sequential time-stepping method. The unknowns are the phase pressures and the displacement. Existence of the solution is proved. Three-dimensional numerical results show the accuracy and robustness of the proposed method.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn physics.geo-ph


title: Research and experimental design of Astrojax double balls trajectory based on double pendulum system

abstract: Based on the double pendulum and Lagrange equation, the moving particles are captured by a binocular three-dimensional capture camera. Two trajectory models of Astrojax and the relationship between trajectory empirical formula and parameters are established. Through research, the calculated trajectory of this formula and related parameters fit well with the actual measured trajectory, and can accurately predict and change the trajectory of the model. The equipment and materials required in the experiment are simple and easy to obtain, and the experimental theme is relatively interesting and novel, which can be applied as an extended experiment in college physics experiment course, so that students can understand the motion characteristics of the double pendulum and learn physics from life. The designing experiment can not only improve students' interest in learning, but also broaden their knowledge and cultivate their practical ability.


title: Electrical and thermal transport in a twisted heterostructure of transition metal dichalcogenide and CrI$_3$ connected to a superconductor

abstract: The broad tunability of the proximity exchange effect between transition-metal dichalcogenides (TMDCs) and chromium iodide (CrI$_3$) heterostructures offers intriguing possibilities for the use of TMDCs in two-dimensional magnetoelectrics. In this work, the influence of the twist angle and the gate electric field on the electric and thermal transport in a TMDC/CrI$_3$ junction is investigated using the Dirac -Bogoliubov-de Gennes equation. We show that significant amounts can be controlled by spin-splitting of band structures due to spin-orbit interaction, and that the exchange-splitting of bands arises from the proximity effect. The property of the Andreev reflection (AR) process is highly dependent on the spin valley polarized states due to spin-orbit coupling. Remarkably, perfect spin valley polarized AR is possible over a wide bias range by using a gate voltage to tune the local Fermi energy and varying the type of charge doping. The proposed structure with $p$-type doping is found to have larger spin valley polarized Andreev conductance and high thermal conductance. We further show that, depending on the TMDC material and chemical potential of the TMDC/CrI$_3$ layer, twisting can lead to suppression or a significant increase in Andreev conductance as well as enhancement of thermal conductance for chemical potentials smaller than that of the superconducting regime.


title: Classroom Slide Narration System

abstract: Slide presentations are an effective and efficient tool used by the teaching community for classroom communication. However, this teaching model can be challenging for blind and visually impaired (VI) students. The VI student required personal human assistance for understand the presented slide. This shortcoming motivates us to design a Classroom Slide Narration System (CSNS) that generates audio descriptions corresponding to the slide content. This problem poses as an image-to-markup language generation task. The initial step is to extract logical regions such as title, text, equation, figure, and table from the slide image. In the classroom slide images, the logical regions are distributed based on the location of the image. To utilize the location of the logical regions for slide image segmentation, we propose the architecture, Classroom Slide Segmentation Network (CSSN). The unique attributes of this architecture differs from most other semantic segmentation networks. Publicly available benchmark datasets such as WiSe and SPaSe are used to validate the performance of our segmentation architecture. We obtained 9.54 segmentation accuracy improvement in WiSe dataset. We extract content (information) from the slide using four well-established modules such as optical character recognition (OCR), figure classification, equation description, and table structure recognizer. With this information, we build a Classroom Slide Narration System (CSNS) to help VI students understand the slide content. The users have given better feedback on the quality output of the proposed CSNS in comparison to existing systems like Facebooks Automatic Alt-Text (AAT) and Tesseract.


title: Dual dynamic scaling in deconfined quantum criticality

abstract: Emergent symmetry is one of the characteristic phenomena in deconfined quantum critical point (DQCP). As its nonequilibrium generalization, the dual dynamic scaling was recently discovered in the nonequilibrium imaginary-time relaxation dynamics in the DQCP of the $J$-$Q_3$ model. In this work, we study the nonequilibrium imaginary-time relaxation dynamics in the $J$-$Q_2$ model, which also hosts a DQCP belonging to the same equilibrium universality class. We not only verify the universality of the dual dynamic scaling at the critical point, but also investigate the breakdown and the vestige of the dual dynamic scaling when the tuning parameter is away from the critical point. We also discuss its possible experimental realizations in devices of quantum computers.

categories: cond-mat.str-el cond-mat.stat-mech hep-lat quant-ph


title: Dupin cyclidic systems geometrically revisited

abstract: The induced metrics of Dupin cyclidic systems, that is, orthogonal coordinate systems with Dupin cyclides and spheres as coordinate surfaces, were provided by Darboux. Here we take a more geometric point of view and discuss how Dupin cyclides and Lam\'e families of Dupin cyclidic systems can be obtained by suitably evolving an initial circle or a Dupin cyclide, respectively. This approach reveals that those Lam\'e families are given by parallel surfaces in various space forms.


title: Atomic mass, Bjorken variable and scale dependence of quark transport coefficient in Drell-Yan process for proton incident on nucleus

abstract: By means of the nuclear parton distributions determined without the fixed-target Drell-Yan experimental data and the analytic expression of quenching weight based on BDMPS formalism, a next-to-leading order analyses are performed on the Drell-Yan differential cross section ratios from Fermilab E906 and E866 Collaborations. It is found that the calculated results with only the nuclear effects of parton distribution are not in agreement with the E866 and E906 experimental data. The incoming parton energy loss effect can not be ignored in the nuclear Drell-Yan reactions. The predicted results indicate that with the quark transport coefficient as a constant, the suppression due to the target nuclear geometry effect is approximately 19.24% for the quark transport coefficient. It is shown that we should consider the target nuclear geometry effect in studying the Drell-Yan reaction on nuclear targets. On the basis of Bjorken variable and scale dependence of the quark transport coefficient, the atomic mass dependence is incorporated. The quark transport coefficient is determined as a function of the atomic mass, Bjorken variable $x_2$ and scale $Q^2$ by the global fit of the experimental data. The determined constant factor $\hat{q}_0$ of the quark transport coefficient is $0.061\pm0.004 {\rm GeV^2/fm}$. It is found that the atomic mass dependence has a remarkable impact on the constant factor $\hat{q}_0$ in the quark transport coefficient in cold nuclear matter.


title: Constraining Energy-Momentum-Squared Gravity by binary pulsar observations

abstract: In this paper, we introduce the post-Minkowskian approximation of Energy-Momentum-Squared Gravity (EMSG). This approximation is used to study the gravitational energy flux in the context of EMSG. As an application of our results, we investigate the EMSG effect on the first time derivative of the orbital period of the binary pulsars. Utilizing this post-Keplerian parameter, the free parameter of the EMSG theory, $f_0'$, is estimated for six known binary pulsars. Taking the binaries that have the most accurate observations, it turns out that $-6\times 10^{-37}\text{m}\,\text{s}^2\text{kg}^{-1}<f_0'<+10^{-36}\text{m}\,\text{s}^2\text{kg}^{-1}$. This bound is in agreement with the precedent studies.


title: The Origin of the Relation Between Stellar Angular Momentum and Stellar Mass in Nearby Disk-dominated galaxies

abstract: The IllustrisTNG simulations reproduce the observed scaling relation between stellar specific angular momentum (sAM) $j_{\rm s}$ and mass $M_{\rm s}$ of central galaxies. We show that the local $j_{\rm s}$-$M_{\rm s}$ relation ${\rm log}\ j_{\rm s} = 0.55 \ {\rm log}\ M_{\rm s} + 2.77$ develops at $z\lesssim 1$ in disk-dominated galaxies. We provide a simple model that describes well such a connection between halos and galaxies. The index 0.55 of the $j_{\rm s}$-$M_{\rm s}$ relation comes from the product of the indices of the $j_{\rm tot}\propto M_{\rm tot}^{0.81}$, $M_{\rm tot}\propto M_{\rm s}^{0.67}$, and $j_{\rm s}\propto j_{\rm tot}$ relations, where $j_{\rm tot}$ and $M_{\rm tot}$ are overall sAM and mass of a halo. A non-negligible deviation from the tidal torque theory, which predicts $j_{\rm tot}\propto M_{\rm tot}^{2/3}$, should be included. This model further suggests that the stellar-to-halo mass ratio of disk galaxies increases monotonically following a nearly power-law function that is consistent with the latest dynamical measurements. Biased collapse, in which galaxies form from the inner and lower sAM portion of their parent halos, has a minor effect at low redshifts. The retention factor of angular momentum reaches $\sim 1$ in disk galaxies with strong rotations, and it correlates inversely with the mass fraction of the spheroidal component, which partially explains the morphological dependence of the $j_{\rm s}$-$M_{\rm s}$ relation.


title: Trustworthy Knowledge Graph Completion Based on Multi-sourced Noisy Data

abstract: Knowledge graphs (KGs) have become a valuable asset for many AI applications. Although some KGs contain plenty of facts, they are widely acknowledged as incomplete. To address this issue, many KG completion methods are proposed. Among them, open KG completion methods leverage the Web to find missing facts. However, noisy data collected from diverse sources may damage the completion accuracy. In this paper, we propose a new trustworthy method that exploits facts for a KG based on multi-sourced noisy data and existing facts in the KG. Specifically, we introduce a graph neural network with a holistic scoring function to judge the plausibility of facts with various value types. We design value alignment networks to resolve the heterogeneity between values and map them to entities even outside the KG. Furthermore, we present a truth inference model that incorporates data source qualities into the fact scoring function, and design a semi-supervised learning way to infer the truths from heterogeneous values. We conduct extensive experiments to compare our method with the state-of-the-arts. The results show that our method achieves superior accuracy not only in completing missing facts but also in discovering new facts.


title: Quantum error correction with silicon spin qubits

abstract: Large-scale quantum computers rely on quantum error correction to protect the fragile quantum information. Among the possible candidates of quantum computing devices, silicon-based spin qubits hold a great promise due to their compatibility to mature nanofabrication technologies for scaling up. Recent advances in silicon-based qubits have enabled the implementations of high quality one and two qubit systems. However, the demonstration of quantum error correction, which requires three or more coupled qubits and often involves a three-qubit gate, remains an open challenge. Here, we demonstrate a three-qubit phase correcting code in silicon, where an encoded three-qubit state is protected against any phase-flip error on one of the three qubits. The correction to this encoded state is performed by a three-qubit conditional rotation, which we implement by an efficient single-step resonantly driven iToffoli gate. As expected, the error correction mitigates the errors due to one qubit phase-flip as well as the intrinsic dephasing due to quasi-static phase noise. These results show a successful implementation of quantum error correction and the potential of silicon-based platform for large-scale quantum computing.


title: SegTransVAE: Hybrid CNN -- Transformer with Regularization for medical image segmentation

abstract: Current research on deep learning for medical image segmentation exposes their limitations in learning either global semantic information or local contextual information. To tackle these issues, a novel network named SegTransVAE is proposed in this paper. SegTransVAE is built upon encoder-decoder architecture, exploiting transformer with the variational autoencoder (VAE) branch to the network to reconstruct the input images jointly with segmentation. To the best of our knowledge, this is the first method combining the success of CNN, transformer, and VAE. Evaluation on various recently introduced datasets shows that SegTransVAE outperforms previous methods in Dice Score and $95\%$-Haudorff Distance while having comparable inference time to a simple CNN-based architecture network. The source code is available at: https://github.com/itruonghai/SegTransVAE.