title: RAP: Risk-Aware Prediction for Robust Planning

abstract: Robust planning in interactive scenarios requires predicting the uncertain future to make risk-aware decisions. Unfortunately, due to long-tail safety-critical events, the risk is often under-estimated by finite-sampling approximations of probabilistic motion forecasts. This can lead to overconfident and unsafe robot behavior, even with robust planners. Instead of assuming full prediction coverage that robust planners require, we propose to make prediction itself risk-aware. We introduce a new prediction objective to learn a risk-biased distribution over trajectories, so that risk evaluation simplifies to an expected cost estimation under this biased distribution. This reduces the sample complexity of the risk estimation during online planning, which is needed for safe real-time performance. Evaluation results in a didactic simulation environment and on a real-world dataset demonstrate the effectiveness of our approach. The code and a demo are available.


title: Understanding Older Adults' Perceptions and Challenges in Using AI-enabled Everyday Technologies

abstract: Artificial intelligence (AI)-enabled everyday technologies could help address age-related challenges like physical impairments and cognitive decline. While recent research studied older adults' experiences with specific AI-enabled products (e.g., conversational agents and assistive robots), it remains unknown how older adults perceive and experience current AI-enabled everyday technologies in general, which could impact their adoption of future AI-enabled products. We conducted a survey study (N=41) and semi-structured interviews (N=15) with older adults to understand their experiences and perceptions of AI. We found that older adults were enthusiastic about learning and using AI-enabled products, but they lacked learning avenues. Additionally, they worried when AI-enabled products outwitted their expectations, intruded on their privacy, or impacted their decision-making skills. Therefore, they held mixed views towards AI-enabled products such as AI, an aid, or an adversary. We conclude with design recommendations that make older adults feel inclusive, secure, and in control of their interactions with AI-enabled products.


title: Towards Flexible Inductive Bias via Progressive Reparameterization Scheduling

abstract: There are two de facto standard architectures in recent computer vision: Convolutional Neural Networks (CNNs) and Vision Transformers (ViTs). Strong inductive biases of convolutions help the model learn sample effectively, but such strong biases also limit the upper bound of CNNs when sufficient data are available. On the contrary, ViT is inferior to CNNs for small data but superior for sufficient data. Recent approaches attempt to combine the strengths of these two architectures. However, we show these approaches overlook that the optimal inductive bias also changes according to the target data scale changes by comparing various models' accuracy on subsets of sampled ImageNet at different ratios. In addition, through Fourier analysis of feature maps, the model's response patterns according to signal frequency changes, we observe which inductive bias is advantageous for each data scale. The more convolution-like inductive bias is included in the model, the smaller the data scale is required where the ViT-like model outperforms the ResNet performance. To obtain a model with flexible inductive bias on the data scale, we show reparameterization can interpolate inductive bias between convolution and self-attention. By adjusting the number of epochs the model stays in the convolution, we show that reparameterization from convolution to self-attention interpolates the Fourier analysis pattern between CNNs and ViTs. Adapting these findings, we propose Progressive Reparameterization Scheduling (PRS), in which reparameterization adjusts the required amount of convolution-like or self-attention-like inductive bias per layer. For small-scale datasets, our PRS performs reparameterization from convolution to self-attention linearly faster at the late stage layer. PRS outperformed previous studies on the small-scale dataset, e.g., CIFAR-100.


title: A Study on the Efficiency and Generalization of Light Hybrid Retrievers

abstract: Hybrid retrievers can take advantage of both sparse and dense retrievers. Previous hybrid retrievers leverage indexing-heavy dense retrievers. In this work, we study "Is it possible to reduce the indexing memory of hybrid retrievers without sacrificing performance"? Driven by this question, we leverage an indexing-efficient dense retriever (i.e. DrBoost) and introduce a LITE retriever that further reduces the memory of DrBoost. LITE is jointly trained on contrastive learning and knowledge distillation from DrBoost. Then, we integrate BM25, a sparse retriever, with either LITE or DrBoost to form light hybrid retrievers. Our Hybrid-LITE retriever saves 13X memory while maintaining 98.0% performance of the hybrid retriever of BM25 and DPR. In addition, we study the generalization capacity of our light hybrid retrievers on out-of-domain dataset and a set of adversarial attacks datasets. Experiments showcase that light hybrid retrievers achieve better generalization performance than individual sparse and dense retrievers. Nevertheless, our analysis shows that there is a large room to improve the robustness of retrievers, suggesting a new research direction.


title: The criteria of the anisotropic quark star models in Rastall gravity

abstract: Quark stars are terrestrial laboratories to study fundamental physics at ultrahigh densities and temperatures. In this work, we investigate the internal structure and the physical properties of quark stars (QSs) in the Rastall gravity. Rastall gravity is considered a non-conservative theory of gravity, which is an effective gravity theory at high energy density, e.g., relevant to the early universe and dense, compact objects. We derive the hydrostatic equilibrium structure for QSs with the inclusion of anisotropic pressure. More specifically, we find the QS mass-radius relations for the MIT bag model. We focus on the model depending on the Rastall free parameter $\eta$ and examine the deviations from the General Relativity (GR) counterparts.


title: The existence of positive solution for an elliptic problem with critical growth and logarithmic perturbation

abstract: We consider the existence and nonexistence of positive solution for the following Br\'ezis-Nirenberg problem with logarithmic perturbation: \begin{equation*} \begin{cases} -\Delta u={\left|u\right|}^{{2}^{\ast }-2}u+\lambda u+\mu u\log {u}^{2} &x\in \Omega, \quad \;\:\, u=0& x\in \partial \Omega, \end{cases} \end{equation*} where $\Omega$ $\subset$ $\R^N$ is a bounded smooth domain, $\lambda, \mu \in \R$, $N\ge3$ and ${2}^{\ast }:=\frac{2N}{N-2}$ is the critical Sobolev exponent for the embedding $H^1_{0}(\Omega)\hookrightarrow L^{2^\ast}(\Omega)$. The uncertainty of the sign of $s\log s^2$ in $(0, +\infty)$ has some interest in itself. We will show the existence of positive ground state solution which is of mountain pass type provided $\lambda\in \R, \mu>0$ and $N\geq 4$. While the case of $\mu<0$ is thornier. However, for $N=3,4$ $\lambda\in (-\infty, \lambda_1(\Omega))$, we can also establish the existence of positive solution under some further suitable assumptions. And a nonexistence result is also obtained for $\mu<0$ and $-\frac{(N-2)\mu}{2}+\frac{(N-2)\mu}{2}\log(-\frac{(N-2)\mu}{2})+\lambda-\lambda_1(\Omega)\geq 0$ if $N\geq 3$. Comparing with the results in Br\'ezis, H. and Nirenberg, L. (Comm. Pure Appl. Math. 1983), some new interesting phenomenon occurs when the parameter $\mu$ on logarithmic perturbation is not zero.


title: Safety-Aware Learning-Based Control of Systems with Uncertainty Dependent Constraints (extended version)

abstract: The problem of safely learning and controlling a dynamical system - i.e., of stabilizing an originally (partially) unknown system while ensuring that it does not leave a prescribed 'safe set' - has recently received tremendous attention in the controls community. Further complexities arise, however, when the structure of the safe set itself depends on the unknown part of the system's dynamics. In particular, a popular approach based on control Lyapunov functions (CLF), control barrier functions (CBF) and Gaussian processes (to build confidence set around the unknown term), which has proved successful in the known-safe set setting, becomes inefficient as-is, due to the introduction of higher-order terms to be estimated and bounded with high probability using only system state measurements. In this paper, we build on the recent literature on GPs and reproducing kernels to perform this latter task, and show how to correspondingly modify the CLF-CBF-based approach to obtain safety guarantees. Namely, we derive exponential CLF and second relative order exponential CBF constraints whose satisfaction guarantees stability and forward in-variance of the partially unknown safe set with high probability. To overcome the intractability of verification of these conditions on the continuous domain, we apply discretization of the state space and use Lipschitz continuity properties of dynamics to derive equivalent CLF and CBF certificates in discrete state space. Finally, we present an algorithm for the control design aim using the derived certificates.


title: Optimizing Vehicle-to-Edge Mapping with Load Balancing for Attack-Resilience in IoV

abstract: Attack-resilience is essential to maintain continuous service availability in Internet of Vehicles (IoV) where critical tasks are carried out. In this paper, we address the problem of service outage due to attacks on the edge network and propose an attack-resilient mapping of vehicles to edge nodes that host different types of service instances considering resource efficiency and delay. The distribution of service requests (of an attack-affected edge node) to multiple attack-free edge nodes is performed with an optimal vehicle-to-edge (V2E) mapping. The optimal mapping aims to improve the user experience with minimal delay while considering fair usage of edge capacities and balanced load upon a failure over different edge nodes. The proposed mapping solution is used within a deep reinforcement learning (DRL) based framework to effectively deal with the dynamism in service requests and vehicle mobility. We demonstrate the effectiveness of the proposed mapping approach through extensive simulation results using real-world vehicle mobility datasets from three cities.


title: Improved High-Probability Regret for Adversarial Bandits with Time-Varying Feedback Graphs

abstract: We study high-probability regret bounds for adversarial $K$-armed bandits with time-varying feedback graphs over $T$ rounds. For general strongly observable graphs, we develop an algorithm that achieves the optimal regret $\widetilde{\mathcal{O}}((\sum_{t=1}^T\alpha_t)^{1/2}+\max_{t\in[T]}\alpha_t)$ with high probability, where $\alpha_t$ is the independence number of the feedback graph at round $t$. Compared to the best existing result [Neu, 2015] which only considers graphs with self-loops for all nodes, our result not only holds more generally, but importantly also removes any $\text{poly}(K)$ dependence that can be prohibitively large for applications such as contextual bandits. Furthermore, we also develop the first algorithm that achieves the optimal high-probability regret bound for weakly observable graphs, which even improves the best expected regret bound of [Alon et al., 2015] by removing the $\mathcal{O}(\sqrt{KT})$ term with a refined analysis. Our algorithms are based on the online mirror descent framework, but importantly with an innovative combination of several techniques. Notably, while earlier works use optimistic biased loss estimators for achieving high-probability bounds, we find it important to use a pessimistic one for nodes without self-loop in a strongly observable graph.


title: Localization in a one-dimensional alloy with an arbitrary distribution of spacing between impurities: Application to L\'{e}vy glass

abstract: We have studied the localization of waves in a one-dimensional lattice consisting of impurities where the spacing between consecutive impurities can take certain values with given probabilities. In general, such a distribution of impurities induces correlations in the disorder. In particular with a power-law distribution of spacing, this system is used as a model for light propagation in L\'{e}vy glasses. We introduce a method of calculating the Lyapunov exponent which overcomes limitations in the previous studies and can be easily extended to higher orders of perturbation theory. We obtain the Lyapunov exponent up to fourth order of perturbation and discuss the range of validity of perturbation theory, transparent states, and anomalous energies which are characterized by divergences in different orders of the expansion. We also carry out numerical simulations which are in agreement with our analytical results.


title: Lattice dynamics and elastic properties of alpha-U at high-temperature and high-pressure by machine learning potential simulations

abstract: Studying the physical properties of materials under high pressure and temperature through experiments is difficult. Theoretical simulations can compensate for this deficiency. Currently, large-scale simulations using machine learning force fields are gaining popularity. As an important nuclear energy material, the evolution of the physical properties of uranium under extreme conditions is still unclear. Herein, we trained an accurate machine learning force field on alpha-U and predicted the lattice dynamics and elastic properties at high pressures and temperatures. The force field agrees well with the ab initio molecular dynamics (AIMD) and experimental results, and it exhibits higher accuracy than classical potentials. Based on the high-temperature lattice dynamics study, we first present the temperature-pressure range in which the Kohn anomalous behavior of the ${\Sigma}$4 optical mode exists. Phonon spectral function analysis showed that the phonon anharmonicity of alpha-U is very weak. We predict that the single-crystal elastic constants C44, C55, C66, polycrystalline modulus (E,G), and polycrystalline sound velocity ($C_L$,$C_S$) have strong heating-induced softening. All the elastic moduli exhibited compression-induced hardening behavior. The Poisson's ratio shows that it is difficult to compress alpha-U at high pressures and temperatures. Moreover, we observed that the material becomes substantially more anisotropic at high pressures and temperatures. The accurate predictions of alpha-U demonstrate the reliability of the method. This versatile method facilitates the study of other complex metallic materials.


title: Extraneousness-Aware Imitation Learning

abstract: Visual imitation learning provides an effective framework to learn skills from demonstrations. However, the quality of the provided demonstrations usually significantly affects the ability of an agent to acquire desired skills. Therefore, the standard visual imitation learning assumes near-optimal demonstrations, which are expensive or sometimes prohibitive to collect. Previous works propose to learn from noisy demonstrations; however, the noise is usually assumed to follow a context-independent distribution such as a uniform or gaussian distribution. In this paper, we consider another crucial yet underexplored setting -- imitation learning with task-irrelevant yet locally consistent segments in the demonstrations (e.g., wiping sweat while cutting potatoes in a cooking tutorial). We argue that such noise is common in real world data and term them "extraneous" segments. To tackle this problem, we introduce Extraneousness-Aware Imitation Learning (EIL), a self-supervised approach that learns visuomotor policies from third-person demonstrations with extraneous subsequences. EIL learns action-conditioned observation embeddings in a self-supervised manner and retrieves task-relevant observations across visual demonstrations while excluding the extraneous ones. Experimental results show that EIL outperforms strong baselines and achieves comparable policies to those trained with perfect demonstration on both simulated and real-world robot control tasks. The project page can be found at https://sites.google.com/view/eil-website.


title: Inverse Game Theory for Stackelberg Games: the Blessing of Bounded Rationality

abstract: Optimizing strategic decisions (a.k.a. computing equilibrium) is key to the success of many non-cooperative multi-agent applications. However, in many real-world situations, we may face the exact opposite of this game-theoretic problem -- instead of prescribing equilibrium of a given game, we may directly observe the agents' equilibrium behaviors but want to infer the underlying parameters of an unknown game. This research question, also known as inverse game theory, has been studied in multiple recent works in the context of Stackelberg games. Unfortunately, existing works exhibit quite negative results, showing statistical hardness and computational hardness, assuming follower's perfectly rational behaviors. Our work relaxes the perfect rationality agent assumption to the classic quantal response model, a more realistic behavior model of bounded rationality. Interestingly, we show that the smooth property brought by such bounded rationality model actually leads to provably more efficient learning of the follower utility parameters in general Stackelberg games. Systematic empirical experiments on synthesized games confirm our theoretical results and further suggest its robustness beyond the strict quantal response model.


title: On generalization of Breuil--Schraen's $\mathscr{L}$-invariants to $\mathrm{GL}_n$

abstract: Let $p$ be prime number and $K$ be a $p$-adic field. We systematically compute the higher $\mathrm{Ext}$-groups between locally analytic generalized Steinberg representations (LAGS for short) of $\mathrm{GL}_n(K)$ via a new combinatorial treatment of some spectral sequences arising from the so-called Tits complex. Such spectral sequences degenerate at the second page and each $\mathrm{Ext}$-group admits a canonical filtration whose graded pieces are terms in the second page of the corresponding spectral sequence. For each pair of LAGS, we are particularly interested their $\mathrm{Ext}$-groups in the bottom two non-vanishing degrees. We write down an explicit basis for each graded piece (under the canonical filtration) of such an $\mathrm{Ext}$-group, and then describe the cup product maps between such $\mathrm{Ext}$-groups using these bases. As an application, we generalize Breuil's $\mathscr{L}$-invariants for $\mathrm{GL}_2(\mathbb{Q}_p)$ and Schraen's higher $\mathscr{L}$-invariants for $\mathrm{GL}_3(\mathbb{Q}_p)$ to $\mathrm{GL}_n(K)$. Along the way, we also establish a generalization of Bernstein--Zelevinsky geometric lemma to admissible locally analytic representations constructed by Orlik--Strauch, generalizing a result in Schraen's thesis for $\mathrm{GL}_3(\mathbb{Q}_p)$.


title: Chiral current induced by torsional Weyl anomaly

abstract: Torsion can be realized as dislocation in the crystal lattice of material. It is particularly interesting if the material has fermions in the spectrum, such as graphene, topological insulators, Dirac and Weyl semimetals, as it's transport properties can be affected by the torsion. In this paper, we find that, due to Weyl anomaly, torsion in Dirac and Weyl semimetals can induce novel chiral currents, either near a boundary or in a ``conformally flat space''. We briefly discuss how to measure this interesting effect in experiment. It is remarkable that these experiments can help to clarify the theoretical controversy of whether an imaginary Pontryagin density could appear in the Weyl anomaly.


title: Generalizing Bayesian Optimization with Decision-theoretic Entropies

abstract: Bayesian optimization (BO) is a popular method for efficiently inferring optima of an expensive black-box function via a sequence of queries. Existing information-theoretic BO procedures aim to make queries that most reduce the uncertainty about optima, where the uncertainty is captured by Shannon entropy. However, an optimal measure of uncertainty would, ideally, factor in how we intend to use the inferred quantity in some downstream procedure. In this paper, we instead consider a generalization of Shannon entropy from work in statistical decision theory (DeGroot 1962, Rao 1984), which contains a broad class of uncertainty measures parameterized by a problem-specific loss function corresponding to a downstream task. We first show that special cases of this entropy lead to popular acquisition functions used in BO procedures such as knowledge gradient, expected improvement, and entropy search. We then show how alternative choices for the loss yield a flexible family of acquisition functions that can be customized for use in novel optimization settings. Additionally, we develop gradient-based methods to efficiently optimize our proposed family of acquisition functions, and demonstrate strong empirical performance on a diverse set of sequential decision making tasks, including variants of top-$k$ optimization, multi-level set estimation, and sequence search.


title: Toward Edge-Efficient Dense Predictions with Synergistic Multi-Task Neural Architecture Search

abstract: In this work, we propose a novel and scalable solution to address the challenges of developing efficient dense predictions on edge platforms. Our first key insight is that MultiTask Learning (MTL) and hardware-aware Neural Architecture Search (NAS) can work in synergy to greatly benefit on-device Dense Predictions (DP). Empirical results reveal that the joint learning of the two paradigms is surprisingly effective at improving DP accuracy, achieving superior performance over both the transfer learning of single-task NAS and prior state-of-the-art approaches in MTL, all with just 1/10th of the computation. To the best of our knowledge, our framework, named EDNAS, is the first to successfully leverage the synergistic relationship of NAS and MTL for DP. Our second key insight is that the standard depth training for multi-task DP can cause significant instability and noise to MTL evaluation. Instead, we propose JAReD, an improved, easy-to-adopt Joint Absolute-Relative Depth loss, that reduces up to 88% of the undesired noise while simultaneously boosting accuracy. We conduct extensive evaluations on standard datasets, benchmark against strong baselines and state-of-the-art approaches, as well as provide an analysis of the discovered optimal architectures.


title: Diode Like Attributes in Magnetic Domain Wall Devices via Geometrical Pinning for Neuromorphic Computing

abstract: Neuromorphic computing (NC) is considered as a potential vehicle for implementing energy-efficient artificial intelligence (AI). To realize NC, several materials systems are being investigated. Among them, the spin-orbit torque (SOT) -driven domain wall (DW) devices are one of the potential candidates. To implement these devices as neurons and synapses, the building blocks of NC, researchers have proposed different device designs. However, the experimental realization of DW device-based NC is only at the primeval stage. In this study, we have proposed and investigated pine-tree-shaped DW devices, based on the Laplace force on the elastic DWs, for achieving the synaptic functionalities. We have successfully observed multiple magnetization states when the DW was driven by the SOT current. The key observation is the asymmetric pinning strength of the device when DW moves in two opposite directions (defined as, xhard and xeasy). This shows the potential of these DW devices as DW diodes. We have used micromagnetic simulations to understand the experimental findings and to estimate the Laplace pressure for various design parameters. The study leads to the path of device fabrication, where synaptic properties are achieved with asymmetric pinning potential.


title: Sensitivities for coherent elastic scattering of solar and supernova neutrinos with future NaI(Tl) dark matter search detectors of COSINE-200/1T

abstract: We investigate the prospects for measuring the coherent elastic neutrino-nucleus scattering of solar and supernova neutrinos in future NaI(Tl) dark matter detection experiments. Considering the reduced background and improved light yield of the recently developed NaI(Tl) crystals, more than 3$\sigma$ observation sensitivities of the supernova neutrino within the Milky Way are demonstrated. In the case of the solar neutrino, approximately 3 observations are marginal with a 1 ton NaI(Tl) experiment assuming an order of magnitude reduced background, five photoelectron thresholds, and 5-year data exposure.


title: Generalized Hukuhara Weak Subdifferential and its Application on Identifying Optimality Conditions for Nonsmooth Interval-valued Functions

abstract: In this article, we introduce the idea of $gH$-weak subdifferential for interval-valued functions (IVFs) and show how to calculate $gH$-weak subgradients. It is observed that a nonempty $gH$-weak subdifferential set is closed and convex. In characterizing the class of functions for which the $gH$-weak subdifferential set is nonempty, it is identified that this class is the collection of $gH$-lower Lipschitz IVFs. In checking the validity of sum rule of $gH$-weak subdifferential for a pair of IVFs, a counterexample is obtained, which reflects that the sum rule does not hold. However, under a mild restriction on one of the IVFs, one-sided inclusion for the sum rule holds. Next, as applications, we employ $gH$-weak subdifferential to provide a few optimality conditions for nonsmooth IVFs. Further, a necessary optimality condition for interval optimization problems with difference of two nonsmooth IVFs as objective is established. Lastly, a necessary and sufficient condition via augmented normal cone and $gH$-weak subdifferential of IVFs for finding weak efficient point is presented.


title: Master Equation Emulation and Coherence Preservation with Classical Control of a Superconducting Qubit

abstract: Open quantum systems are a topic of intense theoretical research. The use of master equations to model a system's evolution subject to an interaction with an external environment is one of the most successful theoretical paradigms. General experimental tools to study different open system realizations have been limited, and so it is highly desirable to develop experimental tools which emulate diverse master equation dynamics and give a way to test open systems theories. In this paper we demonstrate a systematic method for engineering specific system-environment interactions and emulating master equations of a particular form using classical stochastic noise. We also demonstrate that non-Markovian noise can be used as a resource to extend the coherence of a quantum system and counteract the adversarial effects of Markovian environments.


title: Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications

abstract: The generation and verification of quantum states are fundamental tasks for quantum information processing that have recently been investigated by Irani, Natarajan, Nirkhe, Rao and Yuen [CCC 2022], Rosenthal and Yuen [ITCS 2022], Metger and Yuen [FOCS 2023] under the term \emph{state synthesis}. This paper studies this concept from the viewpoint of quantum distributed computing, and especially distributed quantum Merlin-Arthur (dQMA) protocols. We first introduce a novel task, on a line, called state generation with distributed inputs (SGDI). In this task, the goal is to generate the quantum state $U\ket{\psi}$ at the rightmost node of the line, where $\ket{\psi}$ is a quantum state given at the leftmost node and $U$ is a unitary matrix whose description is distributed over the nodes of the line. We give a dQMA protocol for SGDI and utilize this protocol to construct a dQMA protocol for the Set Equality problem studied by Naor, Parter and Yogev [SODA 2020], and complement our protocol by showing classical lower bounds for this problem. Our second contribution is a dQMA protocol, based on a recent work by Zhu and Hayashi [Physical Review A, 2019], to create EPR-pairs between adjacent nodes of a network without quantum communication. As an application of this dQMA protocol, we prove a general result showing how to convert any dQMA protocol on an arbitrary network into another dQMA protocol where the verification stage does not require any quantum communication.


title: Distributed Quantum Interactive Proofs

abstract: The study of distributed interactive proofs was initiated by Kol, Oshman, and Saxena [PODC 2018] as a generalization of distributed decision mechanisms (proof-labeling schemes, etc.), and has received a lot of attention in recent years. In distributed interactive proofs, the nodes of an $n$-node network $G$ can exchange short messages (called certificates) with a powerful prover. The goal is to decide if the input (including $G$ itself) belongs to some language, with as few turns of interaction and as few bits exchanged between nodes and the prover as possible. There are several results showing that the size of certificates can be reduced drastically with a constant number of interactions compared to non-interactive distributed proofs. In this paper, we introduce the quantum counterpart of distributed interactive proofs: certificates can now be quantum bits, and the nodes of the network can perform quantum computation. The first result of this paper shows that by using quantum distributed interactive proofs, the number of interactions can be significantly reduced. More precisely, our result shows that for any constant~$k$, the class of languages that can be decided by a $k$-turn classical (i.e., non-quantum) distributed interactive protocol with $f(n)$-bit certificate size is contained in the class of languages that can be decided by a $5$-turn distributed quantum interactive protocol with $O(f(n))$-bit certificate size. We also show that if we allow to use shared randomness, the number of turns can be reduced to 3-turn. Since no similar turn-reduction \emph{classical} technique is currently known, our result gives evidence of the power of quantum computation in the setting of distributed interactive proofs as well.


title: Bridged Transformer for Vision and Point Cloud 3D Object Detection

abstract: 3D object detection is a crucial research topic in computer vision, which usually uses 3D point clouds as input in conventional setups. Recently, there is a trend of leveraging multiple sources of input data, such as complementing the 3D point cloud with 2D images that often have richer color and fewer noises. However, due to the heterogeneous geometrics of the 2D and 3D representations, it prevents us from applying off-the-shelf neural networks to achieve multimodal fusion. To that end, we propose Bridged Transformer (BrT), an end-to-end architecture for 3D object detection. BrT is simple and effective, which learns to identify 3D and 2D object bounding boxes from both points and image patches. A key element of BrT lies in the utilization of object queries for bridging 3D and 2D spaces, which unifies different sources of data representations in Transformer. We adopt a form of feature aggregation realized by point-to-patch projections which further strengthen the correlations between images and points. Moreover, BrT works seamlessly for fusing the point cloud with multi-view images. We experimentally show that BrT surpasses state-of-the-art methods on SUN RGB-D and ScanNetV2 datasets.


title: Collaborative knowledge exchange promotes innovation

abstract: Considering collaborative patent development, we provide micro-level evidence for innovation through exchanges of differentiated knowledge. Knowledge embodied in a patent is proxied by word pairs appearing in its abstract, while novelty is measured by the frequency with which these word pairs have appeared in past patents. Inventors are assumed to possess the knowledge associated with patents in which they have previously participated. We find that collaboration by inventors with more mutually differentiated knowledge sets is likely to result in patents with higher novelty.


title: Perturbative Unitarity of Strongly Interacting Massive Particle Models

abstract: Dark pion is a promising candidate for the strongly interacting massive particle dark matter. A large pion self-coupling $m_\pi/f_\pi$ tends to be required for correct relic abundance, and hence the partial-wave amplitudes can violate the perturbative unitarity even for the coupling within na\"ive perturbative regime. We improve the partial-wave amplitudes in order to satisfy the optical theorem. We demonstrate that the improvement is relevant only for semi-relativistic pions, and thus this does not affect the self-scattering cross section at the cosmic structures. We also discuss the impact of the improvement of the $\pi \pi \pi \to \pi \pi$ scattering process, and we find that there is an upper bound on $m_\pi$ at which the correct relic abundance is never achieved even at large $m_\pi/f_\pi$ due to the optical theorem.


title: Material Properties of Organic Liquids, Ices, and Hazes on Titan

abstract: Titan has a diverse range of materials in its atmosphere and on its surface: the simple organics that reside in various phases (gas, liquid, ice) and the solid complex refractory organics that form Titan's haze layers. These materials all actively participate in various physical processes on Titan, and many material properties are found to be important in shaping these processes. Future in-situ exploration on Titan would likely encounter a range of materials, and a comprehensive database to archive the material properties of all possible material candidates will be needed. Here we summarize several important material properties of the organic liquids, ices, and the refractory hazes on Titan that are available in the literature and/or that we have computed. These properties include thermodynamic properties (phase change points, sublimation and vaporization saturation vapor pressure, and latent heat), physical property (density), and surface properties (liquid surface tensions and solid surface energies). We have developed a new database to provide a repository for these data and make them available to the science community. These data can be used as inputs for various theoretical models to interpret current and future remote sensing and in-situ atmospheric and surface measurements on Titan. The material properties of the simple organics may also be applicable to giant planets and icy bodies in the outer solar system, interstellar medium, protoplanetary disks, and exoplanets.


title: Nonpositive Towers in Bing's Neighbourhood

abstract: Every 2-dimensional spine of an aspherical 3-manifold has the nonpositive towers property, but every collapsed 2-dimensional spine of a 3-ball containing a 2-cell has an immersed sphere.


title: Class field theory, Hasse principles and Picard-Brauer duality for two-dimensional local rings

abstract: We draw concrete consequences from our arithmetic duality for two-dimensional local rings with perfect residue field. These consequences include class field theory, Hasse principles for coverings and $K_{2}$ and a duality between divisor class groups and Brauer groups. To obtain these, we analyze the ind-pro-algebraic group structures on arithmetic cohomology obtained earlier and prove some finiteness properties about them.


title: Vector bundles on fuzzy K\"{a}hler manifolds

abstract: We propose a matrix regularization of vector bundles over a general closed K\"ahler manifold. This matrix regularization is given as a natural generalization of the Berezin-Toeplitz quantization and gives a map from sections of a vector bundle to matrices. We examine the asymptotic behaviors of the map in the large-$N$ limit. For vector bundles with algebraic structure, we derive a beautiful correspondence of the algebra of sections and the algebra of corresponding matrices in the large-$N$ limit. We give two explicit examples for monopole bundles over a complex projective space $CP^n$ and a torus $T^{2n}$.


title: Learning Deep Nets for Gravitational Dynamics with Unknown Disturbance through Physical Knowledge Distillation: Initial Feasibility Study

abstract: Learning high-performance deep neural networks for dynamic modeling of high Degree-Of-Freedom (DOF) robots remains challenging due to the sampling complexity. Typical unknown system disturbance caused by unmodeled dynamics (such as internal compliance, cables) further exacerbates the problem. In this paper, a novel framework characterized by both high data efficiency and disturbance-adapting capability is proposed to address the problem of modeling gravitational dynamics using deep nets in feedforward gravity compensation control for high-DOF master manipulators with unknown disturbance. In particular, Feedforward Deep Neural Networks (FDNNs) are learned from both prior knowledge of an existing analytical model and observation of the robot system by Knowledge Distillation (KD). Through extensive experiments in high-DOF master manipulators with significant disturbance, we show that our method surpasses a standard Learning-from-Scratch (LfS) approach in terms of data efficiency and disturbance adaptation. Our initial feasibility study has demonstrated the potential of outperforming the analytical teacher model as the training data increases.


title: Quantum-geometry-induced anapole superconductivity

abstract: Anapole superconductivity recently proposed for multiband superconductors Commun. Phys. $\bm 5$, 39\ (2022) (at https://www.nature.com/articles/s42005-022-00804-7) is a key feature of time-reversal ($\mathcal{T}$)-symmetry-broken polar superconductors. The anapole moment was shown to arise from the asymmetric Bogoliubov spectrum, which induces a finite center of mass momenta of Cooper pairs at the zero magnetic field. In this paper, we show an alternative mechanism of anapole superconductivity: the quantum geometry induces the anapole moment when the interband pairing and Berry connection are finite. Thus, the anapole superconductivity is a ubiquitous feature of $\mathcal{T}$-broken multiband polar superconductors. Applying the theory to a minimal model of UTe$_2$, we demonstrate the quantum-geometry-induced anapole superconductivity. Furthermore, we show the Bogoliubov Fermi surfaces (BFS) in an anapole superconducting state and predict an unusual temperature dependence of BFS due to the quantum geometry. Experimental verification of these phenomena may clarify the superconducting state in UTe$_2$ and reveal the ubiquitous importance of quantum geometry in exotic superconductors.


title: Linear Convergence of Natural Policy Gradient Methods with Log-Linear Policies

abstract: We consider infinite-horizon discounted Markov decision processes and study the convergence rates of the natural policy gradient (NPG) and the Q-NPG methods with the log-linear policy class. Using the compatible function approximation framework, both methods with log-linear policies can be written as inexact versions of the policy mirror descent (PMD) method. We show that both methods attain linear convergence rates and $\tilde{\mathcal{O}}(1/\epsilon^2)$ sample complexities using a simple, non-adaptive geometrically increasing step size, without resorting to entropy or other strongly convex regularization. Lastly, as a byproduct, we obtain sublinear convergence rates for both methods with arbitrary constant step size.


title: Spanning tree methods for sampling graph partitions

abstract: In the last decade, computational approaches to graph partitioning have made a major impact in the analysis of political redistricting, including in U.S. courts of law. Mathematically, a districting plan can be viewed as a balanced partition of a graph into connected subsets. Examining a large sample of valid alternative districting plans can help us recognize gerrymandering against an appropriate neutral baseline. One algorithm that is widely used to produce random samples of districting plans is a Markov chain called recombination (or ReCom), which repeatedly fuses adjacent districts, forms a spanning tree of their union, and splits that spanning tree with a balanced cut to form new districts. One drawback is that this chain's stationary distribution has no known closed form when there are three or more districts. In this paper, we modify ReCom slightly to give it a property called reversibility, resulting in a new Markov chain, RevReCom. This new chain converges to the simple, natural distribution that ReCom was originally designed to approximate: a plan's stationary probability is proportional to the product of the number of spanning trees of each district. This spanning tree score is a measure of district "compactness" (or shape) that is also aligned with notions of community structure from network science. After deriving the steady state formally, we present diagnostic evidence that the convergence is efficient enough for the method to be practically useful, giving high-quality samples for full-sized problems within several hours. In addition to the primary application of benchmarking of redistricting plans (i.e., describing a normal range for statistics), this chain can also be used to validate other methods that target the spanning tree distribution.


title: Streaming Video Analytics On The Edge With Asynchronous Cloud Support

abstract: Emerging Internet of Things (IoT) and mobile computing applications are expected to support latency-sensitive deep neural network (DNN) workloads. To realize this vision, the Internet is evolving towards an edge-computing architecture, where computing infrastructure is located closer to the end device to help achieve low latency. However, edge computing may have limited resources compared to cloud environments and thus, cannot run large DNN models that often have high accuracy. In this work, we develop REACT, a framework that leverages cloud resources to execute large DNN models with higher accuracy to improve the accuracy of models running on edge devices. To do so, we propose a novel edge-cloud fusion algorithm that fuses edge and cloud predictions, achieving low latency and high accuracy. We extensively evaluate our approach and show that our approach can significantly improve the accuracy compared to baseline approaches. We focus specifically on object detection in videos (applicable in many video analytics scenarios) and show that the fused edge-cloud predictions can outperform the accuracy of edge-only and cloud-only scenarios by as much as 50%. We also show that REACT can achieve good performance across tradeoff points by choosing a wide range of system parameters to satisfy use-case specific constraints, such as limited network bandwidth or GPU cycles.


title: Polychromatic neutron phase contrast imaging of weakly absorbing samples enabled by phase retrieval

abstract: We demonstrate the use of a phase retrieval technique for propagation-based phase contrast neutron imaging with a polychromatic beam. This enables imaging samples with low absorption contrast and/or improving the signal-to-noise ratio to facilitate e.g. time resolved measurements. A metal sample, designed to be close to a pure phase object, and a bone sample with canals partially filled with D2O were used for demonstrating the technique. These samples were imaged with a polychromatic neutron beam followed by phase retrieval. For both samples the signal-to-noise ratio were significantly improved and in case of the bone sample, the phase retrieval allowed for separation of bone and D2O, which is important for example for in situ flow experiments. The use of deuteration-contrast avoids the use of chemical contrast enhancement and makes neutron imaging an interesting complementary method to X-ray imaging of bone.


title: An introduction to the categorical p-adic Langlands program

abstract: We give an introduction to the "categorical" approach to the p-adic Langlands program, in both the "Banach" and "analytic" settings.


title: Nonlinear stability of sinusoidal Euler flows on a flat two-torus

abstract: Sinusoidal flows are an important class of explicit stationary solutions of the two-dimensional incompressible Euler equations on a flat torus. For such flows, the steam functions are eigenfunctions of the negative Laplacian. In this paper, we prove that any sinusoidal flow related to some least eigenfunction is, up to phase translations, nonlinearly stable under $L^p$ norm of the vorticity for any $1<p<+\infty$, which improves a classical stability result by Arnold based on the energy-Casimir method. The key point of the proof is to distinguish least eigenstates with fixed amplitude from others by using isovortical property of the Euler equations.


title: Open-source High-precision Autonomous Suturing Framework With Visual Guidance

abstract: Autonomous surgery has attracted increasing attention for revolutionizing robotic patient care, yet remains a distant and challenging goal. In this paper, we propose an image-based framework for high-precision autonomous suturing operation. We first build an algebraic geometric algorithm to achieve accurate needle pose estimation, then design the corresponding keypoint-based calibration network for joint-offset compensation, and further plan and control suture trajectory. Our solution ranked first among all competitors in the AccelNet Surgical Robotics Challenge. Videos and codes can be found in https://sites.google.com/view/accel-2022-cuhk.


title: Homotopy-based training of NeuralODEs for accurate dynamics discovery

abstract: Neural Ordinary Differential Equations (NeuralODEs) present an attractive way to extract dynamical laws from time series data, as they bridge neural networks with the differential equation-based modeling paradigm of the physical sciences. However, these models often display long training times and suboptimal results, especially for longer duration data. While a common strategy in the literature imposes strong constraints to the NeuralODE architecture to inherently promote stable model dynamics, such methods are ill-suited for dynamics discovery as the unknown governing equation is not guaranteed to satisfy the assumed constraints. In this paper, we develop a new training method for NeuralODEs, based on synchronization and homotopy optimization, that does not require changes to the model architecture. We show that synchronizing the model dynamics and the training data tames the originally irregular loss landscape, which homotopy optimization can then leverage to enhance training. Through benchmark experiments, we demonstrate our method achieves competitive or better training loss while often requiring less than half the number of training epochs compared to other model-agnostic techniques. Furthermore, models trained with our method display better extrapolation capabilities, highlighting the effectiveness of our method.


title: Selection by Prediction with Conformal p-values

abstract: Decision making or scientific discovery pipelines such as job hiring and drug discovery often involve multiple stages: before any resource-intensive step, there is often an initial screening that uses predictions from a machine learning model to shortlist a few candidates from a large pool. We study screening procedures that aim to select candidates whose unobserved outcomes exceed user-specified values. We develop a method that wraps around any prediction model to produce a subset of candidates while controlling the proportion of falsely selected units. Building upon the conformal inference framework, our method first constructs p-values that quantify the statistical evidence for large outcomes; it then determines the shortlist by comparing the p-values to a threshold introduced in the multiple testing literature. In many cases, the procedure selects candidates whose predictions are above a data-dependent threshold. Our theoretical guarantee holds under mild exchangeability conditions on the samples, generalizing existing results on multiple conformal p-values. We demonstrate the empirical performance of our method via simulations, and apply it to job hiring and drug discovery datasets.


title: Sub-millimetre wave range-Doppler radar as a diagnostic tool for gas-solids systems -- solids concentration measurements

abstract: Current non-intrusive measurement techniques for characterising the solids flow in gas-solids suspensions are limited by the low temporal or low spatial resolution of the sample volume, or in the case of optical methods, by a short range of sight. In this work, a sub-millimetre wave range-Doppler radar is developed and validated for non-intrusive sensing of solids concentrations in a gas-solids particle system with known characteristics. The radar system combines favourable features, such as the ability to see through at optical frequencies opaque materials, to measure the local solids velocity and the reflected radar power with a spatial resolution of a few cubic centimetres over distances of a few metres. This paper introduces a method to relate the received radar signal power to the solids volumetric concentrations (cv) of different particulate materials. The experimental set-up provides a steady stream of free-falling solids that consist of glass spheres, bronze spheres or natural sand grains with known particle size distributions and with particle diameters in the range of 50-300 $\mu$m. Thus, the values of cv found using the radar measurements are validated using the values of cv retrieved from closure of the mass balance derived from the measured mass flow rate of the solids stream and the solids velocity. The results show that the radar system provides reliable measurements of cv, with a mean relative error of approximately 25% for all the tested materials, particle sizes and mass flow rates, yielding values of cv ranging from 0.2x10$^{-4}$ m$^{3}$/ m$^{3}$ up to 40x10$^{-4}$ m$^{3}$/ m$^{3}$ and solids velocities within the range of 0-4.5 m/s. This demonstrates the ability of the radar technology to diagnose the solids flow in gas-solids suspensions using a unique combination of penetration length, accuracy, and spatial and velocity resolution.


title: EdgeFaaS: A Function-based Framework for Edge Computing

abstract: The rapid growth of data generated from Internet of Things (IoTs) such as smart phones and smart home devices presents new challenges to cloud computing in transferring, storing, and processing the data. With increasingly more powerful edge devices, edge computing, on the other hand, has the potential to better responsiveness, privacy, and cost efficiency. However, resources across the cloud and edge are highly distributed and highly diverse. To address these challenges, this paper proposes EdgeFaaS, a Function-as-a-Service (FaaS) based computing framework that supports the flexible, convenient, and optimized use of distributed and heterogeneous resources across IoT, edge, and cloud systems. EdgeFaaS allows cluster resources and individual devices to be managed under the same framework and provide computational and storage resources for functions. It provides virtual function and virtual storage interfaces for consistent function management and storage management across heterogeneous compute and storage resources. It automatically optimizes the scheduling of functions and placement of data according to their performance and privacy requirements. EdgeFaaS is evaluated based on two edge workflows: video analytics workflow and federated learning workflow, both of which are representative edge applications and involve large amounts of input data generated from edge devices.


title: Higher-Order Asymptotic Properties of Kernel Density Estimator with Global Plug-In and Its Accompanying Pilot Bandwidth

abstract: This study investigates the effect of bandwidth selection via a plug-in method on the asymptotic structure of the nonparametric kernel density estimator. We generalise the result of Hall and Kang (2001) and find that the plug-in method has no effect on the asymptotic structure of the estimator up to the order of $O\{(nh_0)^{-1/2}+h_0^L\}=O(n^{-L/(2L+1)})$ for a bandwidth $h_0$ and any kernel order $L$ when the kernel order for pilot estimation $L_p$ is high enough. We also provide the valid Edgeworth expansion up to the order of $O\{(nh_0)^{-1}+h_0^{2L}\}$ and find that, as long as the $L_p$ is high enough , the plug-in method has an effect from on the term whose convergence rate is $O\{(nh_0)^{-1/2}h_0+h_0^{L+1}\}=O(n^{-(L+1)/(2L+1)})$. In other words, we derive the exact achievable convergence rate of the deviation between the distribution functions of the estimator with a deterministic bandwidth and with the plug-in bandwidth. In addition, we weaken the conditions on kernel order $L_p$ for pilot estimation by considering the effect of pilot bandwidth associated with the plug-in bandwidth. We also show that the bandwidth selection via the global plug-in method possibly has an effect on the asymptotic structure even up to the order of $O\{(nh_0)^{-1/2}+h_0^L\}$. Finally, Monte Carlo experiments are conducted to see whether our approximation improves previous results.


title: SLOT-V: Supervised Learning of Observer Models for Legible Robot Motion Planning in Manipulation

abstract: We present SLOT-V, a novel supervised learning framework that learns observer models (human preferences) from robot motion trajectories in a legibility context. Legibility measures how easily a (human) observer can infer the robot's goal from a robot motion trajectory. When generating such trajectories, existing planners often rely on an observer model that estimates the quality of trajectory candidates. These observer models are frequently hand-crafted or, occasionally, learned from demonstrations. Here, we propose to learn them in a supervised manner using the same data format that is frequently used during the evaluation of aforementioned approaches. We then demonstrate the generality of SLOT-V using a Franka Emika in a simulated manipulation environment. For this, we show that it can learn to closely predict various hand-crafted observer models, i.e., that SLOT-V's hypothesis space encompasses existing handcrafted models. Next, we showcase SLOT-V's ability to generalize by showing that a trained model continues to perform well in environments with unseen goal configurations and/or goal counts. Finally, we benchmark SLOT-V's sample efficiency (and performance) against an existing IRL approach and show that SLOT-V learns better observer models with less data. Combined, these results suggest that SLOT-V can learn viable observer models. Better observer models imply more legible trajectories, which may - in turn - lead to better and more transparent human-robot interaction.


title: Tikhonov Regularization is Optimal Transport Robust under Martingale Constraints

abstract: Distributionally robust optimization has been shown to offer a principled way to regularize learning models. In this paper, we find that Tikhonov regularization is distributionally robust in an optimal transport sense (i.e., if an adversary chooses distributions in a suitable optimal transport neighborhood of the empirical measure), provided that suitable martingale constraints are also imposed. Further, we introduce a relaxation of the martingale constraints which not only provides a unified viewpoint to a class of existing robust methods but also leads to new regularization tools. To realize these novel tools, tractable computational algorithms are proposed. As a byproduct, the strong duality theorem proved in this paper can be potentially applied to other problems of independent interest.


title: Speed-Adaptive Model-Free Lateral Control for Automated Cars

abstract: In order to increase the number of situations in which an intelligent vehicle can operate without human intervention, lateral control is required to accurately guide it in a reference trajectory regardless of the shape of the road or the longitudinal speed. Some studies address this problem by tuning a controller for low and high speeds and including an output adaptation law. In this paper, a strategy framed in the Model-Free Control paradigm is presented to laterally control the vehicle over a wide speed range. Tracking quality, system stability and passenger comfort are thoroughly analyzed and compared to similar control structures. The results obtained both in simulation and with a real vehicle show that the developed strategy tracks a large number of trajectories with high degree of accuracy, safety and comfort.


title: Late-time correlation functions in dS$_3$/CFT$_2$ correspondence

abstract: We compute the late-time correlation functions on three-dimensional de Sitter spacetime for a higher-spin gravity theory. For this, we elaborate on the formulation to obtain the wave functional of universe from a dual conformal field theory, which is used to compute the late-time correlation functions. We argue that the relation to direct bulk Feynman diagram computations in the in-in formulation. We furthermore provide a precise prescription to construct a higher-spin dS$_3$ holography as an analytic continuation of Gaberdiel-Gopakumar duality for AdS$_3$. Part of results here were already reported in an earlier letter. We explain the details of their derivations and extend the analysis to more generic cases in this paper. Previously, we have examined two- and three-point functions and a simple four-point correlator at the leading order in Newton constant. Here we also evaluate more complicated four-point correlators. Finally, we study late-time correlators in an alternative limit of dS$_3$/CFT$_2$ with critical level coset, such as, two-point correlator on conical defect geometry. We also examine one-loop corrections to two-point correlator on dS$_3$.


title: Complete pluripolar sets and removable singularities of plurisubharmonic functions

abstract: Inspired by Chen-Wu-Wang (Math. Ann. 362: 305--319, 2015), we prove a Hartogs type extension theorem for plurisubharmonic functions across a compact complete pluripolar set, which is complementary to a classical theorem of Shiffman.


title: The impacts of solar wind on the Martian upper atmosphere

abstract: Since the first in-situ measurements of the altitude profile of upper atmospheric density and composition were carried out by the Viking lander missions in 1976, similar data are continuously gathered by MAVEN and MOM spacecraft orbiting Mars since their launch in September 2014 with mass spectrometers and other related payloads. Using near-simultaneous observations by the two orbiters, it is seen that both data sets indicate significant day-to-day variations of Argon density profiles in the thermosphere-exosphere, 150-300 km region, during the period 1-15, June 2018, when the solar EUV radiation did not show any appreciable change but the solar wind energetic particle fluxes did so. Extending this study to include the other parent atmospheric constituents carbon dioxide, helium, nitrogen and their photochemical products atomic oxygen, and carbon monoxide during the same period it is found that the density profiles of carbon dioxide and atomic oxygen also show similar variations with carbon dioxide densities showing an increasing trend similar to Argon, but a reversal of this trend for atomic oxygen densities. Using insitu and near simultaneous measurements of solar EUV fluxes and the solar wind plasma velocities and densities near MAVEN periapsis it is noted that, unlike the solar EUV radiation, solar wind parameters showed a decrease by a factor of 2-3. Hence, it is inferred that the energetic and penetrating solar wind charged particle impact-driven dissociation, ionisation and ion-chemical processes could decrease the carbon dioxide densities leading to an increase in atomic oxygen densities. This result is also discussed from the considerations of the proton gyro radius effect, pickup ions, sputtering, energetic neutral atoms driven ionisation and ion losses. Further data and modelling efforts would be necessary to confirm this finding.


title: The spin-flop transition in the quasi two dimensional antiferromagnet MnPS3 detected via thermally generated magnon transport

abstract: We present the detection of the spin-flop transition in the antiferromagnetic van der Waals material MnPS3 via thermally generated nonlocal magnon transport using permalloy detector strips. The inverse anomalous spin Hall effect has the unique power to detect an out-of-plane spin accumulation which enables us to detect magnons with an out-of-plane spin polarization; in contrast to strips of high spin-orbit material such as Pt which only possess the spin Hall effect and are only sensitive to an in-plane spin polarization of the spin accumulation. We show that nonlocal magnon transport is able to measure the spin-flop transition in the absence of other spurious effects. Our measurements show the detection of magnons generated by the spin Seebeck effect before and after the spin-flop transition where the signal reversal of the magnon spin accumulation agrees with the OOP spin polarization carried by magnon modes before and after the SF transition.


title: Dynamic image recognition in a spiking neuron network supplied by astrocytes

abstract: Mathematical model of spiking neuron network (SNN) supplied by astrocytes is investigated. The astrocytes are specific type of brain cells which are not electrically excitable but inducing chemical modulations of neuronal firing. We analyzed how the astrocytes influence on images encoded in the form of dynamic spiking pattern of the SNN. Serving at much slower time scale the astrocytic network interacting with the spiking neurons can remarkably enhance the image recognition quality. Spiking dynamics was affected by noise distorting the information image. We demonstrated that the activation of astrocyte can significantly suppress noise influence improving dynamic image representation by the SNN.


title: On the nature of rotation in the Praesepe cluster

abstract: Although a large number of Galactic open clusters (OCs) have been identified, the internal kinematic properties (e.g., rotation) of almost all the known OCs are still far from clear. With the high-precision astrometric data of Gaia EDR3, we have developed a methodology to unveil the rotational properties of the Praesepe cluster. Statistics of the three-dimensional residual motions of the member stars reveal the presence of Praesepe's rotation and determine its spatial rotation axis. The mean rotation velocity of the Praesepe cluster within its tidal radius is estimated to be 0.2 $\pm$ 0.05 km s$^{-1}$, and the corresponding rotation axis is tilted in relation to the Galactic plane with an angle of 41 $\pm$ 12 degree. We also analysed the rms rotational velocity of the member stars around the rotation axis, and found that the rotation of the member stars within the tidal radius of Praesepe probably follows the Newton's classical theorems.


title: Learning of Dynamical Systems under Adversarial Attacks -- Null Space Property Perspective

abstract: We study the identification of a linear time-invariant dynamical system affected by large-and-sparse disturbances modeling adversarial attacks or faults. Under the assumption that the states are measurable, we develop necessary and sufficient conditions for the recovery of the system matrices by solving a constrained lasso-type optimization problem. In addition, we provide an upper bound on the estimation error whenever the disturbance sequence is a combination of small noise values and large adversarial values. Our results depend on the null space property that has been widely used in the lasso literature, and we investigate under what conditions this property holds for linear time-invariant dynamical systems. Lastly, we further study the conditions for a specific probabilistic model and support the results with numerical experiments.


title: Time-Varying Propensity Score to Bridge the Gap between the Past and Present

abstract: Real-world deployment of machine learning models is challenging because data evolves over time. While no model can work when data evolves in an arbitrary fashion, if there is some pattern to these changes, we might be able to design methods to address it. This paper addresses situations when data evolves gradually. We introduce a time-varying propensity score that can detect gradual shifts in the distribution of data which allows us to selectively sample past data to update the model -- not just similar data from the past like that of a standard propensity score but also data that evolved in a similar fashion in the past. The time-varying propensity score is quite general: we demonstrate different ways of implementing it and evaluate it on a variety of problems ranging from supervised learning (e.g., image classification problems) where data undergoes a sequence of gradual shifts, to reinforcement learning tasks (e.g., robotic manipulation and continuous control) where data shifts as the policy or the task changes.


title: Using Deep Reinforcement Learning for mmWave Real-Time Scheduling

abstract: We study the problem of real-time scheduling in a multi-hop millimeter-wave (mmWave) mesh. We develop a model-free deep reinforcement learning algorithm called Adaptive Activator RL (AARL), which determines the subset of mmWave links that should be activated during each time slot and the power level for each link. The most important property of AARL is its ability to make scheduling decisions within the strict time slot constraints of typical 5G mmWave networks. AARL can handle a variety of network topologies, network loads, and interference models, it can also adapt to different workloads. We demonstrate the operation of AARL on several topologies: a small topology with 10 links, a moderately-sized mesh with 48 links, and a large topology with 96 links. We show that for each topology, we compare the throughput obtained by AARL to that of a benchmark algorithm called RPMA (Residual Profit Maximizer Algorithm). The most important advantage of AARL compared to RPMA is that it is much faster and can make the necessary scheduling decisions very rapidly during every time slot, while RPMA cannot. In addition, the quality of the scheduling decisions made by AARL outperforms those made by RPMA.


title: The endomorphism ring of the trivial module in a localized category

abstract: Suppose that $G$ is a finite group and $k$ is a field of characteristic $p >0$. Let $\mathcal{M}$ be the thick tensor ideal of finitely generated modules whose support variety is in a fixed subvariety $V$ of the projectivized prime ideal spectrum $\operatorname{Proj} \operatorname{H}^*(G,k)$. Let $\mathcal{C}$ denote the Verdier localization of the stable module category $\operatorname{stmod}(kG)$ at $\mathcal{M}$. We show that if $V$ is a finite collection of closed points and if the $p$-rank every maximal elementary abelian $p$-subgroups of $G$ is at least 3, then the endomorphism ring of the trivial module in $\mathcal{C}$ is a local ring whose unique maximal ideal is infinitely generated and nilpotent. In addition, we show an example where the endomorphism ring in $\mathcal{C}$ of a compact object is not finitely presented as a module over the endomorphism ring of the trivial module.


title: Unveiling the Black Box of PLMs with Semantic Anchors: Towards Interpretable Neural Semantic Parsing

abstract: The recent prevalence of pretrained language models (PLMs) has dramatically shifted the paradigm of semantic parsing, where the mapping from natural language utterances to structured logical forms is now formulated as a Seq2Seq task. Despite the promising performance, previous PLM-based approaches often suffer from hallucination problems due to their negligence of the structural information contained in the sentence, which essentially constitutes the key semantics of the logical forms. Furthermore, most works treat PLM as a black box in which the generation process of the target logical form is hidden beneath the decoder modules, which greatly hinders the model's intrinsic interpretability. To address these two issues, we propose to incorporate the current PLMs with a hierarchical decoder network. By taking the first-principle structures as the semantic anchors, we propose two novel intermediate supervision tasks, namely Semantic Anchor Extraction and Semantic Anchor Alignment, for training the hierarchical decoders and probing the model intermediate representations in a self-adaptive manner alongside the fine-tuning process. We conduct intensive experiments on several semantic parsing benchmarks and demonstrate that our approach can consistently outperform the baselines. More importantly, by analyzing the intermediate representations of the hierarchical decoders, our approach also makes a huge step toward the intrinsic interpretability of PLMs in the domain of semantic parsing.


title: Continuous Monte Carlo Graph Search

abstract: Online planning is crucial for high performance in many complex sequential decision-making tasks. Monte Carlo Tree Search (MCTS) employs a principled mechanism for trading off exploration for exploitation for efficient online planning, and it outperforms comparison methods in many discrete decision-making domains such as Go, Chess, and Shogi. Subsequently, extensions of MCTS to continuous domains have been developed. However, the inherent high branching factor and the resulting explosion of the search tree size are limiting the existing methods. To address this problem, we propose Continuous Monte Carlo Graph Search (CMCGS), an extension of MCTS to online planning in environments with continuous state and action spaces. CMCGS takes advantage of the insight that, during planning, sharing the same action policy between several states can yield high performance. To implement this idea, at each time step, CMCGS clusters similar states into a limited number of stochastic action bandit nodes, which produce a layered directed graph instead of an MCTS search tree. Experimental evaluation shows that CMCGS outperforms comparable planning methods in several complex continuous DeepMind Control Suite benchmarks and 2D navigation and exploration tasks with limited sample budgets. Furthermore, CMCGS can be scaled up through parallelization, and it outperforms the Cross-Entropy Method (CEM) in continuous control with learned dynamics models.


title: Accurate Image Restoration with Attention Retractable Transformer

abstract: Recently, Transformer-based image restoration networks have achieved promising improvements over convolutional neural networks due to parameter-independent global interactions. To lower computational cost, existing works generally limit self-attention computation within non-overlapping windows. However, each group of tokens are always from a dense area of the image. This is considered as a dense attention strategy since the interactions of tokens are restrained in dense regions. Obviously, this strategy could result in restricted receptive fields. To address this issue, we propose Attention Retractable Transformer (ART) for image restoration, which presents both dense and sparse attention modules in the network. The sparse attention module allows tokens from sparse areas to interact and thus provides a wider receptive field. Furthermore, the alternating application of dense and sparse attention modules greatly enhances representation ability of Transformer while providing retractable attention on the input image.We conduct extensive experiments on image super-resolution, denoising, and JPEG compression artifact reduction tasks. Experimental results validate that our proposed ART outperforms state-of-the-art methods on various benchmark datasets both quantitatively and visually. We also provide code and models at https://github.com/gladzhang/ART.


title: Particle-settling in iper-viscous liquids and its use for time measurement

abstract: Materials for time measurement represent a new class of functional materials, that can be used to fabricate a variety of devices useful for industrial applications, like for example the shelf-life indicators, solid-state chronometers, compact detonators, etc. Materials for time measurement require to have a continuously self-changing property that vary linearly during the time. The particle-settling phenomenon can be advantageously used to fabricate this type of materials. A theoretical model based on simple fluid-dynamics considerations for Newtonian fluids has been developed to obtain the temporal evolution of the electrical conductance for these materials, in order to verify its linear behaviour.


title: Well-distribution of Polynomial maps on locally compact groups

abstract: Weyl's classical equidistribution theorem states that real-valued polynomial sequences are uniformly distributed modulo 1, unless all non-constant coefficients are rational. A continuous function between two topological groups is called a \emph{polynomial map} of degree at most $d$ if it vanishes under any $d+1$ difference operators. Leibman, and subsequently Green and Tao, formulated and proved equidistribution theorems about polynomial sequences that take values in a nilmanifold. We formulate and prove some general equidistribution theorems regarding polynomial maps from a locally compact group into a compact abelian group.


title: Quantum steering in a star network

abstract: In this work, we will consider the star network scenario where the central party is trusted while all the edge parties (with a number of $n$) are untrusted. Network steering is defined with an $n$ local hidden state model which can be viewed as a special kind of $n$ local hidden variable model. Two different types of sufficient criteria, nonlinear steering inequality and linear steering inequality will be constructed to verify the quantum steering in a star network. Based on the linear steering inequality, how to detect the network steering with a fixed measurement will be discussed.


title: Machine Learning based search for Cataclysmic Variables within Gaia Science Alerts

abstract: Wide-field time domain facilities detect transient events in large numbers through difference imaging. For example, Zwicky Transient Facility produces alerts for hundreds of thousands of transient events per night, a rate set to be dwarfed by the upcoming Vera Rubin Observatory. The automation provided by Machine Learning (ML) is, therefore, necessary to classify these events and select the most interesting sources for follow-up observations. Cataclysmic Variables (CVs) are a transient class that are numerous, bright, and nearby, providing excellent laboratories for the study of accretion and binary evolution. Here we focus on our use of ML to identify CVs from photometric data of transient sources published by the Gaia Science Alerts program (GSA) - a large, easily accessible resource, not fully explored with ML. The use of light curve feature extraction techniques and source metadata from the Gaia survey resulted in a Random Forest model capable of distinguishing CVs from supernovae, Active Galactic Nuclei, and Young Stellar Objects with a 92\% precision score and an 85\% hit rate. Of 13,280 sources within GSA without an assigned transient classification our model predicts the CV class for $\sim$2800. Spectroscopic observations are underway to classify a statistically significant sample of these targets to validate the performance of the model. This work puts us on a path towards the classification of rare CV subtypes from future wide-field surveys such as the Legacy Survey of Space and Time.


title: Fragment Dynamics in Active Asteroid 331P/Gibbs

abstract: We present a dynamical analysis of the fragmented active asteroid 331P/Gibbs. Using archival images taken by the Hubble Space Telescope from 2015 to 2018, we measured the astrometry of the primary and the three brightest (presumably the largest) components. Conventional orbit determination revealed a high-degree of orbital similarity between the components. We then applied a fragmentation model to fit the astrometry, obtaining key parameters including the fragmentation epochs and separation velocities. Our best-fit models show that Fragment B separated from the primary body at a speed of $\sim$1 cm s$^{-1}$ between 2011 April and May, whereas two plausible scenarios were identified for Fragments A and C. The former split either from the primary or from Fragment B, in 2011 mid-June at a speed of $\sim$8 cm s$^{-1}$, and the latter split from Fragment B either in late 2011 or between late 2013 and early 2014, at a speed of $\sim$0.7-0.8 cm s$^{-1}$. The results are consistent with rotational disruption as the mechanism causing the cascading fragmentation of the asteroid, as suggested by the rapid rotation of the primary. The fragments constitute the youngest known asteroid cluster, providing us with a great opportunity to study asteroid fragmentation and formation of asteroid clusters.


title: Learning to Estimate 3-D States of Deformable Linear Objects from Single-Frame Occluded Point Clouds

abstract: Accurately and robustly estimating the state of deformable linear objects (DLOs), such as ropes and wires, is crucial for DLO manipulation and other applications. However, it remains a challenging open issue due to the high dimensionality of the state space, frequent occlusions, and noises. This paper focuses on learning to robustly estimate the states of DLOs from single-frame point clouds in the presence of occlusions using a data-driven method. We propose a novel two-branch network architecture to exploit global and local information of input point cloud respectively and design a fusion module to effectively leverage the advantages of both methods. Simulation and real-world experimental results demonstrate that our method can generate globally smooth and locally precise DLO state estimation results even with heavily occluded point clouds, which can be directly applied to real-world robotic manipulation of DLOs in 3-D space.


title: Beamforming Design and Trajectory Optimization for UAV-Empowered Adaptable Integrated Sensing and Communication

abstract: Unmanned aerial vehicle (UAV) has high flexibility and controllable mobility, therefore it is considered as a promising enabler for future integrated sensing and communication (ISAC). In this paper, we propose a novel adaptable ISAC (AISAC) mechanism in the UAV-enabled system, where the UAV performs sensing on demand during communication and the sensing duration is configured flexibly according to the application requirements rather than keeping the same with the communication duration. Our designed mechanism avoids the excessive sensing and waste of radio resources, therefore improving the resource utilization and system performance. In the UAV-enabled AISAC system, we aim at maximizing the average system throughput by optimizing the communication and sensing beamforming as well as UAV trajectory while guaranteeing the quality-of-service requirements of communication and sensing. To efficiently solve the considered non-convex optimization problem, we first propose an efficient alternating optimization algorithm to optimize the communication and sensing beamforming for a given UAV location, and then develop a low-complexity joint beamforming and UAV trajectory optimization algorithm that sequentially searches the optimal UAV location until reaching the final location. Numerical results validate the superiority of the proposed adaptable mechanism and the effectiveness of the designed algorithm.


title: Certain Coefficient Problems of $\mathcal{S}_{e}^{*}$ and $\mathcal{C}_{e}$

abstract: In this current study, we consider the classes $\mathcal{S}^{*}_{e}$ and $\mathcal{C}_e$ to obtain sharp bounds for the third Hankel determinant for functions within these classes. Additionally, we provide estimates for the sixth and seventh coefficients while establishing the fourth-order Hankel determinant as well.


title: Non-learning Stereo-aided Depth Completion under Mis-projection via Selective Stereo Matching

abstract: We propose a non-learning depth completion method for a sparse depth map captured using a light detection and ranging (LiDAR) sensor guided by a pair of stereo images. Generally, conventional stereo-aided depth completion methods have two limiations. (i) They assume the given sparse depth map is accurately aligned to the input image, whereas the alignment is difficult to achieve in practice. (ii) They have limited accuracy in the long range because the depth is estimated by pixel disparity. To solve the abovementioned limitations, we propose selective stereo matching (SSM) that searches the most appropriate depth value for each image pixel from its neighborly projected LiDAR points based on an energy minimization framework. This depth selection approach can handle any type of mis-projection. Moreover, SSM has an advantage in terms of long-range depth accuracy because it directly uses the LiDAR measurement rather than the depth acquired from the stereo. SSM is a discrete process; thus, we apply variational smoothing with binary anisotropic diffusion tensor (B-ADT) to generate a continuous depth map while preserving depth discontinuity across object boundaries. Experimentally, compared with the previous state-of-the-art stereo-aided depth completion, the proposed method reduced the mean absolute error (MAE) of the depth estimation to 0.65 times and demonstrated approximately twice more accurate estimation in the long range. Moreover, under various LiDAR-camera calibration errors, the proposed method reduced the depth estimation MAE to 0.34-0.93 times from previous depth completion methods.


title: Shielding Federated Learning: Mitigating Byzantine Attacks with Less Constraints

abstract: Federated learning is a newly emerging distributed learning framework that facilitates the collaborative training of a shared global model among distributed participants with their privacy preserved. However, federated learning systems are vulnerable to Byzantine attacks from malicious participants, who can upload carefully crafted local model updates to degrade the quality of the global model and even leave a backdoor. While this problem has received significant attention recently, current defensive schemes heavily rely on various assumptions, such as a fixed Byzantine model, availability of participants' local data, minority attackers, IID data distribution, etc. To relax those constraints, this paper presents Robust-FL, the first prediction-based Byzantine-robust federated learning scheme where none of the assumptions is leveraged. The core idea of the Robust-FL is exploiting historical global model to construct an estimator based on which the local models will be filtered through similarity detection. We then cluster local models to adaptively adjust the acceptable differences between the local models and the estimator such that Byzantine users can be identified. Extensive experiments over different datasets show that our approach achieves the following advantages simultaneously: (i) independence of participants' local data, (ii) tolerance of majority attackers, (iii) generalization to variable Byzantine model.


title: Complementary consistency semi-supervised learning for 3D left atrial image segmentation

abstract: A network based on complementary consistency training, called CC-Net, has been proposed for semi-supervised left atrium image segmentation. CC-Net efficiently utilizes unlabeled data from the perspective of complementary information to address the problem of limited ability of existing semi-supervised segmentation algorithms to extract information from unlabeled data. The complementary symmetric structure of CC-Net includes a main model and two auxiliary models. The complementary model inter-perturbations between the main and auxiliary models force consistency to form complementary consistency. The complementary information obtained by the two auxiliary models helps the main model to effectively focus on ambiguous areas, while enforcing consistency between the models is advantageous in obtaining decision boundaries with low uncertainty. CC-Net has been validated on two public datasets. In the case of specific proportions of labeled data, compared with current advanced algorithms, CC-Net has the best semi-supervised segmentation performance. Our code is publicly available at https://github.com/Cuthbert-Huang/CC-Net.


title: Boosting Few-shot Fine-grained Recognition with Background Suppression and Foreground Alignment

abstract: Few-shot fine-grained recognition (FS-FGR) aims to recognize novel fine-grained categories with the help of limited available samples. Undoubtedly, this task inherits the main challenges from both few-shot learning and fine-grained recognition. First, the lack of labeled samples makes the learned model easy to overfit. Second, it also suffers from high intra-class variance and low inter-class differences in the datasets. To address this challenging task, we propose a two-stage background suppression and foreground alignment framework, which is composed of a background activation suppression (BAS) module, a foreground object alignment (FOA) module, and a local-to-local (L2L) similarity metric. Specifically, the BAS is introduced to generate a foreground mask for localization to weaken background disturbance and enhance dominative foreground objects. The FOA then reconstructs the feature map of each support sample according to its correction to the query ones, which addresses the problem of misalignment between support-query image pairs. To enable the proposed method to have the ability to capture subtle differences in confused samples, we present a novel L2L similarity metric to further measure the local similarity between a pair of aligned spatial features in the embedding space. What's more, considering that background interference brings poor robustness, we infer the pairwise similarity of feature maps using both the raw image and the refined image. Extensive experiments conducted on multiple popular fine-grained benchmarks demonstrate that our method outperforms the existing state of the art by a large margin. The source codes are available at: https://github.com/CSer-Tang-hao/BSFA-FSFG.


title: Energy-Efficient Cell-Free Network Assisted by Hybrid RISs

abstract: In this letter, we investigate a cell-free network aided by hybrid reconfigurable intelligent surfaces (RISs), which consists of a mixture of passive and active elements that are capable of amplifying and reflecting the incident signal. To maximize the energy efficiency (EE) of the system, we formulate a joint transmit beamforming and RIS coefficients optimization problem. To deal with the fractional objective function, Dinkelbach transform, Lagrangian dual reformulation, and quadratic transform are utilized, with a block coordinate descent (BCD) based algorithm proposed to decouple the variables. In addition, successive convex approximation (SCA) method is applied to iteratively to tackle the non-convexity of the sub-problems. Simulation results illustrate the effectiveness and convergence of the proposed algorithm through analyzing the EE and sum rate performance with varying parameter settings. The proposed hybrid RISs schemes can achieve 92% of the sum rate but 188% of EE of active RISs schemes. As compared with passive RISs, 11% gain in sum rate can be achieved with comparable EE.


title: Local density of states as a probe for tunneling magnetoresistance effect: application to ferrimagnetic tunnel junctions

abstract: We investigate the tunneling magnetoresistance (TMR) effect using the lattice models which describe the magnetic tunnel junctions (MTJ). First, taking a conventional ferromagnetic MTJ as an example, we show that the product of the local density of states (LDOS) at the center of the barrier traces the TMR effect qualitatively. The LDOS inside the barrier has the information on the electrodes and the electron tunneling through the barrier, which enables us to easily evaluate the tunneling conductance more precisely than the conventional Julliere's picture. We then apply this method to the MTJs with collinear ferrimagnets and antiferromagnets. We find that the TMR effect in the ferrimagnetic and antiferromagnetic MTJs changes depending on the interfacial magnetic structures originating from the sublattice structure, which can also be captured by the LDOS. Our findings will reduce the computational cost for the qualitative evaluation of the TMR effect, and be useful for a broader search for the materials which work as the TMR devices showing high performance.


title: Reconstruction of charged tracks with Timepix4 ASICs

abstract: The design of a detector system comprised of four silicon sensors bump-bonded to Timepix4 ASICs is described together with its data acquisition system, operational infrastructure, and dedicated software. The spatial and temporal performance of the system are assessed with a 180 GeV/c mixed hadron beam at the CERN SPS and reported in detail. Particle tracks are reconstructed using time-space measurements from the four detector planes. The spatial hit resolution is assessed to be $(15.5\pm 0.5)$ $\mu$m and $(4.5\pm0.3)$ $\mu$m for 100 and 300 $\mu$m thick sensors, respectively. The timestamps from the detectors are also measured with fine precision, yielding time resolutions of $(452\pm10)$ ps, $(420\pm10)$ ps, $(639\pm10)$ ps, $(631\pm10)$ ps for the two 100 and two 300 $\mu$m thick sensors respectively. These measurements are combined to a track time resolution of $(340\pm 5)$ ps.


title: Analysis of the rate of convergence of an over-parametrized deep neural network estimate learned by gradient descent

abstract: Estimation of a regression function from independent and identically distributed random variables is considered. The $L_2$ error with integration with respect to the design measure is used as an error criterion. Over-parametrized deep neural network estimates are defined where all the weights are learned by the gradient descent. It is shown that the expected $L_2$ error of these estimates converges to zero with the rate close to $n^{-1/(1+d)}$ in case that the regression function is H\"older smooth with H\"older exponent $p \in [1/2,1]$. In case of an interaction model where the regression function is assumed to be a sum of H\"older smooth functions where each of the functions depends only on $d^*$ many of $d$ components of the design variable, it is shown that these estimates achieve the corresponding $d^*$-dimensional rate of convergence.


title: Bayesian and Machine Learning Methods in the Big Data era for astronomical imaging

abstract: The Atacama Large Millimeter/submillimeter Array with the planned electronic upgrades will deliver an unprecedented amount of deep and high resolution observations. Wider fields of view are possible with the consequential cost of image reconstruction. Alternatives to commonly used applications in image processing have to be sought and tested. Advanced image reconstruction methods are critical to meet the data requirements needed for operational purposes. Astrostatistics and astroinformatics techniques are employed. Evidence is given that these interdisciplinary fields of study applied to synthesis imaging meet the Big Data challenges and have the potentials to enable new scientific discoveries in radio astronomy and astrophysics.


title: A Probabilistic Model for Aircraft in Climb using Monotonic Functional Gaussian Process Emulators

abstract: Ensuring vertical separation is a key means of maintaining safe separation between aircraft in congested airspace. Aircraft trajectories are modelled in the presence of significant epistemic uncertainty, leading to discrepancies between observed trajectories and the predictions of deterministic models, hampering the task of planning to ensure safe separation. In this paper a probabilistic model is presented, for the purpose of emulating the trajectories of aircraft in climb and bounding the uncertainty of the predicted trajectory. A monotonic, functional representation exploits the spatio-temporal correlations in the radar observations. Through the use of Gaussian Process Emulators, features that parameterise the climb are mapped directly to functional outputs, providing a fast approximation, while ensuring that the resulting trajectory is monotonic. The model was applied as a probabilistic digital twin for aircraft in climb and baselined against BADA, a deterministic model widely used in industry. When applied to an unseen test dataset, the probabilistic model was found to provide a mean prediction that was 21% more accurate, with a 34% sharper forecast.


title: On the possible implications of Dark Matter in the rings of Saturn: a conjecture

abstract: In this article we discuss some consequences of the well-known proposition of Fritz Zwicky [1], published in the nineteen thirties, that Dark Matter `mimics' the inertia-gravitational behaviour of usual matter. In particular, we consider some special dynamical regions such as those of the Ring Systems of the gaseous giants at the edge of the Planetary System. This article is a continuation of an earlier paper [2], where it was shown that gravitationally interacting particles may remain near the Lagrange Points L4 and L5 for many thousands of years. This provides enough time for the Dark Matter, if present there, to interact with the usual matter. We discuss also a number of questions related to places which might be considered singular in the mathematical sense.

categories: hep-ph astro-ph.EP gr-qc math-ph math.MP


title: A Novel Light Field Coding Scheme Based on Deep Belief Network & Weighted Binary Images for Additive Layered Displays

abstract: Light-field displays create an immersive experience by providing binocular depth sensation and motion parallax. Stacking light attenuating layers is one approach to implement a light field display with a broader depth of field, wide viewing angles and high resolution. Due to the transparent holographic optical element (HOE) layers, additive layered displays can be integrated into augmented reality (AR) wearables to overlay virtual objects onto the real world, creating a seamless mixed reality (XR) experience. This paper proposes a novel framework for light field representation and coding that utilizes Deep Belief Network (DBN) and weighted binary images suitable for additive layered displays. The weighted binary representation of layers makes the framework more flexible for adaptive bitrate encoding. The framework effectively captures intrinsic redundancies in the light field data, and thus provides a scalable solution for light field coding suitable for XR display applications. The latent code is encoded by H.265 codec generating a rate-scalable bit-stream. We achieve adaptive bitrate decoding by varying the number of weighted binary images and the H.265 quantization parameter, while maintaining an optimal reconstruction quality. The framework is tested on real and synthetic benchmark datasets, and the results validate the rate-scalable property of the proposed scheme.


title: Rhythmic Gesticulator: Rhythm-Aware Co-Speech Gesture Synthesis with Hierarchical Neural Embeddings

abstract: Automatic synthesis of realistic co-speech gestures is an increasingly important yet challenging task in artificial embodied agent creation. Previous systems mainly focus on generating gestures in an end-to-end manner, which leads to difficulties in mining the clear rhythm and semantics due to the complex yet subtle harmony between speech and gestures. We present a novel co-speech gesture synthesis method that achieves convincing results both on the rhythm and semantics. For the rhythm, our system contains a robust rhythm-based segmentation pipeline to ensure the temporal coherence between the vocalization and gestures explicitly. For the gesture semantics, we devise a mechanism to effectively disentangle both low- and high-level neural embeddings of speech and motion based on linguistic theory. The high-level embedding corresponds to semantics, while the low-level embedding relates to subtle variations. Lastly, we build correspondence between the hierarchical embeddings of the speech and the motion, resulting in rhythm- and semantics-aware gesture synthesis. Evaluations with existing objective metrics, a newly proposed rhythmic metric, and human feedback show that our method outperforms state-of-the-art systems by a clear margin.


title: Bragg diffraction by a magnetic all-in-all-out configuration with application to a cubic cerium pyrochlore oxide

abstract: The Bragg diffraction of neutrons and x-rays are well-suited to the task of determining the distribution of magnetization in crystals. Applications of the two techniques proceed by contrasting observed intensities with intensities calculated with a specific model, and changing the model as need be to achieve satisfactory agreement. An all-in-all-out (AIAO) magnetic configuration of magnetic dipoles on a cubic face-centred lattice with networks of corner-sharing tetrahedra is often mentioned in the context of pyrochlore oxides, for example, but the corresponding neutron and x-ray diffraction patterns appear not have been calculated. Our results for patterns of Bragg spots from an AIAO magnetic configuration defined by a magnetic space group are symmetry informed and yield exact reflection conditions. Specifically, a long-range order of magnetic dipoles is forbidden in our model. Bulk properties arise from higher-order multipoles that include quadrupoles and octupoles. Bragg spots that exclude all magnetic multipoles other than an octupole have been discovered, and they can be observed by both neutron diffraction and resonant x-ray diffraction. All magnetic multipoles allowed in diffraction by cerium ions (4f1) are presented in terms of coefficients in a well-documented and unusual magnetic ground state. Symmetry of the cerium site in the cubic structure constrains the coefficients. Our scattering amplitudes have an application in both neutron and x-ray diffraction experiments on Ce2Zr2O7, for example, and searches for the sought-after cerium octupole. Also presented for future use is a result for the total, energy-integrated magnetic neutron scattering intensity by a powder sample.