title: Tail asymptotics for the bivariate skew normal in the general case

abstract: The present paper is a sequel to and generalization of Fung and Seneta (2016) whose main result gives the asymptotic behaviour as $ u \to 0^{+}$ of $\lambda_L(u) = P(X_1 \leq F_1^{-1}(u) | X_2 \leq F_2^{-1}(u)),$ when $\bf{X} \sim SN_2(\boldsymbol{\alpha}, R)$ with $\alpha_1 = \alpha_2 = \alpha,$ that is: for the bivariate skew normal distribution in the equi-skew case, where $R$ is the correlation matrix, with off-diagonal entries $\rho,$ and $F_i(x), i=1,2$ are the marginal cdf's of $\textbf{X}$. A paper of Beranger et al. (2017) enunciates an upper-tail version which does not contain the constraint $\alpha_1=\alpha_2= \alpha$ but requires the constraint $0 <\rho <1$ in particular. The proof, in their Appendix A.3, is very condensed. When translated to the lower tail setting of Fung and Seneta (2016), we find that when $\alpha_1=\alpha_2= \alpha$ the exponents of $u$ in the regularly varying function asymptotic expressions do agree, but the slowly varying components, always of asymptotic form $const (-\log u)^{\tau}$, are not asymptotically equivalent. Our general approach encompasses the case $ -1 <\rho < 0$, and covers all possibilities.


title: Neutrino-induced coherent $\pi^{+}$ production in C, CH, Fe and Pb at $\langle E_{\nu}\rangle \sim 6$ GeV

abstract: MINERvA has measured the $\nu_{\mu}$-induced coherent $\pi^{+}$ cross section simultaneously in hydrocarbon (CH), graphite (C), iron (Fe) and lead (Pb) targets using neutrinos from 2 to 20 GeV. The measurements exceed the predictions of the Rein-Sehgal and Berger-Sehgal PCAC based models at multi-GeV $\nu_{\mu}$ energies and at produced $\pi^{+}$ energies and angles, $E_{\pi}>1$ GeV and $\theta_{\pi}<10^{\circ}$. Measurements of the cross-section ratios of Fe and Pb relative to CH reveal the effective $A$-scaling to increase from an approximate $A^{1/3}$ scaling at few GeV to an $A^{2/3}$ scaling for $E_{\nu}>10$ GeV.


title: Soft X-Ray Imaging of Magnetopause Reconnection Outflows Under Low Plasma-$\beta$ Solar Wind Conditions

abstract: We examined soft X-ray emission by the solar wind charge-exchange process around the Earth's magnetosphere using a global magnetohydrodynamic simulation model. The dayside magnetopause reconnection heats and accelerates the plasma whereby the X-ray emission becomes as bright as $\sim 6 \times 10^{-6} {\rm\ eV}\ {\rm cm}^{-3}\ {\rm s}^{-1}$ under the southward interplanetary magnetic field conditions. In particular, under low plasma-$\beta$ solar wind conditions, we found that the X-ray intensity reflects the bulk motion of outflows from the reconnection region. We propose that this particular solar wind condition would allow visualization of the mesoscale magnetopause reconnection site, as observed in the solar corona.


title: Robot Task Planning and Situation Handling in Open Worlds

abstract: Automated task planning algorithms have been developed to help robots complete complex tasks that require multiple actions. Most of those algorithms have been developed for "closed worlds" assuming complete world knowledge is provided. However, the real world is generally open, and the robots frequently encounter unforeseen situations that can potentially break the planner's completeness. This paper introduces a novel algorithm (COWP) for open-world task planning and situation handling that dynamically augments the robot's action knowledge with task-oriented common sense. In particular, common sense is extracted from Large Language Models based on the current task at hand and robot skills. For systematic evaluations, we collected a dataset that includes 561 execution-time situations in a dining domain, where each situation corresponds to a state instance of a robot being potentially unable to complete a task using a solution that normally works. Experimental results show that our approach significantly outperforms competitive baselines from the literature in the success rate of service tasks. Additionally, we have demonstrated COWP using a mobile manipulator. Supplementary materials are available at: https://cowplanning.github.io/


title: Strength-Adaptive Adversarial Training

abstract: Adversarial training (AT) is proved to reliably improve network's robustness against adversarial data. However, current AT with a pre-specified perturbation budget has limitations in learning a robust network. Firstly, applying a pre-specified perturbation budget on networks of various model capacities will yield divergent degree of robustness disparity between natural and robust accuracies, which deviates from robust network's desideratum. Secondly, the attack strength of adversarial training data constrained by the pre-specified perturbation budget fails to upgrade as the growth of network robustness, which leads to robust overfitting and further degrades the adversarial robustness. To overcome these limitations, we propose \emph{Strength-Adaptive Adversarial Training} (SAAT). Specifically, the adversary employs an adversarial loss constraint to generate adversarial training data. Under this constraint, the perturbation budget will be adaptively adjusted according to the training state of adversarial data, which can effectively avoid robust overfitting. Besides, SAAT explicitly constrains the attack strength of training data through the adversarial loss, which manipulates model capacity scheduling during training, and thereby can flexibly control the degree of robustness disparity and adjust the tradeoff between natural accuracy and robustness. Extensive experiments show that our proposal boosts the robustness of adversarial training.


title: The boundedness of commutators of sublinear operators on Herz Triebel-Lizorkin spaces with variable exponent

abstract: In this paper, the authors first discuss the characterization of Herz Triebel-Lizorkin spaces with variable exponent via two families of operators. By this characterization, the authors prove that the Lipschitz commutators of sublinear operators is bounded from Herz spaces with variable exponent to Herz Triebel-Lizorkin spaces with variable exponent. As an application, the corresponding boundedness estimates for the commutators of maximal operator, Riesz potential operator and Calder\'on-Zygmund operator are established.


title: Compact 9-Point Finite Difference Methods with High Accuracy Order and/or M-Matrix Property for Elliptic Cross-Interface Problems

abstract: In this paper we develop finite difference schemes for elliptic problems with piecewise continuous coefficients that have (possibly huge) jumps across fixed internal interfaces. In contrast with such problems involving one smooth non-intersecting interface, that have been extensively studied, there are very few papers addressing elliptic interface problems with intersecting interfaces of coefficient jumps. It is well known that if the values of the permeability in the four subregions around a point of intersection of two such internal interfaces are all different, the solution has a point singularity that significantly affects the accuracy of the approximation in the vicinity of the intersection point. In the present paper we propose a fourth-order 9-point finite difference scheme on uniform Cartesian meshes for an elliptic problem whose coefficient is piecewise constant in four rectangular subdomains of the overall two-dimensional rectangular domain. Moreover, for the special case when the intersecting point of the two lines of coefficient jumps is a grid point, such a compact scheme, involving relatively simple formulas for computation of the stencil coefficients, can even reach sixth order of accuracy. Furthermore, we show that the resulting linear system for the special case has an M-matrix, and prove the theoretical sixth order convergence rate using the discrete maximum principle. Our numerical experiments demonstrate the fourth (for the general case) and sixth (for the special case) accuracy orders of the proposed schemes. In the general case, we derive a compact third-order finite difference scheme, also yielding a linear system with an M-matrix. In addition, using the discrete maximum principle, we prove the third order convergence rate of the scheme for the general elliptic cross-interface problem.


title: Seismic Monitoring of the Sun's Far Hemisphere: A Crucial Component in Future Space Weather Forecasting (A White Paper Submitted to the Decadal Survey for Solar and Space Physics (Heliophysics) -- SSPH 2024-2033)

abstract: The purpose of this white paper is to put together a coherent vision for the role of helioseismic monitoring of magnetic activity in the Sun's far hemisphere that will contribute to improving space weather forecasting as well as fundamental research in the coming decade. Our goal fits into the broader context of helioseismology in solar research for any number of endeavors when helioseismic monitors may be the sole synoptic view of the Sun's far hemisphere. It is intended to foster a growing understanding of solar activity, as realistically monitored in both hemispheres, and its relationship to all known aspects of the near-Earth and terrestrial environment. Some of the questions and goals that can be fruitfully pursued through seismic monitoring of farside solar activity in the coming decade include: What is the relationship between helioseismic signatures and their associated magnetic configurations, and how is this relationship connected to the solar EUV irradiance over the period of a solar rotation?; How can helioseismic monitoring contribute to data-driven global magnetic-field models for precise space weather forecasting?; What can helioseismic monitors tell us about prospects of a flare, CME or high-speed stream that impacts the terrestrial environment over the period of a solar rotation?; How does the inclusion of farside information contribute to forecasts of interplanetary space weather and the environments to be encountered by human crews in interplanetary space? Thus, it is crucial for the development of farside monitoring of the Sun be continued into the next decade either through ground-based or space-borne observations.


title: Data-Efficient Characterization of the Global Dynamics of Robot Controllers with Confidence Guarantees

abstract: This paper proposes an integration of surrogate modeling and topology to significantly reduce the amount of data required to describe the underlying global dynamics of robot controllers, including closed-box ones. A Gaussian Process (GP), trained with randomized short trajectories over the state-space, acts as a surrogate model for the underlying dynamical system. Then, a combinatorial representation is built and used to describe the dynamics in the form of a directed acyclic graph, known as {\it Morse graph}. The Morse graph is able to describe the system's attractors and their corresponding regions of attraction (\roa). Furthermore, a pointwise confidence level of the global dynamics estimation over the entire state space is provided. In contrast to alternatives, the framework does not require estimation of Lyapunov functions, alleviating the need for high prediction accuracy of the GP. The framework is suitable for data-driven controllers that do not expose an analytical model as long as Lipschitz-continuity is satisfied. The method is compared against established analytical and recent machine learning alternatives for estimating \roa s, outperforming them in data efficiency without sacrificing accuracy. Link to code: https://go.rutgers.edu/49hy35en


title: ThinkSum: Probabilistic reasoning over sets using large language models

abstract: Large language models (LLMs) have a substantial capacity for high-level analogical reasoning: reproducing patterns in linear text that occur in their training data (zero-shot evaluation) or in the provided context (few-shot in-context learning). However, recent studies show that even the more advanced LLMs fail in scenarios that require reasoning over multiple objects or facts and making sequences of logical deductions. We propose a two-stage probabilistic inference paradigm, ThinkSum, which reasons over sets of objects or facts in a structured manner. In the first stage (Think - retrieval of associations), a LLM is queried in parallel over a set of phrases extracted from the prompt or an auxiliary model call. In the second stage (Sum - probabilistic inference or reasoning), the results of these queries are aggregated to make the final prediction. We demonstrate the possibilities and advantages of ThinkSum on the BIG-bench suite of LLM evaluation tasks, achieving improvements over the state of the art using GPT-family models on thirteen difficult tasks, often with far smaller model variants. We also compare and contrast ThinkSum with other proposed modifications to direct prompting of LLMs, such as variants of chain-of-thought prompting. Our results suggest that because the probabilistic inference in ThinkSum is performed outside of calls to the LLM, ThinkSum is less sensitive to prompt design, yields more interpretable predictions, and can be flexibly combined with latent variable models to extract structured knowledge from LLMs. Overall, our proposed paradigm represents a promising approach for enhancing the reasoning capabilities of LLMs.


title: Optimal Persistent Monitoring of Mobile Targets in One Dimension

abstract: This work shows the existence of optimal control laws for persistent monitoring of mobile targets in a one-dimensional mission space and derives explicit solutions. The underlying performance metric consists of minimizing the total uncertainty accumulated over a finite mission time. We first demonstrate that the corresponding optimal control problem can be reduced to a finite-dimensional optimization problem, and then establish existence of an optimal solution. Motivated by this result, we construct a parametric reformulation for which an event based gradient descent method is utilized with the goal of deriving (locally optimal) solutions. We additionally provide a more practical parameterization that has attractive properties such as simplicity, flexibility, and robustness. Both parameterizations are validated through simulation.


title: Max-Quantile Grouped Infinite-Arm Bandits

abstract: In this paper, we consider a bandit problem in which there are a number of groups each consisting of infinitely many arms. Whenever a new arm is requested from a given group, its mean reward is drawn from an unknown reservoir distribution (different for each group), and the uncertainty in the arm's mean reward can only be reduced via subsequent pulls of the arm. The goal is to identify the infinite-arm group whose reservoir distribution has the highest $(1-\alpha)$-quantile (e.g., median if $\alpha = \frac{1}{2}$), using as few total arm pulls as possible. We introduce a two-step algorithm that first requests a fixed number of arms from each group and then runs a finite-arm grouped max-quantile bandit algorithm. We characterize both the instance-dependent and worst-case regret, and provide a matching lower bound for the latter, while discussing various strengths, weaknesses, algorithmic improvements, and potential lower bounds associated with our instance-dependent upper bounds.


title: Recitation-Augmented Language Models

abstract: We propose a new paradigm to help Large Language Models (LLMs) generate more accurate factual knowledge without retrieving from an external corpus, called RECITation-augmented gEneration (RECITE). Different from retrieval-augmented language models that retrieve relevant documents before generating the outputs, given an input, RECITE first recites one or several relevant passages from LLMs' own memory via sampling, and then produces the final answers. We show that RECITE is a powerful paradigm for knowledge-intensive NLP tasks. Specifically, we show that by utilizing recitation as the intermediate step, a recite-and-answer scheme can achieve new state-of-the-art performance in various closed-book question answering (CBQA) tasks. In experiments, we verify the effectiveness of \method~on four pre-trained models (PaLM, UL2, OPT, and Codex) and three CBQA tasks (Natural Questions, TriviaQA, and HotpotQA). Our code is available at "https://github.com/Edward-Sun/RECITE".


title: Privacy-Preserving Link Prediction

abstract: Consider two data holders, ABC and XYZ, with graph data (e.g., social networks, e-commerce, telecommunication, and bio-informatics). ABC can see that node A is linked to node B, and XYZ can see node B is linked to node C. Node B is the common neighbour of A and C but neither network can discover this fact on their own. In this paper, we provide a two party computation that ABC and XYZ can run to discover the common neighbours in the union of their graph data, however neither party has to reveal their plaintext graph to the other. Based on private set intersection, we implement our solution, provide measurements, and quantify partial leaks of privacy. We also propose a heavyweight solution that leaks zero information based on additively homomorphic encryption.


title: Centroid Distance Keypoint Detector for Colored Point Clouds

abstract: Keypoint detection serves as the basis for many computer vision and robotics applications. Despite the fact that colored point clouds can be readily obtained, most existing keypoint detectors extract only geometry-salient keypoints, which can impede the overall performance of systems that intend to (or have the potential to) leverage color information. To promote advances in such systems, we propose an efficient multi-modal keypoint detector that can extract both geometry-salient and color-salient keypoints in colored point clouds. The proposed CEntroid Distance (CED) keypoint detector comprises an intuitive and effective saliency measure, the centroid distance, that can be used in both 3D space and color space, and a multi-modal non-maximum suppression algorithm that can select keypoints with high saliency in two or more modalities. The proposed saliency measure leverages directly the distribution of points in a local neighborhood and does not require normal estimation or eigenvalue decomposition. We evaluate the proposed method in terms of repeatability and computational efficiency (i.e. running time) against state-of-the-art keypoint detectors on both synthetic and real-world datasets. Results demonstrate that our proposed CED keypoint detector requires minimal computational time while attaining high repeatability. To showcase one of the potential applications of the proposed method, we further investigate the task of colored point cloud registration. Results suggest that our proposed CED detector outperforms state-of-the-art handcrafted and learning-based keypoint detectors in the evaluated scenes. The C++ implementation of the proposed method is made publicly available at https://github.com/UCR-Robotics/CED_Detector.


title: Algebraic Quantum Field Theory and Causal Symmetric Spaces

abstract: In this article we review our recent work on the causal structure of symmetric spaces and related geometric aspects of Algebraic Quantum Field Theory. Motivated by some general results on modular groups related to nets of von Neumann algebras,we focus on Euler elements of the Lie algebra, i.e., elements whose adjoint action defines a 3-grading. We study the wedge regions they determine in corresponding causal symmetric spaces and describe some methods to construct nets of von Neumann algebras on causal symmetric spaces that satisfy abstract versions of the Reeh--Schlieder and the Bisognano-Wichmann condition.


title: Revealing Unobservables by Deep Learning: Generative Element Extraction Networks (GEEN)

abstract: Latent variable models are crucial in scientific research, where a key variable, such as effort, ability, and belief, is unobserved in the sample but needs to be identified. This paper proposes a novel method for estimating realizations of a latent variable $X^*$ in a random sample that contains its multiple measurements. With the key assumption that the measurements are independent conditional on $X^*$, we provide sufficient conditions under which realizations of $X^*$ in the sample are locally unique in a class of deviations, which allows us to identify realizations of $X^*$. To the best of our knowledge, this paper is the first to provide such identification in observation. We then use the Kullback-Leibler distance between the two probability densities with and without the conditional independence as the loss function to train a Generative Element Extraction Networks (GEEN) that maps from the observed measurements to realizations of $X^*$ in the sample. The simulation results imply that this proposed estimator works quite well and the estimated values are highly correlated with realizations of $X^*$. Our estimator can be applied to a large class of latent variable models and we expect it will change how people deal with latent variables.


title: GIDN: A Lightweight Graph Inception Diffusion Network for High-efficient Link Prediction

abstract: In this paper, we propose a Graph Inception Diffusion Networks(GIDN) model. This model generalizes graph diffusion in different feature spaces, and uses the inception module to avoid the large amount of computations caused by complex network structures. We evaluate GIDN model on Open Graph Benchmark(OGB) datasets, reached an 11% higher performance than AGDN on ogbl-collab dataset.


title: Nuisances via Negativa: Adjusting for Spurious Correlations via Data Augmentation

abstract: In prediction tasks, there exist features that are related to the label in the same way across different settings for that task; these are semantic features or semantics. Features with varying relationships to the label are nuisances. For example, in detecting cows from natural images, the shape of the head is a semantic but because images of cows often have grass backgrounds but not always, the background is a nuisance. Relationships between a nuisance and the label are unstable across settings and, consequently, models that exploit nuisance-label relationships face performance degradation when these relationships change. Direct knowledge of a nuisance helps build models that are robust to such changes, but requires extra annotations beyond labels and covariates. In this paper, we develop an alternative way to produce robust models by data augmentation. These data augmentations corrupt semantic information to produce models that identify and adjust for where nuisances drive predictions. We study semantic corruptions in powering different spurious-correlation avoiding methods on multiple out-of distribution (OOD) tasks like classifying waterbirds, natural language inference (NLI), and detecting cardiomegaly in chest X-rays.


title: Dark Matter decay to neutrinos

abstract: It is possible that the strongest interactions between dark matter and the Standard Model occur via the neutrino sector. Unlike gamma rays and charged particles, neutrinos provide a unique avenue to probe for astrophysical sources of dark matter, since they arrive unimpeded and undeflected from their sources. Previously, we reported on annihilations of dark matter to neutrinos; here, we review constraints on the decay of dark matter into neutrinos over a range of dark matter masses from MeV to ZeV, compiling previously reported limits, exploring new electroweak corrections and computing constraints where none have been computed before. We examine the expected contributions to the neutrino flux at current and upcoming neutrino experiments as well as photons from electroweak emission expected at gamma-ray telescopes, leading to constraints on the dark matter decay lifetime, which ranges from $\tau \sim 1.2\times10^{21}$ s at 10~MeV to $1.5\times10^{29}$~s at 1~PeV.


title: Derived Character Maps of Groups Representations

abstract: In this paper, we construct and study derived character maps of finite-dimensional representations of $\infty$-groups. As models for $\infty$-groups we take homotopy simplicial groups, i.e. homotopy simplicial algebras over the algebraic theory of groups (in the sense of Badzioch). We define cyclic, symmetric and representation homology for `group algebras' over such groups and construct canonical trace maps relating these homology theories. In the case of one-dimensional representations, we show that our trace maps are of topological origin: they are induced by natural maps of (iterated) loop spaces that are well studied in homotopy theory. Using this topological interpretation, we deduce some algebraic results about representation homology: in particular, we prove that the symmetric homology of group algebras and one-dimensional representation homology are naturally isomorphic, provided the base ring $k$ is a field of characteristic zero. We also study the behavior of the derived character maps of $n$-dimensional representations in the stable limit as $ n\to \infty$, in which case we show that they `converge' to become isomorphisms.


title: Strengthened proximity effect at grain boundaries to enhance inter-grain supercurrent in Ba1-xKxFe2As2 superconductors

abstract: Iron-based superconductors have great potential for high-power applications due to their prominent high-field properties. One of the central issues in enhancing the critical current density of iron-based superconducting wires is to reveal the roles and limitations of grain boundaries in supercurrent transport. Here, we finely tuned the electronic properties of grain boundaries by doping Ba1-xKxFe2As2 superconductors in a wide range (0.25<x<0.598). It is found that the intra-grain Jcintra peaks near x~0.287, while the inter-grain Jcinter has a maximum at about x~0.458. Remarkably, the grain boundary transparency parameter defined as Jcinter/Jcintra rises monotonically with doping. Through detailed microscopic analysis, we suggest that the FeAs segregation phase commonly existing at grain boundaries and the adjacent grains constitute superconductor-normal metal-superconductor (SNS) Josephson junctions which play a key role in transporting supercurrent. A sandwich model based on the proximity effect and the SNS junction is proposed to well interpret our data. It is found that overdoping in superconducting grains largely strengthens the proximity effect and consequently enhances the intergrain supercurrent. Our results will shed new insights and inspirations for improving the application parameters of iron-based superconductors by grain boundary engineering.


title: Robust Qubit Mapping Algorithm via Double-Source Optimal Routing on Large Quantum Circuits

abstract: Qubit Mapping is a critical aspect of implementing quantum circuits on real hardware devices. Currently, the existing algorithms for qubit mapping encounter difficulties when dealing with larger circuit sizes involving hundreds of qubits. In this paper, we introduce an innovative qubit mapping algorithm, Duostra, tailored to address the challenge of implementing large-scale quantum circuits on real hardware devices with limited connectivity. Duostra operates by efficiently determining optimal paths for double-qubit gates and inserting SWAP gates accordingly to implement the double-qubit operations on real devices. Together with two heuristic scheduling algorithms, the Limitedly-Exhausitive (LE) Search and the Shortest-Path (SP) Estimation, it yields results of good quality within a reasonable runtime, thereby striving toward achieving quantum advantage. Experimental results showcase our algorithm's superiority, especially for large circuits beyond the NISQ era. For example, on large circuits with more than 50 qubits, we can reduce the mapping cost on an average 21.75% over the virtual best results among QMAP, t|ket>, Qiskit and SABRE. Besides, for mid-size circuits such as the SABRE-large benchmark, we improve the mapping costs by 4.5%, 5.2%, 16.3%, 20.7%, and 25.7%, when compared to QMAP, TOQM, t|ket>, Qiskit, and SABRE, respectively.


title: Beam Management in Ultra-dense mmWave Network via Federated Reinforcement Learning: An Intelligent and Secure Approach

abstract: Deploying ultra-dense networks that operate on millimeter wave (mmWave) band is a promising way to address the tremendous growth on mobile data traffic. However, one key challenge of ultra-dense mmWave network (UDmmN) is beam management due to the high propagation delay, limited beam coverage as well as numerous beams and users. In this paper, a novel systematic beam control scheme is presented to tackle the beam management problem which is difficult due to the nonconvex objective function. We employ double deep Q-network (DDQN) under a federated learning (FL) framework to address the above optimization problem, and thereby fulfilling adaptive and intelligent beam management in UDmmN. In the proposed beam management scheme based on FL (BMFL), the non-rawdata aggregation can theoretically protect user privacy while reducing handoff cost. Moreover, we propose to adopt a data cleaning technique in the local model training for BMFL, with the aim to further strengthen the privacy protection of users while improving the learning convergence speed. Simulation results demonstrate the performance gain of our proposed scheme.


title: A General Return-Mapping Framework for Fractional Visco-Elasto-Plasticity

abstract: We develop a fractional return-mapping framework for power-law visco-elasto-plasticity. In our approach, the fractional viscoelasticity is accounted through canonical combinations of Scott-Blair elements to construct a series of well-known fractional linear viscoelastic models, such as Kelvin-Voigt, Maxwell, Kelvin-Zener and Poynting-Thomson. We also consider a fractional quasi-linear version of Fung's model to account for stress/strain nonlinearity. The fractional viscoelastic models are combined with a fractional visco-plastic device, coupled with fractional viscoelastic models involving serial combinations of Scott-Blair elements. We then develop a general return-mapping procedure, which is fully implicit for linear viscoelastic models, and semi-implicit for the quasi-linear case. We find that, in the correction phase, the discrete stress projection and plastic slip have the same form for all the considered models, although with different property and time-step dependent projection terms. A series of numerical experiments is carried out with analytical and reference solutions to demonstrate the convergence and computational cost of the proposed framework, which is shown to be at least first-order accurate for general loading conditions. Our numerical results demonstrate that the developed framework is more flexible, preserves the numerical accuracy of existing approaches while being more computationally tractable in the visco-plastic range due to a reduction of $50\%$ in CPU time. Our formulation is especially suited for emerging applications of fractional calculus in bio-tissues that present the hallmark of multiple viscoelastic power-laws coupled with visco-plasticity.


title: Joint Optimization of Active and Passive Beamforming in Multi-IRS Aided mmWave Communications

abstract: Intelligent reflecting surface (IRS) has been considered as a promising technology to alleviate the blockage effect and enhance coverage in millimeter wave (mmWave) communication. To explore the impact of IRS on the performance of mmWave communication, we investigate a multi-IRS assisted mmWave communication network and formulate a sum rate maximization problem by jointly optimizing the active and passive beamforming and the set of IRSs for assistance. The optimization problem is intractable due to the lack of convexity of the objective function and the binary nature of the IRS selection variables. To tackle the complex non-convex problem, an alternating iterative approach is proposed. In particular, utilizing the fractional programming method to optimize the active and passive beamforming and the optimization of IRS selection is solved by enumerating. Simulation results demonstrate the performance gain of our proposed approach.


title: A Fixed-Point Algorithm for the AC Power Flow Problem

abstract: This paper presents an algorithm that solves the AC power flow problem for balanced, three-phase transmission systems at steady state. The algorithm extends the "fixed-point power flow" algorithm in the literature to include transmission losses, phase-shifting transformers, and a distributed slack bus model. The algorithm is derived by vectorizing the component-wise AC power flow equations and manipulating them into a novel equivalent fixed-point form. Preliminary theoretical results guaranteeing convergence are reported for the case of a two-bus power system. We validate the algorithm through extensive simulations on test systems of various sizes under different loading levels, and compare its convergence behavior against those of classic power flow algorithms.


title: Quark: A Gradient-Free Quantum Learning Framework for Classification Tasks

abstract: As more practical and scalable quantum computers emerge, much attention has been focused on realizing quantum supremacy in machine learning. Existing quantum ML methods either (1) embed a classical model into a target Hamiltonian to enable quantum optimization or (2) represent a quantum model using variational quantum circuits and apply classical gradient-based optimization. The former method leverages the power of quantum optimization but only supports simple ML models, while the latter provides flexibility in model design but relies on gradient calculation, resulting in barren plateau (i.e., gradient vanishing) and frequent classical-quantum interactions. To address the limitations of existing quantum ML methods, we introduce Quark, a gradient-free quantum learning framework that optimizes quantum ML models using quantum optimization. Quark does not rely on gradient computation and therefore avoids barren plateau and frequent classical-quantum interactions. In addition, Quark can support more general ML models than prior quantum ML methods and achieves a dataset-size-independent optimization complexity. Theoretically, we prove that Quark can outperform classical gradient-based methods by reducing model query complexity for highly non-convex problems; empirically, evaluations on the Edge Detection and Tiny-MNIST tasks show that Quark can support complex ML models and significantly reduce the number of measurements needed for discovering near-optimal weights for these tasks.


title: Investigation of dust grains by optical tweezers for space applications

abstract: Cosmic dust plays a dominant role in the universe, especially in the formation of stars and planetary systems. Furthermore, the surface of cosmic dust grains is the bench-work where molecular hydrogen and simple organic compounds are formed. We manipulate individual dust particles in water solution by contactless and non-invasive techniques such as standard and Raman tweezers, to characterize their response to mechanical effects of light (optical forces and torques) and to determine their mineral compositions. Moreover, we show accurate optical force calculations in the T-matrix formalism highlighting the key role of composition and complex morphology in optical trapping of cosmic dust particles.This opens perspectives for future applications of optical tweezers in curation facilities for sample return missions or in extraterrestrial environments.


title: Properties of Scalar Hairy Black Holes and Scalarons with Asymmetric Potential

abstract: In this paper we study the properties of black holes and scalarons in Einstein gravity when it is minimally coupled to a scalar field $\phi$ with an asymmetric potential $V(\phi)$, constructed in [Phys. Rev. D \textbf{73} (2006), 084002] a few decades ago. $V(\phi)$ has been applied in the cosmology to describe the quantum tunneling process from the false vacuum to the true vacuum and contains a local maximum, a local minimum (false vacuum) and a global minimum (true vacuum). In particular we focus on the asymptotically flat solutions, which can be constructed by fixing appropriately the local minimum of $V$. A branch of hairy black holes solutions emerge from the Schwarzschild black hole, and we study the domain of existence of such configurations. They can reach to a particle-like solution in the small horizon limit, i.e. the scalarons. We study the stability of black holes and scalarons, showing that all of them are unstable under radial perturbations.


title: Meta Navigation Functions: Adaptive Associations for Coordination of Multi-Agent Systems

abstract: In this paper, we introduce a new class of potential fields, i.e., meta navigation functions (MNFs) to coordinate multi-agent systems. Thanks to the MNF formulation, agents can contribute to each other's coordination via partial and/or total associations, contrary to traditional decentralized navigation functions (DNFs). In particular, agents may stimulate each other via their MNFs. Moreover, MNFs need to be confined which is a weaker condition compared to the Morse condition of DNFs. An MNF is composed of a confined function and an attraction kernel. The critical points of the former can be confined in a safe region around a target critical point. The collision-free trajectory of an agent and its associations to its peers are governed by a confined function before reaching its safe region. Then, the attraction kernel drives the agent to its target in the safe region. MNFs provide faster coordination compared to DNFs. We illustrate how MNFs may exhibit some social behaviors in the course of partial and total associations among agents. Our simulations verify the efficiency of MNFs to coordinate complex swarms of agents.


title: Concurrent build direction, part segmentation, and topology optimization for additive manufacturing using neural networks

abstract: We propose a neural network-based approach to topology optimization that aims to reduce the use of support structures in additive manufacturing. Our approach uses a network architecture that allows the simultaneous determination of an optimized: (1) part segmentation, (2) the topology of each part, and (3) the build direction of each part that collectively minimize the amount of support structure. Through training, the network learns a material density and segment classification in the continuous 3D space. Given a problem domain with prescribed load and displacement boundary conditions, the neural network takes as input 3D coordinates of the voxelized domain as training samples and outputs a continuous density field. Since the neural network for topology optimization learns the density distribution field, analytical solutions to the density gradient can be obtained from the input-output relationship of the neural network. We demonstrate our approach on several compliance minimization problems with volume fraction constraints, where support volume minimization is added as an additional criterion to the objective function. We show that simultaneous optimization of part segmentation along with the topology and print angle optimization further reduces the support structure, compared to a combined print angle and topology optimization without segmentation.


title: The $\sigma_{\rm H\beta}$-based dimensionless accretion rate and its connection with the corona for AGN

abstract: With respect to the $\rm H\beta$ full width at half-maximum ($\rm FWHM_{H\beta}$), the broad $\rm H\beta$ line dispersion ($\sigma_{\rm H\beta}$) was preferred as a velocity tracer to calculate the single-epoch supermassive black hole mass ($M_{\rm BH}$) suggested by \cite{Yu2020b}. For a compiled sample of 311 broad-line active galactic nuclei (AGN) with measured hard X-ray photon index ($z<0.7$), $\sigma_{\rm H\beta}$ and the optical Fe II relative strength ($R_{\rm Fe}$) are measured from their optical spectra, which are used to calculate $\sigma_{\rm H\beta}$-based virial $M_{\rm BH}$ and dimensionless accretion rate ($\dot{\mathscr{M}}$). With respect to $\rm FWHM_{\rm H\beta}$, it is found that the mean value of $\sigma_{\rm H\beta}$-based $M_{\rm BH}$ is on average larger by 0.26 dex, and the mean value of $\sigma_{\rm H\beta}$-based $\dot{\mathscr{M}}$ is on average smaller by 0.51 dex. It is found that there exists a non-linear relationship between the Eddington ratio ($L_{\rm Bol}/L_{\rm Edd}$) and $\dot{\mathscr{M}}$, i.e., $L_{\rm Bol}/L_{\rm Edd} \propto \dot{\mathscr{M}}^{0.56\pm 0.01}$. This non-linear relationship comes from the accretion efficiency $\eta$, which is smaller for AGN with higher $\dot{\mathscr{M}}$. We find a strong bivariate correlation of the fraction of energy released in the corona $F_{\rm X}$ with $\dot{\mathscr{M}}$ and \mbh, $F_{\rm X} \propto \dot{\mathscr{M}}^{-0.57\pm 0.05} M_{\rm BH}^{-0.54\pm 0.06}$. The flat slope of $-0.57\pm 0.05$ favours the shear stress tensor of the accretion disk being proportional to the geometric mean of gas pressure and total pressure. We find a strong bivariate relation of $\Gamma$ with $\dot{\mathscr{M}}$ and $F_{\rm X}$, $\Gamma \propto \dot{\mathscr{M}}^{-0.21\pm 0.02}F_{\rm X}^{0.02\pm 0.04}$. The hard X-ray spectrum becomes softer with increasing of $F_{\rm X}$, although the scatter is large.


title: Lagrangian fibration structure on the cotangent bundle of a del Pezzo surface of degree 4

abstract: In this paper, we show that there is a natural Lagrangian fibration structure on the map $\Phi$ from the cotangent bundle of a del Pezzo surface $X$ of degree 4 to $\mathbb C^2$. Moreover, we describe explicitly all level surfaces of the above natural map $\Phi$.


title: OpBoost: A Vertical Federated Tree Boosting Framework Based on Order-Preserving Desensitization

abstract: Vertical Federated Learning (FL) is a new paradigm that enables users with non-overlapping attributes of the same data samples to jointly train a model without directly sharing the raw data. Nevertheless, recent works show that it's still not sufficient to prevent privacy leakage from the training process or the trained model. This paper focuses on studying the privacy-preserving tree boosting algorithms under the vertical FL. The existing solutions based on cryptography involve heavy computation and communication overhead and are vulnerable to inference attacks. Although the solution based on Local Differential Privacy (LDP) addresses the above problems, it leads to the low accuracy of the trained model. This paper explores to improve the accuracy of the widely deployed tree boosting algorithms satisfying differential privacy under vertical FL. Specifically, we introduce a framework called OpBoost. Three order-preserving desensitization algorithms satisfying a variant of LDP called distance-based LDP (dLDP) are designed to desensitize the training data. In particular, we optimize the dLDP definition and study efficient sampling distributions to further improve the accuracy and efficiency of the proposed algorithms. The proposed algorithms provide a trade-off between the privacy of pairs with large distance and the utility of desensitized values. Comprehensive evaluations show that OpBoost has a better performance on prediction accuracy of trained models compared with existing LDP approaches on reasonable settings. Our code is open source.


title: Reconfigurable Timed Discrete-Event Systems

abstract: In this paper, we present the first general solution to the automatic reconfiguration problem of timed discrete-event systems. We extend the recursive forcible backtracking approach which had been already solved the automatic reconfiguration problem of untimed discrete-event systems. In particular, we first solve the timed centralized reconfiguration problem using a specific timed eligibility set. Then, we study the identity between the solutions to an arbitrary timed centralized reconfiguration problem and its corresponding decentralized version. It turns out that the solutions to both cases are identical to each other. So, the solution obtained by the proposed theory is interestingly invariant to systematic distributions.


title: Wi-Closure: Reliable and Efficient Search of Inter-robot Loop Closures Using Wireless Sensing

abstract: In this paper we propose a novel algorithm, Wi-Closure, to improve computational efficiency and robustness of loop closure detection in multi-robot SLAM. Our approach decreases the computational overhead of classical approaches by pruning the search space of potential loop closures, prior to evaluation by a typical multi-robot SLAM pipeline. Wi-Closure achieves this by identifying candidates that are spatially close to each other by using sensing over the wireless communication signal between robots, even when they are operating in non-line-of-sight or in remote areas of the environment from one another. We demonstrate the validity of our approach in simulation and hardware experiments. Our results show that using Wi-closure greatly reduces computation time, by 54% in simulation and by 77% in hardware compared, with a multi-robot SLAM baseline. Importantly, this is achieved without sacrificing accuracy. Using Wi-Closure reduces absolute trajectory estimation error by 99% in simulation and 89.2% in hardware experiments. This improvement is due in part to Wi-Closure's ability to avoid catastrophic optimization failure that typically occurs with classical approaches in challenging repetitive environments.


title: On Decomposition of the Last Passage Time of Diffusions

abstract: For a regular transient diffusion, we provide a decomposition of its last passage time to a certain state $\alpha$. This is accomplished by transforming the original diffusion into two diffusions using the occupation time of the area above and below $\alpha$. Based on these two processes, both having a reflecting boundary at $\alpha$, we derive the decomposition formula of the Laplace transform of the last passage time explicitly in a simple form in terms of Green functions. This equation also leads to the Green function's decomposition formula. We demonstrate an application of these formulas to a diffusion with two-valued parameters.


title: Representing Spatial Trajectories as Distributions

abstract: We introduce a representation learning framework for spatial trajectories. We represent partial observations of trajectories as probability distributions in a learned latent space, which characterize the uncertainty about unobserved parts of the trajectory. Our framework allows us to obtain samples from a trajectory for any continuous point in time, both interpolating and extrapolating. Our flexible approach supports directly modifying specific attributes of a trajectory, such as its pace, as well as combining different partial observations into single representations. Experiments show our method's advantage over baselines in prediction tasks.


title: ASAP: Accurate semantic segmentation for real time performance

abstract: Feature fusion modules from encoder and self-attention module have been adopted in semantic segmentation. However, the computation of these modules is costly and has operational limitations in real-time environments. In addition, segmentation performance is limited in autonomous driving environments with a lot of contextual information perpendicular to the road surface, such as people, buildings, and general objects. In this paper, we propose an efficient feature fusion method, Feature Fusion with Different Norms (FFDN) that utilizes rich global context of multi-level scale and vertical pooling module before self-attention that preserves most contextual information while reducing the complexity of global context encoding in the vertical direction. By doing this, we could handle the properties of representation in global space and reduce additional computational cost. In addition, we analyze low performance in challenging cases including small and vertically featured objects. We achieve the mean Interaction of-union(mIoU) of 73.1 and the Frame Per Second(FPS) of 191, which are comparable results with state-of-the-arts on Cityscapes test datasets.


title: Excitons and their Fine Structure in Lead Halide Perovskite Nanocrystals from Atomistic GW/BSE Calculations

abstract: Atomistically detailed computational studies of nanocrystals, such as those derived from the promising lead-halide perovskites, are challenging due to the large number of atoms and lack of symmetries to exploit. Here, focusing on methylammonium lead iodide nanocrystals, we combine a real-space tight binding model with the GW approximation to the self-energy and obtain exciton wavefunctions and absorption spectra via solutions of the associated Bethe-Salpeter equation. We find that the size dependence of carrier confinement, dielectric contrast, electron-hole exchange, and exciton binding energies has a strong impact on the lowest excitation energy, which can be tuned by almost 1 eV over the diameter range of 2-6 nm. Our calculated excitation energies are about 0.2 eV higher than experimentally measured photoluminescence, and they display the same qualitative size dependence. Focusing on the fine structure of the band-edge excitons, we find that the lowest-lying exciton is spectroscopically dark and about 20-30 meV lower in energy than the higher-lying triplet of bright states, whose degeneracy is slightly broken by crystal field effects.


title: Automated Medical Device Display Reading Using Deep Learning Object Detection

abstract: Telemedicine and mobile health applications, especially during the quarantine imposed by the covid-19 pandemic, led to an increase on the need of transferring health monitor readings from patients to specialists. Considering that most home medical devices use seven-segment displays, an automatic display reading algorithm should provide a more reliable tool for remote health care. This work proposes an end-to-end method for detection and reading seven-segment displays from medical devices based on deep learning object detection models. Two state of the art model families, EfficientDet and EfficientDet-lite, previously trained with the MS-COCO dataset, were fine-tuned on a dataset comprised by medical devices photos taken with mobile digital cameras, to simulate real case applications. Evaluation of the trained model show high efficiency, where all models achieved more than 98% of detection precision and more than 98% classification accuracy, with model EfficientDet-lite1 showing 100% detection precision and 100% correct digit classification for a test set of 104 images and 438 digits.


title: A new proof of an inequality of Bourgain

abstract: The purpose of this short note is to demonstrate how some techniques from additive combinatorics recently developed by Peluse and Peluse-Prendiville can be applied to give an alternative proof for a trilinear smoothing inequality originally due to Bourgain.


title: Rainbow spanning trees in randomly coloured $G_{k-out}$

abstract: Given a graph $G=(V,E)$ on $n$ vertices and an assignment of colours to its edges, a set of edges $S \subseteq E$ is said to be rainbow if edges from $S$ have pairwise different colours assigned to them. In this paper, we investigate rainbow spanning trees in randomly coloured random $G_{k-out}$ graphs.


title: Mordell-Weil groups and automorphism groups of elliptic K3 surfaces

abstract: We present a method to calculate the action of the Mordell-Weil group of an elliptic K3 surface on the numerical N\'eron-Severi lattice of the K3 surface. As an application, we compute a finite generating set of the automorphism group of a K3 surface birational to the double plane branched along a 6-cuspidal sextic curve of torus type.


title: Active Learning for Regression with Aggregated Outputs

abstract: Due to the privacy protection or the difficulty of data collection, we cannot observe individual outputs for each instance, but we can observe aggregated outputs that are summed over multiple instances in a set in some real-world applications. To reduce the labeling cost for training regression models for such aggregated data, we propose an active learning method that sequentially selects sets to be labeled to improve the predictive performance with fewer labeled sets. For the selection measurement, the proposed method uses the mutual information, which quantifies the reduction of the uncertainty of the model parameters by observing the aggregated output. With Bayesian linear basis functions for modeling outputs given an input, which include approximated Gaussian processes and neural networks, we can efficiently calculate the mutual information in a closed form. With the experiments using various datasets, we demonstrate that the proposed method achieves better predictive performance with fewer labeled sets than existing methods.


title: Doubly-Irregular Repeat-Accumulate Codes over Integer Rings for Multi-user Communications

abstract: Structured codes based on lattices were shown to provide enlarged capacity for multi-user communication networks. In this paper, we study capacity-approaching irregular repeat accumulate (IRA) codes over integer rings $\mathbb{Z}_{2^{m}}$ for $2^m$-PAM signaling, $m=1,2,\cdots$. Such codes feature the property that the integer sum of $K$ codewords belongs to the extended codebook (or lattice) w.r.t. the base code. With it, \emph{% structured binning} can be utilized and the gains promised in lattice based network information theory can be materialized in practice. In designing IRA ring codes, we first analyze the effect of zero-divisors of integer ring on the iterative belief-propagation (BP) decoding, and show the invalidity of symmetric Gaussian approximation. Then we propose a doubly IRA (D-IRA) ring code structure, consisting of \emph{irregular multiplier distribution} and \emph{irregular node-degree distribution}, that can restore the symmetry and optimize the BP decoding threshold. For point-to-point AWGN channel with $% 2^m $-PAM inputs, D-IRA ring codes perform as low as 0.29 dB to the capacity limits, outperforming existing bit-interleaved coded-modulation (BICM) and IRA modulation codes over GF($2^m$). We then proceed to design D-IRA ring codes for two important multi-user communication setups, namely compute-forward (CF) and dirty paper coding (DPC), with $2^m$-PAM signaling. With it, a physical-layer network coding scheme yields a gap to the CF limit by 0.24 dB, and a simple linear DPC scheme exhibits a gap to the capacity by 0.91 dB.


title: Double series for $\pi$ and their $q$-analogues

abstract: With the help of the partial derivative operator and several summation formulas for hypergeometric series, we find three double series for $\pi$. In terms of the operator just stated and several summation formulas for basic hypergeometric series, we also establish $q$-analogues of these double series.


title: Automatic Reconfiguration of Untimed Discrete-Event Systems

abstract: This work introduces a general formulation of the reconfiguration problem for untimed discrete-event systems (DES), which can be treated directly by supervisory control theory (SCT). To model the reconfiguration requirements we introduce the concept of reconfiguration specification (RS); here reconfiguration events (RE) are introduced to force a transition from one system configuration to another. Standard SCT synthesis is employed to obtain a reconfiguration supervisor (RSUP) in which designated states serve as the source states for RE. The reconfiguration problem itself is formulated as that of establishing guaranteed finite reachability of a desired RE source state in RSUP from the current state in RSUP at which a change in configuration is commanded by an external user. The solvability (or otherwise) of this reachability problem is established by backtracking as in standard dynamic programming.


title: Average area ratio and normalized total scalar curvature of hyperbolic n-manifolds

abstract: On closed hyperbolic manifolds of dimension $n\geq 3$, we review the definition of the average area ratio of a metric $h$ with $R_h\geq -n(n-1)$ relative to the hyperbolic metric $h_0$, and we prove that it attains the local minimum of one at $h_0$, which solves a local version of Gromov's conjecture. Additionally, we discuss the relation between the average area ratio and normalized total scalar curvature for hyperbolic $n$-manifolds, as well as its relation to the minimal surface entropy if $n$ is odd.


title: Averaging principle for slow-fast systems of rough differential equations via controlled paths

abstract: In this paper we prove the strong averaging principle for a slow-fast system of rough differential equations. The slow and the fast component of the system are driven by a rather general random rough path and Brownian rough path, respectively. These two driving noises are assumed to be independent. A prominent example of the driver of the slow component is fractional Brownian rough path with Hurst parameter between 1/3 and 1/2. We work in the framework of controlled path theory, which is one of the most widely-used frameworks in rough path theory. To prove our main theorem, we carry out Khas'minskii's time-discretizing method in this framework.


title: Conceptual Modeling Applied to Data Semantics

abstract: In software system design, one of the purposes of diagrammatic modeling is to explain something (e.g., data tables) to others. Very often, syntax of diagrams is specified while the intended meaning of diagrammatic constructs remains intuitive and approximate. Conceptual modeling has been developed to capture concepts and their interactions with each other in the intended domain and to represent structural and behavioral features of the modeled system. This paper is a venture into diagrammatic approaches to the semantics of modeling notations, with a focus on data and graph semantics. The first decade of the new millennium has seen several new world-changing businesses spring to life (e.g., Google and Twitter), that have put connected data at the center of their trade. Harnessing such data requires significant effort and expertise, and it quickly becomes prohibitively expensive. One solution involves building graph-based data models, which is a challenging problem. In many applications, the utilized software is managing not just objects as well as isolated and discrete data items but also the connections between them. Data semantics is a key ingredient to construct a model that explicitly describes the relationships between data objects. In this paper, we claim that current ad hoc graphs that attempt to provide semantics to data structures (e.g., relational tables and tabular SQL) are problematic. These graphs mix static abstract concepts with dynamic specification of objects (particulars). Such a claim is supported by analysis that applies the thinging machine (TM) model to provide diagrammatic representations of data (e.g., Neo4J graphs). The study s results show that to take advantage of graph algorithms and simultaneously achieve appropriate data semantics, the data graphs should be developed as simplified forms of TM.


title: Symmetric Nash equilibrium of political polarization in a two-party system

abstract: The median-voter hypothesis (MVH) predicts convergence of two party platforms across a one-dimensional political spectrum during majoritarian elections. From the viewpoint of the MVH, an explanation of polarization is that each election has a different median voter so that a party cannot please all the median voters at the same time. We consider two parties competing to win voters along a one-dimensional spectrum and assume that each party nominates one candidate out of two in the primary election, for which the electorates represent only one side of the whole population. We argue that all the four candidates will come to the same distance from the median of the total population through best-response dynamics.


title: Compressed CPD-Based Channel Estimation and Joint Beamforming for RIS-Assisted Millimeter Wave Communications

abstract: We consider the problem of channel estimation and joint active and passive beamforming for reconfigurable intelligent surface (RIS) assisted millimeter wave (mmWave) multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems. We show that, with a well-designed frame-based training protocol, the received pilot signal can be organized into a low-rank third-order tensor that admits a canonical polyadic decomposition (CPD). Based on this observation, we propose two CPD-based methods for estimating the cascade channels associated with different subcarriers. The proposed methods exploit the intrinsic low-rankness of the CPD formulation, which is a result of the sparse scattering characteristics of mmWave channels, and thus have the potential to achieve a significant training overhead reduction. Specifically, our analysis shows that the proposed methods have a sample complexity that scales quadratically with the sparsity of the cascade channel. Also, by utilizing the singular value decomposition-like structure of the effective channel, this paper develops a joint active and passive beamforming method based on the estimated cascade channels. Simulation results show that the proposed CPD-based channel estimation methods attain mean square errors that are close to the Cramer-Rao bound (CRB) and present a clear advantage over the compressed sensing-based method. In addition, the proposed joint beamforming method can effectively utilize the estimated channel parameters to achieve superior beamforming performance.


title: Learning to Collocate Visual-Linguistic Neural Modules for Image Captioning

abstract: Humans tend to decompose a sentence into different parts like \textsc{sth do sth at someplace} and then fill each part with certain content. Inspired by this, we follow the \textit{principle of modular design} to propose a novel image captioner: learning to Collocate Visual-Linguistic Neural Modules (CVLNM). Unlike the \re{widely used} neural module networks in VQA, where the language (\ie, question) is fully observable, \re{the task of collocating visual-linguistic modules is more challenging.} This is because the language is only partially observable, for which we need to dynamically collocate the modules during the process of image captioning. To sum up, we make the following technical contributions to design and train our CVLNM: 1) \textit{distinguishable module design} -- \re{four modules in the encoder} including one linguistic module for function words and three visual modules for different content words (\ie, noun, adjective, and verb) and another linguistic one in the decoder for commonsense reasoning, 2) a self-attention based \textit{module controller} for robustifying the visual reasoning, 3) a part-of-speech based \textit{syntax loss} imposed on the module controller for further regularizing the training of our CVLNM. Extensive experiments on the MS-COCO dataset show that our CVLNM is more effective, \eg, achieving a new state-of-the-art 129.5 CIDEr-D, and more robust, \eg, being less likely to overfit to dataset bias and suffering less when fewer training samples are available. Codes are available at \url{https://github.com/GCYZSL/CVLMN}


title: Non-gaussianity of optical emission lines in SDSS star-forming galaxies and its implications on galactic outflows

abstract: The shape of emission lines in the optical spectra of star-forming galaxies reveals the kinematics of the diffuse gaseous component. We analyse the shape of prominent emission lines in a sample of ~53,000 star-forming galaxies from the Sloan Digital Sky Survey, focusing on departures from gaussianity. Departures from a single gaussian profile allow us to probe the motion of gas and to assess the role of outflows. The sample is divided into groups according to their stellar velocity dispersion and star formation rate. The spectra within each group are stacked to improve the signal-to-noise ratio of the emission lines, to remove individual signatures, and to enhance the effect of star formation rate on the shapes of the emission lines. The moments of the emission lines, including kurtosis and skewness, are determined. We find that most of the emission lines in strong star-forming systems unequivocally feature negative kurtosis. This signature is present in H$\beta$, H$\alpha$, [N II] and [S II] in massive galaxies with high star formation rates. We attribute it as evidence of radial outflows of ionised gas driven by the star formation of the galaxies. Also, most of the emission lines in low-mass systems with high star formation rates feature negative skewness, and we interpret it as evidence of dust obscuration in the galactic disk. These signatures are however absent in the [O III] line, which is believed to trace a different gas component. The observed trend is significantly stronger in face-on galaxies, indicating that star formation drives the outflows along the galactic rotation axis, presumably the path of least resistance. The data suggest that outflows driven by star formation exert accumulated impacts on the interstellar medium, and the outflow signature is more evident in older galaxies as they have experienced a longer total duration of star formation.


title: Safe Self-Supervised Learning in Real of Visuo-Tactile Feedback Policies for Industrial Insertion

abstract: Industrial insertion tasks are often performed repetitively with parts that are subject to tight tolerances and prone to breakage. Learning an industrial insertion policy in real is challenging as the collision between the parts and the environment can cause slippage or breakage of the part. In this paper, we present a safe self-supervised method to learn a visuo-tactile insertion policy that is robust to grasp pose variations. The method reduces human input and collisions between the part and the receptacle. The method divides the insertion task into two phases. In the first align phase, a tactile-based grasp pose estimation model is learned to align the insertion part with the receptacle. In the second insert phase, a vision-based policy is learned to guide the part into the receptacle. The robot uses force-torque sensing to achieve a safe self-supervised data collection pipeline. Physical experiments on the USB insertion task from the NIST Assembly Taskboard suggest that the resulting policies can achieve 45/45 insertion successes on 45 different initial grasp poses, improving on two baselines: (1) a behavior cloning agent trained on 50 human insertion demonstrations (1/45) and (2) an online RL policy (TD3) trained in real (0/45).


title: Safe and Stable Control Synthesis for Uncertain System Models via Distributionally Robust Optimization

abstract: This paper considers enforcing safety and stability of dynamical systems in the presence of model uncertainty. Safety and stability constraints may be specified using a control barrier function (CBF) and a control Lyapunov function (CLF), respectively. To take model uncertainty into account, robust and chance formulations of the constraints are commonly considered. However, this requires known error bounds or a known distribution for the model uncertainty, and the resulting formulations may suffer from over-conservatism or over-confidence. In this paper, we assume that only a finite set of model parametric uncertainty samples is available and formulate a distributionally robust chance-constrained program (DRCCP) for control synthesis with CBF safety and CLF stability guarantees. To facilitate efficient computation of control inputs during online execution, we present a reformulation of the DRCCP as a second-order cone program (SOCP). Our formulation is evaluated in an adaptive cruise control example in comparison to 1) a baseline CLF-CBF quadratic programming approach, 2) a robust approach that assumes known error bounds of the system uncertainty, and 3) a chance-constrained approach that assumes a known Gaussian Process distribution of the uncertainty.


title: Estimating heterogeneous treatment effects versus building individualized treatment rules: Connection and disconnection

abstract: Estimating heterogeneous treatment effects is a well-studied topic in the statistics literature. More recently, it has regained attention due to an increasing need for precision medicine as well as the increased use of state-of-art machine learning methods in the estimation. Furthermore, estimating heterogeneous treatment effects is directly related to building an individualized treatment rule, which is a decision rule of treatment according to patient characteristics. This paper examines the connection and disconnection between these two research problems. Notably, a better estimation of the heterogeneous treatment effects may or may not lead to a better individualized treatment rule. We provide theoretical frameworks to explain the connection and disconnection and demonstrate two different scenarios through simulations. Our conclusion sheds light on a practical guide that under certain circumstances, there is no need to enhance estimation of the treatment effects, as it does not alter the treatment decision.


title: The Surprising Computational Power of Nondeterministic Stack RNNs

abstract: Traditional recurrent neural networks (RNNs) have a fixed, finite number of memory cells. In theory (assuming bounded range and precision), this limits their formal language recognition power to regular languages, and in practice, RNNs have been shown to be unable to learn many context-free languages (CFLs). In order to expand the class of languages RNNs recognize, prior work has augmented RNNs with a nondeterministic stack data structure, putting them on par with pushdown automata and increasing their language recognition power to CFLs. Nondeterminism is needed for recognizing all CFLs (not just deterministic CFLs), but in this paper, we show that nondeterminism and the neural controller interact to produce two more unexpected abilities. First, the nondeterministic stack RNN can recognize not only CFLs, but also many non-context-free languages. Second, it can recognize languages with much larger alphabet sizes than one might expect given the size of its stack alphabet. Finally, to increase the information capacity in the stack and allow it to solve more complicated tasks with large alphabet sizes, we propose a new version of the nondeterministic stack that simulates stacks of vectors rather than discrete symbols. We demonstrate perplexity improvements with this new model on the Penn Treebank language modeling benchmark.


title: Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective

abstract: Data-driven decision making is becoming an integral part of manufacturing companies. Data is collected and commonly used to improve efficiency and produce high quality items for the customers. IoT-based and other forms of object tracking are an emerging tool for collecting movement data of objects/entities (e.g. human workers, moving vehicles, trolleys etc.) over space and time. Movement data can provide valuable insights like process bottlenecks, resource utilization, effective working time etc. that can be used for decision making and improving efficiency. Turning movement data into valuable information for industrial management and decision making requires analysis methods. We refer to this process as movement analytics. The purpose of this document is to review the current state of work for movement analytics both in manufacturing and more broadly. We survey relevant work from both a theoretical perspective and an application perspective. From the theoretical perspective, we put an emphasis on useful methods from two research areas: machine learning, and logic-based knowledge representation. We also review their combinations in view of movement analytics, and we discuss promising areas for future development and application. Furthermore, we touch on constraint optimization. From an application perspective, we review applications of these methods to movement analytics in a general sense and across various industries. We also describe currently available commercial off-the-shelf products for tracking in manufacturing, and we overview main concepts of digital twins and their applications.


title: Lecture notes on generalized Monge-Amp\`ere equations and subvarieties

abstract: These are the lecture notes for the Morningside Center of Mathematics Geometry Summer School on August 15-20, 2022. These lectures sketch the results by Yau, Demailly-Paun, the author, and Datar-Pingali about generalized Monge-Amp\`ere equations and subvarieties and aim to use these results to study the Hodge conjecture.


title: ImmFusion: Robust mmWave-RGB Fusion for 3D Human Body Reconstruction in All Weather Conditions

abstract: 3D human reconstruction from RGB images achieves decent results in good weather conditions but degrades dramatically in rough weather. Complementary, mmWave radars have been employed to reconstruct 3D human joints and meshes in rough weather. However, combining RGB and mmWave signals for robust all-weather 3D human reconstruction is still an open challenge, given the sparse nature of mmWave and the vulnerability of RGB images. In this paper, we present ImmFusion, the first mmWave-RGB fusion solution to reconstruct 3D human bodies in all weather conditions robustly. Specifically, our ImmFusion consists of image and point backbones for token feature extraction and a Transformer module for token fusion. The image and point backbones refine global and local features from original data, and the Fusion Transformer Module aims for effective information fusion of two modalities by dynamically selecting informative tokens. Extensive experiments on a large-scale dataset, mmBody, captured in various environments demonstrate that ImmFusion can efficiently utilize the information of two modalities to achieve a robust 3D human body reconstruction in all weather conditions. In addition, our method's accuracy is significantly superior to that of state-of-the-art Transformer-based LiDAR-camera fusion methods.


title: A biological approach to metalworking based on chitinous colloids and composites

abstract: Biological systems evolve with minimum metabolic costs and use common components, and they represent guideposts toward a paradigm of manufacturing that is centered on minimum energy, local resources, and ecological integration. Here, we demonstrate a new biological method of working metal that exploits the unique ability of chitin to incorporate metals into the arthropod cuticle in order to aggregate colloidal suspensions of different metals into solid ultra-low-binder-content composites. These composites, which can contain more than 99.5% metal, simultaneously show both biological affinity and the electrical conductivity and durability of metals. This approach stands in contrast with existing energy-demanding metalworking methods, taking place at ambient temperature and pressure and being driven by water exchange. Furthermore, all the nonmetallic components involved are metabolized in large amounts in every ecosystem. Under these conditions, we demonstrate the ability of the composites to be printed and cast into functional shapes with metallic characteristics. The affinity of chitometallic composites for other biological components also allows them to infuse metallic characteristics into other biomaterials. Our findings and robust manufacturing examples go well beyond basic demonstrations and offer a generalizable new approach to metalworking. We highlight the potential for a paradigm shift toward structural biomaterials based on their unique characteristics and native manufacturing methods.


title: Fast Saturating Gate for Learning Long Time Scales with Recurrent Neural Networks

abstract: Gate functions in recurrent models, such as an LSTM and GRU, play a central role in learning various time scales in modeling time series data by using a bounded activation function. However, it is difficult to train gates to capture extremely long time scales due to gradient vanishing of the bounded function for large inputs, which is known as the saturation problem. We closely analyze the relation between saturation of the gate function and efficiency of the training. We prove that the gradient vanishing of the gate function can be mitigated by accelerating the convergence of the saturating function, i.e., making the output of the function converge to 0 or 1 faster. Based on the analysis results, we propose a gate function called fast gate that has a doubly exponential convergence rate with respect to inputs by simple function composition. We empirically show that our method outperforms previous methods in accuracy and computational efficiency on benchmark tasks involving extremely long time scales.


title: Distance Based Image Classification: A solution to generative classification's conundrum?

abstract: Most classifiers rely on discriminative boundaries that separate instances of each class from everything else. We argue that discriminative boundaries are counter-intuitive as they define semantics by what-they-are-not; and should be replaced by generative classifiers which define semantics by what-they-are. Unfortunately, generative classifiers are significantly less accurate. This may be caused by the tendency of generative models to focus on easy to model semantic generative factors and ignore non-semantic factors that are important but difficult to model. We propose a new generative model in which semantic factors are accommodated by shell theory's hierarchical generative process and non-semantic factors by an instance specific noise term. We use the model to develop a classification scheme which suppresses the impact of noise while preserving semantic cues. The result is a surprisingly accurate generative classifier, that takes the form of a modified nearest-neighbor algorithm; we term it distance classification. Unlike discriminative classifiers, a distance classifier: defines semantics by what-they-are; is amenable to incremental updates; and scales well with the number of classes.


title: Partial degeneration of finite gap solutions to the Korteweg-de Vries equation: soliton gas and scattering on elliptic background

abstract: We obtain Fredholm type formulas for partial degenerations of Theta functions on (irreducible) nodal curves of arbitrary genus, with emphasis on nodal curves of genus one. An application is the study of "many-soliton" solutions on an elliptic (cnoidal) background standing wave for the Korteweg-de Vries (KdV) equation starting from a formula that is reminiscent of the classical Kay-Moses formula for $N$-solitons. In particular, we represent such a solution as a sum of the following two terms: a ``shifted" elliptic (cnoidal) background wave and a Kay-Moses type determinant containing Jacobi theta functions for the solitonic content, which can be viewed as a collection of solitary disturbances on the cnoidal background. The expressions for the traveling (group) speed of these solitary disturbances, as well as for the interaction kernel describing the scattering of pairs of such solitary disturbances, are obtained explicitly in terms of Jacobi theta functions. We also show that genus $N+1$ finite gap solutions with random initial phases converge in probability to the deterministic cnoidal wave solution as $N$ bands degenerate to a nodal curve of genus one. Finally, we derive the nonlinear dispersion relations and the equation of states for the KdV soliton gas on the residual elliptic background.


title: Less is More: Task-aware Layer-wise Distillation for Language Model Compression

abstract: Layer-wise distillation is a powerful tool to compress large models (i.e. teacher models) into small ones (i.e., student models). The student distills knowledge from the teacher by mimicking the hidden representations of the teacher at every intermediate layer. However, layer-wise distillation is difficult. Since the student has a smaller model capacity than the teacher, it is often under-fitted. Furthermore, the hidden representations of the teacher contain redundant information that the student does not necessarily need for the target task's learning. To address these challenges, we propose a novel Task-aware layEr-wise Distillation (TED). TED designs task-aware filters to align the hidden representations of the student and the teacher at each layer. The filters select the knowledge that is useful for the target task from the hidden representations. As such, TED reduces the knowledge gap between the two models and helps the student to fit better on the target task. We evaluate TED in two scenarios: continual pre-training and fine-tuning. TED demonstrates significant and consistent improvements over existing distillation methods in both scenarios. Code is available at https://github.com/cliang1453/task-aware-distillation.


title: Diffuse $\gamma$-ray emission around the massive star forming region of Carina Nebula Complex

abstract: We report the Fermi Large Area Telescope (Fermi-LAT) detection of the $\gamma$-ray emission toward the massive star forming region of Carina Nebula Complex (CNC). Using the latest source catalog and diffuse background models, we found that the GeV $\gamma$-ray emission in this region can be resolved into three different components. The GeV $\gamma$-ray emission from the central point source is considered to originate from the Eta Carina ($\eta$ Car). We further found the diffuse GeV $\gamma$-ray emission around the CNC which can be modelled by two Gaussian disks with radii of 0.4\deg (region A) and 0.75\deg (region B), respectively. The GeV $\gamma$-ray emission from both the regions A and B have good spatial consistency with the derived molecular gas in projection on the sky. The GeV $\gamma$-ray emission of region A reveals a characteristic spectral shape of the pion-decay process, which indicates that the $\gamma$-rays are produced by the interactions of hadronic cosmic rays with ambient gas. The $\gamma$-rays spectrum of region B has a hard photon index of 2.12 $\pm$ 0.02, which is similar to other young massive star clusters. We argue that the diffuse GeV $\gamma$-ray emission in region A and region B likely originate from the interaction of accelerated protons in clusters with the ambient gas.


title: Pay Self-Attention to Audio-Visual Navigation

abstract: Audio-visual embodied navigation, as a hot research topic, aims training a robot to reach an audio target using egocentric visual (from the sensors mounted on the robot) and audio (emitted from the target) input. The audio-visual information fusion strategy is naturally important to the navigation performance, but the state-of-the-art methods still simply concatenate the visual and audio features, potentially ignoring the direct impact of context. Moreover, the existing approaches requires either phase-wise training or additional aid (e.g. topology graph and sound semantics). Up till this date, the work that deals with the more challenging setup with moving target(s) is still rare. As a result, we propose an end-to-end framework FSAAVN (feature self-attention audio-visual navigation) to learn chasing after a moving audio target using a context-aware audio-visual fusion strategy implemented as a self-attention module. Our thorough experiments validate the superior performance (both quantitatively and qualitatively) of FSAAVN in comparison with the state-of-the-arts, and also provide unique insights about the choice of visual modalities, visual/audio encoder backbones and fusion patterns.


title: Compositions of Multiple Control Barrier Functions Under Input Constraints

abstract: This paper presents a methodology for ensuring that the composition of multiple Control Barrier Functions (CBFs) always leads to feasible conditions on the control input, even in the presence of input constraints. In the case of a system subject to a single constraint function, there exist many methods to generate a CBF that ensures constraint satisfaction. However, when there are multiple constraint functions, the problem of finding and tuning one or more CBFs becomes more challenging, especially in the presence of input constraints. This paper addresses this challenge by providing tools to 1) decouple the design of multiple CBFs, so that a CBF can be designed for each constraint function independently of other constraints, and 2) ensure that the set composed from all the CBFs together is a viability domain. Thus, a quadratic program subject to all the CBFs simultaneously is always feasible. The utility of this methodology is then demonstrated in simulation for a nonlinear orientation control system.


title: Quench dynamics in the Jaynes-Cummings-Hubbard and Dicke models

abstract: Both the Jaynes-Cummings-Hubbard (JCH) and Dicke models can be thought of as idealised models of a quantum battery. In this paper we numerically investigate the charging properties of both of these models. The two models differ in how the two-level systems are contained in cavities. In the Dicke model, the $N$ two-level systems are contained in a single cavity, while in the JCH model the two-level systems each have their own cavity and are able to pass photons between them. In each of these models we consider a scenario where the two-level systems start in the ground state and the coupling parameter between the photon and the two-level systems is quenched. Each of these models display a maximum charging power that scales with the size of the battery $N$ and no super charging was found. Charging power also scales with the square root of the average number of photons per two-level system $m$ for both models. Finally, in the JCH model, the power was found to charge inversely with the square root of the photon-cavity coupling $\kappa$.


title: Panoramic SETI: Program Update and High-Energy Astrophysics Applications

abstract: Optical SETI (Search for Extraterrestrial Intelligence) instruments that can explore the very fast time domain, especially with large sky coverage, offer an opportunity for new discoveries that can complement multimessenger and time domain astrophysics. The Panoramic SETI experiment (PANOSETI) aims to observe optical transients with nanosecond to second duration over a wide field-of-view ($\thicksim$2,500 sq.deg.) by using two assemblies of tens of telescopes to reject spurious signals by coincidence detection. Three PANOSETI telescopes, connected to a White Rabbit timing network used to synchronize clocks at the nanosecond level, have been deployed at Lick Observatory on two sites separated by a distance of 677 meters to distinguish nearby light sources (such as Cherenkov light from particle showers in the Earth's atmosphere) from astrophysical sources at large distances. In parallel to this deployment, we present results obtained during four nights of simultaneous observations with the four 12-meter VERITAS gamma-ray telescopes and two PANOSETI telescopes at the Fred Lawrence Whipple Observatory. We report PANOSETI's first detection of astrophysical gamma rays, comprising three events with energies in the range between $\thicksim$15 TeV and $\thicksim$50 TeV. These were emitted by the Crab Nebula, and identified as gamma rays using joint VERITAS observations.


title: UltraBots: Large-Area Mid-Air Haptics for VR with Robotically Actuated Ultrasound Transducers

abstract: We introduce UltraBots, a system that combines ultrasound haptic feedback and robotic actuation for large-area mid-air haptics for VR. Ultrasound haptics can provide precise mid-air haptic feedback and versatile shape rendering, but the interaction area is often limited by the small size of the ultrasound devices, restricting the possible interactions for VR. To address this problem, this paper introduces a novel approach that combines robotic actuation with ultrasound haptics. More specifically, we will attach ultrasound transducer arrays to tabletop mobile robots or robotic arms for scalable, extendable, and translatable interaction areas. We plan to use Sony Toio robots for 2D translation and/or commercially available robotic arms for 3D translation. Using robotic actuation and hand tracking measured by a VR HMD (e.g., Oculus Quest), our system can keep the ultrasound transducers underneath the user's hands to provide on-demand haptics. We demonstrate applications with workspace environments, medical training, education and entertainment.


title: A Methodology to Generate Crystal-based Molecular Structures for Atomistic Simulations

abstract: We propose a systematic method to construct crystal-based molecular structures often needed as input for computational chemistry studies. These structures include crystal ``slabs" with periodic boundary conditions (PBCs) and non-periodic solids such as Wulff structures. We also introduce a method to build crystal slabs with orthogonal PBC vectors. These methods are integrated into our code, Los Alamos Crystal Cut (LCC), which is open source and thus fully available to the community. Examples showing the use of these methods are given throughout the manuscript.


title: Tumor boundary instability induced by nutrient consumption and supply

abstract: We investigate the tumor boundary instability induced by nutrient consumption and supply based on a Hele-Shaw model derived from taking the incompressible limit of a cell density model. We analyze the boundary stability/instability in two scenarios: 1) the front of the traveling wave; 2) the radially symmetric boundary. In each scenario, we investigate the boundary behaviors under two different nutrient supply regimes, in vitro, and in vivo. Our main conclusion is that for either scenario, the in vitro regime always stabilizes the tumor's boundary regardless of the nutrient consumption rate. However, boundary instability may occur when the tumor cells aggressively consume nutrients, and the nutrient supply is governed by the in vivo regime.


title: Learning an Invertible Output Mapping Can Mitigate Simplicity Bias in Neural Networks

abstract: Deep Neural Networks are known to be brittle to even minor distribution shifts compared to the training distribution. While one line of work has demonstrated that Simplicity Bias (SB) of DNNs - bias towards learning only the simplest features - is a key reason for this brittleness, another recent line of work has surprisingly found that diverse/ complex features are indeed learned by the backbone, and their brittleness is due to the linear classification head relying primarily on the simplest features. To bridge the gap between these two lines of work, we first hypothesize and verify that while SB may not altogether preclude learning complex features, it amplifies simpler features over complex ones. Namely, simple features are replicated several times in the learned representations while complex features might not be replicated. This phenomenon, we term Feature Replication Hypothesis, coupled with the Implicit Bias of SGD to converge to maximum margin solutions in the feature space, leads the models to rely mostly on the simple features for classification. To mitigate this bias, we propose Feature Reconstruction Regularizer (FRR) to ensure that the learned features can be reconstructed back from the logits. The use of {\em FRR} in linear layer training (FRR-L) encourages the use of more diverse features for classification. We further propose to finetune the full network by freezing the weights of the linear layer trained using FRR-L, to refine the learned features, making them more suitable for classification. Using this simple solution, we demonstrate up to 15% gains in OOD accuracy on the recently introduced semi-synthetic datasets with extreme distribution shifts. Moreover, we demonstrate noteworthy gains over existing SOTA methods on the standard OOD benchmark DomainBed as well.


title: Uncertainty-Aware Lidar Place Recognition in Novel Environments

abstract: State-of-the-art lidar place recognition models exhibit unreliable performance when tested on environments different from their training dataset, which limits their use in complex and evolving environments. To address this issue, we investigate the task of uncertainty-aware lidar place recognition, where each predicted place must have an associated uncertainty that can be used to identify and reject incorrect predictions. We introduce a novel evaluation protocol and present the first comprehensive benchmark for this task, testing across five uncertainty estimation techniques and three large-scale datasets. Our results show that an Ensembles approach is the highest performing technique, consistently improving the performance of lidar place recognition and uncertainty estimation in novel environments, though it incurs a computational cost. Code is publicly available at https://github.com/csiro-robotics/Uncertainty-LPR.


title: HapticLever: Kinematic Force Feedback using a 3D Pantograph

abstract: HapticLever is a new kinematic approach for VR haptics which uses a 3D pantograph to stiffly render large-scale surfaces using small-scale proxies. The HapticLever approach does not consume power to render forces, but rather puts a mechanical constraint on the end effector using a small-scale proxy surface. The HapticLever approach provides stiff force feedback when the user interacts with a static virtual surface, but allows the user to move their arm freely when moving through free virtual space. We present the problem space, the related work, and the HapticLever design approach.


title: Connecting Surrogate Safety Measures to Crash Probablity via Causal Probabilistic Time Series Prediction

abstract: Surrogate safety measures can provide fast and pro-active safety analysis and give insights on the pre-crash process and crash failure mechanism by studying near misses. However, validating surrogate safety measures by connecting them to crashes is still an open question. This paper proposed a method to connect surrogate safety measures to crash probability using probabilistic time series prediction. The method used sequences of speed, acceleration and time-to-collision to estimate the probability density functions of those variables with transformer masked autoregressive flow (transformer-MAF). The autoregressive structure mimicked the causal relationship between condition, action and crash outcome and the probability density functions are used to calculate the conditional action probability, crash probability and conditional crash probability. The predicted sequence is accurate and the estimated probability is reasonable under both traffic conflict context and normal interaction context and the conditional crash probability shows the effectiveness of evasive action to avoid crashes in a counterfactual experiment.


title: Two-Player Reconnaissance Game with Half-Planar Target and Retreat Regions

abstract: This paper is concerned with the reconnaissance game that involves two mobile agents: the Intruder and the Defender. The Intruder is tasked to reconnoiter a territory of interest (target region) and then return to a safe zone (retreat region), where the two regions are disjoint half-planes, while being chased by the faster Defender. This paper focuses on the scenario where the Defender is not guaranteed to capture the Intruder before the latter agent reaches the retreat region. The goal of the Intruder is to minimize its distance to the target region, whereas the Defender's goal is to maximize the same distance. The game is decomposed into two phases based on the Intruder's myopic goal. The complete solution of the game corresponding to each phase, namely the Value function and state-feedback equilibrium strategies, is developed in closed-form using differential game methods. Numerical simulation results are presented to showcase the efficacy of our solutions.


title: Communication in Immersive Social Virtual Reality: A Systematic Review of 10 Years' Studies

abstract: As virtual reality (VR) technologies have improved in the past decade, more research has investigated how they could support more effective communication in various contexts to improve collaboration and social connectedness. However, there was no literature to summarize the uniqueness VR provided and put forward guidance for designing social VR applications for better communication. To understand how VR has been designed and used to facilitate communication in different contexts, we conducted a systematic review of the studies investigating communication in social VR in the past ten years by following the PRISMA guidelines. We highlight current practices and challenges and identify research opportunities to improve the design of social VR to better support communication and make social VR more accessible.


title: Toric varieties with ample tangent bundle

abstract: We give a simple combinatorial proof of the toric version of Mori's theorem that the only $n$-dimensional smooth projective varieties with ample tangent bundle are the projective spaces $\mathbb{P}^n$.


title: MyElas: An automatized tool-kit for high-throughput calculation, post-processing and visualization of elasticity and related properties of solids

abstract: Elasticity is one of the most fundamental mechanical properties of solid. In high-throughput design of advanced materials, there is an imperative demand for the capability to quickly calculate and screen a massive pool of candidate structures. A fully automatized pipeline with minimal human intervention is the key to provide high efficiency to achieve the goal. Here, we introduce a tool-kit MyElas that aims to address this problem by forging all pre-processing, elastic constant and other related property calculations, and post-processing into an integrated framework that automatically performs the assigned tasks to drive data flowing through parallelized pipelines from input to output. The core of MyElas is to calculate the second and third order elastic constants of a solid with the energy-strain method from first-principles. MyElas can auto-analyze the elastic constants, to derive other related physical quantities. Furthermore, the tool-kit also integrates a visualization function, which can, for example, plot the spatial anisotropy of elastic modulus and sound velocity of monocrystalline. The validity and efficiency of the toolkit are tested and bench-marked on several typical systems.