title: An Experimental Evaluation and Investigation of Waves of Misery in R-trees

abstract: Waves of misery is a phenomenon where spikes of many node splits occur over short periods of time in tree indexes. Waves of misery negatively affect the performance of tree indexes in insertion-heavy workloads.Waves of misery have been first observed in the context of the B-tree, where these waves cause unpredictable index performance. In particular, the performance of search and index-update operations deteriorate when a wave of misery takes place, but is more predictable between the waves. This paper investigates the presence or lack of waves of misery in several R-tree variants, and studies the extent of which these waves impact the performance of each variant. Interestingly, although having poorer query performance, the Linear and Quadratic R-trees are found to be more resilient to waves of misery than both the Hilbert and R*-trees. This paper presents several techniques to reduce the impact in performance of the waves of misery for the Hilbert and R*-trees. One way to eliminate waves of misery is to force node splits to take place at regular times before nodes become full to achieve deterministic performance. The other way is that upon splitting a node, do not split it evenly but rather at different node utilization factors. This allows leaf nodes not to fill at the same pace. We study the impact of two new techniques to mitigate waves of misery after the tree index has been constructed, namely Regular Elective Splits (RES, for short) and Unequal Random Splits (URS, for short). Our experimental investigation highlights the trade-offs in performance of the introduced techniques and the pros and cons of each technique.


title: Practical Fixed-Parameter Algorithms for Defending Active Directory Style Attack Graphs

abstract: Active Directory is the default security management system for Windows domain networks. We study the shortest path edge interdiction problem for defending Active Directory style attack graphs. The problem is formulated as a Stackelberg game between one defender and one attacker. The attack graph contains one destination node and multiple entry nodes. The attacker's entry node is chosen by nature. The defender chooses to block a set of edges limited by his budget. The attacker then picks the shortest unblocked attack path. The defender aims to maximize the expected shortest path length for the attacker, where the expectation is taken over entry nodes. We observe that practical Active Directory attack graphs have small maximum attack path lengths and are structurally close to trees. We first show that even if the maximum attack path length is a constant, the problem is still $W[1]$-hard with respect to the defender's budget. Having a small maximum attack path length and a small budget is not enough to design fixed-parameter algorithms. If we further assume that the number of entry nodes is small, then we derive a fixed-parameter tractable algorithm. We then propose two other fixed-parameter algorithms by exploiting the tree-like features. One is based on tree decomposition and requires a small tree width. The other assumes a small number of splitting nodes (nodes with multiple out-going edges). Finally, the last algorithm is converted into a graph convolutional neural network based heuristic, which scales to larger graphs with more splitting nodes.


title: Next-generation high transmission neutron optical devices utilizing micro-machined structures

abstract: Neutrons have emerged as a unique probe at the forefront of modern material science, unrivaled in their penetrating abilities. A major challenge stems from the fact that neutron optical devices are limited to refractive indices on the order of $n\approx 1 \pm 10^{-5}$. By exploiting advances in precision manufacturing, we have designed and constructed a micro-meter period triangular grating with a high aspect ratio of $14.3$. The manufacturing quality is demonstrated with white-light interferometric data and microscope imaging. Neutron scattering experiment results are presented, showing agreement to refraction modelling. The capabilities of neutron Fresnel lenses based on this design are contrasted to existing neutron focusing techniques and the path separation of a prism-based neutron interferometer is estimated.


title: Algorithmic Information Dynamics of Cellular Automata

abstract: We illustrate an application of Algorithmic Information Dynamics to Cellular Automata (CA) demonstrating how this digital calculus is able to quantify change in discrete dynamical systems. We demonstrate the sensitivity of the Block Decomposition Method on 1D and 2D CA, including Conway's Game of Life, against measures of statistical nature such as compression (LZW) and Shannon Entropy in two different contexts (1) perturbation analysis and (2) dynamic-state colliding CA. The approach is interesting because it analyses a quintessential object native to software space (CA) in software space itself by using algorithmic information dynamics through a model-driven universal search instead of a traditional statistical approach e.g. LZW compression or Shannon entropy. The colliding example of two state-independent (if not three as one is regulating the collision itself) discrete dynamical systems offers a potential proof of concept for the development of a multivariate version of the AID calculus.


title: Gradient Leakage Attack Resilient Deep Learning

abstract: Gradient leakage attacks are considered one of the wickedest privacy threats in deep learning as attackers covertly spy gradient updates during iterative training without compromising model training quality, and yet secretly reconstruct sensitive training data using leaked gradients with high attack success rate. Although deep learning with differential privacy is a defacto standard for publishing deep learning models with differential privacy guarantee, we show that differentially private algorithms with fixed privacy parameters are vulnerable against gradient leakage attacks. This paper investigates alternative approaches to gradient leakage resilient deep learning with differential privacy (DP). First, we analyze existing implementation of deep learning with differential privacy, which use fixed noise variance to injects constant noise to the gradients in all layers using fixed privacy parameters. Despite the DP guarantee provided, the method suffers from low accuracy and is vulnerable to gradient leakage attacks. Second, we present a gradient leakage resilient deep learning approach with differential privacy guarantee by using dynamic privacy parameters. Unlike fixed-parameter strategies that result in constant noise variance, different dynamic parameter strategies present alternative techniques to introduce adaptive noise variance and adaptive noise injection which are closely aligned to the trend of gradient updates during differentially private model training. Finally, we describe four complementary metrics to evaluate and compare alternative approaches.


title: Combining Improvements for Exploiting Dependency Trees in Neural Semantic Parsing

abstract: The dependency tree of a natural language sentence can capture the interactions between semantics and words. However, it is unclear whether those methods which exploit such dependency information for semantic parsing can be combined to achieve further improvement and the relationship of those methods when they combine. In this paper, we examine three methods to incorporate such dependency information in a Transformer based semantic parser and empirically study their combinations. We first replace standard self-attention heads in the encoder with parent-scaled self-attention (PASCAL) heads, i.e., the ones that can attend to the dependency parent of each token. Then we concatenate syntax-aware word representations (SAWRs), i.e., the intermediate hidden representations of a neural dependency parser, with ordinary word embedding to enhance the encoder. Later, we insert the constituent attention (CA) module to the encoder, which adds an extra constraint to attention heads that can better capture the inherent dependency structure of input sentences. Transductive ensemble learning (TEL) is used for model aggregation, and an ablation study is conducted to show the contribution of each method. Our experiments show that CA is complementary to PASCAL or SAWRs, and PASCAL + CA provides state-of-the-art performance among neural approaches on ATIS, GEO, and JOBS.


title: Relativistic electron wave packets featuring persistent quantum backflow

abstract: Closed-form, normalizable solutions of Dirac's equation propagating within a semi-infinite cylindrical waveguide are obtained in terms of ordinary and modified Bessel functions. These relativistic wave packets induce quantum backflow on a cross-section of the cylinder at practically any distance along the waveguide, becoming spin-polarized in the nonrelativistic limit. The predicted backflow is stable in time and is manifest regardless of the initial wave function.


title: DeepMTL Pro: Deep Learning Based MultipleTransmitter Localization and Power Estimation

abstract: In this paper, we address the problem of Multiple Transmitter Localization (MTL). MTL is to determine the locations of potential multiple transmitters in a field, based on readings from a distributed set of sensors. In contrast to the widely studied single transmitter localization problem, the MTL problem has only been studied recently in a few works. MTL is of great significance in many applications wherein intruders may be present. E.g., in shared spectrum systems, detection of unauthorized transmitters and estimating their power are imperative to efficient utilization of the shared spectrum. In this paper, we present DeepMTL, a novel deep-learning approach to address the MTL problem. In particular, we frame MTL as a sequence of two steps, each of which is a computer vision problem: image-to-image translation and object detection. The first step of mage-to-image translation essentially maps an input image representing sensor readings to an image representing the distribution of transmitter locations, and the second object detection step derives precise locations of transmitters from the image of transmitter distributions. For the first step, we design our learning model Sen2Peak, while for the second step, we customize a state-of-the-art object detection model YOLO-cust. Using DeepMTL as a building block, we also develop techniques to estimate transmit power of the localized transmitters. We demonstrate the effectiveness of our approach via extensive large-scale simulations and show that our approach outperforms the previous approaches significantly (by 50% or more) in performance metrics including localization error, miss rate, and false alarm rate. Our method also incurs a very small latency. We evaluate our techniques over a small-scale area with real testbed data and the testbed results align with the simulation results.


title: DBC-Forest: Deep forest with binning confidence screening

abstract: As a deep learning model, deep confidence screening forest (gcForestcs) has achieved great success in various applications. Compared with the traditional deep forest approach, gcForestcs effectively reduces the high time cost by passing some instances in the high-confidence region directly to the final stage. However, there is a group of instances with low accuracy in the high-confidence region, which are called mis-partitioned instances. To find these mis-partitioned instances, this paper proposes a deep binning confidence screening forest (DBC-Forest) model, which packs all instances into bins based on their confidences. In this way, more accurate instances can be passed to the final stage, and the performance is improved. Experimental results show that DBC-Forest achieves highly accurate predictions for the same hyperparameters and is faster than other similar models to achieve the same accuracy.


title: Progress in Water-Based Metamaterial Absorber: A Review

abstract: Increasing attention on microwave ultra-broadband metamaterial absorbers has been paid due to their promising applications. While most microwave ultra-broadband metamaterial absorbers developed so far are based on metallic resonant structures, dispersive dielectric water-based metamaterial opens a simpler and more versatile route for the construction of polarization- and angle- insensitive ultra-broadband absorption. Here, we review the recent progresses of water-based metamaterial absorber by providing an illustration of the mechanisms to realize ultra-broadband, tunable and multi-functional absorption. We also address the further development direction and some potential novel applications.


title: TeNeS: Tensor Network Solver for Quantum Lattice Systems

abstract: TeNeS (Tensor Network Solver) is a free/libre open-source software program package for calculating two-dimensional many-body quantum states based on the tensor network method and the corner transfer matrix renormalization group (CTMRG) method. This package calculates ground-state wavefunctions for user-defined Hamiltonians and evaluates user-defined physical quantities such as magnetization and correlation functions. For certain predefined models and lattices, there is a tool that makes it easy to generate input files. TeNeS uses an OpenMP/MPI hybrid parallelized tensor operation library and thus can perform large-scale calculations using massively parallel machines.


title: Cyclic Lattices, Ideal Lattices and Bounds for the Smoothing Parameter

abstract: Cyclic lattices and ideal lattices were introduced by Micciancio in \cite{D2}, Lyubashevsky and Micciancio in \cite{L1} respectively, which play an efficient role in Ajtai's construction of a collision resistant Hash function (see \cite{M1} and \cite{M2}) and in Gentry's construction of fully homomorphic encryption (see \cite{G}). Let $R=Z[x]/\langle \phi(x)\rangle$ be a quotient ring of the integer coefficients polynomials ring, Lyubashevsky and Micciancio regarded an ideal lattice as the correspondence of an ideal of $R$, but they neither explain how to extend this definition to whole Euclidean space $\mathbb{R}^n$, nor exhibit the relationship of cyclic lattices and ideal lattices. In this paper, we regard the cyclic lattices and ideal lattices as the correspondences of finitely generated $R$-modules, so that we may show that ideal lattices are actually a special subclass of cyclic lattices, namely, cyclic integer lattices. In fact, there is a one to one correspondence between cyclic lattices in $\mathbb{R}^n$ and finitely generated $R$-modules (see Theorem \ref{th4} below). On the other hand, since $R$ is a Noether ring, each ideal of $R$ is a finitely generated $R$-module, so it is natural and reasonable to regard ideal lattices as a special subclass of cyclic lattices (see corollary \ref{co3.4} below). It is worth noting that we use more general rotation matrix here, so our definition and results on cyclic lattices and ideal lattices are more general forms. As application, we provide cyclic lattice with an explicit and countable upper bound for the smoothing parameter (see Theorem \ref{th5} below). It is an open problem that is the shortest vector problem on cyclic lattice NP-hard? (see \cite{D2}). Our results may be viewed as a substantial progress in this direction.


title: On the tension between the latest \nova and T2K data

abstract: The latest data from the T2K and \nova experiments show a tension in their preferred values of the oscillation parameters. In this work, we try to identify the source of the tension between the data from these two experiments. An analysis of their data from various channels (individually, and combined) shows that the tension arises primarily from the $\nu_e$ appearance data, and is compounded by the $\bar{\nu}_\mu$ disappearance data. We provide an explanation for the tension based on parameter degeneracies. Apart from the analysis with the standard matter effect, we also analyse the data with the vacuum oscillation hypothesis. We find that vacuum oscillations fit the data as well as matter effects do; and also reduce the tension between the two experiments. We have also done a study of the future run of NO$\nu$A, T2K and DUNE in the context of resolving this tension.


title: TeraHertz Band Communication: An Old Problem Revisited and Research Directions for the Next Decade

abstract: Terahertz (THz) band communications are envisioned as a key technology for 6G and Beyond. As a fundamental wireless infrastructure, THz communication can boost abundant promising applications. In 2014, our team published two comprehensive roadmaps for the development and progress of THz communication networks [1], [2], which helped the research community to start research on this subject afterwards. The topic of THz communications became very important and appealing to the research community due to 6G wireless systems design and development in recent years. Many papers are getting published covering different aspects of wireless systems using the THz band. With this paper, our aim is looking back to the last decade and revisiting the old problems and pointing out what has been achieved in the research community so far. Furthermore, in this paper, open challenges and new research directions still to be investigated for the THz band communication systems are presented, by covering diverse topics ranging from devices, channel behavior, communication and networking, to physical testbeds and demonstration systems. The key aspects presented in this paper will enable THz communications as a pillar of 6G and Beyond wireless systems in the next decade.


title: Effective dose fractionation schemes of radiotherapy for prostate cancer

abstract: Radiation therapy has remained as one of the main cancer treatment modalities and a highly cost-effective single modality treatment of cancer care. Typical regimens for fractionated external beam radiotherapy comprise a constant dose administered on weekdays, and no radiation on weekends. However, every patient has a tumor with distinct properties depending on intra-tumor heterogeneity, aggressiveness, and interactive properties with other cells that may make it more resistant or sensitive to radiation treatment. Accordingly, the concept of personalized cancer treatment is emerging to specialize each patient treatment case to the unique properties of the tumor. In this paper, we examine adaptive radiation treatment strategies for heterogeneous tumors using a dynamical system model that consists of radiation-resistant and parental cell populations with unique interactive properties. We study different adaptive dosage strategies for PC3 and DU145 prostate cancer cell lines. We show that stronger doses of radiation given in longer time intervals, while keeping the overall dosage the same, reduce final tumor volume by more than half in PC3 cell lines, but by only five percent in DU145 cell lines. In addition, we tested an adaptive dosing schedule by administering a stronger dosage on Friday to compensate for the treatment-off period during the weekend, which was effective in decreasing the final tumor volume of both cell lines. This result creates interesting possibilities for new radiotherapy strategies at clinics that cannot provide treatment on weekends. Finally, we propose a dosage plan incorporating our findings.


title: Energy-Efficient Ultra-Dense Network with Deep Reinforcement Learning

abstract: With the explosive growth in mobile data traffic, ultra-dense network (UDN) where a large number of small cells are densely deployed on top of macro cells has received a great deal of attention in recent years. While UDN offers a number of benefits, an upsurge of energy consumption in UDN due to the intensive deployment of small cells has now become a major bottleneck in achieving the primary goals viz., 100-fold increase in the throughput in 5G+ and 6G. In recent years, an approach to reduce the energy consumption of base stations (BSs) by selectively turning off the lightly-loaded BSs, referred to as the sleep mode technique, has been suggested. However, determining the appropriate active/sleep modes of BSs is a difficult task due to the huge computational overhead and inefficiency caused by the frequent BS mode conversion. An aim of this paper is to propose a deep reinforcement learning (DRL)-based approach to achieve a reduction of energy consumption in UDN. Key ingredient of the proposed scheme is to use decision selection network to reduce the size of action space. Numerical results show that the proposed scheme can significantly reduce the energy consumption of UDN while ensuring the rate requirement of network.


title: Modularity and partially observed graphs

abstract: Suppose that there is an unknown underlying graph $G$ on a large vertex set, and we can test only a proportion of the possible edges to check whether they are present in $G$. If $G$ has high modularity, is the observed graph $G'$ likely to have high modularity? We see that this is indeed the case under a mild condition, in a natural model where we test edges at random. We find that $q^*(G') \geq q^*(G)-\varepsilon$ with probability at least $1-\varepsilon$, as long as the expected number edges in $G'$ is large enough. Similarly, $q^*(G') \leq q^*(G)+\varepsilon$ with probability at least $1-\varepsilon$, under the stronger condition that the expected average degree in $G'$ is large enough. Further, under this stronger condition, finding a good partition for $G'$ helps us to find a good partition for $G$. We also consider the vertex sampling model for partially observing the underlying graph: we find that for dense underlying graphs we may estimate the modularity by sampling constantly many vertices and observing the corresponding induced subgraph, but this does not hold for underlying graphs with a subquadratic number of edges. Finally we deduce some related results, for example showing that under-sampling tends to lead to overestimation of modularity.

categories: math.CO cs.DS cs.SI math.PR math.ST stat.TH


title: DSRGAN: Detail Prior-Assisted Perceptual Single Image Super-Resolution via Generative Adversarial Networks

abstract: The generative adversarial network (GAN) is successfully applied to study the perceptual single image superresolution (SISR). However, the GAN often tends to generate images with high frequency details being inconsistent with the real ones. Inspired by conventional detail enhancement algorithms, we propose a novel prior knowledge, the detail prior, to assist the GAN in alleviating this problem and restoring more realistic details. The proposed method, named DSRGAN, includes a well designed detail extraction algorithm to capture the most important high frequency information from images. Then, two discriminators are utilized for supervision on image-domain and detail-domain restorations, respectively. The DSRGAN merges the restored detail into the final output via a detail enhancement manner. The special design of DSRGAN takes advantages from both the model-based conventional algorithm and the data-driven deep learning network. Experimental results demonstrate that the DSRGAN outperforms the state-of-the-art SISR methods on perceptual metrics and achieves comparable results in terms of fidelity metrics simultaneously. Following the DSRGAN, it is feasible to incorporate other conventional image processing algorithms into a deep learning network to form a model-based deep SISR.


title: A Comprehensive Review of Myoelectric Prosthesis Control

abstract: Prosthetic hands can be used to support upper-body amputees. Myoelectric prosthesis, one of the externally-powered active prosthesis categories, requires proper processing units in addition to recording electrodes and instrumentation amplifiers. In this paper, the following myoelectric prosthesis control methods were discussed in detail: On-off and finite-state, proportional, direct, and posture, simultaneous, classification and regression-based control, and deep learning methods. Myoelectric control performance indices, such as completion time and rate, throughput, lag, and path length, were reviewed. The advantages and disadvantages of the control methods were also discussed. Some of myoelectric prosthesis control's significant challenges are comfort, durability, cost, the application of under-sampled signals, and electrode shift. Moreover, the proposed algorithms must be usually tuned after each don and doff, which is not comfortable for the users. Real-time simultaneous and proportional myoelectric control, resampling human's arm, has brought much attention. However, increasing the degree of freedom reduces the overall performance. Applying a 3D printed prosthesis arm and under-sampled electromyographic signals could reduce the fabrication cost and improve the application of such methods in practice. There are many technological and clinical challenges in this area to reduce the prosthesis rejection rate.


title: Aggregation in non-uniform systems with advection and localized source

abstract: We explore analytically and numerically agglomeration driven by advection and localized source. The system is inhomogeneous in one dimension, viz. along the direction of advection. We analyze a simplified model with mass-independent advection velocity, diffusion coefficient, and reaction rates. We also examine a model with mass-dependent coefficients describing aggregation with sedimentation. For the simplified model, we obtain an exact solution for the stationary spatially dependent agglomerate densities. In the model describing aggregation with sedimentation, we report a new conservation law and develop a scaling theory for the densities. For numerical efficiency we exploit the low-rank approximation technique; this dramatically increases the computational speed and allows simulations of large systems. The numerical results are in excellent agreement with the predictions of our theory.

categories: cond-mat.stat-mech cs.NA math.AP math.NA physics.comp-ph


title: Network-Aware 5G Edge Computing for Object Detection: Augmenting Wearables to "See" More, Farther and Faster

abstract: Advanced wearable devices are increasingly incorporating high-resolution multi-camera systems. As state-of-the-art neural networks for processing the resulting image data are computationally demanding, there has been growing interest in leveraging fifth generation (5G) wireless connectivity and mobile edge computing for offloading this processing to the cloud. To assess this possibility, this paper presents a detailed simulation and evaluation of 5G wireless offloading for object detection within a powerful, new smart wearable called VIS4ION, for the Blind-and-Visually Impaired (BVI). The current VIS4ION system is an instrumented book-bag with high-resolution cameras, vision processing and haptic and audio feedback. The paper considers uploading the camera data to a mobile edge cloud to perform real-time object detection and transmitting the detection results back to the wearable. To determine the video requirements, the paper evaluates the impact of video bit rate and resolution on object detection accuracy and range. A new street scene dataset with labeled objects relevant to BVI navigation is leveraged for analysis. The vision evaluation is combined with a detailed full-stack wireless network simulation to determine the distribution of throughputs and delays with real navigation paths and ray-tracing from new high-resolution 3D models in an urban environment. For comparison, the wireless simulation considers both a standard 4G-Long Term Evolution (LTE) carrier and high-rate 5G millimeter-wave (mmWave) carrier. The work thus provides a thorough and realistic assessment of edge computing with mmWave connectivity in an application with both high bandwidth and low latency requirements.


title: Effects of variation of the fine structure constant $\alpha$ and quark mass $m_q$ in M\"ossbauer nuclear transitions

abstract: High accuracy measurements in M\"ossbauer transitions open up the possibility to use them in the search for temporal and spatial variation of the fine-structure constant $\alpha$, quark mass $m_q$, and dark matter field which may lead to the variation of $\alpha$ and $m_q$. We calculate the sensitivity of nuclear transitions to variation of $\alpha$ and $m_q$. M\"ossbauer transitions have high sensitivity to variation of quark mass $m_q$ and the strong interaction scale $\Lambda_{QCD}$, to which atomic optical clocks are not sensitive. The enhancement factors $K$, defined by $\frac{\delta f}{f} =K_{\alpha }\frac{\delta \alpha}{\alpha}$ and $\frac{\delta f}{f} =K_{q }\frac{\delta m_q}{m_q}$ where $f$ is the transition energy, may be large in some transitions. The 8~eV nuclear clock transition in $^{229}$Th ($K_q \approx 10^4$) and 76~eV transition in $^{235}$U ($K_\alpha \approx K_q \approx 10^3$) may be investigated using laser spectroscopy methods.


title: A comparative study on machine learning models combining with outlier detection and balanced sampling methods for credit scoring

abstract: Peer-to-peer (P2P) lending platforms have grown rapidly over the past decade as the network infrastructure has improved and the demand for personal lending has grown. Such platforms allow users to create peer-to-peer lending relationships without the help of traditional financial institutions. Assessing the borrowers' credit is crucial to reduce the default rate and benign development of P2P platforms. Building a personal credit scoring machine learning model can effectively predict whether users will repay loans on the P2P platform. And the handling of data outliers and sample imbalance problems can affect the final effect of machine learning models. There have been some studies on balanced sampling methods, but the effect of outlier detection methods and their combination with balanced sampling methods on the effectiveness of machine learning models has not been fully studied. In this paper, the influence of using different outlier detection methods and balanced sampling methods on commonly used machine learning models is investigated. Experiments on 44,487 Lending Club samples show that proper outlier detection can improve the effectiveness of the machine learning model, and the balanced sampling method only has a good effect on a few machine learning models, such as MLP.


title: Learning Multi-granularity User Intent Unit for Session-based Recommendation

abstract: Session-based recommendation aims to predict a user's next action based on previous actions in the current session. The major challenge is to capture authentic and complete user preferences in the entire session. Recent work utilizes graph structure to represent the entire session and adopts Graph Neural Network to encode session information. This modeling choice has been proved to be effective and achieved remarkable results. However, most of the existing studies only consider each item within the session independently and do not capture session semantics from a high-level perspective. Such limitation often leads to severe information loss and increases the difficulty of capturing long-range dependencies within a session. Intuitively, compared with individual items, a session snippet, i.e., a group of locally consecutive items, is able to provide supplemental user intents which are hardly captured by existing methods. In this work, we propose to learn multi-granularity consecutive user intent unit to improve the recommendation performance. Specifically, we creatively propose Multi-granularity Intent Heterogeneous Session Graph which captures the interactions between different granularity intent units and relieves the burden of long-dependency. Moreover, we propose the Intent Fusion Ranking module to compose the recommendation results from various granularity user intents. Compared with current methods that only leverage intents from individual items, IFR benefits from different granularity user intents to generate more accurate and comprehensive session representation, thus eventually boosting recommendation performance. We conduct extensive experiments on five session-based recommendation datasets and the results demonstrate the effectiveness of our method.


title: Field sources for Simpson-Visser space-times

abstract: Simpson-Visser (SV) space-times are the simplest globally regular modifications of the Schwarzschild, Reissner-Nordstrom and other blak-hole solutions of general relativity. They smoothly interpolate between these black holes and traversable wormholes. After a brief presentation of the Schwarzschild-like and Reissner-Nordstrom-like SV geometries, including their Carter-Penrose diagrams, we show that any static, spherically symmetric SV metric can be obtained as an exact solution to the Einstein field equations sourced by a combination of a minimally coupled phantom scalar field with a nonzero potential $V(\phi)$ and a magnetic field in the framework of nonlinear electrodynamics with the Lagrangian $\mathcal {L(F)}$, $\mathcal{F} = F_{\mu\nu} F^{\mu\nu}$ (in standard notations). Explicit forms of $V(\phi)$ and $\mathcal {L(F)}$ are presented for the cases of Schwarzschild-like and Reissner-Nordstrom-like SV metrics.


title: A Spectral Method for Joint Community Detection and Orthogonal Group Synchronization

abstract: Community detection and orthogonal group synchronization are both fundamental problems with a variety of important applications in science and engineering. In this work, we consider the joint problem of community detection and orthogonal group synchronization which aims to recover the communities and perform synchronization simultaneously. To this end, we propose a simple algorithm that consists of a spectral decomposition step followed by a blockwise column pivoted QR factorization (CPQR). The proposed algorithm is efficient and scales linearly with the number of edges in the graph. We also leverage the recently developed `leave-one-out' technique to establish a near-optimal guarantee for exact recovery of the cluster memberships and stable recovery of the orthogonal transforms. Numerical experiments demonstrate the efficiency and efficacy of our algorithm and confirm our theoretical characterization of it.


title: Transport and modeling of subgrid-scale turbulent kinetic energy in channel flows

abstract: To develop a more convenient subgrid-scale (SGS) model that performs well even in coarse grid cases, we investigate the transport and modeling of SGS turbulent kinetic energy (hereafter SGS energy) in turbulent channel flows based on the stabilized mixed model (SMM). In this paper, we try to increase the convenience of the SMM by replacing the modeled transport equation for the SGS energy with an algebraic model. The SMM quantitatively adequately predicts the total turbulent kinetic energy of the direct numerical simulation (DNS) even in coarse grid cases. For both the filtered DNS (fDNS) and large-eddy simulation (LES), the statistically averaged production term balances with the dissipation in the region away from the wall in the SGS energy transport equation. In contrast, we reveal that the correlation coefficient between the production and dissipation terms is high for the modeled transport equation in LES, whereas that for the fDNS is low. Based on the high correlation or local equilibrium between the production and dissipation observed in the LES, we demonstrate the reduction of the SMM into a zero-equation SMM (ZE-SMM). We construct a new damping function based on the grid-scale Kolmogorov length to reproduce the near-wall behavior of the algebraic model for the SGS energy. The ZE-SMM provides quantitatively the same performance as the original SMM that employs the SGS energy transport model. This result suggests that the local equilibrium model for the SGS energy provides the equivalent performance as the transport model in wall-bounded turbulent flows even in coarse grid cases.


title: Temperature dependence of the electronic structure of Ca3Cu2O4Cl2 Mott insulator

abstract: We use scanning tunneling microscopy to study the temperature evolution of electronic structure in Ca3Cu2O4Cl2 parent Mott insulator of cuprates. We find that the upper Hubbard band moves towards the Fermi energy with increasing temperature, while the charge transfer band remains basically unchanged. This leads to a reduction of the charge transfer gap size at high temperatures, and the rate of reduction is much faster than that of conventional semiconductors. Across the Neel temperature for antiferromagnetic order, there is no sudden change in the electronic structure. These results shed new light on the theoretical models about the parent Mott insulator of cuprates.


title: The maximum number of stars in a graph without linear forest

abstract: For two graphs $J$ and $H$, the generalized Tur\'{a}n number, denoted by $ex(n,J,H)$, is the maximum number of copies of $J$ in an $H$-free graph of order $n$. A linear forest $F$ is the disjoint union of paths. In this paper, we determine the number $ex(n,S_r,F)$ when $n$ is large enough and characterize the extremal graphs attaining $ex(n,S_r,F)$, which generalizes the results on $ex(n, S_r, P_k)$, $ex(n,K_2,(k+1) P_2)$ and $ex(n,K^*_{1,r},(k+1) P_2)$. Finally, we pose the problem whether the extremal graph for $ex(n,J,F)$ is isomorphic to that for $ex(n,S_r,F)$, where $J$ is any graph such that the number of $J$'s in any graph $G$ does not decrease by shifting operation on $G$.


title: Heavy flavor molecular states with strangeness

abstract: We proposed a unified framework to describe the interactions of the observed $T_{cc}$, $P_c$, and $P_{cs}$ within a quark level interaction in our previous work. In this work, we generalize our framework to the loosely bound hadronic molecules composed of heavy flavor di-hadrons with strangeness. We predict the possible $D^{(*)}D^{(*)}_s$ molecular states in the SU(3) limit with the masses of the $P_c$ states as the inputs. We also investigate the baryon-meson and baryon-baryon systems and consider the SU(3) breaking effect in their flavor wave functions. We generalize our isospin criterion of the formation of heavy flavor di-hadron molecules to the $U/V$ spin case. For a specific heavy flavor meson-meson, baryon-meson, or baryon-baryon system, the interactions for the states with the same flavor and spin matrix elements can be related by a generalized flavor-spin symmetry.


title: Geometric algebra generation of molecular surfaces

abstract: Geometric algebra is a powerful framework that unifies mathematics and physics. Since its revival in the middle of the 1960s by David Hestenes, it attracts great attention and has been exploited in many fields such as physics, computer science, and engineering. This work introduces a geometric algebra method for the molecular surface generation that utilizes the Clifford-Fourier transform which is a generalization of the classical Fourier transform. Notably, the classical Fourier transform and Clifford-Fourier transform differ in the derivative property in $R_k$ for k even. This distinction is due to the noncommutativity of geometric product of pseudoscalars with multivectors and has significant consequences in applications. We use the Clifford-Fourier transform in $R_3$ to benefit from the derivative property in solving partial differential equations (PDEs). The Clifford-Fourier transform is used to solve the mode decomposition process in PDE transform. Two different initial cases are proposed to make the initial shapes used in the present method. The proposed method is applied first to small molecules and proteins. To validate the method, the molecular surfaces generated are compared to surfaces of other definitions. Applications are considered to protein electrostatic analysis. This work opens the door for further applications of geometric algebra and Clifford-Fourier transform in biological sciences.


title: New Computing Model of $GN_eTM$ Turing Machine On Solving Even Goldbach Conjecture

abstract: Based on the propositional description of even Goldbach conjecture, in order to verify the truth of even Goldbach conjecture, we will deeply discuss this question and present a new computing model of $G{{N}_{e}}TM$ Turing Machine. This paper proves the infinite existence of even Goldbach's conjecture and obtains the following new results: 1. The criterion of general probability speculation of the existence judgment for even Goldbach conjecture is studied, and which at least have a formula satisfy the deduction result of matching requirements for even Goldbach conjecture in the model $\bmod \overset{\equiv }{\mathop{M}}\,({{N}_{e}})$. 2. In the controller of the $G{{N}_{e}}TM$ model, the algorithm problem of the prime matching rule is given, regardless of whether the computer can be recursively solved, the rule algorithm for designing prime numbers in controllers is computer recursively solvable. 3. The judgment problem that about even Goldbach conjecture whether infinite existence is studied. The new research result has shown that according to the constitution model of the full arranged matrix of given even number ${N}_{e}$, and if only given an even number ${N}_{e}$, it certainly exists the matrix model $Mod\overset{\equiv }{\mathop{X}}\,(p)$ and is proved to be equivalent. Therefore, it proves indirectly that the model $G{{N}_{e}}TM$ does not exist halting problem, and it also indicate that the even Goldbach conjecture is infinity existence.


title: A relative bigness inequality and equidistribution theorem over function fields

abstract: For any line bundle written as a subtraction of two ample line bundles, Siu's inequality gives a criterion on its bigness. We generalize this inequality to a relative case. The arithmetic meaning behind the inequality leads to its application on algebraic dynamic systems, which is the equidistribution theorem of generic and small net of subvarieties over a function field.


title: FMViz: Visualizing Tests Generated by AFL at the Byte-level

abstract: Software fuzzing is a strong testing technique that has become the de facto approach for automated software testing and software vulnerability detection in the industry. The random nature of fuzzing makes monitoring and understanding the behavior of fuzzers difficult. In this paper, we report the development of Fuzzer Mutation Visualizer (FMViz), a tool that focuses on visualizing byte-level mutations in fuzzers. In particular, FMViz extends American Fuzzy Lop (AFL) to visualize the generated test inputs and highlight changes between consecutively generated seeds as a fuzzing campaign progresses. The overarching goal of our tool is to help developers and students comprehend the inner-workings of the AFL fuzzer better. In this paper, we present the architecture of FMViz, discuss a sample case study of it, and outline the future work. FMViz is open-source and publicly available at https://github.com/AftabHussain/afl-test-viz.


title: Neural Network Module Decomposition and Recomposition

abstract: We propose a modularization method that decomposes a deep neural network (DNN) into small modules from a functionality perspective and recomposes them into a new model for some other task. Decomposed modules are expected to have the advantages of interpretability and verifiability due to their small size. In contrast to existing studies based on reusing models that involve retraining, such as a transfer learning model, the proposed method does not require retraining and has wide applicability as it can be easily combined with existing functional modules. The proposed method extracts modules using weight masks and can be applied to arbitrary DNNs. Unlike existing studies, it requires no assumption about the network architecture. To extract modules, we designed a learning method and a loss function to maximize shared weights among modules. As a result, the extracted modules can be recomposed without a large increase in the size. We demonstrate that the proposed method can decompose and recompose DNNs with high compression ratio and high accuracy and is superior to the existing method through sharing weights between modules.


title: Node-based valid inequalities for the optimal transmission switching problem

abstract: The benefits of transmission line switching are well-known in terms of reducing operational cost and improving system reliability of power systems. However, finding the optimal power network configuration is a challenging task due to the combinatorial nature of the underlying optimization problem. In this work, we identify a certain "node-based" set that appears as substructure of the optimal transmission switching problem and then conduct a polyhedral study of this set. We construct an extended formulation of the integer hull of this set and present the inequality description of the integer hull in the original space in some cases. These inequalities in the original space can be used as cutting-planes for the transmission line switching problem. Finally, we present the results of our computational experiments using these cutting-planes on difficult test cases from the literature.


title: Explainable Artificial Intelligence for Pharmacovigilance: What Features Are Important When Predicting Adverse Outcomes?

abstract: Explainable Artificial Intelligence (XAI) has been identified as a viable method for determining the importance of features when making predictions using Machine Learning (ML) models. In this study, we created models that take an individual's health information (e.g. their drug history and comorbidities) as inputs, and predict the probability that the individual will have an Acute Coronary Syndrome (ACS) adverse outcome. Using XAI, we quantified the contribution that specific drugs had on these ACS predictions, thus creating an XAI-based technique for pharmacovigilance monitoring, using ACS as an example of the adverse outcome to detect. Individuals aged over 65 who were supplied Musculo-skeletal system (anatomical therapeutic chemical (ATC) class M) or Cardiovascular system (ATC class C) drugs between 1993 and 2009 were identified, and their drug histories, comorbidities, and other key features were extracted from linked Western Australian datasets. Multiple ML models were trained to predict if these individuals would have an ACS related adverse outcome (i.e., death or hospitalisation with a discharge diagnosis of ACS), and a variety of ML and XAI techniques were used to calculate which features -- specifically which drugs -- led to these predictions. The drug dispensing features for rofecoxib and celecoxib were found to have a greater than zero contribution to ACS related adverse outcome predictions (on average), and it was found that ACS related adverse outcomes can be predicted with 72% accuracy. Furthermore, the XAI libraries LIME and SHAP were found to successfully identify both important and unimportant features, with SHAP slightly outperforming LIME. ML models trained on linked administrative health datasets in tandem with XAI algorithms can successfully quantify feature importance, and with further development, could potentially be used as pharmacovigilance monitoring techniques.


title: Petal number of torus knots of type $(r,r+2)$

abstract: Let $r$ be an odd integer, $r\ge3$. Then the petal number of the torus knot of type $(r,r+2)$ is equal to $2r+3$.


title: Pluricomplex Green Functions on Stein Manifolds and Certain Linear Topological Invariants

abstract: In this paper, we explore the existence of pluricomplex Green functions for Stein manifolds from a functional analysis point of view. For a Stein manifold $M$, we will denote by $O(M)$ the Fr\'echet space of analytic functions on $M$ equipped with the topology of uniform convergence on compact subsets. In the first section, we examine the relationship between the existence of pluricomplex Green functions and the diametral dimension of $O(M)$. This led us to consider negative plurisubharmonic functions on $M$ with a nontrivial relatively compact sublevel set (semi-proper). In section 2, we characterize Stein manifolds possessing a semi-proper negative plurisubharmonic function through a local version of the linear topological invariant $\widetilde{\Omega }$, of D.Vogt. In section 3 we look into pluri-Greenian complex manifolds introduced by E.Poletsky. We show that a complex manifold is locally uniformly pluri-Greenian if and only if it is pluri-Greenian and give a characterization of locally uniformly uniformly pluri-Greenian Stein manifolds in terms of notions introduced in section 2.


title: Cross-Impact of Order Flow Imbalance in Equity Markets

abstract: We investigate the impact of order flow imbalance (OFI) on price movements in equity markets in a multi-asset setting. First, we propose a systematic approach for combining OFIs at the top levels of the limit order book into an integrated OFI variable which better explains price impact, compared to the best-level OFI. We show that once the information from multiple levels is integrated into OFI, multi-asset models with cross-impact do not provide additional explanatory power for contemporaneous impact compared to a sparse model without cross-impact terms. On the other hand, we show that lagged cross-asset OFIs do improve the forecasting of future returns. We also establish that this lagged cross-impact mainly manifests at short-term horizons and decays rapidly in time.


title: NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identification

abstract: Deep neural networks (DNNs) have demonstrated their outperformance in various domains. However, it raises a social concern whether DNNs can produce reliable and fair decisions especially when they are applied to sensitive domains involving valuable resource allocation, such as education, loan, and employment. It is crucial to conduct fairness testing before DNNs are reliably deployed to such sensitive domains, i.e., generating as many instances as possible to uncover fairness violations. However, the existing testing methods are still limited from three aspects: interpretability, performance, and generalizability. To overcome the challenges, we propose NeuronFair, a new DNN fairness testing framework that differs from previous work in several key aspects: (1) interpretable - it quantitatively interprets DNNs' fairness violations for the biased decision; (2) effective - it uses the interpretation results to guide the generation of more diverse instances in less time; (3) generic - it can handle both structured and unstructured data. Extensive evaluations across 7 datasets and the corresponding DNNs demonstrate NeuronFair's superior performance. For instance, on structured datasets, it generates much more instances (~x5.84) and saves more time (with an average speedup of 534.56%) compared with the state-of-the-art methods. Besides, the instances of NeuronFair can also be leveraged to improve the fairness of the biased DNNs, which helps build more fair and trustworthy deep learning systems.


title: Continual Learning for Unsupervised Anomaly Detection in Continuous Auditing of Financial Accounting Data

abstract: International audit standards require the direct assessment of a financial statement's underlying accounting journal entries. Driven by advances in artificial intelligence, deep-learning inspired audit techniques emerged to examine vast quantities of journal entry data. However, in regular audits, most of the proposed methods are applied to learn from a comparably stationary journal entry population, e.g., of a financial quarter or year. Ignoring situations where audit relevant distribution changes are not evident in the training data or become incrementally available over time. In contrast, in continuous auditing, deep-learning models are continually trained on a stream of recorded journal entries, e.g., of the last hour. Resulting in situations where previous knowledge interferes with new information and will be entirely overwritten. This work proposes a continual anomaly detection framework to overcome both challenges and designed to learn from a stream of journal entry data experiences. The framework is evaluated based on deliberately designed audit scenarios and two real-world datasets. Our experimental results provide initial evidence that such a learning scheme offers the ability to reduce false-positive alerts and false-negative decisions.


title: Quantum gravity corrections to the matter dynamics in the presence of a reference fluid

abstract: We analyze the effect induced on standard quantum field theory (in functional approach) by quantum gravity corrections to a pure classical background. In the framework of the Kucha\v{r} and Torre proposal for a gravity-matter theory constrained to a Gaussian reference frame, materialized as a fluid in the system evolution, we consider a Born-Oppenheimer separation of the system, regarding the gravity degrees of freedom as the slow varying component and the matter plus the Gaussian fluid as fast quantum coordinates. The slow gravity component obeys the Wheeler-DeWitt equation and we consider a Wentzel-Kramer-Brillouin expansion of its quantum dynamics via a Planckian parameter. The main issue of the proposed scenario is that, on one hand, we recover a modified quantum field theory in the presence of an Hermitian Hamiltonian (not affected by non-unitarity as in other approaches) and, on the other hand, we get the Gaussian fluid as a physical clock for such amended quantum theory (verifying the correct energy conditions). We also show its equivalence with the kinematical action method, used in a previous work, in the homogeneous setting. Then, we implement the proposed paradigm to describe the dynamics of a homogeneous free massless scalar field, living on an isotropic Universe, in the presence of a cosmological constant. We completely solve the dynamics up to the first order correction in the Planckian parameter to the standard quantum field theory. We determine the explicit form of the modified scalar field wave-function, due to quantum features of the cosmic scale factor evolution. Phenomenological considerations and discussions are provided.


title: "We do not appreciate being experimented on": Developer and Researcher Views on the Ethics of Experiments on Open-Source Projects

abstract: A tenet of open source software development is to accept contributions from users-developers (typically after appropriate vetting). But should this also include interventions done as part of research on open source development? Following an incident in which buggy code was submitted to the Linux kernel to see whether it would be caught, we conduct a survey among open source developers and empirical software engineering researchers to see what behaviors they think are acceptable. This covers two main issues: the use of publicly accessible information, and conducting active experimentation. The survey had 224 respondents. The results indicate that open-source developers are largely open to research, provided it is done transparently. In other words, many would agree to experiments on open-source projects if the subjects were notified and provided informed consent, and in special cases also if only the project leaders agree. While researchers generally hold similar opinions, they sometimes fail to appreciate certain nuances that are important to developers. Examples include observing license restrictions on publishing open-source code and safeguarding the code. Conversely, researchers seem to be more concerned than developers about privacy issues. Based on these results, it is recommended that open source repositories and projects address use for research in their access guidelines, and that researchers take care to ask permission also when not formally required to do so. We note too that the open source community wants to be heard, so professional societies and IRBs should consult with them when formulating ethics codes.


title: Equation-of-motion and Lorentz-invariance relations for tensor-polarized parton distribution functions of spin-1 hadrons

abstract: Structure functions of polarized spin-1 hadrons will be measured at various accelerator facilities in the near future. Recently, transverse-momentum-dependent and collinear parton distribution functions were theoretically proposed at twist 3 and twist 4 in addition to the twist-2 ones, so that full investigations became possible for structure functions of spin-1 hadrons in the same level with those of the spin-1/2 nucleons. Furthermore, twist-3 tensor-polarized multiparton distribution functions were also recently found for spin-1 hadrons. In this work, we show relations among the collinear parton- and multiparton-distribution functions for spin-1 hadrons by using equation of motion for quarks. These relations are valuable in constraining the distribution functions and learning about multiparton correlations in spin-1 hadrons.


title: Measurement of $e^{+}e^{-}\to\phi\pi^{+}\pi^{-}$ cross sections at center-of-mass energies from 2.00 to 3.08 GeV

abstract: Using data corresponding to an integrated luminosity of $651~\mathrm{pb}^{-1}$ accumulated at 22 center-of-mass energies from 2.00 to 3.08 GeV by the BESIII experiment, the process $e^{+}e^{-}\to\phi\pi^{+}\pi^{-}$ is studied. The cross sections for $e^{+}e^{-}\to\phi\pi^{+}\pi^{-}$ are consistent with previous results, but with improved precision. To measure the mass and width of the structure observed in the cross section line shape, a combine fit is performed after enhancing the contribution from $\phi f_{0}(980)$. The fit reveals a structure with the mass of $M=2178\pm20\pm5~{\rm MeV}/c^2$ and the width of $\varGamma=140\pm36\pm16~{\rm MeV}$, where the first uncertainties are statistical and the second ones are systematic.


title: Isotropy subgroups of some almost rigid domains

abstract: In this paper, we study the isotropy subgroups of some almost rigid domains and give necessary and sufficient conditions for an automorphism to be in the isotropy subgroup.


title: Ratios of Partial Wave Amplitudes in the Decays of $J=1$ and $J=2$ Mesons

abstract: We study the two-body decay of mesons using the covariant helicity formalism. We find that to explain the ratio of partials wave amplitudes (PWAs) of the decay, the Lagrangian must include derivative interactions in addition to contact interactions. We estimate the ratios of the coupling constants for the vector decays of the axial-vector, pseudovector and pseudotensor meson, and the tensor decays of the pseudotensor mesons by fitting the ratios of the PWAs to the available data and predict the ratios to some new decays.


title: Edge Robotics: Edge-Computing-Accelerated Multi-Robot Simultaneous Localization and Mapping

abstract: With the wide penetration of smart robots in multifarious fields, Simultaneous Localization and Mapping (SLAM) technique in robotics has attracted growing attention in the community. Yet collaborating SLAM over multiple robots still remains challenging due to performance contradiction between the intensive graphics computation of SLAM and the limited computing capability of robots. While traditional solutions resort to the powerful cloud servers acting as an external computation provider, we show by real-world measurements that the significant communication overhead in data offloading prevents its practicability to real deployment. To tackle these challenges, this paper promotes the emerging edge computing paradigm into multi-robot SLAM and proposes RecSLAM, a multi-robot laser SLAM system that focuses on accelerating map construction process under the robot-edge-cloud architecture. In contrast to conventional multi-robot SLAM that generates graphic maps on robots and completely merges them on the cloud, RecSLAM develops a hierarchical map fusion technique that directs robots' raw data to edge servers for real-time fusion and then sends to the cloud for global merging. To optimize the overall pipeline, an efficient multi-robot SLAM collaborative processing framework is introduced to adaptively optimize robot-to-edge offloading tailored to heterogeneous edge resource conditions, meanwhile ensuring the workload balancing among the edge servers. Extensive evaluations show RecSLAM can achieve up to 39% processing latency reduction over the state-of-the-art. Besides, a proof-of-concept prototype is developed and deployed in real scenes to demonstrate its effectiveness.


title: Analysis of identified particle transverse momentum spectra produced in pp, p--Pb and Pb--Pb collisions at the LHC using Tsallis--Pareto-type function

abstract: In the framework of a multi-source thermal model at the partonic-level, we have analyzed transverse momentum spectra of hadrons measured by the ALICE Collaboration in proton-proton ($pp$ or $p$-$p$) collisions at the center-of-mass energy of $\sqrt{s}=7$ and 13 TeV, proton-lead ($p$-Pb) collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV, and lead-lead (Pb-Pb) collisions at $\sqrt{s_{\rm NN}}=2.76$ TeV. For meson(baryon), the contributions of two(three) constituent quarks are considered, in which each quark contributes to hadron transverse momentum to obey the revised phenomenological Tsallis transverse momentum distribution for the Maxwell-Boltzmann particles (the TP-like function in short) with isotropic random azimuthal angle. Three main parameters, namely, the revised index $a_0$, effective temperature $T$, and entropy-related index $n$ are obtained, which show the same tendency for small and large systems with respect to the centrality (or multiplicity) of events, rest mass of hadrons, and constituent mass of quarks.


title: Simultaneous Location of Rail Vehicles and Mapping of Environment with Multiple LiDARs

abstract: Precise and real-time rail vehicle localization as well as railway environment monitoring is crucial for railroad safety. In this letter, we propose a multi-LiDAR based simultaneous localization and mapping (SLAM) system for railway applications. Our approach starts with measurements preprocessing to denoise and synchronize multiple LiDAR inputs. Different frame-to-frame registration methods are used according to the LiDAR placement. In addition, we leverage the plane constraints from extracted rail tracks to improve the system accuracy. The local map is further aligned with global map utilizing absolute position measurements. Considering the unavoidable metal abrasion and screw loosening, online extrinsic refinement is awakened for long-during operation. The proposed method is extensively verified on datasets gathered over 3000 km. The results demonstrate that the proposed system achieves accurate and robust localization together with effective mapping for large-scale environments. Our system has already been applied to a freight traffic railroad for monitoring tasks.


title: Quantum criticality driven by the cavity coupling in Rabi-dimer model

abstract: The superradiant phase transition (SPT) controlled by the interacting strength between the two-level atom and the photons has been a hot topic in the Rabi model and the Rabi-dimer model. The latter describes two Rabi cavities coupled with an inter-cavity hopping parameter. Moreover, the SPT in the Rabi-dimer model is found to be the same universal class that in the Rabi model by investigating the correlation-length critical exponent. In this paper, we are concerned about whether the inter-cavity hopping parameter between two Rabi cavities (i.e., the Rabi-dimer model) will induce the SPT and to which the universal class of the phase transition belongs. We analytically derive the phase boundary of the SPT and investigate the ground-state properties of the system. We uncover that the inter-cavity induced SPT can be apparently understood from the ground-state energy and the ground-state photon population, as well as the ground-state expectation value of the squared anti-symmetric mode. From the scaling analysis of the fidelity susceptibility, we numerically verify that the SPT driven by the cavity coupling belongs to the same universal class as the one driven by the atom-cavity interaction. Our work enriches the studies on the SPT and its critical behaviors in the Rabi-dimer model.


title: Extended Dicke quantum battery with interatomic interactions and driving field

abstract: We investigate the charging process of quantum battery (QB) systems in an extended Dicke model with both atomic interactions and an external driving field. We focus on the effects of the atomic interaction and the external driving field on the charging performance of QB and find that the maximum stored energy of QB has a critical phenomenon. We analyze the critical behavior and obtain the analytical expression of the critical atomic interaction. The dependence of the maximum stored energy, the energy quantum fluctuations and the maximum charging power on the number $N$ of the two-level systems are also discussed. In particular, for the maximum charging power, we obtain the quantum advantage of the QB, which approximately satisfies a superlinear scaling relation $P_{max}\propto N^{\alpha}$, where scaling exponent $\alpha$ varies with the number $N$ of the two-level systems. In the ultra-strong coupling regime, the atomic interaction can lead to a faster battery charging, and the quantum advantage $\alpha = 1.88$ can be achieved. While in the deep-strong coupling regime, the quantum advantage of the QB's maximum charging power is the same as that of the Dicke QB, i.e., $\alpha=1.5$.


title: Pseudocylindrical Convolutions for Learned Omnidirectional Image Compression

abstract: Although equirectangular projection (ERP) is a convenient form to store omnidirectional images (also known as 360-degree images), it is neither equal-area nor conformal, thus not friendly to subsequent visual communication. In the context of image compression, ERP will over-sample and deform things and stuff near the poles, making it difficult for perceptually optimal bit allocation. In conventional 360-degree image compression, techniques such as region-wise packing and tiled representation are introduced to alleviate the over-sampling problem, achieving limited success. In this paper, we make one of the first attempts to learn deep neural networks for omnidirectional image compression. We first describe parametric pseudocylindrical representation as a generalization of common pseudocylindrical map projections. A computationally tractable greedy method is presented to determine the (sub)-optimal configuration of the pseudocylindrical representation in terms of a novel proxy objective for rate-distortion performance. We then propose pseudocylindrical convolutions for 360-degree image compression. Under reasonable constraints on the parametric representation, the pseudocylindrical convolution can be efficiently implemented by standard convolution with the so-called pseudocylindrical padding. To demonstrate the feasibility of our idea, we implement an end-to-end 360-degree image compression system, consisting of the learned pseudocylindrical representation, an analysis transform, a non-uniform quantizer, a synthesis transform, and an entropy model. Experimental results on $19,790$ omnidirectional images show that our method achieves consistently better rate-distortion performance than the competing methods. Moreover, the visual quality by our method is significantly improved for all images at all bitrates.


title: Robust Estimation of Average Treatment Effects from Panel Data

abstract: In order to evaluate the impact of a policy intervention on a group of units over time, it is important to correctly estimate the average treatment effect (ATE) measure. Due to lack of robustness of the existing procedures of estimating ATE from panel data, in this paper, we introduce a robust estimator of the ATE and the subsequent inference procedures using the popular approach of minimum density power divergence inference. Asymptotic properties of the proposed ATE estimator are derived and used to construct robust test statistics for testing parametric hypotheses related to the ATE. Besides asymptotic analyses of efficiency and powers, extensive simulation studies are conducted to study the finite-sample performances of our proposed estimation and testing procedures under both pure and contaminated data. The robustness of the ATE estimator is further investigated theoretically through the influence functions analyses. Finally our proposal is applied to study the long-term economic effects of the 2004 Indian Ocean earthquake and tsunami on the (per-capita) gross domestic products (GDP) of five mostly affected countries, namely Indonesia, Sri Lanka, Thailand, India and Maldives.


title: Spin-tunable thermoelectric performance in monolayer chromium pnictides

abstract: Historically, finding two-dimensional (2D) magnets is well known to be a difficult task due to instability against thermal spin fluctuations. Metals are also normally considered poor thermoelectric (TE) materials. Combining intrinsic magnetism in two dimensions with conducting properties, one may expect to get the worst for thermoelectrics. However, we will show this is not always the case. Here, we investigate spin-dependent TE properties of monolayer chromium pnictides (CrX, where X = P, As, Sb, and Bi) using first-principles calculations of electrons and phonons, along with Boltzmann transport formalism under energy-dependent relaxation time approximation. All the CrX monolayers are dynamically stable and they also exhibit half metallicity with ferromagnetic ordering. Using the spin-valve setup with antiparallel spin configuration, the half metallicity and ferromagnetism in monolayer CrX enable manipulation of spin degrees of freedom to tune the TE figure of merit (ZT). At optimized chemical potential and operating temperature of 500 K, the maximum ZT values (= 0.22, 0.12, and 0.09) with the antiparallel spin-valve setup in CrAs, CrSb, and CrBi improve up to almost twice the original values (ZT = 0.12, 0.08, and 0.05) without the spin-valve configuration. Only in CrP, which is the lightest species and less spin-polarized among CrX, the maximum ZT (= 0.34) without the spin-valve configuration is larger than that (= 0.19) with the spin-valve one. We also find that, at 500 K, all the CrX monolayers possess exceptional TE power factors of about 0.02-0.08 W/m.K2, which could be one of the best values among 2D conductors.


title: N-Omniglot, a large-scale neuromorphic dataset for spatio-temporal sparse few-shot learning

abstract: Few-shot learning (learning with a few samples) is one of the most important cognitive abilities of the human brain. However, the current artificial intelligence systems meet difficulties in achieving this ability. Similar challenges also exist for biologically plausible spiking neural networks (SNNs). Datasets for traditional few-shot learning domains provide few amounts of temporal information. and the absence of neuromorphic datasets has hindered the development of few-shot learning for SNNs. Here, to the best of our knowledge, we provide the first neuromorphic dataset for few-shot learning using SNNs: N-Omniglot, based on the Dynamic Vision Sensor. It contains 1,623 categories of handwritten characters, with only 20 samples per class. N-Omniglot eliminates the need for a neuromorphic dataset for SNNs with high spareness and tremendous temporal coherence. Additionally, the dataset provides a powerful challenge and a suitable benchmark for developing SNNs algorithms in the few-shot learning domain due to the chronological information of strokes. We also provide the improved nearest neighbor, convolutional network, SiameseNet, and meta-learning algorithm in the spiking version for verification.


title: Quantum effective action for the bosonic Josephson junction

abstract: We investigate a bosonic Josephson junction by using the path-integral formalism with relative phase and population imbalance as dynamical variables. We derive an effective only-phase action performing functional integration over the population imbalance. We then analyze the quantum effective only-phase action, which formally contains all the quantum corrections. To the second order in the derivative expansion and to the lowest order in $\hbar$, we obtain the quantum correction to the Josephson frequency of oscillation. Finally, the same quantum correction is found by adopting an alternative approach. Our predictions are a useful theoretical tool for experiments with atomic or superconducting Josephson junctions.


title: Spin-wave-driven skyrmion dynamics in ferrimagnets: Effect of net angular momentum

abstract: Searching for low-power-consuming and high-efficient methods for well controllable driving of skyrmion motion is one of the most concerned issues for future spintronic applications, raising high concern with an appreciated choice of magnetic media and driving scenario. In this work, we propose a novel scenario of spin wave driven skyrmion motion in a ferrimagnetic (FiM) lattice with the net angular momentum {\delta}s. We investigate theoretically the effect of both {\delta}s and the circular polarization of spin wave on the skyrmion dynamics. It is revealed that the momentum onto the skyrmion imposed by the excited spin wave can be partitioned into a ferromagnetic term plus an antiferromagnetic term. The ratio of these two terms and consequently the Hall angle of skyrmion motion can be formulated as the functions of {\delta}s, demonstrating the key role of {\delta}s as an effective control-parameter for the skyrmion motion. Moreover, the spin wave frequency dependent skyrmion motion is discussed, predicting the frequency enhanced skyrmion Hall motion. This work thus represents an essential contribution to understand the skyrmion dynamics in a FiM lattice.


title: On some properties of basic sets

abstract: In the theory of zero-dimensional systems and their relation to $C^*$-algebras, Poon (1990) introduced a class of closed sets. We call the closed sets quasi-sections. Medynets (2006) introduced basic sets that are part of quasi-sections in his study of aperiodic zero-dimensional systems and their relation to Bratteli--Vershik models and $C^*$-algebras. Downarowicz and Karpel (2019) introduced the notion of decisiveness in the theory of Bratteli--Vershik models. We previously clarified that particular quasi-sections can be the "bases" of the decisive Bratteli--Vershik models for zero-dimensional systems with dense aperiodic orbits. We call them continuously decisive quasi-sections. However, even the basic topological properties of quasi-sections and the basic sets have not been studied systematically. This paper presents such a systematic study. Some properties are defined, stated, and proved in the general settings of compact Hausdorff topological dynamics. For example, if a topological dynamical system has dense aperiodic orbits and no wandering points, then every basic set is continuously decisive. If a zero-dimensional system has dense aperiodic orbits, then there exists a minimal continuously decisive basic set such that for every minimal set, there exists a unique common point.


title: A unified theory to describe the transition of stable nanobubbles to unstable microbubbles on homogeneous surface

abstract: Experiments have not only revealed the remarkably long lifetime of nanobubbles, but also demonstrated the diffusive instability of bubbles above micrometers, thus a full-scale physical understanding on the stability of bubbles is in urgent need. Herein, we develop a model that captures the state transition from the stable nanobubbles to the unstable microbubbles on homogeneous surfaces. The transition explains the typical long lifetime, limited height and small contact angle of surface nanobubbles observed in experiments. The consequent phase diagram shows that the bubble size and gas dissolving saturation determine the dynamic behaviors of surface bubbles, namely growth, stability, shrinkage or dissolution.


title: Statistical Estimation of Ballistic Signal in Visible Light OCT Based on Random Matrix Description

abstract: Visible light optical coherence tomography (vis-OCT) provides a unique tool for imaging the structure and oxygen metabolism in tissues. However, since it works in the spectral domain, vis-OCT still suffers from noises due to the multiple scatterings, e.g. for imaging the human fundus. In this study, we modeled the OCT signals as a hybrid of single and multiple scattering components using Wishart random matrix description, with which the single scattering component thus can be separated out using the low-rank characteristics of the matrix. The model was validated using Monte Carlo simulation. We further demonstrated that this model could significantly improve the imaging performances in human fundus, showing more details of the vascular structure than the current vis-OCT and an increase of signal-to-noise ratio (SNR) up to more than 10dB. The layer structure of the retina can be better revealed with more than 3dB suppression of the blood scattering in OCT signals.


title: An Ensemble of Pre-trained Transformer Models For Imbalanced Multiclass Malware Classification

abstract: Classification of malware families is crucial for a comprehensive understanding of how they can infect devices, computers, or systems. Thus, malware identification enables security researchers and incident responders to take precautions against malware and accelerate mitigation. API call sequences made by malware are widely utilized features by machine and deep learning models for malware classification as these sequences represent the behavior of malware. However, traditional machine and deep learning models remain incapable of capturing sequence relationships between API calls. On the other hand, the transformer-based models process sequences as a whole and learn relationships between API calls due to multi-head attention mechanisms and positional embeddings. Our experiments demonstrate that the transformer model with one transformer block layer surpassed the widely used base architecture, LSTM. Moreover, BERT or CANINE, pre-trained transformer models, outperformed in classifying highly imbalanced malware families according to evaluation metrics, F1-score, and AUC score. Furthermore, the proposed bagging-based random transformer forest (RTF), an ensemble of BERT or CANINE, has reached the state-of-the-art evaluation scores on three out of four datasets, particularly state-of-the-art F1-score of 0.6149 on one of the commonly used benchmark dataset.


title: CABACE: Injecting Character Sequence Information and Domain Knowledge for Enhanced Acronym and Long-Form Extraction

abstract: Acronyms and long-forms are commonly found in research documents, more so in documents from scientific and legal domains. Many acronyms used in such documents are domain-specific and are very rarely found in normal text corpora. Owing to this, transformer-based NLP models often detect OOV (Out of Vocabulary) for acronym tokens, especially for non-English languages, and their performance suffers while linking acronyms to their long forms during extraction. Moreover, pretrained transformer models like BERT are not specialized to handle scientific and legal documents. With these points being the overarching motivation behind this work, we propose a novel framework CABACE: Character-Aware BERT for ACronym Extraction, which takes into account character sequences in text and is adapted to scientific and legal domains by masked language modelling. We further use an objective with an augmented loss function, adding the max loss and mask loss terms to the standard cross-entropy loss for training CABACE. We further leverage pseudo labelling and adversarial data generation to improve the generalizability of the framework. Experimental results prove the superiority of the proposed framework in comparison to various baselines. Additionally, we show that the proposed framework is better suited than baseline models for zero-shot generalization to non-English languages, thus reinforcing the effectiveness of our approach. Our team BacKGProp secured the highest scores on the French dataset, second-highest on Danish and Vietnamese, and third-highest in the English-Legal dataset on the global leaderboard for the acronym extraction (AE) shared task at SDU AAAI-22.


title: PerCQA: Persian Community Question Answering Dataset

abstract: Community Question Answering (CQA) forums provide answers for many real-life questions. Thanks to the large size, these forums are very popular among machine learning researchers. Automatic answer selection, answer ranking, question retrieval, expert finding, and fact-checking are example learning tasks performed using CQA data. In this paper, we present PerCQA, the first Persian dataset for CQA. This dataset contains the questions and answers crawled from the most well-known Persian forum. After data acquisition, we provide rigorous annotation guidelines in an iterative process, and then the annotation of question-answer pairs in SemEvalCQA format. PerCQA contains 989 questions and 21,915 annotated answers. We make PerCQA publicly available to encourage more research in Persian CQA. We also build strong benchmarks for the task of answer selection in PerCQA by using mono- and multi-lingual pre-trained language models


title: Robust self-testing of multipartite GHZ-state measurements in quantum networks

abstract: Self-testing is a device-independent examination of quantum devices based on correlations of observed statistics. Motivated by elegant progresses on self-testing strategies for measurements [Phys. Rev. Lett. 121, 250507 (2018)] and for states [New J. Phys. 20, 083041 (2018)], we develop a general self-testing procedure for multipartite generalized GHZ-state measurements. The key step is self-testing all measurement eigenstates for a general N-qubit multipartite GHZ-state measurement. Following our procedure, one only needs to perform local measurements on N-2 chosen parties of the N-partite eigenstate and maintain to achieve the maximal violation of tilted Clauser-Horne-Shimony-Holt (CHSH) Bell inequality for remaining two parties. Moreover, this approach is physically operational from an experimental point of view. It turns out that the existing result for three-qubit GHZ-state measurement is recovered as a special case. Meanwhile, we develop the self-testing method to be robust against certain white noise.


title: Phonons in magic-angle twisted bilayer graphene

abstract: Magic-angle twisted bilayer graphene (TBG) has attracted significant interest recently due to the discoveries of diverse correlated and topological states in this system. Despite the extensive research on the electron-electron interaction effects and topological properties of the electrons, the phonons of magic-angle TBG are relatively less explored. In this work, we study the phonon properties in magic-angle TBG based on \textit{ab} \textit{initio} deep potential molecular dynamics. We have calculated phonon band structures and density of states at the magic angle, and have systematically analyzed the phonon eigenmodes at high-symmetry points in the moir\'e Brillouin zone. In particular, at the moir\'e $\Gamma$ point, we have discovered a number of soft modes which can exhibit dipolar-like, stripe-like, and octupolar-like vibrational patterns within the moir\'e supercell, as well as some "vortical" modes with nonzero curl in real space. At the moir\'e $K$/$K'$ points, there are time-reversal breaking chiral phonon modes with nonzero local phonon polarizations. We have further studied the phonon effects on the electronic structures by freezing certain soft phonon modes. We find that if a soft "stripe" phonon mode at moir\'e $\Gamma$ point is assumed to be frozen, the system would exhibit a charge order which naturally explains the recent observations from scanning tunnelling microscopy. Moreover, there are also low-frequency $C_{2z}$-breaking modes at moir\'e $\Gamma$ point, which would gap out the Dirac points at the charge neutrality point once these modes get frozen. This provides a new perspective to the origin of correlated insulator state at the charge neutrality point.


title: A Preliminary Study for Literary Rhyme Generation based on Neuronal Representation, Semantics and Shallow Parsing

abstract: In recent years, researchers in the area of Computational Creativity have studied the human creative process proposing different approaches to reproduce it with a formal procedure. In this paper, we introduce a model for the generation of literary rhymes in Spanish, combining structures of language and neural network models %(\textit{Word2vec}).%, into a structure for semantic assimilation. The results obtained with a manual evaluation of the texts generated by our algorithm are encouraging.


title: Differential behaviors of suprathermal $^4$He and Fe populations in the interplanetary medium during solar cycle 24

abstract: Investigations on the solar cycle variation of the properties of suprathermal populations (H and other heavy ions like $^4$He, $^3$He, C, O and Fe) in the solar wind are sparse and hence, poorly understood. In the present investigation, solar cycle variations of "quiet" time suprathermal elements are investigated using $<$ $\sim$ 1 MeV/n particle flux data obtained from Ultra-Low Energy Isotope Spectrometer on board Advanced Composition Explorer satellite during the solar cycle 23 and 24. The analysis reveals that helium ($^4$He) shows zero or positive lags with respect to sunspot numbers in solar cycle 23 while it shows zero or negative lag in solar cycle 24. On the contrary, although iron (Fe) shows zero or positive lag in cycle 23 similar to $^4$He, it shows only zero lag in cycle 24 and no negative lag is seen. Further, significant differences in the spectral indices are seen between $^4$He and Fe in cycle 24 compared to the cycle 23. These results suggest that generation mechanisms responsible for suprathermal $^4$He and Fe underwent changes in cycle 24 and these mechanisms are probably dependent on the first ionization potential and mass to charge ratio. This proposition gets credence from the fact that changes in the lag and spectral slopes for C and O are not significantly different in cycle 23 and 24.


title: Evolutionary Generation of Visual Motion Illusions

abstract: Why do we sometimes perceive static images as if they were moving? Visual motion illusions enjoy a sustained popularity, yet there is no definitive answer to the question of why they work. We present a generative model, the Evolutionary Illusion GENerator (EIGen), that creates new visual motion illusions. The structure of EIGen supports the hypothesis that illusory motion might be the result of perceiving the brain's own predictions rather than perceiving raw visual input from the eyes. The scientific motivation of this paper is to demonstrate that the perception of illusory motion could be a side effect of the predictive abilities of the brain. The philosophical motivation of this paper is to call attention to the untapped potential of "motivated failures", ways for artificial systems to fail as biological systems fail, as a worthy outlet for Artificial Intelligence and Artificial Life research.


title: Breaking Rayleigh's curse for two unbalanced single-photon emitters: BLESS technique

abstract: Rayleigh's criterion posits that resolving point sources below point spread function width is impossible. Statistical estimation overcomes this but suffers from increasing error at shorter distances, known as Rayleigh's curse. Target mode shaping solves this for equal sources but not for multi-parameter objects like emitters with unknown brightness ratio. We propose BLESS technique, utilizing Beam moduLation and Examination of Shot Statistics, breaking Rayleigh's curse for unbalanced sources. Demonstrated through classical and quantum Cramer-Rao bound calculations, BLESS shows significant potential for real imaging experiments.


title: Bayesian Shrinkage Estimation for Stratified Count Data

abstract: In this paper, we consider simultaneous estimation of Poisson parameters in situations where we can use side information in aggregated data. We use standardized squared error and entropy loss functions. Bayesian shrinkage estimators are derived based on conjugate priors. We compare the risk functions of direct estimators and Bayesian estimators with respect to different priors that are constructed based on different subsets of observations. We obtain conditions for domination and also prove minimaxity and admissibility in a simple setting.


title: Towards Federated Learning on Time-Evolving Heterogeneous Data

abstract: Federated Learning (FL) is a learning paradigm that protects privacy by keeping client data on edge devices. However, optimizing FL in practice can be difficult due to the diversity and heterogeneity of the learning system. Despite recent research efforts to improve the optimization of heterogeneous data, the impact of time-evolving heterogeneous data in real-world scenarios, such as changing client data or intermittent clients joining or leaving during training, has not been studied well. In this work, we propose Continual Federated Learning (CFL), a flexible framework for capturing the time-evolving heterogeneity of FL. CFL can handle complex and realistic scenarios, which are difficult to evaluate in previous FL formulations, by extracting information from past local data sets and approximating local objective functions. We theoretically demonstrate that CFL methods have a faster convergence rate than FedAvg in time-evolving scenarios, with the benefit depending on approximation quality. Through experiments, we show that our numerical findings match the convergence analysis and that CFL methods significantly outperform other state-of-the-art FL baselines.


title: Inferential models and the decision-theoretic implications of the validity property

abstract: Inferential models (IMs) are data-dependent, probability-like structures designed to quantify uncertainty about unknowns. As the name suggests, the focus has been on uncertainty quantification for inference, and on establishing a validity property that ensures the IM is reliable in a specific sense. The present paper develops an IM framework for decision problems and, in particular, investigates the decision-theoretic implications of the aforementioned validity property. I show that a valid IM's assessment of an action's quality, defined by a Choquet integral, will not be too optimistic compared to that of an oracle. This ensures that a valid IM tends not to favor actions that the oracle doesn't also favor, hence a valid IM is reliable for decision-making too. In a certain special class of structured statistical models, further connections can be made between the valid IM's favored actions and those favored by other more familiar frameworks, from which certain optimality conclusions can be drawn. An important step in these decision-theoretic developments is a characterization of the valid IM's credal set in terms of confidence distributions, which may be of independent interest.


title: A description of interpolation spaces for quasi-Banach couples by real $K$-method

abstract: The main aim of this paper is to develop a general approach, which allows to extend the basics of Brudnyi-Kruglyak interpolation theory to the realm of quasi-Banach lattices. We prove that all $K$-monotone quasi-Banach lattices with respect to a $L$-convex quasi-Banach lattice couple have in fact a stronger property of the so-called $K(p,q)$-monotonicity for some $0<q\leq p\leq 1$, which allows us to get their description by the real $K$-method. Moreover, we obtain a refined version of the $K$-divisibility property for Banach lattice couples and then prove an appropriate version of this property for $L$-convex quasi-Banach lattice couples. The results obtained are applied to refine interpolation properties of couples of sequence $l^{p}$- and function $L^{p}$-spaces, considered for the full range $0<p<\infty $.


title: Thermodynamics and phase transition of BTZ black hole in a cavity

abstract: In this paper, we study the thermodynamics and phase transition of a BTZ black hole in a finite space region, namely a cavity. By imposing a temperature-fixed boundary condition on the wall of the cavity and evaluating the Euclidean action, we derive the thermodynamic quantities and then construct the first law of thermodynamics for a static and neutral BTZ black hole, a rotating BTZ black hole and a charged BTZ black hole, respectively. We prove that heat capacities of these three types of black holes are always non-negative. Considering a grand canonical ensemble, we find that the non-extreme rotating black hole and the charged black hole are locally thermodynamically stable by calculating the Hessian matrix of their internal energy. At the phase transition level, it shows that for the static and neutral BTZ black hole, the phase transition only exists between thermal AdS3 spacetime and the black hole. The temperature where the phase transition occurs is only determined by the cavity radius. For rotating and charged cases, there may exist an extra second-order phase transition between the black hole and the black hole-cavity merger state. The phase structure of a BTZ black hole in a cavity shows strong dissimilarities from that without the cavity.


title: Torus fixed point sets of Hessenberg Schubert varieties in regular semisimple Hessenberg varieties

abstract: It is well-known that the $T$-fixed points of a Schubert variety in the flag variety $GL_n(\mathbb{C})/B$ can be characterized purely combinatorially in terms of Bruhat order on the symmetric group $\mathfrak{S}_n$. In a recent preprint, Cho, Hong, and Lee give a combinatorial description of the $T$-fixed points of Hessenberg analogues of Schubert varieties (which we call Hessenberg Schubert varieties) in a regular semisimple Hessenberg variety. This note gives an interpretation of their result in terms of Bruhat order by making use of a partition of the symmetric group defined using so-called subsets of Weyl type. The Appendix, written by Michael Zeng, proves a lemma concerning subsets of Weyl type which is required in our arguments.


title: Reactive Message Passing for Scalable Bayesian Inference

abstract: We introduce Reactive Message Passing (RMP) as a framework for executing schedule-free, robust and scalable message passing-based inference in a factor graph representation of a probabilistic model. RMP is based on the reactive programming style that only describes how nodes in a factor graph react to changes in connected nodes. The absence of a fixed message passing schedule improves robustness, scalability and execution time of the inference procedure. We also present ReactiveMP.jl, which is a Julia package for realizing RMP through minimization of a constrained Bethe free energy. By user-defined specification of local form and factorization constraints on the variational posterior distribution, ReactiveMP.jl executes hybrid message passing algorithms including belief propagation, variational message passing, expectation propagation, and expectation maximisation update rules. Experimental results demonstrate the improved performance of ReactiveMP-based RMP in comparison to other Julia packages for Bayesian inference across a range of probabilistic models. In particular, we show that the RMP framework is able to run Bayesian inference for large-scale probabilistic state space models with hundreds of thousands of random variables on a standard laptop computer.


title: Yaw attitudes for BDS-3 IGSO and MEO satellites: estimation, validation and modeling with inter-satellite link observations

abstract: The disclosed satellite metadata as well as previous estimations using Revise Kinematic Precise Point Positioning (RKPPP) approach with L-band data have already demonstrated the continuous yaw steering model used by BDS-3 Medium Earth Orbit (MEO) satellites manufactured by China Academy of Space Technology (CAST) in deep eclipse seasons instead of the orbit normal mode. However, the yaw model has not been validated for MEO satellites manufactured by Shanghai Engineering Center of Microsatellites (SECM), as the horizontal phase center offsets (PCO) approaches zeros, similar for BDS-3 Inclined Geostationary Orbit (IGSO) satellites. In this study, the inter-satellite link (ISL) data were used to estimate the yaw angles of BDS-3 IGSO and MEO satellites with accuracy of around 1.49{\deg} to investigate their yaw behaviors, particularly in the deep eclipse seasons. The estimates confirm that the IGSO and MEO satellites from CAST show the similar yaw behaviors, while the SECM MEO satellites do not fully comply with the attitude law published by China Satellite Navigation Office (CSNO). The attitude transition postpones from that predicted by CSNO yaw law, and occurs when the yaw angle is less than 5{\deg} and the elevation angle of the Sun above the orbital plane (beta angle) crosses 0{\deg}. The transition completes within three minutes with a rate about 0.055{\deg}/s. A model is proposed to predict these behaviors, and the ISL residuals return to normal levels, and became more stable in the adjacent of midnight and noon points. Once the yaw models are used.


title: On a conjecture of Nikiforov involving a spectral radius condition for a graph to contain all trees

abstract: We partly confirm a Brualdi-Solheid-Tur\'{a}n type conjecture due to Nikiforov, which is a spectral radius analogue of the well-known Erd\H{o}s-S\'os Conjecture that any tree of order $t$ is contained in a graph of average degree greater than $t-2$. We confirm Nikiforov's Conjecture for all brooms and for a larger class of spiders. For our proofs we also obtain a new Tur\'{a}n type result which might turn out to be of independent interest.