title: Motion Segmentation from a Moving Monocular Camera

abstract: Identifying and segmenting moving objects from a moving monocular camera is difficult when there is unknown camera motion, different types of object motions and complex scene structures. To tackle these challenges, we take advantage of two popular branches of monocular motion segmentation approaches: point trajectory based and optical flow based methods, by synergistically fusing these two highly complementary motion cues at object level. By doing this, we are able to model various complex object motions in different scene structures at once, which has not been achieved by existing methods. We first obtain object-specific point trajectories and optical flow mask for each common object in the video, by leveraging the recent foundational models in object recognition, segmentation and tracking. We then construct two robust affinity matrices representing the pairwise object motion affinities throughout the whole video using epipolar geometry and the motion information provided by optical flow. Finally, co-regularized multi-view spectral clustering is used to fuse the two affinity matrices and obtain the final clustering. Our method shows state-of-the-art performance on the KT3DMoSeg dataset, which contains complex motions and scene structures. Being able to identify moving objects allows us to remove them for map building when using visual SLAM or SFM.


title: GHN-QAT: Training Graph Hypernetworks to Predict Quantization-Robust Parameters of Unseen Limited Precision Neural Networks

abstract: Graph Hypernetworks (GHN) can predict the parameters of varying unseen CNN architectures with surprisingly good accuracy at a fraction of the cost of iterative optimization. Following these successes, preliminary research has explored the use of GHNs to predict quantization-robust parameters for 8-bit and 4-bit quantized CNNs. However, this early work leveraged full-precision float32 training and only quantized for testing. We explore the impact of quantization-aware training and/or other quantization-based training strategies on quantized robustness and performance of GHN predicted parameters for low-precision CNNs. We show that quantization-aware training can significantly improve quantized accuracy for GHN predicted parameters of 4-bit quantized CNNs and even lead to greater-than-random accuracy for 2-bit quantized CNNs. These promising results open the door for future explorations such as investigating the use of GHN predicted parameters as initialization for further quantized training of individual CNNs, further exploration of "extreme bitwidth" quantization, and mixed precision quantization schemes.


title: Combinatorial summation of Feynman diagrams: Equation of state of the 2D SU(N) Hubbard model

abstract: Feynman's diagrammatic series is a common language for a formally exact theoretical description of systems of infinitely-many interacting quantum particles, as well as a foundation for precision computational techniques. Here we introduce a universal framework for efficient summation of connected or skeleton Feynman diagrams for generic quantum many-body systems. It is based on an explicit combinatorial construction of the sum of the integrands by dynamic programming, at a computational cost that can be made only exponential in the diagram order on a classical computer and potentially polynomial on a quantum computer. We illustrate the technique by an unbiased diagrammatic Monte Carlo calculation of the equation of state of the $2D$ $SU(N)$ Hubbard model in an experimentally relevant regime, which has remained challenging for state-of-the-art numerical methods.

categories: cond-mat.str-el hep-th math-ph math.MP quant-ph


title: The Rashomon Importance Distribution: Getting RID of Unstable, Single Model-based Variable Importance

abstract: Quantifying variable importance is essential for answering high-stakes questions in fields like genetics, public policy, and medicine. Current methods generally calculate variable importance for a given model trained on a given dataset. However, for a given dataset, there may be many models that explain the target outcome equally well; without accounting for all possible explanations, different researchers may arrive at many conflicting yet equally valid conclusions given the same data. Additionally, even when accounting for all possible explanations for a given dataset, these insights may not generalize because not all good explanations are stable across reasonable data perturbations. We propose a new variable importance framework that quantifies the importance of a variable across the set of all good models and is stable across the data distribution. Our framework is extremely flexible and can be integrated with most existing model classes and global variable importance metrics. We demonstrate through experiments that our framework recovers variable importance rankings for complex simulation setups where other methods fail. Further, we show that our framework accurately estimates the true importance of a variable for the underlying data distribution. We provide theoretical guarantees on the consistency and finite sample error rates for our estimator. Finally, we demonstrate its utility with a real-world case study exploring which genes are important for predicting HIV load in persons with HIV, highlighting an important gene that has not previously been studied in connection with HIV. Code is available at https://github.com/jdonnelly36/Rashomon_Importance_Distribution.


title: Two-horn quiescent prominence observed in H-alpha and MgII h&k lines with THEMIS and IRIS

abstract: Prominences are large magnetic structures in the corona filled by cool plasma with fast evolving fine structure. We aim to better understand the plasma conditions in the fine structure of a quiescent prominence including two transient horns observed at the bottom of the cavity using the high-resolution spectrograph IRIS and the MulTi-Raies (MTR) spectrograph of the THEMIS in the Canary Islands. We analysed the spectra obtained in H-alpha by THEMIS and MgII by IRIS and compare them with a grid of 23940 1D radiative transfer models which include a prominence-to-corona transition region (PCTR). The full observed profiles of MgII in each pixel are fitted completely by synthesised profiles with xRMS (Cross RMS; an improved version of the rolling root mean square (rRMS) method). When the RMS is below a certain threshold value, we recover the plasma conditions from the parameters of the model best fitting the observed line profile. This criterion is met in two regions (the horns and edge of the prominence) where the line profiles can generally be described as single peaked. The 1D models suggest that two different kinds of model atmospheres correspond to these two regions. The region at the edge is found to be fitted mainly with isothermal and isobaric models, while the other area (the horns) is seen to be fitted with models with a PCTR that have optical thicknesses <5. In the prominence edge, the theoretical relationship between the integrated intensities in H-alpha and MgII is verified and corresponds to low emission measure values. In these regions the electron density is ~10^10 cm^{-3}, while it is one order of magnitude less in the horn regions. In the horns, we find some profiles are best fitted with models with high mean temperatures. This suggests that the hot PCTR found in the horns could be interpreted as prominence plasma in condensation phase at the bottom of the coronal cavity.


title: Diffeomorphic Multi-Resolution Deep Learning Registration for Applications in Breast MRI

abstract: In breast surgical planning, accurate registration of MR images across patient positions has the potential to improve the localisation of tumours during breast cancer treatment. While learning-based registration methods have recently become the state-of-the-art approach for most medical image registration tasks, these methods have yet to make inroads into breast image registration due to certain difficulties-the lack of rich texture information in breast MR images and the need for the deformations to be diffeomophic. In this work, we propose learning strategies for breast MR image registration that are amenable to diffeomorphic constraints, together with early experimental results from in-silico and in-vivo experiments. One key contribution of this work is a registration network which produces superior registration outcomes for breast images in addition to providing diffeomorphic guarantees.


title: Scalarized black holes in new massive gravity dressed by a nonminimally coupled scalar

abstract: We investigate scalarized black holes in new massive gravity dressed by a nonminimally coupled scalar. For this purpose, we find the Gregory-Laflamme (GL) and tachyonic instability bounds of bald BTZ black hole expressed in terms of $ m^2$ a massive spin-2 parameter and $\alpha$ a scalar coupling parameter to Ricci scalar by making use of the linearized theory around black hole. On the other hand, we obtain a solution bound of $0.161<\alpha <3/16$ for achieving non-BTZ black holes with scalar hair analytically and a thermodynamic bound of $1/8<\alpha <13/80$ for obtaining consistent thermodynamic quantities. Without imposing the GL instability bound ($m^2<1/2\ell^2$), we find a very narrow bound of $0.161<\alpha<0.1625$ which is located inside tachyonic instability bound of $\alpha>1/8+m^2_\Phi \ell^2/6$ for obtaining scalarized black holes where $m^2_\Phi$ is a scalar mass parameter.


title: Variational and Strong Variational Convexity in Infinite-Dimensional Variational Analysis

abstract: This paper is devoted to a systematic study and characterizations of the fundamental notions of variational and strong variational convexity for lower semicontinuous functions. While these notions have been quite recently introduced by Rockafellar, the importance of them has been already recognized and documented in finite-dimensional variational analysis and optimization. Here we address general infinite-dimensional settings and derive comprehensive characterizations of both variational and strong variational convexity notions by developing novel techniques, which are essentially different from finite-dimensional counterparts. As a consequence of the obtained characterizations, we establish new quantitative and qualitative relationships between strong variational convexity and tilt stability of local minimizers in appropriate frameworks of Banach spaces.


title: Modern Software Development for JUNO offline software

abstract: The Jiangmen Underground Neutrino Observatory (JUNO), under construction in South China, primarily aims to determine the neutrino mass hierarchy and to precise measure the neutrino oscillation parameters. The data-taking is expected to start in 2024 and the detector plans to run for more than 20 years. The development of the JUNO offline software (JUNOSW) started in 2012, and it is quite challenging to maintain the JUNOSW for such a long time. In the last ten years, tools such as Subversion, Trac, and CMT had been adopted for software development. However, new stringent requirements came out, such as how to reduce the building time for the whole project, how to deploy offline algorithms to an online environment, and how to improve the code quality with code review and continuous integration. To meet the further requirements of software development, modern development tools are evaluated for JUNOSW, such as Git, GitLab, CMake, Docker, and Kubernetes. This contribution will present the software development system based on these modern tools for JUNOSW and the functionalities achieved: CMake macros are developed to simplify the build instructions for users; CMake generator expressions are used to control the build flags for the online and offline environments; a tool named git-junoenv is developed to help users partially checkout and build the software; a script is used to build and deploy the software on the CVMFS server; a Docker image with CVMFS client installed is created for continuous integration; a GitLab agent is set up to manage GitLab runners in Kubernetes with all the configurations in a GitLab repository.


title: Explainable Machine Learning for ICU Readmission Prediction

abstract: The intensive care unit (ICU) comprises a complex hospital environment, where decisions made by clinicians have a high level of risk for the patients' lives. A comprehensive care pathway must then be followed to reduce p complications. Uncertain, competing and unplanned aspects within this environment increase the difficulty in uniformly implementing the care pathway. Readmission contributes to this pathway's difficulty, occurring when patients are admitted again to the ICU in a short timeframe, resulting in high mortality rates and high resource utilisation. Several works have tried to predict readmission through patients' medical information. Although they have some level of success while predicting readmission, those works do not properly assess, characterise and understand readmission prediction. This work proposes a standardised and explainable machine learning pipeline to model patient readmission on a multicentric database (i.e., the eICU cohort with 166,355 patients, 200,859 admissions and 6,021 readmissions) while validating it on monocentric (i.e., the MIMIC IV cohort with 382,278 patients, 523,740 admissions and 5,984 readmissions) and multicentric settings. Our machine learning pipeline achieved predictive performance in terms of the area of the receiver operating characteristic curve (AUC) up to 0.7 with a Random Forest classification model, yielding an overall good calibration and consistency on validation sets. From explanations provided by the constructed models, we could also derive a set of insightful conclusions, primarily on variables related to vital signs and blood tests (e.g., albumin, blood urea nitrogen and hemoglobin levels), demographics (e.g., age, and admission height and weight), and ICU-associated variables (e.g., unit type). These insights provide an invaluable source of information during clinicians' decision-making while discharging ICU patients.


title: On the Computational Benefit of Multimodal Learning

abstract: Human perception inherently operates in a multimodal manner. Similarly, as machines interpret the empirical world, their learning processes ought to be multimodal. The recent, remarkable successes in empirical multimodal learning underscore the significance of understanding this paradigm. Yet, a solid theoretical foundation for multimodal learning has eluded the field for some time. While a recent study by Lu (2023) has shown the superior sample complexity of multimodal learning compared to its unimodal counterpart, another basic question remains: does multimodal learning also offer computational advantages over unimodal learning? This work initiates a study on the computational benefit of multimodal learning. We demonstrate that, under certain conditions, multimodal learning can outpace unimodal learning exponentially in terms of computation. Specifically, we present a learning task that is NP-hard for unimodal learning but is solvable in polynomial time by a multimodal algorithm. Our construction is based on a novel modification to the intersection of two half-spaces problem.


title: Minimum-sized generating sets of the direct powers of free distributive lattices

abstract: For a finite lattice $L$, let Gm($L$) denote the least $n$ such that $L$ can be generated by $n$ elements. For integers $r>2$ and $k>1$, denote by FD$(r)^k$ the $k$-th direct power of the free distributive lattice FD($r$) on $r$ generators. We determine Gm(FD$(r)^k$) for many pairs $(r,k)$ either exactly or with good accuracy by giving a lower estimate that becomes an upper estimate if we increase it by 1. For example, for $(r,k)=(5,25\,000)$ and $(r,k)=(20,\ 1.489\cdot 10^{1789})$, Gm(FD$(r)^k$) is $300$ and $6000$, respectively. To reach our goal, we give estimates for the maximum number of pairwise unrelated copies of some specific posets (called full segment posets) in the subset lattice of an $n$-element set. In addition to analogous earlier results in lattice theory, a connection with cryptology is also mentioned among the motivations.


title: From non-local to local Navier-Stokes equations

abstract: Inspired by some experimental (numerical) works on fractional diffusion PDEs, we develop a rigorous framework to prove that solutions to the fractional Navier-Stokes equations, which involve the fractional Laplacian operator $(-\Delta)^{\frac{\alpha}{2}}$ with $\alpha<2$, converge to a solution of the classical case, with $-\Delta$, when $\alpha$ goes to $2$. Precisely, in the setting of mild solutions, we prove uniform convergence in both the time and spatial variables and derive a precise convergence rate, revealing some phenomenological effects. Finally, our results are also generalized to the coupled setting of the Magnetic-hydrodynamic (MHD) system.


title: Study of Robust Adaptive Beamforming Algorithms Based on Power Method Processing and Spatial Spectrum Matching

abstract: Robust adaptive beamforming (RAB) based on interference-plus-noise covariance (INC) matrix reconstruction can experience performance degradation when model mismatch errors exist, particularly when the input signal-to-noise ratio (SNR) is large. In this work, we devise an efficient RAB technique for dealing with covariance matrix reconstruction issues. The proposed method involves INC matrix reconstruction using an idea in which the power and the steering vector of the interferences are estimated based on the power method. Furthermore, spatial match processing is computed to reconstruct the desired signal-plus-noise covariance matrix. Then, the noise components are excluded to retain the desired signal (DS) covariance matrix. A key feature of the proposed technique is to avoid eigenvalue decomposition of the INC matrix to obtain the dominant power of the interference-plus-noise region. Moreover, the INC reconstruction is carried out according to the definition of the theoretical INC matrix. Simulation results are shown and discussed to verify the effectiveness of the proposed method against existing approaches.


title: Distribution-Free Statistical Dispersion Control for Societal Applications

abstract: Explicit finite-sample statistical guarantees on model performance are an important ingredient in responsible machine learning. Previous work has focused mainly on bounding either the expected loss of a predictor or the probability that an individual prediction will incur a loss value in a specified range. However, for many high-stakes applications, it is crucial to understand and control the dispersion of a loss distribution, or the extent to which different members of a population experience unequal effects of algorithmic decisions. We initiate the study of distribution-free control of statistical dispersion measures with societal implications and propose a simple yet flexible framework that allows us to handle a much richer class of statistical functionals beyond previous work. Our methods are verified through experiments in toxic comment detection, medical imaging, and film recommendation.


title: Symmetries and Dimension Reduction in Quantum Approximate Optimization Algorithm

abstract: In this paper, the Quantum Approximate Optimization Algorithm (QAOA) is analyzed by leveraging symmetries inherent in problem Hamiltonians. We focus on the generalized formulation of optimization problems defined on the sets of $n$-element $d$-ary strings. Our main contribution encompasses dimension reductions for the originally proposed QAOA. These reductions retain the same problem Hamiltonian as the original QAOA but differ in terms of their mixer Hamiltonian, and initial state. The vast QAOA space has a daunting dimension of exponential scaling in $n$, where certain reduced QAOA spaces exhibit dimensions governed by polynomial functions. This phenomenon is illustrated in this paper, by providing partitions corresponding to polynomial dimensions of the corresponding subspaces. As a result, each reduced QAOA partition encapsulates unique classical solutions absent in others, allowing us to establish a lower bound on the number of solutions to the initial optimization problem. Our novel approach opens promising practical advantages in accelerating the algorithm. Restricting the algorithm to Hilbert spaces of smaller dimension may lead to significant acceleration of both quantum and classical simulation of circuits and serve as a tool to cope with barren plateaus problem.


title: Can LLM-Generated Misinformation Be Detected?

abstract: The advent of Large Language Models (LLMs) has made a transformative impact. However, the potential that LLMs such as ChatGPT can be exploited to generate misinformation has posed a serious concern to online safety and public trust. A fundamental research question is: will LLM-generated misinformation cause more harm than human-written misinformation? We propose to tackle this question from the perspective of detection difficulty. We first build a taxonomy of LLM-generated misinformation. Then we categorize and validate the potential real-world methods for generating misinformation with LLMs. Then, through extensive empirical investigation, we discover that LLM-generated misinformation can be harder to detect for humans and detectors compared to human-written misinformation with the same semantics, which suggests it can have more deceptive styles and potentially cause more harm. We also discuss the implications of our discovery on combating misinformation in the age of LLMs and the countermeasures.


title: BayeSED-GALAXIES I. Performance test for simultaneous photometric redshift and stellar population parameter estimation of galaxies in the CSST wide-field multiband imaging survey

abstract: The forthcoming CSST wide-field multiband imaging survey will produce seven-band photometric spectral energy distributions (SEDs) for billions of galaxies. The effective extraction of astronomical information from these massive datasets of SEDs relies on the techniques of both SED synthesis (or modeling) and analysis (or fitting). We evaluate the performance of the latest version of BayeSED code combined with SED models with increasing complexity for simultaneously determining the photometric redshifts and stellar population parameters of galaxies in this survey. By using an empirical statistics-based mock galaxy sample without SED modeling errors, we show finding that the random observational errors in photometries are more important sources of errors than the parameter degeneracies and Bayesian analysis method and tool. By using a Horizon-AGN hydrodynamical simulation-based mock galaxy sample with SED modeling errors about the star formation histories (SFHs) and dust attenuation laws (DALs), the simple typical assumptions lead to significantly worse parameter estimation with CSST photometries only. The SED models with more flexible (or complicated) forms of SFH/DAL do not necessarily lead to better estimation of redshift and stellar population parameters. We discuss the selection of the best SED model by means of Bayesian model comparison in different surveys. Our results reveal that the Bayesian model comparison with Bayesian evidence may favor SED models with different complexities when using photometries from different surveys. Meanwhile, the SED model with the largest Bayesian evidence tends to give the best performance of parameter estimation, which is more clear for photometries with larger discriminative power.


title: Observation of $\psi(3686) \rightarrow \Lambda \bar{\Lambda} \eta^{\prime}$ decay

abstract: Using a sample of $(27.12\pm 0.14) \times 10^{8}$ $\psi(3686)$ events collected with the BESIII detector, the decay $\psi(3686) \to \Lambda \bar{\Lambda} \eta'$ with $\eta'$ subsequently decaying into $\gamma \pi^+ \pi^-$ and $\eta \pi^+ \pi^-$ is observed for the first time. The branching fraction of $\psi(3686) \to \Lambda \bar{\Lambda}\eta'$ is measured to be $(7.34\pm0.94(stat.)\pm0.43(sys.))\times10^{-6}$. No resonant structures are evident in the $\Lambda\eta'$, $\bar{\Lambda}\eta'$ and $\Lambda\bar{\Lambda}$ mass spectra.


title: On the Hofer-Zehnder conjecture for semipositive symplectic manifolds

abstract: We show that, on a closed semipositive symplectic manifold with semisimple quantum homology, any Hamiltonian diffeomorphism possessing more contractible fixed points, counted homologically, than the total Betti number of the manifold, must have infinitely many periodic points. This generalizes to the semipositive setting the beautiful result of Shelukhin on the Hofer-Zehnder conjecture.


title: On two approaches to studying the aftershocks of a strong earthquake

abstract: The paper is devoted to comparing two approaches to the study of aftershocks. The methodological foundations of the traditional approach were laid many years ago. A new approach has emerged relatively recently. The two approaches differ from each other in the object, purpose and method of research. The differences are as follows. With the new approach, attention is focused not on aftershocks, but on the source of the earthquake. The evolution of the source is studied experimentally, and not the degradation of the frequency of aftershocks. Instead of a speculative selection of empirical formulas, the source deactivation coefficient is measured, variations in the coefficient are observed, and only on the basis of measurements and observations are conclusions drawn about the dynamics of the source. Thus, the divergence between the two approaches is doctrinal. The new approach turned out to be effective. Through targeted analysis of aftershock data, the Omori epoch and the phenomenon of bifurcation of the earthquake source were discovered. The purpose of further research is indicated. Keywords: earthquake source, Omori law, Hirano-Utsu law, logistic law, deactivation coefficient, bifurcation, master equation, methodology.


title: ReMasker: Imputing Tabular Data with Masked Autoencoding

abstract: We present ReMasker, a new method of imputing missing values in tabular data by extending the masked autoencoding framework. Compared with prior work, ReMasker is both simple -- besides the missing values (i.e., naturally masked), we randomly ``re-mask'' another set of values, optimize the autoencoder by reconstructing this re-masked set, and apply the trained model to predict the missing values; and effective -- with extensive evaluation on benchmark datasets, we show that ReMasker performs on par with or outperforms state-of-the-art methods in terms of both imputation fidelity and utility under various missingness settings, while its performance advantage often increases with the ratio of missing data. We further explore theoretical justification for its effectiveness, showing that ReMasker tends to learn missingness-invariant representations of tabular data. Our findings indicate that masked modeling represents a promising direction for further research on tabular data imputation. The code is publicly available.


title: Projected Randomized Smoothing for Certified Adversarial Robustness

abstract: Randomized smoothing is the current state-of-the-art method for producing provably robust classifiers. While randomized smoothing typically yields robust $\ell_2$-ball certificates, recent research has generalized provable robustness to different norm balls as well as anisotropic regions. This work considers a classifier architecture that first projects onto a low-dimensional approximation of the data manifold and then applies a standard classifier. By performing randomized smoothing in the low-dimensional projected space, we characterize the certified region of our smoothed composite classifier back in the high-dimensional input space and prove a tractable lower bound on its volume. We show experimentally on CIFAR-10 and SVHN that classifiers without the initial projection are vulnerable to perturbations that are normal to the data manifold and yet are captured by the certified regions of our method. We compare the volume of our certified regions against various baselines and show that our method improves on the state-of-the-art by many orders of magnitude.


title: Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems

abstract: The safety of the systems controlled by software is a very important area in a digitalized society, as the number of automated processes is increasing. In this paper, we present the results of testing the accuracy of different lane keeping controllers for an educational robot. In our approach, the robot is controlled using numerical P systems and enzymatic numerical P systems. For tests generation, we used an open-source tool implementing a search-based software testing approach.


title: Using Z3 to Verify Inferences in Fragments of Linear Logic

abstract: Linear logic is a substructural logic proposed as a refinement of classical and intuitionistic logics, with applications in programming languages, game semantics, and quantum physics. We present a template for Gentzen-style linear logic sequents that supports verification of logic inference rules using automatic theorem proving. Specifically, we use the Z3 Theorem Prover [8] to check targeted inference rules based on a set of inference rules that are presumed to be valid. To demonstrate the approach, we apply it to validate several derived inference rules for two different fragments of linear logic: MLL+Mix (Multiplicative Linear Logic extended with a Mix rule) and MILL (Multiplicative Intuitionistic Linear Logic).


title: q-Overlaps in the Random Exact Cover Problem

abstract: We prove upper and lower bounds for the threshold of the q-overlap-k-Exact cover problem. These results are motivated by the one-step replica symmetry breaking approach of Statistical Physics, and the hope of using an approach based on that of Mezard et al. (2005) to rigorously prove that for some values of the order parameter the overlap distribution of k-Exact Cover has discontinuous support.


title: Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models

abstract: In this paper, we investigate how the initial models and the final models for the polynomial functors can be uniformly specified in matching logic.


title: A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle

abstract: Epistemic protocols represents a current field of interest, with numerous approaches still being studied. In this paper we formalize parallel sessions of the The Muddy Children Puzzle using Public Observation Logic, a system that allows epistemic update. We consider agents with roles in multiple sessions and the information update in all parallel sessions as new information is discovered in any particular session.


title: Enumerating All Maximal Clique-Partitions of an Undirected Graph

abstract: We address the problem of enumerating all maximal clique-partitions of an undirected graph and present an algorithm based on the observation that every maximal clique-partition can be produced from the maximal clique-cover of the graph by assigning the vertices shared among maximal cliques, to belong to only one clique. This simple algorithm has the following drawbacks: (1) the search space is very large; (2) it finds some clique-partitions which are not maximal; and (3) some clique-partitions are found more than once. We propose two criteria to avoid these drawbacks. The outcome is an algorithm that explores a much smaller search space and guarantees that every maximal clique-partition is computed only once. The algorithm can be used in problems such as anti-unification with proximity relations or in resource allocation tasks when one looks for several alternative ways to allocate resources.


title: A Formalized Extension of the Substitution Lemma in Coq

abstract: The substitution lemma is a renowned theorem within the realm of lambda-calculus theory and concerns the interactional behaviour of the metasubstitution operation. In this work, we augment the lambda-calculus's grammar with an uninterpreted explicit substitution operator, which allows the use of our framework for different calculi with explicit substitutions. Our primary contribution lies in verifying that, despite these modifications, the substitution lemma continues to remain valid. This confirmation was achieved using the Coq proof assistant. Our formalization methodology employs a nominal approach, which provides a direct implementation of the alpha-equivalence concept. The strategy involved in variable renaming within the proofs presents a challenge, specially on ensuring an exploration of the implications of our extension to the grammar of the lambda-calculus.


title: While Loops in Coq

abstract: While loops are present in virtually all imperative programming languages. They are important both for practical reasons (performing a number of iterations not known in advance) and theoretical reasons (achieving Turing completeness). In this paper we propose an approach for incorporating while loops in an imperative language shallowly embedded in the Coq proof assistant. The main difficulty is that proving the termination of while loops is nontrivial, or impossible in the case of non-termination, whereas Coq only accepts programs endowed with termination proofs. Our solution is based on a new, general method for defining possibly non-terminating recursive functions in Coq. We illustrate the approach by proving termination and partial correctness of a program on linked lists.


title: Privacy-preserving Linear Computations in Spiking Neural P Systems

abstract: Spiking Neural P systems are a class of membrane computing models inspired directly by biological neurons. Besides the theoretical progress made in this new computational model, there are also numerous applications of P systems in fields like formal verification, artificial intelligence, or cryptography. Motivated by all the use cases of SN P systems, in this paper, we present a new privacy-preserving protocol that enables a client to compute a linear function using an SN P system hosted on a remote server. Our protocol allows the client to use the server to evaluate functions of the form t_1k + t_2 without revealing t_1, t_2 or k and without the server knowing the result. We also present an SN P system to implement any linear function over natural numbers and some security considerations of our protocol in the honest-but-curious security model.


title: Symmetric Functions over Finite Fields

abstract: The number of linear independent algebraic relations among elementary symmetric polynomial functions over finite fields is computed. An algorithm able to find all such relations is described. It is proved that the basis of the ideal of algebraic relations found by the algorithm consists of polynomials having coefficients in the prime field F_p.


title: Identifying Vulnerabilities in Smart Contracts using Interval Analysis

abstract: This paper serves as a progress report on our research, specifically focusing on utilizing interval analysis, an existing static analysis method, for detecting vulnerabilities in smart contracts. We present a selection of motivating examples featuring vulnerable smart contracts and share the results from our experiments conducted with various existing detection tools. Our findings reveal that these tools were unable to detect the vulnerabilities in our examples. To enhance detection capabilities, we implement interval analysis on top of Slither [3], an existing detection tool, and demonstrate its effectiveness in identifying certain vulnerabilities that other tools fail to detect.


title: Cohomological Arithmetic Statistics for Principally Polarized Abelian Varieties over Finite Fields

abstract: There is a natural probability measure on the set of isomorphism classes of principally polarized Abelian varieties of dimension $g$ over $\mathbb{F}_q$, weighted by the number of automorphisms. The distributions of the number of $\mathbb{F}_q$-rational points are related to the cohomology of fiber powers of the universal family of principally polarized Abelian varieties. To that end we compute the cohomology $H^i(\mathcal{X}^{\times n}_g,\mathbb{Q}_\ell)$ for $g=1$ using results of Eichler-Shimura and for $g=2$ using results of Lee-Weintraub and Petersen, and we compute the compactly supported Euler characteristics $e_\mathrm{c}(\mathcal{X}^{\times n}_g,\mathbb{Q}_\ell)$ for $g=3$ using results of Hain and conjectures of Bergstr\"om-Faber-van der Geer. In each of these cases we identify the range in which the point counts $\#\mathcal{X}^{\times n}_g(\mathbb{F}_q)$ are polynomial in $q$. Using results of Borel and Grushevsky-Hulek-Tommasi on cohomological stability, we adapt arguments of Achter-Erman-Kedlaya-Wood-Zureick-Brown to pose a conjecture about the asymptotics of the point counts $\#\mathcal{X}^{\times n}_g(\mathbb{F}_q)$ in the limit $g\rightarrow\infty$.


title: Forecasting large collections of time series: feature-based methods

abstract: In economics and many other forecasting domains, the real world problems are too complex for a single model that assumes a specific data generation process. The forecasting performance of different methods changes depending on the nature of the time series. When forecasting large collections of time series, two lines of approaches have been developed using time series features, namely feature-based model selection and feature-based model combination. This chapter discusses the state-of-the-art feature-based methods, with reference to open-source software implementations.


title: Asynchronous Muddy Children Puzzle (work in progress)

abstract: In this work-in-progress paper we explore using the recently introduced VLSM formalism to define and reason about the dynamics of agent-based systems. To this aim we use VLSMs to formally present several possible approaches to modeling the interactions in the Muddy Children Puzzle as protocols that reach consensus asynchronously.


title: Pulsar Scintillation through Thick and Thin: Bow Shocks, Bubbles, and the Broader Interstellar Medium

abstract: Observations of pulsar scintillation are among the few astrophysical probes of very small-scale ($\lesssim$ au) phenomena in the interstellar medium (ISM). In particular, characterization of scintillation arcs, including their curvature and intensity distributions, can be related to interstellar turbulence and potentially over-pressurized plasma in local ISM inhomogeneities, such as supernova remnants, HII regions, and bow shocks. Here we present a survey of eight pulsars conducted at the Five-hundred-meter Aperture Spherical Telescope (FAST), revealing a diverse range of scintillation arc characteristics at high sensitivity. These observations reveal more arcs than measured previously for our sample. At least nine arcs are observed toward B1929$+$10 at screen distances spanning $\sim 90\%$ of the pulsar's $361$ pc path-length to the observer. Four arcs are observed toward B0355$+$54, with one arc yielding a screen distance as close as $\sim10^5$ au ($<1$ pc) from either the pulsar or the observer. Several pulsars show highly truncated, low-curvature arcs that may be attributable to scattering near the pulsar. The scattering screen constraints are synthesized with continuum maps of the local ISM and other well-characterized pulsar scintillation arcs, yielding a three-dimensional view of the scattering media in context.


title: Boundary-Aware Proposal Generation Method for Temporal Action Localization

abstract: The goal of Temporal Action Localization (TAL) is to find the categories and temporal boundaries of actions in an untrimmed video. Most TAL methods rely heavily on action recognition models that are sensitive to action labels rather than temporal boundaries. More importantly, few works consider the background frames that are similar to action frames in pixels but dissimilar in semantics, which also leads to inaccurate temporal boundaries. To address the challenge above, we propose a Boundary-Aware Proposal Generation (BAPG) method with contrastive learning. Specifically, we define the above background frames as hard negative samples. Contrastive learning with hard negative mining is introduced to improve the discrimination of BAPG. BAPG is independent of the existing TAL network architecture, so it can be applied plug-and-play to mainstream TAL models. Extensive experimental results on THUMOS14 and ActivityNet-1.3 demonstrate that BAPG can significantly improve the performance of TAL.


title: Ratios conjecture for primitive quadratic Hecke $L$-functions

abstract: We develop the ratios conjecture with one shift in the numerator and denominator in certain ranges for families of primitive quadratic Hecke $L$-functions of imaginary quadratic number fields with class number one using multiple Dirichlet series under the generalized Riemann hypothesis. We also obtain unconditional asymptotic formulas for the first moments of central values of these families of $L$-functions with error terms of size that is the square root of that of the primary main terms.


title: Comparison of Lift and Drag Modulation Control for Ice Giant Aerocapture Missions

abstract: Aerocapture is an orbit insertion technique which uses atmospheric drag from a single pass to decelerate a spacecraft. Compared to conventional propulsive insertion, aerocapture can impart large velocity changes to the spacecraft with almost no propellant. At the far reaches of the outer Solar System, the ice giants remain the last class of planets to be explored using orbiters. Their enormous heliocentric distance presents significant mission design challenges, particularly the large $\Delta$V required for orbit insertion. This makes aerocapture an attractive method of orbit insertion, but also challenging due to the comparatively large navigation and atmospheric uncertainties. The present study performs a comparison of the lift and drag modulation control and their implications for future missions. Lift modulation provides nearly twice the entry corridor width as drag modulation, and can thus accommodate larger uncertainties. Lift modulation offers continuous control throughout the flight enabling it to adjust the trajectory in response to the actual density profile encountered. Drag modulation offers much more benign aero-thermal conditions compared to lift modulation. With drag modulation, there is no control authority after the drag skirt jettison making the vehicle more susceptible to exit state errors from density variations encountered after the jettison event.


title: Efficient RRT*-based Safety-Constrained Motion Planning for Continuum Robots in Dynamic Environments

abstract: Continuum robots, characterized by their high flexibility and infinite degrees of freedom (DoFs), have gained prominence in applications such as minimally invasive surgery and hazardous environment exploration. However, the intrinsic complexity of continuum robots requires a significant amount of time for their motion planning, posing a hurdle to their practical implementation. To tackle these challenges, efficient motion planning methods such as Rapidly Exploring Random Trees (RRT) and its variant, RRT*, have been employed. This paper introduces a unique RRT*-based motion control method tailored for continuum robots. Our approach embeds safety constraints derived from the robots' posture states, facilitating autonomous navigation and obstacle avoidance in rapidly changing environments. Simulation results show efficient trajectory planning amidst multiple dynamic obstacles and provide a robust performance evaluation based on the generated postures. Finally, preliminary tests were conducted on a two-segment cable-driven continuum robot prototype, confirming the effectiveness of the proposed planning approach. This method is versatile and can be adapted and deployed for various types of continuum robots through parameter adjustments.


title: DVI-SLAM: A Dual Visual Inertial SLAM Network

abstract: Recent deep learning based visual simultaneous localization and mapping (SLAM) methods have made significant progress. However, how to make full use of visual information as well as better integrate with inertial measurement unit (IMU) in visual SLAM has potential research value. This paper proposes a novel deep SLAM network with dual visual factors. The basic idea is to integrate both photometric factor and re-projection factor into the end-to-end differentiable structure through multi-factor data association module. We show that the proposed network dynamically learns and adjusts the confidence maps of both visual factors and it can be further extended to include the IMU factors as well. Extensive experiments validate that our proposed method significantly outperforms the state-of-the-art methods on several public datasets, including TartanAir, EuRoC and ETH3D-SLAM. Specifically, when dynamically fusing the three factors together, the absolute trajectory error for both monocular and stereo configurations on EuRoC dataset has reduced by 45.3% and 36.2% respectively.


title: Essential concepts of digital topology (digital $k$-covering spaces and pseudo $k$-covering spaces)

abstract: The present paper focuses on the notions of covering spaces, pseudo-covering spaces, and their equivalences. We discuss something incorrectly mentioned in Boxer's papers and correct them. Indeed, Sections 4-6 (or 4-6) of \cite{B3} are redundant because they have some incorrect assertions on $(k_1,k_2)$-covering spaces or pseudo- $(k_1,k_2)$-covering spaces due to his misunderstanding on Han's papers \cite{H14,H16}. In addition, many things in \cite{B3} are duplicated with some results in \cite{H18}. In addition, since the papers \cite{P1,P2} also have some defects, we correct and improve them.


title: Exact penalty method for D-stationary point of nonlinear optimization

abstract: We consider the nonlinear optimization problem with least $\ell_1$-norm measure of constraint violations and introduce the concepts of the D-stationary point, the DL-stationary point and the DZ-stationary point with the help of exact penalty function. If the stationary point is feasible, they correspond to the Fritz-John stationary point, the KKT stationary point and the singular stationary point, respectively. In order to show the usefulness of the new stationary points, we propose a new exact penalty sequential quadratic programming (SQP) method with inner and outer iterations and analyze its global and local convergence. The proposed method admits convergence to a D-stationary point and rapid infeasibility detection without driving the penalty parameter to zero, which demonstrates the commentary given in [SIAM J. Optim., 20 (2010), 2281--2299] and can be thought to be a supplement of the theory of nonlinear optimization on rapid detection of infeasibility. Some illustrative examples and preliminary numerical results demonstrate that the proposed method is robust and efficient in solving infeasible nonlinear problems and a degenerate problem without LICQ in the literature.


title: MMA-Net: Multiple Morphology-Aware Network for Automated Cobb Angle Measurement

abstract: Scoliosis diagnosis and assessment depend largely on the measurement of the Cobb angle in spine X-ray images. With the emergence of deep learning techniques that employ landmark detection, tilt prediction, and spine segmentation, automated Cobb angle measurement has become increasingly popular. However, these methods encounter difficulties such as high noise sensitivity, intricate computational procedures, and exclusive reliance on a single type of morphological information. In this paper, we introduce the Multiple Morphology-Aware Network (MMA-Net), a novel framework that improves Cobb angle measurement accuracy by integrating multiple spine morphology as attention information. In the MMA-Net, we first feed spine X-ray images into the segmentation network to produce multiple morphological information (spine region, centerline, and boundary) and then concatenate the original X-ray image with the resulting segmentation maps as input for the regression module to perform precise Cobb angle measurement. Furthermore, we devise joint loss functions for our segmentation and regression network training, respectively. We evaluate our method on the AASCE challenge dataset and achieve superior performance with the SMAPE of 7.28% and the MAE of 3.18{\deg}, indicating a strong competitiveness compared to other outstanding methods. Consequently, we can offer clinicians automated, efficient, and reliable Cobb angle measurement.


title: Observing parity-time symmetry in diffusive systems

abstract: Phase modulation has scarcely been mentioned in diffusive systems since the diffusion process does not carry momentum like waves. Recently, the non-Hermitian physics provides a new perspective for understanding diffusion and shows prospects in the phase regulation of heat flow, for example, the discovery of anti-parity-time (APT) symmetry in diffusive systems. The precise control of thermal phase however remains elusive hitherto and can hardly be realized in APT-symmetric thermal systems due to the existence of phase oscillation. Here we construct the counterpart of APT-symmetric diffusive systems, i.e., PT-symmetric diffusive systems, which can achieve complete suppression of thermal phase oscillation. We find the real coupling of diffusive fields can be readily established through a strong convective background, where the decay-rate detuning is enabled by thermal metamaterial design. Moreover, we observe phase transition of PT symmetry breaking in diffusive systems with the symmetry-determined amplitude distribution and phase regulation of coupled temperature fields. Our work uncovers the existence of PT-symmetry in dissipative energy exchanges and provides a unique approach for harnessing the mass transfer of particles, the wave propagation in strongly scattering systems as well as thermal conduction.


title: A Two-Step Approach for Narrowband Source Localization in Reverberant Rooms

abstract: This paper presents a two-step approach for narrowband source localization within reverberant rooms. The first step involves dereverberation by modeling the homogeneous component of the sound field by an equivalent decomposition of planewaves using Iteratively Reweighted Least Squares (IRLS), while the second step focuses on source localization by modeling the dereverberated component as a sparse representation of point-source distribution using Orthogonal Matching Pursuit (OMP). The proposed method enhances localization accuracy with fewer measurements, particularly in environments with strong reverberation. A numerical simulation in a conference room scenario, using a uniform microphone array affixed to the wall, demonstrates real-world feasibility. Notably, the proposed method and microphone placement effectively localize sound sources within the 2D-horizontal plane without requiring prior knowledge of boundary conditions and room geometry, making it versatile for application in different room types.


title: Strongly Efficient Rare-Event Simulation for Multiple-Jump Events in Regularly Varying L\'evy Processes with Infinite Activities

abstract: In this paper, we address rare-event simulation for heavy-tailed L\'evy processes with infinite activities. Specifically, the presence of infinite activities poses a significant computational challenge, making it impractical to simulate or store the sample path of the L\'evy process. Building upon the importance sampling scheme in Chen et al. (2019), we present a rare-event simulation algorithm that incorporates the sample path large deviations for heavy-tailed L\'evy processes, the stick-breaking approximation for the extrema of L\'evy processes, the Asmussen-Rosi\'nski approximation for small-jump L\'evy processes, and the randomized debiasing Monte-Carlo scheme. By establishing a novel characterization for the Lipschitz continuity of the law of L\'evy processes, we show that the proposed algorithm is unbiased and strongly efficient under mild conditions, and hence applicable to a broad class of L\'evy processes. In numerical experiments, our algorithm demonstrates significant improvements in efficiency when compared to crude Monte-Carlo method.


title: An ALMA-resolved view of 7000 au Protostellar Gas Ring around the Class I source CrA-IRS 2 as a possible sign of magnetic flux advection

abstract: Transferring a significant fraction of the magnetic flux from a dense cloud core is essential in the star formation process. A ring-like structure produced by magnetic flux loss has been predicted theoretically, but no observational identification has been presented. We have performed ALMA observations of the Class I protostar IRS 2 in the Corona Australis star-forming region and resolved a distinctive gas ring in the C$^{18}$O ($J$ = 2-1) line emission. The center of this gas ring is $\sim$5,000 au away from the protostar, with a diameter of $\sim$7,000 au. The radial velocity of the gas is $\lesssim1$ km s$^{-1}$ blueshifted from that of the protostar, with a possible expanding feature judged from the velocity-field (moment 1) map and position-velocity diagram. These features are either observationally new or have been discovered but not discussed in depth because they are difficult to explain by well-studied protostellar phenomena such as molecular outflows and accretion streamers. A plausible interpretation is a magnetic wall created by the advection of magnetic flux which is theoretically expected in the Class 0/I phase during star formation as a removal mechanism of magnetic flux. Similar structures reported in the other young stellar sources could likely be candidates formed by the same mechanism, encouraging us to revisit the issue of magnetic flux transport in the early stages of star formation from an observational perspective.


title: PARTICLE: Part Discovery and Contrastive Learning for Fine-grained Recognition

abstract: We develop techniques for refining representations for fine-grained classification and segmentation tasks in a self-supervised manner. We find that fine-tuning methods based on instance-discriminative contrastive learning are not as effective, and posit that recognizing part-specific variations is crucial for fine-grained categorization. We present an iterative learning approach that incorporates part-centric equivariance and invariance objectives. First, pixel representations are clustered to discover parts. We analyze the representations from convolutional and vision transformer networks that are best suited for this task. Then, a part-centric learning step aggregates and contrasts representations of parts within an image. We show that this improves the performance on image classification and part segmentation tasks across datasets. For example, under a linear-evaluation scheme, the classification accuracy of a ResNet50 trained on ImageNet using DetCon, a self-supervised learning approach, improves from 35.4% to 42.0% on the Caltech-UCSD Birds, from 35.5% to 44.1% on the FGVC Aircraft, and from 29.7% to 37.4% on the Stanford Cars. We also observe significant gains in few-shot part segmentation tasks using the proposed technique, while instance-discriminative learning was not as effective. Smaller, yet consistent, improvements are also observed for stronger networks based on transformers.


title: A genericity property of Fr\'{e}chet sample means on Riemannian manifolds

abstract: Let $(M,g)$ be a Riemannian manifold. If $\mu$ is a probability measure on $M$ given by a continuous density function, one would expect the Fr\'{e}chet means of data-samples $Q=(q_1,q_2,\dots, q_N)\in M^N$, with respect to $\mu$, to behave ``generically''; e.g. the probability that the Fr\'{e}chet mean set $\mbox{FM}(Q)$ has any elements that lie in a given, positive-codimension submanifold, should be zero for any $N\geq 1$. Even this simplest instance of genericity does not seem to have been proven in the literature, except in special cases. The main result of this paper is a general, and stronger, genericity property: given i.i.d. absolutely continuous $M$-valued random variables $X_1,\dots, X_N$, and a subset $A\subset M$ of volume-measure zero, $\mbox{Pr}\left\{\mbox{FM}(\{X_1,\dots,X_N\})\subset M\backslash A\right\}=1.$ We also establish a companion theorem for equivariant Fr\'{e}chet means, defined when $(M,g)$ arises as the quotient of a Riemannian manifold $(\widetilde{M},\tilde{g})$ by a free, isometric action of a finite group. The equivariant Fr\'{e}chet means lie in $\widetilde{M}$, but, as we show, project down to the ordinary Fr\'{e}chet sample means, and enjoy a similar genericity property. Both these theorems are proven as consequences of a purely geometric (and quite general) result that constitutes the core mathematics in this paper: If $A\subset M$ has volume zero in $M$ , then the set $\{Q\in M^N : \mbox{FM}(Q) \cap A\neq\emptyset\}$ has volume zero in $M^N$. We conclude the paper with an application to partial scaling-rotation means, a type of mean for symmetric positive-definite matrices.


title: TriMe++: Multi-threaded triangular meshing in two dimensions

abstract: We present TriMe++, a multi-threaded software library designed for generating two-dimensional meshes for intricate geometric shapes using the Delaunay triangulation. Multi-threaded parallel computing is implemented throughout the meshing procedure, making it suitable for fast generation of large-scale meshes. Three iterative meshing algorithms are implemented: the DistMesh algorithm, the centroidal Voronoi diagram meshing, and a hybrid of the two. We compare the performance of the three meshing methods in TriMe++, and show that the hybrid method retains the advantages of the other two. The software library achieves significant parallel speedup when generating a large mesh with $10^6$ points. TriMe++ can handle complicated geometries and generates adaptive meshes of high quality.

categories: cs.CG cs.DC cs.NA math.NA physics.app-ph physics.comp-ph


title: NSOTree: Neural Survival Oblique Tree

abstract: Survival analysis is a statistical method employed to scrutinize the duration until a specific event of interest transpires, known as time-to-event information characterized by censorship. Recently, deep learning-based methods have dominated this field due to their representational capacity and state-of-the-art performance. However, the black-box nature of the deep neural network hinders its interpretability, which is desired in real-world survival applications but has been largely neglected by previous works. In contrast, conventional tree-based methods are advantageous with respect to interpretability, while consistently grappling with an inability to approximate the global optima due to greedy expansion. In this paper, we leverage the strengths of both neural networks and tree-based methods, capitalizing on their ability to approximate intricate functions while maintaining interpretability. To this end, we propose a Neural Survival Oblique Tree (NSOTree) for survival analysis. Specifically, the NSOTree was derived from the ReLU network and can be easily incorporated into existing survival models in a plug-and-play fashion. Evaluations on both simulated and real survival datasets demonstrated the effectiveness of the proposed method in terms of performance and interpretability.


title: Building a quantum superposition of conscious states with integrated information theory

abstract: Could there be a quantum superposition of consciousness, as in the Wigner's friend thought experiment? The integrated information theory (IIT) of consciousness has turned this into a well-defined question. According to IIT, consciousness is a measurable physical quantity given by integrated information ($\Phi$), such that the amount of consciousness in a system corresponds to its amount of $\Phi$. We use the most recent IIT formalism (IIT4.0) to analyze the simplest non-zero $\Phi$ system known as a feedback dyad. We then propose a circuit that puts the dyad into a superposition of states which, according to IIT, would correspond to a superposition of conscious states. We refer to this as "Schr\"odinger's dyad". We therefore show that either IIT is false or the simple dyad is conscious and can easily be put into a superposition of conscious states. We then identify the simplest possible consciousness-collapse model, which predicts that this superposition is unstable and collapses at a rate determined by a measure of difference between the superposed conscious states. Our analysis will enable us to make a number of key observations about the general structure of integrated information theory (IIT2.0, IIT3.0, IIT4.0, and QIIT) and the general structure of consciousness-collapse models.


title: A simple linear-time algorithm for generating auxiliary 3-edge-connected subgraphs

abstract: A linear-time algorithm for generating auxiliary subgraphs for the 3-edge-connected components of a connected multigraph is presented. The algorithm uses an innovative graph contraction operation and makes only one pass over the graph. By contrast, the previously best-known algorithms make multiple passes over the graph to decompose it into its 2-edge-connected components or 2-vertex-connected components, then its 3-edge-connected components or 3-vertex-connected components, and then construct a cactus representation for the 2-cuts to generate the auxiliary subgraphs for the 3-edge-connected components.


title: Vortices and strings induced from a generalized Abelian Higgs model

abstract: In this note we construct self--dual vortices and cosmic strings from the generalized Abelian Higgs theory. A special model of the theory is of focused interest in which the Higgs potential is a polynomial depending on $m$. When $|m|>0$, we obtain sharp existence theorems for vortices and strings correspond to gravity absence and appearance, respectively over the full plane. In particular, the vortex solution is unique if $m<0$. In order to over the difficulties posed by gravity, we introduce the regularization method when there are at least two distinct points among the set of centers of strings. When all these points coincide, the fixed point theorem works well. A series properties regarding vortices and strings for $|m|>0$ are also established.


title: Fuzzy Hunter Optimizer: An Bio-Metaheuristic Algorithm Inspired by L\'evy Walks

abstract: This article introduces the Fuzzy Hunter Optimizer (FHO), a novel metaheuristic inspired by L\'evy diffuse visibility walk observed in predatory species and even in human behavior during the search for sustenance. To address a constrained optimization problem, we initialize a population of hunters in the search space. The hunter with the best fitness represents the food source. The other hunters move through the search space following a L\'evy walk. When they spot the food source, they move towards it, gradually abandoning the Levy walk. To model the hunters visibility, we employ linear membership functions. In each iteration, the hunter with the best fitness becomes the food source. Unlike other metaheuristics, FHO parameters (visibility functions) do not require pre-calibration, since they adapt with iterations.


title: Deep Neural Newsvendor

abstract: We consider a data-driven newsvendor problem, where one has access to past demand data and the associated feature information. We solve the problem by estimating the target quantile function using a deep neural network (DNN). The remarkable representational power of DNN allows our framework to incorporate or approximate various extant data-driven models. We provide theoretical guarantees in terms of excess risk bounds for the DNN solution characterized by the network structure and sample size in a non-asymptotic manner, which justify the applicability of DNNs in the relevant contexts. Specifically, the convergence rate of the excess risk bound with respect to the sample size increases in the smoothness of the target quantile function but decreases in the dimension of feature variables. This rate can be further accelerated when the target function possesses a composite structure. Compared to other typical models, the nonparametric DNN method can effectively avoid or significantly reduce the model misspecification error. In particular, our theoretical framework can be extended to accommodate the data-dependent scenarios, where the data-generating process is time-dependent but not necessarily identical over time. Finally, we apply the DNN method to a real-world dataset obtained from a food supermarket. Our numerical experiments demonstrate that (1) the DNN method consistently outperforms other alternatives across a wide range of cost parameters, and (2) it also exhibits good performance when the sample size is either very large or relatively limited.


title: Coherent high-frequency axial oscillations in a partially magnetized direct current magnetron discharge

abstract: High frequency oscillations are observed in a neon plasma of a direct current magnetron discharge. At low discharge currents, we see highly coherent 60 MHz fluctuations. Above a distinct current threshold, secondary 5 - 10 MHz fluctuations emerge in addition to turbulent fluctuations in the 60 - 100 MHz range. The oscillations in the total discharge current suggest axial wave propagation. A lower-hybrid wave theory is invoked to model the high frequency oscillations. We attribute the low frequency modes to a turbulence-driven inverse cascade process, as suggested by recent simulations.


title: Inspiral and Plunging Orbits in Kerr-Newman Spacetimes

abstract: We present the analytical solutions for the trajectories of particles that spiral and plunge inward the event horizon along the timelike geodesics following general non-equatorial paths within Kerr-Newman spacetimes. Our studies encompass both bound and unbound motions. The solutions can be written in terms of the elliptical integrals and the Jacobian elliptic functions of manifestly real functions of the Mino time. They can respectively reduce to the Kerr, Reissner-Nordstr$\ddot{o}$m, and Schwarzschild black holes in certain limits of the spin and charge of the black holes, and can be compared with the known ones restricted in equatorial motion. These explicit solutions may have some implications for the gravitational wave emission from extreme mass-ratio inspirals.


title: Dual Feature Augmentation Network for Generalized Zero-shot Learning

abstract: Zero-shot learning (ZSL) aims to infer novel classes without training samples by transferring knowledge from seen classes. Existing embedding-based approaches for ZSL typically employ attention mechanisms to locate attributes on an image. However, these methods often ignore the complex entanglement among different attributes' visual features in the embedding space. Additionally, these methods employ a direct attribute prediction scheme for classification, which does not account for the diversity of attributes in images of the same category. To address these issues, we propose a novel Dual Feature Augmentation Network (DFAN), which comprises two feature augmentation modules, one for visual features and the other for semantic features. The visual feature augmentation module explicitly learns attribute features and employs cosine distance to separate them, thus enhancing attribute representation. In the semantic feature augmentation module, we propose a bias learner to capture the offset that bridges the gap between actual and predicted attribute values from a dataset's perspective. Furthermore, we introduce two predictors to reconcile the conflicts between local and global features. Experimental results on three benchmarks demonstrate the marked advancement of our method compared to state-of-the-art approaches. Our code is available at https://github.com/Sion1/DFAN.


title: Prior Bilinear Based Models for Knowledge Graph Completion

abstract: Bilinear based models are powerful and widely used approaches for Knowledge Graphs Completion (KGC). Although bilinear based models have achieved significant advances, these studies mainly concentrate on posterior properties (based on evidence, e.g. symmetry pattern) while neglecting the prior properties. In this paper, we find a prior property named "the law of identity" that cannot be captured by bilinear based models, which hinders them from comprehensively modeling the characteristics of KGs. To address this issue, we introduce a solution called Unit Ball Bilinear Model (UniBi). This model not only achieves theoretical superiority but also offers enhanced interpretability and performance by minimizing ineffective learning through minimal constraints. Experiments demonstrate that UniBi models the prior property and verify its interpretability and performance.


title: IBVC: Interpolation-driven B-frame Video Compression

abstract: Learned B-frame video compression aims to adopt bi-directional motion estimation and motion compensation (MEMC) coding for middle frame reconstruction. However, previous learned approaches often directly extend neural P-frame codecs to B-frame relying on bi-directional optical-flow estimation or video frame interpolation. They suffer from inaccurate quantized motions and inefficient motion compensation. To address these issues, we propose a simple yet effective structure called Interpolation-driven B-frame Video Compression (IBVC). Our approach only involves two major operations: video frame interpolation and artifact reduction compression. IBVC introduces a bit-rate free MEMC based on interpolation, which avoids optical-flow quantization and additional compression distortions. Later, to reduce duplicate bit-rate consumption and focus on unaligned artifacts, a residual guided masking encoder is deployed to adaptively select the meaningful contexts with interpolated multi-scale dependencies. In addition, a conditional spatio-temporal decoder is proposed to eliminate location errors and artifacts instead of using MEMC coding in other methods. The experimental results on B-frame coding demonstrate that IBVC has significant improvements compared to the relevant state-of-the-art methods. Meanwhile, our approach can save bit rates compared with the random access (RA) configuration of H.266 (VTM). The code will be available at https://github.com/ruhig6/IBVC.


title: On the Energy Efficiency of THz-NOMA enhanced UAV Cooperative Network with SWIPT

abstract: This paper considers the energy efficiency (EE) maximization of a simultaneous wireless information and power transfer (SWIPT)-assisted unmanned aerial vehicles (UAV) cooperative network operating at TeraHertz (THz) frequencies. The source performs SWIPT enabling the UAV to receive both power and information while also transmitting the information to a designated destination node. Subsequently, the UAV utilizes the harvested energy to relay the data to the intended destination node effectively. Specifically, we maximize EE by optimizing the non-orthogonal multiple access (NOMA) power allocation coefficients, SWIPT power splitting (PS) ratio, and UAV trajectory. The main problem is broken down into a two-stage optimization problem and solved using an alternating optimization approach. In the first stage, optimization of the PS ratio and trajectory is performed by employing successive convex approximation using a lower bound on the exponential factor in the THz channel model. In the second phase, the NOMA power coefficients are optimized using a quadratic transform approach. Numerical results demonstrate the effectiveness of our proposed resource allocation algorithm compared to the baselines where there is no trajectory optimization or no NOMA power or PS optimization.


title: Backorder Prediction in Inventory Management: Classification Techniques and Cost Considerations

abstract: This article introduces an advanced analytical approach for predicting backorders in inventory management. Backorder refers to an order that cannot be immediately fulfilled due to stock depletion. Multiple classification techniques, including Balanced Bagging Classifiers, Fuzzy Logic, Variational Autoencoder - Generative Adversarial Networks, and Multi-layer Perceptron classifiers, are assessed in this work using performance evaluation metrics such as ROC-AUC and PR-AUC. Moreover, this work incorporates a profit function and misclassification costs, considering the financial implications and costs associated with inventory management and backorder handling. The study suggests that a combination of modeling approaches, including ensemble techniques and VAE, can effectively address imbalanced datasets in inventory management, emphasizing interpretability and reducing false positives and false negatives. This research contributes to the advancement of predictive analytics and offers valuable insights for future investigations in backorder forecasting and inventory control optimization for decision-making.


title: Penalized Principal Component Analysis using Nesterov Smoothing

abstract: Principal components computed via PCA (principal component analysis) are traditionally used to reduce dimensionality in genomic data or to correct for population stratification. In this paper, we explore the penalized eigenvalue problem (PEP) which reformulates the computation of the first eigenvector as an optimization problem and adds an L1 penalty constraint. The contribution of our article is threefold. First, we extend PEP by applying Nesterov smoothing to the original LASSO-type L1 penalty. This allows one to compute analytical gradients which enable faster and more efficient minimization of the objective function associated with the optimization problem. Second, we demonstrate how higher order eigenvectors can be calculated with PEP using established results from singular value decomposition (SVD). Third, using data from the 1000 Genome Project dataset, we empirically demonstrate that our proposed smoothed PEP allows one to increase numerical stability and obtain meaningful eigenvectors. We further investigate the utility of the penalized eigenvector approach over traditional PCA.

categories: stat.AP cs.LG cs.NA math.NA q-bio.GN q-bio.QM


title: Fill the K-Space and Refine the Image: Prompting for Dynamic and Multi-Contrast MRI Reconstruction

abstract: The key to dynamic or multi-contrast magnetic resonance imaging (MRI) reconstruction lies in exploring inter-frame or inter-contrast information. Currently, the unrolled model, an approach combining iterative MRI reconstruction steps with learnable neural network layers, stands as the best-performing method for MRI reconstruction. However, there are two main limitations to overcome: firstly, the unrolled model structure and GPU memory constraints restrict the capacity of each denoising block in the network, impeding the effective extraction of detailed features for reconstruction; secondly, the existing model lacks the flexibility to adapt to variations in the input, such as different contrasts, resolutions or views, necessitating the training of separate models for each input type, which is inefficient and may lead to insufficient reconstruction. In this paper, we propose a two-stage MRI reconstruction pipeline to address these limitations. The first stage involves filling the missing k-space data, which we approach as a physics-based reconstruction problem. We first propose a simple yet efficient baseline model, which utilizes adjacent frames/contrasts and channel attention to capture the inherent inter-frame/-contrast correlation. Then, we extend the baseline model to a prompt-based learning approach, PromptMR, for all-in-one MRI reconstruction from different views, contrasts, adjacent types, and acceleration factors. The second stage is to refine the reconstruction from the first stage, which we treat as a general video restoration problem to further fuse features from neighboring frames/contrasts in the image domain. Extensive experiments show that our proposed method significantly outperforms previous state-of-the-art accelerated MRI reconstruction methods.


title: Constraining the Charge of a Black Hole with Electromagnetic Radiation from a Black Hole-Neutron Star System

abstract: Black hole-neutron star (BH-NS) mergers are expected to emit gravitational-wave (GW) and electromagnetic (EM) counterparts when the NS is tidally disrupted or plunges into the BH. Recently, GW 200105 and GW200115 were claimed as originating in BH-NS mergers, even GW 200105 remains in debate. Several optical source candidates are reported to possible associate with the two GW events, but not confirmed yet. In this work, we assume that the BH is charged (the NS is naturally charged) and try to constrain the charge of the BH by using the possible associated EM emission from the charged BH and NS system working in the inspiral regime. We adopt electric and magnetic dipole radiations for the binaries which power a Poynting-flux-dominated outflow to accelerate electrons. Then, it produces the observed EM radiation via synchrotron radiation. We find that the conversion efficiency in the X-ray band is much higher than that of the ultraviolet (UV), near-infrared, and radio bands. The estimated maximum charge-to-mass ratio (the charge for unit mass) of the BH is $1.12\times 10^{-6}$ and $1.53\times 10^{-6}$ esu for the binary systems of GW200105 and GW200115, respectively, if magnetic field strength $B_{p}\lesssim ~10^{16}$ G and period $P>~1$ ms for the NS spin.


title: On the Effectiveness of Adversarial Samples against Ensemble Learning-based Windows PE Malware Detectors

abstract: Recently, there has been a growing focus and interest in applying machine learning (ML) to the field of cybersecurity, particularly in malware detection and prevention. Several research works on malware analysis have been proposed, offering promising results for both academic and practical applications. In these works, the use of Generative Adversarial Networks (GANs) or Reinforcement Learning (RL) can aid malware creators in crafting metamorphic malware that evades antivirus software. In this study, we propose a mutation system to counteract ensemble learning-based detectors by combining GANs and an RL model, overcoming the limitations of the MalGAN model. Our proposed FeaGAN model is built based on MalGAN by incorporating an RL model called the Deep Q-network anti-malware Engines Attacking Framework (DQEAF). The RL model addresses three key challenges in performing adversarial attacks on Windows Portable Executable malware, including format preservation, executability preservation, and maliciousness preservation. In the FeaGAN model, ensemble learning is utilized to enhance the malware detector's evasion ability, with the generated adversarial patterns. The experimental results demonstrate that 100\% of the selected mutant samples preserve the format of executable files, while certain successes in both executability preservation and maliciousness preservation are achieved, reaching a stable success rate.


title: Traj-LO: In Defense of LiDAR-Only Odometry Using an Effective Continuous-Time Trajectory

abstract: LiDAR Odometry is an essential component in many robotic applications. Unlike the mainstreamed approaches that focus on improving the accuracy by the additional inertial sensors, this letter explores the capability of LiDAR-only odometry through a continuous-time perspective. Firstly, the measurements of LiDAR are regarded as streaming points continuously captured at high frequency. Secondly, the LiDAR movement is parameterized by a simple yet effective continuous-time trajectory. Therefore, our proposed Traj-LO approach tries to recover the spatial-temporal consistent movement of LiDAR by tightly coupling the geometric information from LiDAR points and kinematic constraints from trajectory smoothness. This framework is generalized for different kinds of LiDAR as well as multi-LiDAR systems. Extensive experiments on the public datasets demonstrate the robustness and effectiveness of our proposed LiDAR-only approach, even in scenarios where the kinematic state exceeds the IMU's measuring range. Our implementation is open-sourced on GitHub.


title: Geometric Decomposition and Efficient Implementation of High Order Face and Edge Elements

abstract: This study investigates high-order face and edge elements in finite element methods, with a focus on their geometric attributes, indexing management, and practical application. The exposition begins by a geometric decomposition of Lagrange finite elements, setting the foundation for further analysis. The discussion then extends to $H(\rm{div})$-conforming and $H(\rm{curl})$-conforming finite element spaces, adopting variable frames across differing sub-simplices. The imposition of tangential or normal continuity is achieved through the strategic selection of corresponding bases. The paper concludes with a focus on efficient indexing management strategies for degrees of freedom, offering practical guidance to researchers and engineers. It serves as a comprehensive resource that bridges the gap between theory and practice.


title: High-precision measurement of the complex magneto-optical Kerr effect using weak measurement

abstract: The present paper introduces a quantum weak measurement (WM) scheme for the measurement of the complex magneto-optical Kerr effect (MOKE). We achieve the simultaneous measurement of the Kerr rotation angle and the ellipticity in a single WM process by utilizing two auxiliary pointers derived from the same meter state. The experimental measurement precision for both the Kerr rotation angle and the ellipticity is capable of reaching $10^{-4}$ deg. This technique is also employed for the determination of the complex magneto-optical constant $Q$. The proposed method overcomes the limitation of acquiring the complex magneto-optical Kerr parameters through a multi-step measurement process, which was previously encountered. This breakthrough holds immense significance for efficiently measuring and applying the complex MOKE with high precision and cost-effectiveness.


title: Distributed event-triggered aggregative optimization with applications to price-based energy management

abstract: This paper studies a distributed continuous-time aggregative optimization problem, which is a fundamental problem in the price-based energy management. The objective of the distributed aggregative optimization is to minimize the sum of local objective functions, which have a specific expression that relies on agents' own decisions and the aggregation of all agents' decisions. To solve the problem, a novel distributed continuous-time algorithm is proposed by combining gradient dynamics with a dynamic average consensus estimator in a two-time scale. The exponential convergence of the proposed algorithm is established under the assumption of a convex global cost function by virtue of the stability theory of singular perturbation systems. Motivated by practical applications, the implementation of the continuous-time algorithm with event-triggered communication is investigated. Simulations on the price-based energy management of distributed energy resources are given to illustrate the proposed method.


title: Controllable Operations of Edge States in Cross-One-dimensional Topological Chains

abstract: Topological edge states are recently attracting intense interest due to their robustness in the presence of disorder and defects. However, most approaches for manipulating such states require global modulations of the system's Hamiltonian. In this work, we develop a method to control edge states using local interactions of a four-node junction between cross-one-dimensional topological atomic chains. These junction interactions can give rise to tunable couplings between the hybridized edge states within different geometric symmetry, allowing us to implement robust quantum state transfer and SWAP gate between the two topological chains, where the edge states are pair-encoded as a single qubit. Moreover, when the atoms are precisely positioned to couple waveguides, the correlated decay caused by the environment enables the anti-symmetric edge states to present subradiant dynamics and thus show extremely long coherence time. These findings open up new possibilities for quantum technologies with topological edge states in the future.


title: Tuning Multi-mode Token-level Prompt Alignment across Modalities

abstract: Advancements in prompt tuning of vision-language models have underscored their potential in enhancing open-world visual concept comprehension. However, prior works only primarily focus on single-mode (only one prompt for each modality) and holistic level (image or sentence) semantic alignment, which fails to capture the sample diversity, leading to sub-optimal prompt discovery. To address the limitation, we propose a multi-mode token-level tuning framework that leverages the optimal transportation to learn and align a set of prompt tokens across modalities. Specifically, we rely on two essential factors: 1) multi-mode prompts discovery, which guarantees diverse semantic representations, and 2) token-level alignment, which helps explore fine-grained similarity. Consequently, the similarity can be calculated as a hierarchical transportation problem between the modality-specific sets. Extensive experiments on popular image recognition benchmarks show the superior generalization and few-shot abilities of our approach. The qualitative analysis demonstrates that the learned prompt tokens have the ability to capture diverse visual concepts.


title: A frequency-independent solver for systems of first order linear ordinary differential equations

abstract: When a system of first order linear ordinary differential equations has eigenvalues of large magnitude, its solutions exhibit complicated behaviour, such as high-frequency oscillations, rapid growth or rapid decay. The cost of representing such solutions using standard techniques typically grows with the magnitudes of the eigenvalues. As a consequence, the running times of standard solvers for ordinary differential equations also grow with the size of these eigenvalues. The solutions of scalar equations with slowly-varying coefficients, however, can be efficiently represented via slowly-varying phase functions, regardless of the magnitudes of the eigenvalues of the corresponding coefficient matrix. Here, we couple an existing solver for scalar equations which exploits this observation with a well-known technique for transforming a system of linear ordinary differential equations into scalar form. The result is a method for solving a large class of systems of linear ordinary differential equations in time independent of the magnitudes of the eigenvalues of their coefficient matrices. We discuss the results of numerical experiments demonstrating the properties of our algorithm.


title: PySimFrac: A Python Library for Synthetic Fracture Generation, Analysis, and Simulation

abstract: In this paper, we introduce Pysimfrac, a open-source python library for generating 3-D synthetic fracture realizations, integrating with fluid simulators, and performing analysis. Pysimfrac allows the user to specify one of three fracture generation techniques (Box, Gaussian, or Spectral) and perform statistical analysis including the autocorrelation, moments, and probability density functions of the fracture surfaces and aperture. This analysis and accessibility of a python library allows the user to create realistic fracture realizations and vary properties of interest. In addition, Pysimfrac includes integration examples to two different pore-scale simulators and the discrete fracture network simulator, dfnWorks. The capabilities developed in this work provides opportunity for quick and smooth adoption and implementation by the wider scientific community for accurate characterization of fluid transport in geologic media. We present Pysimfrac along with integration examples and discuss the ability to extend Pysimfrac from a single complex fracture to complex fracture networks.


title: Statistical Perspective of Top-K Sparse Softmax Gating Mixture of Experts

abstract: Top-K sparse softmax gating mixture of experts has been widely used for scaling up massive deep-learning architectures without increasing the computational cost. Despite its popularity in real-world applications, the theoretical understanding of that gating function has remained an open problem. The main challenge comes from the structure of the top-K sparse softmax gating function, which partitions the input space into multiple regions with distinct behaviors. By focusing on a Gaussian mixture of experts, we establish theoretical results on the effects of the top-K sparse softmax gating function on both density and parameter estimations. Our results hinge upon defining novel loss functions among parameters to capture different behaviors of the input regions. When the true number of experts $k_{\ast}$ is known, we demonstrate that the convergence rates of density and parameter estimations are both parametric on the sample size. However, when $k_{\ast}$ becomes unknown and the true model is over-specified by a Gaussian mixture of $k$ experts where $k > k_{\ast}$, our findings suggest that the number of experts selected from the top-K sparse softmax gating function must exceed the total cardinality of a certain number of Voronoi cells associated with the true parameters to guarantee the convergence of the density estimation. Moreover, while the density estimation rate remains parametric under this setting, the parameter estimation rates become substantially slow due to an intrinsic interaction between the softmax gating and expert functions.


title: DISeR: Designing Imaging Systems with Reinforcement Learning

abstract: Imaging systems consist of cameras to encode visual information about the world and perception models to interpret this encoding. Cameras contain (1) illumination sources, (2) optical elements, and (3) sensors, while perception models use (4) algorithms. Directly searching over all combinations of these four building blocks to design an imaging system is challenging due to the size of the search space. Moreover, cameras and perception models are often designed independently, leading to sub-optimal task performance. In this paper, we formulate these four building blocks of imaging systems as a context-free grammar (CFG), which can be automatically searched over with a learned camera designer to jointly optimize the imaging system with task-specific perception models. By transforming the CFG to a state-action space, we then show how the camera designer can be implemented with reinforcement learning to intelligently search over the combinatorial space of possible imaging system configurations. We demonstrate our approach on two tasks, depth estimation and camera rig design for autonomous vehicles, showing that our method yields rigs that outperform industry-wide standards. We believe that our proposed approach is an important step towards automating imaging system design.


title: Dimensional Reduction of the $S^3$/WZW Duality

abstract: Recently proposed duality relates the critical level limit $\hat{k} \to -2$ of $SU(2)_{\hat{k}}$ WZW models to a classical three-dimensional Einstein gravity on a sphere. In this paper, we propose a dimensional reduced version of this duality. The gravity side is reduced to a Jackiw-Teitelboim (JT) gravity on $S^2$ with a non-standard boundary term, or a BF theory with $SU(2)$ gauge symmetry. At least in low temperature limit, these two-dimensional gravity theories completely capture the original three-dimensional gravity effect. The CFT side is reduced to a certain complex Liouville quantum mechanics (LQM) with $SU(2)$ gauge symmetry. Our proposal gives an interesting example of a holography without boundary. We also discuss a higher-spin generalization with $SU(N)$ gauge symmetry.


title: A Ferroelectric Compute-in-Memory Annealer for Combinatorial Optimization Problems

abstract: Computationally hard combinatorial optimization problems (COPs) are ubiquitous in many applications, including logistical planning, resource allocation, chip design, drug explorations, and more. Due to their critical significance and the inability of conventional hardware in efficiently handling scaled COPs, there is a growing interest in developing computing hardware tailored specifically for COPs, including digital annealers, dynamical Ising machines, and quantum/photonic systems. However, significant hurdles still remain, such as the memory access issue, the system scalability and restricted applicability to certain types of COPs, and VLSI-incompatibility, respectively. Here, a ferroelectric field effect transistor (FeFET) based compute-in-memory (CiM) annealer is proposed. After converting COPs into quadratic unconstrained binary optimization (QUBO) formulations, a hardware-algorithm co-design is conducted, yielding an energy-efficient, versatile, and scalable hardware for COPs. To accelerate the core vector-matrix-vector (VMV) multiplication of QUBO formulations, a FeFET based CiM array is exploited, which can accelerate the intended operation in-situ due to its unique three-terminal structure. In particular, a lossless compression technique is proposed to prune typically sparse QUBO matrix to reduce hardware cost. Furthermore, a multi-epoch simulated annealing (MESA) algorithm is proposed to replace conventional simulated annealing for its faster convergence and better solution quality. The effectiveness of the proposed techniques is validated through the utilization of developed chip prototypes for successfully solving graph coloring problem, indicating great promise of FeFET CiM annealer in solving general COPs.


title: Semidefinite programming bounds for distance distribution of spherical codes

abstract: We present an extension of known semidefinite and linear programming upper bounds for spherical codes. We apply the main result for the distance distribution of a spherical code and show that this method can work effectively In particular, we get a shorter solution to the kissing number problem in dimension 4.


title: Adaptive Softassign via Hadamard-Equipped Sinkhorn

abstract: Softassign is a pivotal method in graph matching and other learning tasks. Many softassign-based algorithms exhibit performance sensitivity to a parameter in the softassign. However, tuning the parameter is challenging and almost done empirically. This paper proposes an adaptive softassign method for graph matching by analyzing the relationship between the objective score and the parameter. This method can automatically tune the parameter based on a given error bound to guarantee accuracy. The Hadamard-Equipped Sinkhorn formulas introduced in this study significantly enhance the efficiency and stability of the adaptive softassign. Moreover, these formulas can also be used in optimal transport problems. The resulting adaptive softassign graph matching algorithm enjoys significantly higher accuracy than previous state-of-the-art large graph matching algorithms while maintaining comparable efficiency.


title: DNN-DANM: A High-Accuracy Two-Dimensional DOA Estimation Method Using Practical RIS

abstract: Reconfigurable intelligent surface (RIS) or intelligent reflecting surface (IRS) has been an attractive technology for future wireless communication and sensing systems. However, in the practical RIS, the mutual coupling effect among RIS elements, the reflection phase shift, and amplitude errors will degrade the RIS performance significantly. This paper investigates the two-dimensional direction-of-arrival (DOA) estimation problem in the scenario using a practical RIS. After formulating the system model with the mutual coupling effect and the reflection phase/amplitude errors of the RIS, a novel DNNDANM method is proposed for the DOA estimation by combining the deep neural network (DNN) and the decoupling atomic norm minimization (DANM). The DNN step reconstructs the received signal from the one with RIS impairments, and the DANM step exploits the signal sparsity in the two-dimensional spatial domain. Additionally, a semi-definite programming (SDP) method with low computational complexity is proposed to solve the atomic minimization problem. Finally, both simulation and prototype are carried out to show estimation performance, and the proposed method outperforms the existing methods in the two-dimensional DOA estimation with low complexity in the scenario with practical RIS.


title: Adversarial Attacks on Video Object Segmentation with Hard Region Discovery

abstract: Video object segmentation has been applied to various computer vision tasks, such as video editing, autonomous driving, and human-robot interaction. However, the methods based on deep neural networks are vulnerable to adversarial examples, which are the inputs attacked by almost human-imperceptible perturbations, and the adversary (i.e., attacker) will fool the segmentation model to make incorrect pixel-level predictions. This will rise the security issues in highly-demanding tasks because small perturbations to the input video will result in potential attack risks. Though adversarial examples have been extensively used for classification, it is rarely studied in video object segmentation. Existing related methods in computer vision either require prior knowledge of categories or cannot be directly applied due to the special design for certain tasks, failing to consider the pixel-wise region attack. Hence, this work develops an object-agnostic adversary that has adversarial impacts on VOS by first-frame attacking via hard region discovery. Particularly, the gradients from the segmentation model are exploited to discover the easily confused region, in which it is difficult to identify the pixel-wise objects from the background in a frame. This provides a hardness map that helps to generate perturbations with a stronger adversarial power for attacking the first frame. Empirical studies on three benchmarks indicate that our attacker significantly degrades the performance of several state-of-the-art video object segmentation models.