title: Interval groups related to finite Coxeter groups, Part II

abstract: We provide a complete description of the presentations of the interval groups related to quasi-Coxeter elements in finite Coxeter groups. In the simply laced cases, we show that each interval group is the quotient of the Artin group associated with the corresponding Carter diagram by the normal closure of a set of twisted cycle commutators, one for each 4-cycle of the diagram. Our techniques also reprove an analogous result for the Artin groups of finite Coxeter groups, which are interval groups corresponding to Coxeter elements. We also analyse the situation in the non-simply laced cases, where a new Garside structure is discovered. Furthermore, we obtain a complete classification of whether the interval group we consider is isomorphic or not to the related Artin group. Indeed, using methods of Tits, we prove that the interval groups of proper quasi-Coxeter elements are not isomorphic to the Artin groups of the same type, in the case of $D_n$ when $n$ is even or in any of the exceptional cases. In [BHNR22], we show using different methods that this result holds for type $D_n$ for all $n \geq 4$.


title: Eliminating Electron Self-Repulsion

abstract: Problems of self-interaction arise in both classical and quantum field theories. To understand how such problems are to be addressed in a quantum theory of the Dirac and electromagnetic fields (quantum electrodynamics), we can start by analyzing a classical theory of these fields. In such a classical field theory, the electron has a spread-out distribution of charge that avoids some of the problems of self-interaction facing point charge models. However, there remains the problem that the electron will experience self-repulsion. This self-repulsion cannot be eliminated within classical field theory without also losing Coulomb interactions between distinct particles. But, electron self-repulsion can be eliminated from quantum electrodynamics in the Coulomb gauge by fully normal-ordering the Coulomb term in the Hamiltonian. After normal-ordering, the Coulomb term contains pieces describing attraction and repulsion between distinct particles and also pieces describing particle creation and annihilation, but no pieces describing self-repulsion.


title: Quadratically presented Gorenstein ideals

abstract: Let $J$ be a quadratically presented grade three Gorenstein ideal in the standard graded polynomial ring $R= k[x,y,z]$, where $k$ is a field. Assume that $R/J$ satisfies the weak Lefschetz property. We give the presentation matrix for $J$ in terms of the coefficients of a Macaulay inverse system for $J$. (This presentation matrix is an alternating matrix and $J$ is generated by the maximal order Pfaffians of the presentation matrix.) Our formulas are computer friendly; they involve only matrix multiplication; they do not involve multilinear algebra or complicated summations. As an application, we give the presentation matrix for $J_1=(x^{n+1},y^{n+1},z^{n+1}):(x+y+z)^{n+1}$, when $n$ is even and the characteristic of $k$ is zero. Generators for $J_1$ had been identified previously; but the presentation matrix for $J_1$ had not previously been known. The first step in our proof is to give improved formulas for the presentation matrix of a linearly presented grade three Gorenstein ideal $I$ in terms of the coefficients of the Macaulay inverse system for $I$.


title: 3D Object Detection for Autonomous Driving: A Comprehensive Survey

abstract: Autonomous driving, in recent years, has been receiving increasing attention for its potential to relieve drivers' burdens and improve the safety of driving. In modern autonomous driving pipelines, the perception system is an indispensable component, aiming to accurately estimate the status of surrounding environments and provide reliable observations for prediction and planning. 3D object detection, which intelligently predicts the locations, sizes, and categories of the critical 3D objects near an autonomous vehicle, is an important part of a perception system. This paper reviews the advances in 3D object detection for autonomous driving. First, we introduce the background of 3D object detection and discuss the challenges in this task. Second, we conduct a comprehensive survey of the progress in 3D object detection from the aspects of models and sensory inputs, including LiDAR-based, camera-based, and multi-modal detection approaches. We also provide an in-depth analysis of the potentials and challenges in each category of methods. Additionally, we systematically investigate the applications of 3D object detection in driving systems. Finally, we conduct a performance analysis of the 3D object detection approaches, and we further summarize the research trends over the years and prospect the future directions of this area.


title: Search for possible alpha-condensate states in $^{20}$Ne

abstract: The root mean square radii of $^{20}$Ne in the short-lived excited states were experimentally deduced for the first time from the analyses of $\alpha$+$^{20}$Ne diffraction scattering. Differential cross sections of the elastic and inelastic $\alpha$+$^{20}$Ne scattering in the incident energy range from a few MeV/nucleon up to 100 MeV/nucleon were analyzed by the modified diffraction model. No significant radius enhancement for the members of K$^{\pi}$ = 0$_{1}^{+}$ and K$^{\pi}$ = 2$^{-}$ bands in comparison with the ground state was observed. At the same time 20 % radius enhancement was obtained for the K$^{\pi}$ = 0$_{1}^{-}$ band members. Moreover, for the 0$_{2}^{+}$ state located above $\alpha$-emission threshold increased radius was observed. This result can speak in favor of possible $\alpha$-condensate structure of the 0$_{2}^{+}$ state and can be considered as a possible analog of the famous 7.65-MeV 0$_{2}^{+}$ Hoyle state of $^{12}$C.


title: The Game of Tumbleweed is PSPACE-complete

abstract: Tumbleweed is a popular two-player perfect-information new territorial game played at the prestigious Mind Sport Olympiad. We define a generalized version of the game, where the board size is arbitrary and so is the possible number of neutral stones. Our result: the complexity of deciding for a given configuration which of the players has a winning strategy is PSPACE-complete. The proof is by a log-space reduction from a Boolean formula game of T.J. Schaefer, known to be PSPACE-complete. We embed the non-planar Schaefer game within the planar Tumbleweed board without using proper "bridges", that are impossible due to the board's topology. Instead, our new technique uses a one-move tight race that forces the players to move only according to the protocol of playing the embedded 4-CNF game.


title: Geometric Matrix Completion via Sylvester Multi-Graph Neural Network

abstract: Despite the success of the Sylvester equation empowered methods on various graph mining applications, such as semi-supervised label learning and network alignment, there also exists several limitations. The Sylvester equation's inability of modeling non-linear relations and the inflexibility of tuning towards different tasks restrict its performance. In this paper, we propose an end-to-end neural framework, SYMGNN, which consists of a multi-network neural aggregation module and a prior multi-network association incorporation learning module. The proposed framework inherits the key ideas of the Sylvester equation, and meanwhile generalizes it to overcome aforementioned limitations. Empirical evaluations on real-world datasets show that the instantiations of SYMGNN overall outperform the baselines in geometric matrix completion task, and its low-rank instantiation could further reduce the memory consumption by 16.98\% on average.


title: Charge-to-spin conversion in twisted graphene/WSe$_2$ heterostructures

abstract: We investigate the twist angle dependence of spin-orbit coupling (SOC) proximity effects and charge-to-spin conversion (CSC) in graphene/WSe$_2$ heterostructures from first principles. The CSC is shown to strongly depend on the twist angle, with both the spin Hall and standard Rashba-Edelstein efficiencies optimized at or near 30{\deg} twisting. Symmetry breaking due to twisting also gives rise to an unconventional Rashba-Edelstein effect, with electrically generated non-equilibrium spin densities possessing spins collinear to the applied electric field. We further discuss how the carrier doping concentration and band broadening control the crossover between the Fermi-sea and -surface spin response, which reconciles the seemingly disparate experimental observations of different CSC phenomena.


title: StudioGAN: A Taxonomy and Benchmark of GANs for Image Synthesis

abstract: Generative Adversarial Network (GAN) is one of the state-of-the-art generative models for realistic image synthesis. While training and evaluating GAN becomes increasingly important, the current GAN research ecosystem does not provide reliable benchmarks for which the evaluation is conducted consistently and fairly. Furthermore, because there are few validated GAN implementations, researchers devote considerable time to reproducing baselines. We study the taxonomy of GAN approaches and present a new open-source library named StudioGAN. StudioGAN supports 7 GAN architectures, 9 conditioning methods, 4 adversarial losses, 12 regularization modules, 3 differentiable augmentations, 7 evaluation metrics, and 5 evaluation backbones. With our training and evaluation protocol, we present a large-scale benchmark using various datasets (CIFAR10, ImageNet, AFHQv2, FFHQ, and Baby/Papa/Granpa-ImageNet) and 3 different evaluation backbones (InceptionV3, SwAV, and Swin Transformer). Unlike other benchmarks used in the GAN community, we train representative GANs, including BigGAN and StyleGAN series in a unified training pipeline and quantify generation performance with 7 evaluation metrics. The benchmark evaluates other cutting-edge generative models (e.g., StyleGAN-XL, ADM, MaskGIT, and RQ-Transformer). StudioGAN provides GAN implementations, training, and evaluation scripts with the pre-trained weights. StudioGAN is available at https://github.com/POSTECH-CVLab/PyTorch-StudioGAN.


title: Predicting Human Performance in Vertical Hierarchical Menu Selection in Immersive AR Using Hand-gesture and Head-gaze

abstract: There are currently limited guidelines on designing user interfaces (UI) for immersive augmented reality (AR) applications. Designers must reflect on their experience designing UI for desktop and mobile applications and conjecture how a UI will influence AR users' performance. In this work, we introduce a predictive model for determining users' performance for a target UI without the subsequent involvement of participants in user studies. The model is trained on participants' responses to objective performance measures such as consumed endurance (CE) and pointing time (PT) using hierarchical drop-down menus. Large variability in the depth and context of the menus is ensured by randomly and dynamically creating the hierarchical drop-down menus and associated user tasks from words contained in the lexical database WordNet. Subjective performance bias is reduced by incorporating the users' non-verbal standard performance WAIS-IV during the model training. The semantic information of the menu is encoded using the Universal Sentence Encoder. We present the results of a user study that demonstrates that the proposed predictive model achieves high accuracy in predicting the CE on hierarchical menus of users with various cognitive abilities. To the best of our knowledge, this is the first work on predicting CE in designing UI for immersive AR applications.


title: Bounds and extremal graphs for total dominating identifying codes

abstract: An identifying code $C$ of a graph $G$ is a dominating set of $G$ such that any two distinct vertices of $G$ have distinct closed neighbourhoods within $C$. The smallest size of an identifying code of $G$ is denoted $\gamma^{\text{ID}}(G)$. When every vertex of $G$ also has a neighbour in $C$, it is said to be a total dominating identifying code of $G$, and the smallest size of a total dominating identifying code of $G$ is denoted by $\gamma_t^{\text{ID}}(G)$. Extending similar characterizations for identifying codes from the literature, we characterize those graphs $G$ of order $n$ with $\gamma_t^{\text{ID}}(G)=n$ (the only such connected graph is $P_3$) and $\gamma_t^{\text{ID}}(G)=n-1$ (such graphs either satisfy $\gamma^{\text{ID}}(G)=n-1$ or are built from certain such graphs by adding a set of universal vertices, to each of which a private leaf is attached). Then, using bounds from the literature, we remark that any (open and closed) twin-free tree of order $n$ has a total dominating identifying code of size at most $\frac{3n}{4}$. This bound is tight, and we characterize the trees reaching it. Moreover, by a new proof, we show that this bound actually holds for the larger class of all twin-free graphs of girth at least 5. The cycle $C_8$ also attains this bound. We also provide a generalized bound for all graphs of girth at least 5 (possibly with twins). Finally, we relate $\gamma_t^{\text{ID}}(G)$ to the related parameter $\gamma^{\text{ID}}(G)$ as well as the location-domination number of $G$ and its variants, providing bounds that are either tight or almost tight.


title: Superradiant parametric X-ray emission

abstract: We compute a spectrum of parametric X-ray radiation (PXR) inside a crystal from a bunch of electrons, which is periodically modulated in density. We consider that the bunch of electrons is exiting from a XFEL channel. We demonstrate that in the case of a resonance between the frequency of parametric X-ray radiation and a frequency of modulation of an electron bunch the sequence of strong quasi-monochromatic X-ray pulses is formed -- superradiant parametric X-ray emission (SPXE) with frequencies multiples of the modulation frequency. The number of photons in the impulse of SPXE in the case of an extremely asymmetric diffraction is comparable with the photon number in the impulse of a XFEL. Moreover the SPXE is directed under the large angle to the electron velocity and every harmonic in the spectrum is emitted under its own angle.


title: An Analysis of the Admissibility of the Objective Functions Applied in Evolutionary Multi-objective Clustering

abstract: A variety of clustering criteria has been applied as an objective function in Evolutionary Multi-Objective Clustering approaches (EMOCs). However, most EMOCs do not provide detailed analysis regarding the choice and usage of the objective functions. Aiming to support a better choice and definition of the objectives in the EMOCs, this paper proposes an analysis of the admissibility of the clustering criteria in evolutionary optimization by examining the search direction and its potential in finding optimal results. As a result, we demonstrate how the admissibility of the objective functions can influence the optimization. Furthermore, we provide insights regarding the combinations and usage of the clustering criteria in the EMOCs.


title: A Critical Review of Communications in Multi-Robot Systems

abstract: Purpose of Review. This review summarizes the broad roles that communication formats and technologies have played in enabling multi-robot systems. We approach this field from two perspectives: of robotic applications that need communication capabilities in order to accomplish tasks, and of networking technologies that have enabled newer and more advanced multi-robot systems. Recent Findings. Through this review, we identify a dearth of work that holistically tackles the problem of co-design and co-optimization of robots and the networks they employ. We also highlight the role that data-driven and machine learning approaches play in evolving communication pipelines for multi-robot systems. In particular, we refer to recent work that diverges from hand-designed communication patterns, and also discuss the "sim-to-real" gap in this context. Summary. We present a critical view of the way robotic algorithms and their networking systems have evolved, and make the case for a more synergistic approach. Finally, we also identify four broad Open Problems for research and development, while offering a data-driven perspective for solving some of them.


title: Video frame interpolation for high dynamic range sequences captured with dual-exposure sensors

abstract: Video frame interpolation (VFI) enables many important applications that might involve the temporal domain, such as slow motion playback, or the spatial domain, such as stop motion sequences. We are focusing on the former task, where one of the key challenges is handling high dynamic range (HDR) scenes in the presence of complex motion. To this end, we explore possible advantages of dual-exposure sensors that readily provide sharp short and blurry long exposures that are spatially registered and whose ends are temporally aligned. This way, motion blur registers temporally continuous information on the scene motion that, combined with the sharp reference, enables more precise motion sampling within a single camera shot. We demonstrate that this facilitates a more complex motion reconstruction in the VFI task, as well as HDR frame reconstruction that so far has been considered only for the originally captured frames, not in-between interpolated frames. We design a neural network trained in these tasks that clearly outperforms existing solutions. We also propose a metric for scene motion complexity that provides important insights into the performance of VFI methods at the test time.


title: Equation of state of fermions in neutron stars

abstract: Employing both the number density and energy density, the equation of state of fermions for each microscopic region of a neutron star is derived in the presence of various statistical effects. It is computed as functions of temperature (T), chemical potential (\mu) and magnetic field (B) based on the statistical properties and corresponding phases of neutron stars. It is revealed that the measurable properties describing the dynamic behavior of a neutron star are determined by the unusual statistical conditions. It is demonstrated that, in a strong magnetic field (B larger than\mu), the pressure (P) shows a logarithmic dependence on B (P is proportional to logarithm of(\mu/B). It is found that the regions with a higher (lower) magnetic field (density) have a shorter (longer) life time. Moreover, the relationship between the magnetic field and chemical potential confirms that the large magnetic field and high density are short lived as compared to low magnetic field and low density at the same temperature.


title: The analytic extension of solutions to initial-boundary value problems outside their domain of definition

abstract: We examine the analytic extension of solutions of linear, constant-coefficient initial-boundary value problems outside their spatial domain of definition. We use the Unified Transform Method or Method of Fokas, which gives a representation for solutions to half-line and finite-interval initial-boundary value problems as integrals of kernels with explicit spatial and temporal dependence. These solution representations are defined within the spatial domain of the problem. We obtain the extension of these representation formulae via Taylor series outside these spatial domains and find the extension of the initial condition that gives rise to a whole-line initial-value problem solved by the extended solution. In general, the extended initial condition is not differentiable or continuous unless the boundary and initial conditions satisfy compatibility conditions. We analyze dissipative and dispersive problems, and problems with continuous and discrete spatial variables.


title: Two-Hop Age of Information Scheduling for Multi-UAV Assisted Mobile Edge Computing: FRL vs MADDPG

abstract: In this work, we adopt the emerging technology of mobile edge computing (MEC) in the Unmanned aerial vehicles (UAVs) for communication-computing systems, to optimize the age of information (AoI) in the network. We assume that tasks are processed jointly on UAVs and BS to enhance edge performance with limited connectivity and computing. Using UAVs and BS jointly with MEC can reduce AoI on the network. To maintain the freshness of the tasks, we formulate the AoI minimization in two-hop communication framework, the first hop at the UAVs and the second hop at the BS. To approach the challenge, we optimize the problem using a deep reinforcement learning (DRL) framework, called federated reinforcement learning (FRL). In our network we have two types of agents with different states and actions but with the same policy. Our FRL enables us to handle the two-step AoI minimization and UAV trajectory problems. In addition, we compare our proposed algorithm, which has a centralized processing unit to update the weights, with fully decentralized multi-agent deep deterministic policy gradient (MADDPG), which enhances the agent's performance. As a result, the suggested algorithm outperforms the MADDPG by about 38\%


title: Aluminum air bridges for superconducting quantum devices realized using a single step electron-beam lithography process

abstract: In superconducting quantum devices, air bridges enable increased circuit complexity and density as well as mitigate the risk of microwave loss arising from mode mixing. We implement aluminum air bridges using a simple process based on single-step electron-beam gradient exposure. The resulting bridges have sizes ranging from $20~\mu m$ to $100~\mu m$, with a yield exceeding $99~\%$ for lengths up to $36~\mu m$. When used to connect ground planes in coplanar waveguide resonators, the induced loss contributed to the system is negligible, corresponding to a reduction of the quality factor exceeding $1.0\times10^8$ per bridge. The bridge process is compatible with Josephson junctions and allows for the simultaneous creation of low loss bandages between superconducting layers.


title: A Bounded-Confidence Model of Opinion Dynamics with Heterogeneous Node-Activity Levels

abstract: Agent-based models of opinion dynamics allow one to examine the spread of opinions between entities and to study phenomena such as consensus, polarization, and fragmentation. By studying a model of opinion dynamics on a social network, one can explore the effects of network structure on these phenomena. In social networks, some individuals share their ideas and opinions more frequently than others. These disparities can arise from heterogeneous sociabilities, heterogeneous activity levels, different prevalences to share opinions when engaging in a social-media platform, or something else. To examine the impact of such heterogeneities on opinion dynamics, we generalize the Deffuant--Weisbuch (DW) bounded-confidence model (BCM) of opinion dynamics by incorporating node weights. The node weights allow us to model agents with different probabilities of interacting. Using numerical simulations, we systematically investigate (using a variety of network structures and node-weight distributions) the effects of node weights, which we assign uniformly at random to the nodes. We demonstrate that introducing heterogeneous node weights results in longer convergence times and more opinion fragmentation than in a baseline DW model. The node weights in our BCM allow one to consider a variety of sociological scenarios in which agents have heterogeneous probabilities of interacting with other agents.


title: On the Limitations of Stochastic Pre-processing Defenses

abstract: Defending against adversarial examples remains an open problem. A common belief is that randomness at inference increases the cost of finding adversarial inputs. An example of such a defense is to apply a random transformation to inputs prior to feeding them to the model. In this paper, we empirically and theoretically investigate such stochastic pre-processing defenses and demonstrate that they are flawed. First, we show that most stochastic defenses are weaker than previously thought; they lack sufficient randomness to withstand even standard attacks like projected gradient descent. This casts doubt on a long-held assumption that stochastic defenses invalidate attacks designed to evade deterministic defenses and force attackers to integrate the Expectation over Transformation (EOT) concept. Second, we show that stochastic defenses confront a trade-off between adversarial robustness and model invariance; they become less effective as the defended model acquires more invariance to their randomization. Future work will need to decouple these two effects. We also discuss implications and guidance for future research.


title: A non-Archimedean approach to K-stability, II: divisorial stability and openness

abstract: To any projective pair $(X,B)$ equipped with an ample $\mathbb{Q}$-line bundle $L$ (or even any ample numerical class), we attach a new invariant $\beta(\mu)\in\mathbb{R}$, defined on convex combinations $\mu$ of divisorial valuations on $X$, viewed as point masses on the Berkovich analytification of $X$. The construction is based on non-Archimedean pluripotential theory, and extends the Dervan-Legendre invariant for a single valuation--itself specializing to Li and Fujita's valuative invariant in the Fano case, which detects K-stability. Using our $\beta$-invariant, we define divisorial (semi)stability, and show that divisorial semistability implies $(X,B)$ is sublc (i.e. its log discrepancy function is non-negative), and that divisorial stability is an open condition with respect to the polarization $L$. We also show that divisorial stability implies uniform K-stability in the usual sense of (ample) test configurations, and that it is equivalent to uniform K-stability with respect to all norms/filtrations on the section ring of $(X,L)$, as considered by Chi Li.


title: Non-classical linear divisibility sequences and cyclotomic polynomials

abstract: Divisibility sequences are defined by the property that their elements divide each other whenever their indices do. The divisibility sequences that also satisfy a linear recurrence, like the Fibonacci numbers, are generated by polynomials that divide their compositions with every positive integer power. We completely characterize such polynomials in terms of their factorizations into cyclotomic polynomials using labeled Hasse diagrams, and construct new integer divisibility sequences based on them. We also show that, unlike the Fibonacci numbers, these non-classical sequences do not have the property of strong divisibility.


title: Adaptive coupling peridynamic least-square minimization with finite element method for fracture analysis

abstract: This study presents an adaptive coupling peridynamic least-square minimization with the finite element method (PDLSM-FEM) for fracture analysis. The presented method utilizes the PDLSM modeling discontinuities while maximizing the FEM region for computational efficiency. Within the presented adaptive PDLSM-FEM, only elements intersecting with the crack path and their neighboring elements are defined as PD elements, whose stiffness matrices are derived based on PDLSM equations. The remaining elements are conventional finite elements. Numerical integration of interaction integral is proposed and implemented to evaluate the stress intensity factors (SIFs) for 2-D problems. The criterion of maximum hoop tensile stress is employed for failure prediction. New contributions of this work include the adaptive coupling of PDLSM with FEM for minimizing the PD region and the application of the adaptive PDLSM-FEM to quasi-static crack propagation analysis. Simulations of three 2-D plane stress plates and one 3-D block with static or quasi-static cracks propagation are performed. Results show the proposed method improves computational efficiency substantially and has reasonable accuracy and good capability of crack propagation prediction.


title: The Power of Regularization in Solving Extensive-Form Games

abstract: In this paper, we investigate the power of {\it regularization}, a common technique in reinforcement learning and optimization, in solving extensive-form games (EFGs). We propose a series of new algorithms based on regularizing the payoff functions of the game, and establish a set of convergence results that strictly improve over the existing ones, with either weaker assumptions or stronger convergence guarantees. In particular, we first show that dilated optimistic mirror descent (DOMD), an efficient variant of OMD for solving EFGs, with adaptive regularization can achieve a fast $\tilde O(1/T)$ last-iterate convergence in terms of duality gap and distance to the set of Nash equilibrium (NE) without uniqueness assumption of the NE. Second, we show that regularized counterfactual regret minimization (\texttt{Reg-CFR}), with a variant of optimistic mirror descent algorithm as regret-minimizer, can achieve $O(1/T^{1/4})$ best-iterate, and $O(1/T^{3/4})$ average-iterate convergence rate for finding NE in EFGs. Finally, we show that \texttt{Reg-CFR} can achieve asymptotic last-iterate convergence, and optimal $O(1/T)$ average-iterate convergence rate, for finding the NE of perturbed EFGs, which is useful for finding approximate extensive-form perfect equilibria (EFPE). To the best of our knowledge, they constitute the first last-iterate convergence results for CFR-type algorithms, while matching the state-of-the-art average-iterate convergence rate in finding NE for non-perturbed EFGs. We also provide numerical results to corroborate the advantages of our algorithms.


title: Integrated Weak Learning

abstract: We introduce Integrated Weak Learning, a principled framework that integrates weak supervision into the training process of machine learning models. Our approach jointly trains the end-model and a label model that aggregates multiple sources of weak supervision. We introduce a label model that can learn to aggregate weak supervision sources differently for different datapoints and takes into consideration the performance of the end-model during training. We show that our approach outperforms existing weak learning techniques across a set of 6 benchmark classification datasets. When both a small amount of labeled data and weak supervision are present the increase in performance is both consistent and large, reliably getting a 2-5 point test F1 score gain over non-integrated methods.


title: Hamiltonian model for coupled surface and internal waves over currents and uneven bottom

abstract: A Hamiltonian model for the propagation of internal water waves interacting with surface waves, a current and an uneven bottom is examined. Using the so-called Dirichlet-Neumann operators, the water wave system is expressed in the Hamiltonian form, and thus the motions of the internal waves and surface waves are determined by the Hamiltonian formulation. Choosing an appropriate scaling of the variables and employing the Hamiltonian perturbation theory from Hamiltonian formulation of the dynamics, we derive a KdV-type equation with variable coefficients depending on the bottom topography to describe the internal waves.


title: Learning Multi-Task Transferable Rewards via Variational Inverse Reinforcement Learning

abstract: Many robotic tasks are composed of a lot of temporally correlated sub-tasks in a highly complex environment. It is important to discover situational intentions and proper actions by deliberating on temporal abstractions to solve problems effectively. To understand the intention separated from changing task dynamics, we extend an empowerment-based regularization technique to situations with multiple tasks based on the framework of a generative adversarial network. Under the multitask environments with unknown dynamics, we focus on learning a reward and policy from the unlabeled expert examples. In this study, we define situational empowerment as the maximum of mutual information representing how an action conditioned on both a certain state and sub-task affects the future. Our proposed method derives the variational lower bound of the situational mutual information to optimize it. We simultaneously learn the transferable multi-task reward function and policy by adding an induced term to the objective function. By doing so, the multi-task reward function helps to learn a robust policy for environmental change. We validate the advantages of our approach on multi-task learning and multi-task transfer learning. We demonstrate our proposed method has the robustness of both randomness and changing task dynamics. Finally, we prove that our method has significantly better performance and data efficiency than existing imitation learning methods on various benchmarks.


title: Bisecting horn angles

abstract: A horn angle between a circle and its tangent is considered in Euclid's Elements, and Euclid remarks that it is smaller than any acute rectilinear angle. Already in antiquity, Proclus wondered whether it is possible to bisect horn angles. We will give a construction of a bisector which was within the means of ancient geometers since the time of Archimedes and Apollonius. We will also compare it to the conformal bisection method introduced in modern times.


title: Unbiased Teacher v2: Semi-supervised Object Detection for Anchor-free and Anchor-based Detectors

abstract: With the recent development of Semi-Supervised Object Detection (SS-OD) techniques, object detectors can be improved by using a limited amount of labeled data and abundant unlabeled data. However, there are still two challenges that are not addressed: (1) there is no prior SS-OD work on anchor-free detectors, and (2) prior works are ineffective when pseudo-labeling bounding box regression. In this paper, we present Unbiased Teacher v2, which shows the generalization of SS-OD method to anchor-free detectors and also introduces Listen2Student mechanism for the unsupervised regression loss. Specifically, we first present a study examining the effectiveness of existing SS-OD methods on anchor-free detectors and find that they achieve much lower performance improvements under the semi-supervised setting. We also observe that box selection with centerness and the localization-based labeling used in anchor-free detectors cannot work well under the semi-supervised setting. On the other hand, our Listen2Student mechanism explicitly prevents misleading pseudo-labels in the training of bounding box regression; we specifically develop a novel pseudo-labeling selection mechanism based on the Teacher and Student's relative uncertainties. This idea contributes to favorable improvement in the regression branch in the semi-supervised setting. Our method, which works for both anchor-free and anchor-based methods, consistently performs favorably against the state-of-the-art methods in VOC, COCO-standard, and COCO-additional.


title: DoG-HiT: A novel VLBI Multiscale Imaging Approach

abstract: Reconstructing images from very long baseline interferometry (VLBI) data with sparse sampling of the Fourier domain (uv-coverage) constitutes an ill-posed deconvolution problem. It requires application of robust algorithms maximizing the information extraction from all of the sampled spatial scales and minimizing the influence of the unsampled scales on image quality. We develop a new multiscale wavelet deconvolution algorithm DoG-HiT for imaging sparsely sampled interferometric data which combines the difference of Gaussian (DoG) wavelets and hard image thresholding (HiT). Based on DoG-HiT, we propose a multi-step imaging pipeline for analysis of interferometric data. DoG-HiT applies the compressed sensing approach to imaging by employing a flexible DoG wavelet dictionary which is designed to adapt smoothly to the uv-coverage. It uses closure properties as data fidelity terms only initially and perform non-convex, non-smooth optimization by an amplitude conserving and total flux conserving hard thresholding splitting. DoG-HiT calculates a multiresolution support as a side product. The final reconstruction is refined through self-calibration loops and imaging with amplitude and phase information applied for the multiresolution support only. We demonstrate the stability of DoG-HiT and benchmark its performance against image reconstructions made with CLEAN and Regularized Maximum-Likelihood (RML) methods using synthetic data. The comparison shows that DoG-HiT matches the superresolution achieved by the RML reconstructions and surpasses the sensitivity to extended emission reached by CLEAN. Application of regularized maximum likelihood methods outfitted with flexible multiscale wavelet dictionaries to imaging of interferometric data matches the performance of state-of-the art convex optimization imaging algorithms and requires fewer prior and user defined constraints.


title: AdS/BCFT correspondence and BTZ black hole within electric field

abstract: This paper, presents the gravity duals of Conformal Field Theories with boundaries. This theory is known as AdS/BCFT correspondence. In this duality, our system has 3D gravity coupling with the Maxwell field dual to 2D BCFT. On the gravity side, we consider a 3D BTZ black hole. We analyze the effects of the chemical potential on the profile of the extra boundary for the black hole. Performing a holographic renormalization, we calculate the free energy and obtain the total entropy and corresponding area with chemical potential, and the boundary entropy for the black hole. These theories are specified by stress-energy tensors that reside on the extensions of the boundary to the bulk. In this way, the AdS/BCFT appears analogous to the fluid/gravity correspondence with the chemical potential. We discuss the solutions as well as their thermodynamic and fluid properties.


title: Rapid Viscoelastic Spreading

abstract: We investigate the rapid spreading dynamics of a viscoelastic drop on a solid. Upon contact, surface tension drives a fast motion of the contact line along the substrate. Here, we resolve this motion for viscoelastic liquids by experiments on aqueous polymer solutions of varying concentration. It is found that while the contact line motion is only mildly affected by the polymers, the interface profile becomes much sharper owing to singular polymer stress. This behaviour is reminiscent of that observed for viscoelastic drop coalescence; in this light we revisit the analogy between spreading and coalescence, which sheds new light also on the spreading of Newtonian liquids.


title: A Parallel Implementation of Computing Mean Average Precision

abstract: Mean Average Precision (mAP) has been widely used for evaluating the quality of object detectors, but an efficient implementation is still absent. Current implementations can only count true positives (TP's) and false positives (FP's) for one class at a time by looping through every detection of that class sequentially. Not only are these approaches inefficient, but they are also inconvenient for reporting validation mAP during training. We propose a parallelized alternative that can process mini-batches of detected bounding boxes (DTBB's) and ground truth bounding boxes (GTBB's) as inference goes such that mAP can be instantly calculated after inference is finished. Loops and control statements in sequential implementations are replaced with extensive uses of broadcasting, masking, and indexing. All operators involved are supported by popular machine learning frameworks such as PyTorch and TensorFlow. As a result, our implementation is much faster and can easily fit into typical training routines. A PyTorch version of our implementation is available at https://github.com/bwangca/fast-map.


title: Dynamics of Mass Polar Spheroids During Sedimentation

abstract: The dynamics of sedimenting particles under gravity are surprisingly complex due to the presence of effective long-ranged forces. When the particles are polar with a well-defined symmetry axis and non-uniform density, recent theoretical predictions suggest that prolate objects will repel and oblate ones will weakly attract. We tested these predictions using mass polar proalte spheroids, which are composed of 2 mm spheres glued together. We probed different aspect rations ($\kappa$) and center of mass offsets ($\chi$) by combining spheres of different densities. Experiments were done in both quasi-two-dimensional (2D) and three=dimensional (3D) chambers. By optically tracking the motion of single particles, we found that the dynamics were well-described by a reduced mobility matrix model that could be solved analytically. Pairs of particles exhibited an effective repulsion, and their separation roughly scaled as ~$(\kappa-1)/\chi^{0.39}$, i.e. particles that were more prolate or had smaller mass asymmetry had stronger repulsion effects. In 3D, particles with $\chi>0$ were distributed more uniformly than $\chi=0$ particles, and the degree of uniformity increased with $\kappa$, indicating that the effective 2-body repulsion manifests for a large number of particles.


title: Log-GPIS-MOP: A Unified Representation for Mapping, Odometry and Planning

abstract: Whereas dedicated scene representations are required for each different task in conventional robotic systems, this paper demonstrates that a unified representation can be used directly for multiple key tasks. We propose the Log-Gaussian Process Implicit Surface for Mapping, Odometry and Planning (Log-GPIS-MOP): a probabilistic framework for surface reconstruction, localisation and navigation based on a unified representation. Our framework applies a logarithmic transformation to a Gaussian Process Implicit Surface (GPIS) formulation to recover a global representation that accurately captures the Euclidean distance field with gradients and, at the same time, the implicit surface. By directly estimating the distance field and its gradient through Log-GPIS inference, the proposed incremental odometry technique computes the optimal alignment of an incoming frame and fuses it globally to produce a map. Concurrently, an optimisation-based planner computes a safe collision-free path using the same Log-GPIS surface representation. We validate the proposed framework on simulated and real datasets in 2D and 3D and benchmark against the state-of-the-art approaches. Our experiments show that Log-GPIS-MOP produces competitive results in sequential odometry, surface mapping and obstacle avoidance.


abstract: Transformers have recently achieved state-of-the-art performance in speech separation. These models, however, are computationally demanding and require a lot of learnable parameters. This paper explores Transformer-based speech separation with a reduced computational cost. Our main contribution is the development of the Resource-Efficient Separation Transformer (RE-SepFormer), a self-attention-based architecture that reduces the computational burden in two ways. First, it uses non-overlapping blocks in the latent space. Second, it operates on compact latent summaries calculated from each chunk. The RE-SepFormer reaches a competitive performance on the popular WSJ0-2Mix and WHAM! datasets in both causal and non-causal settings. Remarkably, it scales significantly better than the previous Transformer-based architectures in terms of memory and inference time, making it more suitable for processing long mixtures.


title: Observable Lyapunov irregular sets for planar piecewise expanding maps

abstract: For any integer $r$ with $1\leq r<\infty$, we present a one-parameter family $F_\sigma$ $(0<\sigma<1)$ of 2-dimensional piecewise $\mathcal C^r$ expanding maps such that each $F_\sigma$ has an observable (i.e. Lebesgue positive) Lyapunov irregular set. These maps are obtained by modifying the piecewise expanding map given in Tsujii (2000). In strong contrast to it, we also show that any Lyapunov irregular set of any 2-dimensional piecewise real analytic expanding map is not observable. This is based on the spectral analysis of piecewise expanding maps in Buzzi (2000).


title: Hybrid Facial Expression Recognition (FER2013) Model for Real-Time Emotion Classification and Prediction

abstract: Facial Expression Recognition is a vital research topic in most fields ranging from artificial intelligence and gaming to Human-Computer Interaction (HCI) and Psychology. This paper proposes a hybrid model for Facial Expression recognition, which comprises a Deep Convolutional Neural Network (DCNN) and Haar Cascade deep learning architectures. The objective is to classify real-time and digital facial images into one of the seven facial emotion categories considered. The DCNN employed in this research has more convolutional layers, ReLU Activation functions, and multiple kernels to enhance filtering depth and facial feature extraction. In addition, a haar cascade model was also mutually used to detect facial features in real-time images and video frames. Grayscale images from the Kaggle repository (FER-2013) and then exploited Graphics Processing Unit (GPU) computation to expedite the training and validation process. Pre-processing and data augmentation techniques are applied to improve training efficiency and classification performance. The experimental results show a significantly improved classification performance compared to state-of-the-art (SoTA) experiments and research. Also, compared to other conventional models, this paper validates that the proposed architecture is superior in classification performance with an improvement of up to 6%, totaling up to 70% accuracy, and with less execution time of 2098.8s.


title: Caustics of light rays and Euler's angle of inclination

abstract: Euler used intrinsic equations expressing the radius of curvature as a function of the angle of inclination to find curves similar to their evolutes. We interpret the evolute of a plane curve optically, as the caustic (envelope) of light rays normal to it, and study the Euler's problem for general caustics. The resulting curves are characterized when the rays are at a constant angle to the curve, generalizing the case of evolutes. Aside from analogs of classical solutions we encounter some new types of curves. We also consider caustics of parallel rays reflected by a curved mirror, where Euler's problem leads to a novel pantograph equation, and describe its analytic solutions.


title: The Fallacy of AI Functionality

abstract: Deployed AI systems often do not work. They can be constructed haphazardly, deployed indiscriminately, and promoted deceptively. However, despite this reality, scholars, the press, and policymakers pay too little attention to functionality. This leads to technical and policy solutions focused on "ethical" or value-aligned deployments, often skipping over the prior question of whether a given system functions, or provides any benefits at all. To describe the harms of various types of functionality failures, we analyze a set of case studies to create a taxonomy of known AI functionality issues. We then point to policy and organizational responses that are often overlooked and become more readily available once functionality is drawn into focus. We argue that functionality is a meaningful AI policy challenge, operating as a necessary first step towards protecting affected communities from algorithmic harm.


title: Tur\'an inequalities for the broken $k$-diamond partition function

abstract: We obtain an asymptotic formula for Andrews and Paule's broken $k$-diamond partition function $\Delta_k(n)$ where $k=1$ or $2$. Based on this asymptotic formula, we derive that $\Delta_k(n)$ satisfies the order $d$ Tur\'an inequalities for $d\geq 1$ and for sufficiently large $n$ when $k=1$ and $ 2$ by using a general result of Griffin, Ono, Rolen and Zagier. We also show that Andrews and Paule's broken $k$-diamond partition function $\Delta_k(n)$ is log-concave for $n\geq 1$ when $k=1$ and $2$. This leads to $\Delta_k(a)\Delta_k(b)\ge\Delta_k(a+b)$ for $a,b\ge 1$ when $k=1$ and $ 2$.


title: $C^*$-algebra Net: A New Approach Generalizing Neural Network Parameters to $C^*$-algebra

abstract: We propose a new framework that generalizes the parameters of neural network models to $C^*$-algebra-valued ones. $C^*$-algebra is a generalization of the space of complex numbers. A typical example is the space of continuous functions on a compact space. This generalization enables us to combine multiple models continuously and use tools for functions such as regression and integration. Consequently, we can learn features of data efficiently and adapt the models to problems continuously. We apply our framework to practical problems such as density estimation and few-shot learning and show that our framework enables us to learn features of data even with a limited number of samples. Our new framework highlights the potential possibility of applying the theory of $C^*$-algebra to general neural network models.


title: Ethics in AI through the Practitioner's View: A Grounded Theory Literature Review

abstract: The term ethics is widely used, explored, and debated in the context of developing Artificial Intelligence (AI) based software systems. In recent years, numerous incidents have raised the profile of ethical issues in AI development and led to public concerns about the proliferation of AI technology in our everyday lives. But what do we know about the views and experiences of those who develop these systems -- the AI practitioners? We conducted a grounded theory literature review (GTLR) of 38 primary empirical studies that included AI practitioners' views on ethics in AI and analysed them to derive five categories: practitioner awareness, perception, need, challenge, and approach. These are underpinned by multiple codes and concepts that we explain with evidence from the included studies. We present a taxonomy of ethics in AI from practitioners' viewpoints to assist AI practitioners in identifying and understanding the different aspects of AI ethics. The taxonomy provides a landscape view of the key aspects that concern AI practitioners when it comes to ethics in AI. We also share an agenda for future research studies and recommendations for practitioners, managers, and organisations to help in their efforts to better consider and implement ethics in AI.


title: Local newforms for generic representations of unramified odd unitary groups and Fundamental Lemma

abstract: In this paper, we establish the theory of local newforms for irreducible tempered generic representations of unramified odd unitary groups over a non-archimedean local field. For the proof, we prove an analogue of the fundamental lemma for our compact groups.


title: Open Problems in Mathematical Biology

abstract: Biology is data-rich, and it is equally rich in concepts and hypotheses. Part of trying to understand biological processes and systems is therefore to confront our ideas and hypotheses with data using statistical methods to determine the extent to which our hypotheses agree with reality. But doing so in a systematic way is becoming increasingly challenging as our hypotheses become more detailed, and our data becomes more complex. Mathematical methods are therefore gaining in importance across the life- and biomedical sciences. Mathematical models allow us to test our understanding, make testable predictions about future behaviour, and gain insights into how we can control the behaviour of biological systems. It has been argued that mathematical methods can be of great benefit to biologists to make sense of data. But mathematics and mathematicians are set to benefit equally from considering the often bewildering complexity inherent to living systems. Here we present a small selection of open problems and challenges in mathematical biology. We have chosen these open problems because they are of both biological and mathematical interest.


title: Highly excited and exotic fully-strange tetraquark states

abstract: Some hadrons have the exotic quantum numbers that the traditional $\bar q q$ mesons and $qqq$ baryons can not reach, such as $J^{PC} = 0^{--}/0^{+-}/1^{-+}/2^{+-}/3^{-+}/4^{+-}$, etc. We investigate for the first time the exotic quantum number $J^{PC}=4^{+-}$, and study the fully-strange tetraquark states with such an exotic quantum number. We systematically construct all the diquark-antidiquark interpolating currents, and apply the method of QCD sum rules to calculate both the diagonal and off-diagonal correlation functions. The obtained results are used to construct three mixing currents that are nearly non-correlated, and we use one of them to extract the mass of the lowest-lying state to be $2.85^{+0.19}_{-0.22}$ GeV. We apply the Fierz rearrangement to transform this mixing current to be the combination of three meson-meson currents, and the obtained Fierz identity suggests that this state dominantly decays into the $P$-wave $\phi(1020) f_2^\prime(1525)$ channel. This fully-strange tetraquark state of $J^{PC}=4^{+-}$ is a purely exotic hadron to be potentially observed in future particle experiments.


title: Integrability of Kerr-Newman spacetime with cloud strings, quintessence and electromagnetic field

abstract: The dynamics of charged particles moving around a Kerr-Newman black hole surrounded by cloud strings, quintessence and electromagnetic field is integrable due to the presence of a fourth constant of motion like the Carter constant. The fourth motion constant and the axial-symmetry of the spacetime give a chance to the existence of radial effective potentials with stable circular orbits in two-dimensional planes, such as the equatorial plane and other nonequatorial planes. They also give a possibility of the presence of radial effective potentials with stable spherical orbits in the three-dimensional space. The dynamical parameters play important roles in changing the graphs of the effective potentials. In addition, variations of these parameters affect the presence or absence of stable circular orbits, innermost stable circular orbits, stable spherical orbits and marginally stable spherical orbits. They also affect the radii of the stable circular or spherical orbits. It is numerically shown that the stable circular orbits and innermost stable circular orbits can exist not only in the equatorial plane but also in the nonequatorial planes. Several stable spherical orbits and marginally stable spherical orbits are numerically confirmed, too. In particular, there are some stable spherical orbits and marginally stable spherical orbits with vanishing angular momenta for covering whole the range of the latitudinal coordinate.


title: Walking to Hide: Privacy Amplification via Random Message Exchanges in Network

abstract: The *shuffle model* is a powerful tool to amplify the privacy guarantees of the *local model* of differential privacy. In contrast to the fully decentralized manner of guaranteeing privacy in the local model, the shuffle model requires a central, trusted shuffler. To avoid this central shuffler, recent work of Liew et al. (2022) proposes shuffling locally randomized data in a decentralized manner, via random walks on the communication network constituted by the clients. The privacy amplification bound it thus provides depends on the topology of the underlying communication network, even for infinitely long random walks. It does not match the state-of-the-art privacy amplification bound for the shuffle model (Feldman et al., 2021). In this work, we prove that the output of~$n$ clients' data, each perturbed by an ${\epsilon}_0$-local randomizer, and shuffled by random walks with a logarithmic number of steps, is $( {O} ( (1 - e^{-\epsilon_0} ) \sqrt{ ( e^{\epsilon_0} / n ) \ln (1 / \delta ) } ), O(\delta) )$-differentially private. Importantly, this bound is independent of the topology of the communication network, and asymptotically closes the gap between the privacy amplification bounds for the network shuffle model (Liew et al., 2022) and the shuffle model (Feldman et al., 2021). Our proof is based on a reduction to the shuffle model, and an analysis of the distribution of random walks of finite length. Building on this, we further show that if each client is sampled independently with probability~$p$, the privacy guarantee of the network shuffle model can be further improved to $( {O} ( (1 - e^{-\epsilon_0} ) \sqrt{p ( e^{\epsilon_0} / n ) \ln (1 / \delta ) } ) , O(\delta) )$. Importantly, the subsampling is also performed in a fully decentralized manner that does not require a trusted central entity; compared with related bounds in prior work, our bound is stronger.


title: ILX: Intelligent "Location+X" Data Systems (Vision Paper)

abstract: Due to the ubiquity of mobile phones and location-detection devices, location data is being generated in very large volumes. Queries and operations that are performed on location data warrant the use of database systems. Despite that, location data is being supported in data systems as an afterthought. Typically, relational or NoSQL data systems that are mostly designed with non-location data in mind get extended with spatial or spatiotemporal indexes, some query operators, and higher level syntactic sugar in order to support location data. The ubiquity of location data and location data services call for systems that are solely designed and optimized for the efficient support of location data. This paper envisions designing intelligent location+X data systems, ILX for short, where location is treated as a first-class citizen type. ILX is tailored with location data as the main data type (location-first). Because location data is typically augmented with other data types X, e.g., graphs, text data, click streams, annotations, etc., ILX needs to be extensible to support other data types X along with location. This paper envisions the main features that ILX should support, and highlights research challenges in realizing and supporting ILX.


title: An Agmon estimate for Schr\"odinger operators on Graphs

abstract: The Agmon estimate shows that eigenfunctions of Schr\"odinger operators, $ -\Delta \phi + V \phi = E \phi$, decay exponentially in the `classically forbidden' region where the potential exceeds the energy level $\left\{x: V(x) > E \right\}$. Moreover, the size of $|\phi(x)|$ is bounded in terms of a weighted (Agmon) distance between $x$ and the allowed region. We derive such a statement on graphs when $-\Delta$ is replaced by the Graph Laplacian $L = D-A$: we identify an explicit Agmon metric and prove a pointwise decay estimate in terms of the Agmon distance.


title: Multiple Testing Framework for Out-of-Distribution Detection

abstract: We study the problem of Out-of-Distribution (OOD) detection, that is, detecting whether a learning algorithm's output can be trusted at inference time. While a number of tests for OOD detection have been proposed in prior work, a formal framework for studying this problem is lacking. We propose a definition for the notion of OOD that includes both the input distribution and the learning algorithm, which provides insights for the construction of powerful tests for OOD detection. We propose a multiple hypothesis testing inspired procedure to systematically combine any number of different statistics from the learning algorithm using conformal p-values. We further provide strong guarantees on the probability of incorrectly classifying an in-distribution sample as OOD. In our experiments, we find that threshold-based tests proposed in prior work perform well in specific settings, but not uniformly well across different types of OOD instances. In contrast, our proposed method that combines multiple statistics performs uniformly well across different datasets and neural networks.


title: Towards Trustworthy Edge Intelligence: Insights from Voice-Activated Services

abstract: In an age of surveillance capitalism, anchoring the design of emerging smart services in trustworthiness is urgent and important. Edge Intelligence, which brings together the fields of AI and Edge computing, is a key enabling technology for smart services. Trustworthy Edge Intelligence should thus be a priority research concern. However, determining what makes Edge Intelligence trustworthy is not straight forward. This paper examines requirements for trustworthy Edge Intelligence in a concrete application scenario of voice-activated services. We contribute to deepening the understanding of trustworthiness in the emerging Edge Intelligence domain in three ways: firstly, we propose a unified framing for trustworthy Edge Intelligence that jointly considers trustworthiness attributes of AI and the IoT. Secondly, we present research outputs of a tangible case study in voice-activated services that demonstrates interdependencies between three important trustworthiness attributes: privacy, security and fairness. Thirdly, based on the empirical and analytical findings, we highlight challenges and open questions that present important future research areas for trustworthy Edge Intelligence.


title: How many sites? Methods to assist design decisions when collecting multivariate data in ecology

abstract: 1. Sample size estimation through power analysis is a fundamental tool in planning an ecological study, yet there are currently no well-established procedures for when multivariate abundances are to be collected. A power analysis procedure would need to address three challenges: designing a parsimonious simulation model that captures key community data properties; measuring effect size in a realistic yet interpretable fashion; and ensuring computational feasibility when simulation is used both for power estimation and significance testing. 2. Here we propose a power analysis procedure that addresses these three challenges by: using for simulation a Gaussian copula model with factor analytical structure, fitted to pilot data; assuming a common effect size across all taxa, but applied in different directions according to expert opinion (to "increaser", "decreaser" or "no effect" taxa); using a critical value approach to estimate power, which reduces computation time by a factor of 500 with little loss of accuracy. 3. The procedure is demonstrated on pilot data from fish assemblages in a restoration study, where it was found that the planned study design would only be capable of detecting relatively large effects (change in abundance by a factor of 1.5 or more). 4. The methods outlined in this paper are available in accompanying R software (the ecopower package), which allows researchers with pilot data to answer a wide range of design questions to assist them in planning their studies.


title: Finite Element de Rham and Stokes Complexes in Three Dimensions

abstract: Finite element de Rham complexes and finite element Stokes complexes with various smoothness in three dimensions are systematically constructed. First smooth scalar finite elements in three dimensions are derived through a non-overlapping decomposition of the simplicial lattice. Based on the smooth scalar finite elements, both H(div)-conforming finite elements and H(curl)-conforming finite elements with various smoothness are devised, which induce the finite element de Rham complexes with various smoothness and the associated commutative diagrams. The div stability is established for the H(div)-conforming finite elements, and the exactness of these finite element complexes.


title: Robust One Round Federated Learning with Predictive Space Bayesian Inference

abstract: Making predictions robust is an important challenge. A separate challenge in federated learning (FL) is to reduce the number of communication rounds, particularly since doing so reduces performance in heterogeneous data settings. To tackle both issues, we take a Bayesian perspective on the problem of learning a global model. We show how the global predictive posterior can be approximated using client predictive posteriors. This is unlike other works which aggregate the local model space posteriors into the global model space posterior, and are susceptible to high approximation errors due to the posterior's high dimensional multimodal nature. In contrast, our method performs the aggregation on the predictive posteriors, which are typically easier to approximate owing to the low-dimensionality of the output space. We present an algorithm based on this idea, which performs MCMC sampling at each client to obtain an estimate of the local posterior, and then aggregates these in one round to obtain a global ensemble model. Through empirical evaluation on several classification and regression tasks, we show that despite using one round of communication, the method is competitive with other FL techniques, and outperforms them on heterogeneous settings. The code is publicly available at https://github.com/hasanmohsin/FedPredSpace_1Round.


title: Simultaneous approximation of a smooth function and its derivatives by deep neural networks with piecewise-polynomial activations

abstract: This paper investigates the approximation properties of deep neural networks with piecewise-polynomial activation functions. We derive the required depth, width, and sparsity of a deep neural network to approximate any H\"{o}lder smooth function up to a given approximation error in H\"{o}lder norms in such a way that all weights of this neural network are bounded by $1$. The latter feature is essential to control generalization errors in many statistical and machine learning applications.


title: Optimal design for on-farm strip trials -- systematic or randomised?

abstract: There is no doubt on the importance of randomisation in agricultural experiments by agronomists and biometricians. Even when agronomists extend the experimentation from small trials to large on-farm trials, randomised designs predominate over systematic designs. However, the situation may change depending on the objective of the on-farm experiments (OFE). If the goal of OFE is obtaining a smooth map showing the optimal level of a controllable input across a grid made by rows and columns covering the whole field, a systematic design should be preferred over a randomised design in terms of robustness and reliability. With the novel geographically weighted regression (GWR) for OFE and simulation studies, we conclude that, for large OFE strip trials, the difference between randomised designs and systematic designs are not significant if a linear model of treatments is fitted or if the spatial variation is not taken into account. But for a quadratic model, systematic designs are superior to randomised designs.


title: Temporal Link Prediction via Adjusted Sigmoid Function and 2-Simplex Sructure

abstract: Temporal network link prediction is an important task in the field of network science, and has a wide range of applications in practical scenarios. Revealing the evolutionary mechanism of the network is essential for link prediction, and how to effectively utilize the historical information for temporal links and efficiently extract the high-order patterns of network structure remains a vital challenge. To address these issues, in this paper, we propose a novel temporal link prediction model with adjusted sigmoid function and 2-simplex structure (TLPSS). The adjusted sigmoid decay mode takes the active, decay and stable states of edges into account, which properly fits the life cycle of information. Moreover, the latent matrix sequence is introduced, which is composed of simplex high-order structure, to enhance the performance of link prediction method since it is highly feasible in sparse network. Combining the life cycle of information and simplex high-order structure, the overall performance of TLPSS is achieved by satisfying the consistency of temporal and structural information in dynamic networks. Experimental results on six real-world datasets demonstrate the effectiveness of TLPSS, and our proposed model improves the performance of link prediction by an average of 15% compared to other baseline methods.


title: A Step Towards Preserving Speakers' Identity While Detecting Depression Via Speaker Disentanglement

abstract: Preserving a patient's identity is a challenge for automatic, speech-based diagnosis of mental health disorders. In this paper, we address this issue by proposing adversarial disentanglement of depression characteristics and speaker identity. The model used for depression classification is trained in a speaker-identity-invariant manner by minimizing depression prediction loss and maximizing speaker prediction loss during training. The effectiveness of the proposed method is demonstrated on two datasets - DAIC-WOZ (English) and CONVERGE (Mandarin), with three feature sets (Mel-spectrograms, raw-audio signals, and the last-hidden-state of Wav2vec2.0), using a modified DepAudioNet model. With adversarial training, depression classification improves for every feature when compared to the baseline. Wav2vec2.0 features with adversarial learning resulted in the best performance (F1-score of 69.2% for DAIC-WOZ and 91.5% for CONVERGE). Analysis of the class-separability measure (J-ratio) of the hidden states of the DepAudioNet model shows that when adversarial learning is applied, the backend model loses some speaker-discriminability while it improves depression-discriminability. These results indicate that there are some components of speaker identity that may not be useful for depression detection and minimizing their effects provides a more accurate diagnosis of the underlying disorder and can safeguard a speaker's identity.


title: CEPC Cost Model Study and Circumference Optimization

abstract: The CEPC is a proposed high luminosity Higgs/Z factory, with the potential to be upgraded to top factory at center-of-mass energy of 360GeV. We perform an optimization study on the circumference of CEPC. We calculate the instant luminosity, the construction and operation cost for different circumferences. With respect to the total cost and average cost per particle, we conclude that the optimal circumference for the CEPC Higgs operation is 80 km. Taking into account of the Z pole operation, the potential high-energy upgrade of CEPC (top factory), the optimal circumference increased to 100 km. The long future proton-proton upgrade of CEPC (SPPC) also favors a larger circumference, and we conclude that 100 km is the global optimized circumference for this facility.


title: Hands-on Wireless Sensing with Wi-Fi: A Tutorial

abstract: With the rapid development of wireless communication technology, wireless access points (AP) and internet of things (IoT) devices have been widely deployed in our surroundings. Various types of wireless signals (e.g., Wi-Fi, LoRa, LTE) are filling out our living and working spaces. Previous researches reveal the fact that radio waves are modulated by the spatial structure during the propagation process (e.g., reflection, diffraction, and scattering) and superimposed on the receiver. This observation allows us to reconstruct the surrounding environment based on received wireless signals, called "wireless sensing". Wireless sensing is an emerging technology that enables a wide range of applications, such as gesture recognition for human-computer interaction, vital signs monitoring for health care, and intrusion detection for security management. Compared with other sensing paradigms, such as vision-based and IMU-based sensing, wireless sensing solutions have unique advantages such as high coverage, pervasiveness, low cost, and robustness under adverse light and texture scenarios. Besides, wireless sensing solutions are generally lightweight in terms of both computation overhead and device size. This tutorial takes Wi-Fi sensing as an example. It introduces both the theoretical principles and the code implementation of data collection, signal processing, features extraction, and model design. In addition, this tutorial highlights state-of-the-art deep learning models (e.g., CNN, RNN, and adversarial learning models) and their applications in wireless sensing systems. We hope this tutorial will help people in other research fields to break into wireless sensing research and learn more about its theories, designs, and implementation skills, promoting prosperity in the wireless sensing research field.


title: Parametrically-driven temporal cavity solitons in a bichromatically-driven pure Kerr resonator

abstract: Temporal cavity solitons (CSs) are pulses of light that can persist endlessly in dispersive, nonlinear optical resonators. They have been extensively studied in the context of resonators with purely cubic (Kerr-type) nonlinearity that are externally-driven with a monochromatic continuous wave laser -- in such systems, the solitons manifest themselves as unique attractors whose carrier frequency coincides with that of the external driving field. Recent experiments have, however, shown that a qualitatively different type of temporal CS can arise via parametric down-conversion in resonators with simultaneous quadratic and cubic nonlinearity. In contrast to conventional CSs in pure-Kerr resonators, these \emph{parametrically-driven cavity solitons} come in two different flavours with opposite phases, and they are spectrally centred at half of the frequency of the driving field. Here, we theoretically and numerically show that, under conditions of bichromatic driving, such parametrically-driven CSs can also arise in dispersive resonators with pure Kerr nonlinearity. In this case, the solitons arise through parametric four-wave mixing, come with two distinct phases, and have a carrier frequency in between the two external driving fields. We show that, when all waves are resonant, the solitons can experience long-range interactions due to their back-action on the intracavity fields at the pump frequencies, and we discuss the parameter requirements for the solitons' existence. Besides underlining the possibility of exciting a new type of cavity soliton in dispersive Kerr cavities, our work advances the theoretical modeling of resonators that are coherently-driven with polychromatic fields.


title: Proceedings Ninth Workshop on Mathematically Structured Functional Programming

abstract: This volume contains the proceedings of the Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022). The meeting took place on the 2nd of April as a satellite of European Joint Conferences on Theory & Practice of Software (ETAPS 2022). The MSFP workshop highlights applications of mathematical structures to programming applications. We promote the use of category theory, type theory, and formal language semantics to the development of simple and reasonable programs. As the range of papers presented in this year's workshop shows, this continues to be a fruitful interface.


title: Extracting Fast and Slow: User-Action Embedding with Inter-temporal Information

abstract: With the recent development of technology, data on detailed human temporal behaviors has become available. Many methods have been proposed to mine those human dynamic behavior data and revealed valuable insights for research and businesses. However, most methods analyze only sequence of actions and do not study the inter-temporal information such as the time intervals between actions in a holistic manner. While actions and action time intervals are interdependent, it is challenging to integrate them because they have different natures: time and action. To overcome this challenge, we propose a unified method that analyzes user actions with intertemporal information (time interval). We simultaneously embed the user's action sequence and its time intervals to obtain a low-dimensional representation of the action along with intertemporal information. The paper demonstrates that the proposed method enables us to characterize user actions in terms of temporal context, using three real-world data sets. This paper demonstrates that explicit modeling of action sequences and inter-temporal user behavior information enable successful interpretable analysis.


title: The eROSITA Final Equatorial-Depth Survey (eFEDS): X-ray properties of Subaru optically-selected clusters

abstract: We present the results of a systematic X-ray analysis of optically rich galaxy clusters detected by the Subaru HSC survey in the eROSITA eFEDS field. Through a joint analysis of SRG/eROSITA and Subaru/HSC surveys, we aim to study the dynamical status of the optically selected clusters and derive the cluster scaling relations. The sample consists of 43 optically selected galaxy clusters with a richness $>40$ in $0.16<z<0.89$. We systematically analyzed the X-ray images and spectra using the eROSITA data. We identified the BCG using the optical and far-infrared databases. We evaluated the cluster's dynamical status by measuring the offset between the X-ray peak and BCG position, the gas concentration, and the number of galaxy-density peaks. We studied the luminosity-temperature and mass-luminosity relations based on eROSITA X-ray spectra and HSC weak-lensing data analyses. Based on the these measurements, the fraction of relaxed clusters is $2(<39)$%, which is smaller than that of the X-ray-selected cluster samples. After correcting for a selection bias due to the richness cut, we obtained a shallow $L-T$ slope of $2.1\pm0.5$, which is consistent with the predictions of the self-similar model and the baseline model incorporating a mass-concentration relation. The $L-M$ slope of $1.5\pm0.3$ agrees with the above theoretical models and that of the shear-selected clusters in the eFEDs field. Our analysis of high-richness optical clusters yields a small fraction of relaxed clusters and a shallow slope for the luminosity-temperature relation. This suggests that the average X-ray properties of the optical clusters are likely to be different from those observed in the X-ray samples. Thus, the joint eROSITA and HSC observations are a powerful tool in extending the analysis to a larger sample and understanding the selection effect with a view to establish cluster scaling relations.


title: Conjugate point criteria on the area-preserving diffeomorphism group

abstract: This paper answers some questions about conjugate points along the geodesics corresponding to steady 2D Euler flows, posed by a paper of Drivas-Misiolek-Shi-Yoneda. We present a new sufficient criterion for the existence of conjugate points, which improves on the criterion of Misiolek. It applies in any rotational cell of a steady 2D Euler flow, and in case of rotational symmetry it captures all known conjugate points. We give a general construction of the surfaces that admit a steady fluid with given area form, velocity profile, and vorticity profile, and from this we show how to detect conjugate points in a single rotational cell of a steady flow. When the velocity profile has a local extremum, the criterion becomes particularly simple. Several examples are provided, and in an appendix we use the Misio{\l}ek criterion to give some new examples of conjugate points along Kolmogorov flows on the torus.


title: Deriving the slip front propagation velocity with the slip- and slip-velocity-dependent friction laws via the use of the linear marginal stability hypothesis

abstract: We analytically and numerically investigate the determining factors of the slip front propagation (SFP) velocity. The slip front has two forms characterized by intruding or extruding front. We assume a 1D viscoelastic medium on a rigid and fixed substrate, and we employ the friction law depending on the slip and slip velocity. Despite this dependency potentially being nonlinear, we use the linear marginal stability hypothesis, which linearizes the governing equation for the slip, to investigate the intruding and extruding front velocities. The analytically obtained velocities are found to be consistent with the numerical computation where we assume the friction law nonlinearly depends on both the slip and slip velocity. This implies that the linearized friction law is sufficient to capture the dominant features of SFP behavior.


title: Numerical reconstruction for 3D nonlinear SAR imaging via a version of the convexification method

abstract: This work extends the applicability of our recent convexification-based algorithm for constructing images of the dielectric constant of buried or occluded target. We are orientated towards the detection of explosive-like targets such as antipersonnel land mines and improvised explosive devices in the non-invasive inspections of buildings. In our previous work, the method is posed in the perspective that we use multiple source locations running along a line of source to get a 2D image of the dielectric function. Mathematically, we solve a 1D coefficient inverse problem for a hyperbolic equation for each source location. Different from any conventional Born approximation-based technique for synthetic-aperture radar, this method does not need any linearization. In this paper, we attempt to verify the method using several 3D numerical tests with simulated data. We revisit the global convergence of the gradient descent method of our computational approach.


title: Chiral current in Floquet cavity-magnonics

abstract: Floquet engineering can induce complex collective behaviour and interesting synthetic gauge-field in quantum systems through temporal modulation of system parameters by periodic drives. Using a Floquet drive on frequencies of the magnon modes, we realize a chiral state-transfer in a cavity-magnonic system. The time-reversal symmetry is broken in such a promising platform for coherent information processing. In particular, the photon mode is adiabatically eliminated in the large-detuning regime and the magnon modes under conditional longitudinal drives can be indirectly coupled to each other with a phase-modulated interaction. The effective Hamiltonian is then used to generate chiral currents in a circular loop, whose dynamics is evaluated to measure the symmetry of the system Hamiltonian. Beyond the dynamics limited in the manifold with a fixed number of excitations, our protocol applies to the continuous-variable systems with arbitrary states. Also it is found to be robust against the systematic errors in the photon-magnon coupling strength and Kerr nonlinearity.


title: DualCoOp: Fast Adaptation to Multi-Label Recognition with Limited Annotations

abstract: Solving multi-label recognition (MLR) for images in the low-label regime is a challenging task with many real-world applications. Recent work learns an alignment between textual and visual spaces to compensate for insufficient image labels, but loses accuracy because of the limited amount of available MLR annotations. In this work, we utilize the strong alignment of textual and visual features pretrained with millions of auxiliary image-text pairs and propose Dual Context Optimization (DualCoOp) as a unified framework for partial-label MLR and zero-shot MLR. DualCoOp encodes positive and negative contexts with class names as part of the linguistic input (i.e. prompts). Since DualCoOp only introduces a very light learnable overhead upon the pretrained vision-language framework, it can quickly adapt to multi-label recognition tasks that have limited annotations and even unseen classes. Experiments on standard multi-label recognition benchmarks across two challenging low-label settings demonstrate the advantages of our approach over state-of-the-art methods.


title: Visual Guidance for User Placement in Avatar-Mediated Telepresence between Dissimilar Spaces

abstract: Rapid advances in technology gradually realize immersive mixed-reality (MR) telepresence between distant spaces. This paper presents a novel visual guidance system for avatar-mediated telepresence, directing users to optimal placements that facilitate the clear transfer of gaze and pointing contexts through remote avatars in dissimilar spaces, where the spatial relationship between the remote avatar and the interaction targets may differ from that of the local user. Representing the spatial relationship between the user/avatar and interaction targets with angle-based interaction features, we assign recommendation scores of sampled local placements as their maximum feature similarity with remote placements. These scores are visualized as color-coded 2D sectors to inform the users of better placements for interaction with selected targets. In addition, virtual objects of the remote space are overlapped with the local space for the user to better understand the recommendations. We examine whether the proposed score measure agrees with the actual user perception of the partner's interaction context and find a score threshold for recommendation through user experiments in virtual reality (VR). A subsequent user study in VR investigates the effectiveness and perceptual overload of different combinations of visualizations. Finally, we conduct a user study in an MR telepresence scenario to evaluate the effectiveness of our method in real-world applications.


title: Meta-learning for Out-of-Distribution Detection via Density Estimation in Latent Space

abstract: Many neural network-based out-of-distribution (OoD) detection methods have been proposed. However, they require many training data for each target task. We propose a simple yet effective meta-learning method to detect OoD with small in-distribution data in a target task. With the proposed method, the OoD detection is performed by density estimation in a latent space. A neural network shared among all tasks is used to flexibly map instances in the original space to the latent space. The neural network is meta-learned such that the expected OoD detection performance is improved by using various tasks that are different from the target tasks. This meta-learning procedure enables us to obtain appropriate representations in the latent space for OoD detection. For density estimation, we use a Gaussian mixture model (GMM) with full covariance for each class. We can adapt the GMM parameters to in-distribution data in each task in a closed form by maximizing the likelihood. Since the closed form solution is differentiable, we can meta-learn the neural network efficiently with a stochastic gradient descent method by incorporating the solution into the meta-learning objective function. In experiments using six datasets, we demonstrate that the proposed method achieves better performance than existing meta-learning and OoD detection methods.


title: Tangled magnetic field model of QPOs

abstract: The highly tangled magnetic field of a magnetar supports shear waves similar to Alfv\'en waves in an ordered magnetic field. Here we explore if torsional modes excited in the stellar interior and magnetosphere can explain the quasi-periodic oscillations (QPOs) observed in the tail of the giant flare of SGR 1900+14. We solve the initial value problem for a tangled magnetic field that couples interior shear waves to relativistic Alfv\'en shear waves in the magnetosphere. Assuming stellar oscillations arise from the sudden release of magnetic energy, we obtain constraints on the energetics and geometry of the process. If the flare energy is deposited initially inside the star, the wave energy propagates relatively slowly to the magnetosphere which is at odds with the observed rise time of the radiative event of $\lesssim 10$ ms. Nor can the flare energy be deposited entirely outside the star, as most of the energy reflects off the stellar surface, giving surface oscillations of insufficient magnitude to produce detectable modulations of magnetospheric currents. Energy deposition in a volume that straddles the stellar surface gives agreement with the observed rise time and excites a range of modes with substantial amplitude at observed QPO frequencies. In general, localized energy deposition excites a broad range of modes that encompasses the observed QPOs, though many more modes are excited than the number of observed QPOs. If the flare energy is deposited axisymmetrically, as is possible for a certain class of MHD instabilities, the number of modes that is excited is considerably reduced.


title: Inverted level populations of hydrogen atoms in ionized gas

abstract: Context. Level population inversion of hydrogen atoms in ionized gas may lead to stimulated emission of hydrogen recombination lines, and the level populations can in turn be affected by powerful stimulated emissions. Aims. In this work the interaction of the radiation fields and the level population inversion of hydrogen atoms is studied. The effect of the stimulated emissions on the line profiles is also investigated. Methods. Our previous nl-model for calculating level populations of hydrogen atoms and hydrogen recombination lines is improved. The effects of line and continuum radiation fields on the level populations are considered in the improved model. By using this method the properties of simulated hydrogen recombination lines and level populations are used in analyses. Results. The simulations show that hydrogen radio recombination lines are often emitted from the energy level with an inverted population. The widths of Hn$\alpha$ lines can be significantly narrowed by strong stimulated emissions to be even less than 10 km s$^{-1}$. The amplification of hydrogen recombination lines is more affected by the line optical depth than by the total optical depth. The influence of stimulated emission on the estimates of electron temperature and density of ionized gas is evaluated. We find that comparing multiple line-to-continuum ratios is a reliable method for estimating the electron temperature, while the effectiveness of the estimation of electron density is determined by the relative significance of stimulated emission.


title: Policy Optimization with Linear Temporal Logic Constraints

abstract: We study the problem of policy optimization (PO) with linear temporal logic (LTL) constraints. The language of LTL allows flexible description of tasks that may be unnatural to encode as a scalar cost function. We consider LTL-constrained PO as a systematic framework, decoupling task specification from policy selection, and as an alternative to the standard of cost shaping. With access to a generative model, we develop a model-based approach that enjoys a sample complexity analysis for guaranteeing both task satisfaction and cost optimality (through a reduction to a reachability problem). Empirically, our algorithm can achieve strong performance even in low-sample regimes.


title: Structure of finite groups with restrictions on the set of conjugacy classes sizes

abstract: Let $N(G)$ be the set of conjugacy classes sizes of $G$. We prove that if $N(G)=\Omega\times \{1,n\}$ for specific set $\Omega$ of integers, then $G\simeq A\times B$ where $N(A)=\Omega$, $N(B)=\{1,n\}$, and $n$ is a power of prime.


title: Variational Distillation for Multi-View Learning

abstract: Information Bottleneck (IB) based multi-view learning provides an information theoretic principle for seeking shared information contained in heterogeneous data descriptions. However, its great success is generally attributed to estimate the multivariate mutual information which is intractable when the network becomes complicated. Moreover, the representation learning tradeoff, {\it i.e.}, prediction-compression and sufficiency-consistency tradeoff, makes the IB hard to satisfy both requirements simultaneously. In this paper, we design several variational information bottlenecks to exploit two key characteristics ({\it i.e.}, sufficiency and consistency) for multi-view representation learning. Specifically, we propose a Multi-View Variational Distillation (MV$^2$D) strategy to provide a scalable, flexible and analytical solution to fitting MI by giving arbitrary input of viewpoints but without explicitly estimating it. Under rigorously theoretical guarantee, our approach enables IB to grasp the intrinsic correlation between observations and semantic labels, producing predictive and compact representations naturally. Also, our information-theoretic constraint can effectively neutralize the sensitivity to heterogeneous data by eliminating both task-irrelevant and view-specific information, preventing both tradeoffs in multiple view cases. To verify our theoretically grounded strategies, we apply our approaches to various benchmarks under three different applications. Extensive experiments to quantitatively and qualitatively demonstrate the effectiveness of our approach against state-of-the-art methods.


title: Cooperative Edge Caching via Multi Agent Reinforcement Learning in Fog Radio Access Networks

abstract: In this paper, the cooperative edge caching problem in fog radio access networks (F-RANs) is investigated. To minimize the content transmission delay, we formulate the cooperative caching optimization problem to find the globally optimal caching strategy.By considering the non-deterministic polynomial hard (NP-hard) property of this problem, a Multi Agent Reinforcement Learning (MARL)-based cooperative caching scheme is proposed.Our proposed scheme applies double deep Q-network (DDQN) in every fog access point (F-AP), and introduces the communication process in multi-agent system. Every F-AP records the historical caching strategies of its associated F-APs as the observations of communication procedure.By exchanging the observations, F-APs can leverage the cooperation and make the globally optimal caching strategy.Simulation results show that the proposed MARL-based cooperative caching scheme has remarkable performance compared with the benchmark schemes in minimizing the content transmission delay.


title: Voltage-controlled significant spin wave Doppler shift in FM/FE heterojunction

abstract: Efficient manipulation of spin waves (SWs) is considered as one of the promising means for encoding information with low power consumption in next generation spintronic devices. The SW Doppler shift is one important phenomenon by manipulating SWs propagation. Here, we predict an efficient way to control the SW Doppler shift by voltage control magnetic anisotropy boundary (MAB) movement in FM/FE heterojunction. From the micromagnetic simulation, we verified that the SW Doppler shift aligns well with our theoretical predictions in Fe/$\rm BaTiO_3$ heterostructure. The SW Doppler shift also shows ultra wide-band shift (over 5 GHz) property with voltage. Such efficient SW Doppler shift may provide one possible way to measure the Hawking radiation of an analogue black hole in the SW systems.


title: Eliminating The Impossible, Whatever Remains Must Be True

abstract: The rise of AI methods to make predictions and decisions has led to a pressing need for more explainable artificial intelligence (XAI) methods. One common approach for XAI is to produce a post-hoc explanation, explaining why a black box ML model made a certain prediction. Formal approaches to post-hoc explanations provide succinct reasons for why a prediction was made, as well as why not another prediction was made. But these approaches assume that features are independent and uniformly distributed. While this means that "why" explanations are correct, they may be longer than required. It also means the "why not" explanations may be suspect as the counterexamples they rely on may not be meaningful. In this paper, we show how one can apply background knowledge to give more succinct "why" formal explanations, that are presumably easier to interpret by humans, and give more accurate "why not" explanations. In addition, we show how to use existing rule induction techniques to efficiently extract background information from a dataset, and also how to report which background information was used to make an explanation, allowing a human to examine it if they doubt the correctness of the explanation.


title: Dynamic Message Propagation Network for RGB-D Salient Object Detection

abstract: This paper presents a novel deep neural network framework for RGB-D salient object detection by controlling the message passing between the RGB images and depth maps on the feature level and exploring the long-range semantic contexts and geometric information on both RGB and depth features to infer salient objects. To achieve this, we formulate a dynamic message propagation (DMP) module with the graph neural networks and deformable convolutions to dynamically learn the context information and to automatically predict filter weights and affinity matrices for message propagation control. We further embed this module into a Siamese-based network to process the RGB image and depth map respectively and design a multi-level feature fusion (MFF) module to explore the cross-level information between the refined RGB and depth features. Compared with 17 state-of-the-art methods on six benchmark datasets for RGB-D salient object detection, experimental results show that our method outperforms all the others, both quantitatively and visually.


title: Capturing and Inferring Dense Full-Body Human-Scene Contact

abstract: Inferring human-scene contact (HSC) is the first step toward understanding how humans interact with their surroundings. While detecting 2D human-object interaction (HOI) and reconstructing 3D human pose and shape (HPS) have enjoyed significant progress, reasoning about 3D human-scene contact from a single image is still challenging. Existing HSC detection methods consider only a few types of predefined contact, often reduce body and scene to a small number of primitives, and even overlook image evidence. To predict human-scene contact from a single image, we address the limitations above from both data and algorithmic perspectives. We capture a new dataset called RICH for "Real scenes, Interaction, Contact and Humans." RICH contains multiview outdoor/indoor video sequences at 4K resolution, ground-truth 3D human bodies captured using markerless motion capture, 3D body scans, and high resolution 3D scene scans. A key feature of RICH is that it also contains accurate vertex-level contact labels on the body. Using RICH, we train a network that predicts dense body-scene contacts from a single RGB image. Our key insight is that regions in contact are always occluded so the network needs the ability to explore the whole image for evidence. We use a transformer to learn such non-local relationships and propose a new Body-Scene contact TRansfOrmer (BSTRO). Very few methods explore 3D contact; those that do focus on the feet only, detect foot contact as a post-processing step, or infer contact from body pose without looking at the scene. To our knowledge, BSTRO is the first method to directly estimate 3D body-scene contact from a single image. We demonstrate that BSTRO significantly outperforms the prior art. The code and dataset are available at https://rich.is.tue.mpg.de.