title: Learnable human mesh triangulation for 3D human pose and shape estimation

abstract: Compared to joint position, the accuracy of joint rotation and shape estimation has received relatively little attention in the skinned multi-person linear model (SMPL)-based human mesh reconstruction from multi-view images. The work in this field is broadly classified into two categories. The first approach performs joint estimation and then produces SMPL parameters by fitting SMPL to resultant joints. The second approach regresses SMPL parameters directly from the input images through a convolutional neural network (CNN)-based model. However, these approaches suffer from the lack of information for resolving the ambiguity of joint rotation and shape reconstruction and the difficulty of network learning. To solve the aforementioned problems, we propose a two-stage method. The proposed method first estimates the coordinates of mesh vertices through a CNN-based model from input images, and acquires SMPL parameters by fitting the SMPL model to the estimated vertices. Estimated mesh vertices provide sufficient information for determining joint rotation and shape, and are easier to learn than SMPL parameters. According to experiments using Human3.6M and MPI-INF-3DHP datasets, the proposed method significantly outperforms the previous works in terms of joint rotation and shape estimation, and achieves competitive performance in terms of joint location estimation.


title: Feasibility Study of LIMMS, A Multi-Agent Modular Robotic Delivery System with Various Locomotion and Manipulation Modes

abstract: The logistics of transporting a package from a storage facility to the consumer's front door usually employs highly specialized robots often times splitting sub-tasks up to different systems, e.g., manipulator arms to sort and wheeled vehicles to deliver. More recent endeavors attempt to have a unified approach with legged and humanoid robots. These solutions, however, occupy large amounts of space thus reducing the number of packages that can fit into a delivery vehicle. As a result, these bulky robotic systems often reduce the potential for scalability and task parallelization. In this paper, we introduce LIMMS (Latching Intelligent Modular Mobility System) to address both the manipulation and delivery portion of a typical last-mile delivery while maintaining a minimal spatial footprint. LIMMS is a symmetrically designed, 6 degree of freedom (DoF) appendage-like robot with wheels and latching mechanisms at both ends. By latching onto a surface and anchoring at one end, LIMMS can function as a traditional 6-DoF manipulator arm. On the other hand, multiple LIMMS can latch onto a single box and behave like a legged robotic system where the package is the body. During transit, LIMMS folds up compactly and takes up much less space compared to traditional robotic systems. A large group of LIMMS units can fit inside of a single delivery vehicle, opening the potential for new delivery optimization and hybrid planning methods never done before. In this paper, the feasibility of LIMMS is studied and presented using a hardware prototype as well as simulation results for a range of sub-tasks in a typical last-mile delivery.


title: FashionVQA: A Domain-Specific Visual Question Answering System

abstract: Humans apprehend the world through various sensory modalities, yet language is their predominant communication channel. Machine learning systems need to draw on the same multimodal richness to have informed discourses with humans in natural language; this is particularly true for systems specialized in visually-dense information, such as dialogue, recommendation, and search engines for clothing. To this end, we train a visual question answering (VQA) system to answer complex natural language questions about apparel in fashion photoshoot images. The key to the successful training of our VQA model is the automatic creation of a visual question-answering dataset with 168 million samples from item attributes of 207 thousand images using diverse templates. The sample generation employs a strategy that considers the difficulty of the question-answer pairs to emphasize challenging concepts. Contrary to the recent trends in using several datasets for pretraining the visual question answering models, we focused on keeping the dataset fixed while training various models from scratch to isolate the improvements from model architecture changes. We see that using the same transformer for encoding the question and decoding the answer, as in language models, achieves maximum accuracy, showing that visual language models (VLMs) make the best visual question answering systems for our dataset. The accuracy of the best model surpasses the human expert level, even when answering human-generated questions that are not confined to the template formats. Our approach for generating a large-scale multimodal domain-specific dataset provides a path for training specialized models capable of communicating in natural language. The training of such domain-expert models, e.g., our fashion VLM model, cannot rely solely on the large-scale general-purpose datasets collected from the web.


title: Gromit: Benchmarking the Performance and Scalability of Blockchain Systems

abstract: The growing number of implementations of blockchain systems stands in stark contrast with still limited research on a systematic comparison of performance characteristics of these solutions. Such research is crucial for evaluating fundamental trade-offs introduced by novel consensus protocols and their implementations. These performance limitations are commonly analyzed with ad-hoc benchmarking frameworks focused on the consensus algorithm of blockchain systems. However, comparative evaluations of design choices require macro-benchmarks for uniform and comprehensive performance evaluations of blockchains at the system level rather than performance metrics of isolated components. To address this research gap, we implement Gromit, a generic framework for analyzing blockchain systems. Gromit treats each system under test as a transaction fabric where clients issue transactions to validators. We use Gromit to conduct the largest blockchain study to date, involving seven representative systems with varying consensus models. We determine the peak performance of these systems with a synthetic workload in terms of transaction throughput and scalability and show that transaction throughput does not scale with the number of validators. We explore how robust the subjected systems are against network delays and reveal that the performance of permissoned blockchain is highly sensitive to network conditions.


title: The Green's function of the parabolic Anderson model and the continuum directed polymer

abstract: We build a regular version of the field $Z_{\beta}(t,x|s,y)$ which describes the Green's function, or fundamental solution, of the parabolic Anderson model (PAM) with white noise forcing on $\mathbb{R}^{1+1}$: $\partial_t Z_{\beta}(t,x | s,y) =$ $\frac{1}{2}\partial_{xx} Z_{\beta}(t,x|s,y) + \beta Z_{\beta}(t,x | s,y)W(t,x)$, $Z_{\beta}(s,x | s,y) = \delta(x-y)$ for all $-\infty < s \leq t < \infty$, all $x,y \in \mathbb{R}$, and all $\beta \in \mathbb{R}$ simultaneously. Through the superposition principle, our construction gives a pointwise coupling of all solutions to the PAM with initial or terminal conditions satisfying sharp growth assumptions, for all initial and terminal times. Using this coupling, we show that the PAM with a (sub-)exponentially growing initial condition admits conserved quantities given by the limits $\displaystyle \lim_{x\to \pm\infty} x^{-1}\log Z_{\beta}(t,x)$, in addition to proving many new basic properties of solutions to the PAM with general initial conditions. These properties are then connected to the existence, regularity, and continuity of the quenched continuum polymer measures. Through the polymer connection, we also show that the kernel $(x,y) \mapsto Z_{\beta}(t,x | s,y)$ is strictly totally positive for all $t>s$ and $\beta\in \mathbb{R}$.


title: The Structure of Geodesic Orbit Lorentz Nilmanifolds

abstract: The geodesic orbit property is useful and interesting in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases. Those classes include weakly symmetric Riemannian manifolds and naturally reductive Riemannian manifolds. The corresponding results for indefinite metric manifolds are much more delicate than in Riemannian signature, but in the last few years important corresponding structural results were proved for geodesic orbit Lorentz manifolds. Here we carry out a major step in the structural analysis of geodesic orbit Lorentz nilmanifolds. Those are the geodesic orbit Lorentz manifolds $M = G/H$ such that a nilpotent analytic subgroup of $G$ is transitive on $M$. Suppose that there is a reductive decomposition $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{n}$ (vector space direct sum) with $\mathfrak{n}$ nilpotent. When the metric is nondegenerate on $[\mathfrak{n},\mathfrak{n}]$ we show that $\mathfrak{n}$ is abelian or 2-step nilpotent (this is the same result as for geodesic orbit Riemannian nilmanifolds), and when the metric is degenerate on $[\mathfrak{n},\mathfrak{n}]$ we show that $\mathfrak{n}$ is a Lorentz double extension corresponding to a geodesic orbit Riemannian nilmanifold. In the latter case we construct examples to show that the number of nilpotency steps is unbounded.


title: 3D-FM GAN: Towards 3D-Controllable Face Manipulation

abstract: 3D-controllable portrait synthesis has significantly advanced, thanks to breakthroughs in generative adversarial networks (GANs). However, it is still challenging to manipulate existing face images with precise 3D control. While concatenating GAN inversion and a 3D-aware, noise-to-image GAN is a straight-forward solution, it is inefficient and may lead to noticeable drop in editing quality. To fill this gap, we propose 3D-FM GAN, a novel conditional GAN framework designed specifically for 3D-controllable face manipulation, and does not require any tuning after the end-to-end learning phase. By carefully encoding both the input face image and a physically-based rendering of 3D edits into a StyleGAN's latent spaces, our image generator provides high-quality, identity-preserved, 3D-controllable face manipulation. To effectively learn such novel framework, we develop two essential training strategies and a novel multiplicative co-modulation architecture that improves significantly upon naive schemes. With extensive evaluations, we show that our method outperforms the prior arts on various tasks, with better editability, stronger identity preservation, and higher photo-realism. In addition, we demonstrate a better generalizability of our design on large pose editing and out-of-domain images.


title: Applying Eigencontours to PolarMask-Based Instance Segmentation

abstract: Eigencontours are the first data-driven contour descriptors based on singular value decomposition. Based on the implementation of ESE-Seg, eigencontours were applied to the instance segmentation task successfully. In this report, we incorporate eigencontours into the PolarMask network for instance segmentation. Experimental results demonstrate that the proposed algorithm yields better results than PolarMask on two instance segmentation datasets of COCO2017 and SBD. Also, we analyze the characteristics of eigencontours qualitatively. Our codes are available at https://github.com/dnjs3594/Eigencontours.


title: Geometric properties of homomorphisms between the absolute Galois groups of mixed-characteristic complete discrete valuation fields with perfect residue fields

abstract: Although the analogue of the theorem of Neukirch-Uchida for $p$-adic local fields fails to hold as it is, Mochizuki proved a certain analogue of this theorem for the absolute Galois groups with ramification filtrations of $p$-adic local fields. Moreover, Mochizuki and Hoshi gave various (necessary and) sufficient conditions for homomorphisms between the absolute Galois groups of $p$-adic local fields to be "geometric" (i.e., to arise from homomorphisms of fields). In the present paper, we consider similar problems for general mixed-characteristic complete discrete valuation fields with perfect residue fields. One main result gives (necessary and) sufficient conditions for homomorphisms between the absolute Galois groups of mixed-characteristic complete discrete valuation fields with residue fields algebraic over the prime fields to be geometric. We also give a "weak-Isom" anabelian result for homomorphisms between the absolute Galois groups of these fields.


title: On the degree of irrationality of complete intersections

abstract: We obtain a lower bound of the degree of irrationality of very general complete intersections over the complex field from the recent results of the first author and Chen--Stapleton. For combining these results, we make a minor adjustment of Chen--Stapleton's method using the trace map of differential modules.


title: Efficient core-excited state orbital perspective on calculating X-ray absorption transitions in determinant framework

abstract: X-ray absorption spectroscopy (XAS) is an explicit probe of the unoccupied electronic structure of materials and an invaluable tool for fingerprinting various electronic properties and phenomena. Computational methods capable of simulating and analysing such spectra are therefore in high demand for complementing the experimental results and for extracting valuable insights therefrom. In particular, a recently proposed first-principles approach titled Many-Body XAS (MBXAS), which approximates the final (initial) state as a Slater determinant constructed from Kohn-Sham (KS) orbitals optimized in absence (presence) of the relevant core-hole has shown promising prospects in evaluating the transition amplitudes. In this article, we show that the MBXAS approach can be rederived using a transition operator expressed entirely in the basis of core-excited state KS orbitals and that this reformulation offers substantial practical and conceptual advantages. In addition to circumventing previous issues of convergence with respect to the number of unoccupied ground-state orbitals, the aforementioned representation reduces the computational expense by rendering the calculation of such orbitals unnecessary altogether. The reformulated approach also provides a direct pathway for comparing the many-body approximation with the so-called single-particle treatment and indicates the relative importance in observed XAS intensity of the relaxation of the valence occupied subspace induced by the core excitation. Finally, using the core-excited state basis, we define auxiliary orbitals for x-ray absorption and demonstrate their utility in explaining the spectral intensity by contrasting them with single-particle approximations to the excited state.


title: Differential evolution variants for Searching D- and A-optimal designs

abstract: Optimal experimental design is an essential subfield of statistics that maximizes the chances of experimental success. The D- and A-optimal design is a very challenging problem in the field of optimal design, namely minimizing the determinant and trace of the inverse Fisher information matrix. Due to the flexibility and ease of implementation, traditional evolutionary algorithms (EAs) are applied to deal with a small part of experimental optimization design problems without mathematical derivation and assumption. However, the current EAs remain the issues of determining the support point number, handling the infeasible weight solution, and the insufficient experiment. To address the above issues, this paper investigates differential evolution (DE) variants for finding D- and A-optimal designs on several different statistical models. The repair operation is proposed to automatically determine the support point by combining similar support points with their corresponding weights based on Euclidean distance and deleting the support point with less weight. Furthermore, the repair operation fixes the infeasible weight solution into the feasible weight solution. To enrich our optimal design experiments, we utilize the proposed DE variants to test the D- and A-optimal design problems on 12 statistical models. Compared with other competitor algorithms, simulation experiments show that LSHADE can achieve better performance on the D- and A-optimal design problems.


title: A note on the edge choosability of $K_{5}$-minor free graphs

abstract: For a planar graph $G$, Borodin stated that $G$ is $(\Delta+1)$-edge-choosable if $\Delta \geq9$ and later Bonamy showed that $G$ is $9$-edge-choosable if $\Delta=8$. At the same time, Borodin et al. proved that $G$ is $\Delta$-edge-choosable if $\Delta\geq12$. In the paper, we extend these results to $K_5$-minor free graphs.


title: Towards an Awareness of Time Series Anomaly Detection Models' Adversarial Vulnerability

abstract: Time series anomaly detection is extensively studied in statistics, economics, and computer science. Over the years, numerous methods have been proposed for time series anomaly detection using deep learning-based methods. Many of these methods demonstrate state-of-the-art performance on benchmark datasets, giving the false impression that these systems are robust and deployable in many practical and industrial real-world scenarios. In this paper, we demonstrate that the performance of state-of-the-art anomaly detection methods is degraded substantially by adding only small adversarial perturbations to the sensor data. We use different scoring metrics such as prediction errors, anomaly, and classification scores over several public and private datasets ranging from aerospace applications, server machines, to cyber-physical systems in power plants. Under well-known adversarial attacks from Fast Gradient Sign Method (FGSM) and Projected Gradient Descent (PGD) methods, we demonstrate that state-of-the-art deep neural networks (DNNs) and graph neural networks (GNNs) methods, which claim to be robust against anomalies and have been possibly integrated in real-life systems, have their performance drop to as low as 0%. To the best of our understanding, we demonstrate, for the first time, the vulnerabilities of anomaly detection systems against adversarial attacks. The overarching goal of this research is to raise awareness towards the adversarial vulnerabilities of time series anomaly detectors.


title: Interacting Dreaming Neural Networks

abstract: We study the interaction of agents, where each one consists of an associative memory neural network trained with the same memory patterns and possibly different reinforcement-unlearning dreaming periods. Using replica methods, we obtain the rich equilibrium phase diagram of the coupled agents. It shows phases such as the student-professor phase, where only one network benefits from the interaction while the other is unaffected; a mutualism phase, where both benefit; an indifferent phase and an insufficient phase, where neither are benefited nor impaired; a phase of amensalism where one is unchanged and the other is damaged. In addition to the paramagnetic and spin glass phases, there is also one we call the reinforced delusion phase, where agents concur without having finite overlaps with memory patterns. For zero coupling constant, the model becomes the reinforcement and removal dreaming model, which without dreaming is the Hopfield model. For finite coupling and a single memory pattern, it becomes a Mattis version of the Ashkin-Teller model. In addition to the analytical results, we have explored the model with Monte Carlo simulations.


title: SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge

abstract: Unsupervised lifelong learning refers to the ability to learn over time while memorizing previous patterns without supervision. Although great progress has been made in this direction, existing work often assumes strong prior knowledge about the incoming data (e.g., knowing the class boundaries), which can be impossible to obtain in complex and unpredictable environments. In this paper, motivated by real-world scenarios, we propose a more practical problem setting called online self-supervised lifelong learning without prior knowledge. The proposed setting is challenging due to the non-iid and single-pass data, the absence of external supervision, and no prior knowledge. To address the challenges, we propose Self-Supervised ContrAstive Lifelong LEarning without Prior Knowledge (SCALE) which can extract and memorize representations on the fly purely from the data continuum. SCALE is designed around three major components: a pseudo-supervised contrastive loss, a self-supervised forgetting loss, and an online memory update for uniform subset selection. All three components are designed to work collaboratively to maximize learning performance. We perform comprehensive experiments of SCALE under iid and four non-iid data streams. The results show that SCALE outperforms the state-of-the-art algorithm in all settings with improvements up to 3.83%, 2.77% and 5.86% in terms of kNN accuracy on CIFAR-10, CIFAR-100, and TinyImageNet datasets.


title: Molecular Substructure-Aware Network for Drug-Drug Interaction Prediction

abstract: Concomitant administration of drugs can cause drug-drug interactions (DDIs). Some drug combinations are beneficial, but other ones may cause negative effects which are previously unrecorded. Previous works on DDI prediction usually rely on hand-engineered domain knowledge, which is laborious to obtain. In this work, we propose a novel model, Molecular Substructure-Aware Network (MSAN), to effectively predict potential DDIs from molecular structures of drug pairs. We adopt a Transformer-like substructure extraction module to acquire a fixed number of representative vectors that are associated with various substructure patterns of the drug molecule. Then, interaction strength between the two drugs' substructures will be captured by a similarity-based interaction module. We also perform a substructure dropping augmentation before graph encoding to alleviate overfitting. Experimental results from a real-world dataset reveal that our proposed model achieves the state-of-the-art performance. We also show that the predictions of our model are highly interpretable through a case study.


title: Reconstruction of the distribution of sensitive data under free-will privacy

abstract: The local privacy mechanisms, such as k-RR, RAPPOR, and the geo-indistinguishability ones, have become quite popular thanks to the fact that the obfuscation can be effectuated at the users end, thus avoiding the need of a trusted third party. Another important advantage is that each data point is sanitized independently from the others, and therefore different users may use different levels of obfuscation depending on their privacy requirements, or they may even use entirely different mechanisms depending on the services they are trading their data for. A challenging requirement in this setting is to construct the original distribution on the users sensitive data from their noisy versions. Existing techniques can only estimate that distribution separately on each obfuscation schema and corresponding noisy data subset. But the smaller are the subsets, the more imprecise the estimations are. In this paper we study how to avoid the subsets-fractioning problem when combining local privacy mechanisms, thus recovering an optimal utility. We focus on the estimation of the original distribution, and on the two main methods to estimate it: the matrix-inversion method and the iterative Bayes update. We consider various cases of combination of local privacy mechanisms, and compare the flexibility and the performance of the two methods.


title: Shorted Micro-Waveguide Array for High Optical Transparency and Superior Electromagnetic Shielding in Ultra-Wideband Frequency Spectrum

abstract: While functional materials with both light transmitting and electromagnetic shielding are highly desirable, only very few of them meet the stringent electromagnetic interference (EMI) shielding criteria for optoelectronic systems. Here, a design strategy of shorted micro-waveguides (SMWs) array to decouple the light transmission and EMI shielding is proposed and experimentally demonstrated. The array of SMWs, consisting of cut-off metallic micro-waveguides and shorting indium tin oxide (ITO) continuous conductive film, exhibits high optical transmittance of 90.4% and superior EMI shielding effectiveness of 62.2 dB on average over ultra-wide frequency spectrum (0.2-1.3 GHz & 1.7-18 GHz). Compared to previously reported works, an improvement of 19 dB in average shielding effectiveness has been achieved under the same level of light transmission, and the shielding frequency spectrum has been significantly expanded. The working principle has been explained in depth and factors influencing the performance have been investigated for design optimization.


title: Adaptive Resource Allocation in Quantum Key Distribution (QKD) for Federated Learning

abstract: Increasing privacy and security concerns in intelligence-native 6G networks require quantum key distribution-secured federated learning (QKD-FL), in which data owners connected via quantum channels can train an FL global model collaboratively without exposing their local datasets. To facilitate QKD-FL, the architectural design and routing management framework are essential. However, effective implementation is still lacking. To this end, we propose a hierarchical architecture for QKD-FL systems in which QKD resources (i.e., wavelengths) and routing are jointly optimized for FL applications. In particular, we focus on adaptive QKD resource allocation and routing for FL workers to minimize the deployment cost of QKD nodes under various uncertainties, including security requirements. The experimental results show that the proposed architecture and the resource allocation and routing model can reduce the deployment cost by 7.72\% compared to the CO-QBN algorithm.


title: Tackling Long Code Search with Splitting, Encoding, and Aggregating

abstract: Code search with natural language helps us reuse existing code snippets. Thanks to the Transformer-based pretraining models, the performance of code search has been improved significantly. However, due to the quadratic complexity of multi-head self-attention, there is a limit on the input token length. For efficient training on standard GPUs like V100, existing pretrained code models, including GraphCodeBERT, CodeBERT, RoBERTa (code), take the first 256 tokens by default, which makes them unable to represent the complete information of long code that is greater than 256 tokens. To tackle the long code problem, we propose a new baseline SEA (Split, Encode and Aggregate), which splits long code into code blocks, encodes these blocks into embeddings, and aggregates them to obtain a comprehensive long code representation. With SEA, we could directly use Transformer-based pretraining models to model long code without changing their internal structure and re-pretraining. We also compare SEA with sparse Trasnformer methods. With GraphCodeBERT as the encoder, SEA achieves an overall mean reciprocal ranking score of 0.785, which is 10.1% higher than GraphCodeBERT on the CodeSearchNet benchmark, justifying SEA as a strong baseline for long code search. Our source code and experimental data are available at: https://github.com/fly-dragon211/SEA.


title: Strongly Stable Matchings under Matroid Constraints

abstract: We consider a many-to-one variant of the stable matching problem. More concretely, we consider the variant of the stable matching problem where one side has a matroid constraint. Furthermore, we consider the situation where the preference of each agent may contain ties. In this setting, we consider the problem of checking the existence of a strongly stable matching, and finding a strongly stable matching if a strongly stable matching exists. We propose a polynomial-time algorithm for this problem.


title: Exploiting Scaling Constants to Facilitate the Convergence of Indirect Trajectory Optimization Methods

abstract: This note develops easily applicable techniques that improve the convergence and reduce the computational time of indirect low thrust trajectory optimization when solving fuel- and time-optimal problems. For solving fuel optimal (FO) problems, a positive scaling factor -- $\Gamma_{TR}$ -- is introduced based on the energy optimal (EO) solution to establish a convenient profile for the switching function of the FO problem. This negates the need for random guesses to initialize the indirect optimization process. Similarly, another scaling factor-$\beta$-, is introduced when solving the time-optimal (TO) problem to connect the EO problem to the TO. The developed methodology for the TO problem was crucial for the GTOC11 competition. Case studies are conducted to validate the solution process in both TO and FO problems. For geocentric cases, the effect of eclipses and $J_2$ perturbations were also considered. The examples show that EO can provide a good guess for TO and FO problems and that introducing the constants can reduce the initial residuals and improve convergence. It is also shown that the equation for the Lagrangian multiplier of mass and the associated boundary condition can be ignored for both FO and TO cases without affecting optimality. This simplification reduces the problem dimensions and improves efficiency.


title: Revisiting Code Search in a Two-Stage Paradigm

abstract: With a good code search engine, developers can reuse existing code snippets and accelerate software development process. Current code search methods can be divided into two categories: traditional information retrieval (IR) based and deep learning (DL) based approaches. DL-based approaches include the cross-encoder paradigm and the bi-encoder paradigm. However, both approaches have certain limitations. The inference of IR-based and bi-encoder models are fast, however, they are not accurate enough; while cross-encoder models can achieve higher search accuracy but consume more time. In this work, we propose TOSS, a two-stage fusion code search framework that can combine the advantages of different code search methods. TOSS first uses IR-based and bi-encoder models to efficiently recall a small number of top-k code candidates, and then uses fine-grained cross-encoders for finer ranking. Furthermore, we conduct extensive experiments on different code candidate volumes and multiple programming languages to verify the effectiveness of TOSS. We also compare TOSS with six data fusion methods. Experimental results show that TOSS is not only efficient, but also achieves state-of-the-art accuracy with an overall mean reciprocal ranking (MRR) score of 0.763, compared to the best baseline result on the CodeSearchNet benchmark of 0.713. Our source code and experimental data are available at: https://github.com/fly-dragon211/TOSS.


title: Halving by a Thousand Cuts or Punctures

abstract: $\newcommand{\Arr}{\mathcal{A}} \newcommand{\numS}{k} \newcommand{\ArrX}[1]{\Arr(#1)} \newcommand{\eps}{\varepsilon} \newcommand{\opt}{\mathsf{o}}$ For point sets $P_1, \ldots, P_\numS$, a set of lines $L$ is halving if any face of the arrangement $\ArrX{L}$ contains at most $|P_i|/2$ points of $P_i$, for all $i$. We study the problem of computing a halving set of lines of minimal size. Surprisingly, we show a polynomial time algorithm that outputs a halving set of size $O(\opt^{3/2})$, where $\opt$ is the size of the optimal solution. Our solution relies on solving a new variant of the weak $\eps$-net problem for corridors, which we believe to be of independent interest. We also study other variants of this problem, including an alternative setting, where one needs to introduce a set of guards (i.e., points), such that no convex set avoiding the guards contains more than half the points of each point set.


title: Inferring Topology of Networked Dynamical Systems by Active Excitations

abstract: Topology inference for networked dynamical systems (NDSs) has received considerable attention in recent years. The majority of pioneering works have dealt with inferring the topology from abundant observations of NDSs, so as to approximate the real one asymptotically. Leveraging the characteristic that NDSs will react to various disturbances and the disturbance's influence will consistently spread, this paper focuses on inferring the topology by a few active excitations. The key challenge is to distinguish different influences of system noises and excitations from the exhibited state deviations, where the influences will decay with time and the exciatation cannot be arbitrarily large. To practice, we propose a one-shot excitation based inference method to infer $h$-hop neighbors of a node. The excitation conditions for accurate one-hop neighbor inference are first derived with probability guarantees. Then, we extend the results to $h$-hop neighbor inference and multiple excitations cases, providing the explicit relationships between the inference accuracy and excitation magnitude. Specifically, the excitation based inference method is not only suitable for scenarios where abundant observations are unavailable, but also can be leveraged as auxiliary means to improve the accuracy of existing methods. Simulations are conducted to verify the analytical results.


title: The relative class number one problem for function fields, III

abstract: We complete the solution of the relative class number one problem for function fields of curves over finite fields. Using work from two earlier papers, this reduces to finding all function fields of genus 6 or 7 over $\mathbb{F}_2$ with one of 40 prescribed Weil polynomials; one may then verify directly that three of these fields admit an everywhere unramified quadratic extension with trivial relative class group. The search is carried out by carefully enumerating curves based on the Brill--Noether stratification of the moduli spaces of curves in these genera, and particularly Mukai's descriptions of the open strata.


title: Federated Self-Supervised Contrastive Learning and Masked Autoencoder for Dermatological Disease Diagnosis

abstract: In dermatological disease diagnosis, the private data collected by mobile dermatology assistants exist on distributed mobile devices of patients. Federated learning (FL) can use decentralized data to train models while keeping data local. Existing FL methods assume all the data have labels. However, medical data often comes without full labels due to high labeling costs. Self-supervised learning (SSL) methods, contrastive learning (CL) and masked autoencoders (MAE), can leverage the unlabeled data to pre-train models, followed by fine-tuning with limited labels. However, combining SSL and FL has unique challenges. For example, CL requires diverse data but each device only has limited data. For MAE, while Vision Transformer (ViT) based MAE has higher accuracy over CNNs in centralized learning, MAE's performance in FL with unlabeled data has not been investigated. Besides, the ViT synchronization between the server and clients is different from traditional CNNs. Therefore, special synchronization methods need to be designed. In this work, we propose two federated self-supervised learning frameworks for dermatological disease diagnosis with limited labels. The first one features lower computation costs, suitable for mobile devices. The second one features high accuracy and fits high-performance servers. Based on CL, we proposed federated contrastive learning with feature sharing (FedCLF). Features are shared for diverse contrastive information without sharing raw data for privacy. Based on MAE, we proposed FedMAE. Knowledge split separates the global and local knowledge learned from each client. Only global knowledge is aggregated for higher generalization performance. Experiments on dermatological disease datasets show superior accuracy of the proposed frameworks over state-of-the-arts.


title: Free Energy Subadditivity for Symmetric Random Hamiltonians

abstract: We consider a random Hamiltonian $H:\Sigma\to\mathbb R$ defined on a compact space $\Sigma$ that admits a transitive action by a compact group $\mathcal G$. When the law of $H$ is $\mathcal G$-invariant, we show its expected free energy relative to the unique $\mathcal G$-invariant probability measure on $\Sigma$ obeys a subadditivity property in the law of $H$ itself. The bound is often tight for weak disorder and relates free energies at different temperatures when $H$ is a Gaussian process. Many examples are discussed including branching random walk, several spin glasses, random constraint satisfaction problems, and the random field Ising model. We also provide a generalization to quantum Hamiltonians with applications to the quantum SK and SYK models.


title: What are the Practices for Secret Management in Software Artifacts?

abstract: Throughout 2021, GitGuardian's monitoring of public GitHub repositories revealed a two-fold increase in the number of secrets (database credentials, API keys, and other credentials) exposed compared to 2020, accumulating more than six million secrets. A systematic derivation of practices for managing secrets can help practitioners in secure development. The goal of our paper is to aid practitioners in avoiding the exposure of secrets by identifying secret management practices in software artifacts through a systematic derivation of practices disseminated in Internet artifacts. We conduct a grey literature review of Internet artifacts, such as blog articles and question and answer posts. We identify 24 practices grouped in six categories comprised of developer and organizational practices. Our findings indicate that using local environment variables and external secret management services are the most recommended practices to move secrets out of source code and to securely store secrets. We also observe that using version control system scanning tools and employing short-lived secrets are the most recommended practices to avoid accidentally committing secrets and limit secret exposure, respectively.


title: Robust Tests of Model Incompleteness in the Presence of Nuisance Parameters

abstract: Economic models may exhibit incompleteness depending on whether or not they admit certain policy-relevant features such as strategic interaction, self-selection, or state dependence. We develop a novel test of model incompleteness and analyze its asymptotic properties. A key observation is that one can identify the least-favorable parametric model that represents the most challenging scenario for detecting local alternatives without knowledge of the selection mechanism. We build a robust test of incompleteness on a score function constructed from such a model. The proposed procedure remains computationally tractable even with nuisance parameters because it suffices to estimate them only under the null hypothesis of model completeness. We illustrate the test by applying it to a market entry model and a triangular model with a set-valued control function.


title: Multi-AI Complex Systems in Humanitarian Response

abstract: AI is being increasingly used to aid response efforts to humanitarian emergencies at multiple levels of decision-making. Such AI systems are generally understood to be stand-alone tools for decision support, with ethical assessments, guidelines and frameworks applied to them through this lens. However, as the prevalence of AI increases in this domain, such systems will begin to encounter each other through information flow networks created by interacting decision-making entities, leading to multi-AI complex systems which are often ill understood. In this paper we describe how these multi-AI systems can arise, even in relatively simple real-world humanitarian response scenarios, and lead to potentially emergent and erratic erroneous behavior. We discuss how we can better work towards more trustworthy multi-AI systems by exploring some of the associated challenges and opportunities, and how we can design better mechanisms to understand and assess such systems. This paper is designed to be a first exposition on this topic in the field of humanitarian response, raising awareness, exploring the possible landscape of this domain, and providing a starting point for future work within the wider community.


title: A Hierarchical Interactive Network for Joint Span-based Aspect-Sentiment Analysis

abstract: Recently, some span-based methods have achieved encouraging performances for joint aspect-sentiment analysis, which first extract aspects (aspect extraction) by detecting aspect boundaries and then classify the span-level sentiments (sentiment classification). However, most existing approaches either sequentially extract task-specific features, leading to insufficient feature interactions, or they encode aspect features and sentiment features in a parallel manner, implying that feature representation in each task is largely independent of each other except for input sharing. Both of them ignore the internal correlations between the aspect extraction and sentiment classification. To solve this problem, we novelly propose a hierarchical interactive network (HI-ASA) to model two-way interactions between two tasks appropriately, where the hierarchical interactions involve two steps: shallow-level interaction and deep-level interaction. First, we utilize cross-stitch mechanism to combine the different task-specific features selectively as the input to ensure proper two-way interactions. Second, the mutual information technique is applied to mutually constrain learning between two tasks in the output layer, thus the aspect input and the sentiment input are capable of encoding features of the other task via backpropagation. Extensive experiments on three real-world datasets demonstrate HI-ASA's superiority over baselines.


title: AT-DDPM: Restoring Faces degraded by Atmospheric Turbulence using Denoising Diffusion Probabilistic Models

abstract: Although many long-range imaging systems are designed to support extended vision applications, a natural obstacle to their operation is degradation due to atmospheric turbulence. Atmospheric turbulence causes significant degradation to image quality by introducing blur and geometric distortion. In recent years, various deep learning-based single image atmospheric turbulence mitigation methods, including CNN-based and GAN inversion-based, have been proposed in the literature which attempt to remove the distortion in the image. However, some of these methods are difficult to train and often fail to reconstruct facial features and produce unrealistic results especially in the case of high turbulence. Denoising Diffusion Probabilistic Models (DDPMs) have recently gained some traction because of their stable training process and their ability to generate high quality images. In this paper, we propose the first DDPM-based solution for the problem of atmospheric turbulence mitigation. We also propose a fast sampling technique for reducing the inference times for conditional DDPMs. Extensive experiments are conducted on synthetic and real-world data to show the significance of our model. To facilitate further research, all codes and pretrained models are publically available at http://github.com/Nithin-GK/AT-DDPM


title: Effects of Boundary on Orbital Magnetization for a Bilayer System with Different Chern Numbers

abstract: The real space formalism of orbital magnetization (OM) is an average of the local OM over some appropriate region of the system. Previous studies prefer a bulk average (i.e., without including boundaries). Based on a bilayer model with an adjustable Chern number at half filling, we numerically investigate the effects from boundaries on the real space expressions of OM. The size convergence processes of its three constituent terms $M_{\mathrm{LC}}$, $M_{\mathrm{IC}}$, $M_{\mathrm{BC}}$ are analysed. The topological term $M_{\mathrm{BC}}$ makes a nonnegligible contribution from boundaries as a manifestation of edge states, especially in the case of nonzero Chern numbers. However, we show that the influence of the boundary on $M_{\mathrm{LC}}$ and $M_{\mathrm{IC}}$ exactly compensates that on $M_{\mathrm{BC}}$. This compensation effect leads to the conclusion that the whole sample average is also a correct algorithm in the thermodynamic limit, which gives the same value as those from the bulk average and the $k$ space formula. This clarification will be beneficial to further studies on orbitronics, as well as the orbital magnetoelectric effects in higher dimensions.


title: Resolving Matrix Spencer Conjecture Up to Poly-logarithmic Rank

abstract: We give a simple proof of the matrix Spencer conjecture up to poly-logarithmic rank: given symmetric $d \times d$ matrices $A_1,\ldots,A_n$ each with $\|A_i\|_{\mathsf{op}} \leq 1$ and rank at most $n/\log^3 n$, one can efficiently find $\pm 1$ signs $x_1,\ldots,x_n$ such that their signed sum has spectral norm $\|\sum_{i=1}^n x_i A_i\|_{\mathsf{op}} = O(\sqrt{n})$. This result also implies a $\log n - \Omega( \log \log n)$ qubit lower bound for quantum random access codes encoding $n$ classical bits with advantage $\gg 1/\sqrt{n}$. Our proof uses the recent refinement of the non-commutative Khintchine inequality in [Bandeira, Boedihardjo, van Handel, 2022] for random matrices with correlated Gaussian entries.


title: Robot Motion Planning as Video Prediction: A Spatio-Temporal Neural Network-based Motion Planner

abstract: Neural network (NN)-based methods have emerged as an attractive approach for robot motion planning due to strong learning capabilities of NN models and their inherently high parallelism. Despite the current development in this direction, the efficient capture and processing of important sequential and spatial information, in a direct and simultaneous way, is still relatively under-explored. To overcome the challenge and unlock the potentials of neural networks for motion planning tasks, in this paper, we propose STP-Net, an end-to-end learning framework that can fully extract and leverage important spatio-temporal information to form an efficient neural motion planner. By interpreting the movement of the robot as a video clip, robot motion planning is transformed to a video prediction task that can be performed by STP-Net in both spatially and temporally efficient ways. Empirical evaluations across different seen and unseen environments show that, with nearly 100% accuracy (aka, success rate), STP-Net demonstrates very promising performance with respect to both planning speed and path cost. Compared with existing NN-based motion planners, STP-Net achieves at least 5x, 2.6x and 1.8x faster speed with lower path cost on 2D Random Forest, 2D Maze and 3D Random Forest environments, respectively. Furthermore, STP-Net can quickly and simultaneously compute multiple near-optimal paths in multi-robot motion planning tasks


title: Higher-order adaptive methods for exit times of It\^o diffusions

abstract: We construct a higher-order adaptive method for strong approximations of exit times of It\^o stochastic differential equations (SDE). The method employs a strong It\^o--Taylor scheme for simulating SDE paths, and adaptively decreases the step-size in the numerical integration as the solution approaches the boundary of the domain. These techniques turn out to complement each other nicely: adaptive time-stepping improves the accuracy of the exit time by reducing the magnitude of the overshoot of the numerical solution when it exits the domain, and higher-order schemes improve the approximation of the state of the diffusion process. We present two versions of the higher-order adaptive method. The first one uses the Milstein scheme as numerical integrator and two step-sizes for adaptive time-stepping: $h$ when far away from the boundary and $h^2$ when close to the boundary. The second method is an extension of the first one using the strong It\^o--Taylor scheme of order 1.5 as numerical integrator and three step-sizes for adaptive time-stepping. For any $\xi>0$, we prove that the strong error is bounded by $\mathcal{O}(h^{1-\xi})$ and $\mathcal{O}(h^{3/2-\xi})$ for the first and second method, respectively, and the expected computational cost for both methods is $\mathcal{O}(h^{-1} \log(h^{-1}))$. Theoretical results are supported by numerical examples, and we discuss the potential for extensions that improve the strong convergence rate even further.


title: A filtered mapping cone formula for cables of the knot meridian

abstract: We construct a filtered mapping cone formula that computes the knot Floer complex of the $(n,1)$--cable of the knot meridian in any rational surgery, generalizing Truong's result about the $(n,1)$--cable of the knot meridian in large surgery and Hedden-Levine's filtered mapping cone formula. As an application, we show that there exist knots in integer homology spheres with arbitrary $\varphi_{i,j}$ values for any $i>j\geq 0$, where $\varphi_{i,j}$ are the concordance homomorphisms defined by Dai-Hom-Stoffregen-Truong.


title: ADMoE: Anomaly Detection with Mixture-of-Experts from Noisy Labels

abstract: Existing works on anomaly detection (AD) rely on clean labels from human annotators that are expensive to acquire in practice. In this work, we propose a method to leverage weak/noisy labels (e.g., risk scores generated by machine rules for detecting malware) that are cheaper to obtain for anomaly detection. Specifically, we propose ADMoE, the first framework for anomaly detection algorithms to learn from noisy labels. In a nutshell, ADMoE leverages mixture-of-experts (MoE) architecture to encourage specialized and scalable learning from multiple noisy sources. It captures the similarities among noisy labels by sharing most model parameters, while encouraging specialization by building "expert" sub-networks. To further juice out the signals from noisy labels, ADMoE uses them as input features to facilitate expert learning. Extensive results on eight datasets (including a proprietary enterprise security dataset) demonstrate the effectiveness of ADMoE, where it brings up to 34% performance improvement over not using it. Also, it outperforms a total of 13 leading baselines with equivalent network parameters and FLOPS. Notably, ADMoE is model-agnostic to enable any neural network-based detection methods to handle noisy labels, where we showcase its results on both multiple-layer perceptron (MLP) and the leading AD method DeepSAD.


title: A Particle-in-cell Method for Plasmas with a Generalized Momentum Formulation, Part I: Model Formulation

abstract: This paper formulates a new particle-in-cell method for the Vlasov-Maxwell system. Under the Lorenz gauge condition, Maxwell's equations for the electromagnetic fields can be written as a collection of scalar and vector wave equations. The use of potentials for the fields motivates the adoption of a Hamiltonian formulation for particles that employs the generalized momentum. The resulting updates for particles require only knowledge of the fields and their spatial derivatives. An analytical method for constructing these spatial derivatives is presented that exploits the underlying integral solution used in the field solver for the wave equations. Moreover, these derivatives are shown to converge at the same rate as the fields in the both time and space. The field solver we consider in this work is first-order accurate in time and fifth-order accurate in space and belongs to a larger class of methods which are unconditionally stable, can address geometry, and leverage fast summation methods for efficiency. We demonstrate the method on several well-established benchmark problems, and the efficacy of the proposed formulation is demonstrated through a comparison with standard methods presented in the literature. The new method shows mesh-independent numerical heating properties even in cases where the plasma Debye length is close to the grid spacing. The use of high-order spatial approximations in the new method means that fewer grid points are required in order to achieve a fixed accuracy. Our results also suggest that the new method can be used with fewer simulation particles per cell compared to standard explicit methods, which permits further computational savings.

categories: physics.plasm-ph cs.NA math.NA physics.comp-ph


title: Transport through Quantum Anomalous Hall Bilayers with Lattice Mismatch

abstract: We theoretically investigate quantum transport properties of quantum anomalous Hall bilayers, with arbitrary ratio of lattice constants, i.e., with lattice mismatch. In the simplest case of ratio 1 (but with different model parameters in two layers), the inter-layer coupling results in resonant traversing between forward propagating waves in two layers. In the case of generic ratios, there is a quantized conductance plateau originated from two Chern numbers associated with two layers. However, the phase boundary of this quantization plateau consists of a fractal transitional region (instead of a clear transition line) of interpenetrating edge states (with quantized conductance) and bulk states (with unquantized conductance). We attribute these bulk states as mismatch induced in-gap bulk states. Different from in-gap localized states induced by random disorder, these in-gap bulk states are extended in the limit of vanishing random disorder. However, the detailed fine structure of this transitional region is sensitive to disorder, lattice structure, sample size, and even the configuration of leads connecting to it, due to the bulk and topologically trivial nature of these in-gap bulk states.


title: An Extension of Goldman-Hodgkin-Katz Equations by Charges from Ionic Solution and Ion Channel Protein

abstract: The Goldman-Hodgkin-Katz (GHK) equations have been widely applied to ion channel studies, simulations, and model developments. However, they are constructed under a constant electric field, causing them to have a low degree of approximation in the prediction of ionic fluxes, electric currents, and membrane potentials. In this paper, the equations are extended from the constant electric field to the nonlinear electric field induced by charges from an ionic solution and an ion channel protein. Furthermore, a novel numerical quadrature scheme is developed to estimate one major parameter, called the extension parameter, of the extended GHK equations in terms of a set of electrostatic potential values. To this end, the extended GHK equations become a bridge between the "macroscopic" ion channel kinetics and the "microscopic" electrostatic potential values across a cell membrane. To generate a set of required electrostatic potential values, a nonlinear finite element iterative scheme for solving a one-dimensional Poisson-Nernst-Planck ion channel model is developed and implemented as a Python software package. This package is then used to do numerical studies on the extended GHK equations, the numerical quadrature scheme, and the nonlinear iterative scheme. Numerical results confirm the importance of considering charge effects in the calculation of ionic fluxes. They also validate the high numerical accuracy of the numerical quadrature scheme, the fast convergence rate of the nonlinear iterative scheme, and the high performance of the software package.


title: Collaborative Remote Control of Unmanned Ground Vehicles in Virtual Reality

abstract: Virtual reality (VR) technology is commonly used in entertainment applications; however, it has also been deployed in practical applications in more serious aspects of our lives, such as safety. To support people working in dangerous industries, VR can ensure operators manipulate standardized tasks and work collaboratively to deal with potential risks. Surprisingly, little research has focused on how people can collaboratively work in VR environments. Few studies have paid attention to the cognitive load of operators in their collaborative tasks. Once task demands become complex, many researchers focus on optimizing the design of the interaction interfaces to reduce the cognitive load on the operator. That approach could be of merit; however, it can actually subject operators to a more significant cognitive load and potentially more errors and a failure of collaboration. In this paper, we propose a new collaborative VR system to support two teleoperators working in the VR environment to remote control an uncrewed ground vehicle. We use a compared experiment to evaluate the collaborative VR systems, focusing on the time spent on tasks and the total number of operations. Our results show that the total number of processes and the cognitive load during operations were significantly lower in the two-person group than in the single-person group. Our study sheds light on designing VR systems to support collaborative work with respect to the flow of work of teleoperators instead of simply optimizing the design outcomes.


title: WIMPy Leptogenesis in Non-Standard Cosmologies

abstract: We study the possibility of generating baryon asymmetry of the universe from dark matter (DM) annihilations during non-standard cosmological epochs. Considering the DM to be of weakly interacting massive particle (WIMP) type, the generation of baryon asymmetry via leptogenesis route is studied where WIMP DM annihilation produces a non-zero lepton asymmetry. Adopting a minimal particle physics model to realise this along with non-zero light neutrino masses, we consider three different types of non-standard cosmic history namely, (i) fast expanding universe, (ii) early matter domination and (iii) scalar-tensor theory of gravity. By solving the appropriate Boltzmann equations incorporating such non-standard history, we find that the allowed parameter space consistent with DM relic and observed baryon asymmetry gets enlarged with the possibility of lower DM mass in some scenarios. While such lighter DM can face further scrutiny at direct search experiments, the non-standard epochs offer complementary probes on their own.


title: Semi-Supervised and Unsupervised Deep Visual Learning: A Survey

abstract: State-of-the-art deep learning models are often trained with a large amount of costly labeled training data. However, requiring exhaustive manual annotations may degrade the model's generalizability in the limited-label regime. Semi-supervised learning and unsupervised learning offer promising paradigms to learn from an abundance of unlabeled visual data. Recent progress in these paradigms has indicated the strong benefits of leveraging unlabeled data to improve model generalization and provide better model initialization. In this survey, we review the recent advanced deep learning algorithms on semi-supervised learning (SSL) and unsupervised learning (UL) for visual recognition from a unified perspective. To offer a holistic understanding of the state-of-the-art in these areas, we propose a unified taxonomy. We categorize existing representative SSL and UL with comprehensive and insightful analysis to highlight their design rationales in different learning scenarios and applications in different computer vision tasks. Lastly, we discuss the emerging trends and open challenges in SSL and UL to shed light on future critical research directions.


title: Law of Large Numbers for Roots of Finite Free Multiplicative Convolution of Polynomials

abstract: We provide the law of large numbers for roots of finite free multiplicative convolution of polynomials which have only non-negative real roots. Moreover, we study the empirical root distributions of limit polynomials obtained through the law of large numbers of finite free multiplicative convolution when their degree tends to infinity.


title: Terahertz Polarization Conversion from Optical Dichroism in a Topological Dirac Semimetal

abstract: Topological Dirac semimetals (TDSM), such as Cd$_3$As$_2$ and Na$_3$Bi, exhibits strong optical dichroism with contrasting dielectric permittivity along different crystal axes. However, such optical dichroism is often overlooked in the study of TDSM-based optoelectronic devices, and whether such optical dichroism can lead to unique functionalities not found under the isotropic approximation remain an open question thus far. Here we show that the optical dischroism in TDSM lead to starkly different terahertz (THz) responses and device performance as compared to the isotropic case. Using finite-difference time-domain simulations of a Cd$_3$As$_2$-based metasurface, we demonstrate that such optical dichroism can lead to an unexpected THz wave polarization conversion even if the metasurface structure remains C$_4$ four-fold rotationally symmetric, a practically useful feature not achievable under the isotropic model of TDSM. Our findings concretely reveal the contrasting spectral response between isotropic and anisotropic media, and shed important light on the capability of anisotropic TDSM in THz applications, leading not just to the more accurate device modelling, but also a new route in realizing THz waves polarization conversion without the need of complex device morphology commonly employed in conventional polarization converters.


title: Spectral Telescope: Convergence Rate Bounds for Random-Scan Gibbs Samplers Based on a Hierarchical Structure

abstract: Random-scan Gibbs samplers possess a natural hierarchical structure. The structure connects Gibbs samplers targeting higher dimensional distributions to those targeting lower dimensional ones. This leads to a quasi-telescoping property of their spectral gaps. Based on this property, we derive three new bounds on the spectral gaps and convergence rates of Gibbs samplers on general domains. The three bounds relate a chain's spectral gap to, respectively, the correlation structure of the target distribution, a class of random walk chains, and a collection of influence matrices. Notably, one of our results generalizes the technique of spectral independence, which has received considerable attention for its success on finite domains, to general state spaces. We illustrate our methods through a sampler targeting the uniform distribution on a corner of an $n$-cube.


title: E-NeRF: Neural Radiance Fields from a Moving Event Camera

abstract: Estimating neural radiance fields (NeRFs) from "ideal" images has been extensively studied in the computer vision community. Most approaches assume optimal illumination and slow camera motion. These assumptions are often violated in robotic applications, where images may contain motion blur, and the scene may not have suitable illumination. This can cause significant problems for downstream tasks such as navigation, inspection, or visualization of the scene. To alleviate these problems, we present E-NeRF, the first method which estimates a volumetric scene representation in the form of a NeRF from a fast-moving event camera. Our method can recover NeRFs during very fast motion and in high-dynamic-range conditions where frame-based approaches fail. We show that rendering high-quality frames is possible by only providing an event stream as input. Furthermore, by combining events and frames, we can estimate NeRFs of higher quality than state-of-the-art approaches under severe motion blur. We also show that combining events and frames can overcome failure cases of NeRF estimation in scenarios where only a few input views are available without requiring additional regularization.


title: Multi-objective optimization of actuation waveform for high-precision drop-on-demand inkjet printing

abstract: Drop-on-demand (DOD) inkjet printing has been considered as one of promising technologies for the fabrication of advanced functional materials. For a DOD printer, high-precision dispensing techniques for achieving satellite-free smaller droplets, have long been desired for patterning thin-film structures. The present study considers the inlet velocity of a liquid chamber located upstream of a dispensing nozzle as a control variable and aims to optimize its waveform using a sample-efficient Bayesian optimization algorithm. Firstly, the droplet dispensing dynamics are numerically reproduced by using an open-source OpenFOAM solver, interFoam, and the results are passed on to another code based on pyFoam. Then, the parameters characterizing the actuation waveform driving a DOD printer are determined by the Bayesian optimization (BO) algorithm so as to maximize a prescribed multi-objective function expressed as the sum of two factors, i.e., the size of a primary droplet and the presence of satellite droplets. The results show that the present BO algorithm can successfully find high-precision dispensing waveforms within 150 simulations. Specifically, satellite droplets can be effectively eliminated and the droplet diameter can be significantly reduced to 24.9% of the nozzle diameter by applying the optimal waveform.


title: Fast emulation of density functional theory simulations using approximate Gaussian processes

abstract: Fitting a theoretical model to experimental data in a Bayesian manner using Markov chain Monte Carlo typically requires one to evaluate the model thousands (or millions) of times. When the model is a slow-to-compute physics simulation, Bayesian model fitting becomes infeasible. To remedy this, a second statistical model that predicts the simulation output -- an "emulator" -- can be used in lieu of the full simulation during model fitting. A typical emulator of choice is the Gaussian process (GP), a flexible, non-linear model that provides both a predictive mean and variance at each input point. Gaussian process regression works well for small amounts of training data ($n < 10^3$), but becomes slow to train and use for prediction when the data set size becomes large. Various methods can be used to speed up the Gaussian process in the medium-to-large data set regime ($n > 10^5$), trading away predictive accuracy for drastically reduced runtime. This work examines the accuracy-runtime trade-off of several approximate Gaussian process models -- the sparse variational GP, stochastic variational GP, and deep kernel learned GP -- when emulating the predictions of density functional theory (DFT) models. Additionally, we use the emulators to calibrate, in a Bayesian manner, the DFT model parameters using observed data, resolving the computational barrier imposed by the data set size, and compare calibration results to previous work. The utility of these calibrated DFT models is to make predictions, based on observed data, about the properties of experimentally unobserved nuclides of interest e.g. super-heavy nuclei.


title: Modeling Paragraph-Level Vision-Language Semantic Alignment for Multi-Modal Summarization

abstract: Most current multi-modal summarization methods follow a cascaded manner, where an off-the-shelf object detector is first used to extract visual features, then these features are fused with language representations to generate the summary with an encoder-decoder model. The cascaded way cannot capture the semantic alignments between images and paragraphs, which are crucial to a precise summary. In this paper, we propose ViL-Sum to jointly model paragraph-level \textbf{Vi}sion-\textbf{L}anguage Semantic Alignment and Multi-Modal \textbf{Sum}marization. The core of ViL-Sum is a joint multi-modal encoder with two well-designed tasks, image reordering and image selection. The joint multi-modal encoder captures the interactions between modalities, where the reordering task guides the model to learn paragraph-level semantic alignment and the selection task guides the model to selected summary-related images in the final summary. Experimental results show that our proposed ViL-Sum significantly outperforms current state-of-the-art methods. In further analysis, we find that two well-designed tasks and joint multi-modal encoder can effectively guide the model to learn reasonable paragraphs-images and summary-images relations.


title: On Insecure Uses of BGN for Privacy Preserving Data Aggregation Protocols

abstract: The notion of aggregator oblivious (AO) security for privacy preserving data aggregation was formalized with a specific construction of AO-secure blinding technique over a cyclic group by Shi et al. Some of proposals of data aggregation protocols use the blinding technique of Shi et al. for BGN cryptosystem, an additive homomorphic encryption. Previously, there have been some security analysis on some of BGN based data aggregation protocols in the context of integrity or authenticity of data. Even with such security analysis, the BGN cryptosystem has been a popular building block of privacy preserving data aggregation protocol. In this paper, we study the privacy issues in the blinding technique of Shi et al. used for BGN cryptosystem. We show that the blinding techniques for the BGN cryptosystem used in several protocols are not privacy preserving against the recipient, the decryptor. Our analysis is based on the fact that the BGN cryptosystem uses a pairing e:GxG-->G_T and the existence of the pairing makes the DDH problem on G easy to solve. We also suggest how to prevent such privacy leakage in the blinding technique of Shi et al. used for BGN cryptosystem.


title: Improved Scheduling of Morphing Edge Drawing

abstract: Morphing edge drawing (MED), a graph drawing technique, is a dynamic extension of partial edge drawing (PED), where partially drawn edges (stubs) are repeatedly stretched and shrunk by morphing. Previous experimental evaluations have shown that the reading time with MED may be shorter than that with PED. The morphing scheduling method limits visual clutter by avoiding crossings between stubs. However, as the number of intersections increases, the overall morphing cycle tends to lengthen in this method, which is likely to have a negative effect on the reading time. In this paper, improved scheduling methods are presented to address this issue. The first method shortens the duration of a single cycle by overlapping a part of the current cycle with the succeeding one. The second method duplicates every morph by the allowable number of times in one cycle. The third method permits a specific number of simultaneous crossings per edge. The effective performances of these methods are demonstrated through experimental evaluations.


title: Correlation-preserving mean plausible values as a basis for prediction in the context of Bayesian structural equation modeling

abstract: Mean plausible values can be computed when Bayesian structural equation modeling (BSEM) is performed. As mean plausible values do not preserve the inter-factor correlations, they yield path coefficients that are different from the estimated path coefficients of the model. As it might be of interest to perform exactly the same prediction on the level of plausible values that has been estimated by BSEM, correlation-preserving mean plausible values were proposed. An example for the computation of the correlation preserving mean plausible values is given and the corresponding syntax is given in the Appendix.


title: Visual Subtitle Feature Enhanced Video Outline Generation

abstract: With the tremendously increasing number of videos, there is a great demand for techniques that help people quickly navigate to the video segments they are interested in. However, current works on video understanding mainly focus on video content summarization, while little effort has been made to explore the structure of a video. Inspired by textual outline generation, we introduce a novel video understanding task, namely video outline generation (VOG). This task is defined to contain two sub-tasks: (1) first segmenting the video according to the content structure and then (2) generating a heading for each segment. To learn and evaluate VOG, we annotate a 10k+ dataset, called DuVOG. Specifically, we use OCR tools to recognize subtitles of videos. Then annotators are asked to divide subtitles into chapters and title each chapter. In videos, highlighted text tends to be the headline since it is more likely to attract attention. Therefore we propose a Visual Subtitle feature Enhanced video outline generation model (VSENet) which takes as input the textual subtitles together with their visual font sizes and positions. We consider the VOG task as a sequence tagging problem that extracts spans where the headings are located and then rewrites them to form the final outlines. Furthermore, based on the similarity between video outlines and textual outlines, we use a large number of articles with chapter headings to pretrain our model. Experiments on DuVOG show that our model largely outperforms other baseline methods, achieving 77.1 of F1-score for the video segmentation level and 85.0 of ROUGE-L_F0.5 for the headline generation level.


title: Deep model with built-in cross-attention alignment for acoustic echo cancellation

abstract: With recent research advances, deep learning models have become an attractive choice for acoustic echo cancellation (AEC) in real-time teleconferencing applications. Since acoustic echo is one of the major sources of poor audio quality, a wide variety of deep models have been proposed. However, an important but often omitted requirement for good echo cancellation quality is the synchronization of the microphone and far end signals. Typically implemented using classical algorithms based on cross-correlation, the alignment module is a separate functional block with known design limitations. In our work we propose a deep learning architecture with built-in self-attention based alignment, which is able to handle unaligned inputs, improving echo cancellation performance while simplifying the communication pipeline. Moreover, we show that our approach achieves significant improvements for difficult delay estimation cases on real recordings from AEC Challenge data set.


title: $\frac{\rho}{1-\epsilon}$-approximate pure Nash equilibria algorithms for weighted congestion games and their runtimes

abstract: This paper concerns computing approximate pure Nash equilibria in weighted congestion games, which has been shown to be PLS-complete. With the help of $\hat{\Psi}$-game and approximate potential functions, we propose two algorithms based on best response dynamics, and prove that they efficiently compute $\frac{\rho}{1-\epsilon}$-approximate pure Nash equilibria for $\rho= d!$ and $\rho =\frac{2\cdot W\cdot(d+1)}{2\cdot W+d+1}\le {d + 1}$, respectively, when the weighted congestion game has polynomial latency functions of degree at most $d \ge 1$ and players' weights are bounded from above by a constant $W \ge 1$. This improves the recent work of Feldotto et al.[2017] and Giannakopoulos et al. [2022] that showed efficient algorithms for computing $d^{d+o(d)}$-approximate pure Nash equilibria.


title: The weighted Yamabe problem with boundary

abstract: We introduce a Yamabe-type flow \begin{align*} \left\{ \begin{array}{ll} \frac{\partial g}{\partial t} &=(r^m_{\phi}-R^m_{\phi})g \\ \frac{\partial \phi}{\partial t} &=\frac{m}{2}(R^m_{\phi}-r^m_{\phi}) \end{array} \right. ~~\mbox{ in }M ~~\mbox{ and }~~ H^m_{\phi}=0 ~~\mbox{ on }\partial M \end{align*} on a smooth metric measure space with boundary $(M,g, v^mdV_g,v^mdA_g,m)$, where $R^m_{\phi}$ is the associated weighted scalar curvature, $r^m_{\phi}$ is the average of the weighted scalar curvature, and $H^m_{\phi}$ is the weighted mean curvature. We prove the long-time existence and convergence of this flow.


title: Federated Learning via Decentralized Dataset Distillation in Resource-Constrained Edge Environments

abstract: In federated learning, all networked clients contribute to the model training cooperatively. However, with model sizes increasing, even sharing the trained partial models often leads to severe communication bottlenecks in underlying networks, especially when communicated iteratively. In this paper, we introduce a federated learning framework FedD3 requiring only one-shot communication by integrating dataset distillation instances. Instead of sharing model updates in other federated learning approaches, FedD3 allows the connected clients to distill the local datasets independently, and then aggregates those decentralized distilled datasets (e.g. a few unrecognizable images) from networks for model training. Our experimental results show that FedD3 significantly outperforms other federated learning frameworks in terms of needed communication volumes, while it provides the additional benefit to be able to balance the trade-off between accuracy and communication cost, depending on usage scenario or target dataset. For instance, for training an AlexNet model on CIFAR-10 with 10 clients under non-independent and identically distributed (Non-IID) setting, FedD3 can either increase the accuracy by over 71% with a similar communication volume, or save 98% of communication volume, while reaching the same accuracy, compared to other one-shot federated learning approaches.


title: Bivariate moments of the two-point correlation function for embedded Gaussian unitary ensemble with $k$-body interactions

abstract: Embedded random matrix ensembles with $k$-body interactions are well established to be appropriate for many quantum systems. For these ensemble the two point correlation function is not yet derived though these ensembles are introduced 50 years back. Two-point correlation function in eigenvalues of a random matrix ensemble is the ensemble average of the product of the density of eigenvalues at two eigenvalues say $E$ and $E^\prime$. Fluctuation measures such as the number variance and Dyson-Mehta $\Delta_3$ statistic are defined by the two-point function and so also the variance of the level motion in the ensemble. Recently, it is recognized that for the embedded ensembles with $k$-body interactions the one-point function (ensemble averaged density of eigenvalues) follows the so called $q$-normal distribution. With this, the eigenvalue density can be expanded by starting with the $q$-normal form and using the associated $q$-Hermite polynomials $He_\zeta(x|q)$. Covariances $\overline{S_\zeta S_{\zeta^\prime}}$ (overline representing ensemble average) of the expansion coefficients $S_\zeta$ with $\zeta \ge 1$ here determine the two-point function as they are a linear combination of the bivariate moments $\Sigma_{PQ}$ of the two-point function. Besides describing all these, in this paper derived are formulas for the bivariate moments $\Sigma_{PQ}$ with $P+Q \le 8$, of the two-point correlation function, for the embedded Gaussian unitary ensembles with $k$-body interactions [EGUE($k$)] as appropriate for systems with $m$ fermions in $N$ single particle states. Used for obtaining the formulas is the $SU(N)$ Wigner-Racah algebra. These formulas with finite $N$ corrections are used to derive formulas for the covariances $\overline{S_\zeta S_{\zeta^\prime}}$ in the asymptotic limit.


title: RZSR: Reference-based Zero-Shot Super-Resolution with Depth Guided Self-Exemplars

abstract: Recent methods for single image super-resolution (SISR) have demonstrated outstanding performance in generating high-resolution (HR) images from low-resolution (LR) images. However, most of these methods show their superiority using synthetically generated LR images, and their generalizability to real-world images is often not satisfactory. In this paper, we pay attention to two well-known strategies developed for robust super-resolution (SR), i.e., reference-based SR (RefSR) and zero-shot SR (ZSSR), and propose an integrated solution, called reference-based zero-shot SR (RZSR). Following the principle of ZSSR, we train an image-specific SR network at test time using training samples extracted only from the input image itself. To advance ZSSR, we obtain reference image patches with rich textures and high-frequency details which are also extracted only from the input image using cross-scale matching. To this end, we construct an internal reference dataset and retrieve reference image patches from the dataset using depth information. Using LR patches and their corresponding HR reference patches, we train a RefSR network that is embodied with a non-local attention module. Experimental results demonstrate the superiority of the proposed RZSR compared to the previous ZSSR methods and robustness to unseen images compared to other fully supervised SISR methods.


title: Modality Mixer for Multi-modal Action Recognition

abstract: In multi-modal action recognition, it is important to consider not only the complementary nature of different modalities but also global action content. In this paper, we propose a novel network, named Modality Mixer (M-Mixer) network, to leverage complementary information across modalities and temporal context of an action for multi-modal action recognition. We also introduce a simple yet effective recurrent unit, called Multi-modal Contextualization Unit (MCU), which is a core component of M-Mixer. Our MCU temporally encodes a sequence of one modality (e.g., RGB) with action content features of other modalities (e.g., depth, IR). This process encourages M-Mixer to exploit global action content and also to supplement complementary information of other modalities. As a result, our proposed method outperforms state-of-the-art methods on NTU RGB+D 60, NTU RGB+D 120, and NW-UCLA datasets. Moreover, we demonstrate the effectiveness of M-Mixer by conducting comprehensive ablation studies.


title: Comparison of Object Detection Algorithms for Street-level Objects

abstract: Object detection for street-level objects can be applied to various use cases, from car and traffic detection to the self-driving car system. Therefore, finding the best object detection algorithm is essential to apply it effectively. Many object detection algorithms have been released, and many have compared object detection algorithms, but few have compared the latest algorithms, such as YOLOv5, primarily which focus on street-level objects. This paper compares various one-stage detector algorithms; SSD MobileNetv2 FPN-lite 320x320, YOLOv3, YOLOv4, YOLOv5l, and YOLOv5s for street-level object detection within real-time images. The experiment utilizes a modified Udacity Self Driving Car Dataset with 3,169 images. Dataset is split into train, validation, and test; Then, it is preprocessed and augmented using rescaling, hue shifting, and noise. Each algorithm is then trained and evaluated. Based on the experiments, the algorithms have produced decent results according to the inference time and the values of their precision, recall, F1-Score, and Mean Average Precision (mAP). The results also shows that YOLOv5l outperforms the other algorithms in terms of accuracy with a mAP@.5 of 0.593, MobileNetv2 FPN-lite has the fastest inference time among the others with only 3.20ms inference time. It is also found that YOLOv5s is the most efficient, with it having a YOLOv5l accuracy and a speed almost as quick as the MobileNetv2 FPN-lite. This shows that various algorithm are suitable for street-level object detection and viable enough to be used in self-driving car.


title: On a conjecture on shifted primes with large prime factors

abstract: Let $\mathcal{P}$ be the set of all primes and $\pi(x)$ be the number of primes up to $x$. For any $n\ge 2$, let $P^+(n)$ be the largest prime factor of $n$. For $0<c<1$, let $$T_c(x)=\#\{p\le x:p\in \mathcal{P},P^+(p-1)\ge p^c\}.$$ In this note, we proved that there exists some $c<1$ such that $$\limsup_{x\rightarrow\infty}\frac{T_c(x)}{\pi(x)}<\frac12,$$ which disproves a conjecture of Chen and Chen.


title: Complex magnetoelectric effect in PFN-PT/CoFe$_{2-x}$Zn$_x$O$_4$ bulk particulate composites

abstract: The structural, dielectric, magnetic, and magnetoelectric (ME) properties of particulate composites containing lead-iron niobate and lead titanate piezoelectric 0.94[PbFe$_{0.5}$Nb$_{0.5}$O$_3$]-0.06[PbTi$_{0.5}$O$_3$] (PFN-PT) and Zn-substituted cobalt ferrite magnetostrictive CoFe$_{2-x}$Zn$_{x}$O$_4$ (CF$_{2-x}$Z$_{x}$O); 0.6(PFN-PT)/0.4(CF$_{2-x}$Z$_{x}$O), x=0, 0.025, 0.1, 0.2, 0.3 (with ratio of 60 Wt\% ferroelectric and 40 Wt\% ferrite); have been investigated. We investigated the ME voltage coefficient as a complex quantity for all composite samples using the dynamic piezomagnetic coefficient, $q^{ac}$=$\partial \lambda^{ac}/{\partial H}$. The results reveal that tuning the magnetostrictive phase has a strong effect on the real part of the ME voltage coefficient. Doping zinc into cobalt ferrite modified the magnetic properties of the magnetic phase, such as magnetic anisotropy and coercive field, and hence the ME properties. The highest ME coefficient value of 12.33 $\frac{mV}{cm. Oe}$ was obtained for x=0.1 at the magnetic field of 755 Oe. In addition, the magnetic field at which the maximum value of the ME coefficient was observed ($H_{peak}$) strongly depends on the value of Zn substitution. The results were interpreted using the magnetic field dependence of the CF$_{2-x}$Z$_{x}$O magnetostriction.


title: Prescribed Scalar Curvature Problem under Conformal Deformation of A Riemannian Metric with Dirichlet Boundary Condition

abstract: In this article, we first show that for all compact Riemannian manifolds with non-empty smooth boundary and dimension at least 3, there exists a metric, pointwise conformal to the original metric, with constant scalar curvature in the interior, and constant scalar curvature on the boundary by considering the boundary as a manifold of its own with dimension at least 2. We then show a series of prescribed scalar curvature results in the interior and on the boundary, with pointwise conformal deformation. These type of results is both an analogy and an extension of Kazdan and Warner's "Trichotomy Theorem" on a different type of manifolds. The key step of these problems is to obtain a positive, smooth solution of a Yamabe equation with Dirichlet boundary conditions.


title: Solving the Kidney Exchange Problem Using Privacy-Preserving Integer Programming (Updated and Extended Version)

abstract: The kidney exchange problem (KEP) is to find a constellation of exchanges that maximizes the number of transplants that can be carried out for a set of pairs of patients with kidney disease and their incompatible donors. Recently, this problem has been tackled from a privacy perspective in order to protect the sensitive medical data of patients and donors and to decrease the potential for manipulation of the computing of the exchanges. However, the proposed approaches to date either only compute an approximative solution to the KEP or they suffer from a huge decrease in performance. In this paper, we suggest a novel privacy-preserving protocol that computes an exact solution to the KEP and significantly outperforms the other existing exact approaches. Our novel protocol is based on Integer Programming which is the most efficient method for solving the KEP in the non privacy-preserving case. We achieve an improved performance compared to the privacy-preserving approaches known to date by extending the output of the ideal functionality to include the termination decisions of the underlying algorithm. We implement our protocol in the SMPC benchmarking framework MP-SPDZ and compare its performance to the existing protocols for solving the KEP. In this extended version of our paper, we also evaluate whether and if so how much information can be inferred from the extended output of the ideal functionality.


title: Perspective on the muon-spin rotation/relaxation under hydrostatic pressure

abstract: Pressure, together with temperature, electric and magnetic fields, alters the system and allows to investigate the fundamental properties of the matter. Under applied pressure the interatomic distances shrink, which modify interactions between atoms and may lead to appearance of a new (sometime exotic) physical properties as, e.g., pressure induced phase transition(s); quantum critical points(s), new structural, magnetic and/or superconducting states; changes of the temperature evolution and the symmetry of the order parameter(s) etc. The muon-spin rotation/relaxation ($\mu$SR) appears to be a commonly used powerful technique allowing to study the magnetic and superconducting responses of various materials under extreme conditions. At present, $\mu$SR experiments might be performed under the high magnetic field up to $\simeq 9$ T, temperatures down to $\simeq 10-15$ mK and hydrostatic pressure up to $\simeq 2.8$ GPa. In the following Perspective paper the requirements to the $\mu$SR under pressure experiments, the existing high-pressure muon facility at the Paul Scherrer Institute (Switzerland), and selected experimental results obtained by using the $\mu$SR under pressure technique are discussed.


title: TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination

abstract: Discrimination has been shown in many machine learning applications, which calls for sufficient fairness testing before their deployment in ethic-relevant domains such as face recognition, medical diagnosis and criminal sentence. Existing fairness testing approaches are mostly designed for identifying individual discrimination, i.e., discrimination against individuals. Yet, as another widely concerning type of discrimination, testing against group discrimination, mostly hidden, is much less studied. To address the gap, in this work, we propose TESTSGD, an interpretable testing approach which systematically identifies and measures hidden (which we call `subtle' group discrimination} of a neural network characterized by conditions over combinations of the sensitive features. Specifically, given a neural network, TESTSGDfirst automatically generates an interpretable rule set which categorizes the input space into two groups exposing the model's group discrimination. Alongside, TESTSGDalso provides an estimated group fairness score based on sampling the input space to measure the degree of the identified subtle group discrimination, which is guaranteed to be accurate up to an error bound. We evaluate TESTSGDon multiple neural network models trained on popular datasets including both structured data and text data. The experiment results show that TESTSGDis effective and efficient in identifying and measuring such subtle group discrimination that has never been revealed before. Furthermore, we show that the testing results of TESTSGDcan guide generation of new samples to mitigate such discrimination through retraining with negligible accuracy drop.


title: Symmetry and dynamics of Chebyshev's method

abstract: The set of all holomorphic Euclidean isometries preserving the Julia set of a rational map $R$ is denoted by $\Sigma R$. It is shown in this article that if a root-finding method $F$ satisfies the Scaling theorem, i.e., for a polynomial $p$, $F_p$ is affine conjugate to $F_{\lambda p \circ T}$ for every nonzero complex number $\lambda $ and every affine map $T$, then for a centered polynomial $p$ of order at least two (which is not a monomial), $\Sigma p\subseteq \Sigma F_p$. As the Chebyshev's method satisfies the Scaling theorem, we have $\Sigma p \subseteq \Sigma {C_p}$, where $p$ is a centered polynomial. The rest part of this article is devoted to explore the situations where the equality holds and in the process, the dynamics of $C_p$ is found. We show that the Julia set $\mathcal{J}(C_p)$ of $ C_p$ can never be a line. If a centered polynomial $p$ is (a) unicritical, (b) having exactly two roots with the same multiplicity, (c) cubic and $\Sigma p$ is non-trivial or (d) quartic, $0$ is a root of $p$ and $\Sigma p $ is non-trivial then it is proved that $\Sigma p = \Sigma C_p$. It is found in all these cases that the Fatou set $\mathcal{F}(C_p)$ is the union of all the attracting basins of $C_p$ corresponding to the roots of $p$ and $\mathcal{J}(C_p)$ is connected. It is observed that $\mathcal{J}(C_p)$ is locally connected in all these cases.


title: Functional central limit theorems for spatial averages of the parabolic Anderson model with delta initial condition in dimension $d\geq 1$

abstract: Let $\{u(t,x)\}_{t>0,x\in{{\mathbb R}^{d}}}$ be the solution to a $d$-dimensional parabolic Anderson model with initial condition ${\delta}_{0}$ and driven by a Gaussian noise that is white in time and has a spatially homogeneous covariance given by a nonnegative-definite measure $f$ which satisfies Dalang's condition. Let $S_{N,t}:=N^{-d}\int_{{[0,N]}^d}{[U(t,x)-1]}~{\rm d}x$ denote the spatial average on ${{\mathbb R}^{d}}$. We obtain various functional central limit theorems (CLTs) for spatial averages based on the quantitative analysis of $f$ and spatial dimension $d$. In particular, when $f$ is given by Riesz kernel, i.e., $f({\rm x})={\Vert x \Vert}^{-\beta}{\rm d}x$, $\beta\in(0,2\wedge d)$, the functional CLT is also based on the index $\beta$.


title: A convolutional plane wave model for sound field reconstruction

abstract: Spatial sound field interpolation relies on suitable models to both conform to available measurements and predict the sound field in the domain of interest. A suitable model can be difficult to determine when the spatial domain of interest is large compared to the wavelength or when spherical and planar wavefronts are present or the sound field is complex, as in the near-field. To span such complex sound fields, the global reconstruction task can be partitioned into local subdomain problems. Previous studies have shown that partitioning approaches rely on sufficient measurements within each domain, due to the higher number of model coefficients. This study proposes a joint analysis of all local subdomains, while enforcing self-similarity between neighbouring partitions. More specifically, the coefficients of local plane wave representations are sought to have spatially smooth magnitudes. A convolutional model of the sound field in terms of plane wave filters is formulated and the inverse reconstruction problem is solved via the alternating direction method of multipliers. The experiments on simulated and measured sound fields suggest, that the proposed method both retains the flexibility of local models to conform to complex sound fields and also preserves the global structure to reconstruct from fewer measurements.


title: Fast Primal-Dual Update against Local Weight Update in Linear Assignment Problem and Its Application

abstract: We consider a dynamic situation in the weighted bipartite matching problem: edge weights in the input graph are repeatedly updated and we are asked to maintain an optimal matching at any moment. A trivial approach is to compute an optimal matching from scratch each time an update occurs. In this paper, we show that if each update occurs locally around a single vertex, then a single execution of Dijkstra's algorithm is sufficient to preserve optimality with the aid of a dual solution. As an application of our result, we provide a faster implementation of the envy-cycle procedure for finding an envy-free allocation of indivisible items. Our algorithm runs in $\mathrm{O}(mn^2)$ time, while the known bound of the original one is $\mathrm{O}(mn^3)$, where $n$ and $m$ denote the numbers of agents and items, respectively.


title: Hodge operators and groups of isometries of diagonalizable symmetric bilinear forms in characteristic two

abstract: We study groups of isometries on non-alternating symmetric bilinear forms on vector spaces of characteristic two, and actions of these groups on exterior powers of the space, viewed as modules over algebras generated by Hodge operators.


title: Robust Motion Averaging for Multi-view Registration of Point Sets Based Maximum Correntropy Criterion

abstract: As an efficient algorithm to solve the multi-view registration problem,the motion averaging (MA) algorithm has been extensively studied and many MA-based algorithms have been introduced. They aim at recovering global motions from relative motions and exploiting information redundancy to average accumulative errors. However, one property of these methods is that they use Guass-Newton method to solve a least squares problem for the increment of global motions, which may lead to low efficiency and poor robustness to outliers. In this paper, we propose a novel motion averaging framework for the multi-view registration with Laplacian kernel-based maximum correntropy criterion (LMCC). Utilizing the Lie algebra motion framework and the correntropy measure, we propose a new cost function that takes all constraints supplied by relative motions into account. Obtaining the increment used to correct the global motions, can further be formulated as an optimization problem aimed at maximizing the cost function. By virtue of the quadratic technique, the optimization problem can be solved by dividing into two subproblems, i.e., computing the weight for each relative motion according to the current residuals and solving a second-order cone program problem (SOCP) for the increment in the next iteration. We also provide a novel strategy for determining the kernel width which ensures that our method can efficiently exploit information redundancy supplied by relative motions in the presence of many outliers. Finally, we compare the proposed method with other MA-based multi-view registration methods to verify its performance. Experimental tests on synthetic and real data demonstrate that our method achieves superior performance in terms of efficiency, accuracy and robustness.